---
_id: '9957'
abstract:
- lang: eng
text: The reflectance field of a face describes the reflectance properties responsible
for complex lighting effects including diffuse, specular, inter-reflection and
self shadowing. Most existing methods for estimating the face reflectance from
a monocular image assume faces to be diffuse with very few approaches adding a
specular component. This still leaves out important perceptual aspects of reflectance
as higher-order global illumination effects and self-shadowing are not modeled.
We present a new neural representation for face reflectance where we can estimate
all components of the reflectance responsible for the final appearance from a
single monocular image. Instead of modeling each component of the reflectance
separately using parametric models, our neural representation allows us to generate
a basis set of faces in a geometric deformation-invariant space, parameterized
by the input light direction, viewpoint and face geometry. We learn to reconstruct
this reflectance field of a face just from a monocular image, which can be used
to render the face from any viewpoint in any light condition. Our method is trained
on a light-stage training dataset, which captures 300 people illuminated with
150 light conditions from 8 viewpoints. We show that our method outperforms existing
monocular reflectance reconstruction methods, in terms of photorealism due to
better capturing of physical premitives, such as sub-surface scattering, specularities,
self-shadows and other higher-order effects.
acknowledgement: "We thank Tarun Yenamandra and Duarte David for helping us with the
comparisons. This work was supported by the\r\nERC Consolidator Grant 4DReply (770784).
We also acknowledge support from InterDigital."
article_processing_charge: No
arxiv: 1
author:
- first_name: Mallikarjun
full_name: B R, Mallikarjun
last_name: B R
- first_name: Ayush
full_name: Tewari, Ayush
last_name: Tewari
- first_name: Tae-Hyun
full_name: Oh, Tae-Hyun
last_name: Oh
- first_name: Tim
full_name: Weyrich, Tim
last_name: Weyrich
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Hans-Peter
full_name: Seidel, Hans-Peter
last_name: Seidel
- first_name: Hanspeter
full_name: Pfister, Hanspeter
last_name: Pfister
- first_name: Wojciech
full_name: Matusik, Wojciech
last_name: Matusik
- first_name: Mohamed
full_name: Elgharib, Mohamed
last_name: Elgharib
- first_name: Christian
full_name: Theobalt, Christian
last_name: Theobalt
citation:
ama: 'B R M, Tewari A, Oh T-H, et al. Monocular reconstruction of neural face reflectance
fields. In: Proceedings of the IEEE Computer Society Conference on Computer
Vision and Pattern Recognition. IEEE; 2021:4791-4800. doi:10.1109/CVPR46437.2021.00476'
apa: 'B R, M., Tewari, A., Oh, T.-H., Weyrich, T., Bickel, B., Seidel, H.-P., …
Theobalt, C. (2021). Monocular reconstruction of neural face reflectance fields.
In Proceedings of the IEEE Computer Society Conference on Computer Vision and
Pattern Recognition (pp. 4791–4800). Nashville, TN, United States; Virtual:
IEEE. https://doi.org/10.1109/CVPR46437.2021.00476'
chicago: B R, Mallikarjun, Ayush Tewari, Tae-Hyun Oh, Tim Weyrich, Bernd Bickel,
Hans-Peter Seidel, Hanspeter Pfister, Wojciech Matusik, Mohamed Elgharib, and
Christian Theobalt. “Monocular Reconstruction of Neural Face Reflectance Fields.”
In Proceedings of the IEEE Computer Society Conference on Computer Vision and
Pattern Recognition, 4791–4800. IEEE, 2021. https://doi.org/10.1109/CVPR46437.2021.00476.
ieee: M. B R et al., “Monocular reconstruction of neural face reflectance
fields,” in Proceedings of the IEEE Computer Society Conference on Computer
Vision and Pattern Recognition, Nashville, TN, United States; Virtual, 2021,
pp. 4791–4800.
ista: 'B R M, Tewari A, Oh T-H, Weyrich T, Bickel B, Seidel H-P, Pfister H, Matusik
W, Elgharib M, Theobalt C. 2021. Monocular reconstruction of neural face reflectance
fields. Proceedings of the IEEE Computer Society Conference on Computer Vision
and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition,
4791–4800.'
mla: B R, Mallikarjun, et al. “Monocular Reconstruction of Neural Face Reflectance
Fields.” Proceedings of the IEEE Computer Society Conference on Computer Vision
and Pattern Recognition, IEEE, 2021, pp. 4791–800, doi:10.1109/CVPR46437.2021.00476.
short: M. B R, A. Tewari, T.-H. Oh, T. Weyrich, B. Bickel, H.-P. Seidel, H. Pfister,
W. Matusik, M. Elgharib, C. Theobalt, in:, Proceedings of the IEEE Computer Society
Conference on Computer Vision and Pattern Recognition, IEEE, 2021, pp. 4791–4800.
conference:
end_date: 2021-06-25
location: Nashville, TN, United States; Virtual
name: 'CVPR: Conference on Computer Vision and Pattern Recognition'
start_date: 2021-06-20
date_created: 2021-08-24T06:03:00Z
date_published: 2021-09-01T00:00:00Z
date_updated: 2023-08-11T11:08:35Z
day: '01'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.1109/CVPR46437.2021.00476
external_id:
arxiv:
- '2008.10247'
isi:
- '000739917304096'
file:
- access_level: open_access
checksum: 961db0bde76dd87cf833930080bb9f38
content_type: application/pdf
creator: bbickel
date_created: 2021-08-24T06:02:15Z
date_updated: 2021-08-24T06:02:15Z
file_id: '9958'
file_name: R_Monocular_Reconstruction_of_Neural_Face_Reflectance_Fields_CVPR_2021_paper[1].pdf
file_size: 4746649
relation: main_file
file_date_updated: 2021-08-24T06:02:15Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Preprint
page: 4791-4800
publication: Proceedings of the IEEE Computer Society Conference on Computer Vision
and Pattern Recognition
publication_identifier:
isbn:
- 978-166544509-2
issn:
- 1063-6919
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monocular reconstruction of neural face reflectance fields
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9960'
abstract:
- lang: eng
text: The control of many-body quantum dynamics in complex systems is a key challenge
in the quest to reliably produce and manipulate large-scale quantum entangled
states. Recently, quench experiments in Rydberg atom arrays [Bluvstein et al.
Science 371, 1355 (2021)] demonstrated that coherent revivals associated with
quantum many-body scars can be stabilized by periodic driving, generating stable
subharmonic responses over a wide parameter regime. We analyze a simple, related
model where these phenomena originate from spatiotemporal ordering in an effective
Floquet unitary, corresponding to discrete time-crystalline behavior in a prethermal
regime. Unlike conventional discrete time crystals, the subharmonic response exists
only for Néel-like initial states, associated with quantum scars. We predict robustness
to perturbations and identify emergent timescales that could be observed in future
experiments. Our results suggest a route to controlling entanglement in interacting
quantum systems by combining periodic driving with many-body scars.
acknowledgement: We thank Dmitry Abanin, Ehud Altman, Iris Cong, Sepehr Ebadi, Alex
Keesling, Harry Levine, Ahmed Omran, Hannes Pichler, Rhine Samajdar, Guilia Semeghini,
Tout Wang, Norman Yao, and Harry Zhou or stimulating discussions. We acknowledge
support from the Center for Ultracold Atoms, the National Science Foundation, the
Vannevar Bush Faculty Fellowship, the U.S. Department of Energy, the Army Research
Office MURI, and the DARPA ONISQ program (M. L., N. M, W. W. H., D. B.); the European
Research Council (ERC) under the European Union’s Horizon 2020 Research and Innovation
Programme Grant Agreement No. 850899 (A. M. and M. S.); the Department of Energy
Computational Science Graduate Fellowship under Awards No. DESC0021110 (N. M.);
the Moore Foundation EPiQS initiative Grant No. GBMF4306, the National University
of Singapore (NUS) Development Grant AY2019/2020 and the Stanford Institute for
Theoretical Physics (W. W. H.); the NSF Graduate Research Fellowship Program (Grant
No. DGE1745303) and The Fannie and John Hertz Foundation (D. B.); the Miller Institute
for Basic Research in Science (S. C.); DOE Quantum Systems Accelerator – Contract
No. 7568717; and DOE Programmable Quantum Simulators for Lattice Gauge Theories
and Gauge-Gravity Correspondence – Grant No. DE-SC0021013.
article_number: '090602'
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: N.
full_name: Maskara, N.
last_name: Maskara
- first_name: Alexios
full_name: Michailidis, Alexios
id: 36EBAD38-F248-11E8-B48F-1D18A9856A87
last_name: Michailidis
orcid: 0000-0002-8443-1064
- first_name: W. W.
full_name: Ho, W. W.
last_name: Ho
- first_name: D.
full_name: Bluvstein, D.
last_name: Bluvstein
- first_name: S.
full_name: Choi, S.
last_name: Choi
- first_name: M. D.
full_name: Lukin, M. D.
last_name: Lukin
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: 'Maskara N, Michailidis A, Ho WW, et al. Discrete time-crystalline order enabled
by quantum many-body scars: Entanglement steering via periodic driving. Physical
Review Letters. 2021;127(9). doi:10.1103/PhysRevLett.127.090602'
apa: 'Maskara, N., Michailidis, A., Ho, W. W., Bluvstein, D., Choi, S., Lukin, M.
D., & Serbyn, M. (2021). Discrete time-crystalline order enabled by quantum
many-body scars: Entanglement steering via periodic driving. Physical Review
Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.127.090602'
chicago: 'Maskara, N., Alexios Michailidis, W. W. Ho, D. Bluvstein, S. Choi, M.
D. Lukin, and Maksym Serbyn. “Discrete Time-Crystalline Order Enabled by Quantum
Many-Body Scars: Entanglement Steering via Periodic Driving.” Physical Review
Letters. American Physical Society, 2021. https://doi.org/10.1103/PhysRevLett.127.090602.'
ieee: 'N. Maskara et al., “Discrete time-crystalline order enabled by quantum
many-body scars: Entanglement steering via periodic driving,” Physical Review
Letters, vol. 127, no. 9. American Physical Society, 2021.'
ista: 'Maskara N, Michailidis A, Ho WW, Bluvstein D, Choi S, Lukin MD, Serbyn M.
2021. Discrete time-crystalline order enabled by quantum many-body scars: Entanglement
steering via periodic driving. Physical Review Letters. 127(9), 090602.'
mla: 'Maskara, N., et al. “Discrete Time-Crystalline Order Enabled by Quantum Many-Body
Scars: Entanglement Steering via Periodic Driving.” Physical Review Letters,
vol. 127, no. 9, 090602, American Physical Society, 2021, doi:10.1103/PhysRevLett.127.090602.'
short: N. Maskara, A. Michailidis, W.W. Ho, D. Bluvstein, S. Choi, M.D. Lukin, M.
Serbyn, Physical Review Letters 127 (2021).
date_created: 2021-08-28T08:08:58Z
date_published: 2021-08-27T00:00:00Z
date_updated: 2023-08-11T10:57:51Z
day: '27'
department:
- _id: MaSe
doi: 10.1103/PhysRevLett.127.090602
ec_funded: 1
external_id:
arxiv:
- '2102.13160'
isi:
- '000692200100002'
intvolume: ' 127'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2102.13160
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '850899'
name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: 'Discrete time-crystalline order enabled by quantum many-body scars: Entanglement
steering via periodic driving'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 127
year: '2021'
...
---
_id: '9961'
abstract:
- lang: eng
text: The notion of Thouless energy plays a central role in the theory of Anderson
localization. We investigate and compare the scaling of Thouless energy across
the many-body localization (MBL) transition in a Floquet model. We use a combination
of methods that are reliable on the ergodic side of the transition (e.g., spectral
form factor) and methods that work on the MBL side (e.g., typical matrix elements
of local operators) to obtain a complete picture of the Thouless energy behavior
across the transition. On the ergodic side, Thouless energy decreases slowly with
the system size, while at the transition it becomes comparable to the level spacing.
Different probes yield consistent estimates of Thouless energy in their overlapping
regime of applicability, giving the location of the transition point nearly free
of finite-size drift. This work establishes a connection between different definitions
of Thouless energy in a many-body setting and yields insights into the MBL transition
in Floquet systems.
acknowledgement: "We thank S. Garratt for useful comments on the manuscript. This
work was supported by the Swiss National Science Foundation (M. Sonner and D.A.A.)
and by the European Research Council (ERC) under the European Union’s Horizon 2020
research and innovation program (M. Serbyn, Grant Agreement No. 850899, and D.A.A.,
Grant Agreement No. 864597). Z.P. acknowledges support from EPSRC Grant No. EP/R020612/1
and from Leverhulme Trust Research Leadership Award No. RL-2019-015. The computations
were performed on the Baobab cluster of the University\r\nof Geneva."
article_number: L081112
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: Michael
full_name: Sonner, Michael
last_name: Sonner
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
- first_name: Zlatko
full_name: Papić, Zlatko
last_name: Papić
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
citation:
ama: Sonner M, Serbyn M, Papić Z, Abanin DA. Thouless energy across the many-body
localization transition in Floquet systems. Physical Review B. 2021;104(8).
doi:10.1103/PhysRevB.104.L081112
apa: Sonner, M., Serbyn, M., Papić, Z., & Abanin, D. A. (2021). Thouless energy
across the many-body localization transition in Floquet systems. Physical Review
B. American Physical Society. https://doi.org/10.1103/PhysRevB.104.L081112
chicago: Sonner, Michael, Maksym Serbyn, Zlatko Papić, and Dmitry A. Abanin. “Thouless
Energy across the Many-Body Localization Transition in Floquet Systems.” Physical
Review B. American Physical Society, 2021. https://doi.org/10.1103/PhysRevB.104.L081112.
ieee: M. Sonner, M. Serbyn, Z. Papić, and D. A. Abanin, “Thouless energy across
the many-body localization transition in Floquet systems,” Physical Review
B, vol. 104, no. 8. American Physical Society, 2021.
ista: Sonner M, Serbyn M, Papić Z, Abanin DA. 2021. Thouless energy across the many-body
localization transition in Floquet systems. Physical Review B. 104(8), L081112.
mla: Sonner, Michael, et al. “Thouless Energy across the Many-Body Localization
Transition in Floquet Systems.” Physical Review B, vol. 104, no. 8, L081112,
American Physical Society, 2021, doi:10.1103/PhysRevB.104.L081112.
short: M. Sonner, M. Serbyn, Z. Papić, D.A. Abanin, Physical Review B 104 (2021).
date_created: 2021-08-28T16:44:55Z
date_published: 2021-08-15T00:00:00Z
date_updated: 2023-08-11T10:57:09Z
day: '15'
department:
- _id: MaSe
doi: 10.1103/PhysRevB.104.L081112
ec_funded: 1
external_id:
arxiv:
- '2012.15676'
isi:
- '000689734500009'
intvolume: ' 104'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2012.15676
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '850899'
name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review B
publication_identifier:
eissn:
- 2469-9969
issn:
- 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: Thouless energy across the many-body localization transition in Floquet systems
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 104
year: '2021'
...
---
_id: '9962'
abstract:
- lang: eng
text: The brain is one of the largest and most complex organs and it is composed
of billions of neurons that communicate together enabling e.g. consciousness.
The cerebral cortex is the largest site of neural integration in the central nervous
system. Concerted radial migration of newly born cortical projection neurons,
from their birthplace to their final position, is a key step in the assembly of
the cerebral cortex. The cellular and molecular mechanisms regulating radial neuronal
migration in vivo are however still unclear. Recent evidence suggests that distinct
signaling cues act cell-autonomously but differentially at certain steps during
the overall migration process. Moreover, functional analysis of genetic mosaics
(mutant neurons present in wild-type/heterozygote environment) using the MADM
(Mosaic Analysis with Double Markers) analyses in comparison to global knockout
also indicate a significant degree of non-cell-autonomous and/or community effects
in the control of cortical neuron migration. The interactions of cell-intrinsic
(cell-autonomous) and cell-extrinsic (non-cell-autonomous) components are largely
unknown. In part of this thesis work we established a MADM-based experimental
strategy for the quantitative analysis of cell-autonomous gene function versus
non-cell-autonomous and/or community effects. The direct comparison of mutant
neurons from the genetic mosaic (cell-autonomous) to mutant neurons in the conditional
and/or global knockout (cell-autonomous + non-cell-autonomous) allows to quantitatively
analyze non-cell-autonomous effects. Such analysis enable the high-resolution
analysis of projection neuron migration dynamics in distinct environments with
concomitant isolation of genomic and proteomic profiles. Using these experimental
paradigms and in combination with computational modeling we show and characterize
the nature of non-cell-autonomous effects to coordinate radial neuron migration.
Furthermore, this thesis discusses recent developments in neurodevelopment with
focus on neuronal polarization and non-cell-autonomous mechanisms in neuronal
migration.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Andi H
full_name: Hansen, Andi H
id: 38853E16-F248-11E8-B48F-1D18A9856A87
last_name: Hansen
citation:
ama: Hansen AH. Cell-autonomous gene function and non-cell-autonomous effects in
radial projection neuron migration. 2021. doi:10.15479/at:ista:9962
apa: Hansen, A. H. (2021). Cell-autonomous gene function and non-cell-autonomous
effects in radial projection neuron migration. Institute of Science and Technology
Austria. https://doi.org/10.15479/at:ista:9962
chicago: Hansen, Andi H. “Cell-Autonomous Gene Function and Non-Cell-Autonomous
Effects in Radial Projection Neuron Migration.” Institute of Science and Technology
Austria, 2021. https://doi.org/10.15479/at:ista:9962.
ieee: A. H. Hansen, “Cell-autonomous gene function and non-cell-autonomous effects
in radial projection neuron migration,” Institute of Science and Technology Austria,
2021.
ista: Hansen AH. 2021. Cell-autonomous gene function and non-cell-autonomous effects
in radial projection neuron migration. Institute of Science and Technology Austria.
mla: Hansen, Andi H. Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects
in Radial Projection Neuron Migration. Institute of Science and Technology
Austria, 2021, doi:10.15479/at:ista:9962.
short: A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects
in Radial Projection Neuron Migration, Institute of Science and Technology Austria,
2021.
date_created: 2021-08-29T12:36:50Z
date_published: 2021-09-02T00:00:00Z
date_updated: 2023-09-22T09:58:30Z
day: '02'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: SiHi
doi: 10.15479/at:ista:9962
file:
- access_level: closed
checksum: 66b56f5b988b233dc66a4f4b4fb2cdfe
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: ahansen
date_created: 2021-08-30T09:17:39Z
date_updated: 2022-09-03T22:30:04Z
embargo_to: open_access
file_id: '9971'
file_name: Thesis_Hansen.docx
file_size: 10629190
relation: source_file
- access_level: open_access
checksum: 204fa40321a1c6289b68c473634c4bf3
content_type: application/pdf
creator: ahansen
date_created: 2021-08-30T09:29:44Z
date_updated: 2022-09-03T22:30:04Z
embargo: 2022-09-02
file_id: '9972'
file_name: Thesis_Hansen_PDFA-1a.pdf
file_size: 13457469
relation: main_file
file_date_updated: 2022-09-03T22:30:04Z
has_accepted_license: '1'
keyword:
- Neuronal migration
- Non-cell-autonomous
- Cell-autonomous
- Neurodevelopmental disease
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '182'
project:
- _id: 2625A13E-B435-11E9-9278-68D0E5697425
grant_number: '24812'
name: Molecular Mechanisms of Radial Neuronal Migration
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '8569'
relation: part_of_dissertation
status: public
- id: '960'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
title: Cell-autonomous gene function and non-cell-autonomous effects in radial projection
neuron migration
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: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9969'
abstract:
- lang: eng
text: 'Payment channel networks are a promising approach to improve the scalability
of cryptocurrencies: they allow to perform transactions in a peer-to-peer fashion,
along multihop routes in the network, without requiring consensus on the blockchain.
However, during the discovery of cost-efficient routes for the transaction, critical
information may be revealed about the transacting entities. This paper initiates
the study of privacy-preserving route discovery mechanisms for payment channel
networks. In particular, we present LightPIR, an approach which allows a client
to learn the shortest (or cheapest in terms of fees) path between two nodes without
revealing any information about the endpoints of the transaction to the servers.
The two main observations which allow for an efficient solution in LightPIR are
that: (1) surprisingly, hub labelling algorithms – which were developed to preprocess
“street network like” graphs so one can later efficiently compute shortest paths
– also perform well for the graphs underlying payment channel networks, and that
(2) hub labelling algorithms can be conveniently combined with private information
retrieval. LightPIR relies on a simple hub labeling heuristic on top of existing
hub labeling algorithms which leverages the specific topological features of cryptocurrency
networks to further minimize storage and bandwidth overheads. In a case study
considering the Lightning network, we show that our approach is an order of magnitude
more efficient compared to a privacy-preserving baseline based on using private
information retrieval on a database that stores all pairs shortest paths.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
- first_name: Iosif
full_name: Salem, Iosif
last_name: Salem
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Michelle X
full_name: Yeo, Michelle X
id: 2D82B818-F248-11E8-B48F-1D18A9856A87
last_name: Yeo
citation:
ama: 'Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route
discovery for payment channel networks. In: IEEE; 2021. doi:10.23919/IFIPNetworking52078.2021.9472205'
apa: 'Pietrzak, K. Z., Salem, I., Schmid, S., & Yeo, M. X. (2021). LightPIR:
Privacy-preserving route discovery for payment channel networks. Presented at
the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland:
IEEE. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205'
chicago: 'Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo.
“LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE,
2021. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205.'
ieee: 'K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving
route discovery for payment channel networks,” presented at the 2021 IFIP Networking
Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.'
ista: 'Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving
route discovery for payment channel networks. 2021 IFIP Networking Conference
(IFIP Networking).'
mla: 'Pietrzak, Krzysztof Z., et al. LightPIR: Privacy-Preserving Route Discovery
for Payment Channel Networks. IEEE, 2021, doi:10.23919/IFIPNetworking52078.2021.9472205.'
short: K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
conference:
end_date: 2021-06-24
location: Espoo and Helsinki, Finland
name: 2021 IFIP Networking Conference (IFIP Networking)
start_date: 2021-06-21
date_created: 2021-08-29T22:01:16Z
date_published: 2021-06-21T00:00:00Z
date_updated: 2023-11-30T10:54:50Z
day: '21'
department:
- _id: KrPi
doi: 10.23919/IFIPNetworking52078.2021.9472205
ec_funded: 1
external_id:
arxiv:
- '2104.04293'
isi:
- '000853016800008'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2104.04293
month: '06'
oa: 1
oa_version: Submitted Version
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_identifier:
eisbn:
- 978-3-9031-7639-3
eissn:
- 1861-2288
isbn:
- 978-1-6654-4501-6
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
record:
- id: '14506'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'LightPIR: Privacy-preserving route discovery for payment channel networks'
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9973'
abstract:
- lang: eng
text: In this article we introduce a complete gradient estimate for symmetric quantum
Markov semigroups on von Neumann algebras equipped with a normal faithful tracial
state, which implies semi-convexity of the entropy with respect to the recently
introduced noncommutative 2-Wasserstein distance. We show that this complete gradient
estimate is stable under tensor products and free products and establish its validity
for a number of examples. As an application we prove a complete modified logarithmic
Sobolev inequality with optimal constant for Poisson-type semigroups on free group
factors.
acknowledgement: Both authors would like to thank Jan Maas for fruitful discussions
and helpful comments.
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Melchior
full_name: Wirth, Melchior
id: 88644358-0A0E-11EA-8FA5-49A33DDC885E
last_name: Wirth
orcid: 0000-0002-0519-4241
- first_name: Haonan
full_name: Zhang, Haonan
id: D8F41E38-9E66-11E9-A9E2-65C2E5697425
last_name: Zhang
citation:
ama: Wirth M, Zhang H. Complete gradient estimates of quantum Markov semigroups.
Communications in Mathematical Physics. 2021;387:761–791. doi:10.1007/s00220-021-04199-4
apa: Wirth, M., & Zhang, H. (2021). Complete gradient estimates of quantum Markov
semigroups. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-021-04199-4
chicago: Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum
Markov Semigroups.” Communications in Mathematical Physics. Springer Nature,
2021. https://doi.org/10.1007/s00220-021-04199-4.
ieee: M. Wirth and H. Zhang, “Complete gradient estimates of quantum Markov semigroups,”
Communications in Mathematical Physics, vol. 387. Springer Nature, pp.
761–791, 2021.
ista: Wirth M, Zhang H. 2021. Complete gradient estimates of quantum Markov semigroups.
Communications in Mathematical Physics. 387, 761–791.
mla: Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum
Markov Semigroups.” Communications in Mathematical Physics, vol. 387, Springer
Nature, 2021, pp. 761–791, doi:10.1007/s00220-021-04199-4.
short: M. Wirth, H. Zhang, Communications in Mathematical Physics 387 (2021) 761–791.
date_created: 2021-08-30T10:07:44Z
date_published: 2021-08-30T00:00:00Z
date_updated: 2023-08-11T11:09:07Z
day: '30'
ddc:
- '621'
department:
- _id: JaMa
doi: 10.1007/s00220-021-04199-4
ec_funded: 1
external_id:
arxiv:
- '2007.13506'
isi:
- '000691214200001'
file:
- access_level: open_access
checksum: 8a602f916b1c2b0dc1159708b7cb204b
content_type: application/pdf
creator: cchlebak
date_created: 2021-09-08T07:34:24Z
date_updated: 2021-09-08T09:46:34Z
file_id: '9990'
file_name: 2021_CommunMathPhys_Wirth.pdf
file_size: 505971
relation: main_file
file_date_updated: 2021-09-08T09:46:34Z
has_accepted_license: '1'
intvolume: ' 387'
isi: 1
keyword:
- Mathematical Physics
- Statistical and Nonlinear Physics
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 761–791
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
grant_number: F6504
name: Taming Complexity in Partial Differential Systems
publication: Communications in Mathematical Physics
publication_identifier:
eissn:
- 1432-0916
issn:
- 0010-3616
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Complete gradient estimates of quantum Markov semigroups
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: 387
year: '2021'
...
---
_id: '9978'
abstract:
- lang: eng
text: Redox mediators could catalyse otherwise slow and energy-inefficient cycling
of Li-S and Li-O 2 batteries by shuttling electrons/holes between the electrode
and the solid insulating storage materials. For mediators to work efficiently
they need to oxidize the solid with fast kinetics yet the lowest possible overpotential.
Here, we found that when the redox potentials of mediators are tuned via, e.g.,
Li + concentration in the electrolyte, they exhibit distinct threshold potentials,
where the kinetics accelerate several-fold within a range as small as 10 mV. This
phenomenon is independent of types of mediators and electrolyte. The acceleration
originates from the overpotentials required to activate fast Li + /e – extraction
and the following chemical step at specific abundant surface facets. Efficient
redox catalysis at insulating solids requires therefore carefully considering
the surface conditions of the storage materials and electrolyte-dependent redox
potentials, which may be tuned by salt concentrations or solvents.
acknowledgement: 'This work was financially supported by the National Natural Science
Foundation of China (51773092, 21975124, 11874254, 51802187, U2030206). S.A.F. is
indebted to IST Austria for support. '
article_processing_charge: No
author:
- first_name: Deqing
full_name: Cao, Deqing
last_name: Cao
- first_name: Xiaoxiao
full_name: Shen, Xiaoxiao
last_name: Shen
- first_name: Aiping
full_name: Wang, Aiping
last_name: Wang
- first_name: Fengjiao
full_name: Yu, Fengjiao
last_name: Yu
- first_name: Yuping
full_name: Wu, Yuping
last_name: Wu
- first_name: Siqi
full_name: Shi, Siqi
last_name: Shi
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
- first_name: Yuhui
full_name: Chen, Yuhui
last_name: Chen
citation:
ama: Cao D, Shen X, Wang A, et al. Sharp kinetic acceleration potentials during
mediated redox catalysis of insulators. Research Square. doi:10.21203/rs.3.rs-750965/v1
apa: Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (n.d.). Sharp
kinetic acceleration potentials during mediated redox catalysis of insulators.
Research Square. Research Square. https://doi.org/10.21203/rs.3.rs-750965/v1
chicago: Cao, Deqing, Xiaoxiao Shen, Aiping Wang, Fengjiao Yu, Yuping Wu, Siqi Shi,
Stefan Alexander Freunberger, and Yuhui Chen. “Sharp Kinetic Acceleration Potentials
during Mediated Redox Catalysis of Insulators.” Research Square. Research
Square, n.d. https://doi.org/10.21203/rs.3.rs-750965/v1.
ieee: D. Cao et al., “Sharp kinetic acceleration potentials during mediated
redox catalysis of insulators,” Research Square. Research Square.
ista: Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. Sharp kinetic
acceleration potentials during mediated redox catalysis of insulators. Research
Square, 10.21203/rs.3.rs-750965/v1.
mla: Cao, Deqing, et al. “Sharp Kinetic Acceleration Potentials during Mediated
Redox Catalysis of Insulators.” Research Square, Research Square, doi:10.21203/rs.3.rs-750965/v1.
short: D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen,
Research Square (n.d.).
date_created: 2021-08-31T12:54:16Z
date_published: 2021-08-18T00:00:00Z
date_updated: 2023-10-17T13:06:29Z
day: '18'
ddc:
- '541'
department:
- _id: StFr
doi: 10.21203/rs.3.rs-750965/v1
file:
- access_level: open_access
checksum: 1878e91c29d5769ed5a827b0b7addf00
content_type: application/pdf
creator: cchlebak
date_created: 2021-08-31T14:02:19Z
date_updated: 2021-08-31T14:02:19Z
file_id: '9979'
file_name: 2021_ResearchSquare_Cao.pdf
file_size: 1019662
relation: main_file
success: 1
file_date_updated: 2021-08-31T14:02:19Z
has_accepted_license: '1'
keyword:
- Catalysis
- Energy engineering
- Materials theory and modeling
language:
- iso: eng
month: '08'
oa: 1
oa_version: Preprint
page: '21'
publication: Research Square
publication_identifier:
eissn:
- 2693-5015
publication_status: submitted
publisher: Research Square
related_material:
record:
- id: '10813'
relation: later_version
status: public
status: public
title: Sharp kinetic acceleration potentials during mediated redox catalysis of insulators
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: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9980'
abstract:
- lang: eng
text: Insufficient understanding of the mechanism that reversibly converts sulphur
into lithium sulphide (Li2S) via soluble polysulphides (PS) hampers the realization
of high performance lithium-sulphur cells. Typically Li2S formation is explained
by direct electroreduction of a PS to Li2S; however, this is not consistent with
the size of the insulating Li2S deposits. Here, we use in situ small and wide
angle X-ray scattering (SAXS/WAXS) to track the growth and dissolution of crystalline
and amorphous deposits from atomic to sub-micron scales during charge and discharge.
Stochastic modelling based on the SAXS data allows quantification of the chemical
phase evolution during discharge and charge. We show that Li2S deposits predominantly
via disproportionation of transient, solid Li2S2 to form primary Li2S crystallites
and solid Li2S4 particles. We further demonstrate that this process happens in
reverse during charge. These findings show that the discharge capacity and rate
capability in Li-S battery cathodes are therefore limited by mass transport through
the increasingly tortuous network of Li2S / Li2S4 / carbon pores rather than electron
transport through a passivating surface film.
acknowledgement: "This project has received funding from the European Union’s Horizon
2020 research and innovation program under the Marie Skłodowska-Curie grant NanoEvolution,
grant agreement No 894042. The authors acknowledge TU Graz for support through the
Lead Project LP-03. Likewise, the use of SOMAPP Lab, a core facility supported by
the Austrian Federal Ministry of Education, Science and Research, the Graz University\r\n6
of Technology, the University of Graz, and Anton Paar GmbH is acknowledged. S.D.T,
A.V. and R.D. acknowledge the financial support by the Slovenian Research Agency
(ARRS) research core funding P2-0393. Furthermore, A.V. acknowledge the funding
from the Slovenian Research Agency, research project Z2-1863. S.A.F. is indebted
to IST Austria for support. "
article_processing_charge: No
author:
- first_name: Christian
full_name: Prehal, Christian
last_name: Prehal
- first_name: Sara Drvarič
full_name: Talian, Sara Drvarič
last_name: Talian
- first_name: Alen
full_name: Vizintin, Alen
last_name: Vizintin
- first_name: Heinz
full_name: Amenitsch, Heinz
last_name: Amenitsch
- first_name: Robert
full_name: Dominko, Robert
last_name: Dominko
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
- first_name: Vanessa
full_name: Wood, Vanessa
last_name: Wood
citation:
ama: Prehal C, Talian SD, Vizintin A, et al. Mechanism of Li2S formation and dissolution
in Lithium-Sulphur batteries. Research Square. doi:10.21203/rs.3.rs-818607/v1
apa: Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger,
S. A., & Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur
batteries. Research Square. https://doi.org/10.21203/rs.3.rs-818607/v1
chicago: Prehal, Christian, Sara Drvarič Talian, Alen Vizintin, Heinz Amenitsch,
Robert Dominko, Stefan Alexander Freunberger, and Vanessa Wood. “Mechanism of
Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” Research Square,
n.d. https://doi.org/10.21203/rs.3.rs-818607/v1.
ieee: C. Prehal et al., “Mechanism of Li2S formation and dissolution in Lithium-Sulphur
batteries,” Research Square. .
ista: Prehal C, Talian SD, Vizintin A, Amenitsch H, Dominko R, Freunberger SA, Wood
V. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research
Square, 10.21203/rs.3.rs-818607/v1.
mla: Prehal, Christian, et al. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur
Batteries.” Research Square, doi:10.21203/rs.3.rs-818607/v1.
short: C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger,
V. Wood, Research Square (n.d.).
date_created: 2021-09-02T08:45:00Z
date_published: 2021-08-16T00:00:00Z
date_updated: 2021-12-03T10:35:42Z
day: '16'
ddc:
- '621'
department:
- _id: StFr
doi: 10.21203/rs.3.rs-818607/v1
keyword:
- Li2S
- Lithium Sulphur Batteries
- SAXS
- WAXS
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.researchsquare.com/article/rs-818607/v1
month: '08'
oa: 1
oa_version: Preprint
page: '21'
publication: Research Square
publication_status: submitted
status: public
title: Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries
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: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '9981'
abstract:
- lang: eng
text: "The numerical simulation of dynamical phenomena in interacting quantum systems
is a notoriously hard problem. Although a number of promising numerical methods
exist, they often have limited applicability due to the growth of entanglement
or the presence of the so-called sign problem. In this work, we develop an importance
sampling scheme for the simulation of quantum spin dynamics, building on a recent
approach mapping quantum spin systems to classical stochastic processes. The importance
sampling scheme is based on identifying the classical trajectory that yields the
largest contribution to a given quantum observable. An exact transformation is
then carried out to preferentially sample trajectories that are close to the dominant
one. We demonstrate that this approach is capable of reducing the temporal growth
of fluctuations in the stochastic quantities, thus extending the range of accessible
times and system sizes compared to direct sampling. We discuss advantages and
limitations of the proposed approach, outlining directions\r\nfor further developments."
article_number: '048'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Stefano
full_name: De Nicola, Stefano
id: 42832B76-F248-11E8-B48F-1D18A9856A87
last_name: De Nicola
orcid: 0000-0002-4842-6671
citation:
ama: De Nicola S. Importance sampling scheme for the stochastic simulation of quantum
spin dynamics. SciPost Physics. 2021;11(3). doi:10.21468/scipostphys.11.3.048
apa: De Nicola, S. (2021). Importance sampling scheme for the stochastic simulation
of quantum spin dynamics. SciPost Physics. SciPost. https://doi.org/10.21468/scipostphys.11.3.048
chicago: De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation
of Quantum Spin Dynamics.” SciPost Physics. SciPost, 2021. https://doi.org/10.21468/scipostphys.11.3.048.
ieee: S. De Nicola, “Importance sampling scheme for the stochastic simulation of
quantum spin dynamics,” SciPost Physics, vol. 11, no. 3. SciPost, 2021.
ista: De Nicola S. 2021. Importance sampling scheme for the stochastic simulation
of quantum spin dynamics. SciPost Physics. 11(3), 048.
mla: De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation
of Quantum Spin Dynamics.” SciPost Physics, vol. 11, no. 3, 048, SciPost,
2021, doi:10.21468/scipostphys.11.3.048.
short: S. De Nicola, SciPost Physics 11 (2021).
date_created: 2021-09-02T11:49:47Z
date_published: 2021-09-02T00:00:00Z
date_updated: 2023-08-11T10:59:29Z
day: '02'
ddc:
- '519'
department:
- _id: MaSe
doi: 10.21468/scipostphys.11.3.048
ec_funded: 1
external_id:
arxiv:
- '2103.16468'
isi:
- '000692534200001'
file:
- access_level: open_access
checksum: e4ec69d893e31811efc6093cb6ea8eb7
content_type: application/pdf
creator: cchlebak
date_created: 2021-09-02T14:05:43Z
date_updated: 2021-09-02T14:05:43Z
file_id: '9984'
file_name: 2021_SciPostPhys_DeNicola.pdf
file_size: 373833
relation: main_file
success: 1
file_date_updated: 2021-09-02T14:05:43Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '3'
keyword:
- General Physics and Astronomy
language:
- iso: eng
month: '09'
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:
eissn:
- 2666-9366
issn:
- 2542-4653
publication_status: published
publisher: SciPost
quality_controlled: '1'
status: public
title: Importance sampling scheme for the stochastic simulation of quantum spin dynamics
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: '2021'
...
---
_id: '9985'
abstract:
- lang: eng
text: AMPA receptor (AMPAR) abundance and positioning at excitatory synapses regulates
the strength of transmission. Changes in AMPAR localisation can enact synaptic
plasticity, allowing long-term information storage, and is therefore tightly controlled.
Multiple mechanisms regulating AMPAR synaptic anchoring have been described, but
with limited coherence or comparison between reports, our understanding of this
process is unclear. Here, combining synaptic recordings from mouse hippocampal
slices and super-resolution imaging in dissociated cultures, we compare the contributions
of three AMPAR interaction domains controlling transmission at hippocampal CA1
synapses. We show that the AMPAR C-termini play only a modulatory role, whereas
the extracellular N-terminal domain (NTD) and PDZ interactions of the auxiliary
subunit TARP γ8 are both crucial, and each is sufficient to maintain transmission.
Our data support a model in which γ8 accumulates AMPARs at the postsynaptic density,
where the NTD further tunes their positioning. This interplay between cytosolic
(TARP γ8) and synaptic cleft (NTD) interactions provides versatility to regulate
synaptic transmission and plasticity.
acknowledgement: The authors are very grateful to Andrew Penn for advice and discussions
on surface receptor labelling in slice tissue, dissociated culture transfection,
and for providing tdTomato and BirAER expression plasmids. This work would not have
been possible without support from the Biological Services teams at both the Laboratory
of Molecular Biology and Ares facilities. We are also very grateful to Nick Barry
and Jerome Boulanger of the LMB Light Microscopy facility for support with confocal
and STORM imaging and analysis, Junichi Takagi for providing scFv-Clasp expression
constructs, Veronica Chang for assistance with scFv-Clasp protein production, and
Nejc Kejzar for assistance with cluster analysis. We would like to thank Teru Nakagawa
and Ole Paulsen for critical reading of the manuscript and constructive feedback.
This work was supported by grants from the Medical Research Council (MC_U105174197)
and BBSRC (BB/N002113/1).
article_number: '5083'
article_processing_charge: Yes
article_type: original
author:
- first_name: Jake
full_name: Watson, Jake
id: 63836096-4690-11EA-BD4E-32803DDC885E
last_name: Watson
orcid: 0000-0002-8698-3823
- first_name: Alexandra
full_name: Pinggera, Alexandra
last_name: Pinggera
- first_name: Hinze
full_name: Ho, Hinze
last_name: Ho
- first_name: Ingo H.
full_name: Greger, Ingo H.
last_name: Greger
citation:
ama: Watson J, Pinggera A, Ho H, Greger IH. AMPA receptor anchoring at CA1 synapses
is determined by N-terminal domain and TARP γ8 interactions. Nature Communications.
2021;12(1). doi:10.1038/s41467-021-25281-4
apa: Watson, J., Pinggera, A., Ho, H., & Greger, I. H. (2021). AMPA receptor
anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions.
Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-021-25281-4
chicago: Watson, Jake, Alexandra Pinggera, Hinze Ho, and Ingo H. Greger. “AMPA Receptor
Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.”
Nature Communications. Nature Publishing Group, 2021. https://doi.org/10.1038/s41467-021-25281-4.
ieee: J. Watson, A. Pinggera, H. Ho, and I. H. Greger, “AMPA receptor anchoring
at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions,”
Nature Communications, vol. 12, no. 1. Nature Publishing Group, 2021.
ista: Watson J, Pinggera A, Ho H, Greger IH. 2021. AMPA receptor anchoring at CA1
synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications.
12(1), 5083.
mla: Watson, Jake, et al. “AMPA Receptor Anchoring at CA1 Synapses Is Determined
by N-Terminal Domain and TARP Γ8 Interactions.” Nature Communications,
vol. 12, no. 1, 5083, Nature Publishing Group, 2021, doi:10.1038/s41467-021-25281-4.
short: J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).
date_created: 2021-09-05T22:01:23Z
date_published: 2021-08-23T00:00:00Z
date_updated: 2023-08-11T11:07:51Z
day: '23'
ddc:
- '612'
department:
- _id: PeJo
doi: 10.1038/s41467-021-25281-4
external_id:
isi:
- '000687672000006'
pmid:
- '34426577 '
file:
- access_level: open_access
checksum: 1bf4f6a561f96bc426d754de9cb57710
content_type: application/pdf
creator: cchlebak
date_created: 2021-09-08T12:57:06Z
date_updated: 2021-09-08T12:57:06Z
file_id: '9991'
file_name: 2021_NatureCommunications_Watson.pdf
file_size: 18310502
relation: main_file
success: 1
file_date_updated: 2021-09-08T12:57:06Z
has_accepted_license: '1'
intvolume: ' 12'
isi: 1
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain
and TARP γ8 interactions
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: 12
year: '2021'
...
---
_id: '9986'
abstract:
- lang: eng
text: Size control is a fundamental question in biology, showing incremental complexity
in plants, whose cells possess a rigid cell wall. The phytohormone auxin is a
vital growth regulator with central importance for differential growth control.
Our results indicate that auxin-reliant growth programs affect the molecular complexity
of xyloglucans, the major type of cell wall hemicellulose in eudicots. Auxin-dependent
induction and repression of growth coincide with reduced and enhanced molecular
complexity of xyloglucans, respectively. In agreement with a proposed function
in growth control, genetic interference with xyloglucan side decorations distinctly
modulates auxin-dependent differential growth rates. Our work proposes that auxin-dependent
growth programs have a spatially defined effect on xyloglucan’s molecular structure,
which in turn affects cell wall mechanics and specifies differential, gravitropic
hypocotyl growth.
acknowledgement: "We are grateful to Paul Knox, Markus Pauly, Malcom O’Neill, and
Ignacio Zarra for providing published material; the BOKU-VIBT Imaging Center for
access and M. Debreczeny for expertise; J.I. Thaker and Georg Seifert for critical
reading.\r\n"
article_number: '9222'
article_processing_charge: Yes
article_type: original
author:
- first_name: Silvia Melina
full_name: Velasquez, Silvia Melina
last_name: Velasquez
- first_name: Xiaoyuan
full_name: Guo, Xiaoyuan
last_name: Guo
- first_name: Marçal
full_name: Gallemi, Marçal
id: 460C6802-F248-11E8-B48F-1D18A9856A87
last_name: Gallemi
orcid: 0000-0003-4675-6893
- first_name: Bibek
full_name: Aryal, Bibek
last_name: Aryal
- first_name: Peter
full_name: Venhuizen, Peter
last_name: Venhuizen
- first_name: Elke
full_name: Barbez, Elke
last_name: Barbez
- first_name: Kai Alexander
full_name: Dünser, Kai Alexander
last_name: Dünser
- first_name: Martin
full_name: Darino, Martin
last_name: Darino
- first_name: Aleš
full_name: Pӗnčík, Aleš
last_name: Pӗnčík
- first_name: Ondřej
full_name: Novák, Ondřej
last_name: Novák
- first_name: Maria
full_name: Kalyna, Maria
last_name: Kalyna
- first_name: Gregory
full_name: Mouille, Gregory
last_name: Mouille
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Rishikesh P.
full_name: Bhalerao, Rishikesh P.
last_name: Bhalerao
- first_name: Jozef
full_name: Mravec, Jozef
last_name: Mravec
- first_name: Jürgen
full_name: Kleine-Vehn, Jürgen
last_name: Kleine-Vehn
citation:
ama: Velasquez SM, Guo X, Gallemi M, et al. Xyloglucan remodeling defines auxin-dependent
differential tissue expansion in plants. International Journal of Molecular
Sciences. 2021;22(17). doi:10.3390/ijms22179222
apa: Velasquez, S. M., Guo, X., Gallemi, M., Aryal, B., Venhuizen, P., Barbez, E.,
… Kleine-Vehn, J. (2021). Xyloglucan remodeling defines auxin-dependent differential
tissue expansion in plants. International Journal of Molecular Sciences.
MDPI. https://doi.org/10.3390/ijms22179222
chicago: Velasquez, Silvia Melina, Xiaoyuan Guo, Marçal Gallemi, Bibek Aryal, Peter
Venhuizen, Elke Barbez, Kai Alexander Dünser, et al. “Xyloglucan Remodeling Defines
Auxin-Dependent Differential Tissue Expansion in Plants.” International Journal
of Molecular Sciences. MDPI, 2021. https://doi.org/10.3390/ijms22179222.
ieee: S. M. Velasquez et al., “Xyloglucan remodeling defines auxin-dependent
differential tissue expansion in plants,” International Journal of Molecular
Sciences, vol. 22, no. 17. MDPI, 2021.
ista: Velasquez SM, Guo X, Gallemi M, Aryal B, Venhuizen P, Barbez E, Dünser KA,
Darino M, Pӗnčík A, Novák O, Kalyna M, Mouille G, Benková E, Bhalerao RP, Mravec
J, Kleine-Vehn J. 2021. Xyloglucan remodeling defines auxin-dependent differential
tissue expansion in plants. International Journal of Molecular Sciences. 22(17),
9222.
mla: Velasquez, Silvia Melina, et al. “Xyloglucan Remodeling Defines Auxin-Dependent
Differential Tissue Expansion in Plants.” International Journal of Molecular
Sciences, vol. 22, no. 17, 9222, MDPI, 2021, doi:10.3390/ijms22179222.
short: S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A.
Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P.
Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences
22 (2021).
date_created: 2021-09-05T22:01:24Z
date_published: 2021-08-26T00:00:00Z
date_updated: 2023-10-31T19:29:38Z
day: '26'
ddc:
- '575'
department:
- _id: EvBe
doi: 10.3390/ijms22179222
external_id:
isi:
- '000694347100001'
pmid:
- '34502129'
file:
- access_level: open_access
checksum: 6b7055cf89f1b7ed8594c3fdf56f000b
content_type: application/pdf
creator: cchlebak
date_created: 2021-09-06T12:50:19Z
date_updated: 2021-09-07T09:04:53Z
file_id: '9988'
file_name: 2021_IntJMolecularSciences_Velasquez.pdf
file_size: 2162247
relation: main_file
file_date_updated: 2021-09-07T09:04:53Z
has_accepted_license: '1'
intvolume: ' 22'
isi: 1
issue: '17'
keyword:
- auxin
- growth
- cell wall
- xyloglucans
- hypocotyls
- gravitropism
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
eissn:
- 1422-0067
issn:
- 1661-6596
publication_status: published
publisher: MDPI
quality_controlled: '1'
scopus_import: '1'
status: public
title: Xyloglucan remodeling defines auxin-dependent differential tissue expansion
in plants
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: 22
year: '2021'
...
---
_id: '9987'
abstract:
- lang: eng
text: 'Stateless model checking (SMC) is one of the standard approaches to the verification
of concurrent programs. As scheduling non-determinism creates exponentially large
spaces of thread interleavings, SMC attempts to partition this space into equivalence
classes and explore only a few representatives from each class. The efficiency
of this approach depends on two factors: (a) the coarseness of the partitioning,
and (b) the time to generate representatives in each class. For this reason, the
search for coarse partitionings that are efficiently explorable is an active research
challenge. In this work we present RVF-SMC , a new SMC algorithm that uses a
novel reads-value-from (RVF) partitioning. Intuitively, two interleavings are
deemed equivalent if they agree on the value obtained in each read event, and
read events induce consistent causal orderings between them. The RVF partitioning
is provably coarser than recent approaches based on Mazurkiewicz and “reads-from”
partitionings. Our experimental evaluation reveals that RVF is quite often a very
effective equivalence, as the underlying partitioning is exponentially coarser
than other approaches. Moreover, RVF-SMC generates representatives very efficiently,
as the reduction in the partitioning is often met with significant speed-ups in
the model checking task.'
acknowledgement: The research was partially funded by the ERC CoG 863818 (ForM-SMArt)
and the Vienna Science and Technology Fund (WWTF) through project ICT15-003.
alternative_title:
- LNCS
article_processing_charge: Yes
arxiv: 1
author:
- first_name: Pratyush
full_name: Agarwal, Pratyush
last_name: Agarwal
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Shreya
full_name: Pathak, Shreya
last_name: Pathak
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Viktor
full_name: Toman, Viktor
id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87
last_name: Toman
orcid: 0000-0001-9036-063X
citation:
ama: 'Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model
checking under a reads-value-from equivalence. In: 33rd International Conference
on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366.
doi:10.1007/978-3-030-81685-8_16'
apa: 'Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V.
(2021). Stateless model checking under a reads-value-from equivalence. In 33rd
International Conference on Computer-Aided Verification (Vol. 12759, pp.
341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16'
chicago: Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis,
and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.”
In 33rd International Conference on Computer-Aided Verification , 12759:341–66.
Springer Nature, 2021. https://doi.org/10.1007/978-3-030-81685-8_16.
ieee: P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless
model checking under a reads-value-from equivalence,” in 33rd International
Conference on Computer-Aided Verification , Virtual, 2021, vol. 12759, pp.
341–366.
ista: 'Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless
model checking under a reads-value-from equivalence. 33rd International Conference
on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol.
12759, 341–366.'
mla: Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from
Equivalence.” 33rd International Conference on Computer-Aided Verification
, vol. 12759, Springer Nature, 2021, pp. 341–66, doi:10.1007/978-3-030-81685-8_16.
short: P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd
International Conference on Computer-Aided Verification , Springer Nature, 2021,
pp. 341–366.
conference:
end_date: 2021-07-23
location: Virtual
name: 'CAV: Computer Aided Verification '
start_date: 2021-07-20
date_created: 2021-09-05T22:01:24Z
date_published: 2021-07-15T00:00:00Z
date_updated: 2025-07-14T09:10:15Z
day: '15'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-81685-8_16
ec_funded: 1
external_id:
arxiv:
- '2105.06424'
isi:
- '000698732400016'
file:
- access_level: open_access
checksum: 4b346e5fbaa8b9bdf107819c7b2aadee
content_type: application/pdf
creator: dernst
date_created: 2022-05-13T07:00:20Z
date_updated: 2022-05-13T07:00:20Z
file_id: '11368'
file_name: 2021_LNCS_Agarwal.pdf
file_size: 1516756
relation: main_file
success: 1
file_date_updated: 2022-05-13T07:00:20Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 341-366
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: '33rd International Conference on Computer-Aided Verification '
publication_identifier:
eisbn:
- 978-3-030-81685-8
eissn:
- 1611-3349
isbn:
- 978-3-030-81684-1
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '10199'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Stateless model checking under a reads-value-from equivalence
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: '12759 '
year: '2021'
...
---
_id: '9992'
abstract:
- lang: eng
text: "Blood – this is what animals use to heal wounds fast and efficient. Plants
do not have blood circulation and their cells cannot move. However, plants have
evolved remarkable capacities to regenerate tissues and organs preventing further
damage. In my PhD research, I studied the wound healing in the Arabidopsis root.
I used a UV laser to ablate single cells in the root tip and observed the consequent
wound healing. Interestingly, the inner adjacent cells induced a\r\ndivision plane
switch and subsequently adopted the cell type of the killed cell to replace it.
We termed this form of wound healing “restorative divisions”. This initial observation
triggered the questions of my PhD studies: How and why do cells orient their division
planes, how do they feel the wound and why does this happen only in inner adjacent
cells.\r\nFor answering these questions, I used a quite simple experimental setup:
5 day - old seedlings were stained with propidium iodide to visualize cell walls
and dead cells; ablation was carried out using a special laser cutter and a confocal
microscope. Adaptation of the novel vertical microscope system made it possible
to observe wounds in real time. This revealed that restorative divisions occur
at increased frequency compared to normal divisions. Additionally,\r\nthe major
plant hormone auxin accumulates in wound adjacent cells and drives the expression
of the wound-stress responsive transcription factor ERF115. Using this as a marker
gene for wound responses, we found that an important part of wound signalling
is the sensing of the collapse of the ablated cell. The collapse causes a radical
pressure drop, which results in strong tissue deformations. These deformations
manifest in an invasion of the now free spot specifically by the inner adjacent
cells within seconds, probably because of higher pressure of the inner tissues.
Long-term imaging revealed that those deformed cells continuously expand towards
the wound hole and that this is crucial for the restorative division. These wound-expanding
cells exhibit an abnormal, biphasic polarity of microtubule arrays\r\nbefore the
division. Experiments inhibiting cell expansion suggest that it is the biphasic
stretching that induces those MT arrays. Adapting the micromanipulator aspiration
system from animal scientists at our institute confirmed the hypothesis that stretching
influences microtubule stability. In conclusion, this shows that microtubules
react to tissue deformation\r\nand this facilitates the observed division plane
switch. This puts mechanical cues and tensions at the most prominent position
for explaining the growth and wound healing properties of plants. Hence, it shines
light onto the importance of understanding mechanical signal transduction. "
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Lukas
full_name: Hörmayer, Lukas
id: 2EEE7A2A-F248-11E8-B48F-1D18A9856A87
last_name: Hörmayer
orcid: 0000-0001-8295-2926
citation:
ama: Hörmayer L. Wound healing in the Arabidopsis root meristem. 2021. doi:10.15479/at:ista:9992
apa: Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem.
Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9992
chicago: Hörmayer, Lukas. “Wound Healing in the Arabidopsis Root Meristem.” Institute
of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9992.
ieee: L. Hörmayer, “Wound healing in the Arabidopsis root meristem,” Institute of
Science and Technology Austria, 2021.
ista: Hörmayer L. 2021. Wound healing in the Arabidopsis root meristem. Institute
of Science and Technology Austria.
mla: Hörmayer, Lukas. Wound Healing in the Arabidopsis Root Meristem. Institute
of Science and Technology Austria, 2021, doi:10.15479/at:ista:9992.
short: L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of
Science and Technology Austria, 2021.
date_created: 2021-09-09T07:37:20Z
date_published: 2021-09-13T00:00:00Z
date_updated: 2023-09-07T13:38:33Z
day: '13'
ddc:
- '575'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JiFr
doi: 10.15479/at:ista:9992
ec_funded: 1
file:
- access_level: closed
checksum: c763064adaa720e16066c1a4f9682bbb
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: lhoermaye
date_created: 2021-09-09T07:29:48Z
date_updated: 2021-09-15T22:30:26Z
embargo_to: open_access
file_id: '9993'
file_name: Thesis_vupload.docx
file_size: 25179004
relation: source_file
- access_level: open_access
checksum: 53911b06e93d7cdbbf4c7f4c162fa70f
content_type: application/pdf
creator: lhoermaye
date_created: 2021-09-09T14:25:08Z
date_updated: 2021-09-15T22:30:26Z
embargo: 2021-09-09
file_id: '9996'
file_name: Thesis_vfinal_pdfa.pdf
file_size: 6246900
relation: main_file
file_date_updated: 2021-09-15T22:30:26Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '168'
project:
- _id: 262EF96E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29988
name: RNA-directed DNA methylation in plant development
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '6351'
relation: part_of_dissertation
status: public
- id: '6943'
relation: part_of_dissertation
status: public
- id: '8002'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
title: Wound healing in the Arabidopsis root meristem
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: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9997'
abstract:
- lang: eng
text: Indirect reciprocity is a mechanism for the evolution of cooperation based
on social norms. This mechanism requires that individuals in a population observe
and judge each other’s behaviors. Individuals with a good reputation are more
likely to receive help from others. Previous work suggests that indirect reciprocity
is only effective when all relevant information is reliable and publicly available.
Otherwise, individuals may disagree on how to assess others, even if they all
apply the same social norm. Such disagreements can lead to a breakdown of cooperation.
Here we explore whether the predominantly studied ‘leading eight’ social norms
of indirect reciprocity can be made more robust by equipping them with an element
of generosity. To this end, we distinguish between two kinds of generosity. According
to assessment generosity, individuals occasionally assign a good reputation to
group members who would usually be regarded as bad. According to action generosity,
individuals occasionally cooperate with group members with whom they would usually
defect. Using individual-based simulations, we show that the two kinds of generosity
have a very different effect on the resulting reputation dynamics. Assessment
generosity tends to add to the overall noise and allows defectors to invade. In
contrast, a limited amount of action generosity can be beneficial in a few cases.
However, even when action generosity is beneficial, the respective simulations
do not result in full cooperation. Our results suggest that while generosity can
favor cooperation when individuals use the most simple strategies of reciprocity,
it is disadvantageous when individuals use more complex social norms.
acknowledgement: 'This work was supported by the European Research Council CoG 863818
(ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529:
E-DIRECT (to C.H.). L.S. received additional partial support by the Austrian Science
Fund (FWF) under Grant Z211-N23 (Wittgenstein Award).'
article_number: '17443'
article_processing_charge: Yes
article_type: original
author:
- first_name: Laura
full_name: Schmid, Laura
id: 38B437DE-F248-11E8-B48F-1D18A9856A87
last_name: Schmid
orcid: 0000-0002-6978-7329
- first_name: Pouya
full_name: Shati, Pouya
last_name: Shati
- first_name: Christian
full_name: Hilbe, Christian
last_name: Hilbe
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Schmid L, Shati P, Hilbe C, Chatterjee K. The evolution of indirect reciprocity
under action and assessment generosity. Scientific Reports. 2021;11(1).
doi:10.1038/s41598-021-96932-1
apa: Schmid, L., Shati, P., Hilbe, C., & Chatterjee, K. (2021). The evolution
of indirect reciprocity under action and assessment generosity. Scientific
Reports. Springer Nature. https://doi.org/10.1038/s41598-021-96932-1
chicago: Schmid, Laura, Pouya Shati, Christian Hilbe, and Krishnendu Chatterjee.
“The Evolution of Indirect Reciprocity under Action and Assessment Generosity.”
Scientific Reports. Springer Nature, 2021. https://doi.org/10.1038/s41598-021-96932-1.
ieee: L. Schmid, P. Shati, C. Hilbe, and K. Chatterjee, “The evolution of indirect
reciprocity under action and assessment generosity,” Scientific Reports,
vol. 11, no. 1. Springer Nature, 2021.
ista: Schmid L, Shati P, Hilbe C, Chatterjee K. 2021. The evolution of indirect
reciprocity under action and assessment generosity. Scientific Reports. 11(1),
17443.
mla: Schmid, Laura, et al. “The Evolution of Indirect Reciprocity under Action and
Assessment Generosity.” Scientific Reports, vol. 11, no. 1, 17443, Springer
Nature, 2021, doi:10.1038/s41598-021-96932-1.
short: L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
date_created: 2021-09-11T16:22:02Z
date_published: 2021-08-31T00:00:00Z
date_updated: 2025-07-14T09:10:09Z
day: '31'
ddc:
- '003'
department:
- _id: GradSch
- _id: KrCh
doi: 10.1038/s41598-021-96932-1
ec_funded: 1
external_id:
isi:
- '000692406400018'
pmid:
- '34465830'
file:
- access_level: open_access
checksum: 19df8816cf958b272b85841565c73182
content_type: application/pdf
creator: cchlebak
date_created: 2021-09-13T10:31:21Z
date_updated: 2021-09-13T10:31:21Z
file_id: '10006'
file_name: 2021_ScientificReports_Schmid.pdf
file_size: 2424943
relation: main_file
success: 1
file_date_updated: 2021-09-13T10:31:21Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '1'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Scientific Reports
publication_identifier:
eissn:
- 2045-2322
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '10293'
relation: dissertation_contains
status: public
status: public
title: The evolution of indirect reciprocity under action and assessment generosity
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: '2021'
...
---
_id: '9998'
abstract:
- lang: eng
text: We define quantum equivariant K-theory of Nakajima quiver varieties. We discuss
type A in detail as well as its connections with quantum XXZ spin chains and trigonometric
Ruijsenaars-Schneider models. Finally we study a limit which produces a K-theoretic
version of results of Givental and Kim, connecting quantum geometry of flag varieties
and Toda lattice.
acknowledgement: 'First of all we would like to thank Andrei Okounkov for invaluable
discussions, advises and sharing with us his fantastic viewpoint on modern quantum
geometry. We are also grateful to D. Korb and Z. Zhou for their interest and comments.
The work of A. Smirnov was supported in part by RFBR Grants under Numbers 15-02-04175
and 15-01-04217 and in part by NSF Grant DMS–2054527. The work of P. Koroteev, A.M.
Zeitlin and A. Smirnov is supported in part by AMS Simons travel Grant. A. M. Zeitlin
is partially supported by Simons Collaboration Grant, Award ID: 578501. Open access
funding provided by Institute of Science and Technology (IST Austria).'
article_number: '87'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Peter
full_name: Koroteev, Peter
last_name: Koroteev
- first_name: Petr
full_name: Pushkar, Petr
id: 151DCEB6-9EC3-11E9-8480-ABECE5697425
last_name: Pushkar
- first_name: Andrey V.
full_name: Smirnov, Andrey V.
last_name: Smirnov
- first_name: Anton M.
full_name: Zeitlin, Anton M.
last_name: Zeitlin
citation:
ama: Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. Quantum K-theory of quiver varieties
and many-body systems. Selecta Mathematica. 2021;27(5). doi:10.1007/s00029-021-00698-3
apa: Koroteev, P., Pushkar, P., Smirnov, A. V., & Zeitlin, A. M. (2021). Quantum
K-theory of quiver varieties and many-body systems. Selecta Mathematica.
Springer Nature. https://doi.org/10.1007/s00029-021-00698-3
chicago: Koroteev, Peter, Petr Pushkar, Andrey V. Smirnov, and Anton M. Zeitlin.
“Quantum K-Theory of Quiver Varieties and Many-Body Systems.” Selecta Mathematica.
Springer Nature, 2021. https://doi.org/10.1007/s00029-021-00698-3.
ieee: P. Koroteev, P. Pushkar, A. V. Smirnov, and A. M. Zeitlin, “Quantum K-theory
of quiver varieties and many-body systems,” Selecta Mathematica, vol. 27,
no. 5. Springer Nature, 2021.
ista: Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver
varieties and many-body systems. Selecta Mathematica. 27(5), 87.
mla: Koroteev, Peter, et al. “Quantum K-Theory of Quiver Varieties and Many-Body
Systems.” Selecta Mathematica, vol. 27, no. 5, 87, Springer Nature, 2021,
doi:10.1007/s00029-021-00698-3.
short: P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica
27 (2021).
date_created: 2021-09-12T22:01:22Z
date_published: 2021-08-30T00:00:00Z
date_updated: 2023-08-14T06:34:14Z
day: '30'
ddc:
- '530'
department:
- _id: TaHa
doi: 10.1007/s00029-021-00698-3
external_id:
isi:
- '000692795200001'
file:
- access_level: open_access
checksum: beadc5a722ffb48190e1e63ee2dbfee5
content_type: application/pdf
creator: cchlebak
date_created: 2021-09-13T11:31:34Z
date_updated: 2021-09-13T11:31:34Z
file_id: '10010'
file_name: 2021_SelectaMath_Koroteev.pdf
file_size: 584648
relation: main_file
success: 1
file_date_updated: 2021-09-13T11:31:34Z
has_accepted_license: '1'
intvolume: ' 27'
isi: 1
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Selecta Mathematica
publication_identifier:
eissn:
- 1420-9020
issn:
- 1022-1824
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantum K-theory of quiver varieties and many-body systems
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: 27
year: '2021'
...
---
_id: '9999'
abstract:
- lang: eng
text: 'The developmental strategies used by progenitor cells to endure a safe journey
from their induction place towards the site of terminal differentiation are still
poorly understood. Here we uncovered a progenitor cell allocation mechanism that
stems from an incomplete process of epithelial delamination that allows progenitors
to coordinate their movement with adjacent extra-embryonic tissues. Progenitors
of the zebrafish laterality organ originate from the surface epithelial enveloping
layer by an apical constriction process of cell delamination. During this process,
progenitors retain long-term apical contacts that enable the epithelial layer
to pull a subset of progenitors along their way towards the vegetal pole. The
remaining delaminated progenitors follow apically-attached progenitors’ movement
by a co-attraction mechanism, avoiding sequestration by the adjacent endoderm,
ensuring their fate and collective allocation at the differentiation site. Thus,
we reveal that incomplete delamination serves as a cellular platform for coordinated
tissue movements during development. Impact Statement: Incomplete delamination
serves as a cellular platform for coordinated tissue movements during development,
guiding newly formed progenitor cell groups to the differentiation site.'
article_number: e66483
article_processing_charge: Yes
article_type: original
author:
- first_name: Eduardo
full_name: Pulgar, Eduardo
last_name: Pulgar
- first_name: Cornelia
full_name: Schwayer, Cornelia
id: 3436488C-F248-11E8-B48F-1D18A9856A87
last_name: Schwayer
orcid: 0000-0001-5130-2226
- first_name: Néstor
full_name: Guerrero, Néstor
last_name: Guerrero
- first_name: Loreto
full_name: López, Loreto
last_name: López
- first_name: Susana
full_name: Márquez, Susana
last_name: Márquez
- first_name: Steffen
full_name: Härtel, Steffen
last_name: Härtel
- first_name: Rodrigo
full_name: Soto, Rodrigo
last_name: Soto
- first_name: Carl Philipp
full_name: Heisenberg, Carl Philipp
last_name: Heisenberg
- first_name: Miguel L.
full_name: Concha, Miguel L.
last_name: Concha
citation:
ama: Pulgar E, Schwayer C, Guerrero N, et al. Apical contacts stemming from incomplete
delamination guide progenitor cell allocation through a dragging mechanism. eLife.
2021;10. doi:10.7554/eLife.66483
apa: Pulgar, E., Schwayer, C., Guerrero, N., López, L., Márquez, S., Härtel, S.,
… Concha, M. L. (2021). Apical contacts stemming from incomplete delamination
guide progenitor cell allocation through a dragging mechanism. ELife. eLife
Sciences Publications. https://doi.org/10.7554/eLife.66483
chicago: Pulgar, Eduardo, Cornelia Schwayer, Néstor Guerrero, Loreto López, Susana
Márquez, Steffen Härtel, Rodrigo Soto, Carl Philipp Heisenberg, and Miguel L.
Concha. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor
Cell Allocation through a Dragging Mechanism.” ELife. eLife Sciences Publications,
2021. https://doi.org/10.7554/eLife.66483.
ieee: E. Pulgar et al., “Apical contacts stemming from incomplete delamination
guide progenitor cell allocation through a dragging mechanism,” eLife,
vol. 10. eLife Sciences Publications, 2021.
ista: Pulgar E, Schwayer C, Guerrero N, López L, Márquez S, Härtel S, Soto R, Heisenberg
CP, Concha ML. 2021. Apical contacts stemming from incomplete delamination guide
progenitor cell allocation through a dragging mechanism. eLife. 10, e66483.
mla: Pulgar, Eduardo, et al. “Apical Contacts Stemming from Incomplete Delamination
Guide Progenitor Cell Allocation through a Dragging Mechanism.” ELife,
vol. 10, e66483, eLife Sciences Publications, 2021, doi:10.7554/eLife.66483.
short: E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R.
Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
date_created: 2021-09-12T22:01:23Z
date_published: 2021-08-27T00:00:00Z
date_updated: 2023-08-14T06:53:33Z
day: '27'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.7554/eLife.66483
ec_funded: 1
external_id:
isi:
- '000700428500001'
pmid:
- '34448451'
file:
- access_level: open_access
checksum: a3f82b0499cc822ac1eab48a01f3f57e
content_type: application/pdf
creator: dernst
date_created: 2022-05-13T08:03:37Z
date_updated: 2022-05-13T08:03:37Z
file_id: '11371'
file_name: 2021_eLife_Pulgar.pdf
file_size: 9010446
relation: main_file
success: 1
file_date_updated: 2022-05-13T08:03:37Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
keyword:
- cell delamination
- apical constriction
- dragging
- mechanical forces
- collective 18 locomotion
- dorsal forerunner cells
- zebrafish
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260F1432-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742573'
name: Interaction and feedback between cell mechanics and fate specification in
vertebrate gastrulation
publication: eLife
publication_identifier:
eissn:
- 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Apical contacts stemming from incomplete delamination guide progenitor cell
allocation through a dragging mechanism
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: 10
year: '2021'
...
---
_id: '10672'
abstract:
- lang: eng
text: The family of feedback alignment (FA) algorithms aims to provide a more biologically
motivated alternative to backpropagation (BP), by substituting the computations
that are unrealistic to be implemented in physical brains. While FA algorithms
have been shown to work well in practice, there is a lack of rigorous theory proofing
their learning capabilities. Here we introduce the first feedback alignment algorithm
with provable learning guarantees. In contrast to existing work, we do not require
any assumption about the size or depth of the network except that it has a single
output neuron, i.e., such as for binary classification tasks. We show that our
FA algorithm can deliver its theoretical promises in practice, surpassing the
learning performance of existing FA methods and matching backpropagation in binary
classification tasks. Finally, we demonstrate the limits of our FA variant when
the number of output neurons grows beyond a certain quantity.
acknowledgement: "This research was supported in part by the Austrian Science Fund
(FWF) under grant Z211-N23\r\n(Wittgenstein Award).\r\n"
article_processing_charge: No
author:
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
citation:
ama: 'Lechner M. Learning representations for binary-classification without backpropagation.
In: 8th International Conference on Learning Representations. ICLR; 2020.'
apa: 'Lechner, M. (2020). Learning representations for binary-classification without
backpropagation. In 8th International Conference on Learning Representations.
Virtual ; Addis Ababa, Ethiopia: ICLR.'
chicago: Lechner, Mathias. “Learning Representations for Binary-Classification without
Backpropagation.” In 8th International Conference on Learning Representations.
ICLR, 2020.
ieee: M. Lechner, “Learning representations for binary-classification without backpropagation,”
in 8th International Conference on Learning Representations, Virtual ;
Addis Ababa, Ethiopia, 2020.
ista: 'Lechner M. 2020. Learning representations for binary-classification without
backpropagation. 8th International Conference on Learning Representations. ICLR:
International Conference on Learning Representations.'
mla: Lechner, Mathias. “Learning Representations for Binary-Classification without
Backpropagation.” 8th International Conference on Learning Representations,
ICLR, 2020.
short: M. Lechner, in:, 8th International Conference on Learning Representations,
ICLR, 2020.
conference:
end_date: 2020-05-01
location: Virtual ; Addis Ababa, Ethiopia
name: 'ICLR: International Conference on Learning Representations'
start_date: 2020-04-26
date_created: 2022-01-25T15:50:00Z
date_published: 2020-03-11T00:00:00Z
date_updated: 2023-04-03T07:33:40Z
day: '11'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
file:
- access_level: open_access
checksum: ea13d42dd4541ddb239b6a75821fd6c9
content_type: application/pdf
creator: mlechner
date_created: 2022-01-26T07:35:17Z
date_updated: 2022-01-26T07:35:17Z
file_id: '10677'
file_name: iclr_2020.pdf
file_size: 249431
relation: main_file
success: 1
file_date_updated: 2022-01-26T07:35:17Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/3.0/
main_file_link:
- open_access: '1'
url: https://openreview.net/forum?id=Bke61krFvS
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: 8th International Conference on Learning Representations
publication_status: published
publisher: ICLR
quality_controlled: '1'
scopus_import: '1'
status: public
title: Learning representations for binary-classification without backpropagation
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND
3.0)
short: CC BY-NC-ND (3.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '10673'
abstract:
- lang: eng
text: We propose a neural information processing system obtained by re-purposing
the function of a biological neural circuit model to govern simulated and real-world
control tasks. Inspired by the structure of the nervous system of the soil-worm,
C. elegans, we introduce ordinary neural circuits (ONCs), defined as the model
of biological neural circuits reparameterized for the control of alternative tasks.
We first demonstrate that ONCs realize networks with higher maximum flow compared
to arbitrary wired networks. We then learn instances of ONCs to control a series
of robotic tasks, including the autonomous parking of a real-world rover robot.
For reconfiguration of the purpose of the neural circuit, we adopt a search-based
optimization algorithm. Ordinary neural circuits perform on par and, in some cases,
significantly surpass the performance of contemporary deep learning models. ONC
networks are compact, 77% sparser than their counterpart neural controllers, and
their neural dynamics are fully interpretable at the cell-level.
acknowledgement: "RH and RG are partially supported by Horizon-2020 ECSEL Project
grant No. 783163 (iDev40), Productive 4.0, and ATBMBFW CPS-IoT Ecosystem. ML was
supported in part by the Austrian Science Fund (FWF) under grant Z211-N23\r\n(Wittgenstein
Award). AA is supported by the National Science Foundation (NSF) Graduate Research
Fellowship\r\nProgram. RH and DR are partially supported by The Boeing Company and
JP Morgan Chase. This research work is\r\npartially drawn from the PhD dissertation
of RH.\r\n"
alternative_title:
- PMLR
article_processing_charge: No
author:
- first_name: Ramin
full_name: Hasani, Ramin
last_name: Hasani
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Alexander
full_name: Amini, Alexander
last_name: Amini
- first_name: Daniela
full_name: Rus, Daniela
last_name: Rus
- first_name: Radu
full_name: Grosu, Radu
last_name: Grosu
citation:
ama: 'Hasani R, Lechner M, Amini A, Rus D, Grosu R. A natural lottery ticket winner:
Reinforcement learning with ordinary neural circuits. In: Proceedings of the
37th International Conference on Machine Learning. PMLR. ; 2020:4082-4093.'
apa: 'Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). A natural
lottery ticket winner: Reinforcement learning with ordinary neural circuits. In
Proceedings of the 37th International Conference on Machine Learning (pp.
4082–4093). Virtual.'
chicago: 'Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu
Grosu. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary
Neural Circuits.” In Proceedings of the 37th International Conference on Machine
Learning, 4082–93. PMLR, 2020.'
ieee: 'R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “A natural lottery
ticket winner: Reinforcement learning with ordinary neural circuits,” in Proceedings
of the 37th International Conference on Machine Learning, Virtual, 2020, pp.
4082–4093.'
ista: 'Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2020. A natural lottery ticket
winner: Reinforcement learning with ordinary neural circuits. Proceedings of the
37th International Conference on Machine Learning. ML: Machine LearningPMLR, PMLR,
, 4082–4093.'
mla: 'Hasani, Ramin, et al. “A Natural Lottery Ticket Winner: Reinforcement Learning
with Ordinary Neural Circuits.” Proceedings of the 37th International Conference
on Machine Learning, 2020, pp. 4082–93.'
short: R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the
37th International Conference on Machine Learning, 2020, pp. 4082–4093.
conference:
end_date: 2020-07-18
location: Virtual
name: 'ML: Machine Learning'
start_date: 2020-07-12
date_created: 2022-01-25T15:50:34Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2022-01-26T11:14:27Z
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
file:
- access_level: open_access
checksum: c9a4a29161777fc1a89ef451c040e3b1
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-26T11:08:51Z
date_updated: 2022-01-26T11:08:51Z
file_id: '10691'
file_name: 2020_PMLR_Hasani.pdf
file_size: 2329798
relation: main_file
success: 1
file_date_updated: 2022-01-26T11:08:51Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://proceedings.mlr.press/v119/hasani20a.html
oa: 1
oa_version: Published Version
page: 4082-4093
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Proceedings of the 37th International Conference on Machine Learning
publication_identifier:
issn:
- 2640-3498
publication_status: published
quality_controlled: '1'
scopus_import: '1'
series_title: PMLR
status: public
title: 'A natural lottery ticket winner: Reinforcement learning with ordinary neural
circuits'
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND
3.0)
short: CC BY-NC-ND (3.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
_id: '10861'
abstract:
- lang: eng
text: We introduce in this paper AMT2.0, a tool for qualitative and quantitative
analysis of hybrid continuous and Boolean signals that combine numerical values
and discrete events. The evaluation of the signals is based on rich temporal specifications
expressed in extended signal temporal logic, which integrates timed regular expressions
within signal temporal logic. The tool features qualitative monitoring (property
satisfaction checking), trace diagnostics for explaining and justifying property
violations and specification-driven measurement of quantitative features of the
signal. We demonstrate the tool functionality on several running examples and
case studies, and evaluate its performance.
article_processing_charge: No
article_type: original
author:
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Olivier
full_name: Lebeltel, Olivier
last_name: Lebeltel
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Dogan
full_name: Ulus, Dogan
last_name: Ulus
citation:
ama: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and
quantitative trace analysis with extended signal temporal logic. International
Journal on Software Tools for Technology Transfer. 2020;22(6):741-758. doi:10.1007/s10009-020-00582-z'
apa: 'Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2020).
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal
logic. International Journal on Software Tools for Technology Transfer.
Springer Nature. https://doi.org/10.1007/s10009-020-00582-z'
chicago: 'Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan
Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal
Temporal Logic.” International Journal on Software Tools for Technology Transfer.
Springer Nature, 2020. https://doi.org/10.1007/s10009-020-00582-z.'
ieee: 'D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative
and quantitative trace analysis with extended signal temporal logic,” International
Journal on Software Tools for Technology Transfer, vol. 22, no. 6. Springer
Nature, pp. 741–758, 2020.'
ista: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative
and quantitative trace analysis with extended signal temporal logic. International
Journal on Software Tools for Technology Transfer. 22(6), 741–758.'
mla: 'Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis
with Extended Signal Temporal Logic.” International Journal on Software Tools
for Technology Transfer, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58,
doi:10.1007/s10009-020-00582-z.'
short: D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal
on Software Tools for Technology Transfer 22 (2020) 741–758.
date_created: 2022-03-18T10:10:53Z
date_published: 2020-08-03T00:00:00Z
date_updated: 2023-09-08T11:52:02Z
day: '03'
department:
- _id: ToHe
doi: 10.1007/s10009-020-00582-z
external_id:
isi:
- '000555398600001'
intvolume: ' 22'
isi: 1
issue: '6'
keyword:
- Information Systems
- Software
language:
- iso: eng
month: '08'
oa_version: None
page: 741-758
publication: International Journal on Software Tools for Technology Transfer
publication_identifier:
eissn:
- 1433-2787
issn:
- 1433-2779
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '299'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
temporal logic'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 22
year: '2020'
...
---
_id: '10862'
abstract:
- lang: eng
text: We consider the sum of two large Hermitian matrices A and B with a Haar unitary
conjugation bringing them into a general relative position. We prove that the
eigenvalue density on the scale slightly above the local eigenvalue spacing is
asymptotically given by the free additive convolution of the laws of A and B as
the dimension of the matrix increases. This implies optimal rigidity of the eigenvalues
and optimal rate of convergence in Voiculescu's theorem. Our previous works [4],
[5] established these results in the bulk spectrum, the current paper completely
settles the problem at the spectral edges provided they have the typical square-root
behavior. The key element of our proof is to compensate the deterioration of the
stability of the subordination equations by sharp error estimates that properly
account for the local density near the edge. Our results also hold if the Haar
unitary matrix is replaced by the Haar orthogonal matrix.
acknowledgement: Partially supported by ERC Advanced Grant RANMAT No. 338804.
article_number: '108639'
article_processing_charge: No
article_type: original
arxiv: 1
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
last_name: Schnelli
citation:
ama: Bao Z, Erdös L, Schnelli K. Spectral rigidity for addition of random matrices
at the regular edge. Journal of Functional Analysis. 2020;279(7). doi:10.1016/j.jfa.2020.108639
apa: Bao, Z., Erdös, L., & Schnelli, K. (2020). Spectral rigidity for addition
of random matrices at the regular edge. Journal of Functional Analysis.
Elsevier. https://doi.org/10.1016/j.jfa.2020.108639
chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “Spectral Rigidity for
Addition of Random Matrices at the Regular Edge.” Journal of Functional Analysis.
Elsevier, 2020. https://doi.org/10.1016/j.jfa.2020.108639.
ieee: Z. Bao, L. Erdös, and K. Schnelli, “Spectral rigidity for addition of random
matrices at the regular edge,” Journal of Functional Analysis, vol. 279,
no. 7. Elsevier, 2020.
ista: Bao Z, Erdös L, Schnelli K. 2020. Spectral rigidity for addition of random
matrices at the regular edge. Journal of Functional Analysis. 279(7), 108639.
mla: Bao, Zhigang, et al. “Spectral Rigidity for Addition of Random Matrices at
the Regular Edge.” Journal of Functional Analysis, vol. 279, no. 7, 108639,
Elsevier, 2020, doi:10.1016/j.jfa.2020.108639.
short: Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
date_created: 2022-03-18T10:18:59Z
date_published: 2020-10-15T00:00:00Z
date_updated: 2023-08-24T14:08:42Z
day: '15'
department:
- _id: LaEr
doi: 10.1016/j.jfa.2020.108639
ec_funded: 1
external_id:
arxiv:
- '1708.01597'
isi:
- '000559623200009'
intvolume: ' 279'
isi: 1
issue: '7'
keyword:
- Analysis
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1708.01597
month: '10'
oa: 1
oa_version: Preprint
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Journal of Functional Analysis
publication_identifier:
issn:
- 0022-1236
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spectral rigidity for addition of random matrices at the regular edge
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 279
year: '2020'
...