---
_id: '1011'
abstract:
- lang: eng
text: Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly
equivalent, are standard models for interprocedural analysis. Yet RSMs are more
convenient as they (a) explicitly model function calls and returns, and (b) specify
many natural parameters for algorithmic analysis, e.g., the number of entries
and exits. We consider a general framework where RSM transitions are labeled from
a semiring and path properties are algebraic with semiring operations, which can
model, e.g., interprocedural reachability and dataflow analysis problems. Our
main contributions are new algorithms for several fundamental problems. As compared
to a direct translation of RSMs to PDSs and the best-known existing bounds of
PDSs, our analysis algorithm improves the complexity for finite-height semirings
(that subsumes reachability and standard dataflow properties). We further consider
the problem of extracting distance values from the representation structures computed
by our algorithm, and give efficient algorithms that distinguish the complexity
of a one-time preprocessing from the complexity of each individual query. Another
advantage of our algorithm is that our improvements carry over to the concurrent
setting, where we improve the bestknown complexity for the context-bounded analysis
of concurrent RSMs. Finally, we provide a prototype implementation that gives
a significant speed-up on several benchmarks from the SLAM/SDV project.
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: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Samarth
full_name: Mishra, Samarth
last_name: Mishra
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted
recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11'
apa: 'Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster
algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201,
pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala,
Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11'
chicago: Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis.
“Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok
Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
ieee: 'K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms
for weighted recursive state machines,” presented at the ESOP: European Symposium
on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.'
ista: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms
for weighted recursive state machines. ESOP: European Symposium on Programming,
LNCS, vol. 10201, 287–313.'
mla: Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive
State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313,
doi:10.1007/978-3-662-54434-1_11.
short: K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.),
Springer, 2017, pp. 287–313.
conference:
end_date: 2017-04-29
location: Uppsala, Sweden
name: 'ESOP: European Symposium on Programming'
start_date: 2017-04-22
date_created: 2018-12-11T11:49:41Z
date_published: 2017-03-19T00:00:00Z
date_updated: 2025-06-04T08:09:18Z
day: '19'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-662-54434-1_11
ec_funded: 1
editor:
- first_name: Hongseok
full_name: Yang, Hongseok
last_name: Yang
external_id:
arxiv:
- '1701.04914'
isi:
- '000681702400011'
intvolume: ' 10201'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1701.04914
month: '03'
oa: 1
oa_version: Submitted Version
page: 287 - 313
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_identifier:
issn:
- 0302-9743
publication_status: published
publisher: Springer
publist_id: '6384'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Faster algorithms for weighted recursive state machines
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10201
year: '2017'
...
---
_id: '1013'
abstract:
- lang: eng
text: From microwave ovens to satellite television to the GPS and data services
on our mobile phones, microwave technology is everywhere today. But one technology
that has so far failed to prove its worth in this wavelength regime is quantum
communication that uses the states of single photons as information carriers.
This is because single microwave photons, as opposed to classical microwave signals,
are extremely vulnerable to noise from thermal excitations in the channels through
which they travel. Two new independent studies, one by Ze-Liang Xiang at Technische
Universität Wien (Vienna), Austria, and colleagues [1] and another by Benoît Vermersch
at the University of Innsbruck, also in Austria, and colleagues [2] now describe
a theoretical protocol for microwave quantum communication that is resilient to
thermal and other types of noise. Their approach could become a powerful technique
to establish fast links between superconducting data processors in a future all-microwave
quantum network.
article_processing_charge: No
article_type: review
author:
- 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: 'Fink JM. Viewpoint: Microwave quantum states beat the heat. Physics.
2017;10(32). doi:10.1103/Physics.10.32'
apa: 'Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics.
American Physical Society. https://doi.org/10.1103/Physics.10.32'
chicago: 'Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.”
Physics. American Physical Society, 2017. https://doi.org/10.1103/Physics.10.32.'
ieee: 'J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics,
vol. 10, no. 32. American Physical Society, 2017.'
ista: 'Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics.
10(32).'
mla: 'Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics,
vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.'
short: J.M. Fink, Physics 10 (2017).
corr_author: '1'
date_created: 2018-12-11T11:49:41Z
date_published: 2017-03-27T00:00:00Z
date_updated: 2024-10-09T20:57:21Z
day: '27'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1103/Physics.10.32
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2019-10-24T11:38:14Z
date_updated: 2019-10-24T11:38:14Z
file_id: '6968'
file_name: 2017_Physics_Fink.pdf
file_size: 193622
relation: main_file
success: 1
file_date_updated: 2019-10-24T11:38:14Z
has_accepted_license: '1'
intvolume: ' 10'
issue: '32'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Physics
publication_status: published
publisher: American Physical Society
publist_id: '6382'
quality_controlled: '1'
status: public
title: 'Viewpoint: Microwave quantum states beat the heat'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2017'
...
---
_id: '1015'
abstract:
- lang: eng
text: 'Vortices are commonly observed in the context of classical hydrodynamics:
from whirlpools after stirring the coffee in a cup to a violent atmospheric phenomenon
such as a tornado, all classical vortices are characterized by an arbitrary circulation
value of the local velocity field. On the other hand the appearance of vortices
with quantized circulation represents one of the fundamental signatures of macroscopic
quantum phenomena. In two-dimensional superfluids quantized vortices play a key
role in determining finite-temperature properties, as the superfluid phase and
the normal state are separated by a vortex unbinding transition, the Berezinskii-Kosterlitz-Thouless
transition. Very recent experiments with two-dimensional superfluid fermions motivate
the present work: we present theoretical results based on the renormalization
group showing that the universal jump of the superfluid density and the critical
temperature crucially depend on the interaction strength, providing a strong benchmark
for forthcoming investigations.'
article_number: '45702'
article_processing_charge: No
author:
- first_name: Giacomo
full_name: Bighin, Giacomo
id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
last_name: Bighin
orcid: 0000-0001-8823-9777
- first_name: Luca
full_name: Salasnich, Luca
last_name: Salasnich
citation:
ama: Bighin G, Salasnich L. Vortices and antivortices in two-dimensional ultracold
Fermi gases. Scientific Reports. 2017;7. doi:10.1038/srep45702
apa: Bighin, G., & Salasnich, L. (2017). Vortices and antivortices in two-dimensional
ultracold Fermi gases. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep45702
chicago: Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional
Ultracold Fermi Gases.” Scientific Reports. Nature Publishing Group, 2017.
https://doi.org/10.1038/srep45702.
ieee: G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional
ultracold Fermi gases,” Scientific Reports, vol. 7. Nature Publishing Group,
2017.
ista: Bighin G, Salasnich L. 2017. Vortices and antivortices in two-dimensional
ultracold Fermi gases. Scientific Reports. 7, 45702.
mla: Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional
Ultracold Fermi Gases.” Scientific Reports, vol. 7, 45702, Nature Publishing
Group, 2017, doi:10.1038/srep45702.
short: G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
date_created: 2018-12-11T11:49:42Z
date_published: 2017-04-04T00:00:00Z
date_updated: 2025-07-10T11:49:43Z
day: '04'
ddc:
- '539'
department:
- _id: MiLe
doi: 10.1038/srep45702
external_id:
isi:
- '000398148100001'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:32Z
date_updated: 2018-12-12T10:12:32Z
file_id: '4950'
file_name: IST-2017-809-v1+1_srep45702.pdf
file_size: 478289
relation: main_file
file_date_updated: 2018-12-12T10:12:32Z
has_accepted_license: '1'
intvolume: ' 7'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '04'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_identifier:
issn:
- 2045-2322
publication_status: published
publisher: Nature Publishing Group
publist_id: '6380'
pubrep_id: '809'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Vortices and antivortices in two-dimensional ultracold Fermi gases
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2017'
...
---
_id: '1017'
abstract:
- lang: eng
text: The development of the vertebrate central nervous system is reliant on a complex
cascade of biological processes that include mitotic division, relocation of migrating
neurons, and the extension of dendritic and axonal processes. Each of these cellular
events requires the diverse functional repertoire of the microtubule cytoskeleton
for the generation of forces, assembly of macromolecular complexes and transport
of molecules and organelles. The tubulins are a multi-gene family that encode
for the constituents of microtubules, and have been implicated in a spectrum of
neurological disorders. Evidence is building that different tubulins tune the
functional properties of the microtubule cytoskeleton dependent on the cell type,
developmental profile and subcellular localisation. Here we review of the origins
of the functional specification of the tubulin gene family in the developing brain
at a transcriptional, translational, and post-transcriptional level. We remind
the reader that tubulins are not just loading controls for your average Western
blot.
article_processing_charge: No
author:
- first_name: Martin
full_name: Breuss, Martin
last_name: Breuss
- first_name: Ines
full_name: Leca, Ines
last_name: Leca
- first_name: Thomas
full_name: Gstrein, Thomas
last_name: Gstrein
- first_name: Andi H
full_name: Hansen, Andi H
id: 38853E16-F248-11E8-B48F-1D18A9856A87
last_name: Hansen
- first_name: David
full_name: Keays, David
last_name: Keays
citation:
ama: 'Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. Tubulins and brain development:
The origins of functional specification. Molecular and Cellular Neuroscience.
2017;84:58-67. doi:10.1016/j.mcn.2017.03.002'
apa: 'Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., & Keays, D. (2017).
Tubulins and brain development: The origins of functional specification. Molecular
and Cellular Neuroscience. Academic Press. https://doi.org/10.1016/j.mcn.2017.03.002'
chicago: 'Breuss, Martin, Ines Leca, Thomas Gstrein, Andi H Hansen, and David Keays.
“Tubulins and Brain Development: The Origins of Functional Specification.” Molecular
and Cellular Neuroscience. Academic Press, 2017. https://doi.org/10.1016/j.mcn.2017.03.002.'
ieee: 'M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and
brain development: The origins of functional specification,” Molecular and
Cellular Neuroscience, vol. 84. Academic Press, pp. 58–67, 2017.'
ista: 'Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. 2017. Tubulins and brain
development: The origins of functional specification. Molecular and Cellular Neuroscience.
84, 58–67.'
mla: 'Breuss, Martin, et al. “Tubulins and Brain Development: The Origins of Functional
Specification.” Molecular and Cellular Neuroscience, vol. 84, Academic
Press, 2017, pp. 58–67, doi:10.1016/j.mcn.2017.03.002.'
short: M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular
Neuroscience 84 (2017) 58–67.
date_created: 2018-12-11T11:49:42Z
date_published: 2017-10-01T00:00:00Z
date_updated: 2025-07-10T11:49:44Z
day: '01'
ddc:
- '571'
department:
- _id: SiHi
doi: 10.1016/j.mcn.2017.03.002
external_id:
isi:
- '000415140700007'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:19Z
date_updated: 2018-12-12T10:09:19Z
file_id: '4742'
file_name: IST-2017-806-v1+2_1-s2.0-S1044743116302500-main_1_.pdf
file_size: 1436377
relation: main_file
file_date_updated: 2018-12-12T10:09:19Z
has_accepted_license: '1'
intvolume: ' 84'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '10'
oa: 1
oa_version: Published Version
page: 58 - 67
publication: Molecular and Cellular Neuroscience
publication_identifier:
issn:
- 1044-7431
publication_status: published
publisher: Academic Press
publist_id: '6377'
pubrep_id: '806'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Tubulins and brain development: The origins of functional specification'
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 84
year: '2017'
...
---
_id: '1018'
abstract:
- lang: eng
text: In plants, the multistep phosphorelay (MSP) pathway mediates a range of regulatory
processes, including those activated by cytokinins. The crosstalk between cytokinin
response and light is known for a long time. However, the molecular mechanism
underlying the interactionbetween light and cytokinin signaling remains elusive.
In the screen for upstream regulators we identified a LONG PALE HYPOCOTYL (LPH)
gene whose activity is indispensable for spatiotemporally correct expression of
CYTOKININ INDEPENDENT-1 (CKI1), encoding the constitutively active sensor histidine
kinase that activates MSP signaling. lph is a new allele of HEME OXYGENASE 1 (HY1)
which encodes the key protein in the biosynthesis of phytochromobilin, a cofactor
of photoconvertiblephytochromes. Our analysis confirmed the light-dependent regulation
oftheCKI1 expression pattern. We show that CKI1 expression is under the control
of phytochrome A (phyA), functioning as a dual (both positive and negative) regulator
of CKI1 expression, presumably via the phyA-regulated transcription factors PHYTOCHROME
INTERACTING FACTOR 3 (PIF3) and CIRCADIAN CLOCK ASSOCIATED 1 (CCA1). Changes in
CKI1 expression observed in lph/hy1-7 and phy mutants correlatewithmisregulation
of MSP signaling, changedcytokinin sensitivity and developmental aberrations,previously
shown to be associated with cytokinin and/or CKI1 action. Besides that, we demonstrate
novel role of phyA-dependent CKI1 expression in the hypocotyl elongation and hook
development during skotomorphogenesis. Based on these results, we propose that
the light-dependent regulation of CKI1 provides a plausible mechanistic link underlying
the well-known interaction between light- and cytokinin-controlled plant development.
article_processing_charge: No
author:
- first_name: Tereza
full_name: Dobisova, Tereza
last_name: Dobisova
- first_name: Vendula
full_name: Hrdinova, Vendula
last_name: Hrdinova
- first_name: Candela
full_name: Cuesta, Candela
id: 33A3C818-F248-11E8-B48F-1D18A9856A87
last_name: Cuesta
orcid: 0000-0003-1923-2410
- first_name: Sarka
full_name: Michlickova, Sarka
last_name: Michlickova
- first_name: Ivana
full_name: Urbankova, Ivana
last_name: Urbankova
- first_name: Romana
full_name: Hejatkova, Romana
last_name: Hejatkova
- first_name: Petra
full_name: Zadnikova, Petra
last_name: Zadnikova
- first_name: Markéta
full_name: Pernisová, Markéta
last_name: Pernisová
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Jan
full_name: Hejátko, Jan
last_name: Hejátko
citation:
ama: Dobisova T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor
histidine kinase CKI1 controls cytokinin related development. Plant Physiology.
2017;174(1):387-404. doi:10.1104/pp.16.01964
apa: Dobisova, T., Hrdinova, V., Cuesta, C., Michlickova, S., Urbankova, I., Hejatkova,
R., … Hejátko, J. (2017). Light regulated expression of sensor histidine kinase
CKI1 controls cytokinin related development. Plant Physiology. American
Society of Plant Biologists. https://doi.org/10.1104/pp.16.01964
chicago: Dobisova, Tereza, Vendula Hrdinova, Candela Cuesta, Sarka Michlickova,
Ivana Urbankova, Romana Hejatkova, Petra Zadnikova, Markéta Pernisová, Eva Benková,
and Jan Hejátko. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls
Cytokinin Related Development.” Plant Physiology. American Society of Plant
Biologists, 2017. https://doi.org/10.1104/pp.16.01964.
ieee: T. Dobisova et al., “Light regulated expression of sensor histidine
kinase CKI1 controls cytokinin related development,” Plant Physiology,
vol. 174, no. 1. American Society of Plant Biologists, pp. 387–404, 2017.
ista: Dobisova T, Hrdinova V, Cuesta C, Michlickova S, Urbankova I, Hejatkova R,
Zadnikova P, Pernisová M, Benková E, Hejátko J. 2017. Light regulated expression
of sensor histidine kinase CKI1 controls cytokinin related development. Plant
Physiology. 174(1), 387–404.
mla: Dobisova, Tereza, et al. “Light Regulated Expression of Sensor Histidine Kinase
CKI1 Controls Cytokinin Related Development.” Plant Physiology, vol. 174,
no. 1, American Society of Plant Biologists, 2017, pp. 387–404, doi:10.1104/pp.16.01964.
short: T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova,
P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017)
387–404.
date_created: 2018-12-11T11:49:43Z
date_published: 2017-05-17T00:00:00Z
date_updated: 2023-09-22T09:41:48Z
day: '17'
department:
- _id: EvBe
doi: 10.1104/pp.16.01964
external_id:
isi:
- '000402057200028'
intvolume: ' 174'
isi: 1
issue: '1'
language:
- iso: eng
month: '05'
oa_version: None
page: 387 - 404
publication: Plant Physiology
publication_status: published
publisher: American Society of Plant Biologists
publist_id: '6375'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Light regulated expression of sensor histidine kinase CKI1 controls cytokinin
related development
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 174
year: '2017'
...
---
_id: '1019'
abstract:
- lang: eng
text: As a consequence of its difference in copy number between males and females,
the X chromosome is subject to unique evolutionary forces and gene regulatory
mechanisms. Previous studies of Drosophila melanogaster have shown that the expression
of X-linked, testis-specific reporter genes is suppressed in the male germline.
However, it is not known whether this phenomenon is restricted to testis-expressed
genes or if it is a more general property of genes with tissue-specific expression,
which are also underrepresented on the X chromosome. To test this, we compared
the expression of three tissue-specific reporter genes (ovary, accessory gland
and Malpighian tubule) inserted at various autosomal and X-chromosomal locations.
In contrast to testis-specific reporter genes, we found no reduction of X-linked
expression in any of the other tissues. In accessory gland and Malpighian tubule,
we detected higher expression of the X-linked reporter genes, which suggests that
they are at least partially dosage compensated. We found no difference in the
tissue-specificity of X-linked and autosomal reporter genes. These findings indicate
that, in general, the X chromosome is not a detrimental environment for tissue-specific
gene expression and that the suppression of X-linked expression is limited to
the male germline.
article_processing_charge: No
author:
- first_name: Eliza
full_name: Argyridou, Eliza
last_name: Argyridou
- first_name: Ann K
full_name: Huylmans, Ann K
id: 4C0A3874-F248-11E8-B48F-1D18A9856A87
last_name: Huylmans
orcid: 0000-0001-8871-4961
- first_name: Annabella
full_name: Königer, Annabella
last_name: Königer
- first_name: John
full_name: Parsch, John
last_name: Parsch
citation:
ama: Argyridou E, Huylmans AK, Königer A, Parsch J. X-linkage is not a general inhibitor
of tissue-specific gene expression in Drosophila melanogaster. Heredity.
2017;119(1):27-34. doi:10.1038/hdy.2017.12
apa: Argyridou, E., Huylmans, A. K., Königer, A., & Parsch, J. (2017). X-linkage
is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster.
Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2017.12
chicago: Argyridou, Eliza, Ann K Huylmans, Annabella Königer, and John Parsch. “X-Linkage
Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.”
Heredity. Nature Publishing Group, 2017. https://doi.org/10.1038/hdy.2017.12.
ieee: E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not
a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,”
Heredity, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017.
ista: Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. X-linkage is not a general
inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity.
119(1), 27–34.
mla: Argyridou, Eliza, et al. “X-Linkage Is Not a General Inhibitor of Tissue-Specific
Gene Expression in Drosophila Melanogaster.” Heredity, vol. 119, no. 1,
Nature Publishing Group, 2017, pp. 27–34, doi:10.1038/hdy.2017.12.
short: E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
date_created: 2018-12-11T11:49:43Z
date_published: 2017-07-01T00:00:00Z
date_updated: 2025-07-10T11:49:45Z
day: '01'
department:
- _id: BeVi
doi: 10.1038/hdy.2017.12
external_id:
isi:
- '000405397800004'
intvolume: ' 119'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa_version: None
page: 27 - 34
publication: Heredity
publication_identifier:
issn:
- 0018-067X
publication_status: published
publisher: Nature Publishing Group
publist_id: '6374'
quality_controlled: '1'
related_material:
record:
- id: '9861'
relation: research_data
status: public
scopus_import: '1'
status: public
title: X-linkage is not a general inhibitor of tissue-specific gene expression in
Drosophila melanogaster
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 119
year: '2017'
...
---
_id: '1020'
abstract:
- lang: eng
text: Cellulose is the most abundant biopolymer on Earth. Cellulose fibers, such
as the one extracted form cotton or woodpulp, have been used by humankind for
hundreds of years to make textiles and paper. Here we show how, by engineering
light-matter interaction, we can optimize light scattering using exclusively cellulose
nanocrystals. The produced material is sustainable, biocompatible, and when compared
to ordinary microfiber-based paper, it shows enhanced scattering strength (×4),
yielding a transport mean free path as low as 3.5 μm in the visible light range.
The experimental results are in a good agreement with the theoretical predictions
obtained with a diffusive model for light propagation.
acknowledgement: This research was funded by the EPSRC (EP/M027961/1), the Leverhulme
Trust (RPG-2014-238), Royal Society (RG140457), the BBSRC David Phillips fellowship
(BB/K014617/1), and the European Research Council (ERC-2014-STG H2020 639088). All
data created during this research are provided in full in the results section and
Supporting Information. They are openly available from figshare and can be accessed
at ref 30.
article_processing_charge: No
arxiv: 1
author:
- first_name: Soraya
full_name: Caixeiro, Soraya
last_name: Caixeiro
- first_name: Matilda
full_name: Peruzzo, Matilda
id: 3F920B30-F248-11E8-B48F-1D18A9856A87
last_name: Peruzzo
orcid: 0000-0002-3415-4628
- first_name: Olimpia
full_name: Onelli, Olimpia
last_name: Onelli
- first_name: Silvia
full_name: Vignolini, Silvia
last_name: Vignolini
- first_name: Riccardo
full_name: Sapienza, Riccardo
last_name: Sapienza
citation:
ama: Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. Disordered cellulose
based nanostructures for enhanced light scattering. ACS Applied Materials and
Interfaces. 2017;9(9):7885-7890. doi:10.1021/acsami.6b15986
apa: Caixeiro, S., Peruzzo, M., Onelli, O., Vignolini, S., & Sapienza, R. (2017).
Disordered cellulose based nanostructures for enhanced light scattering. ACS
Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b15986
chicago: Caixeiro, Soraya, Matilda Peruzzo, Olimpia Onelli, Silvia Vignolini, and
Riccardo Sapienza. “Disordered Cellulose Based Nanostructures for Enhanced Light
Scattering.” ACS Applied Materials and Interfaces. American Chemical Society,
2017. https://doi.org/10.1021/acsami.6b15986.
ieee: S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered
cellulose based nanostructures for enhanced light scattering,” ACS Applied
Materials and Interfaces, vol. 9, no. 9. American Chemical Society, pp. 7885–7890,
2017.
ista: Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. 2017. Disordered
cellulose based nanostructures for enhanced light scattering. ACS Applied Materials
and Interfaces. 9(9), 7885–7890.
mla: Caixeiro, Soraya, et al. “Disordered Cellulose Based Nanostructures for Enhanced
Light Scattering.” ACS Applied Materials and Interfaces, vol. 9, no. 9,
American Chemical Society, 2017, pp. 7885–90, doi:10.1021/acsami.6b15986.
short: S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied
Materials and Interfaces 9 (2017) 7885–7890.
date_created: 2018-12-11T11:49:44Z
date_published: 2017-03-08T00:00:00Z
date_updated: 2025-06-04T08:09:49Z
day: '08'
department:
- _id: JoFi
doi: 10.1021/acsami.6b15986
external_id:
arxiv:
- '1702.01415'
isi:
- '000396186000002'
intvolume: ' 9'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1702.01415
month: '03'
oa: 1
oa_version: Submitted Version
page: 7885 - 7890
publication: ACS Applied Materials and Interfaces
publication_identifier:
issn:
- 1944-8244
publication_status: published
publisher: American Chemical Society
publist_id: '6372'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Disordered cellulose based nanostructures for enhanced light scattering
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2017'
...
---
_id: '1021'
abstract:
- lang: eng
text: Most flows in nature and engineering are turbulent because of their large
velocities and spatial scales. Laboratory experiments on rotating quasi-Keplerian
flows, for which the angular velocity decreases radially but the angular momentum
increases, are however laminar at Reynolds numbers exceeding one million. This
is in apparent contradiction to direct numerical simulations showing that in these
experiments turbulence transition is triggered by the axial boundaries. We here
show numerically that as the Reynolds number increases, turbulence becomes progressively
confined to the boundary layers and the flow in the bulk fully relaminarizes.
Our findings support that turbulence is unlikely to occur in isothermal constant-density
quasi-Keplerian flows.
article_processing_charge: No
arxiv: 1
author:
- first_name: Jose M
full_name: Lopez Alonso, Jose M
id: 40770848-F248-11E8-B48F-1D18A9856A87
last_name: Lopez Alonso
orcid: 0000-0002-0384-2022
- first_name: Marc
full_name: Avila, Marc
last_name: Avila
citation:
ama: Lopez Alonso JM, Avila M. Boundary layer turbulence in experiments on quasi
Keplerian flows. Journal of Fluid Mechanics. 2017;817:21-34. doi:10.1017/jfm.2017.109
apa: Lopez Alonso, J. M., & Avila, M. (2017). Boundary layer turbulence in experiments
on quasi Keplerian flows. Journal of Fluid Mechanics. Cambridge University
Press. https://doi.org/10.1017/jfm.2017.109
chicago: Lopez Alonso, Jose M, and Marc Avila. “Boundary Layer Turbulence in Experiments
on Quasi Keplerian Flows.” Journal of Fluid Mechanics. Cambridge University
Press, 2017. https://doi.org/10.1017/jfm.2017.109.
ieee: J. M. Lopez Alonso and M. Avila, “Boundary layer turbulence in experiments
on quasi Keplerian flows,” Journal of Fluid Mechanics, vol. 817. Cambridge
University Press, pp. 21–34, 2017.
ista: Lopez Alonso JM, Avila M. 2017. Boundary layer turbulence in experiments on
quasi Keplerian flows. Journal of Fluid Mechanics. 817, 21–34.
mla: Lopez Alonso, Jose M., and Marc Avila. “Boundary Layer Turbulence in Experiments
on Quasi Keplerian Flows.” Journal of Fluid Mechanics, vol. 817, Cambridge
University Press, 2017, pp. 21–34, doi:10.1017/jfm.2017.109.
short: J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
date_created: 2018-12-11T11:49:44Z
date_published: 2017-04-25T00:00:00Z
date_updated: 2025-06-04T08:10:13Z
day: '25'
department:
- _id: BjHo
doi: 10.1017/jfm.2017.109
external_id:
arxiv:
- '1608.05527'
isi:
- '000398179100006'
intvolume: ' 817'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1608.05527
month: '04'
oa: 1
oa_version: Submitted Version
page: 21 - 34
project:
- _id: 255008E4-B435-11E9-9278-68D0E5697425
grant_number: RGP0065/2012
name: Information processing and computation in fish groups
publication: Journal of Fluid Mechanics
publication_identifier:
issn:
- 0022-1120
publication_status: published
publisher: Cambridge University Press
publist_id: '6371'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Boundary layer turbulence in experiments on quasi Keplerian flows
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 817
year: '2017'
...
---
_id: '1022'
abstract:
- lang: eng
text: We introduce a multiscale topological description of the Megaparsec web-like
cosmic matter distribution. Betti numbers and topological persistence offer a
powerful means of describing the rich connectivity structure of the cosmic web
and of its multiscale arrangement of matter and galaxies. Emanating from algebraic
topology and Morse theory, Betti numbers and persistence diagrams represent an
extension and deepening of the cosmologically familiar topological genus measure
and the related geometric Minkowski functionals. In addition to a description
of the mathematical background, this study presents the computational procedure
for computing Betti numbers and persistence diagrams for density field filtrations.
The field may be computed starting from a discrete spatial distribution of galaxies
or simulation particles. The main emphasis of this study concerns an extensive
and systematic exploration of the imprint of different web-like morphologies and
different levels of multiscale clustering in the corresponding computed Betti
numbers and persistence diagrams. To this end, we use Voronoi clustering models
as templates for a rich variety of web-like configurations and the fractal-like
Soneira-Peebles models exemplify a range of multiscale configurations. We have
identified the clear imprint of cluster nodes, filaments, walls, and voids in
persistence diagrams, along with that of the nested hierarchy of structures in
multiscale point distributions. We conclude by outlining the potential of persistent
topology for understanding the connectivity structure of the cosmic web, in large
simulations of cosmic structure formation and in the challenging context of the
observed galaxy distribution in large galaxy surveys.
acknowledgement: Part of this work has been supported by the 7th Framework Programme
for Research of the European Commission, under FETOpen grant number 255827 (CGL
Computational Geometry Learning) and ERC advanced grant, URSAT (Understanding Random
Systems via Algebraic Topology) number 320422.
article_processing_charge: No
arxiv: 1
author:
- first_name: Pratyush
full_name: Pranav, Pratyush
last_name: Pranav
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Rien
full_name: Van De Weygaert, Rien
last_name: Van De Weygaert
- first_name: Gert
full_name: Vegter, Gert
last_name: Vegter
- first_name: Michael
full_name: Kerber, Michael
last_name: Kerber
- first_name: Bernard
full_name: Jones, Bernard
last_name: Jones
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: Pranav P, Edelsbrunner H, Van De Weygaert R, et al. The topology of the cosmic
web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical
Society. 2017;465(4):4281-4310. doi:10.1093/mnras/stw2862
apa: Pranav, P., Edelsbrunner, H., Van De Weygaert, R., Vegter, G., Kerber, M.,
Jones, B., & Wintraecken, M. (2017). The topology of the cosmic web in terms
of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society.
Oxford University Press. https://doi.org/10.1093/mnras/stw2862
chicago: Pranav, Pratyush, Herbert Edelsbrunner, Rien Van De Weygaert, Gert Vegter,
Michael Kerber, Bernard Jones, and Mathijs Wintraecken. “The Topology of the Cosmic
Web in Terms of Persistent Betti Numbers.” Monthly Notices of the Royal Astronomical
Society. Oxford University Press, 2017. https://doi.org/10.1093/mnras/stw2862.
ieee: P. Pranav et al., “The topology of the cosmic web in terms of persistent
Betti numbers,” Monthly Notices of the Royal Astronomical Society, vol.
465, no. 4. Oxford University Press, pp. 4281–4310, 2017.
ista: Pranav P, Edelsbrunner H, Van De Weygaert R, Vegter G, Kerber M, Jones B,
Wintraecken M. 2017. The topology of the cosmic web in terms of persistent Betti
numbers. Monthly Notices of the Royal Astronomical Society. 465(4), 4281–4310.
mla: Pranav, Pratyush, et al. “The Topology of the Cosmic Web in Terms of Persistent
Betti Numbers.” Monthly Notices of the Royal Astronomical Society, vol.
465, no. 4, Oxford University Press, 2017, pp. 4281–310, doi:10.1093/mnras/stw2862.
short: P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B.
Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017)
4281–4310.
date_created: 2018-12-11T11:49:44Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2025-06-04T08:10:31Z
day: '01'
department:
- _id: HeEd
doi: 10.1093/mnras/stw2862
external_id:
arxiv:
- '1608.04519'
isi:
- '000395170200039'
intvolume: ' 465'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1608.04519
month: '01'
oa: 1
oa_version: Submitted Version
page: 4281 - 4310
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
publication_status: published
publisher: Oxford University Press
publist_id: '6373'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The topology of the cosmic web in terms of persistent Betti numbers
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 465
year: '2017'
...
---
_id: '1023'
abstract:
- lang: eng
text: We consider products of independent square non-Hermitian random matrices.
More precisely, let X1,…, Xn be independent N × N random matrices with independent
entries (real or complex with independent real and imaginary parts) with zero
mean and variance 1/N. Soshnikov-O’Rourke [19] and Götze-Tikhomirov [15] showed
that the empirical spectral distribution of the product of n random matrices with
iid entries converges to (equation found). We prove that if the entries of the
matrices X1,…, Xn are independent (but not necessarily identically distributed)
and satisfy uniform subexponential decay condition, then in the bulk the convergence
of the ESD of X1,…, Xn to (0.1) holds up to the scale N–1/2+ε.
article_number: '22'
article_processing_charge: No
author:
- first_name: Yuriy
full_name: Nemish, Yuriy
id: 4D902E6A-F248-11E8-B48F-1D18A9856A87
last_name: Nemish
orcid: 0000-0002-7327-856X
citation:
ama: Nemish Y. Local law for the product of independent non-Hermitian random matrices
with independent entries. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP38
apa: Nemish, Y. (2017). Local law for the product of independent non-Hermitian random
matrices with independent entries. Electronic Journal of Probability. Institute
of Mathematical Statistics. https://doi.org/10.1214/17-EJP38
chicago: Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian
Random Matrices with Independent Entries.” Electronic Journal of Probability.
Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP38.
ieee: Y. Nemish, “Local law for the product of independent non-Hermitian random
matrices with independent entries,” Electronic Journal of Probability,
vol. 22. Institute of Mathematical Statistics, 2017.
ista: Nemish Y. 2017. Local law for the product of independent non-Hermitian random
matrices with independent entries. Electronic Journal of Probability. 22, 22.
mla: Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian Random
Matrices with Independent Entries.” Electronic Journal of Probability,
vol. 22, 22, Institute of Mathematical Statistics, 2017, doi:10.1214/17-EJP38.
short: Y. Nemish, Electronic Journal of Probability 22 (2017).
date_created: 2018-12-11T11:49:44Z
date_published: 2017-02-06T00:00:00Z
date_updated: 2025-07-10T11:49:47Z
day: '06'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1214/17-EJP38
external_id:
isi:
- '000396611900022'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:29Z
date_updated: 2018-12-12T10:15:29Z
file_id: '5149'
file_name: IST-2017-802-v1+1_euclid.ejp.1487991681.pdf
file_size: 742275
relation: main_file
file_date_updated: 2018-12-12T10:15:29Z
has_accepted_license: '1'
intvolume: ' 22'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
publication: Electronic Journal of Probability
publication_identifier:
issn:
- 1083-6489
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '6370'
pubrep_id: '802'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local law for the product of independent non-Hermitian random matrices with
independent entries
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 22
year: '2017'
...
---
_id: '1025'
abstract:
- lang: eng
text: Many organ surfaces are covered by a protective epithelial-cell layer. It
emerges that such layers are maintained by cell stretching that triggers cell
division mediated by the force-sensitive ion-channel protein Piezo1. See Letter
p.118
article_processing_charge: No
author:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: 'Heisenberg C-PJ. Cell biology: Stretched divisions. Nature. 2017;543(7643):43-44.
doi:10.1038/nature21502'
apa: 'Heisenberg, C.-P. J. (2017). Cell biology: Stretched divisions. Nature.
Nature Publishing Group. https://doi.org/10.1038/nature21502'
chicago: 'Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” Nature.
Nature Publishing Group, 2017. https://doi.org/10.1038/nature21502.'
ieee: 'C.-P. J. Heisenberg, “Cell biology: Stretched divisions,” Nature,
vol. 543, no. 7643. Nature Publishing Group, pp. 43–44, 2017.'
ista: 'Heisenberg C-PJ. 2017. Cell biology: Stretched divisions. Nature. 543(7643),
43–44.'
mla: 'Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” Nature,
vol. 543, no. 7643, Nature Publishing Group, 2017, pp. 43–44, doi:10.1038/nature21502.'
short: C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
corr_author: '1'
date_created: 2018-12-11T11:49:45Z
date_published: 2017-03-02T00:00:00Z
date_updated: 2025-07-10T11:49:49Z
day: '02'
department:
- _id: CaHe
doi: 10.1038/nature21502
external_id:
isi:
- '000395671500025'
intvolume: ' 543'
isi: 1
issue: '7643'
language:
- iso: eng
month: '03'
oa_version: None
page: 43 - 44
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '6367'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Cell biology: Stretched divisions'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 543
year: '2017'
...
---
_id: '10416'
abstract:
- lang: eng
text: 'A fundamental algorithmic problem at the heart of static analysis is Dyck
reachability. The input is a graph where the edges are labeled with different
types of opening and closing parentheses, and the reachability information is
computed via paths whose parentheses are properly matched. We present new results
for Dyck reachability problems with applications to alias analysis and data-dependence
analysis. Our main contributions, that include improved upper bounds as well as
lower bounds that establish optimality guarantees, are as follows: First, we consider
Dyck reachability on bidirected graphs, which is the standard way of performing
field-sensitive points-to analysis. Given a bidirected graph with n nodes and
m edges, we present: (i) an algorithm with worst-case running time O(m + n · α(n)),
where α(n) is the inverse Ackermann function, improving the previously known O(n2)
time bound; (ii) a matching lower bound that shows that our algorithm is optimal
wrt to worst-case complexity; and (iii) an optimal average-case upper bound of
O(m) time, improving the previously known O(m · logn) bound. Second, we consider
the problem of context-sensitive data-dependence analysis, where the task is to
obtain analysis summaries of library code in the presence of callbacks. Our algorithm
preprocesses libraries in almost linear time, after which the contribution of
the library in the complexity of the client analysis is only linear, and only
wrt the number of call sites. Third, we prove that combinatorial algorithms for
Dyck reachability on general graphs with truly sub-cubic bounds cannot be obtained
without obtaining sub-cubic combinatorial algorithms for Boolean Matrix Multiplication,
which is a long-standing open problem. Thus we establish that the existing combinatorial
algorithms for Dyck reachability are (conditionally) optimal for general graphs.
We also show that the same hardness holds for graphs of constant treewidth. Finally,
we provide a prototype implementation of our algorithms for both alias analysis
and data-dependence analysis. Our experimental evaluation demonstrates that the
new algorithms significantly outperform all existing methods on the two problems,
over real-world benchmarks.'
acknowledgement: "The research was partly supported by Austrian Science Fund (FWF)
Grant No P23499-N23, FWF NFN Grant No S11407-N23 (RiSE/SHiNE), and ERC Start grant
(279307: Graph Games).\r\n"
article_number: '30'
article_processing_charge: No
article_type: original
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: Bhavya
full_name: Choudhary, Bhavya
last_name: Choudhary
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck reachability for data-dependence
and Alias analysis. Proceedings of the ACM on Programming Languages. 2017;2(POPL).
doi:10.1145/3158118
apa: 'Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck
reachability for data-dependence and Alias analysis. Proceedings of the ACM
on Programming Languages. Los Angeles, CA, United States: Association for
Computing Machinery. https://doi.org/10.1145/3158118'
chicago: Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal
Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the
ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158118.
ieee: K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability
for data-dependence and Alias analysis,” Proceedings of the ACM on Programming
Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
ista: Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability
for data-dependence and Alias analysis. Proceedings of the ACM on Programming
Languages. 2(POPL), 30.
mla: Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence
and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol.
2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
short: K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming
Languages 2 (2017).
conference:
end_date: 2018-01-13
location: Los Angeles, CA, United States
name: 'POPL: Programming Languages'
start_date: 2018-01-07
corr_author: '1'
date_created: 2021-12-05T23:01:48Z
date_published: 2017-12-27T00:00:00Z
date_updated: 2025-04-15T07:26:20Z
day: '27'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3158118
ec_funded: 1
external_id:
arxiv:
- '1910.00241'
file:
- access_level: open_access
checksum: faa3f7b3fe8aab84b50ed805c26a0ee5
content_type: application/pdf
creator: cchlebak
date_created: 2021-12-07T08:06:28Z
date_updated: 2021-12-07T08:06:28Z
file_id: '10421'
file_name: 2017_ACMProgLang_Chatterjee.pdf
file_size: 460188
relation: main_file
success: 1
file_date_updated: 2021-12-07T08:06:28Z
has_accepted_license: '1'
intvolume: ' 2'
issue: POPL
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
eissn:
- 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '5455'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Optimal Dyck reachability for data-dependence and Alias analysis
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 2
year: '2017'
...
---
_id: '10418'
abstract:
- lang: eng
text: We present a new proof rule for proving almost-sure termination of probabilistic
programs, including those that contain demonic non-determinism. An important question
for a probabilistic program is whether the probability mass of all its diverging
runs is zero, that is that it terminates "almost surely". Proving that can be
hard, and this paper presents a new method for doing so. It applies directly to
the program's source code, even if the program contains demonic choice. Like others,
we use variant functions (a.k.a. "super-martingales") that are real-valued and
decrease randomly on each loop iteration; but our key innovation is that the amount
as well as the probability of the decrease are parametric. We prove the soundness
of the new rule, indicate where its applicability goes beyond existing rules,
and explain its connection to classical results on denumerable (non-demonic) Markov
chains.
acknowledgement: "McIver and Morgan are grateful to David Basin and the Information
Security Group at ETH Zürich for hosting a six-month stay in Switzerland, during
part of which this work began. And thanks particularly to Andreas Lochbihler, who
shared with us the probabilistic termination problem that led to it. They acknowledge
the support of ARC grant DP140101119. Part of this work was carried out during the
Workshop on Probabilistic Programming Semantics\r\nat McGill University’s Bellairs
Research Institute on Barbados organised by Alexandra Silva and\r\nPrakash Panangaden.
Kaminski and Katoen are grateful to Sebastian Junges for spotting a flaw in §5.4."
article_number: '33'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Annabelle
full_name: Mciver, Annabelle
last_name: Mciver
- first_name: Carroll
full_name: Morgan, Carroll
last_name: Morgan
- first_name: Benjamin Lucien
full_name: Kaminski, Benjamin Lucien
last_name: Kaminski
- first_name: Joost P
full_name: Katoen, Joost P
id: 4524F760-F248-11E8-B48F-1D18A9856A87
last_name: Katoen
citation:
ama: Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure
termination. Proceedings of the ACM on Programming Languages. 2017;2(POPL).
doi:10.1145/3158121
apa: 'Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new
proof rule for almost-sure termination. Proceedings of the ACM on Programming
Languages. Los Angeles, CA, United States: Association for Computing Machinery.
https://doi.org/10.1145/3158121'
chicago: Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost
P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the
ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.
ieee: A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule
for almost-sure termination,” Proceedings of the ACM on Programming Languages,
vol. 2, no. POPL. Association for Computing Machinery, 2017.
ista: Mciver A, Morgan C, Kaminski BL, Katoen JP. 2017. A new proof rule for almost-sure
termination. Proceedings of the ACM on Programming Languages. 2(POPL), 33.
mla: Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings
of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for
Computing Machinery, 2017, doi:10.1145/3158121.
short: A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM
on Programming Languages 2 (2017).
conference:
end_date: 2018-01-13
location: Los Angeles, CA, United States
name: 'POPL: Programming Languages'
start_date: 2018-01-07
corr_author: '1'
date_created: 2021-12-05T23:01:49Z
date_published: 2017-12-07T00:00:00Z
date_updated: 2024-10-09T21:01:14Z
day: '07'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1145/3158121
external_id:
arxiv:
- '1711.03588'
intvolume: ' 2'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://dl.acm.org/doi/10.1145/3158121
month: '12'
oa: 1
oa_version: Published Version
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
eissn:
- 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: A new proof rule for almost-sure termination
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 2
year: '2017'
...
---
_id: '791'
abstract:
- lang: eng
text: 'Consider the following random process: we are given n queues, into which
elements of increasing labels are inserted uniformly at random. To remove an element,
we pick two queues at random, and remove the element of lower label (higher priority)
among the two. The cost of a removal is the rank of the label removed, among labels
still present in any of the queues, that is, the distance from the optimal choice
at each step. Variants of this strategy are prevalent in state-of-the-art concurrent
priority queue implementations. Nonetheless, it is not known whether such implementations
provide any rank guarantees, even in a sequential model. We answer this question,
showing that this strategy provides surprisingly strong guarantees: Although the
single-choice process, where we always insert and remove from a single randomly
chosen queue, has degrading cost, going to infinity as we increase the number
of steps, in the two choice process, the expected rank of a removed element is
O(n) while the expected worst-case cost is O(n log n). These bounds are tight,
and hold irrespective of the number of steps for which we run the process. The
argument is based on a new technical connection between "heavily loaded"
balls-into-bins processes and priority scheduling. Our analytic results inspire
a new concurrent priority queue implementation, which improves upon the state
of the art in terms of practical performance.'
article_processing_charge: No
arxiv: 1
author:
- 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: Justin
full_name: Kopinsky, Justin
last_name: Kopinsky
- first_name: Jerry
full_name: Li, Jerry
last_name: Li
- first_name: Giorgi
full_name: Nadiradze, Giorgi
id: 3279A00C-F248-11E8-B48F-1D18A9856A87
last_name: Nadiradze
orcid: 0000-0001-5634-0731
citation:
ama: 'Alistarh D-A, Kopinsky J, Li J, Nadiradze G. The power of choice in priority
scheduling. In: Proceedings of the ACM Symposium on Principles of Distributed
Computing. Vol Part F129314. ACM; 2017:283-292. doi:10.1145/3087801.3087810'
apa: 'Alistarh, D.-A., Kopinsky, J., Li, J., & Nadiradze, G. (2017). The power
of choice in priority scheduling. In Proceedings of the ACM Symposium on Principles
of Distributed Computing (Vol. Part F129314, pp. 283–292). Washington, WA,
USA: ACM. https://doi.org/10.1145/3087801.3087810'
chicago: Alistarh, Dan-Adrian, Justin Kopinsky, Jerry Li, and Giorgi Nadiradze.
“The Power of Choice in Priority Scheduling.” In Proceedings of the ACM Symposium
on Principles of Distributed Computing, Part F129314:283–92. ACM, 2017. https://doi.org/10.1145/3087801.3087810.
ieee: D.-A. Alistarh, J. Kopinsky, J. Li, and G. Nadiradze, “The power of choice
in priority scheduling,” in Proceedings of the ACM Symposium on Principles
of Distributed Computing, Washington, WA, USA, 2017, vol. Part F129314, pp.
283–292.
ista: 'Alistarh D-A, Kopinsky J, Li J, Nadiradze G. 2017. The power of choice in
priority scheduling. Proceedings of the ACM Symposium on Principles of Distributed
Computing. PODC: Principles of Distributed Computing vol. Part F129314, 283–292.'
mla: Alistarh, Dan-Adrian, et al. “The Power of Choice in Priority Scheduling.”
Proceedings of the ACM Symposium on Principles of Distributed Computing,
vol. Part F129314, ACM, 2017, pp. 283–92, doi:10.1145/3087801.3087810.
short: D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the
ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
conference:
end_date: 2017-07-27
location: Washington, WA, USA
name: 'PODC: Principles of Distributed Computing'
start_date: 2017-07-25
date_created: 2018-12-11T11:48:31Z
date_published: 2017-07-26T00:00:00Z
date_updated: 2025-06-04T09:44:47Z
day: '26'
department:
- _id: DaAl
doi: 10.1145/3087801.3087810
external_id:
arxiv:
- '1706.04178'
isi:
- '000462995000035'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.04178
month: '07'
oa: 1
oa_version: Submitted Version
page: 283 - 292
publication: Proceedings of the ACM Symposium on Principles of Distributed Computing
publication_identifier:
isbn:
- 978-145034992-5
publication_status: published
publisher: ACM
publist_id: '6864'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The power of choice in priority scheduling
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: Part F129314
year: '2017'
...
---
_id: '792'
abstract:
- lang: eng
text: The chaotic dynamics of low-dimensional systems, such as Lorenz or Rössler
flows, is guided by the infinity of periodic orbits embedded in their strange
attractors. Whether this is also the case for the infinite-dimensional dynamics
of Navier–Stokes equations has long been speculated, and is a topic of ongoing
study. Periodic and relative periodic solutions have been shown to be involved
in transitions to turbulence. Their relevance to turbulent dynamics – specifically,
whether periodic orbits play the same role in high-dimensional nonlinear systems
like the Navier–Stokes equations as they do in lower-dimensional systems – is
the focus of the present investigation. We perform here a detailed study of pipe
flow relative periodic orbits with energies and mean dissipations close to turbulent
values. We outline several approaches to reduction of the translational symmetry
of the system. We study pipe flow in a minimal computational cell at Re=2500,
and report a library of invariant solutions found with the aid of the method of
slices. Detailed study of the unstable manifolds of a sample of these solutions
is consistent with the picture that relative periodic orbits are embedded in the
chaotic saddle and that they guide the turbulent dynamics.
article_processing_charge: No
arxiv: 1
author:
- first_name: Nazmi B
full_name: Budanur, Nazmi B
id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
last_name: Budanur
orcid: 0000-0003-0423-5010
- first_name: Kimberly
full_name: Short, Kimberly
last_name: Short
- first_name: Mohammad
full_name: Farazmand, Mohammad
last_name: Farazmand
- first_name: Ashley
full_name: Willis, Ashley
last_name: Willis
- first_name: Predrag
full_name: Cvitanović, Predrag
last_name: Cvitanović
citation:
ama: Budanur NB, Short K, Farazmand M, Willis A, Cvitanović P. Relative periodic
orbits form the backbone of turbulent pipe flow. Journal of Fluid Mechanics.
2017;833:274-301. doi:10.1017/jfm.2017.699
apa: Budanur, N. B., Short, K., Farazmand, M., Willis, A., & Cvitanović, P.
(2017). Relative periodic orbits form the backbone of turbulent pipe flow. Journal
of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.699
chicago: Budanur, Nazmi B, Kimberly Short, Mohammad Farazmand, Ashley Willis, and
Predrag Cvitanović. “Relative Periodic Orbits Form the Backbone of Turbulent Pipe
Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.699.
ieee: N. B. Budanur, K. Short, M. Farazmand, A. Willis, and P. Cvitanović, “Relative
periodic orbits form the backbone of turbulent pipe flow,” Journal of Fluid
Mechanics, vol. 833. Cambridge University Press, pp. 274–301, 2017.
ista: Budanur NB, Short K, Farazmand M, Willis A, Cvitanović P. 2017. Relative periodic
orbits form the backbone of turbulent pipe flow. Journal of Fluid Mechanics. 833,
274–301.
mla: Budanur, Nazmi B., et al. “Relative Periodic Orbits Form the Backbone of Turbulent
Pipe Flow.” Journal of Fluid Mechanics, vol. 833, Cambridge University
Press, 2017, pp. 274–301, doi:10.1017/jfm.2017.699.
short: N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanović, Journal of
Fluid Mechanics 833 (2017) 274–301.
date_created: 2018-12-11T11:48:32Z
date_published: 2017-12-25T00:00:00Z
date_updated: 2025-06-04T09:45:57Z
day: '25'
department:
- _id: BjHo
doi: 10.1017/jfm.2017.699
external_id:
arxiv:
- '1705.03720'
isi:
- '000414641700001'
intvolume: ' 833'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1705.03720
month: '12'
oa: 1
oa_version: Submitted Version
page: 274 - 301
project:
- _id: 25636330-B435-11E9-9278-68D0E5697425
grant_number: 11-NSF-1070
name: Genome-wide Analysis of Root Traits
publication: Journal of Fluid Mechanics
publication_identifier:
issn:
- 0022-1120
publication_status: published
publisher: Cambridge University Press
publist_id: '6862'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Relative periodic orbits form the backbone of turbulent pipe flow
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 833
year: '2017'
...
---
_id: '794'
abstract:
- lang: eng
text: We show that c-planarity is solvable in quadratic time for flat clustered
graphs with three clusters if the combinatorial embedding of the underlying graph
is fixed. In simpler graph-theoretical terms our result can be viewed as follows.
Given a graph G with the vertex set partitioned into three parts embedded on a
2-sphere, our algorithm decides if we can augment G by adding edges without creating
an edge-crossing so that in the resulting spherical graph the vertices of each
part induce a connected sub-graph. We proceed by a reduction to the problem of
testing the existence of a perfect matching in planar bipartite graphs. We formulate
our result in a slightly more general setting of cyclic clustered graphs, i.e.,
the simple graph obtained by contracting each cluster, where we disregard loops
and multi-edges, is a cycle.
acknowledgement: I would like to thank Jan Kynčl, Dömötör Pálvölgyi and anonymous
referees for many comments and suggestions that helped to improve the presentation
of the result.
article_processing_charge: No
arxiv: 1
author:
- first_name: Radoslav
full_name: Fulek, Radoslav
id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
last_name: Fulek
orcid: 0000-0001-8485-1774
citation:
ama: 'Fulek R. C-planarity of embedded cyclic c-graphs. Computational Geometry:
Theory and Applications. 2017;66:1-13. doi:10.1016/j.comgeo.2017.06.016'
apa: 'Fulek, R. (2017). C-planarity of embedded cyclic c-graphs. Computational
Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2017.06.016'
chicago: 'Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs.” Computational
Geometry: Theory and Applications. Elsevier, 2017. https://doi.org/10.1016/j.comgeo.2017.06.016.'
ieee: 'R. Fulek, “C-planarity of embedded cyclic c-graphs,” Computational Geometry:
Theory and Applications, vol. 66. Elsevier, pp. 1–13, 2017.'
ista: 'Fulek R. 2017. C-planarity of embedded cyclic c-graphs. Computational Geometry:
Theory and Applications. 66, 1–13.'
mla: 'Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs.” Computational
Geometry: Theory and Applications, vol. 66, Elsevier, 2017, pp. 1–13, doi:10.1016/j.comgeo.2017.06.016.'
short: 'R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.'
date_created: 2018-12-11T11:48:32Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2025-09-22T09:54:02Z
day: '01'
department:
- _id: UlWa
doi: 10.1016/j.comgeo.2017.06.016
external_id:
arxiv:
- '1602.01346'
isi:
- '000412039700001'
intvolume: ' 66'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1602.01346
month: '12'
oa: 1
oa_version: Preprint
page: 1 - 13
publication: 'Computational Geometry: Theory and Applications'
publication_status: published
publisher: Elsevier
publist_id: '6860'
quality_controlled: '1'
related_material:
record:
- id: '1165'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: C-planarity of embedded cyclic c-graphs
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 66
year: '2017'
...
---
_id: '795'
abstract:
- lang: eng
text: 'We introduce a common generalization of the strong Hanani–Tutte theorem and
the weak Hanani–Tutte theorem: if a graph G has a drawing D in the plane where
every pair of independent edges crosses an even number of times, then G has a
planar drawing preserving the rotation of each vertex whose incident edges cross
each other evenly in D. The theorem is implicit in the proof of the strong Hanani–Tutte
theorem by Pelsmajer, Schaefer and Štefankovič. We give a new, somewhat simpler
proof.'
article_number: P3.18
article_processing_charge: No
article_type: original
author:
- first_name: Radoslav
full_name: Fulek, Radoslav
id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
last_name: Fulek
orcid: 0000-0001-8485-1774
- first_name: Jan
full_name: Kynčl, Jan
last_name: Kynčl
- first_name: Dömötör
full_name: Pálvölgyi, Dömötör
last_name: Pálvölgyi
citation:
ama: Fulek R, Kynčl J, Pálvölgyi D. Unified Hanani Tutte theorem. Electronic
Journal of Combinatorics. 2017;24(3). doi:10.37236/6663
apa: Fulek, R., Kynčl, J., & Pálvölgyi, D. (2017). Unified Hanani Tutte theorem.
Electronic Journal of Combinatorics. International Press. https://doi.org/10.37236/6663
chicago: Fulek, Radoslav, Jan Kynčl, and Dömötör Pálvölgyi. “Unified Hanani Tutte
Theorem.” Electronic Journal of Combinatorics. International Press, 2017.
https://doi.org/10.37236/6663.
ieee: R. Fulek, J. Kynčl, and D. Pálvölgyi, “Unified Hanani Tutte theorem,” Electronic
Journal of Combinatorics, vol. 24, no. 3. International Press, 2017.
ista: Fulek R, Kynčl J, Pálvölgyi D. 2017. Unified Hanani Tutte theorem. Electronic
Journal of Combinatorics. 24(3), P3.18.
mla: Fulek, Radoslav, et al. “Unified Hanani Tutte Theorem.” Electronic Journal
of Combinatorics, vol. 24, no. 3, P3.18, International Press, 2017, doi:10.37236/6663.
short: R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24
(2017).
corr_author: '1'
date_created: 2018-12-11T11:48:32Z
date_published: 2017-07-28T00:00:00Z
date_updated: 2025-07-10T11:54:52Z
day: '28'
ddc:
- '000'
department:
- _id: UlWa
doi: 10.37236/6663
ec_funded: 1
file:
- access_level: open_access
checksum: ef320cff0f062051e858f929be6a3581
content_type: application/pdf
creator: dernst
date_created: 2019-01-18T14:04:08Z
date_updated: 2020-07-14T12:48:06Z
file_id: '5853'
file_name: 2017_ElectrCombi_Fulek.pdf
file_size: 236944
relation: main_file
file_date_updated: 2020-07-14T12:48:06Z
has_accepted_license: '1'
intvolume: ' 24'
issue: '3'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Electronic Journal of Combinatorics
publication_identifier:
issn:
- 1077-8926
publication_status: published
publisher: International Press
publist_id: '6859'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Unified Hanani Tutte theorem
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2017'
...
---
_id: '796'
abstract:
- lang: eng
text: We present the fabrication and characterization of an aluminum transmon qubit
on a silicon-on-insulator substrate. Key to the qubit fabrication is the use of
an anhydrous hydrofluoric vapor process which selectively removes the lossy silicon
oxide buried underneath the silicon device layer. For a 5.6 GHz qubit measured
dispersively by a 7.1 GHz resonator, we find T1 = 3.5 μs and T∗2 = 2.2 μs. This
process in principle permits the co-fabrication of silicon photonic and mechanical
elements, providing a route towards chip-scale integration of electro-opto-mechanical
transducers for quantum networking of superconducting microwave quantum circuits.
The additional processing steps are compatible with established fabrication techniques
for aluminum transmon qubits on silicon.
acknowledgement: This work was supported by the AFOSR MURI Quantum Photonic Matter
(Grant No. 16RT0696), the AFOSR MURI Wiring Quantum Networks with Mechanical Transducers
(Grant No. FA9550-15-1-0015), the Institute for Quantum Information and Matter,
an NSF Physics Frontiers Center (Grant No. PHY-1125565) with the support of the
Gordon and Betty Moore Foundation, and the Kavli Nanoscience Institute at Caltech.
A.J.K. acknowledges the IQIM Postdoctoral Fellowship.
article_number: '042603'
article_processing_charge: No
arxiv: 1
author:
- first_name: Andrew J
full_name: Keller, Andrew J
last_name: Keller
- first_name: Paul
full_name: Dieterle, Paul
last_name: Dieterle
- first_name: Michael
full_name: Fang, Michael
last_name: Fang
- first_name: Brett
full_name: Berger, Brett
last_name: Berger
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: Oskar
full_name: Painter, Oskar
last_name: Painter
citation:
ama: Keller AJ, Dieterle P, Fang M, Berger B, Fink JM, Painter O. Al transmon qubits
on silicon on insulator for quantum device integration. Applied Physics Letters.
2017;111(4). doi:10.1063/1.4994661
apa: Keller, A. J., Dieterle, P., Fang, M., Berger, B., Fink, J. M., & Painter,
O. (2017). Al transmon qubits on silicon on insulator for quantum device integration.
Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.4994661
chicago: Keller, Andrew J, Paul Dieterle, Michael Fang, Brett Berger, Johannes M
Fink, and Oskar Painter. “Al Transmon Qubits on Silicon on Insulator for Quantum
Device Integration.” Applied Physics Letters. American Institute of Physics,
2017. https://doi.org/10.1063/1.4994661.
ieee: A. J. Keller, P. Dieterle, M. Fang, B. Berger, J. M. Fink, and O. Painter,
“Al transmon qubits on silicon on insulator for quantum device integration,” Applied
Physics Letters, vol. 111, no. 4. American Institute of Physics, 2017.
ista: Keller AJ, Dieterle P, Fang M, Berger B, Fink JM, Painter O. 2017. Al transmon
qubits on silicon on insulator for quantum device integration. Applied Physics
Letters. 111(4), 042603.
mla: Keller, Andrew J., et al. “Al Transmon Qubits on Silicon on Insulator for Quantum
Device Integration.” Applied Physics Letters, vol. 111, no. 4, 042603,
American Institute of Physics, 2017, doi:10.1063/1.4994661.
short: A.J. Keller, P. Dieterle, M. Fang, B. Berger, J.M. Fink, O. Painter, Applied
Physics Letters 111 (2017).
date_created: 2018-12-11T11:48:33Z
date_published: 2017-07-01T00:00:00Z
date_updated: 2025-06-04T09:48:41Z
day: '01'
department:
- _id: JoFi
doi: 10.1063/1.4994661
external_id:
arxiv:
- '1703.10195'
isi:
- '000406779700031'
intvolume: ' 111'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1703.10195
month: '07'
oa: 1
oa_version: Submitted Version
publication: Applied Physics Letters
publication_identifier:
issn:
- 0003-6951
publication_status: published
publisher: American Institute of Physics
publist_id: '6857'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Al transmon qubits on silicon on insulator for quantum device integration
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 111
year: '2017'
...
---
_id: '797'
abstract:
- lang: ger
text: Phasenübergänge helfen beim Verständnis von Vielteilchensystemen in der Festkörperphysik
und Fluiddynamik bis hin zur Teilchenphysik. Unserer internationalen Kollaboration
ist es gelungen, einen neuartigen Phasenübergang in einem Quantensystem zu beobachten
[1]. In einem Mikrowellenresonator konnte erstmals die spontane Zustandsänderung
von undurchsichtig zu transparent nachgewiesen werden.
article_processing_charge: No
article_type: original
author:
- 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: Fink JM. Photonenblockade aufgelöst. Physik in unserer Zeit. 2017;48(3):111-113.
doi:10.1002/piuz.201770305
apa: Fink, J. M. (2017). Photonenblockade aufgelöst. Physik in Unserer Zeit.
Wiley. https://doi.org/10.1002/piuz.201770305
chicago: Fink, Johannes M. “Photonenblockade Aufgelöst.” Physik in Unserer Zeit.
Wiley, 2017. https://doi.org/10.1002/piuz.201770305.
ieee: J. M. Fink, “Photonenblockade aufgelöst,” Physik in unserer Zeit, vol.
48, no. 3. Wiley, pp. 111–113, 2017.
ista: Fink JM. 2017. Photonenblockade aufgelöst. Physik in unserer Zeit. 48(3),
111–113.
mla: Fink, Johannes M. “Photonenblockade Aufgelöst.” Physik in Unserer Zeit,
vol. 48, no. 3, Wiley, 2017, pp. 111–13, doi:10.1002/piuz.201770305.
short: J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.
corr_author: '1'
date_created: 2018-12-11T11:48:33Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2024-10-09T20:57:34Z
day: '01'
department:
- _id: JoFi
doi: 10.1002/piuz.201770305
intvolume: ' 48'
issue: '3'
language:
- iso: eng
month: '05'
oa_version: None
page: 111 - 113
publication: Physik in unserer Zeit
publication_status: published
publisher: Wiley
publist_id: '6856'
quality_controlled: '1'
status: public
title: Photonenblockade aufgelöst
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 48
year: '2017'
...
---
_id: '798'
abstract:
- lang: eng
text: Nonreciprocal circuit elements form an integral part of modern measurement
and communication systems. Mathematically they require breaking of time-reversal
symmetry, typically achieved using magnetic materials and more recently using
the quantum Hall effect, parametric permittivity modulation or Josephson nonlinearities.
Here we demonstrate an on-chip magnetic-free circulator based on reservoir-engineered
electromechanic interactions. Directional circulation is achieved with controlled
phase-sensitive interference of six distinct electro-mechanical signal conversion
paths. The presented circulator is compact, its silicon-on-insulator platform
is compatible with both superconducting qubits and silicon photonics, and its
noise performance is close to the quantum limit. With a high dynamic range, a
tunable bandwidth of up to 30 MHz and an in situ reconfigurability as beam splitter
or wavelength converter, it could pave the way for superconducting qubit processors
with multiplexed on-chip signal processing and readout.
article_number: '1304'
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Shabir
full_name: Barzanjeh, Shabir
id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
last_name: Barzanjeh
orcid: 0000-0003-0415-1423
- first_name: Matthias
full_name: Wulf, Matthias
id: 45598606-F248-11E8-B48F-1D18A9856A87
last_name: Wulf
orcid: 0000-0001-6613-1378
- first_name: Matilda
full_name: Peruzzo, Matilda
id: 3F920B30-F248-11E8-B48F-1D18A9856A87
last_name: Peruzzo
orcid: 0000-0002-3415-4628
- first_name: Mahmoud
full_name: Kalaee, Mahmoud
last_name: Kalaee
- first_name: Paul
full_name: Dieterle, Paul
last_name: Dieterle
- first_name: Oskar
full_name: Painter, Oskar
last_name: Painter
- 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: Barzanjeh S, Wulf M, Peruzzo M, et al. Mechanical on chip microwave circulator.
Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01304-x
apa: Barzanjeh, S., Wulf, M., Peruzzo, M., Kalaee, M., Dieterle, P., Painter, O.,
& Fink, J. M. (2017). Mechanical on chip microwave circulator. Nature Communications.
Nature Publishing Group. https://doi.org/10.1038/s41467-017-01304-x
chicago: Barzanjeh, Shabir, Matthias Wulf, Matilda Peruzzo, Mahmoud Kalaee, Paul
Dieterle, Oskar Painter, and Johannes M Fink. “Mechanical on Chip Microwave Circulator.”
Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-01304-x.
ieee: S. Barzanjeh et al., “Mechanical on chip microwave circulator,” Nature
Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
ista: Barzanjeh S, Wulf M, Peruzzo M, Kalaee M, Dieterle P, Painter O, Fink JM.
2017. Mechanical on chip microwave circulator. Nature Communications. 8(1), 1304.
mla: Barzanjeh, Shabir, et al. “Mechanical on Chip Microwave Circulator.” Nature
Communications, vol. 8, no. 1, 1304, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01304-x.
short: S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M.
Fink, Nature Communications 8 (2017).
corr_author: '1'
date_created: 2018-12-11T11:48:33Z
date_published: 2017-10-16T00:00:00Z
date_updated: 2025-07-10T11:54:54Z
day: '16'
ddc:
- '539'
department:
- _id: JoFi
doi: 10.1038/s41467-017-01304-x
ec_funded: 1
external_id:
isi:
- '000412999700021'
file:
- access_level: open_access
checksum: b68dafa71d1834c23b742cd9987a3d5f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:25Z
date_updated: 2020-07-14T12:48:06Z
file_id: '5145'
file_name: IST-2017-867-v1+1_s41467-017-01304-x.pdf
file_size: 1467696
relation: main_file
file_date_updated: 2020-07-14T12:48:06Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 257EB838-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '732894'
name: Hybrid Optomechanical Technologies
- _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'
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Nature Publishing Group
publist_id: '6855'
pubrep_id: '867'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanical on chip microwave circulator
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2017'
...