---
_id: '1207'
abstract:
- lang: eng
text: The eigenvalue distribution of the sum of two large Hermitian matrices, when
one of them is conjugated by a Haar distributed unitary matrix, is asymptotically
given by the free convolution of their spectral distributions. We prove that this
convergence also holds locally in the bulk of the spectrum, down to the optimal
scales larger than the eigenvalue spacing. The corresponding eigenvectors are
fully delocalized. Similar results hold for the sum of two real symmetric matrices,
when one is conjugated by Haar orthogonal matrix.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Zhigang
full_name: Bao, Zhigang
id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
last_name: Bao
orcid: 0000-0003-3036-1475
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Kevin
full_name: Schnelli, Kevin
id: 434AD0AE-F248-11E8-B48F-1D18A9856A87
last_name: Schnelli
orcid: 0000-0003-0954-3231
citation:
ama: Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal
scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6
apa: Bao, Z., Erdös, L., & Schnelli, K. (2017). Local law of addition of random
matrices on optimal scale. Communications in Mathematical Physics. Springer.
https://doi.org/10.1007/s00220-016-2805-6
chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition
of Random Matrices on Optimal Scale.” Communications in Mathematical Physics.
Springer, 2017. https://doi.org/10.1007/s00220-016-2805-6.
ieee: Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices
on optimal scale,” Communications in Mathematical Physics, vol. 349, no.
3. Springer, pp. 947–990, 2017.
ista: Bao Z, Erdös L, Schnelli K. 2017. Local law of addition of random matrices
on optimal scale. Communications in Mathematical Physics. 349(3), 947–990.
mla: Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.”
Communications in Mathematical Physics, vol. 349, no. 3, Springer, 2017,
pp. 947–90, doi:10.1007/s00220-016-2805-6.
short: Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349
(2017) 947–990.
date_created: 2018-12-11T11:50:43Z
date_published: 2017-02-01T00:00:00Z
date_updated: 2025-07-10T11:50:22Z
day: '01'
ddc:
- '530'
department:
- _id: LaEr
doi: 10.1007/s00220-016-2805-6
ec_funded: 1
external_id:
isi:
- '000393696700005'
file:
- access_level: open_access
checksum: ddff79154c3daf27237de5383b1264a9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:47Z
date_updated: 2020-07-14T12:44:39Z
file_id: '5102'
file_name: IST-2016-722-v1+1_s00220-016-2805-6.pdf
file_size: 1033743
relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: ' 349'
isi: 1
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '02'
oa: 1
oa_version: Published Version
page: 947 - 990
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Communications in Mathematical Physics
publication_identifier:
issn:
- 0010-3616
publication_status: published
publisher: Springer
publist_id: '6141'
pubrep_id: '722'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local law of addition of random matrices on optimal scale
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 349
year: '2017'
...
---
_id: '1208'
abstract:
- lang: eng
text: We study parameter estimation in linear Gaussian covariance models, which
are p-dimensional Gaussian models with linear constraints on the covariance matrix.
Maximum likelihood estimation for this class of models leads to a non-convex optimization
problem which typically has many local maxima. Using recent results on the asymptotic
distribution of extreme eigenvalues of the Wishart distribution, we provide sufficient
conditions for any hill climbing method to converge to the global maximum. Although
we are primarily interested in the case in which n≫p, the proofs of our results
utilize large sample asymptotic theory under the scheme n/p→γ>1. Remarkably,
our numerical simulations indicate that our results remain valid for p as small
as 2. An important consequence of this analysis is that, for sample sizes n≃14p,
maximum likelihood estimation for linear Gaussian covariance models behaves as
if it were a convex optimization problem. © 2016 The Royal Statistical Society
and Blackwell Publishing Ltd.
article_processing_charge: No
arxiv: 1
author:
- first_name: Piotr
full_name: Zwiernik, Piotr
last_name: Zwiernik
- first_name: Caroline
full_name: Uhler, Caroline
id: 49ADD78E-F248-11E8-B48F-1D18A9856A87
last_name: Uhler
orcid: 0000-0002-7008-0216
- first_name: Donald
full_name: Richards, Donald
last_name: Richards
citation:
ama: 'Zwiernik P, Uhler C, Richards D. Maximum likelihood estimation for linear
Gaussian covariance models. Journal of the Royal Statistical Society Series
B: Statistical Methodology. 2017;79(4):1269-1292. doi:10.1111/rssb.12217'
apa: 'Zwiernik, P., Uhler, C., & Richards, D. (2017). Maximum likelihood estimation
for linear Gaussian covariance models. Journal of the Royal Statistical Society.
Series B: Statistical Methodology. Wiley-Blackwell. https://doi.org/10.1111/rssb.12217'
chicago: 'Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood
Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical
Society. Series B: Statistical Methodology. Wiley-Blackwell, 2017. https://doi.org/10.1111/rssb.12217.'
ieee: 'P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for
linear Gaussian covariance models,” Journal of the Royal Statistical Society.
Series B: Statistical Methodology, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292,
2017.'
ista: 'Zwiernik P, Uhler C, Richards D. 2017. Maximum likelihood estimation for
linear Gaussian covariance models. Journal of the Royal Statistical Society. Series
B: Statistical Methodology. 79(4), 1269–1292.'
mla: 'Zwiernik, Piotr, et al. “Maximum Likelihood Estimation for Linear Gaussian
Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical
Methodology, vol. 79, no. 4, Wiley-Blackwell, 2017, pp. 1269–92, doi:10.1111/rssb.12217.'
short: 'P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society.
Series B: Statistical Methodology 79 (2017) 1269–1292.'
corr_author: '1'
date_created: 2018-12-11T11:50:43Z
date_published: 2017-09-01T00:00:00Z
date_updated: 2025-06-04T09:41:22Z
day: '01'
department:
- _id: CaUh
doi: 10.1111/rssb.12217
external_id:
arxiv:
- '1408.5604'
isi:
- '000411712300012'
intvolume: ' 79'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1408.5604
month: '09'
oa: 1
oa_version: Submitted Version
page: 1269 - 1292
project:
- _id: 2530CA10-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Y 903-N35
name: 'Gaussian Graphical Models: Theory and Applications'
publication: 'Journal of the Royal Statistical Society. Series B: Statistical Methodology'
publication_identifier:
issn:
- 1369-7412
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6142'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Maximum likelihood estimation for linear Gaussian covariance models
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 79
year: '2017'
...
---
_id: '1211'
abstract:
- lang: eng
text: Systems such as fluid flows in channels and pipes or the complex Ginzburg–Landau
system, defined over periodic domains, exhibit both continuous symmetries, translational
and rotational, as well as discrete symmetries under spatial reflections or complex
conjugation. The simplest, and very common symmetry of this type is the equivariance
of the defining equations under the orthogonal group O(2). We formulate a novel
symmetry reduction scheme for such systems by combining the method of slices with
invariant polynomial methods, and show how it works by applying it to the Kuramoto–Sivashinsky
system in one spatial dimension. As an example, we track a relative periodic orbit
through a sequence of bifurcations to the onset of chaos. Within the symmetry-reduced
state space we are able to compute and visualize the unstable manifolds of relative
periodic orbits, their torus bifurcations, a transition to chaos via torus breakdown,
and heteroclinic connections between various relative periodic orbits. It would
be very hard to carry through such analysis in the full state space, without a
symmetry reduction such as the one we present here.
acknowledgement: 'This work was supported by the family of late G. Robinson, Jr. and
NSF Grant DMS-1211827. '
article_processing_charge: No
author:
- first_name: Nazmi B
full_name: Budanur, Nazmi B
id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
last_name: Budanur
orcid: 0000-0003-0423-5010
- first_name: Predrag
full_name: Cvitanović, Predrag
last_name: Cvitanović
citation:
ama: Budanur NB, Cvitanović P. Unstable manifolds of relative periodic orbits in
the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal
of Statistical Physics. 2017;167(3-4):636-655. doi:10.1007/s10955-016-1672-z
apa: Budanur, N. B., & Cvitanović, P. (2017). Unstable manifolds of relative
periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky
system. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-016-1672-z
chicago: Budanur, Nazmi B, and Predrag Cvitanović. “Unstable Manifolds of Relative
Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky
System.” Journal of Statistical Physics. Springer, 2017. https://doi.org/10.1007/s10955-016-1672-z.
ieee: N. B. Budanur and P. Cvitanović, “Unstable manifolds of relative periodic
orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system,”
Journal of Statistical Physics, vol. 167, no. 3–4. Springer, pp. 636–655,
2017.
ista: Budanur NB, Cvitanović P. 2017. Unstable manifolds of relative periodic orbits
in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal
of Statistical Physics. 167(3–4), 636–655.
mla: Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative
Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky
System.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017,
pp. 636–55, doi:10.1007/s10955-016-1672-z.
short: N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
date_created: 2018-12-11T11:50:44Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2025-09-22T09:36:50Z
day: '01'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1007/s10955-016-1672-z
external_id:
isi:
- '000400233600014'
file:
- access_level: open_access
checksum: 3e971d09eb167761aa0888ed415b0056
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:01Z
date_updated: 2020-07-14T12:44:39Z
file_id: '5319'
file_name: IST-2017-782-v1+1_BudCvi15.pdf
file_size: 2820207
relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: ' 167'
isi: 1
issue: 3-4
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 636-655
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '6136'
pubrep_id: '782'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Unstable manifolds of relative periodic orbits in the symmetry reduced state
space of the Kuramoto–Sivashinsky system
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 167
year: '2017'
...
---
_id: '1213'
abstract:
- lang: eng
text: Bacterial cytokinesis is commonly initiated by the Z-ring, a dynamic cytoskeletal
structure that assembles at the site of division. Its primary component is FtsZ,
a tubulin-like GTPase, that like its eukaryotic relative forms protein filaments
in the presence of GTP. Since the discovery of the Z-ring 25 years ago, various
models for the role of FtsZ have been suggested. However, important information
about the architecture and dynamics of FtsZ filaments during cytokinesis is still
missing. One reason for this lack of knowledge has been the small size of bacteria,
which has made it difficult to resolve the orientation and dynamics of individual
FtsZ filaments in the Z-ring. While superresolution microscopy experiments have
helped to gain more information about the organization of the Z-ring in the dividing
cell, they were not yet able to elucidate a mechanism of how FtsZ filaments reorganize
during assembly and disassembly of the Z-ring. In this chapter, we explain how
to use an in vitro reconstitution approach to investigate the self-organization
of FtsZ filaments recruited to a biomimetic lipid bilayer by its membrane anchor
FtsA. We show how to perform single-molecule experiments to study the behavior
of individual FtsZ monomers during the constant reorganization of the FtsZ-FtsA
filament network. We describe how to analyze the dynamics of single molecules
and explain why this information can help to shed light onto possible mechanism
of Z-ring constriction. We believe that similar experimental approaches will be
useful to study the mechanism of membrane-based polymerization of other cytoskeletal
systems, not only from prokaryotic but also eukaryotic origin.
acknowledged_ssus:
- _id: Bio
acknowledgement: Natalia Baranova is supported by an EMBO Long-Term Fellowship (EMBO
ALTF 1163-2015) and Martin Loose by an ERC Starting Grant (ERCStG-2015-SelfOrganiCell).
alternative_title:
- Methods in Cell Biology
article_processing_charge: No
author:
- first_name: Natalia
full_name: Baranova, Natalia
id: 38661662-F248-11E8-B48F-1D18A9856A87
last_name: Baranova
orcid: 0000-0002-3086-9124
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
citation:
ama: 'Baranova NS, Loose M. Single-molecule measurements to study polymerization
dynamics of FtsZ-FtsA copolymers. In: Echard A, ed. Cytokinesis. Vol 137.
Academic Press; 2017:355-370. doi:10.1016/bs.mcb.2016.03.036'
apa: Baranova, N. S., & Loose, M. (2017). Single-molecule measurements to study
polymerization dynamics of FtsZ-FtsA copolymers. In A. Echard (Ed.), Cytokinesis
(Vol. 137, pp. 355–370). Academic Press. https://doi.org/10.1016/bs.mcb.2016.03.036
chicago: Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to
Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” In Cytokinesis,
edited by Arnaud Echard, 137:355–70. Academic Press, 2017. https://doi.org/10.1016/bs.mcb.2016.03.036.
ieee: N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization
dynamics of FtsZ-FtsA copolymers,” in Cytokinesis, vol. 137, A. Echard,
Ed. Academic Press, 2017, pp. 355–370.
ista: 'Baranova NS, Loose M. 2017.Single-molecule measurements to study polymerization
dynamics of FtsZ-FtsA copolymers. In: Cytokinesis. Methods in Cell Biology, vol.
137, 355–370.'
mla: Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study
Polymerization Dynamics of FtsZ-FtsA Copolymers.” Cytokinesis, edited by
Arnaud Echard, vol. 137, Academic Press, 2017, pp. 355–70, doi:10.1016/bs.mcb.2016.03.036.
short: N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press,
2017, pp. 355–370.
date_created: 2018-12-11T11:50:45Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2025-07-10T11:50:24Z
day: '01'
department:
- _id: MaLo
doi: 10.1016/bs.mcb.2016.03.036
ec_funded: 1
editor:
- first_name: 'Arnaud '
full_name: 'Echard, Arnaud '
last_name: Echard
external_id:
isi:
- '000403542900022'
intvolume: ' 137'
isi: 1
language:
- iso: eng
month: '12'
oa_version: None
page: 355 - 370
project:
- _id: 2596EAB6-B435-11E9-9278-68D0E5697425
grant_number: ALTF 2015-1163
name: Synthesis of bacterial cell wall
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Cytokinesis
publication_identifier:
issn:
- 0091-679X
publication_status: published
publisher: Academic Press
publist_id: '6134'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA
copolymers
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 137
year: '2017'
...
---
OA_place: repository
OA_type: green
_id: '12193'
abstract:
- lang: eng
text: DNA methylation regulates eukaryotic gene expression and is extensively reprogrammed
during animal development. However, whether developmental methylation reprogramming
during the sporophytic life cycle of flowering plants regulates genes is presently
unknown. Here we report a distinctive gene-targeted RNA-directed DNA methylation
(RdDM) activity in the Arabidopsis thaliana male sexual lineage that regulates
gene expression in meiocytes. Loss of sexual-lineage-specific RdDM causes mis-splicing
of the MPS1 gene (also known as PRD2), thereby disrupting meiosis. Our results
establish a regulatory paradigm in which de novo methylation creates a cell-lineage-specific
epigenetic signature that controls gene expression and contributes to cellular
function in flowering plants.
acknowledgement: We thank Daniel Zilberman for intellectual contributions to this
work and assistance with manuscript preparation. We also thank Caroline Dean, Kirsten
Bomblies, Vinod Kumar, Siobhan Brady and Sophien Kamoun for comments on the manuscript,
Hugh Dickinson and Josephine Hellberg for developing the meiocyte isolation method,
Giles Oldroyd for the pGWB13-Bar vector, Elisa Fiume for the pMDC107-NTF vector,
Matthew Hartley, Matthew Couchman and Tjelvar Sten Gunnar Olsson for bioinformatics
support, and the John Innes Centre Bioimaging Facility (Elaine Barclay and Grant
Calder) for their assistance with microscopy. This work was funded by a Biotechnology
and Biological Sciences Research Council (BBSRC) David Phillips Fellowship (BBL0250431)
to X.F., a BBSRC grant (BBM01973X1) to J.H., and a Sainsbury PhD Studentship to
J.W.
article_processing_charge: No
article_type: original
author:
- first_name: James
full_name: Walker, James
last_name: Walker
- first_name: Hongbo
full_name: Gao, Hongbo
last_name: Gao
- first_name: Jingyi
full_name: Zhang, Jingyi
last_name: Zhang
- first_name: Billy
full_name: Aldridge, Billy
last_name: Aldridge
- first_name: Martin
full_name: Vickers, Martin
last_name: Vickers
- first_name: James D.
full_name: Higgins, James D.
last_name: Higgins
- first_name: Xiaoqi
full_name: Feng, Xiaoqi
id: e0164712-22ee-11ed-b12a-d80fcdf35958
last_name: Feng
orcid: 0000-0002-4008-1234
citation:
ama: Walker J, Gao H, Zhang J, et al. Sexual-lineage-specific DNA methylation regulates
meiosis in Arabidopsis. Nature Genetics. 2017;50(1):130-137. doi:10.1038/s41588-017-0008-5
apa: Walker, J., Gao, H., Zhang, J., Aldridge, B., Vickers, M., Higgins, J. D.,
& Feng, X. (2017). Sexual-lineage-specific DNA methylation regulates meiosis
in Arabidopsis. Nature Genetics. Nature Research. https://doi.org/10.1038/s41588-017-0008-5
chicago: Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers,
James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates
Meiosis in Arabidopsis.” Nature Genetics. Nature Research, 2017. https://doi.org/10.1038/s41588-017-0008-5.
ieee: J. Walker et al., “Sexual-lineage-specific DNA methylation regulates
meiosis in Arabidopsis,” Nature Genetics, vol. 50, no. 1. Nature Research,
pp. 130–137, 2017.
ista: Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017.
Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature
Genetics. 50(1), 130–137.
mla: Walker, James, et al. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis
in Arabidopsis.” Nature Genetics, vol. 50, no. 1, Nature Research, 2017,
pp. 130–37, doi:10.1038/s41588-017-0008-5.
short: J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng,
Nature Genetics 50 (2017) 130–137.
date_created: 2023-01-16T09:18:05Z
date_published: 2017-12-18T00:00:00Z
date_updated: 2026-03-19T10:51:18Z
day: '18'
department:
- _id: XiFe
doi: 10.1038/s41588-017-0008-5
extern: '1'
external_id:
pmid:
- '29255257'
intvolume: ' 50'
issue: '1'
keyword:
- Genetics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7611288/
month: '12'
oa: 1
oa_version: Submitted Version
page: 130-137
pmid: 1
publication: Nature Genetics
publication_identifier:
eissn:
- 1546-1718
issn:
- 1061-4036
publication_status: published
publisher: Nature Research
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2017'
...
---
_id: '1228'
abstract:
- lang: eng
text: Since 2006, reprogrammed cells have increasingly been used as a biomedical
research technique in addition to neuro-psychiatric methods. These rapidly evolving
techniques allow for the generation of neuronal sub-populations, and have sparked
interest not only in monogenetic neuro-psychiatric diseases, but also in poly-genetic
and poly-aetiological disorders such as schizophrenia (SCZ) and bipolar disorder
(BPD). This review provides a summary of 19 publications on reprogrammed adult
somatic cells derived from patients with SCZ, and five publications using this
technique in patients with BPD. As both disorders are complex and heterogeneous,
there is a plurality of hypotheses to be tested in vitro. In SCZ, data on alterations
of dopaminergic transmission in vitro are sparse, despite the great explanatory
power of the so-called DA hypothesis of SCZ. Some findings correspond to perturbations
of cell energy metabolism, and observations in reprogrammed cells suggest neuro-developmental
alterations. Some studies also report on the efficacy of medicinal compounds to
revert alterations observed in cellular models. However, due to the paucity of
replication studies, no comprehensive conclusions can be drawn from studies using
reprogrammed cells at the present time. In the future, findings from cell culture
methods need to be integrated with clinical, epidemiological, pharmacological
and imaging data in order to generate a more comprehensive picture of SCZ and
BPD.
acknowledgement: This work was supported by grants of the Austrian Science Fund (FWF)
P23585B09 to M.W. and F3506 to H.H.S. and the “Wiener Wissenschafts-, Forschungs-
und Technologiefonds” (Vienna Science and Technology Fund; WWTF) CS15-033 to M.W.
article_processing_charge: No
article_type: review
author:
- first_name: Ulrich
full_name: Sauerzopf, Ulrich
last_name: Sauerzopf
- first_name: Roberto
full_name: Sacco, Roberto
id: 42C9F57E-F248-11E8-B48F-1D18A9856A87
last_name: Sacco
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Marco
full_name: Niello, Marco
last_name: Niello
- first_name: Ana
full_name: Weidenauer, Ana
last_name: Weidenauer
- first_name: Nicole
full_name: Praschak Rieder, Nicole
last_name: Praschak Rieder
- first_name: Harald
full_name: Sitte, Harald
last_name: Sitte
- first_name: Matthaeus
full_name: Willeit, Matthaeus
last_name: Willeit
citation:
ama: Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool
for studying dopamine dysfunction in psychotic disorders? A review of the current
evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418
apa: Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak
Rieder, N., … Willeit, M. (2017). Are reprogrammed cells a useful tool for studying
dopamine dysfunction in psychotic disorders? A review of the current evidence.
European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/ejn.13418
chicago: Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer,
Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed
Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders?
A Review of the Current Evidence.” European Journal of Neuroscience. Wiley-Blackwell,
2017. https://doi.org/10.1111/ejn.13418.
ieee: U. Sauerzopf et al., “Are reprogrammed cells a useful tool for studying
dopamine dysfunction in psychotic disorders? A review of the current evidence,”
European Journal of Neuroscience, vol. 45, no. 1. Wiley-Blackwell, pp.
45–57, 2017.
ista: Sauerzopf U, Sacco R, Novarino G, Niello M, Weidenauer A, Praschak Rieder
N, Sitte H, Willeit M. 2017. Are reprogrammed cells a useful tool for studying
dopamine dysfunction in psychotic disorders? A review of the current evidence.
European Journal of Neuroscience. 45(1), 45–57.
mla: Sauerzopf, Ulrich, et al. “Are Reprogrammed Cells a Useful Tool for Studying
Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.”
European Journal of Neuroscience, vol. 45, no. 1, Wiley-Blackwell, 2017,
pp. 45–57, doi:10.1111/ejn.13418.
short: U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak
Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
date_created: 2018-12-11T11:50:50Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2023-09-20T11:16:01Z
day: '01'
ddc:
- '616'
department:
- _id: GaNo
doi: 10.1111/ejn.13418
external_id:
isi:
- '000392487100005'
pmid:
- '27690184'
file:
- access_level: open_access
checksum: c572cf02be8fbb7020cfcfb892182e4c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:48Z
date_updated: 2020-07-14T12:44:39Z
file_id: '4838'
file_name: IST-2017-738-v1+1_Sauerzopf_et_al-2017-European_Journal_of_Neuroscience.pdf
file_size: 169145
relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: ' 45'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 45 - 57
pmid: 1
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6106'
pubrep_id: '738'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic
disorders? A review of the current evidence
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: 45
year: '2017'
...
---
_id: '123'
abstract:
- lang: eng
text: The Leidenfrost effect occurs when an object near a hot surface vaporizes
rapidly enough to lift itself up and hover. Although well understood for liquids
and stiff sublimable solids, nothing is known about the effect with materials
whose stiffness lies between these extremes. Here we introduce a new phenomenon
that occurs with vaporizable soft solids - the elastic Leidenfrost effect. By
dropping hydrogel spheres onto hot surfaces we find that, rather than hovering,
they energetically bounce several times their diameter for minutes at a time.
With high-speed video during a single impact, we uncover high-frequency microscopic
gap dynamics at the sphere/substrate interface. We show how these otherwise-hidden
agitations constitute work cycles that harvest mechanical energy from the vapour
and sustain the bouncing. Our findings suggest a new strategy for injecting mechanical
energy into a widely used class of soft materials, with potential relevance to
fields such as active matter, soft robotics and microfluidics.
acknowledgement: A.S. acknowledges funding from the Delta Institute for Theoretical
Physics and the hospitality of the IBS Center for Theoretical Physics of Complex
Systems, Daejeon, South Korea. We acknowledge funding from the Netherlands Organisation
for Scientific Research through grants VICI No. NWO-680-47-609 (M.v.H. and S.R.W.),
VENI No. NWO-680-47-445 (C.C.) and VENI No. NWO-680-47-453 (S.R.W.).
arxiv: 1
author:
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
- first_name: Antal
full_name: Zuiderwijk, Antal
last_name: Zuiderwijk
- first_name: Anton
full_name: Souslov, Anton
last_name: Souslov
- first_name: Corentin
full_name: Coulais, Corentin
last_name: Coulais
- first_name: Martin
full_name: Van Hecke, Martin
last_name: Van Hecke
citation:
ama: Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. Coupling the
Leidenfrost effect and elastic deformations to power sustained bouncing. Nature
Physics. 2017;13(11):1095-1099. doi:10.1038/nphys4194
apa: Waitukaitis, S. R., Zuiderwijk, A., Souslov, A., Coulais, C., & Van Hecke,
M. (2017). Coupling the Leidenfrost effect and elastic deformations to power sustained
bouncing. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys4194
chicago: Waitukaitis, Scott R, Antal Zuiderwijk, Anton Souslov, Corentin Coulais,
and Martin Van Hecke. “Coupling the Leidenfrost Effect and Elastic Deformations
to Power Sustained Bouncing.” Nature Physics. Nature Publishing Group,
2017. https://doi.org/10.1038/nphys4194.
ieee: S. R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, and M. Van Hecke,
“Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing,”
Nature Physics, vol. 13, no. 11. Nature Publishing Group, pp. 1095–1099,
2017.
ista: Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. 2017. Coupling
the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature
Physics. 13(11), 1095–1099.
mla: Waitukaitis, Scott R., et al. “Coupling the Leidenfrost Effect and Elastic
Deformations to Power Sustained Bouncing.” Nature Physics, vol. 13, no.
11, Nature Publishing Group, 2017, pp. 1095–99, doi:10.1038/nphys4194.
short: S.R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, M. Van Hecke, Nature
Physics 13 (2017) 1095–1099.
date_created: 2018-12-11T11:44:45Z
date_published: 2017-07-24T00:00:00Z
date_updated: 2021-01-12T06:49:14Z
day: '24'
doi: 10.1038/nphys4194
extern: '1'
external_id:
arxiv:
- '1705.03530'
intvolume: ' 13'
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1705.03530
month: '07'
oa: 1
oa_version: Preprint
page: 1095 - 1099
publication: Nature Physics
publication_status: published
publisher: Nature Publishing Group
publist_id: '7931'
quality_controlled: '1'
status: public
title: Coupling the Leidenfrost effect and elastic deformations to power sustained
bouncing
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2017'
...
---
_id: '12571'
abstract:
- lang: eng
text: We consider the problems of maintaining approximate maximum matching and minimum
vertex cover in a dynamic graph. Starting with the seminal work of Onak and Rubinfeld
[STOC 2010], this problem has received significant attention in recent years.
Very recently, extending the framework of Baswana, Gupta and Sen [FOCS 2011],
Solomon [FOCS 2016] gave a randomized 2-approximation dynamic algorithm for this
problem that has amortized update time of O(1) with high probability. We consider
the natural open question of derandomizing this result. We present a new deterministic
fully dynamic algorithm that maintains a O(1)-approximate minimum vertex cover
and maximum fractional matching, with an amortized update time of O(1). Previously,
the best deterministic algorithm for this problem was due to Bhattacharya, Henzinger
and Italiano [SODA 2015]; it had an approximation ratio of (2+ϵ) and an amortized
update time of O(logn/ϵ2). Our result can be generalized to give a fully dynamic
O(f3)-approximation algorithm with O(f2) amortized update time for the hypergraph
vertex cover and fractional matching problems, where every hyperedge has at most
f vertices.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Sayan
full_name: Bhattacharya, Sayan
last_name: Bhattacharya
- first_name: Deeparnab
full_name: Chakrabarty, Deeparnab
last_name: Chakrabarty
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
citation:
ama: 'Bhattacharya S, Chakrabarty D, Henzinger M. Deterministic fully dynamic approximate
vertex cover and fractional matching in O(1) amortized update time. In: 19th
International Conference on Integer Programming and Combinatorial Optimization.
Vol 10328. Springer Nature; 2017:86-98. doi:10.1007/978-3-319-59250-3_8'
apa: 'Bhattacharya, S., Chakrabarty, D., & Henzinger, M. (2017). Deterministic
fully dynamic approximate vertex cover and fractional matching in O(1) amortized
update time. In 19th International Conference on Integer Programming and Combinatorial
Optimization (Vol. 10328, pp. 86–98). Waterloo, ON, Canada: Springer Nature.
https://doi.org/10.1007/978-3-319-59250-3_8'
chicago: Bhattacharya, Sayan, Deeparnab Chakrabarty, and Monika Henzinger. “Deterministic
Fully Dynamic Approximate Vertex Cover and Fractional Matching in O(1) Amortized
Update Time.” In 19th International Conference on Integer Programming and Combinatorial
Optimization, 10328:86–98. Springer Nature, 2017. https://doi.org/10.1007/978-3-319-59250-3_8.
ieee: S. Bhattacharya, D. Chakrabarty, and M. Henzinger, “Deterministic fully dynamic
approximate vertex cover and fractional matching in O(1) amortized update time,”
in 19th International Conference on Integer Programming and Combinatorial Optimization,
Waterloo, ON, Canada, 2017, vol. 10328, pp. 86–98.
ista: 'Bhattacharya S, Chakrabarty D, Henzinger M. 2017. Deterministic fully dynamic
approximate vertex cover and fractional matching in O(1) amortized update time.
19th International Conference on Integer Programming and Combinatorial Optimization.
IPCO: Integer Programming and Combinatorial Optimization, LNCS, vol. 10328, 86–98.'
mla: Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Approximate Vertex
Cover and Fractional Matching in O(1) Amortized Update Time.” 19th International
Conference on Integer Programming and Combinatorial Optimization, vol. 10328,
Springer Nature, 2017, pp. 86–98, doi:10.1007/978-3-319-59250-3_8.
short: S. Bhattacharya, D. Chakrabarty, M. Henzinger, in:, 19th International Conference
on Integer Programming and Combinatorial Optimization, Springer Nature, 2017,
pp. 86–98.
conference:
end_date: 2017-06-28
location: Waterloo, ON, Canada
name: 'IPCO: Integer Programming and Combinatorial Optimization'
start_date: 2017-06-26
date_created: 2023-02-20T07:52:31Z
date_published: 2017-05-24T00:00:00Z
date_updated: 2024-11-06T12:03:44Z
day: '24'
doi: 10.1007/978-3-319-59250-3_8
extern: '1'
external_id:
arxiv:
- '1611.00198'
intvolume: ' 10328'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1611.00198
month: '05'
oa: 1
oa_version: Preprint
page: 86-98
publication: 19th International Conference on Integer Programming and Combinatorial
Optimization
publication_identifier:
eisbn:
- '9783319592503'
isbn:
- '9783319592497'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Deterministic fully dynamic approximate vertex cover and fractional matching
in O(1) amortized update time
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10328
year: '2017'
...
---
_id: '12608'
abstract:
- lang: eng
text: The spatio-temporal distribution of air temperature over mountain glaciers
can demonstrate complex patterns, yet it is often represented simplistically using
linear vertical temperature gradients (VTGs) extrapolated from off-glacier locations.
We analyse a network of centreline and lateral air temperature observations at
Tsanteleina Glacier, Italy, during summer 2015. On average, VTGs are steep (<−0.0065
°C m−1), but they are shallow under warm ambient conditions
when the correlation between air temperature and elevation becomes weaker. Published
along-flowline temperature distribution methods explain centreline observations
well, including warming on the lower glacier tongue, but cannot estimate lateral
temperature variability. Application of temperature distribution methods improves
simulation of melt rates (RMSE) in an energy-balance model by up to 36% compared
to the environmental lapse rate extrapolated from an off-glacier station. However,
results suggest that model parameters are not easily transferable to glaciers
with a small fetch without recalibration. Such methods have potential to improve
estimates of temperature across a glacier, but their parameter transferability
should be further linked to the glacier and atmospheric characteristics. Furthermore,
‘cold spots’, which can be >2°C cooler than expected for their elevation, whose
occurrence is not predicted by the temperature distribution models, are identified
at one-quarter of the measurement sites.
article_processing_charge: No
article_type: original
author:
- first_name: THOMAS E.
full_name: SHAW, THOMAS E.
last_name: SHAW
- first_name: BEN W.
full_name: BROCK, BEN W.
last_name: BROCK
- first_name: ÁLVARO
full_name: AYALA, ÁLVARO
last_name: AYALA
- first_name: NICK
full_name: RUTTER, NICK
last_name: RUTTER
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: 'SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. Centreline and cross-glacier
air temperature variability on an Alpine glacier: Assessing temperature distribution
methods and their influence on melt model calculations. Journal of Glaciology.
2017;63(242):973-988. doi:10.1017/jog.2017.65'
apa: 'SHAW, T. E., BROCK, B. W., AYALA, Á., RUTTER, N., & Pellicciotti, F. (2017).
Centreline and cross-glacier air temperature variability on an Alpine glacier:
Assessing temperature distribution methods and their influence on melt model calculations.
Journal of Glaciology. Cambridge University Press. https://doi.org/10.1017/jog.2017.65'
chicago: 'SHAW, THOMAS E., BEN W. BROCK, ÁLVARO AYALA, NICK RUTTER, and Francesca
Pellicciotti. “Centreline and Cross-Glacier Air Temperature Variability on an
Alpine Glacier: Assessing Temperature Distribution Methods and Their Influence
on Melt Model Calculations.” Journal of Glaciology. Cambridge University
Press, 2017. https://doi.org/10.1017/jog.2017.65.'
ieee: 'T. E. SHAW, B. W. BROCK, Á. AYALA, N. RUTTER, and F. Pellicciotti, “Centreline
and cross-glacier air temperature variability on an Alpine glacier: Assessing
temperature distribution methods and their influence on melt model calculations,”
Journal of Glaciology, vol. 63, no. 242. Cambridge University Press, pp.
973–988, 2017.'
ista: 'SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. 2017. Centreline and
cross-glacier air temperature variability on an Alpine glacier: Assessing temperature
distribution methods and their influence on melt model calculations. Journal of
Glaciology. 63(242), 973–988.'
mla: 'SHAW, THOMAS E., et al. “Centreline and Cross-Glacier Air Temperature Variability
on an Alpine Glacier: Assessing Temperature Distribution Methods and Their Influence
on Melt Model Calculations.” Journal of Glaciology, vol. 63, no. 242, Cambridge
University Press, 2017, pp. 973–88, doi:10.1017/jog.2017.65.'
short: T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology
63 (2017) 973–988.
date_created: 2023-02-20T08:13:47Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2023-02-28T11:30:34Z
day: '01'
doi: 10.1017/jog.2017.65
extern: '1'
intvolume: ' 63'
issue: '242'
keyword:
- Earth-Surface Processes
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1017/jog.2017.65
month: '12'
oa: 1
oa_version: Published Version
page: 973-988
publication: Journal of Glaciology
publication_identifier:
eissn:
- 1727-5652
issn:
- 0022-1430
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Centreline and cross-glacier air temperature variability on an Alpine glacier:
Assessing temperature distribution methods and their influence on melt model calculations'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 63
year: '2017'
...
---
_id: '12609'
abstract:
- lang: eng
text: Previous estimates of melt and surface sublimation on glaciers of the subtropical
semiarid Andes (29–34°S) have been obtained at few specific locations, but it
is not clear how ablation components vary across the entire extent of a glacier
in this dry environment. Here, we simulate the distributed energy and mass balance
of Juncal Norte Glacier (33°S) during a 2-month summer period. Forcing fields
of near-surface air temperature and wind speed are generated using two methods
accounting for the main physical processes that shape their spatial variations.
Simulated meteorological variables and ablation agree well with observations on
the glacier tongue and reveal complex patterns of energy and mass fluxes. Ablation
decreases from 70 mm w.e. d−1 at the low-albedo glacier terminus
(~3000 m), where almost 100% of total ablation corresponds to melt, to <5 mm
w.e. d−1 at wind-exposed, strong-radiated sites above 5500
m, where surface sublimation represents >75% of total ablation. Our simulations
provide the first glacier-scale estimates of ablation components on a glacier
in the study region and better reproduce the observed and expected spatial variations
of melt and surface sublimation, in comparison with more simple assumptions, such
as linear gradients and uniform wind speeds.
article_processing_charge: No
article_type: original
author:
- first_name: A.
full_name: AYALA, A.
last_name: AYALA
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: N.
full_name: PELEG, N.
last_name: PELEG
- first_name: P.
full_name: BURLANDO, P.
last_name: BURLANDO
citation:
ama: 'AYALA A, Pellicciotti F, PELEG N, BURLANDO P. Melt and surface sublimation
across a glacier in a dry environment: distributed energy-balance modelling of
Juncal Norte Glacier, Chile. Journal of Glaciology. 2017;63(241):803-822.
doi:10.1017/jog.2017.46'
apa: 'AYALA, A., Pellicciotti, F., PELEG, N., & BURLANDO, P. (2017). Melt and
surface sublimation across a glacier in a dry environment: distributed energy-balance
modelling of Juncal Norte Glacier, Chile. Journal of Glaciology. Cambridge
University Press. https://doi.org/10.1017/jog.2017.46'
chicago: 'AYALA, A., Francesca Pellicciotti, N. PELEG, and P. BURLANDO. “Melt and
Surface Sublimation across a Glacier in a Dry Environment: Distributed Energy-Balance
Modelling of Juncal Norte Glacier, Chile.” Journal of Glaciology. Cambridge
University Press, 2017. https://doi.org/10.1017/jog.2017.46.'
ieee: 'A. AYALA, F. Pellicciotti, N. PELEG, and P. BURLANDO, “Melt and surface sublimation
across a glacier in a dry environment: distributed energy-balance modelling of
Juncal Norte Glacier, Chile,” Journal of Glaciology, vol. 63, no. 241.
Cambridge University Press, pp. 803–822, 2017.'
ista: 'AYALA A, Pellicciotti F, PELEG N, BURLANDO P. 2017. Melt and surface sublimation
across a glacier in a dry environment: distributed energy-balance modelling of
Juncal Norte Glacier, Chile. Journal of Glaciology. 63(241), 803–822.'
mla: 'AYALA, A., et al. “Melt and Surface Sublimation across a Glacier in a Dry
Environment: Distributed Energy-Balance Modelling of Juncal Norte Glacier, Chile.”
Journal of Glaciology, vol. 63, no. 241, Cambridge University Press, 2017,
pp. 803–22, doi:10.1017/jog.2017.46.'
short: A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63
(2017) 803–822.
date_created: 2023-02-20T08:13:53Z
date_published: 2017-10-01T00:00:00Z
date_updated: 2023-02-28T11:28:19Z
day: '01'
doi: 10.1017/jog.2017.46
extern: '1'
intvolume: ' 63'
issue: '241'
keyword:
- Earth-Surface Processes
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1017/jog.2017.46
month: '10'
oa: 1
oa_version: Published Version
page: 803-822
publication: Journal of Glaciology
publication_identifier:
eissn:
- 1727-5652
issn:
- 0022-1430
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Melt and surface sublimation across a glacier in a dry environment: distributed
energy-balance modelling of Juncal Norte Glacier, Chile'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 63
year: '2017'
...
---
_id: '12610'
abstract:
- lang: eng
text: The hydrological systems of heavily-downwasted debris-covered glaciers differ
from those of clean-ice glaciers due to the hummocky surface and debris mantle
of such glaciers, leading to a relatively limited understanding of drainage pathways.
Supraglacial ponds represent sinks within the discontinuous supraglacial drainage
system, and occasionally drain englacially. To assess pond dynamics, we made pond
water level measurements on Lirung Glacier, Nepal, during May and October of 2013
and 2014. Simultaneously, aerial, satellite, and terrestrial orthoimages and digital
elevation models were obtained, providing snapshots of the ponds and their surroundings.
We performed a DEM-based analysis of the glacier's closed surface catchments to
identify surface drainage pathways and englacial drainage points, and compared
this to field observations of surface and near-surface water flow. The total ponded
area was higher in the pre-monsoon than post-monsoon, with individual ponds filling
and draining seasonally associated with the surface exposure of englacial conduit
segments. We recorded four pond drainage events, all of which occurred gradually
(duration of weeks), observed diurnal fluctuations indicative of varying water
supply and outflow discharge, and we documented instances of interaction between
distant ponds. The DEM drainage analysis identified numerous sinks >3 m in depth
across the glacier surface, few of which exhibited ponds (23%), while the field
survey highlighted instances of surface water only explicable via englacial routes.
Taken together, our observations provide evidence for widespread supraglacial-englacial
connectivity of meltwater drainage paths. Results suggest that successive englacial
conduit collapse events, themselves likely driven by supraglacial pond drainage,
cause the glacier surface drainage system to evolve into a configuration following
relict englacial conduit systems. Within this system, ponds form in depressions
of reduced drainage efficiency and link the supraglacial and englacial drainage
networks.
article_number: '69'
article_processing_charge: No
article_type: original
author:
- first_name: Evan S.
full_name: Miles, Evan S.
last_name: Miles
- first_name: Jakob
full_name: Steiner, Jakob
last_name: Steiner
- first_name: Ian
full_name: Willis, Ian
last_name: Willis
- first_name: Pascal
full_name: Buri, Pascal
last_name: Buri
- first_name: Walter W.
full_name: Immerzeel, Walter W.
last_name: Immerzeel
- first_name: Anna
full_name: Chesnokova, Anna
last_name: Chesnokova
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: Miles ES, Steiner J, Willis I, et al. Pond dynamics and supraglacial-englacial
connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science.
2017;5. doi:10.3389/feart.2017.00069
apa: Miles, E. S., Steiner, J., Willis, I., Buri, P., Immerzeel, W. W., Chesnokova,
A., & Pellicciotti, F. (2017). Pond dynamics and supraglacial-englacial connectivity
on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. Frontiers
Media. https://doi.org/10.3389/feart.2017.00069
chicago: Miles, Evan S., Jakob Steiner, Ian Willis, Pascal Buri, Walter W. Immerzeel,
Anna Chesnokova, and Francesca Pellicciotti. “Pond Dynamics and Supraglacial-Englacial
Connectivity on Debris-Covered Lirung Glacier, Nepal.” Frontiers in Earth Science.
Frontiers Media, 2017. https://doi.org/10.3389/feart.2017.00069.
ieee: E. S. Miles et al., “Pond dynamics and supraglacial-englacial connectivity
on debris-covered Lirung Glacier, Nepal,” Frontiers in Earth Science, vol.
5. Frontiers Media, 2017.
ista: Miles ES, Steiner J, Willis I, Buri P, Immerzeel WW, Chesnokova A, Pellicciotti
F. 2017. Pond dynamics and supraglacial-englacial connectivity on debris-covered
Lirung Glacier, Nepal. Frontiers in Earth Science. 5, 69.
mla: Miles, Evan S., et al. “Pond Dynamics and Supraglacial-Englacial Connectivity
on Debris-Covered Lirung Glacier, Nepal.” Frontiers in Earth Science, vol.
5, 69, Frontiers Media, 2017, doi:10.3389/feart.2017.00069.
short: E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova,
F. Pellicciotti, Frontiers in Earth Science 5 (2017).
date_created: 2023-02-20T08:14:04Z
date_published: 2017-09-21T00:00:00Z
date_updated: 2023-02-28T11:13:23Z
day: '21'
doi: 10.3389/feart.2017.00069
extern: '1'
intvolume: ' 5'
keyword:
- General Earth and Planetary Sciences
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3389/feart.2017.00069
month: '09'
oa: 1
oa_version: Published Version
publication: Frontiers in Earth Science
publication_identifier:
issn:
- 2296-6463
publication_status: published
publisher: Frontiers Media
quality_controlled: '1'
scopus_import: '1'
status: public
title: Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung
Glacier, Nepal
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2017'
...
---
_id: '12611'
abstract:
- lang: eng
text: 'We investigate the energy balance and ablation regimes of glaciers in high-elevation,
dry environments using glaciometeorological data collected on six glaciers in
the semiarid Andes of North-Central Chile (29–34°S, 3127–5324 m). We use a point-scale
physically based energy balance (EB) model and an enhanced Temperature-Index (ETI)
model that calculates melt rates only as a function of air temperature and net
shortwave radiation. At all sites, the largest energy inputs are net shortwave
and incoming longwave radiation, which are controlled by surface albedo and elevation,
respectively. Turbulent fluxes cancel each other out at the lower sites, but as
elevation increases, cold, dry and wind-exposed conditions increase the magnitude
of negative latent heat fluxes, associated with large surface sublimation rates.
In midsummer (January), ablation rates vary from 67.9 mm w.e. d−1 at the lowest
site (∼100% corresponding to melt), to 2.3 mm w.e. d−1 at the highest site (>85%
corresponding to surface sublimation). At low-elevation, low-albedo, melt-dominated
sites, the ETI model correctly reproduces melt using a large range of possible
parameters, but both the performance and parameter transferability decrease with
elevation for two main reasons: (i) the air temperature threshold approach for
melt onset does not capture the diurnal variability of melt in cold and strong
irradiated environments and (ii) energy losses decrease the correlation between
melt and net shortwave radiation. We summarize our results by means of an elevation
profile of ablation components that can be used as reference in future studies
of glacier ablation in the semiarid Andes.'
article_processing_charge: No
article_type: original
author:
- first_name: A.
full_name: Ayala, A.
last_name: Ayala
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: S.
full_name: MacDonell, S.
last_name: MacDonell
- first_name: J.
full_name: McPhee, J.
last_name: McPhee
- first_name: P.
full_name: Burlando, P.
last_name: Burlando
citation:
ama: 'Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. Patterns of glacier
ablation across North-Central Chile: Identifying the limits of empirical melt
models under sublimation-favorable conditions. Water Resources Research.
2017;53(7):5601-5625. doi:10.1002/2016wr020126'
apa: 'Ayala, A., Pellicciotti, F., MacDonell, S., McPhee, J., & Burlando, P.
(2017). Patterns of glacier ablation across North-Central Chile: Identifying the
limits of empirical melt models under sublimation-favorable conditions. Water
Resources Research. American Geophysical Union. https://doi.org/10.1002/2016wr020126'
chicago: 'Ayala, A., Francesca Pellicciotti, S. MacDonell, J. McPhee, and P. Burlando.
“Patterns of Glacier Ablation across North-Central Chile: Identifying the Limits
of Empirical Melt Models under Sublimation-Favorable Conditions.” Water Resources
Research. American Geophysical Union, 2017. https://doi.org/10.1002/2016wr020126.'
ieee: 'A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, and P. Burlando, “Patterns
of glacier ablation across North-Central Chile: Identifying the limits of empirical
melt models under sublimation-favorable conditions,” Water Resources Research,
vol. 53, no. 7. American Geophysical Union, pp. 5601–5625, 2017.'
ista: 'Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. 2017. Patterns
of glacier ablation across North-Central Chile: Identifying the limits of empirical
melt models under sublimation-favorable conditions. Water Resources Research.
53(7), 5601–5625.'
mla: 'Ayala, A., et al. “Patterns of Glacier Ablation across North-Central Chile:
Identifying the Limits of Empirical Melt Models under Sublimation-Favorable Conditions.”
Water Resources Research, vol. 53, no. 7, American Geophysical Union, 2017,
pp. 5601–25, doi:10.1002/2016wr020126.'
short: A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, P. Burlando, Water Resources
Research 53 (2017) 5601–5625.
date_created: 2023-02-20T08:14:10Z
date_published: 2017-07-10T00:00:00Z
date_updated: 2023-02-24T11:41:55Z
day: '10'
doi: 10.1002/2016wr020126
extern: '1'
intvolume: ' 53'
issue: '7'
keyword:
- Water Science and Technology
language:
- iso: eng
month: '07'
oa_version: None
page: 5601-5625
publication: Water Resources Research
publication_identifier:
issn:
- 0043-1397
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Patterns of glacier ablation across North-Central Chile: Identifying the limits
of empirical melt models under sublimation-favorable conditions'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 53
year: '2017'
...
---
_id: '12612'
abstract:
- lang: eng
text: Supraglacial ponds play a key role in absorbing atmospheric energy and directing
it to the ice of debris-covered glaciers, but the spatial and temporal distribution
of these features is not well documented. We analyse 172 Landsat TM/ETM+ scenes
for the period 1999–2013 to identify thawed supraglacial ponds for the debris-covered
tongues of five glaciers in the Langtang Valley of Nepal. We apply an advanced
atmospheric correction routine (Landcor/6S) and use band ratio and image morphological
techniques to identify ponds and validate our results with 2.5 m Cartosat-1 observations.
We then characterize the spatial, seasonal and interannual patterns of ponds.
We find high variability in pond incidence between glaciers (May–October means
of 0.08–1.69% of debris area), with ponds most frequent in zones of low surface
gradient and velocity. The ponds show pronounced seasonality, appearing in the
pre-monsoon as snow melts, peaking at the monsoon onset at 2% of debris-covered
area, then declining in the post-monsoon as ponds drain or freeze. Ponds are highly
recurrent and persistent, with 40.5% of pond locations occurring for multiple
years. Rather than a trend in pond cover over the study period, we find high interannual
variability for each glacier after controlling for seasonality.
article_processing_charge: No
article_type: original
author:
- first_name: EVAN S.
full_name: MILES, EVAN S.
last_name: MILES
- first_name: IAN C.
full_name: WILLIS, IAN C.
last_name: WILLIS
- first_name: NEIL S.
full_name: ARNOLD, NEIL S.
last_name: ARNOLD
- first_name: JAKOB
full_name: STEINER, JAKOB
last_name: STEINER
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. Spatial, seasonal
and interannual variability of supraglacial ponds in the Langtang Valley of Nepal,
1999–2013. Journal of Glaciology. 2017;63(237):88-105. doi:10.1017/jog.2016.120
apa: MILES, E. S., WILLIS, I. C., ARNOLD, N. S., STEINER, J., & Pellicciotti,
F. (2017). Spatial, seasonal and interannual variability of supraglacial ponds
in the Langtang Valley of Nepal, 1999–2013. Journal of Glaciology. Cambridge
University Press. https://doi.org/10.1017/jog.2016.120
chicago: MILES, EVAN S., IAN C. WILLIS, NEIL S. ARNOLD, JAKOB STEINER, and Francesca
Pellicciotti. “Spatial, Seasonal and Interannual Variability of Supraglacial Ponds
in the Langtang Valley of Nepal, 1999–2013.” Journal of Glaciology. Cambridge
University Press, 2017. https://doi.org/10.1017/jog.2016.120.
ieee: E. S. MILES, I. C. WILLIS, N. S. ARNOLD, J. STEINER, and F. Pellicciotti,
“Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang
Valley of Nepal, 1999–2013,” Journal of Glaciology, vol. 63, no. 237. Cambridge
University Press, pp. 88–105, 2017.
ista: MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. 2017. Spatial,
seasonal and interannual variability of supraglacial ponds in the Langtang Valley
of Nepal, 1999–2013. Journal of Glaciology. 63(237), 88–105.
mla: MILES, EVAN S., et al. “Spatial, Seasonal and Interannual Variability of Supraglacial
Ponds in the Langtang Valley of Nepal, 1999–2013.” Journal of Glaciology,
vol. 63, no. 237, Cambridge University Press, 2017, pp. 88–105, doi:10.1017/jog.2016.120.
short: E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal
of Glaciology 63 (2017) 88–105.
date_created: 2023-02-20T08:14:16Z
date_published: 2017-02-01T00:00:00Z
date_updated: 2023-02-24T11:38:31Z
day: '01'
doi: 10.1017/jog.2016.120
extern: '1'
intvolume: ' 63'
issue: '237'
keyword:
- Earth-Surface Processes
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1017/jog.2016.120
month: '02'
oa: 1
oa_version: Published Version
page: 88-105
publication: Journal of Glaciology
publication_identifier:
eissn:
- 1727-5652
issn:
- 0022-1430
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spatial, seasonal and interannual variability of supraglacial ponds in the
Langtang Valley of Nepal, 1999–2013
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 63
year: '2017'
...
---
_id: '12905'
article_processing_charge: No
author:
- first_name: Alois
full_name: Schlögl, Alois
id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
last_name: Schlögl
orcid: 0000-0002-5621-8100
- first_name: Janos
full_name: Kiss, Janos
id: 3D3A06F8-F248-11E8-B48F-1D18A9856A87
last_name: Kiss
citation:
ama: 'Schlögl A, Kiss J. Scientific Computing at IST Austria. In: AHPC17 – Austrian
HPC Meeting 2017. FSP Scientific Computing; 2017:28.'
apa: 'Schlögl, A., & Kiss, J. (2017). Scientific Computing at IST Austria. In
AHPC17 – Austrian HPC Meeting 2017 (p. 28). Grundlsee, Austria: FSP Scientific
Computing.'
chicago: Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.”
In AHPC17 – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.
ieee: A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHPC17
– Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
ista: 'Schlögl A, Kiss J. 2017. Scientific Computing at IST Austria. AHPC17 – Austrian
HPC Meeting 2017. AHPC: Austrian HPC Meeting, 28.'
mla: Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” AHPC17
– Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
short: A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific
Computing, 2017, p. 28.
conference:
end_date: 2017-03-03
location: Grundlsee, Austria
name: 'AHPC: Austrian HPC Meeting'
start_date: 2017-03-01
corr_author: '1'
date_created: 2023-05-05T12:58:53Z
date_published: 2017-03-03T00:00:00Z
date_updated: 2024-10-09T21:05:23Z
day: '03'
ddc:
- '000'
department:
- _id: ScienComp
file:
- access_level: open_access
checksum: 7bcc499479d4f4c5ce6c0071c24ca6c6
content_type: application/pdf
creator: dernst
date_created: 2023-05-16T07:20:50Z
date_updated: 2023-05-16T07:20:50Z
file_id: '12969'
file_name: 2017_AHPC_Schloegl.pdf
file_size: 1005486
relation: main_file
success: 1
file_date_updated: 2023-05-16T07:20:50Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://vsc.ac.at/fileadmin/user_upload/vsc/conferences/ahpc17/BOOKLET_AHPC17.pdf
month: '03'
oa: 1
oa_version: Published Version
page: '28'
publication: AHPC17 – Austrian HPC Meeting 2017
publication_status: published
publisher: FSP Scientific Computing
status: public
title: Scientific Computing at IST Austria
type: conference_abstract
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '1294'
abstract:
- lang: eng
text: We study controller synthesis problems for finite-state Markov decision processes,
where the objective is to optimize the expected mean-payoff performance and stability
(also known as variability in the literature). We argue that the basic notion
of expressing the stability using the statistical variance of the mean payoff
is sometimes insufficient, and propose an alternative definition. We show that
a strategy ensuring both the expected mean payoff and the variance below given
bounds requires randomization and memory, under both the above definitions. We
then show that the problem of finding such a strategy can be expressed as a set
of constraints.
article_processing_charge: No
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Antonín
full_name: Kučera, Antonín
last_name: Kučera
citation:
ama: Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability
in Markov decision processes. Journal of Computer and System Sciences.
2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
apa: Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2017). Trading performance
for stability in Markov decision processes. Journal of Computer and System
Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.09.009
chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera.
“Trading Performance for Stability in Markov Decision Processes.” Journal of
Computer and System Sciences. Elsevier, 2017. https://doi.org/10.1016/j.jcss.2016.09.009.
ieee: T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance
for stability in Markov decision processes,” Journal of Computer and System
Sciences, vol. 84. Elsevier, pp. 144–170, 2017.
ista: Brázdil T, Chatterjee K, Forejt V, Kučera A. 2017. Trading performance for
stability in Markov decision processes. Journal of Computer and System Sciences.
84, 144–170.
mla: Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision
Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier,
2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
short: T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and
System Sciences 84 (2017) 144–170.
date_created: 2018-12-11T11:51:12Z
date_published: 2017-03-01T00:00:00Z
date_updated: 2025-09-29T14:16:56Z
day: '01'
ddc:
- '004'
- '006'
department:
- _id: KrCh
doi: 10.1016/j.jcss.2016.09.009
ec_funded: 1
external_id:
isi:
- '000388430000011'
file:
- access_level: open_access
checksum: 91271b23cf884d7c06d33bef0cd623b1
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:30Z
date_updated: 2020-07-14T12:44:42Z
file_id: '4885'
file_name: IST-2016-717-v1+1_1-s2.0-S0022000016300897-main.pdf
file_size: 708657
relation: main_file
file_date_updated: 2020-07-14T12:44:42Z
has_accepted_license: '1'
intvolume: ' 84'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 144 - 170
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Journal of Computer and System Sciences
publication_status: published
publisher: Elsevier
publist_id: '6009'
pubrep_id: '717'
quality_controlled: '1'
related_material:
record:
- id: '2305'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Trading performance for stability in Markov decision processes
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: 84
year: '2017'
...
---
_id: '13160'
abstract:
- lang: eng
text: "Transforming deterministic ω\r\n-automata into deterministic parity automata
is traditionally done using variants of appearance records. We present a more
efficient variant of this approach, tailored to Rabin automata, and several optimizations
applicable to all appearance records. We compare the methods experimentally and
find out that our method produces smaller automata than previous approaches. Moreover,
the experiments demonstrate the potential of our method for LTL synthesis, using
LTL-to-Rabin translators. It leads to significantly smaller parity automata when
compared to state-of-the-art approaches on complex formulae."
acknowledgement: This work is partially funded by the DFG project “Verified Model
Checkers” and by the Czech Science Foundation, grant No. P202/12/G061.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
- first_name: Clara
full_name: Waldmann, Clara
last_name: Waldmann
- first_name: Maximilian
full_name: Weininger, Maximilian
last_name: Weininger
citation:
ama: 'Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record
for transforming Rabin automata into parity automata. In: Tools and Algorithms
for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460.
doi:10.1007/978-3-662-54577-5_26'
apa: 'Kretinsky, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017).
Index appearance record for transforming Rabin automata into parity automata.
In Tools and Algorithms for the Construction and Analysis of Systems (Vol.
10205, pp. 443–460). Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54577-5_26'
chicago: Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger.
“Index Appearance Record for Transforming Rabin Automata into Parity Automata.”
In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60.
Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_26.
ieee: J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance
record for transforming Rabin automata into parity automata,” in Tools and
Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden,
2017, vol. 10205, pp. 443–460.
ista: 'Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance
record for transforming Rabin automata into parity automata. Tools and Algorithms
for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for
the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.'
mla: Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata
into Parity Automata.” Tools and Algorithms for the Construction and Analysis
of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi:10.1007/978-3-662-54577-5_26.
short: J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and
Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
conference:
end_date: 2017-04-29
location: Uppsala, Sweden
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2017-04-22
corr_author: '1'
date_created: 2023-06-21T13:21:14Z
date_published: 2017-03-31T00:00:00Z
date_updated: 2025-09-18T10:42:48Z
day: '31'
department:
- _id: KrCh
doi: 10.1007/978-3-662-54577-5_26
external_id:
arxiv:
- '1701.05738'
isi:
- '000440734900026'
intvolume: ' 10205'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1701.05738
month: '03'
oa: 1
oa_version: Preprint
page: 443-460
publication: Tools and Algorithms for the Construction and Analysis of Systems
publication_identifier:
eisbn:
- '9783662545775'
eissn:
- 1611-3349
isbn:
- '9783662545768'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
status: public
title: Index appearance record for transforming Rabin automata into parity automata
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 10205
year: '2017'
...
---
_id: '1336'
abstract:
- lang: eng
text: Evolutionary algorithms (EAs) form a popular optimisation paradigm inspired
by natural evolution. In recent years the field of evolutionary computation has
developed a rigorous analytical theory to analyse the runtimes of EAs on many
illustrative problems. Here we apply this theory to a simple model of natural
evolution. In the Strong Selection Weak Mutation (SSWM) evolutionary regime the
time between occurrences of new mutations is much longer than the time it takes
for a mutated genotype to take over the population. In this situation, the population
only contains copies of one genotype and evolution can be modelled as a stochastic
process evolving one genotype by means of mutation and selection between the resident
and the mutated genotype. The probability of accepting the mutated genotype then
depends on the change in fitness. We study this process, SSWM, from an algorithmic
perspective, quantifying its expected optimisation time for various parameters
and investigating differences to a similar evolutionary algorithm, the well-known
(1+1) EA. We show that SSWM can have a moderate advantage over the (1+1) EA at
crossing fitness valleys and study an example where SSWM outperforms the (1+1)
EA by taking advantage of information on the fitness gradient.
article_processing_charge: No
author:
- first_name: Tiago
full_name: Paixao, Tiago
id: 2C5658E6-F248-11E8-B48F-1D18A9856A87
last_name: Paixao
orcid: 0000-0003-2361-3953
- first_name: Jorge
full_name: Pérez Heredia, Jorge
last_name: Pérez Heredia
- first_name: Dirk
full_name: Sudholt, Dirk
last_name: Sudholt
- first_name: Barbora
full_name: Trubenova, Barbora
id: 42302D54-F248-11E8-B48F-1D18A9856A87
last_name: Trubenova
orcid: 0000-0002-6873-2967
citation:
ama: Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison
of natural and artificial evolution. Algorithmica. 2017;78(2):681-713.
doi:10.1007/s00453-016-0212-1
apa: Paixao, T., Pérez Heredia, J., Sudholt, D., & Trubenova, B. (2017). Towards
a runtime comparison of natural and artificial evolution. Algorithmica.
Springer. https://doi.org/10.1007/s00453-016-0212-1
chicago: Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova.
“Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica.
Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
ieee: T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime
comparison of natural and artificial evolution,” Algorithmica, vol. 78,
no. 2. Springer, pp. 681–713, 2017.
ista: Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. 2017. Towards a runtime
comparison of natural and artificial evolution. Algorithmica. 78(2), 681–713.
mla: Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial
Evolution.” Algorithmica, vol. 78, no. 2, Springer, 2017, pp. 681–713,
doi:10.1007/s00453-016-0212-1.
short: T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017)
681–713.
date_created: 2018-12-11T11:51:27Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2026-04-16T09:55:33Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
- _id: CaGu
doi: 10.1007/s00453-016-0212-1
ec_funded: 1
external_id:
isi:
- '000400379500013'
file:
- access_level: open_access
checksum: 7873f665a0c598ac747c908f34cb14b9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:19Z
date_updated: 2020-07-14T12:44:44Z
file_id: '4805'
file_name: IST-2016-658-v1+1_s00453-016-0212-1.pdf
file_size: 710206
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: ' 78'
isi: 1
issue: '2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 681 - 713
project:
- _id: 25B1EC9E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618091'
name: Speed of Adaptation in Population Genetics and Evolutionary Computation
publication: Algorithmica
publication_identifier:
issn:
- 0178-4617
publication_status: published
publisher: Springer
publist_id: '5931'
pubrep_id: '658'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Towards a runtime comparison of natural and artificial evolution
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 78
year: '2017'
...
---
_id: '1337'
abstract:
- lang: eng
text: We consider the local eigenvalue distribution of large self-adjoint N×N random
matrices H=H∗ with centered independent entries. In contrast to previous works
the matrix of variances sij=\mathbbmE|hij|2 is not assumed to be stochastic. Hence
the density of states is not the Wigner semicircle law. Its possible shapes are
described in the companion paper (Ajanki et al. in Quadratic Vector Equations
on the Complex Upper Half Plane. arXiv:1506.05095). We show that as N grows, the
resolvent, G(z)=(H−z)−1, converges to a diagonal matrix, diag(m(z)), where m(z)=(m1(z),…,mN(z))
solves the vector equation −1/mi(z)=z+∑jsijmj(z) that has been analyzed in Ajanki
et al. (Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095).
We prove a local law down to the smallest spectral resolution scale, and bulk
universality for both real symmetric and complex hermitian symmetry classes.
acknowledgement: 'Open access funding provided by Institute of Science and Technology
(IST Austria). '
article_processing_charge: Yes (via OA deal)
author:
- first_name: Oskari H
full_name: Ajanki, Oskari H
id: 36F2FB7E-F248-11E8-B48F-1D18A9856A87
last_name: Ajanki
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
citation:
ama: Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices.
Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
apa: Ajanki, O. H., Erdös, L., & Krüger, T. H. (2017). Universality for general
Wigner-type matrices. Probability Theory and Related Fields. Springer.
https://doi.org/10.1007/s00440-016-0740-2
chicago: Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for
General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer,
2017. https://doi.org/10.1007/s00440-016-0740-2.
ieee: O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type
matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer,
pp. 667–727, 2017.
ista: Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type
matrices. Probability Theory and Related Fields. 169(3–4), 667–727.
mla: Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.”
Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017,
pp. 667–727, doi:10.1007/s00440-016-0740-2.
short: O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields
169 (2017) 667–727.
corr_author: '1'
date_created: 2018-12-11T11:51:27Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2026-04-16T09:55:44Z
day: '01'
ddc:
- '510'
- '530'
department:
- _id: LaEr
doi: 10.1007/s00440-016-0740-2
ec_funded: 1
external_id:
isi:
- '000414358400002'
file:
- access_level: open_access
checksum: 29f5a72c3f91e408aeb9e78344973803
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:25Z
date_updated: 2020-07-14T12:44:44Z
file_id: '4686'
file_name: IST-2017-657-v1+2_s00440-016-0740-2.pdf
file_size: 988843
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: ' 169'
isi: 1
issue: 3-4
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 667 - 727
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Probability Theory and Related Fields
publication_identifier:
issn:
- 0178-8051
publication_status: published
publisher: Springer
publist_id: '5930'
pubrep_id: '657'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Universality for general Wigner-type matrices
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 169
year: '2017'
...
---
_id: '1338'
abstract:
- lang: eng
text: We present a computer-aided programming approach to concurrency. The approach
allows programmers to program assuming a friendly, non-preemptive scheduler, and
our synthesis procedure inserts synchronization to ensure that the final program
works even with a preemptive scheduler. The correctness specification is implicit,
inferred from the non-preemptive behavior. Let us consider sequences of calls
that the program makes to an external interface. The specification requires that
any such sequence produced under a preemptive scheduler should be included in
the set of sequences produced under a non-preemptive scheduler. We guarantee that
our synthesis does not introduce deadlocks and that the synchronization inserted
is optimal w.r.t. a given objective function. The solution is based on a finitary
abstraction, an algorithm for bounded language inclusion modulo an independence
relation, and generation of a set of global constraints over synchronization placements.
Each model of the global constraints set corresponds to a correctness-ensuring
synchronization placement. The placement that is optimal w.r.t. the given objective
function is chosen as the synchronization solution. We apply the approach to device-driver
programming, where the driver threads call the software interface of the device
and the API provided by the operating system. Our experiments demonstrate that
our synthesis method is precise and efficient. The implicit specification helped
us find one concurrency bug previously missed when model-checking using an explicit,
user-provided specification. We implemented objective functions for coarse-grained
and fine-grained locking and observed that different synchronization placements
are produced for our experiments, favoring a minimal number of synchronization
operations or maximum concurrency, respectively.
article_processing_charge: No
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: Edmund
full_name: Clarke, Edmund
last_name: Clarke
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Leonid
full_name: Ryzhyk, Leonid
last_name: Ryzhyk
- first_name: Roopsha
full_name: Samanta, Roopsha
id: 3D2AAC08-F248-11E8-B48F-1D18A9856A87
last_name: Samanta
- first_name: Thorsten
full_name: Tarrach, Thorsten
id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87
last_name: Tarrach
orcid: 0000-0003-4409-8487
citation:
ama: Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling
using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139.
doi:10.1007/s10703-016-0256-5
apa: Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta,
R., & Tarrach, T. (2017). From non-preemptive to preemptive scheduling using
synchronization synthesis. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-016-0256-5
chicago: Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid
Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive
Scheduling Using Synchronization Synthesis.” Formal Methods in System Design.
Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
ieee: P. Cerny et al., “From non-preemptive to preemptive scheduling using
synchronization synthesis,” Formal Methods in System Design, vol. 50, no.
2–3. Springer, pp. 97–139, 2017.
ista: Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach
T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods in System Design. 50(2–3), 97–139.
mla: Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization
Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer,
2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
short: P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta,
T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
corr_author: '1'
date_created: 2018-12-11T11:51:27Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2025-09-23T08:54:01Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s10703-016-0256-5
ec_funded: 1
external_id:
isi:
- '000399888900001'
pmid:
- '28490835'
file:
- access_level: open_access
checksum: 1163dfd997e8212c789525d4178b1653
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:05Z
date_updated: 2020-07-14T12:44:44Z
file_id: '4985'
file_name: IST-2016-656-v1+1_s10703-016-0256-5.pdf
file_size: 1416170
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: ' 50'
isi: 1
issue: 2-3
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 97 - 139
pmid: 1
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Formal Methods in System Design
publication_status: published
publisher: Springer
publist_id: '5929'
pubrep_id: '656'
quality_controlled: '1'
related_material:
record:
- id: '1729'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: From non-preemptive to preemptive scheduling using synchronization synthesis
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2017'
...
---
_id: '13380'
abstract:
- lang: eng
text: Although dissipative self-assembly is ubiquitous in nature, where it gives
rise to structures and functions critical to life, examples of artificial systems
featuring this mode of self-assembly are rare. Here, we identify the presence
of ephemeral assemblies during seeded growth of gold nanoparticles. In this process,
hydrazine reduces Au(III) ions, which attach to the existing nanoparticles “seeds”.
The attachment is accompanied by a local increase in the concentration of a surfactant,
which therefore forms a bilayer on nanoparticle surfaces, inducing their assembly.
The resulting aggregates gradually disassemble as the surfactant concentration
throughout the solution equilibrates. The lifetimes of the out-of-equilibrium
aggregates depend on and can be controlled by the size of the constituent nanoparticles.
We demonstrate the utility of our out-of-equilibrium aggregates to form transient
reflective coatings on polar surfaces.
article_processing_charge: No
article_type: original
author:
- first_name: Michał
full_name: Sawczyk, Michał
last_name: Sawczyk
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Sawczyk M, Klajn R. Out-of-equilibrium aggregates and coatings during seeded
growth of metallic nanoparticles. Journal of the American Chemical Society.
2017;139(49):17973-17978. doi:10.1021/jacs.7b09111
apa: Sawczyk, M., & Klajn, R. (2017). Out-of-equilibrium aggregates and coatings
during seeded growth of metallic nanoparticles. Journal of the American Chemical
Society. American Chemical Society. https://doi.org/10.1021/jacs.7b09111
chicago: Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings
during Seeded Growth of Metallic Nanoparticles.” Journal of the American Chemical
Society. American Chemical Society, 2017. https://doi.org/10.1021/jacs.7b09111.
ieee: M. Sawczyk and R. Klajn, “Out-of-equilibrium aggregates and coatings during
seeded growth of metallic nanoparticles,” Journal of the American Chemical
Society, vol. 139, no. 49. American Chemical Society, pp. 17973–17978, 2017.
ista: Sawczyk M, Klajn R. 2017. Out-of-equilibrium aggregates and coatings during
seeded growth of metallic nanoparticles. Journal of the American Chemical Society.
139(49), 17973–17978.
mla: Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings
during Seeded Growth of Metallic Nanoparticles.” Journal of the American Chemical
Society, vol. 139, no. 49, American Chemical Society, 2017, pp. 17973–78,
doi:10.1021/jacs.7b09111.
short: M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017)
17973–17978.
date_created: 2023-08-01T09:41:01Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2024-10-14T12:15:25Z
day: '01'
doi: 10.1021/jacs.7b09111
extern: '1'
external_id:
pmid:
- '29193964'
intvolume: ' 139'
issue: '49'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
month: '12'
oa_version: None
page: 17973-17978
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Out-of-equilibrium aggregates and coatings during seeded growth of metallic
nanoparticles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 139
year: '2017'
...