---
_id: '7136'
abstract:
- lang: eng
text: "It is well established that the notion of min-entropy fails to satisfy the
\\emph{chain rule} of the form H(X,Y)=H(X|Y)+H(Y), known for Shannon Entropy.
Such a property would help to analyze how min-entropy is split among smaller blocks.
Problems of this kind arise for example when constructing extractors and dispersers.\r\nWe
show that any sequence of variables exhibits a very strong strong block-source
structure (conditional distributions of blocks are nearly flat) when we \\emph{spoil
few correlated bits}. This implies, conditioned on the spoiled bits, that \\emph{splitting-recombination
properties} hold. In particular, we have many nice properties that min-entropy
doesn't obey in general, for example strong chain rules, \"information can't hurt\"
inequalities, equivalences of average and worst-case conditional entropy definitions
and others. Quantitatively, for any sequence X1,…,Xt of random variables over
an alphabet X we prove that, when conditioned on m=t⋅O(loglog|X|+loglog(1/ϵ)+logt)
bits of auxiliary information, all conditional distributions of the form Xi|X2019 IEEE International Symposium on Information Theory. IEEE; 2019. doi:10.1109/isit.2019.8849240'
apa: 'Skórski, M. (2019). Strong chain rules for min-entropy under few bits spoiled.
In 2019 IEEE International Symposium on Information Theory. Paris, France:
IEEE. https://doi.org/10.1109/isit.2019.8849240'
chicago: Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.”
In 2019 IEEE International Symposium on Information Theory. IEEE, 2019.
https://doi.org/10.1109/isit.2019.8849240.
ieee: M. Skórski, “Strong chain rules for min-entropy under few bits spoiled,” in
2019 IEEE International Symposium on Information Theory, Paris, France,
2019.
ista: 'Skórski M. 2019. Strong chain rules for min-entropy under few bits spoiled.
2019 IEEE International Symposium on Information Theory. ISIT: International Symposium
on Information Theory, 8849240.'
mla: Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.”
2019 IEEE International Symposium on Information Theory, 8849240, IEEE,
2019, doi:10.1109/isit.2019.8849240.
short: M. Skórski, in:, 2019 IEEE International Symposium on Information Theory,
IEEE, 2019.
conference:
end_date: 2019-07-12
location: Paris, France
name: 'ISIT: International Symposium on Information Theory'
start_date: 2019-07-07
date_created: 2019-11-28T10:19:21Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2023-09-06T11:15:41Z
day: '01'
department:
- _id: KrPi
doi: 10.1109/isit.2019.8849240
external_id:
arxiv:
- '1702.08476'
isi:
- '000489100301043'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1702.08476
month: '07'
oa: 1
oa_version: Preprint
publication: 2019 IEEE International Symposium on Information Theory
publication_identifier:
isbn:
- '9781538692912'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Strong chain rules for min-entropy under few bits spoiled
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7122'
abstract:
- lang: eng
text: Data-rich applications in machine-learning and control have motivated an intense
research on large-scale optimization. Novel algorithms have been proposed and
shown to have optimal convergence rates in terms of iteration counts. However,
their practical performance is severely degraded by the cost of exchanging high-dimensional
gradient vectors between computing nodes. Several gradient compression heuristics
have recently been proposed to reduce communications, but few theoretical results
exist that quantify how they impact algorithm convergence. This paper establishes
and strengthens the convergence guarantees for gradient descent under a family
of gradient compression techniques. For convex optimization problems, we derive
admissible step sizes and quantify both the number of iterations and the number
of bits that need to be exchanged to reach a target accuracy. Finally, we validate
the performance of different gradient compression techniques in simulations. The
numerical results highlight the properties of different gradient compression algorithms
and confirm that fast convergence with limited information exchange is possible.
article_number: '8619625'
article_processing_charge: No
author:
- first_name: Sarit
full_name: Khirirat, Sarit
last_name: Khirirat
- first_name: Mikael
full_name: Johansson, Mikael
last_name: Johansson
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Khirirat S, Johansson M, Alistarh D-A. Gradient compression for communication-limited
convex optimization. In: 2018 IEEE Conference on Decision and Control.
IEEE; 2019. doi:10.1109/cdc.2018.8619625'
apa: 'Khirirat, S., Johansson, M., & Alistarh, D.-A. (2019). Gradient compression
for communication-limited convex optimization. In 2018 IEEE Conference on Decision
and Control. Miami Beach, FL, United States: IEEE. https://doi.org/10.1109/cdc.2018.8619625'
chicago: Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression
for Communication-Limited Convex Optimization.” In 2018 IEEE Conference on
Decision and Control. IEEE, 2019. https://doi.org/10.1109/cdc.2018.8619625.
ieee: S. Khirirat, M. Johansson, and D.-A. Alistarh, “Gradient compression for communication-limited
convex optimization,” in 2018 IEEE Conference on Decision and Control,
Miami Beach, FL, United States, 2019.
ista: 'Khirirat S, Johansson M, Alistarh D-A. 2019. Gradient compression for communication-limited
convex optimization. 2018 IEEE Conference on Decision and Control. CDC: Conference
on Decision and Control, 8619625.'
mla: Khirirat, Sarit, et al. “Gradient Compression for Communication-Limited Convex
Optimization.” 2018 IEEE Conference on Decision and Control, 8619625, IEEE,
2019, doi:10.1109/cdc.2018.8619625.
short: S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision
and Control, IEEE, 2019.
conference:
end_date: 2018-12-19
location: Miami Beach, FL, United States
name: 'CDC: Conference on Decision and Control'
start_date: 2018-12-17
date_created: 2019-11-26T15:07:49Z
date_published: 2019-01-21T00:00:00Z
date_updated: 2023-09-06T11:14:55Z
day: '21'
department:
- _id: DaAl
doi: 10.1109/cdc.2018.8619625
external_id:
isi:
- '000458114800023'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
publication: 2018 IEEE Conference on Decision and Control
publication_identifier:
isbn:
- '9781538613955'
issn:
- 0743-1546
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Gradient compression for communication-limited convex optimization
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7146'
abstract:
- lang: eng
text: Prevailing models of sex-chromosome evolution were largely inspired by the
stable and highly differentiated XY pairs of model organisms, such as those of
mammals and flies. Recent work has uncovered an incredible diversity of sex-determining
systems, bringing some of the assumptions of these traditional models into question.
One particular question that has arisen is what drives some sex chromosomes to
be maintained over millions of years and differentiate fully, while others are
replaced by new sex-determining chromosomes before differentiation has occurred.
Here, I review recent data on the variability of sex-determining genes and sex
chromosomes in different non-model vertebrates and invertebrates, and discuss
some theoretical models that have been put forward to account for this diversity.
article_processing_charge: No
article_type: original
author:
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
citation:
ama: Vicoso B. Molecular and evolutionary dynamics of animal sex-chromosome turnover.
Nature Ecology & Evolution. 2019;3(12):1632-1641. doi:10.1038/s41559-019-1050-8
apa: Vicoso, B. (2019). Molecular and evolutionary dynamics of animal sex-chromosome
turnover. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-019-1050-8
chicago: Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome
Turnover.” Nature Ecology & Evolution. Springer Nature, 2019. https://doi.org/10.1038/s41559-019-1050-8.
ieee: B. Vicoso, “Molecular and evolutionary dynamics of animal sex-chromosome turnover,”
Nature Ecology & Evolution, vol. 3, no. 12. Springer Nature, pp. 1632–1641,
2019.
ista: Vicoso B. 2019. Molecular and evolutionary dynamics of animal sex-chromosome
turnover. Nature Ecology & Evolution. 3(12), 1632–1641.
mla: Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome
Turnover.” Nature Ecology & Evolution, vol. 3, no. 12, Springer Nature,
2019, pp. 1632–41, doi:10.1038/s41559-019-1050-8.
short: B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
date_created: 2019-12-04T16:05:25Z
date_published: 2019-11-25T00:00:00Z
date_updated: 2023-09-06T11:18:59Z
day: '25'
department:
- _id: BeVi
doi: 10.1038/s41559-019-1050-8
ec_funded: 1
external_id:
isi:
- '000500728800009'
intvolume: ' 3'
isi: 1
issue: '12'
language:
- iso: eng
month: '11'
oa_version: None
page: 1632-1641
project:
- _id: 250BDE62-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715257'
name: Prevalence and Influence of Sexual Antagonism on Genome Evolution
publication: Nature Ecology & Evolution
publication_identifier:
issn:
- 2397-334X
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular and evolutionary dynamics of animal sex-chromosome turnover
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2019'
...
---
_id: '7143'
abstract:
- lang: eng
text: Roots grow downwards parallel to the gravity vector, to anchor a plant in
soil and acquire water and nutrients, using a gravitropic mechanism dependent
on the asymmetric distribution of the phytohormone auxin. Recently, Chang et al.
demonstrate that asymmetric distribution of another phytohormone, cytokinin, directs
root growth towards higher water content.
article_processing_charge: No
article_type: original
author:
- first_name: Scott A
full_name: Sinclair, Scott A
id: 2D99FE6A-F248-11E8-B48F-1D18A9856A87
last_name: Sinclair
orcid: 0000-0002-4566-0593
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: 'Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. Cell
Research. 2019;29:965-966. doi:10.1038/s41422-019-0254-4'
apa: 'Sinclair, S. A., & Friml, J. (2019). Defying gravity: a plant’s quest
for moisture. Cell Research. Springer Nature. https://doi.org/10.1038/s41422-019-0254-4'
chicago: 'Sinclair, Scott A, and Jiří Friml. “Defying Gravity: A Plant’s Quest for
Moisture.” Cell Research. Springer Nature, 2019. https://doi.org/10.1038/s41422-019-0254-4.'
ieee: 'S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,”
Cell Research, vol. 29. Springer Nature, pp. 965–966, 2019.'
ista: 'Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture.
Cell Research. 29, 965–966.'
mla: 'Sinclair, Scott A., and Jiří Friml. “Defying Gravity: A Plant’s Quest for
Moisture.” Cell Research, vol. 29, Springer Nature, 2019, pp. 965–66, doi:10.1038/s41422-019-0254-4.'
short: S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
date_created: 2019-12-02T12:30:48Z
date_published: 2019-12-01T00:00:00Z
date_updated: 2023-09-06T11:20:58Z
day: '01'
department:
- _id: JiFr
doi: 10.1038/s41422-019-0254-4
external_id:
isi:
- '000500749600001'
pmid:
- '31745287'
intvolume: ' 29'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1038/s41422-019-0254-4
month: '12'
oa: 1
oa_version: Published Version
page: 965-966
pmid: 1
publication: Cell Research
publication_identifier:
eissn:
- 1748-7838
issn:
- 1001-0602
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Defying gravity: a plant''s quest for moisture'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 29
year: '2019'
...
---
_id: '7156'
abstract:
- lang: eng
text: We propose an efficient microwave-photonic modulator as a resource for stationary
entangled microwave-optical fields and develop the theory for deterministic entanglement
generation and quantum state transfer in multi-resonant electro-optic systems.
The device is based on a single crystal whispering gallery mode resonator integrated
into a 3D-microwave cavity. The specific design relies on a new combination of
thin-film technology and conventional machining that is optimized for the lowest
dissipation rates in the microwave, optical, and mechanical domains. We extract
important device properties from finite-element simulations and predict continuous
variable entanglement generation rates on the order of a Mebit/s for optical pump
powers of only a few tens of microwatts. We compare the quantum state transfer
fidelities of coherent, squeezed, and non-Gaussian cat states for both teleportation
and direct conversion protocols under realistic conditions. Combining the unique
capabilities of circuit quantum electrodynamics with the resilience of fiber optic
communication could facilitate long-distance solid-state qubit networks, new methods
for quantum signal synthesis, quantum key distribution, and quantum enhanced detection,
as well as more power-efficient classical sensing and modulation.
article_number: '108'
article_processing_charge: No
article_type: original
author:
- first_name: Alfredo R
full_name: Rueda Sanchez, Alfredo R
id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87
last_name: Rueda Sanchez
orcid: 0000-0001-6249-5860
- first_name: William J
full_name: Hease, William J
id: 29705398-F248-11E8-B48F-1D18A9856A87
last_name: Hease
orcid: 0000-0001-9868-2166
- first_name: Shabir
full_name: Barzanjeh, Shabir
id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
last_name: Barzanjeh
orcid: 0000-0003-0415-1423
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. Electro-optic entanglement
source for microwave to telecom quantum state transfer. npj Quantum Information.
2019;5. doi:10.1038/s41534-019-0220-5
apa: Rueda Sanchez, A. R., Hease, W. J., Barzanjeh, S., & Fink, J. M. (2019).
Electro-optic entanglement source for microwave to telecom quantum state transfer.
Npj Quantum Information. Springer Nature. https://doi.org/10.1038/s41534-019-0220-5
chicago: Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes
M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State
Transfer.” Npj Quantum Information. Springer Nature, 2019. https://doi.org/10.1038/s41534-019-0220-5.
ieee: A. R. Rueda Sanchez, W. J. Hease, S. Barzanjeh, and J. M. Fink, “Electro-optic
entanglement source for microwave to telecom quantum state transfer,” npj Quantum
Information, vol. 5. Springer Nature, 2019.
ista: Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement
source for microwave to telecom quantum state transfer. npj Quantum Information.
5, 108.
mla: Rueda Sanchez, Alfredo R., et al. “Electro-Optic Entanglement Source for Microwave
to Telecom Quantum State Transfer.” Npj Quantum Information, vol. 5, 108,
Springer Nature, 2019, doi:10.1038/s41534-019-0220-5.
short: A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information
5 (2019).
date_created: 2019-12-09T08:18:56Z
date_published: 2019-12-01T00:00:00Z
date_updated: 2023-09-06T11:22:39Z
day: '01'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1038/s41534-019-0220-5
ec_funded: 1
external_id:
arxiv:
- '1909.01470'
isi:
- '000502996200003'
file:
- access_level: open_access
checksum: 13e0ea1d4f9b5f5710780d9473364f58
content_type: application/pdf
creator: dernst
date_created: 2019-12-09T08:25:06Z
date_updated: 2020-07-14T12:47:50Z
file_id: '7157'
file_name: 2019_NPJ_Rueda.pdf
file_size: 1580132
relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
has_accepted_license: '1'
intvolume: ' 5'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '758053'
name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 258047B6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '707438'
name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination
with cavity Optomechanics SUPEREOM'
- _id: 257EB838-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '732894'
name: Hybrid Optomechanical Technologies
- _id: 26927A52-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: F07105
name: Integrating superconducting quantum circuits
publication: npj Quantum Information
publication_identifier:
issn:
- 2056-6387
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Electro-optic entanglement source for microwave to telecom quantum state transfer
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 5
year: '2019'
...
---
_id: '7165'
abstract:
- lang: eng
text: Cell division, movement and differentiation contribute to pattern formation
in developing tissues. This is the case in the vertebrate neural tube, in which
neurons differentiate in a characteristic pattern from a highly dynamic proliferating
pseudostratified epithelium. To investigate how progenitor proliferation and differentiation
affect cell arrangement and growth of the neural tube, we used experimental measurements
to develop a mechanical model of the apical surface of the neuroepithelium that
incorporates the effect of interkinetic nuclear movement and spatially varying
rates of neuronal differentiation. Simulations predict that tissue growth and
the shape of lineage-related clones of cells differ with the rate of differentiation.
Growth is isotropic in regions of high differentiation, but dorsoventrally biased
in regions of low differentiation. This is consistent with experimental observations.
The absence of directional signalling in the simulations indicates that global
mechanical constraints are sufficient to explain the observed differences in anisotropy.
This provides insight into how the tissue growth rate affects cell dynamics and
growth anisotropy and opens up possibilities to study the coupling between mechanics,
pattern formation and growth in the neural tube.
article_number: dev176297
article_processing_charge: No
article_type: original
author:
- first_name: Pilar
full_name: Guerrero, Pilar
last_name: Guerrero
- first_name: Ruben
full_name: Perez-Carrasco, Ruben
last_name: Perez-Carrasco
- first_name: Marcin P
full_name: Zagórski, Marcin P
id: 343DA0DC-F248-11E8-B48F-1D18A9856A87
last_name: Zagórski
orcid: 0000-0001-7896-7762
- first_name: David
full_name: Page, David
last_name: Page
- first_name: Anna
full_name: Kicheva, Anna
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
- first_name: James
full_name: Briscoe, James
last_name: Briscoe
- first_name: Karen M.
full_name: Page, Karen M.
last_name: Page
citation:
ama: Guerrero P, Perez-Carrasco R, Zagórski MP, et al. Neuronal differentiation
influences progenitor arrangement in the vertebrate neuroepithelium. Development.
2019;146(23). doi:10.1242/dev.176297
apa: Guerrero, P., Perez-Carrasco, R., Zagórski, M. P., Page, D., Kicheva, A., Briscoe,
J., & Page, K. M. (2019). Neuronal differentiation influences progenitor arrangement
in the vertebrate neuroepithelium. Development. The Company of Biologists.
https://doi.org/10.1242/dev.176297
chicago: Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna
Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences
Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development.
The Company of Biologists, 2019. https://doi.org/10.1242/dev.176297.
ieee: P. Guerrero et al., “Neuronal differentiation influences progenitor
arrangement in the vertebrate neuroepithelium,” Development, vol. 146,
no. 23. The Company of Biologists, 2019.
ista: Guerrero P, Perez-Carrasco R, Zagórski MP, Page D, Kicheva A, Briscoe J, Page
KM. 2019. Neuronal differentiation influences progenitor arrangement in the vertebrate
neuroepithelium. Development. 146(23), dev176297.
mla: Guerrero, Pilar, et al. “Neuronal Differentiation Influences Progenitor Arrangement
in the Vertebrate Neuroepithelium.” Development, vol. 146, no. 23, dev176297,
The Company of Biologists, 2019, doi:10.1242/dev.176297.
short: P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe,
K.M. Page, Development 146 (2019).
date_created: 2019-12-10T14:39:50Z
date_published: 2019-12-04T00:00:00Z
date_updated: 2023-09-06T11:26:36Z
day: '04'
ddc:
- '570'
department:
- _id: AnKi
doi: 10.1242/dev.176297
ec_funded: 1
external_id:
isi:
- '000507575700004'
pmid:
- '31784457'
file:
- access_level: open_access
checksum: b6533c37dc8fbd803ffeca216e0a8b8a
content_type: application/pdf
creator: dernst
date_created: 2019-12-13T07:34:06Z
date_updated: 2020-07-14T12:47:50Z
file_id: '7177'
file_name: 2019_Development_Guerrero.pdf
file_size: 7797881
relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
has_accepted_license: '1'
intvolume: ' 146'
isi: 1
issue: '23'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: B6FC0238-B512-11E9-945C-1524E6697425
call_identifier: H2020
grant_number: '680037'
name: Coordination of Patterning And Growth In the Spinal Cord
publication: Development
publication_identifier:
eissn:
- 1477-9129
issn:
- 0950-1991
publication_status: published
publisher: The Company of Biologists
quality_controlled: '1'
scopus_import: '1'
status: public
title: Neuronal differentiation influences progenitor arrangement in the vertebrate
neuroepithelium
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 146
year: '2019'
...
---
_id: '7159'
abstract:
- lang: eng
text: 'Cyber-physical systems (CPS) and the Internet-of-Things (IoT) result in a
tremendous amount of generated, measured and recorded time-series data. Extracting
temporal segments that encode patterns with useful information out of these huge
amounts of data is an extremely difficult problem. We propose shape expressions
as a declarative formalism for specifying, querying and extracting sophisticated
temporal patterns from possibly noisy data. Shape expressions are regular expressions
with arbitrary (linear, exponential, sinusoidal, etc.) shapes with parameters
as atomic predicates and additional constraints on these parameters. We equip
shape expressions with a novel noisy semantics that combines regular expression
matching semantics with statistical regression. We characterize essential properties
of the formalism and propose an efficient approximate shape expression matching
procedure. We demonstrate the wide applicability of this technique on two case
studies. '
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dejan
full_name: Ničković, Dejan
last_name: Ničković
- first_name: Xin
full_name: Qin, Xin
last_name: Qin
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Cristinel
full_name: Mateis, Cristinel
last_name: Mateis
- first_name: Jyotirmoy
full_name: Deshmukh, Jyotirmoy
last_name: Deshmukh
citation:
ama: 'Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for
specifying and extracting signal features. In: 19th International Conference
on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17'
apa: 'Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019).
Shape expressions for specifying and extracting signal features. In 19th International
Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal:
Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17'
chicago: Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy
Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In
19th International Conference on Runtime Verification, 11757:292–309. Springer
Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
ieee: D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions
for specifying and extracting signal features,” in 19th International Conference
on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
ista: 'Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions
for specifying and extracting signal features. 19th International Conference on
Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757, 292–309.'
mla: Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal
Features.” 19th International Conference on Runtime Verification, vol.
11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
short: D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International
Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
conference:
end_date: 2019-10-11
location: Porto, Portugal
name: 'RV: Runtime Verification'
start_date: 2019-10-08
date_created: 2019-12-09T08:47:55Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-09-06T11:24:10Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-030-32079-9_17
external_id:
isi:
- '000570006300017'
intvolume: ' 11757'
isi: 1
language:
- iso: eng
month: '10'
oa_version: None
page: 292-309
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
publication: 19th International Conference on Runtime Verification
publication_identifier:
isbn:
- '9783030320782'
- '9783030320799'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Shape expressions for specifying and extracting signal features
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11757
year: '2019'
...
---
_id: '7183'
abstract:
- lang: eng
text: 'A probabilistic vector addition system with states (pVASS) is a finite state
Markov process augmented with non-negative integer counters that can be incremented
or decremented during each state transition, blocking any behaviour that would
cause a counter to decrease below zero. The pVASS can be used as abstractions
of probabilistic programs with many decidable properties. The use of pVASS as
abstractions requires the presence of nondeterminism in the model. In this paper,
we develop techniques for checking fast termination of pVASS with nondeterminism.
That is, for every initial configuration of size n, we consider the worst expected
number of transitions needed to reach a configuration with some counter negative
(the expected termination time). We show that the problem whether the asymptotic
expected termination time is linear is decidable in polynomial time for a certain
natural class of pVASS with nondeterminism. Furthermore, we show the following
dichotomy: if the asymptotic expected termination time is not linear, then it
is at least quadratic, i.e., in Ω(n2).'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Tomás
full_name: Brázdil, Tomás
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Antonín
full_name: Kucera, Antonín
last_name: Kucera
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Dominik
full_name: Velan, Dominik
last_name: Velan
citation:
ama: 'Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination
for probabilistic VASS with nondeterminism. In: International Symposium on
Automated Technology for Verification and Analysis. Vol 11781. Springer Nature;
2019:462-478. doi:10.1007/978-3-030-31784-3_27'
apa: 'Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., & Velan, D. (2019).
Deciding fast termination for probabilistic VASS with nondeterminism. In International
Symposium on Automated Technology for Verification and Analysis (Vol. 11781,
pp. 462–478). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-030-31784-3_27'
chicago: Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and
Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.”
In International Symposium on Automated Technology for Verification and Analysis,
11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
ieee: T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding
fast termination for probabilistic VASS with nondeterminism,” in International
Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan,
2019, vol. 11781, pp. 462–478.
ista: 'Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. 2019. Deciding fast
termination for probabilistic VASS with nondeterminism. International Symposium
on Automated Technology for Verification and Analysis. ATVA: Automated TEchnology
for Verification and Analysis, LNCS, vol. 11781, 462–478.'
mla: Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with
Nondeterminism.” International Symposium on Automated Technology for Verification
and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27.
short: T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International
Symposium on Automated Technology for Verification and Analysis, Springer Nature,
2019, pp. 462–478.
conference:
end_date: 2019-10-31
location: Taipei, Taiwan
name: 'ATVA: Automated TEchnology for Verification and Analysis'
start_date: 2019-10-28
date_created: 2019-12-15T23:00:44Z
date_published: 2019-10-21T00:00:00Z
date_updated: 2023-09-06T12:40:58Z
day: '21'
department:
- _id: KrCh
doi: 10.1007/978-3-030-31784-3_27
external_id:
arxiv:
- '1907.11010'
isi:
- '000723515700027'
intvolume: ' 11781'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1907.11010
month: '10'
oa: 1
oa_version: Preprint
page: 462-478
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: International Symposium on Automated Technology for Verification and
Analysis
publication_identifier:
eissn:
- '16113349'
isbn:
- '9783030317836'
issn:
- '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Deciding fast termination for probabilistic VASS with nondeterminism
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11781
year: '2019'
...
---
_id: '7182'
abstract:
- lang: eng
text: During infection pathogens secrete small molecules, termed effectors, to manipulate
and control the interaction with their specific hosts. Both the pathogen and the
plant are under high selective pressure to rapidly adapt and co-evolve in what
is usually referred to as molecular arms race. Components of the host’s immune
system form a network that processes information about molecules with a foreign
origin and damage-associated signals, integrating them with developmental and
abiotic cues to adapt the plant’s responses. Both in the case of nucleotide-binding
leucine-rich repeat receptors and leucine-rich repeat receptor kinases interaction
networks have been extensively characterized. However, little is known on whether
pathogenic effectors form complexes to overcome plant immunity and promote disease.
Ustilago maydis, a biotrophic fungal pathogen that infects maize plants, produces
effectors that target hubs in the immune network of the host cell. Here we assess
the capability of U. maydis effector candidates to interact with each other, which
may play a crucial role during the infection process. Using a systematic yeast-two-hybrid
approach and based on a preliminary pooled screen, we selected 63 putative effectors
for one-on-one matings with a library of nearly 300 effector candidates. We found
that 126 of these effector candidates interacted either with themselves or other
predicted effectors. Although the functional relevance of the observed interactions
remains elusive, we propose that the observed abundance in complex formation between
effectors adds an additional level of complexity to effector research and should
be taken into consideration when studying effector evolution and function. Based
on this fundamental finding, we suggest various scenarios which could evolutionarily
drive the formation and stabilization of an effector interactome.
article_number: '1437'
article_processing_charge: No
article_type: original
author:
- first_name: André
full_name: Alcântara, André
last_name: Alcântara
- first_name: Jason
full_name: Bosch, Jason
last_name: Bosch
- first_name: Fahimeh
full_name: Nazari, Fahimeh
last_name: Nazari
- first_name: Gesa
full_name: Hoffmann, Gesa
last_name: Hoffmann
- first_name: Michelle C
full_name: Gallei, Michelle C
id: 35A03822-F248-11E8-B48F-1D18A9856A87
last_name: Gallei
orcid: 0000-0003-1286-7368
- first_name: Simon
full_name: Uhse, Simon
last_name: Uhse
- first_name: Martin A.
full_name: Darino, Martin A.
last_name: Darino
- first_name: Toluwase
full_name: Olukayode, Toluwase
last_name: Olukayode
- first_name: Daniel
full_name: Reumann, Daniel
last_name: Reumann
- first_name: Laura
full_name: Baggaley, Laura
last_name: Baggaley
- first_name: Armin
full_name: Djamei, Armin
last_name: Djamei
citation:
ama: Alcântara A, Bosch J, Nazari F, et al. Systematic Y2H screening reveals extensive
effector-complex formation. Frontiers in Plant Science. 2019;10(11). doi:10.3389/fpls.2019.01437
apa: Alcântara, A., Bosch, J., Nazari, F., Hoffmann, G., Gallei, M. C., Uhse, S.,
… Djamei, A. (2019). Systematic Y2H screening reveals extensive effector-complex
formation. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2019.01437
chicago: Alcântara, André, Jason Bosch, Fahimeh Nazari, Gesa Hoffmann, Michelle
C Gallei, Simon Uhse, Martin A. Darino, et al. “Systematic Y2H Screening Reveals
Extensive Effector-Complex Formation.” Frontiers in Plant Science. Frontiers,
2019. https://doi.org/10.3389/fpls.2019.01437.
ieee: A. Alcântara et al., “Systematic Y2H screening reveals extensive effector-complex
formation,” Frontiers in Plant Science, vol. 10, no. 11. Frontiers, 2019.
ista: Alcântara A, Bosch J, Nazari F, Hoffmann G, Gallei MC, Uhse S, Darino MA,
Olukayode T, Reumann D, Baggaley L, Djamei A. 2019. Systematic Y2H screening reveals
extensive effector-complex formation. Frontiers in Plant Science. 10(11), 1437.
mla: Alcântara, André, et al. “Systematic Y2H Screening Reveals Extensive Effector-Complex
Formation.” Frontiers in Plant Science, vol. 10, no. 11, 1437, Frontiers,
2019, doi:10.3389/fpls.2019.01437.
short: A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A.
Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science
10 (2019).
date_created: 2019-12-15T23:00:43Z
date_published: 2019-11-14T00:00:00Z
date_updated: 2023-09-06T14:33:46Z
day: '14'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.3389/fpls.2019.01437
external_id:
isi:
- '000499821700001'
pmid:
- '31803201'
file:
- access_level: open_access
checksum: 995aa838aec2064d93550de82b40bbd1
content_type: application/pdf
creator: dernst
date_created: 2019-12-16T07:58:43Z
date_updated: 2020-07-14T12:47:52Z
file_id: '7185'
file_name: 2019_FrontiersPlant_Alcantara.pdf
file_size: 1532505
relation: main_file
file_date_updated: 2020-07-14T12:47:52Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
issue: '11'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: Frontiers in Plant Science
publication_identifier:
eissn:
- 1664462X
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Systematic Y2H screening reveals extensive effector-complex formation
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10
year: '2019'
...
---
_id: '7180'
abstract:
- lang: eng
text: Arabidopsis PIN2 protein directs transport of the phytohormone auxin from
the root tip into the root elongation zone. Variation in hormone transport, which
depends on a delicate interplay between PIN2 sorting to and from polar plasma
membrane domains, determines root growth. By employing a constitutively degraded
version of PIN2, we identify brassinolides as antagonists of PIN2 endocytosis.
This response does not require de novo protein synthesis, but involves early events
in canonical brassinolide signaling. Brassinolide-controlled adjustments in PIN2
sorting and intracellular distribution governs formation of a lateral PIN2 gradient
in gravistimulated roots, coinciding with adjustments in auxin signaling and directional
root growth. Strikingly, simulations indicate that PIN2 gradient formation is
no prerequisite for root bending but rather dampens asymmetric auxin flow and
signaling. Crosstalk between brassinolide signaling and endocytic PIN2 sorting,
thus, appears essential for determining the rate of gravity-induced root curvature
via attenuation of differential cell elongation.
article_number: '5516'
article_processing_charge: No
article_type: original
author:
- first_name: Katarzyna
full_name: Retzer, Katarzyna
last_name: Retzer
- first_name: Maria
full_name: Akhmanova, Maria
id: 3425EC26-F248-11E8-B48F-1D18A9856A87
last_name: Akhmanova
orcid: 0000-0003-1522-3162
- first_name: Nataliia
full_name: Konstantinova, Nataliia
last_name: Konstantinova
- first_name: Kateřina
full_name: Malínská, Kateřina
last_name: Malínská
- first_name: Johannes
full_name: Leitner, Johannes
last_name: Leitner
- first_name: Jan
full_name: Petrášek, Jan
last_name: Petrášek
- first_name: Christian
full_name: Luschnig, Christian
last_name: Luschnig
citation:
ama: Retzer K, Akhmanova M, Konstantinova N, et al. Brassinosteroid signaling delimits
root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature
Communications. 2019;10. doi:10.1038/s41467-019-13543-1
apa: Retzer, K., Akhmanova, M., Konstantinova, N., Malínská, K., Leitner, J., Petrášek,
J., & Luschnig, C. (2019). Brassinosteroid signaling delimits root gravitropism
via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-019-13543-1
chicago: Retzer, Katarzyna, Maria Akhmanova, Nataliia Konstantinova, Kateřina Malínská,
Johannes Leitner, Jan Petrášek, and Christian Luschnig. “Brassinosteroid Signaling
Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.”
Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-13543-1.
ieee: K. Retzer et al., “Brassinosteroid signaling delimits root gravitropism
via sorting of the Arabidopsis PIN2 auxin transporter,” Nature Communications,
vol. 10. Springer Nature, 2019.
ista: Retzer K, Akhmanova M, Konstantinova N, Malínská K, Leitner J, Petrášek J,
Luschnig C. 2019. Brassinosteroid signaling delimits root gravitropism via sorting
of the Arabidopsis PIN2 auxin transporter. Nature Communications. 10, 5516.
mla: Retzer, Katarzyna, et al. “Brassinosteroid Signaling Delimits Root Gravitropism
via Sorting of the Arabidopsis PIN2 Auxin Transporter.” Nature Communications,
vol. 10, 5516, Springer Nature, 2019, doi:10.1038/s41467-019-13543-1.
short: K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek,
C. Luschnig, Nature Communications 10 (2019).
date_created: 2019-12-15T23:00:43Z
date_published: 2019-12-01T00:00:00Z
date_updated: 2023-09-06T14:08:21Z
day: '01'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.1038/s41467-019-13543-1
external_id:
isi:
- '000500508100001'
pmid:
- '31797871'
file:
- access_level: open_access
checksum: 77e8720a8e0f3091b98159f85be40893
content_type: application/pdf
creator: dernst
date_created: 2019-12-16T07:37:50Z
date_updated: 2020-07-14T12:47:52Z
file_id: '7184'
file_name: 2019_NatureComm_Retzer.pdf
file_size: 5156533
relation: main_file
file_date_updated: 2020-07-14T12:47:52Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 264CBBAC-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02379
name: Modeling epithelial tissue mechanics during cell invasion
publication: Nature Communications
publication_identifier:
eissn:
- '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis
PIN2 auxin transporter
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10
year: '2019'
...