---
_id: '8261'
abstract:
- lang: eng
text: Dentate gyrus granule cells (GCs) connect the entorhinal cortex to the hippocampal
CA3 region, but how they process spatial information remains enigmatic. To examine
the role of GCs in spatial coding, we measured excitatory postsynaptic potentials
(EPSPs) and action potentials (APs) in head-fixed mice running on a linear belt.
Intracellular recording from morphologically identified GCs revealed that most
cells were active, but activity level varied over a wide range. Whereas only ∼5%
of GCs showed spatially tuned spiking, ∼50% received spatially tuned input. Thus,
the GC population broadly encodes spatial information, but only a subset relays
this information to the CA3 network. Fourier analysis indicated that GCs received
conjunctive place-grid-like synaptic input, suggesting code conversion in single
neurons. GC firing was correlated with dendritic complexity and intrinsic excitability,
but not extrinsic excitatory input or dendritic cable properties. Thus, functional
maturation may control input-output transformation and spatial code conversion.
acknowledged_ssus:
- _id: M-Shop
- _id: ScienComp
- _id: PreCl
acknowledgement: This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation program (grant
agreement 692692, P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung
(Z 312-B27, Wittgenstein award, P.J.). We thank Gyorgy Buzsáki, Jozsef Csicsvari,
Juan Ramirez Villegas, and Federico Stella for commenting on earlier versions of
this manuscript. We also thank Katie Bittner, Michael Brecht, Albert Lee, Jeffery
Magee, and Alejandro Pernía-Andrade for sharing expertise in in vivo patch-clamp
recording. We are grateful to Florian Marr for cell labeling, cell reconstruction,
and technical assistance; Ben Suter for helpful discussions; Christina Altmutter
for technical support; Eleftheria Kralli-Beller for manuscript editing; and Todor
Asenov (Machine Shop) for device construction. We also thank the Scientific Service
Units (SSUs) of IST Austria (Machine Shop, Scientific Computing, and Preclinical
Facility) for efficient support.
article_processing_charge: No
article_type: original
author:
- first_name: Xiaomin
full_name: Zhang, Xiaomin
id: 423EC9C2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
- first_name: Alois
full_name: Schlögl, Alois
id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
last_name: Schlögl
orcid: 0000-0002-5621-8100
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow
from input to output in hippocampal granule cells. Neuron. 2020;107(6):1212-1225.
doi:10.1016/j.neuron.2020.07.006
apa: Zhang, X., Schlögl, A., & Jonas, P. M. (2020). Selective routing of spatial
information flow from input to output in hippocampal granule cells. Neuron.
Elsevier. https://doi.org/10.1016/j.neuron.2020.07.006
chicago: Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of
Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron.
Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.07.006.
ieee: X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information
flow from input to output in hippocampal granule cells,” Neuron, vol. 107,
no. 6. Elsevier, pp. 1212–1225, 2020.
ista: Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information
flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.
mla: Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from
Input to Output in Hippocampal Granule Cells.” Neuron, vol. 107, no. 6,
Elsevier, 2020, pp. 1212–25, doi:10.1016/j.neuron.2020.07.006.
short: X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
date_created: 2020-08-14T09:36:05Z
date_published: 2020-09-23T00:00:00Z
date_updated: 2023-08-22T08:30:55Z
day: '23'
ddc:
- '570'
department:
- _id: PeJo
- _id: ScienComp
doi: 10.1016/j.neuron.2020.07.006
ec_funded: 1
external_id:
isi:
- '000579698700009'
pmid:
- '32763145'
file:
- access_level: open_access
checksum: 44a5960fc083a4cb3488d22224859fdc
content_type: application/pdf
creator: dernst
date_created: 2020-12-04T09:29:21Z
date_updated: 2020-12-04T09:29:21Z
file_id: '8920'
file_name: 2020_Neuron_Zhang.pdf
file_size: 3011120
relation: main_file
success: 1
file_date_updated: 2020-12-04T09:29:21Z
has_accepted_license: '1'
intvolume: ' 107'
isi: 1
issue: '6'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 1212-1225
pmid: 1
project:
- _id: 25B7EB9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '692692'
name: Biophysics and circuit function of a giant cortical glumatergic synapse
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00312
name: The Wittgenstein Prize
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Website
relation: press_release
url: https://ist.ac.at/en/news/the-bouncer-in-the-brain/
status: public
title: Selective routing of spatial information flow from input to output in hippocampal
granule cells
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 107
year: '2020'
...
---
_id: '8268'
abstract:
- lang: eng
text: 'Modern scientific instruments produce vast amounts of data, which can overwhelm
the processing ability of computer systems. Lossy compression of data is an intriguing
solution, but comes with its own drawbacks, such as potential signal loss, and
the need for careful optimization of the compression ratio. In this work, we focus
on a setting where this problem is especially acute: compressive sensing frameworks
for interferometry and medical imaging. We ask the following question: can the
precision of the data representation be lowered for all inputs, with recovery
guarantees and practical performance Our first contribution is a theoretical analysis
of the normalized Iterative Hard Thresholding (IHT) algorithm when all input data,
meaning both the measurement matrix and the observation vector are quantized aggressively.
We present a variant of low precision normalized IHT that, under mild conditions,
can still provide recovery guarantees. The second contribution is the application
of our quantization framework to radio astronomy and magnetic resonance imaging.
We show that lowering the precision of the data can significantly accelerate image
recovery. We evaluate our approach on telescope data and samples of brain images
using CPU and FPGA implementations achieving up to a 9x speedup with negligible
loss of recovery quality.'
acknowledgement: The authors would like to thank Dr. Michiel Brentjens at the Netherlands
Institute for Radio Astronomy (ASTRON) for providing radio interferometer data and
Dr. Josip Marjanovic and Dr. Franciszek Hennel at the Magnetic Resonance Technology
of ETH Zurich for providing their insights on the experiments. CZ and the DS3Lab
gratefully acknowledge the support from the Swiss Data Science Center, Alibaba,
Google Focused Research Awards, Huawei, MeteoSwiss, Oracle Labs, Swisscom, Zurich
Insurance, Chinese Scholarship Council, and the Department of Computer Science at
ETH Zurich.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Nezihe Merve
full_name: Gurel, Nezihe Merve
last_name: Gurel
- first_name: Kaan
full_name: Kara, Kaan
last_name: Kara
- first_name: Alen
full_name: Stojanov, Alen
last_name: Stojanov
- first_name: Tyler
full_name: Smith, Tyler
last_name: Smith
- first_name: Thomas
full_name: Lemmin, Thomas
last_name: Lemmin
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Markus
full_name: Puschel, Markus
last_name: Puschel
- first_name: Ce
full_name: Zhang, Ce
last_name: Zhang
citation:
ama: 'Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard
thresholding with low precision data representation: Theory and applications.
IEEE Transactions on Signal Processing. 2020;68:4268-4282. doi:10.1109/TSP.2020.3010355'
apa: 'Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A.,
… Zhang, C. (2020). Compressive sensing using iterative hard thresholding with
low precision data representation: Theory and applications. IEEE Transactions
on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2020.3010355'
chicago: 'Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin,
Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using
Iterative Hard Thresholding with Low Precision Data Representation: Theory and
Applications.” IEEE Transactions on Signal Processing. IEEE, 2020. https://doi.org/10.1109/TSP.2020.3010355.'
ieee: 'N. M. Gurel et al., “Compressive sensing using iterative hard thresholding
with low precision data representation: Theory and applications,” IEEE Transactions
on Signal Processing, vol. 68. IEEE, pp. 4268–4282, 2020.'
ista: 'Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M,
Zhang C. 2020. Compressive sensing using iterative hard thresholding with low
precision data representation: Theory and applications. IEEE Transactions on Signal
Processing. 68, 4268–4282.'
mla: 'Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding
with Low Precision Data Representation: Theory and Applications.” IEEE Transactions
on Signal Processing, vol. 68, IEEE, 2020, pp. 4268–82, doi:10.1109/TSP.2020.3010355.'
short: N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M.
Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
date_created: 2020-08-16T22:00:56Z
date_published: 2020-07-20T00:00:00Z
date_updated: 2023-08-22T08:40:08Z
day: '20'
department:
- _id: DaAl
doi: 10.1109/TSP.2020.3010355
external_id:
arxiv:
- '1802.04907'
isi:
- '000562044500001'
intvolume: ' 68'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1802.04907
month: '07'
oa: 1
oa_version: Preprint
page: 4268-4282
publication: IEEE Transactions on Signal Processing
publication_identifier:
eissn:
- '19410476'
issn:
- 1053587X
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Compressive sensing using iterative hard thresholding with low precision data
representation: Theory and applications'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 68
year: '2020'
...
---
_id: '8271'
acknowledgement: We thank Dr. Gai Huang for his comments and help. We apologize to
authors whose work could not be cited due to space limitation. No conflict of interest
declared.
article_processing_charge: No
article_type: original
author:
- first_name: Peng
full_name: He, Peng
last_name: He
- first_name: Yuzhou
full_name: Zhang, Yuzhou
id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
orcid: 0000-0003-2627-6956
- first_name: Guanghui
full_name: Xiao, Guanghui
last_name: Xiao
citation:
ama: He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid
cotton species. Molecular Plant. 2020;13(9):1238-1240. doi:10.1016/j.molp.2020.07.006
apa: He, P., Zhang, Y., & Xiao, G. (2020). Origin of a subgenome and genome
evolution of allotetraploid cotton species. Molecular Plant. Elsevier.
https://doi.org/10.1016/j.molp.2020.07.006
chicago: He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome
Evolution of Allotetraploid Cotton Species.” Molecular Plant. Elsevier,
2020. https://doi.org/10.1016/j.molp.2020.07.006.
ieee: P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution
of allotetraploid cotton species,” Molecular Plant, vol. 13, no. 9. Elsevier,
pp. 1238–1240, 2020.
ista: He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of
allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
mla: He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid
Cotton Species.” Molecular Plant, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40,
doi:10.1016/j.molp.2020.07.006.
short: P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
date_created: 2020-08-16T22:00:57Z
date_published: 2020-09-07T00:00:00Z
date_updated: 2023-08-22T08:40:35Z
day: '07'
department:
- _id: JiFr
doi: 10.1016/j.molp.2020.07.006
external_id:
isi:
- '000566895400007'
pmid:
- '32688032'
intvolume: ' 13'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa_version: None
page: 1238-1240
pmid: 1
publication: Molecular Plant
publication_identifier:
eissn:
- '17529867'
issn:
- '16742052'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Origin of a subgenome and genome evolution of allotetraploid cotton species
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13
year: '2020'
...
---
_id: '8272'
abstract:
- lang: eng
text: We study turn-based stochastic zero-sum games with lexicographic preferences
over reachability and safety objectives. Stochastic games are standard models
in control, verification, and synthesis of stochastic reactive systems that exhibit
both randomness as well as angelic and demonic non-determinism. Lexicographic
order allows to consider multiple objectives with a strict preference order over
the satisfaction of the objectives. To the best of our knowledge, stochastic games
with lexicographic objectives have not been studied before. We establish determinacy
of such games and present strategy and computational complexity results. For strategy
complexity, we show that lexicographically optimal strategies exist that are deterministic
and memory is only required to remember the already satisfied and violated objectives.
For a constant number of objectives, we show that the relevant decision problem
is in NP∩coNP , matching the current known bound for single objectives; and
in general the decision problem is PSPACE -hard and can be solved in NEXPTIME∩coNEXPTIME
. We present an algorithm that computes the lexicographically optimal strategies
via a reduction to computation of optimal strategies in a sequence of single-objectives
games. We have implemented our algorithm and report experimental results on various
case studies.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Joost P
full_name: Katoen, Joost P
id: 4524F760-F248-11E8-B48F-1D18A9856A87
last_name: Katoen
- first_name: Maximilian
full_name: Weininger, Maximilian
last_name: Weininger
- first_name: Tobias
full_name: Winkler, Tobias
last_name: Winkler
citation:
ama: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic
reachability-safety objectives. In: International Conference on Computer Aided
Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21'
apa: Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic
games with lexicographic reachability-safety objectives. In International Conference
on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature.
https://doi.org/10.1007/978-3-030-53291-8_21
chicago: Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias
Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.”
In International Conference on Computer Aided Verification, 12225:398–420.
Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
ieee: K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games
with lexicographic reachability-safety objectives,” in International Conference
on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.
ista: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with
lexicographic reachability-safety objectives. International Conference on Computer
Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.'
mla: Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety
Objectives.” International Conference on Computer Aided Verification, vol.
12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
short: K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International
Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
conference:
name: 'CAV: Computer Aided Verification'
date_created: 2020-08-16T22:00:58Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2025-07-14T09:10:14Z
day: '14'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-53291-8_21
ec_funded: 1
external_id:
arxiv:
- '2005.04018'
isi:
- '000695272500021'
file:
- access_level: open_access
checksum: 093d4788d7d5b2ce0ffe64fbe7820043
content_type: application/pdf
creator: dernst
date_created: 2020-08-17T11:32:44Z
date_updated: 2020-08-17T11:32:44Z
file_id: '8276'
file_name: 2020_LNCS_CAV_Chatterjee.pdf
file_size: 625056
relation: main_file
success: 1
file_date_updated: 2020-08-17T11:32:44Z
has_accepted_license: '1'
intvolume: ' 12225'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 398-420
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: International Conference on Computer Aided Verification
publication_identifier:
eissn:
- '16113349'
isbn:
- '9783030532901'
issn:
- '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '12738'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Stochastic games with lexicographic reachability-safety objectives
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: 12225
year: '2020'
...
---
_id: '8283'
abstract:
- lang: eng
text: 'Drought and salt stress are the main environmental cues affecting the survival,
development, distribution, and yield of crops worldwide. MYB transcription factors
play a crucial role in plants’ biological processes, but the function of pineapple
MYB genes is still obscure. In this study, one of the pineapple MYB transcription
factors, AcoMYB4, was isolated and characterized. The results showed that AcoMYB4
is localized in the cell nucleus, and its expression is induced by low temperature,
drought, salt stress, and hormonal stimulation, especially by abscisic acid (ABA).
Overexpression of AcoMYB4 in rice and Arabidopsis enhanced plant sensitivity to
osmotic stress; it led to an increase in the number stomata on leaf surfaces and
lower germination rate under salt and drought stress. Furthermore, in AcoMYB4
OE lines, the membrane oxidation index, free proline, and soluble sugar contents
were decreased. In contrast, electrolyte leakage and malondialdehyde (MDA) content
increased significantly due to membrane injury, indicating higher sensitivity
to drought and salinity stresses. Besides the above, both the expression level
and activities of several antioxidant enzymes were decreased, indicating lower
antioxidant activity in AcoMYB4 transgenic plants. Moreover, under osmotic stress,
overexpression of AcoMYB4 inhibited ABA biosynthesis through a decrease in the
transcription of genes responsible for ABA synthesis (ABA1 and ABA2) and ABA signal
transduction factor ABI5. These results suggest that AcoMYB4 negatively regulates
osmotic stress by attenuating cellular ABA biosynthesis and signal transduction
pathways. '
acknowledgement: 'We would like to thank the reviewers for their helpful comments
on the original manuscript. '
article_number: '5272'
article_processing_charge: No
article_type: original
author:
- first_name: Huihuang
full_name: Chen, Huihuang
last_name: Chen
- first_name: Linyi
full_name: Lai, Linyi
last_name: Lai
- first_name: Lanxin
full_name: Li, Lanxin
id: 367EF8FA-F248-11E8-B48F-1D18A9856A87
last_name: Li
orcid: 0000-0002-5607-272X
- first_name: Liping
full_name: Liu, Liping
last_name: Liu
- first_name: Bello Hassan
full_name: Jakada, Bello Hassan
last_name: Jakada
- first_name: Youmei
full_name: Huang, Youmei
last_name: Huang
- first_name: Qing
full_name: He, Qing
last_name: He
- first_name: Mengnan
full_name: Chai, Mengnan
last_name: Chai
- first_name: Xiaoping
full_name: Niu, Xiaoping
last_name: Niu
- first_name: Yuan
full_name: Qin, Yuan
last_name: Qin
citation:
ama: Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription
factor, functions in osmotic stress through negative regulation of ABA signaling.
International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
apa: Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020).
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress
through negative regulation of ABA signaling. International Journal of Molecular
Sciences. MDPI. https://doi.org/10.3390/ijms21165727
chicago: Chen, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada,
Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an
Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through
Negative Regulation of ABA Signaling.” International Journal of Molecular Sciences.
MDPI, 2020. https://doi.org/10.3390/ijms21165727.
ieee: H. Chen et al., “AcoMYB4, an Ananas comosus L. MYB transcription factor,
functions in osmotic stress through negative regulation of ABA signaling,” International
Journal of Molecular Sciences, vol. 21, no. 16. MDPI, 2020.
ista: Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y.
2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic
stress through negative regulation of ABA signaling. International Journal of
Molecular Sciences. 21(16), 5272.
mla: Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor,
Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” International
Journal of Molecular Sciences, vol. 21, no. 16, 5272, MDPI, 2020, doi:10.3390/ijms21165727.
short: H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X.
Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
date_created: 2020-08-24T06:24:03Z
date_published: 2020-08-10T00:00:00Z
date_updated: 2024-10-29T10:22:43Z
day: '10'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.3390/ijms21165727
external_id:
isi:
- '000565090300001'
pmid:
- '32785037'
file:
- access_level: open_access
checksum: 03b039244e6ae80580385fd9f577e2b2
content_type: application/pdf
creator: cziletti
date_created: 2020-08-25T09:53:50Z
date_updated: 2020-08-25T09:53:50Z
file_id: '8292'
file_name: 2020_IntMolecSciences_Chen.pdf
file_size: 5718755
relation: main_file
success: 1
file_date_updated: 2020-08-25T09:53:50Z
has_accepted_license: '1'
intvolume: ' 21'
isi: 1
issue: '16'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
eissn:
- '14220067'
issn:
- '16616596'
publication_status: published
publisher: MDPI
quality_controlled: '1'
related_material:
record:
- id: '10083'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic
stress through negative regulation of ABA signaling
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: 21
year: '2020'
...
---
_id: '8284'
abstract:
- lang: eng
text: Multiple resistance and pH adaptation (Mrp) antiporters are multi-subunit
Na+ (or K+)/H+ exchangers representing an ancestor of many essential redox-driven
proton pumps, such as respiratory complex I. The mechanism of coupling between
ion or electron transfer and proton translocation in this large protein family
is unknown. Here, we present the structure of the Mrp complex from Anoxybacillus
flavithermus solved by cryo-EM at 3.0 Å resolution. It is a dimer of seven-subunit
protomers with 50 trans-membrane helices each. Surface charge distribution within
each monomer is remarkably asymmetric, revealing probable proton and sodium translocation
pathways. On the basis of the structure we propose a mechanism where the coupling
between sodium and proton translocation is facilitated by a series of electrostatic
interactions between a cation and key charged residues. This mechanism is likely
to be applicable to the entire family of redox proton pumps, where electron transfer
to substrates replaces cation movements.
acknowledged_ssus:
- _id: EM-Fac
- _id: LifeSc
acknowledgement: This research was supported by the Scientific Service Units (SSU)
of IST Austria through resources provided by the Electron Microscopy Facility (EMF),
the Life Science Facility (LSF) and the IST high-performance computing cluster.
We thank Dr Victor-Valentin Hodirnau and Daniel Johann Gütl from IST Austria for
assistance with collecting cryo-EM data. We thank Prof. Masahiro Ito (Graduate School
of Life Sciences, Toyo University, Japan) for a kind provision of plasmid DNA encoding
Mrp from A. flavithermus WK1. JS is a recipient of a DOC Fellowship of the Austrian
Academy of Sciences at the Institute of Science and Technology, Austria.
article_number: e59407
article_processing_charge: No
article_type: original
author:
- first_name: Julia
full_name: Steiner, Julia
id: 3BB67EB0-F248-11E8-B48F-1D18A9856A87
last_name: Steiner
orcid: 0000-0003-0493-3775
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient
cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
apa: Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp
complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications.
https://doi.org/10.7554/eLife.59407
chicago: Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp
Complex, an Ancient Cation/Proton Antiporter.” ELife. eLife Sciences Publications,
2020. https://doi.org/10.7554/eLife.59407.
ieee: J. Steiner and L. A. Sazanov, “Structure and mechanism of the Mrp complex,
an ancient cation/proton antiporter,” eLife, vol. 9. eLife Sciences Publications,
2020.
ista: Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an
ancient cation/proton antiporter. eLife. 9, e59407.
mla: Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp
Complex, an Ancient Cation/Proton Antiporter.” ELife, vol. 9, e59407, eLife
Sciences Publications, 2020, doi:10.7554/eLife.59407.
short: J. Steiner, L.A. Sazanov, ELife 9 (2020).
date_created: 2020-08-24T06:24:04Z
date_published: 2020-07-31T00:00:00Z
date_updated: 2023-09-07T13:14:08Z
day: '31'
ddc:
- '570'
department:
- _id: LeSa
doi: 10.7554/eLife.59407
external_id:
isi:
- '000562123600001'
pmid:
- '32735215'
file:
- access_level: open_access
checksum: b3656d14d5ddbb9d26e3074eea2d0c15
content_type: application/pdf
creator: cziletti
date_created: 2020-08-24T13:31:53Z
date_updated: 2020-08-24T13:31:53Z
file_id: '8289'
file_name: 2020_eLife_Steiner.pdf
file_size: 7320493
relation: main_file
success: 1
file_date_updated: 2020-08-24T13:31:53Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 26169496-B435-11E9-9278-68D0E5697425
grant_number: '24741'
name: Revealing the functional mechanism of Mrp antiporter, an ancestor of complex
I
publication: eLife
publication_identifier:
eissn:
- 2050084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/
record:
- id: '8353'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 9
year: '2020'
...
---
_id: '8285'
abstract:
- lang: eng
text: We demonstrate the utility of optical cavity generated spin-squeezed states
in free space atomic fountain clocks in ensembles of 390 000 87Rb atoms. Fluorescence
imaging, correlated to an initial quantum nondemolition measurement, is used for
population spectroscopy after the atoms are released from a confining lattice.
For a free fall time of 4 milliseconds, we resolve a single-shot phase sensitivity
of 814(61) microradians, which is 5.8(0.6) decibels (dB) below the quantum projection
limit. We observe that this squeezing is preserved as the cloud expands to a roughly
200 μm radius and falls roughly 300 μm in free space. Ramsey spectroscopy with
240 000 atoms at a 3.6 ms Ramsey time results in a single-shot fractional frequency
stability of 8.4(0.2)×10−12, 3.8(0.2) dB below the quantum projection limit. The
sensitivity and stability are limited by the technical noise in the fluorescence
detection protocol and the microwave system, respectively.
acknowledgement: This work is supported by the Office of Naval Research (N00014-16-1-2927-
A00003), Vannevar Bush Faculty Fellowship (N00014-16-1-2812- P00005), Department
of Energy (DE-SC0019174- 0001), and Defense Threat Reduction Agency (HDTRA1-15-1-0017-
P00005).
article_number: '043202'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Benjamin K.
full_name: Malia, Benjamin K.
last_name: Malia
- first_name: Julián
full_name: Martínez-Rincón, Julián
last_name: Martínez-Rincón
- first_name: Yunfan
full_name: Wu, Yunfan
last_name: Wu
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Mark A.
full_name: Kasevich, Mark A.
last_name: Kasevich
citation:
ama: Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. Free space Ramsey
spectroscopy in rubidium with noise below the quantum projection limit. Physical
Review Letters. 2020;125(4). doi:10.1103/PhysRevLett.125.043202
apa: Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A.
(2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum
projection limit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.043202
chicago: Malia, Benjamin K., Julián Martínez-Rincón, Yunfan Wu, Onur Hosten, and
Mark A. Kasevich. “Free Space Ramsey Spectroscopy in Rubidium with Noise below
the Quantum Projection Limit.” Physical Review Letters. American Physical
Society, 2020. https://doi.org/10.1103/PhysRevLett.125.043202.
ieee: B. K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, and M. A. Kasevich, “Free
space Ramsey spectroscopy in rubidium with noise below the quantum projection
limit,” Physical Review Letters, vol. 125, no. 4. American Physical Society,
2020.
ista: Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space
Ramsey spectroscopy in rubidium with noise below the quantum projection limit.
Physical Review Letters. 125(4), 043202.
mla: Malia, Benjamin K., et al. “Free Space Ramsey Spectroscopy in Rubidium with
Noise below the Quantum Projection Limit.” Physical Review Letters, vol.
125, no. 4, 043202, American Physical Society, 2020, doi:10.1103/PhysRevLett.125.043202.
short: B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical
Review Letters 125 (2020).
date_created: 2020-08-24T06:24:04Z
date_published: 2020-07-24T00:00:00Z
date_updated: 2023-10-18T08:38:35Z
day: '24'
department:
- _id: OnHo
doi: 10.1103/PhysRevLett.125.043202
external_id:
arxiv:
- '1912.10218'
isi:
- '000552227400008'
pmid:
- '32794788'
intvolume: ' 125'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1912.10218
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Free space Ramsey spectroscopy in rubidium with noise below the quantum projection
limit
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 125
year: '2020'
...
---
_id: '8287'
abstract:
- lang: eng
text: Reachability analysis aims at identifying states reachable by a system within
a given time horizon. This task is known to be computationally expensive for linear
hybrid systems. Reachability analysis works by iteratively applying continuous
and discrete post operators to compute states reachable according to continuous
and discrete dynamics, respectively. In this paper, we enhance both of these operators
and make sure that most of the involved computations are performed in low-dimensional
state space. In particular, we improve the continuous-post operator by performing
computations in high-dimensional state space only for time intervals relevant
for the subsequent application of the discrete-post operator. Furthermore, the
new discrete-post operator performs low-dimensional computations by leveraging
the structure of the guard and assignment of a considered transition. We illustrate
the potential of our approach on a number of challenging benchmarks.
article_processing_charge: No
arxiv: 1
author:
- first_name: Sergiy
full_name: Bogomolov, Sergiy
last_name: Bogomolov
- first_name: Marcelo
full_name: Forets, Marcelo
last_name: Forets
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Kostiantyn
full_name: Potomkin, Kostiantyn
last_name: Potomkin
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
citation:
ama: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis
of linear hybrid systems via block decomposition. In: Proceedings of the International
Conference on Embedded Software. ; 2020.'
apa: Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020).
Reachability analysis of linear hybrid systems via block decomposition. In Proceedings
of the International Conference on Embedded Software. Virtual .
chicago: Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and
Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block
Decomposition.” In Proceedings of the International Conference on Embedded
Software, 2020.
ieee: S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability
analysis of linear hybrid systems via block decomposition,” in Proceedings
of the International Conference on Embedded Software, Virtual , 2020.
ista: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability
analysis of linear hybrid systems via block decomposition. Proceedings of the
International Conference on Embedded Software. EMSOFT: International Conference
on Embedded Software.'
mla: Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via
Block Decomposition.” Proceedings of the International Conference on Embedded
Software, 2020.
short: S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings
of the International Conference on Embedded Software, 2020.
conference:
end_date: 2020-09-25
location: 'Virtual '
name: 'EMSOFT: International Conference on Embedded Software'
start_date: 2020-09-20
date_created: 2020-08-24T12:56:20Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2023-08-22T13:27:32Z
ddc:
- '000'
department:
- _id: ToHe
ec_funded: 1
external_id:
arxiv:
- '1905.02458'
file:
- access_level: open_access
checksum: d19e97d0f8a3a441dc078ec812297d75
content_type: application/pdf
creator: cschilli
date_created: 2020-08-24T12:53:15Z
date_updated: 2020-08-24T12:53:15Z
file_id: '8288'
file_name: 2020EMSOFT.pdf
file_size: 696384
relation: main_file
success: 1
file_date_updated: 2020-08-24T12:53:15Z
has_accepted_license: '1'
keyword:
- reachability
- hybrid systems
- decomposition
language:
- iso: eng
oa: 1
oa_version: Preprint
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00312
name: The Wittgenstein Prize
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Proceedings of the International Conference on Embedded Software
publication_status: published
quality_controlled: '1'
related_material:
record:
- id: '8790'
relation: later_version
status: public
status: public
title: Reachability analysis of linear hybrid systems via block decomposition
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
_id: '8308'
abstract:
- lang: eng
text: 'Many-body localization provides a mechanism to avoid thermalization in isolated
interacting quantum systems. The breakdown of thermalization may be complete,
when all eigenstates in the many-body spectrum become localized, or partial, when
the so-called many-body mobility edge separates localized and delocalized parts
of the spectrum. Previously, De Roeck et al. [Phys. Rev. B 93, 014203 (2016)]
suggested a possible instability of the many-body mobility edge in energy density.
The local ergodic regions—so-called “bubbles”—resonantly spread throughout the
system, leading to delocalization. In order to study such instability mechanism,
in this work we design a model featuring many-body mobility edge in particle density:
the states at small particle density are localized, while increasing the density
of particles leads to delocalization. Using numerical simulations with matrix
product states, we demonstrate the stability of many-body localization with respect
to small bubbles in large dilute systems for experimentally relevant timescales.
In addition, we demonstrate that processes where the bubble spreads are favored
over processes that lead to resonant tunneling, suggesting a possible mechanism
behind the observed stability of many-body mobility edge. We conclude by proposing
experiments to probe particle density mobility edge in the Bose-Hubbard model.'
acknowledgement: 'Acknowledgments. We acknowledge useful discussions with W. De Roeck
and A. Michailidis. P.B. was supported by the European Union''s Horizon 2020 research
and innovation program under the Marie Sklodowska-Curie Grant Agreement No. 665385.
D.A. was supported by the Swiss National Science Foundation. M.S. was supported
by European Research Council (ERC) under the European Union''s Horizon 2020 research
and innovation program (Grant Agreement No. 850899). This work benefited from visits
to KITP, supported by the National Science Foundation under Grant No. NSF PHY-1748958
and from the program “Thermalization, Many Body Localization and Hydrodynamics”
at International Centre for Theoretical Sciences (Code: ICTS/hydrodynamics2019/11).'
article_number: 060202(R)
article_processing_charge: No
article_type: original
author:
- first_name: Pietro
full_name: Brighi, Pietro
id: 4115AF5C-F248-11E8-B48F-1D18A9856A87
last_name: Brighi
orcid: 0000-0002-7969-2729
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: Brighi P, Abanin DA, Serbyn M. Stability of mobility edges in disordered interacting
systems. Physical Review B. 2020;102(6). doi:10.1103/physrevb.102.060202
apa: Brighi, P., Abanin, D. A., & Serbyn, M. (2020). Stability of mobility edges
in disordered interacting systems. Physical Review B. American Physical
Society. https://doi.org/10.1103/physrevb.102.060202
chicago: Brighi, Pietro, Dmitry A. Abanin, and Maksym Serbyn. “Stability of Mobility
Edges in Disordered Interacting Systems.” Physical Review B. American Physical
Society, 2020. https://doi.org/10.1103/physrevb.102.060202.
ieee: P. Brighi, D. A. Abanin, and M. Serbyn, “Stability of mobility edges in disordered
interacting systems,” Physical Review B, vol. 102, no. 6. American Physical
Society, 2020.
ista: Brighi P, Abanin DA, Serbyn M. 2020. Stability of mobility edges in disordered
interacting systems. Physical Review B. 102(6), 060202(R).
mla: Brighi, Pietro, et al. “Stability of Mobility Edges in Disordered Interacting
Systems.” Physical Review B, vol. 102, no. 6, 060202(R), American Physical
Society, 2020, doi:10.1103/physrevb.102.060202.
short: P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
date_created: 2020-08-26T19:27:42Z
date_published: 2020-08-26T00:00:00Z
date_updated: 2023-08-24T14:20:21Z
day: '26'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/physrevb.102.060202
ec_funded: 1
external_id:
isi:
- '000562628300001'
file:
- access_level: open_access
checksum: 716442fa7861323fcc80b93718ca009c
content_type: application/pdf
creator: mserbyn
date_created: 2020-08-26T19:28:55Z
date_updated: 2020-08-26T19:28:55Z
file_id: '8309'
file_name: PhysRevB.102.060202.pdf
file_size: 488825
relation: main_file
success: 1
- access_level: open_access
checksum: be0abdc8f60fe065ea6dc92e08487122
content_type: application/pdf
creator: mserbyn
date_created: 2020-08-26T19:29:00Z
date_updated: 2020-08-26T19:29:00Z
file_id: '8310'
file_name: Supplementary-mbme.pdf
file_size: 711405
relation: main_file
success: 1
file_date_updated: 2020-08-26T19:29:00Z
has_accepted_license: '1'
intvolume: ' 102'
isi: 1
issue: '6'
language:
- iso: eng
month: '08'
oa: 1
oa_version: None
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _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'
related_material:
record:
- id: '12732'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Stability of mobility edges in disordered interacting systems
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 102
year: '2020'
...
---
_id: '8318'
abstract:
- lang: eng
text: Complex I is the first and the largest enzyme of respiratory chains in bacteria
and mitochondria. The mechanism which couples spatially separated transfer of
electrons to proton translocation in complex I is not known. Here we report five
crystal structures of T. thermophilus enzyme in complex with NADH or quinone-like
compounds. We also determined cryo-EM structures of major and minor native states
of the complex, differing in the position of the peripheral arm. Crystal structures
show that binding of quinone-like compounds (but not of NADH) leads to a related
global conformational change, accompanied by local re-arrangements propagating
from the quinone site to the nearest proton channel. Normal mode and molecular
dynamics analyses indicate that these are likely to represent the first steps
in the proton translocation mechanism. Our results suggest that quinone binding
and chemistry play a key role in the coupling mechanism of complex I.
acknowledgement: This work was funded by the Medical Research Council, UK and IST
Austria. We thank the European Synchrotron Radiation Facility and the Diamond Light
Source for provision of synchrotron radiation facilities. We are grateful to the
staff of beamlines ID29, ID23-2 (ESRF, Grenoble, France) and I03 (Diamond Light
Source, Didcot, UK) for assistance. Data processing was performed at the IST high-performance
computing cluster.
article_number: '4135'
article_processing_charge: No
article_type: original
author:
- first_name: Javier
full_name: Gutierrez-Fernandez, Javier
id: 3D9511BA-F248-11E8-B48F-1D18A9856A87
last_name: Gutierrez-Fernandez
- first_name: Karol
full_name: Kaszuba, Karol
id: 3FDF9472-F248-11E8-B48F-1D18A9856A87
last_name: Kaszuba
- first_name: Gurdeep S.
full_name: Minhas, Gurdeep S.
last_name: Minhas
- first_name: Rozbeh
full_name: Baradaran, Rozbeh
last_name: Baradaran
- first_name: Margherita
full_name: Tambalo, Margherita
id: 4187dfe4-ec23-11ea-ae46-f08ab378313a
last_name: Tambalo
- first_name: David T.
full_name: Gallagher, David T.
last_name: Gallagher
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Gutierrez-Fernandez J, Kaszuba K, Minhas GS, et al. Key role of quinone in
the mechanism of respiratory complex I. Nature Communications. 2020;11(1).
doi:10.1038/s41467-020-17957-0
apa: Gutierrez-Fernandez, J., Kaszuba, K., Minhas, G. S., Baradaran, R., Tambalo,
M., Gallagher, D. T., & Sazanov, L. A. (2020). Key role of quinone in the
mechanism of respiratory complex I. Nature Communications. Springer Nature.
https://doi.org/10.1038/s41467-020-17957-0
chicago: Gutierrez-Fernandez, Javier, Karol Kaszuba, Gurdeep S. Minhas, Rozbeh Baradaran,
Margherita Tambalo, David T. Gallagher, and Leonid A Sazanov. “Key Role of Quinone
in the Mechanism of Respiratory Complex I.” Nature Communications. Springer
Nature, 2020. https://doi.org/10.1038/s41467-020-17957-0.
ieee: J. Gutierrez-Fernandez et al., “Key role of quinone in the mechanism
of respiratory complex I,” Nature Communications, vol. 11, no. 1. Springer
Nature, 2020.
ista: Gutierrez-Fernandez J, Kaszuba K, Minhas GS, Baradaran R, Tambalo M, Gallagher
DT, Sazanov LA. 2020. Key role of quinone in the mechanism of respiratory complex
I. Nature Communications. 11(1), 4135.
mla: Gutierrez-Fernandez, Javier, et al. “Key Role of Quinone in the Mechanism of
Respiratory Complex I.” Nature Communications, vol. 11, no. 1, 4135, Springer
Nature, 2020, doi:10.1038/s41467-020-17957-0.
short: J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo,
D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
date_created: 2020-08-30T22:01:10Z
date_published: 2020-08-18T00:00:00Z
date_updated: 2023-08-22T09:03:00Z
day: '18'
ddc:
- '570'
department:
- _id: LeSa
doi: 10.1038/s41467-020-17957-0
external_id:
isi:
- '000607072900001'
pmid:
- '32811817'
file:
- access_level: open_access
checksum: 52b96f41d7d0db9728064c08da00d030
content_type: application/pdf
creator: cziletti
date_created: 2020-08-31T13:40:00Z
date_updated: 2020-08-31T13:40:00Z
file_id: '8326'
file_name: 2020_NatComm_Gutierrez-Fernandez.pdf
file_size: 7527373
relation: main_file
success: 1
file_date_updated: 2020-08-31T13:40:00Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/
scopus_import: '1'
status: public
title: Key role of quinone in the mechanism of respiratory complex I
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '8319'
abstract:
- lang: eng
text: We demonstrate that releasing atoms into free space from an optical lattice
does not deteriorate cavity-generated spin squeezing for metrological purposes.
In this work, an ensemble of 500000 spin-squeezed atoms in a high-finesse optical
cavity with near-uniform atom-cavity coupling is prepared, released into free
space, recaptured in the cavity, and probed. Up to ∼10 dB of metrologically relevant
squeezing is retrieved for 700μs free-fall times, and decaying levels of squeezing
are realized for up to 3 ms free-fall times. The degradation of squeezing results
from loss of atom-cavity coupling homogeneity between the initial squeezed state
generation and final collective state readout. A theoretical model is developed
to quantify this degradation and this model is experimentally validated.
acknowledgement: We thank N. Engelsen for comments on the manuscript. This work was
supported by the Office of Naval Research, Vannevar Bush Faculty Fellowship, Department
of Energy, and Defense Threat Reduction Agency. R.K. was partly supported by the
AQT/INQNET program at Caltech.
article_number: '012224'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yunfan
full_name: Wu, Yunfan
last_name: Wu
- first_name: Rajiv
full_name: Krishnakumar, Rajiv
last_name: Krishnakumar
- first_name: Julián
full_name: Martínez-Rincón, Julián
last_name: Martínez-Rincón
- first_name: Benjamin K.
full_name: Malia, Benjamin K.
last_name: Malia
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Mark A.
full_name: Kasevich, Mark A.
last_name: Kasevich
citation:
ama: Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. Retrieval
of cavity-generated atomic spin squeezing after free-space release. Physical
Review A. 2020;102(1). doi:10.1103/PhysRevA.102.012224
apa: Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., &
Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after
free-space release. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.102.012224
chicago: Wu, Yunfan, Rajiv Krishnakumar, Julián Martínez-Rincón, Benjamin K. Malia,
Onur Hosten, and Mark A. Kasevich. “Retrieval of Cavity-Generated Atomic Spin
Squeezing after Free-Space Release.” Physical Review A. American Physical
Society, 2020. https://doi.org/10.1103/PhysRevA.102.012224.
ieee: Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M.
A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space
release,” Physical Review A, vol. 102, no. 1. American Physical Society,
2020.
ista: Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA.
2020. Retrieval of cavity-generated atomic spin squeezing after free-space release.
Physical Review A. 102(1), 012224.
mla: Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after
Free-Space Release.” Physical Review A, vol. 102, no. 1, 012224, American
Physical Society, 2020, doi:10.1103/PhysRevA.102.012224.
short: Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich,
Physical Review A 102 (2020).
date_created: 2020-08-30T22:01:10Z
date_published: 2020-07-30T00:00:00Z
date_updated: 2024-02-28T13:11:28Z
day: '30'
department:
- _id: OnHo
doi: 10.1103/PhysRevA.102.012224
external_id:
arxiv:
- '1912.08334'
isi:
- '000555104200011'
intvolume: ' 102'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1912.08334
month: '07'
oa: 1
oa_version: Preprint
publication: Physical Review A
publication_identifier:
eissn:
- '24699934'
issn:
- '24699926'
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Retrieval of cavity-generated atomic spin squeezing after free-space release
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 102
year: '2020'
...
---
_id: '8320'
abstract:
- lang: eng
text: The genetic code is considered to use five nucleic bases (adenine, guanine,
cytosine, thymine and uracil), which form two pairs for encoding information in
DNA and two pairs for encoding information in RNA. Nevertheless, in recent years
several artificial base pairs have been developed in attempts to expand the genetic
code. Employment of these additional base pairs increases the information capacity
and variety of DNA sequences, and provides a platform for the site-specific, enzymatic
incorporation of extra functional components into DNA and RNA. As a result, of
the development of such expanded systems, many artificial base pairs have been
synthesized and tested under various conditions. Following many stages of enhancement,
unnatural base pairs have been modified to eliminate their weak points, qualifying
them for specific research needs. Moreover, the first attempts to create a semi-synthetic
organism containing DNA with unnatural base pairs seem to have been successful.
This further extends the possible applications of these kinds of pairs. Herein,
we describe the most significant qualities of unnatural base pairs and their actual
applications.
acknowledgement: We would like to thank our co-workers and members of the Alkalaeva
lab for participating in discussions about the topics covered in this essay.
article_processing_charge: No
article_type: original
author:
- first_name: S. A.
full_name: Mukba, S. A.
last_name: Mukba
- first_name: Petr
full_name: Vlasov, Petr
id: 38BB9AC4-F248-11E8-B48F-1D18A9856A87
last_name: Vlasov
- first_name: P. M.
full_name: Kolosov, P. M.
last_name: Kolosov
- first_name: E. Y.
full_name: Shuvalova, E. Y.
last_name: Shuvalova
- first_name: T. V.
full_name: Egorova, T. V.
last_name: Egorova
- first_name: E. Z.
full_name: Alkalaeva, E. Z.
last_name: Alkalaeva
citation:
ama: 'Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding
the genetic code: Unnatural base pairs in biological systems. Molecular Biology.
2020;54(4):475-484. doi:10.1134/S0026893320040111'
apa: 'Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V.,
& Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs
in biological systems. Molecular Biology. Springer Nature. https://doi.org/10.1134/S0026893320040111'
chicago: 'Mukba, S. A., Petr Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova,
and E. Z. Alkalaeva. “Expanding the Genetic Code: Unnatural Base Pairs in Biological
Systems.” Molecular Biology. Springer Nature, 2020. https://doi.org/10.1134/S0026893320040111.'
ieee: 'S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and
E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological
systems,” Molecular Biology, vol. 54, no. 4. Springer Nature, pp. 475–484,
2020.'
ista: 'Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020.
Expanding the genetic code: Unnatural base pairs in biological systems. Molecular
Biology. 54(4), 475–484.'
mla: 'Mukba, S. A., et al. “Expanding the Genetic Code: Unnatural Base Pairs in
Biological Systems.” Molecular Biology, vol. 54, no. 4, Springer Nature,
2020, pp. 475–84, doi:10.1134/S0026893320040111.'
short: S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva,
Molecular Biology 54 (2020) 475–484.
date_created: 2020-08-30T22:01:11Z
date_published: 2020-08-19T00:00:00Z
date_updated: 2023-08-22T09:01:03Z
day: '19'
department:
- _id: FyKo
doi: 10.1134/S0026893320040111
external_id:
isi:
- '000562110300001'
intvolume: ' 54'
isi: 1
issue: '4'
language:
- iso: eng
month: '08'
oa_version: None
page: 475-484
publication: Molecular Biology
publication_identifier:
eissn:
- '16083245'
issn:
- '00268933'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8321'
relation: original
status: public
scopus_import: '1'
status: public
title: 'Expanding the genetic code: Unnatural base pairs in biological systems'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 54
year: '2020'
...
---
_id: '8321'
abstract:
- lang: eng
text: The genetic code is considered to use five nucleic bases (adenine, guanine,
cytosine, thymine and uracil), which form two pairs for encoding information in
DNA and two pairs for encoding information in RNA. Nevertheless, in recent years
several artificial base pairs have been developed in attempts to expand the genetic
code. Employment of these additional base pairs increases the information capacity
and variety of DNA sequences, and provides a platform for the site-specific, enzymatic
incorporation of extra functional components into DNA and RNA. As a result, of
the development of such expanded systems, many artificial base pairs have been
synthesized and tested under various conditions. Following many stages of enhancement,
unnatural base pairs have been modified to eliminate their weak points, qualifying
them for specific research needs. Moreover, the first attempts to create a semi-synthetic
organism containing DNA with unnatural base pairs seem to have been successful.
This further extends the possible applications of these kinds of pairs. Herein,
we describe the most significant qualities of unnatural base pairs and their actual
applications.
article_processing_charge: No
article_type: original
author:
- first_name: S. A.
full_name: Mukba, S. A.
last_name: Mukba
- first_name: Petr
full_name: Vlasov, Petr
id: 38BB9AC4-F248-11E8-B48F-1D18A9856A87
last_name: Vlasov
- first_name: P. M.
full_name: Kolosov, P. M.
last_name: Kolosov
- first_name: E. Y.
full_name: Shuvalova, E. Y.
last_name: Shuvalova
- first_name: T. V.
full_name: Egorova, T. V.
last_name: Egorova
- first_name: E. Z.
full_name: Alkalaeva, E. Z.
last_name: Alkalaeva
citation:
ama: 'Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding
the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia
biologiia. 2020;54(4):531-541. doi:10.31857/S0026898420040126'
apa: 'Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V.,
& Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs
in biological systems. Molekuliarnaia biologiia. Russian Academy of Sciences.
https://doi.org/10.31857/S0026898420040126'
chicago: 'Mukba, S. A., Petr Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova,
and E. Z. Alkalaeva. “Expanding the genetic code: Unnatural base pairs in biological
systems.” Molekuliarnaia biologiia. Russian Academy of Sciences, 2020.
https://doi.org/10.31857/S0026898420040126.'
ieee: 'S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and
E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological
systems,” Molekuliarnaia biologiia, vol. 54, no. 4. Russian Academy of
Sciences, pp. 531–541, 2020.'
ista: 'Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020.
Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia
biologiia. 54(4), 531–541.'
mla: 'Mukba, S. A., et al. “Expanding the genetic code: Unnatural base pairs in
biological systems.” Molekuliarnaia biologiia, vol. 54, no. 4, Russian
Academy of Sciences, 2020, pp. 531–41, doi:10.31857/S0026898420040126.'
short: S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva,
Molekuliarnaia biologiia 54 (2020) 531–541.
date_created: 2020-08-30T22:01:11Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-08-22T09:01:02Z
day: '01'
department:
- _id: FyKo
doi: 10.31857/S0026898420040126
external_id:
pmid:
- '32799218'
intvolume: ' 54'
issue: '4'
language:
- iso: rus
month: '07'
oa_version: None
page: 531-541
pmid: 1
publication: Molekuliarnaia biologiia
publication_identifier:
issn:
- '00268984'
publication_status: published
publisher: Russian Academy of Sciences
quality_controlled: '1'
related_material:
record:
- id: '8320'
relation: translation
status: public
scopus_import: '1'
status: public
title: 'Expanding the genetic code: Unnatural base pairs in biological systems'
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 54
year: '2020'
...
---
_id: '8322'
abstract:
- lang: eng
text: "Reverse firewalls were introduced at Eurocrypt 2015 by Miro-nov and Stephens-Davidowitz,
as a method for protecting cryptographic protocols against attacks on the devices
of the honest parties. In a nutshell: a reverse firewall is placed outside of
a device and its goal is to “sanitize” the messages sent by it, in such a way
that a malicious device cannot leak its secrets to the outside world. It is typically
assumed that the cryptographic devices are attacked in a “functionality-preserving
way” (i.e. informally speaking, the functionality of the protocol remains unchanged
under this attacks). In their paper, Mironov and Stephens-Davidowitz construct
a protocol for passively-secure two-party computations with firewalls, leaving
extension of this result to stronger models as an open question.\r\nIn this paper,
we address this problem by constructing a protocol for secure computation with
firewalls that has two main advantages over the original protocol from Eurocrypt
2015. Firstly, it is a multiparty computation protocol (i.e. it works for an arbitrary
number n of the parties, and not just for 2). Secondly, it is secure in much stronger
corruption settings, namely in the active corruption model. More precisely: we
consider an adversary that can fully corrupt up to \U0001D45B−1 parties, while
the remaining parties are corrupt in a functionality-preserving way.\r\nOur core
techniques are: malleable commitments and malleable non-interactive zero-knowledge,
which in particular allow us to create a novel protocol for multiparty augmented
coin-tossing into the well with reverse firewalls (that is based on a protocol
of Lindell from Crypto 2001)."
acknowledgement: We would like to thank the anonymous reviewers for their helpful
comments and suggestions. The work was initiated while the first author was in IIT
Madras, India. Part of this work was done while the author was visiting the University
of Warsaw. This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(682815 - TOCNeT) and from the Foundation for Polish Science under grant TEAM/2016-1/4
founded within the UE 2014–2020 Smart Growth Operational Program. The last author
was supported by the Independent Research Fund Denmark project BETHE and the Concordium
Blockchain Research Center, Aarhus University, Denmark.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Suvradip
full_name: Chakraborty, Suvradip
id: B9CD0494-D033-11E9-B219-A439E6697425
last_name: Chakraborty
- first_name: Stefan
full_name: Dziembowski, Stefan
last_name: Dziembowski
- first_name: Jesper Buus
full_name: Nielsen, Jesper Buus
last_name: Nielsen
citation:
ama: 'Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs.
In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762.
doi:10.1007/978-3-030-56880-1_26'
apa: 'Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs.
In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa
Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26'
chicago: Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.”
In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature,
2020. https://doi.org/10.1007/978-3-030-56880-1_26.
ieee: S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,”
in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States,
2020, vol. 12171, pp. 732–762.
ista: 'Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs.
Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology
Conference, LNCS, vol. 12171, 732–762.'
mla: Chakraborty, Suvradip, et al. “Reverse Firewalls for Actively Secure MPCs.”
Advances in Cryptology – CRYPTO 2020, vol. 12171, Springer Nature, 2020,
pp. 732–62, doi:10.1007/978-3-030-56880-1_26.
short: S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology
– CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
conference:
end_date: 2020-08-21
location: Santa Barbara, CA, United States
name: 'CRYPTO: Annual International Cryptology Conference'
start_date: 2020-08-17
date_created: 2020-08-30T22:01:12Z
date_published: 2020-08-10T00:00:00Z
date_updated: 2021-01-12T08:18:08Z
day: '10'
department:
- _id: KrPi
doi: 10.1007/978-3-030-56880-1_26
ec_funded: 1
intvolume: ' 12171'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2019/1317
month: '08'
oa: 1
oa_version: Preprint
page: 732-762
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: Advances in Cryptology – CRYPTO 2020
publication_identifier:
eissn:
- '16113349'
isbn:
- '9783030568795'
issn:
- '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Reverse firewalls for actively secure MPCs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12171
year: '2020'
...
---
_id: '8323'
article_processing_charge: No
article_type: letter_note
author:
- first_name: János
full_name: Pach, János
id: E62E3130-B088-11EA-B919-BF823C25FEA4
last_name: Pach
citation:
ama: Pach J. A farewell to Ricky Pollack. Discrete and Computational Geometry.
2020;64:571-574. doi:10.1007/s00454-020-00237-5
apa: Pach, J. (2020). A farewell to Ricky Pollack. Discrete and Computational
Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00237-5
chicago: Pach, János. “A Farewell to Ricky Pollack.” Discrete and Computational
Geometry. Springer Nature, 2020. https://doi.org/10.1007/s00454-020-00237-5.
ieee: J. Pach, “A farewell to Ricky Pollack,” Discrete and Computational Geometry,
vol. 64. Springer Nature, pp. 571–574, 2020.
ista: Pach J. 2020. A farewell to Ricky Pollack. Discrete and Computational Geometry.
64, 571–574.
mla: Pach, János. “A Farewell to Ricky Pollack.” Discrete and Computational Geometry,
vol. 64, Springer Nature, 2020, pp. 571–74, doi:10.1007/s00454-020-00237-5.
short: J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
date_created: 2020-08-30T22:01:12Z
date_published: 2020-10-01T00:00:00Z
date_updated: 2023-08-22T09:05:04Z
day: '01'
department:
- _id: HeEd
doi: 10.1007/s00454-020-00237-5
external_id:
isi:
- '000561483500001'
intvolume: ' 64'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/s00454-020-00237-5
month: '10'
oa: 1
oa_version: None
page: 571-574
publication: Discrete and Computational Geometry
publication_identifier:
eissn:
- '14320444'
issn:
- '01795376'
publication_status: published
publisher: Springer Nature
scopus_import: '1'
status: public
title: A farewell to Ricky Pollack
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 64
year: '2020'
...
---
_id: '8324'
abstract:
- lang: eng
text: The notion of program sensitivity (aka Lipschitz continuity) specifies that
changes in the program input result in proportional changes to the program output.
For probabilistic programs the notion is naturally extended to expected sensitivity.
A previous approach develops a relational program logic framework for proving
expected sensitivity of probabilistic while loops, where the number of iterations
is fixed and bounded. In this work, we consider probabilistic while loops where
the number of iterations is not fixed, but randomized and depends on the initial
input values. We present a sound approach for proving expected sensitivity of
such programs. Our sound approach is martingale-based and can be automated through
existing martingale-synthesis algorithms. Furthermore, our approach is compositional
for sequential composition of while loops under a mild side condition. We demonstrate
the effectiveness of our approach on several classical examples from Gambler's
Ruin, stochastic hybrid systems and stochastic gradient descent. We also present
experimental results showing that our automated approach can handle various probabilistic
programs in the literature.
acknowledgement: We thank anonymous reviewers for helpful comments, especially for
pointing to us a scenario of piecewise-linear approximation (Remark5). The research
was partially supported by the National Natural Science Foundation of China (NSFC)
under Grant No. 61802254, 61672229, 61832015,61772336,11871221 and Austrian Science
Fund (FWF) NFN under Grant No. S11407-N23 (RiSE/SHiNE). We thank Prof. Yuxi Fu,
director of the BASICS Lab at Shanghai Jiao Tong University, for his support.
article_number: '25'
article_processing_charge: No
arxiv: 1
author:
- first_name: Peixin
full_name: Wang, Peixin
last_name: Wang
- first_name: Hongfei
full_name: Fu, Hongfei
last_name: Fu
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Yuxin
full_name: Deng, Yuxin
last_name: Deng
- first_name: Ming
full_name: Xu, Ming
last_name: Xu
citation:
ama: 'Wang P, Fu H, Chatterjee K, Deng Y, Xu M. Proving expected sensitivity of
probabilistic programs with randomized variable-dependent termination time. In:
Proceedings of the ACM on Programming Languages. Vol 4. ACM; 2020. doi:10.1145/3371093'
apa: Wang, P., Fu, H., Chatterjee, K., Deng, Y., & Xu, M. (2020). Proving expected
sensitivity of probabilistic programs with randomized variable-dependent termination
time. In Proceedings of the ACM on Programming Languages (Vol. 4). ACM.
https://doi.org/10.1145/3371093
chicago: Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu.
“Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent
Termination Time.” In Proceedings of the ACM on Programming Languages,
Vol. 4. ACM, 2020. https://doi.org/10.1145/3371093.
ieee: P. Wang, H. Fu, K. Chatterjee, Y. Deng, and M. Xu, “Proving expected sensitivity
of probabilistic programs with randomized variable-dependent termination time,”
in Proceedings of the ACM on Programming Languages, 2020, vol. 4, no. POPL.
ista: Wang P, Fu H, Chatterjee K, Deng Y, Xu M. 2020. Proving expected sensitivity
of probabilistic programs with randomized variable-dependent termination time.
Proceedings of the ACM on Programming Languages. vol. 4, 25.
mla: Wang, Peixin, et al. “Proving Expected Sensitivity of Probabilistic Programs
with Randomized Variable-Dependent Termination Time.” Proceedings of the ACM
on Programming Languages, vol. 4, no. POPL, 25, ACM, 2020, doi:10.1145/3371093.
short: P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM
on Programming Languages, ACM, 2020.
date_created: 2020-08-30T22:01:12Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2024-02-22T15:16:45Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.1145/3371093
external_id:
arxiv:
- '1902.04744'
file:
- access_level: open_access
checksum: c6193d109ff4ecb17e7a6513d8eb34c0
content_type: application/pdf
creator: cziletti
date_created: 2020-09-01T11:12:58Z
date_updated: 2020-09-01T11:12:58Z
file_id: '8328'
file_name: 2019_ACM_POPL_Wang.pdf
file_size: 564151
relation: main_file
success: 1
file_date_updated: 2020-09-01T11:12:58Z
has_accepted_license: '1'
intvolume: ' 4'
issue: POPL
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
eissn:
- 2475-1421
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://doi.org/10.5281/zenodo.3533633
scopus_import: '1'
status: public
title: Proving expected sensitivity of probabilistic programs with randomized variable-dependent
termination time
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2020'
...
---
_id: '8325'
abstract:
- lang: eng
text: "Let \U0001D439:ℤ2→ℤ be the pointwise minimum of several linear functions.
The theory of smoothing allows us to prove that under certain conditions there
exists the pointwise minimal function among all integer-valued superharmonic functions
coinciding with F “at infinity”. We develop such a theory to prove existence of
so-called solitons (or strings) in a sandpile model, studied by S. Caracciolo,
G. Paoletti, and A. Sportiello. Thus we made a step towards understanding the
phenomena of the identity in the sandpile group for planar domains where solitons
appear according to experiments. We prove that sandpile states, defined using
our smoothing procedure, move changeless when we apply the wave operator (that
is why we call them solitons), and can interact, forming triads and nodes. "
acknowledgement: We thank Andrea Sportiello for sharing his insights on perturbative
regimes of the Abelian sandpile model which was the starting point of our work.
We also thank Grigory Mikhalkin, who encouraged us to approach this problem. We
thank an anonymous referee. Also we thank Misha Khristoforov and Sergey Lanzat who
participated on the initial state of this project, when we had nothing except the
computer simulation and pictures. We thank Mikhail Raskin for providing us the code
on Golly for faster simulations. Ilia Zharkov, Ilia Itenberg, Kristin Shaw, Max
Karev, Lionel Levine, Ernesto Lupercio, Pavol Ševera, Yulieth Prieto, Michael Polyak,
Danila Cherkashin asked us a lot of questions and listened to us; not all of their
questions found answers here, but we are going to treat them in subsequent papers.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Nikita
full_name: Kalinin, Nikita
last_name: Kalinin
- first_name: Mikhail
full_name: Shkolnikov, Mikhail
id: 35084A62-F248-11E8-B48F-1D18A9856A87
last_name: Shkolnikov
orcid: 0000-0002-4310-178X
citation:
ama: Kalinin N, Shkolnikov M. Sandpile solitons via smoothing of superharmonic functions.
Communications in Mathematical Physics. 2020;378(9):1649-1675. doi:10.1007/s00220-020-03828-8
apa: Kalinin, N., & Shkolnikov, M. (2020). Sandpile solitons via smoothing of
superharmonic functions. Communications in Mathematical Physics. Springer
Nature. https://doi.org/10.1007/s00220-020-03828-8
chicago: Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing
of Superharmonic Functions.” Communications in Mathematical Physics. Springer
Nature, 2020. https://doi.org/10.1007/s00220-020-03828-8.
ieee: N. Kalinin and M. Shkolnikov, “Sandpile solitons via smoothing of superharmonic
functions,” Communications in Mathematical Physics, vol. 378, no. 9. Springer
Nature, pp. 1649–1675, 2020.
ista: Kalinin N, Shkolnikov M. 2020. Sandpile solitons via smoothing of superharmonic
functions. Communications in Mathematical Physics. 378(9), 1649–1675.
mla: Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing of
Superharmonic Functions.” Communications in Mathematical Physics, vol.
378, no. 9, Springer Nature, 2020, pp. 1649–75, doi:10.1007/s00220-020-03828-8.
short: N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020)
1649–1675.
date_created: 2020-08-30T22:01:13Z
date_published: 2020-09-01T00:00:00Z
date_updated: 2023-08-22T09:00:03Z
day: '01'
department:
- _id: TaHa
doi: 10.1007/s00220-020-03828-8
ec_funded: 1
external_id:
arxiv:
- '1711.04285'
isi:
- '000560620600001'
intvolume: ' 378'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1711.04285
month: '09'
oa: 1
oa_version: Preprint
page: 1649-1675
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Communications in Mathematical Physics
publication_identifier:
eissn:
- '14320916'
issn:
- '00103616'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sandpile solitons via smoothing of superharmonic functions
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 378
year: '2020'
...
---
_id: '8329'
abstract:
- lang: eng
text: We show the synthesis of a redox‐active quinone, 2‐methoxy‐1,4‐hydroquinone
(MHQ), from a bio‐based feedstock and its suitability as electrolyte in aqueous
redox flow batteries. We identified semiquinone intermediates at insufficiently
low pH and quinoid radicals as responsible for decomposition of MHQ under electrochemical
conditions. Both can be avoided and/or stabilized, respectively, using H 3 PO
4 electrolyte, allowing for reversible cycling in a redox flow battery for hundreds
of cycles.
acknowledgement: The Austrian Research Promotion Agency (FFG) is gratefully acknowledged
for financial support of the project LignoBatt (860429).
article_processing_charge: No
article_type: original
author:
- first_name: Werner
full_name: Schlemmer, Werner
last_name: Schlemmer
- first_name: Philipp
full_name: Nothdurft, Philipp
last_name: Nothdurft
- first_name: Alina
full_name: Petzold, Alina
last_name: Petzold
- first_name: Philipp
full_name: Frühwirt, Philipp
last_name: Frühwirt
- first_name: Max
full_name: Schmallegger, Max
last_name: Schmallegger
- first_name: Georg
full_name: Gescheidt-Demner, Georg
last_name: Gescheidt-Demner
- first_name: Roland
full_name: Fischer, Roland
last_name: Fischer
- 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: Wolfgang
full_name: Kern, Wolfgang
last_name: Kern
- first_name: Stefan
full_name: Spirk, Stefan
last_name: Spirk
citation:
ama: Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin
for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
2020;59(51):22943-22946. doi:10.1002/anie.202008253
apa: Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M.,
Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin
for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
Wiley. https://doi.org/10.1002/anie.202008253
chicago: Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt,
Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger,
Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous
Redox‐flow Batteries.” Angewandte Chemie International Edition. Wiley,
2020. https://doi.org/10.1002/anie.202008253.
ieee: W. Schlemmer et al., “2‐methoxyhydroquinone from vanillin for aqueous
redox‐flow batteries,” Angewandte Chemie International Edition, vol. 59,
no. 51. Wiley, pp. 22943–22946, 2020.
ista: Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner
G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from
vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
59(51), 22943–22946.
mla: Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous
Redox‐flow Batteries.” Angewandte Chemie International Edition, vol. 59,
no. 51, Wiley, 2020, pp. 22943–46, doi:10.1002/anie.202008253.
short: W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G.
Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte
Chemie International Edition 59 (2020) 22943–22946.
date_created: 2020-09-03T16:10:56Z
date_published: 2020-12-14T00:00:00Z
date_updated: 2023-09-05T16:03:47Z
day: '14'
department:
- _id: StFr
doi: 10.1002/anie.202008253
external_id:
isi:
- '000576148700001'
intvolume: ' 59'
isi: 1
issue: '51'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1002/anie.202008253
month: '12'
oa: 1
oa_version: Published Version
page: 22943-22946
publication: Angewandte Chemie International Edition
publication_identifier:
eissn:
- 1521-3773
issn:
- 1433-7851
publication_status: published
publisher: Wiley
quality_controlled: '1'
related_material:
record:
- id: '9780'
relation: research_data
status: public
scopus_import: '1'
status: public
title: 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 59
year: '2020'
...
---
_id: '8332'
abstract:
- lang: eng
text: "Designing and verifying concurrent programs is a notoriously challenging,
time consuming, and error prone task, even for experts. This is due to the sheer
number of possible interleavings of a concurrent program, all of which have to
be tracked and accounted for in a formal proof. Inventing an inductive invariant
that captures all interleavings of a low-level implementation is theoretically
possible, but practically intractable. We develop a refinement-based verification
framework that provides mechanisms to simplify proof construction by decomposing
the verification task into smaller subtasks.\r\n\r\nIn a first line of work, we
present a foundation for refinement reasoning over structured concurrent programs.
We introduce layered concurrent programs as a compact notation to represent multi-layer
refinement proofs. A layered concurrent program specifies a sequence of connected
concurrent programs, from most concrete to most abstract, such that common parts
of different programs are written exactly once. Each program in this sequence
is expressed as structured concurrent program, i.e., a program over (potentially
recursive) procedures, imperative control flow, gated atomic actions, structured
parallelism, and asynchronous concurrency. This is in contrast to existing refinement-based
verifiers, which represent concurrent systems as flat transition relations. We
present a powerful refinement proof rule that decomposes refinement checking over
structured programs into modular verification conditions. Refinement checking
is supported by a new form of modular, parameterized invariants, called yield
invariants, and a linear permission system to enhance local reasoning.\r\n\r\nIn
a second line of work, we present two new reduction-based program transformations
that target asynchronous programs. These transformations reduce the number of
interleavings that need to be considered, thus reducing the complexity of invariants.
Synchronization simplifies the verification of asynchronous programs by introducing
the fiction, for proof purposes, that asynchronous operations complete synchronously.
Synchronization summarizes an asynchronous computation as immediate atomic effect.
Inductive sequentialization establishes sequential reductions that captures every
behavior of the original program up to reordering of coarse-grained commutative
actions. A sequential reduction of a concurrent program is easy to reason about
since it corresponds to a simple execution of the program in an idealized synchronous
environment, where processes act in a fixed order and at the same speed.\r\n\r\nOur
approach is implemented the CIVL verifier, which has been successfully used for
the verification of several complex concurrent programs. In our methodology, the
overall correctness of a program is established piecemeal by focusing on the invariant
required for each refinement step separately. While the programmer does the creative
work of specifying the chain of programs and the inductive invariant justifying
each link in the chain, the tool automatically constructs the verification conditions
underlying each refinement step."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
citation:
ama: 'Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization.
2020. doi:10.15479/AT:ISTA:8332'
apa: 'Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization,
sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332'
chicago: 'Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization,
Sequentialization.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.'
ieee: 'B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,”
Institute of Science and Technology Austria, 2020.'
ista: 'Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization,
sequentialization. Institute of Science and Technology Austria.'
mla: 'Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization,
Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.'
short: 'B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization,
Institute of Science and Technology Austria, 2020.'
date_created: 2020-09-04T12:24:12Z
date_published: 2020-09-03T00:00:00Z
date_updated: 2023-09-13T08:45:08Z
day: '03'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ToHe
doi: 10.15479/AT:ISTA:8332
file:
- access_level: open_access
checksum: 26fe261550f691280bda4c454bf015c7
content_type: application/pdf
creator: bkragl
date_created: 2020-09-04T12:17:47Z
date_updated: 2020-09-04T12:17:47Z
file_id: '8333'
file_name: kragl-thesis.pdf
file_size: 1348815
relation: main_file
- access_level: closed
checksum: b9694ce092b7c55557122adba8337ebc
content_type: application/zip
creator: bkragl
date_created: 2020-09-04T13:00:17Z
date_updated: 2020-09-04T13:00:17Z
file_id: '8335'
file_name: kragl-thesis.zip
file_size: 372312
relation: source_file
file_date_updated: 2020-09-04T13:00:17Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '120'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '133'
relation: part_of_dissertation
status: public
- id: '8012'
relation: part_of_dissertation
status: public
- id: '8195'
relation: part_of_dissertation
status: public
- id: '160'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: 'Verifying concurrent programs: Refinement, synchronization, sequentialization'
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2020'
...
---
_id: '8336'
abstract:
- lang: eng
text: Plant hormone cytokinins are perceived by a subfamily of sensor histidine
kinases (HKs), which via a two-component phosphorelay cascade activate transcriptional
responses in the nucleus. Subcellular localization of the receptors proposed the
endoplasmic reticulum (ER) membrane as a principal cytokinin perception site,
while study of cytokinin transport pointed to the plasma membrane (PM)-mediated
cytokinin signalling. Here, by detailed monitoring of subcellular localizations
of the fluorescently labelled natural cytokinin probe and the receptor ARABIDOPSIS
HISTIDINE KINASE 4 (CRE1/AHK4) fused to GFP reporter, we show that pools of the
ER-located cytokinin receptors can enter the secretory pathway and reach the PM
in cells of the root apical meristem, and the cell plate of dividing meristematic
cells. Brefeldin A (BFA) experiments revealed vesicular recycling of the receptor
and its accumulation in BFA compartments. We provide a revised view on cytokinin
signalling and the possibility of multiple sites of perception at PM and ER.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
acknowledgement: This paper is dedicated to deceased P. Galuszka for his support and
contribution to the project. This research was supported by the Scientific Service
Units (SSU) of IST-Austria through resources provided by the Bioimaging Facility
(BIF), the Life Science Facility (LSF) and by Centre of the Region Haná (CRH), Palacký
University. We thank Lucia Hlusková, Zuzana Pěkná and Martin Hönig for technical
assistance, and Fernando Aniento, Rashed Abualia and Andrej Hurný for sharing material.
The work was supported from ERDF project “Plants as a tool for sustainable global
development” (No. CZ.02.1.01/0.0/0.0/16_019/0000827), from Czech Science Foundation
via projects 16-04184S (O.P., K.K. and K.D.), 18-23972Y (D.Z., K.K.), 17-21122S
(K.B.), Erasmus+ (K.K.), Endowment Fund of Palacký University (K.K.) and EMBO Long-Term
Fellowship, ALTF number 710-2016 (J.C.M.); People Programme (Marie Curie Actions)
of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant
agreement no. [291734] (N.C.); DOC Fellowship of the Austrian Academy of Sciences
at the Institute of Science and Technology, Austria (H.S.).
article_number: '4285'
article_processing_charge: No
article_type: original
author:
- first_name: Karolina
full_name: Kubiasova, Karolina
id: 946011F4-3E71-11EA-860B-C7A73DDC885E
last_name: Kubiasova
orcid: 0000-0001-5630-9419
- first_name: Juan C
full_name: Montesinos López, Juan C
id: 310A8E3E-F248-11E8-B48F-1D18A9856A87
last_name: Montesinos López
orcid: 0000-0001-9179-6099
- first_name: Olga
full_name: Šamajová, Olga
last_name: Šamajová
- first_name: Jaroslav
full_name: Nisler, Jaroslav
last_name: Nisler
- first_name: Václav
full_name: Mik, Václav
last_name: Mik
- first_name: Hana
full_name: Semeradova, Hana
id: 42FE702E-F248-11E8-B48F-1D18A9856A87
last_name: Semeradova
- first_name: Lucie
full_name: Plíhalová, Lucie
last_name: Plíhalová
- first_name: Ondřej
full_name: Novák, Ondřej
last_name: Novák
- first_name: Peter
full_name: Marhavý, Peter
id: 3F45B078-F248-11E8-B48F-1D18A9856A87
last_name: Marhavý
orcid: 0000-0001-5227-5741
- first_name: Nicola
full_name: Cavallari, Nicola
id: 457160E6-F248-11E8-B48F-1D18A9856A87
last_name: Cavallari
- first_name: David
full_name: Zalabák, David
last_name: Zalabák
- first_name: Karel
full_name: Berka, Karel
last_name: Berka
- first_name: Karel
full_name: Doležal, Karel
last_name: Doležal
- first_name: Petr
full_name: Galuszka, Petr
last_name: Galuszka
- first_name: Jozef
full_name: Šamaj, Jozef
last_name: Šamaj
- first_name: Miroslav
full_name: Strnad, Miroslav
last_name: Strnad
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Ondřej
full_name: Plíhal, Ondřej
last_name: Plíhal
- first_name: Lukáš
full_name: Spíchal, Lukáš
last_name: Spíchal
citation:
ama: Kubiasova K, Montesinos López JC, Šamajová O, et al. Cytokinin fluoroprobe
reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic
reticulum. Nature Communications. 2020;11. doi:10.1038/s41467-020-17949-0
apa: Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V.,
Semerádová, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites
of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature
Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17949-0
chicago: Kubiasova, Karolina, Juan C Montesinos López, Olga Šamajová, Jaroslav Nisler,
Václav Mik, Hana Semerádová, Lucie Plíhalová, et al. “Cytokinin Fluoroprobe Reveals
Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.”
Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17949-0.
ieee: K. Kubiasova et al., “Cytokinin fluoroprobe reveals multiple sites
of cytokinin perception at plasma membrane and endoplasmic reticulum,” Nature
Communications, vol. 11. Springer Nature, 2020.
ista: Kubiasova K, Montesinos López JC, Šamajová O, Nisler J, Mik V, Semerádová
H, Plíhalová L, Novák O, Marhavý P, Cavallari N, Zalabák D, Berka K, Doležal K,
Galuszka P, Šamaj J, Strnad M, Benková E, Plíhal O, Spíchal L. 2020. Cytokinin
fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane
and endoplasmic reticulum. Nature Communications. 11, 4285.
mla: Kubiasova, Karolina, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of
Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” Nature
Communications, vol. 11, 4285, Springer Nature, 2020, doi:10.1038/s41467-020-17949-0.
short: K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semerádová,
L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal,
P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications
11 (2020).
date_created: 2020-09-06T22:01:12Z
date_published: 2020-08-27T00:00:00Z
date_updated: 2023-08-22T09:09:06Z
day: '27'
ddc:
- '580'
department:
- _id: EvBe
doi: 10.1038/s41467-020-17949-0
ec_funded: 1
external_id:
isi:
- '000567931000002'
pmid:
- '32855390'
file:
- access_level: open_access
checksum: 7494b7665b3d2bf2d8edb13e4f12b92d
content_type: application/pdf
creator: dernst
date_created: 2020-09-10T08:05:19Z
date_updated: 2020-09-10T08:05:19Z
file_id: '8357'
file_name: 2020_NatureComm_Kubiasova.pdf
file_size: 3455704
relation: main_file
success: 1
file_date_updated: 2020-09-10T08:05:19Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 261821BC-B435-11E9-9278-68D0E5697425
grant_number: '24746'
name: Molecular mechanisms of the cytokinin regulated endomembrane trafficking to
coordinate plant organogenesis.
- _id: 253E54C8-B435-11E9-9278-68D0E5697425
grant_number: ALTF710-2016
name: Molecular mechanism of auxindriven formative divisions delineating lateral
root organogenesis in plants
publication: Nature Communications
publication_identifier:
eissn:
- '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma
membrane and endoplasmic reticulum
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...