---
OA_place: repository
OA_type: green
_id: '5948'
abstract:
- lang: eng
text: We study the termination problem for nondeterministic probabilistic programs.
We consider the bounded termination problem that asks whether the supremum of
the expected termination time over all schedulers is bounded. First, we show that
ranking supermartingales (RSMs) are both sound and complete for proving bounded
termination over nondeterministic probabilistic programs. For nondeterministic
probabilistic programs a previous result claimed that RSMs are not complete for
bounded termination, whereas our result corrects the previous flaw and establishes
completeness with a rigorous proof. Second, we present the first sound approach
to establish lower bounds on expected termination time through RSMs.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Hongfei
full_name: Fu, Hongfei
last_name: Fu
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: 'Fu H, Chatterjee K. Termination of nondeterministic probabilistic programs.
In: International Conference on Verification, Model Checking, and Abstract
Interpretation. Vol 11388. Springer Nature; 2019:468-490. doi:10.1007/978-3-030-11245-5_22'
apa: 'Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic
programs. In International Conference on Verification, Model Checking, and
Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer
Nature. https://doi.org/10.1007/978-3-030-11245-5_22'
chicago: Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic
Probabilistic Programs.” In International Conference on Verification, Model
Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019.
https://doi.org/10.1007/978-3-030-11245-5_22.
ieee: H. Fu and K. Chatterjee, “Termination of nondeterministic probabilistic programs,”
in International Conference on Verification, Model Checking, and Abstract Interpretation,
Cascais, Portugal, 2019, vol. 11388, pp. 468–490.
ista: 'Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs.
International Conference on Verification, Model Checking, and Abstract Interpretation.
VMCAI: Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 11388,
468–490.'
mla: Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic
Programs.” International Conference on Verification, Model Checking, and Abstract
Interpretation, vol. 11388, Springer Nature, 2019, pp. 468–90, doi:10.1007/978-3-030-11245-5_22.
short: H. Fu, K. Chatterjee, in:, International Conference on Verification, Model
Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
conference:
end_date: 2019-01-15
location: Cascais, Portugal
name: 'VMCAI: Verification, Model Checking, and Abstract Interpretation'
start_date: 2019-01-13
date_created: 2019-02-10T22:59:17Z
date_published: 2019-01-11T00:00:00Z
date_updated: 2025-07-03T11:45:45Z
day: '11'
department:
- _id: KrCh
doi: 10.1007/978-3-030-11245-5_22
external_id:
arxiv:
- '1701.02944'
isi:
- '000931943000022'
intvolume: ' 11388'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1701.02944
month: '01'
oa: 1
oa_version: Preprint
page: 468-490
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: International Conference on Verification, Model Checking, and Abstract
Interpretation
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Termination of nondeterministic probabilistic programs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11388
year: '2019'
...
---
_id: '6014'
abstract:
- lang: eng
text: Speed of sound waves in gases and liquids are governed by the compressibility
of the medium. There exists another type of non-dispersive wave where the wave
speed depends on stress instead of elasticity of the medium. A well-known example
is the Alfven wave, which propagates through plasma permeated by a magnetic field
with the speed determined by magnetic tension. An elastic analogue of Alfven waves
has been predicted in a flow of dilute polymer solution where the elastic stress
of the stretching polymers determines the elastic wave speed. Here we present
quantitative evidence of elastic Alfven waves in elastic turbulence of a viscoelastic
creeping flow between two obstacles in channel flow. The key finding in the experimental
proof is a nonlinear dependence of the elastic wave speed cel on the Weissenberg
number Wi, which deviates from predictions based on a model of linear polymer
elasticity.
article_number: '652'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
citation:
ama: Varshney A, Steinberg V. Elastic alfven waves in elastic turbulence. Nature
Communications. 2019;10. doi:10.1038/s41467-019-08551-0
apa: Varshney, A., & Steinberg, V. (2019). Elastic alfven waves in elastic turbulence.
Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-08551-0
chicago: Varshney, Atul, and Victor Steinberg. “Elastic Alfven Waves in Elastic
Turbulence.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-08551-0.
ieee: A. Varshney and V. Steinberg, “Elastic alfven waves in elastic turbulence,”
Nature Communications, vol. 10. Springer Nature, 2019.
ista: Varshney A, Steinberg V. 2019. Elastic alfven waves in elastic turbulence.
Nature Communications. 10, 652.
mla: Varshney, Atul, and Victor Steinberg. “Elastic Alfven Waves in Elastic Turbulence.”
Nature Communications, vol. 10, 652, Springer Nature, 2019, doi:10.1038/s41467-019-08551-0.
short: A. Varshney, V. Steinberg, Nature Communications 10 (2019).
corr_author: '1'
date_created: 2019-02-15T07:10:46Z
date_published: 2019-02-08T00:00:00Z
date_updated: 2025-04-14T07:43:46Z
day: '08'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1038/s41467-019-08551-0
ec_funded: 1
external_id:
arxiv:
- '1902.03763'
isi:
- '000458175300001'
pmid:
- '30737403'
file:
- access_level: open_access
checksum: d3acf07eaad95ec040d8e8565fc9ac37
content_type: application/pdf
creator: dernst
date_created: 2019-02-15T07:15:00Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6015'
file_name: 2019_NatureComm_Varshney.pdf
file_size: 1331490
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '02'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Elastic alfven waves in elastic turbulence
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: 10
year: '2019'
...
---
_id: '6022'
abstract:
- lang: eng
text: The evolution of new species is made easier when traits under divergent ecological
selection are also mating cues. Such ecological mating cues are now considered
more common than previously thought, but we still know little about the genetic
changes underlying their evolution or more generally about the genetic basis for
assortative mating behaviors. Both tight physical linkage and the existence of
large-effect preference loci will strengthen genetic associations between behavioral
and ecological barriers, promoting the evolution of assortative mating. The warning
patterns of Heliconius melpomene and H. cydno are under disruptive selection due
to increased predation of nonmimetic hybrids and are used during mate recognition.
We carried out a genome-wide quantitative trait locus (QTL) analysis of preference
behaviors between these species and showed that divergent male preference has
a simple genetic basis. We identify three QTLs that together explain a large proportion
(approximately 60%) of the difference in preference behavior observed between
the parental species. One of these QTLs is just 1.2 (0-4.8) centiMorgans (cM)
from the major color pattern gene optix, and, individually, all three have a large
effect on the preference phenotype. Genomic divergence between H. cydno and H.
melpomene is high but broadly heterogenous, and admixture is reduced at the preference-optix
color pattern locus but not the other preference QTLs. The simple genetic architecture
we reveal will facilitate the evolution and maintenance of new species despite
ongoing gene flow by coupling behavioral and ecological aspects of reproductive
isolation.
article_number: e2005902
article_processing_charge: No
author:
- first_name: Richard M.
full_name: Merrill, Richard M.
last_name: Merrill
- first_name: Pasi
full_name: Rastas, Pasi
last_name: Rastas
- first_name: Simon H.
full_name: Martin, Simon H.
last_name: Martin
- first_name: Maria C
full_name: Melo Hurtado, Maria C
id: 386D7308-F248-11E8-B48F-1D18A9856A87
last_name: Melo Hurtado
- first_name: Sarah
full_name: Barker, Sarah
last_name: Barker
- first_name: John
full_name: Davey, John
last_name: Davey
- first_name: W. Owen
full_name: Mcmillan, W. Owen
last_name: Mcmillan
- first_name: Chris D.
full_name: Jiggins, Chris D.
last_name: Jiggins
citation:
ama: Merrill RM, Rastas P, Martin SH, et al. Genetic dissection of assortative mating
behavior. PLoS Biology. 2019;17(2). doi:10.1371/journal.pbio.2005902
apa: Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S.,
Davey, J., … Jiggins, C. D. (2019). Genetic dissection of assortative mating behavior.
PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005902
chicago: Merrill, Richard M., Pasi Rastas, Simon H. Martin, Maria C Melo Hurtado,
Sarah Barker, John Davey, W. Owen Mcmillan, and Chris D. Jiggins. “Genetic Dissection
of Assortative Mating Behavior.” PLoS Biology. Public Library of Science,
2019. https://doi.org/10.1371/journal.pbio.2005902.
ieee: R. M. Merrill et al., “Genetic dissection of assortative mating behavior,”
PLoS Biology, vol. 17, no. 2. Public Library of Science, 2019.
ista: Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan
WO, Jiggins CD. 2019. Genetic dissection of assortative mating behavior. PLoS
Biology. 17(2), e2005902.
mla: Merrill, Richard M., et al. “Genetic Dissection of Assortative Mating Behavior.”
PLoS Biology, vol. 17, no. 2, e2005902, Public Library of Science, 2019,
doi:10.1371/journal.pbio.2005902.
short: R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey,
W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
date_created: 2019-02-17T22:59:21Z
date_published: 2019-02-07T00:00:00Z
date_updated: 2023-08-24T14:46:23Z
day: '07'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1371/journal.pbio.2005902
external_id:
isi:
- '000460317100001'
file:
- access_level: open_access
checksum: 5f34001617ee729314ca520c049b1112
content_type: application/pdf
creator: dernst
date_created: 2019-02-18T14:57:24Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6036'
file_name: 2019_PLOS_Merrill.pdf
file_size: 2005949
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 17'
isi: 1
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/publicdomain/zero/1.0/
month: '02'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
related_material:
record:
- id: '9801'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Genetic dissection of assortative mating behavior
tmp:
image: /images/cc_0.png
legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
name: Creative Commons Public Domain Dedication (CC0 1.0)
short: CC0 (1.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 17
year: '2019'
...
---
_id: '6023'
abstract:
- lang: eng
text: Multicellular development requires coordinated cell polarization relative
to body axes, and translation to oriented cell division 1–3 . In plants, it is
unknown how cell polarities are connected to organismal axes and translated to
division. Here, we identify Arabidopsis SOSEKI proteins that integrate apical–basal
and radial organismal axes to localize to polar cell edges. Localization does
not depend on tissue context, requires cell wall integrity and is defined by a
transferrable, protein-specific motif. A Domain of Unknown Function in SOSEKI
proteins resembles the DIX oligomerization domain in the animal Dishevelled polarity
regulator. The DIX-like domain self-interacts and is required for edge localization
and for influencing division orientation, together with a second domain that defines
the polar membrane domain. Our work shows that SOSEKI proteins locally interpret
global polarity cues and can influence cell division orientation. Furthermore,
this work reveals that, despite fundamental differences, cell polarity mechanisms
in plants and animals converge on a similar protein domain.
article_processing_charge: No
author:
- first_name: Saiko
full_name: Yoshida, Saiko
id: 2E46069C-F248-11E8-B48F-1D18A9856A87
last_name: Yoshida
- first_name: Alja
full_name: Van Der Schuren, Alja
last_name: Van Der Schuren
- first_name: Maritza
full_name: Van Dop, Maritza
last_name: Van Dop
- first_name: Luc
full_name: Van Galen, Luc
last_name: Van Galen
- first_name: Shunsuke
full_name: Saiga, Shunsuke
last_name: Saiga
- first_name: Milad
full_name: Adibi, Milad
last_name: Adibi
- first_name: Barbara
full_name: Möller, Barbara
last_name: Möller
- first_name: Colette A.
full_name: Ten Hove, Colette A.
last_name: Ten Hove
- first_name: Peter
full_name: Marhavy, Peter
id: 3F45B078-F248-11E8-B48F-1D18A9856A87
last_name: Marhavy
orcid: 0000-0001-5227-5741
- first_name: Richard
full_name: Smith, Richard
last_name: Smith
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Dolf
full_name: Weijers, Dolf
last_name: Weijers
citation:
ama: Yoshida S, Van Der Schuren A, Van Dop M, et al. A SOSEKI-based coordinate system
interprets global polarity cues in arabidopsis. Nature Plants. 2019;5(2):160-166.
doi:10.1038/s41477-019-0363-6
apa: Yoshida, S., Van Der Schuren, A., Van Dop, M., Van Galen, L., Saiga, S., Adibi,
M., … Weijers, D. (2019). A SOSEKI-based coordinate system interprets global polarity
cues in arabidopsis. Nature Plants. Springer Nature. https://doi.org/10.1038/s41477-019-0363-6
chicago: Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke
Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets
Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019.
https://doi.org/10.1038/s41477-019-0363-6.
ieee: S. Yoshida et al., “A SOSEKI-based coordinate system interprets global
polarity cues in arabidopsis,” Nature Plants, vol. 5, no. 2. Springer Nature,
pp. 160–166, 2019.
ista: Yoshida S, Van Der Schuren A, Van Dop M, Van Galen L, Saiga S, Adibi M, Möller
B, Ten Hove CA, Marhavý P, Smith R, Friml J, Weijers D. 2019. A SOSEKI-based coordinate
system interprets global polarity cues in arabidopsis. Nature Plants. 5(2), 160–166.
mla: Yoshida, Saiko, et al. “A SOSEKI-Based Coordinate System Interprets Global
Polarity Cues in Arabidopsis.” Nature Plants, vol. 5, no. 2, Springer Nature,
2019, pp. 160–66, doi:10.1038/s41477-019-0363-6.
short: S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi,
B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants
5 (2019) 160–166.
date_created: 2019-02-17T22:59:21Z
date_published: 2019-02-08T00:00:00Z
date_updated: 2025-04-15T06:50:24Z
day: '08'
department:
- _id: JiFr
- _id: EvBe
doi: 10.1038/s41477-019-0363-6
ec_funded: 1
external_id:
isi:
- '000460479600014'
intvolume: ' 5'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.biorxiv.org/content/10.1101/479113v1.abstract
month: '02'
oa: 1
oa_version: Submitted Version
page: 160-166
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Nature Plants
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 5
year: '2019'
...
---
_id: '6025'
abstract:
- lang: eng
text: Non-canonical Wnt signaling plays a central role for coordinated cell polarization
and directed migration in metazoan development. While spatiotemporally restricted
activation of non-canonical Wnt-signaling drives cell polarization in epithelial
tissues, it remains unclear whether such instructive activity is also critical
for directed mesenchymal cell migration. Here, we developed a light-activated
version of the non-canonical Wnt receptor Frizzled 7 (Fz7) to analyze how restricted
activation of non-canonical Wnt signaling affects directed anterior axial mesendoderm
(prechordal plate, ppl) cell migration within the zebrafish gastrula. We found
that Fz7 signaling is required for ppl cell protrusion formation and migration
and that spatiotemporally restricted ectopic activation is capable of redirecting
their migration. Finally, we show that uniform activation of Fz7 signaling in
ppl cells fully rescues defective directed cell migration in fz7 mutant embryos.
Together, our findings reveal that in contrast to the situation in epithelial
cells, non-canonical Wnt signaling functions permissively rather than instructively
in directed mesenchymal cell migration during gastrulation.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
article_number: e42093
article_processing_charge: No
author:
- first_name: Daniel
full_name: Capek, Daniel
id: 31C42484-F248-11E8-B48F-1D18A9856A87
last_name: Capek
orcid: 0000-0001-5199-9940
- first_name: Michael
full_name: Smutny, Michael
id: 3FE6E4E8-F248-11E8-B48F-1D18A9856A87
last_name: Smutny
orcid: 0000-0002-5920-9090
- first_name: Alexandra Madelaine
full_name: Tichy, Alexandra Madelaine
last_name: Tichy
- first_name: Maurizio
full_name: Morri, Maurizio
id: 4863116E-F248-11E8-B48F-1D18A9856A87
last_name: Morri
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- 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: Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. Light-activated
Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm
cell migration. eLife. 2019;8. doi:10.7554/eLife.42093
apa: Capek, D., Smutny, M., Tichy, A. M., Morri, M., Janovjak, H. L., & Heisenberg,
C.-P. J. (2019). Light-activated Frizzled7 reveals a permissive role of non-canonical
wnt signaling in mesendoderm cell migration. ELife. eLife Sciences Publications.
https://doi.org/10.7554/eLife.42093
chicago: Capek, Daniel, Michael Smutny, Alexandra Madelaine Tichy, Maurizio Morri,
Harald L Janovjak, and Carl-Philipp J Heisenberg. “Light-Activated Frizzled7 Reveals
a Permissive Role of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.”
ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.42093.
ieee: D. Capek, M. Smutny, A. M. Tichy, M. Morri, H. L. Janovjak, and C.-P. J. Heisenberg,
“Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling
in mesendoderm cell migration,” eLife, vol. 8. eLife Sciences Publications,
2019.
ista: Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. 2019.
Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling
in mesendoderm cell migration. eLife. 8, e42093.
mla: Capek, Daniel, et al. “Light-Activated Frizzled7 Reveals a Permissive Role
of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.” ELife, vol.
8, e42093, eLife Sciences Publications, 2019, doi:10.7554/eLife.42093.
short: D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg,
ELife 8 (2019).
date_created: 2019-02-17T22:59:22Z
date_published: 2019-02-06T00:00:00Z
date_updated: 2025-04-14T07:46:59Z
day: '06'
ddc:
- '570'
department:
- _id: CaHe
- _id: HaJa
doi: 10.7554/eLife.42093
ec_funded: 1
external_id:
isi:
- '000458025300001'
file:
- access_level: open_access
checksum: 6cb4ca6d4aa96f6f187a5983aa3e660a
content_type: application/pdf
creator: dernst
date_created: 2019-02-18T15:17:21Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6041'
file_name: 2019_elife_Capek.pdf
file_size: 5500707
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 260F1432-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742573'
name: Interaction and feedback between cell mechanics and fate specification in
vertebrate gastrulation
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling
in mesendoderm cell migration
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 8
year: '2019'
...
---
_id: '6028'
abstract:
- lang: eng
text: We give a construction allowing us to build local renormalized solutions to
general quasilinear stochastic PDEs within the theory of regularity structures,
thus greatly generalizing the recent results of [1, 5, 11]. Loosely speaking,
our construction covers quasilinear variants of all classes of equations for which
the general construction of [3, 4, 7] applies, including in particular one‐dimensional
systems with KPZ‐type nonlinearities driven by space‐time white noise. In a less
singular and more specific case, we furthermore show that the counterterms introduced
by the renormalization procedure are given by local functionals of the solution.
The main feature of our construction is that it allows exploitation of a number
of existing results developed for the semilinear case, so that the number of additional
arguments it requires is relatively small.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Mate
full_name: Gerencser, Mate
id: 44ECEDF2-F248-11E8-B48F-1D18A9856A87
last_name: Gerencser
- first_name: Martin
full_name: Hairer, Martin
last_name: Hairer
citation:
ama: Gerencser M, Hairer M. A solution theory for quasilinear singular SPDEs. Communications
on Pure and Applied Mathematics. 2019;72(9):1983-2005. doi:10.1002/cpa.21816
apa: Gerencser, M., & Hairer, M. (2019). A solution theory for quasilinear singular
SPDEs. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.21816
chicago: Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear
Singular SPDEs.” Communications on Pure and Applied Mathematics. Wiley,
2019. https://doi.org/10.1002/cpa.21816.
ieee: M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,”
Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley,
pp. 1983–2005, 2019.
ista: Gerencser M, Hairer M. 2019. A solution theory for quasilinear singular SPDEs.
Communications on Pure and Applied Mathematics. 72(9), 1983–2005.
mla: Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular
SPDEs.” Communications on Pure and Applied Mathematics, vol. 72, no. 9,
Wiley, 2019, pp. 1983–2005, doi:10.1002/cpa.21816.
short: M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72
(2019) 1983–2005.
corr_author: '1'
date_created: 2019-02-17T22:59:24Z
date_published: 2019-02-08T00:00:00Z
date_updated: 2024-10-09T20:58:47Z
day: '08'
ddc:
- '500'
department:
- _id: JaMa
doi: 10.1002/cpa.21816
external_id:
isi:
- '000475465000003'
file:
- access_level: open_access
checksum: 09aec427eb48c0f96a1cce9ff53f013b
content_type: application/pdf
creator: kschuh
date_created: 2020-01-07T13:25:55Z
date_updated: 2020-07-14T12:47:17Z
file_id: '7237'
file_name: 2019_Wiley_Gerencser.pdf
file_size: 381350
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 72'
isi: 1
issue: '9'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: 1983-2005
publication: Communications on Pure and Applied Mathematics
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: A solution theory for quasilinear singular SPDEs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 72
year: '2019'
...
---
_id: '6035'
abstract:
- lang: eng
text: 'We present JuliaReach, a toolbox for set-based reachability analysis of dynamical
systems. JuliaReach consists of two main packages: Reachability, containing implementations
of reachability algorithms for continuous and hybrid systems, and LazySets, a
standalone library that implements state-of-the-art algorithms for calculus with
convex sets. The library offers both concrete and lazy set representations, where
the latter stands for the ability to delay set computations until they are needed.
The choice of the programming language Julia and the accompanying documentation
of our toolbox allow researchers to easily translate set-based algorithms from
mathematics to software in a platform-independent way, while achieving runtime
performance that is comparable to statically compiled languages. Combining lazy
operations in high dimensions and explicit computations in low dimensions, JuliaReach
can be applied to solve complex, large-scale problems.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Sergiy
full_name: Bogomolov, Sergiy
id: 369D9A44-F248-11E8-B48F-1D18A9856A87
last_name: Bogomolov
orcid: 0000-0002-0686-0365
- first_name: Marcelo
full_name: Forets, Marcelo
last_name: Forets
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Kostiantyn
full_name: Potomkin, Kostiantyn
last_name: Potomkin
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
citation:
ama: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox
for set-based reachability. In: Proceedings of the 22nd International Conference
on Hybrid Systems: Computation and Control. Vol 22. ACM; 2019:39-44. doi:10.1145/3302504.3311804'
apa: 'Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2019).
JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd
International Conference on Hybrid Systems: Computation and Control (Vol.
22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804'
chicago: 'Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin,
and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In
Proceedings of the 22nd International Conference on Hybrid Systems: Computation
and Control, 22:39–44. ACM, 2019. https://doi.org/10.1145/3302504.3311804.'
ieee: 'S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach:
A toolbox for set-based reachability,” in Proceedings of the 22nd International
Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada,
2019, vol. 22, pp. 39–44.'
ista: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2019. JuliaReach:
A toolbox for set-based reachability. Proceedings of the 22nd International Conference
on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation
and Control vol. 22, 39–44.'
mla: 'Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.”
Proceedings of the 22nd International Conference on Hybrid Systems: Computation
and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.'
short: 'S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings
of the 22nd International Conference on Hybrid Systems: Computation and Control,
ACM, 2019, pp. 39–44.'
conference:
end_date: 2019-04-18
location: Montreal, QC, Canada
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2019-04-16
date_created: 2019-02-18T14:43:28Z
date_published: 2019-04-16T00:00:00Z
date_updated: 2025-07-10T11:53:09Z
day: '16'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/3302504.3311804
ec_funded: 1
external_id:
arxiv:
- '1901.10736'
isi:
- '000516713900005'
file:
- access_level: open_access
checksum: 28ed56439aea5991c3122d4730fd828f
content_type: application/pdf
creator: cschilli
date_created: 2019-03-05T09:27:18Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6067'
file_name: hscc19.pdf
file_size: 3784414
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 22'
isi: 1
keyword:
- reachability analysis
- hybrid systems
- lazy computation
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 39-44
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: 'Proceedings of the 22nd International Conference on Hybrid Systems:
Computation and Control'
publication_identifier:
isbn:
- '9781450362825'
publication_status: published
publisher: ACM
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'JuliaReach: A toolbox for set-based reachability'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 22
year: '2019'
...
---
_id: '6042'
abstract:
- lang: eng
text: Static program analyzers are increasingly effective in checking correctness
properties of programs and reporting any errors found, often in the form of error
traces. However, developers still spend a significant amount of time on debugging.
This involves processing long error traces in an effort to localize a bug to a
relatively small part of the program and to identify its cause. In this paper,
we present a technique for automated fault localization that, given a program
and an error trace, efficiently narrows down the cause of the error to a few statements.
These statements are then ranked in terms of their suspiciousness. Our technique
relies only on the semantics of the given program and does not require any test
cases or user guidance. In experiments on a set of C benchmarks, we show that
our technique is effective in quickly isolating the cause of error while out-performing
other state-of-the-art fault-localization techniques.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Maria
full_name: Christakis, Maria
last_name: Christakis
- first_name: Matthias
full_name: Heizmann, Matthias
last_name: Heizmann
- first_name: Muhammad Numair
full_name: Mansur, Muhammad Numair
last_name: Mansur
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
- first_name: Valentin
full_name: Wüstholz, Valentin
last_name: Wüstholz
citation:
ama: 'Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. Semantic fault
localization and suspiciousness ranking. In: 25th International Conference
on Tools and Algorithms for the Construction and Analysis of Systems . Vol
11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13'
apa: 'Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz,
V. (2019). Semantic fault localization and suspiciousness ranking. In 25th
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature.
https://doi.org/10.1007/978-3-030-17462-0_13'
chicago: Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian
Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness
Ranking.” In 25th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019.
https://doi.org/10.1007/978-3-030-17462-0_13.
ieee: M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic
fault localization and suspiciousness ranking,” in 25th International Conference
on Tools and Algorithms for the Construction and Analysis of Systems , Prague,
Czech Republic, 2019, vol. 11427, pp. 226–243.
ista: 'Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic
fault localization and suspiciousness ranking. 25th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools
and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427,
226–243.'
mla: Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.”
25th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
short: M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:,
25th International Conference on Tools and Algorithms for the Construction and
Analysis of Systems , Springer Nature, 2019, pp. 226–243.
conference:
end_date: 2019-04-11
location: Prague, Czech Republic
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2019-04-06
date_created: 2019-02-18T16:44:06Z
date_published: 2019-04-04T00:00:00Z
date_updated: 2025-04-15T06:26:12Z
day: '04'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-17462-0_13
ec_funded: 1
external_id:
isi:
- '000681166500013'
file:
- access_level: open_access
checksum: 9998496f6fe202c0a19124b4209154c6
content_type: application/pdf
creator: dernst
date_created: 2019-05-10T14:16:05Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6408'
file_name: 2019_LNCS_Christakis.pdf
file_size: 773083
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 11427'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 226-243
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: '25th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems '
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Semantic fault localization and suspiciousness ranking
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11427
year: '2019'
...
---
_id: '6046'
abstract:
- lang: eng
text: Sudden stress often triggers diverse, temporally structured gene expression
responses in microbes, but it is largely unknown how variable in time such responses
are and if genes respond in the same temporal order in every single cell. Here,
we quantified timing variability of individual promoters responding to sublethal
antibiotic stress using fluorescent reporters, microfluidics, and time‐lapse microscopy.
We identified lower and upper bounds that put definite constraints on timing variability,
which varies strongly among promoters and conditions. Timing variability can be
interpreted using results from statistical kinetics, which enable us to estimate
the number of rate‐limiting molecular steps underlying different responses. We
found that just a few critical steps control some responses while others rely
on dozens of steps. To probe connections between different stress responses, we
then tracked the temporal order and response time correlations of promoter pairs
in individual cells. Our results support that, when bacteria are exposed to the
antibiotic nitrofurantoin, the ensuing oxidative stress and SOS responses are
part of the same causal chain of molecular events. In contrast, under trimethoprim,
the acid stress response and the SOS response are part of different chains of
events running in parallel. Our approach reveals fundamental constraints on gene
expression timing and provides new insights into the molecular events that underlie
the timing of stress responses.
acknowledged_ssus:
- _id: Bio
article_number: e8470
article_processing_charge: No
author:
- first_name: Karin
full_name: Mitosch, Karin
id: 39B66846-F248-11E8-B48F-1D18A9856A87
last_name: Mitosch
- first_name: Georg
full_name: Rieckh, Georg
id: 34DA8BD6-F248-11E8-B48F-1D18A9856A87
last_name: Rieckh
- first_name: Mark Tobias
full_name: Bollenbach, Mark Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
citation:
ama: Mitosch K, Rieckh G, Bollenbach MT. Temporal order and precision of complex
stress responses in individual bacteria. Molecular systems biology. 2019;15(2).
doi:10.15252/msb.20188470
apa: Mitosch, K., Rieckh, G., & Bollenbach, M. T. (2019). Temporal order and
precision of complex stress responses in individual bacteria. Molecular Systems
Biology. Embo Press. https://doi.org/10.15252/msb.20188470
chicago: Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Temporal Order
and Precision of Complex Stress Responses in Individual Bacteria.” Molecular
Systems Biology. Embo Press, 2019. https://doi.org/10.15252/msb.20188470.
ieee: K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Temporal order and precision
of complex stress responses in individual bacteria,” Molecular systems biology,
vol. 15, no. 2. Embo Press, 2019.
ista: Mitosch K, Rieckh G, Bollenbach MT. 2019. Temporal order and precision of
complex stress responses in individual bacteria. Molecular systems biology. 15(2),
e8470.
mla: Mitosch, Karin, et al. “Temporal Order and Precision of Complex Stress Responses
in Individual Bacteria.” Molecular Systems Biology, vol. 15, no. 2, e8470,
Embo Press, 2019, doi:10.15252/msb.20188470.
short: K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
date_created: 2019-02-24T22:59:18Z
date_published: 2019-02-14T00:00:00Z
date_updated: 2025-04-15T08:09:37Z
day: '14'
department:
- _id: GaTk
doi: 10.15252/msb.20188470
external_id:
isi:
- '000459628300003'
pmid:
- '30765425'
intvolume: ' 15'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/30765425
month: '02'
oa: 1
oa_version: Submitted Version
pmid: 1
project:
- _id: 25E9AF9E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27201-B22
name: Revealing the mechanisms underlying drug interactions
- _id: 25EB3A80-B435-11E9-9278-68D0E5697425
grant_number: RGP0042/2013
name: Revealing the fundamental limits of cell growth
publication: Molecular systems biology
publication_status: published
publisher: Embo Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Temporal order and precision of complex stress responses in individual bacteria
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 15
year: '2019'
...
---
_id: '6049'
abstract:
- lang: eng
text: 'In this article it is shown that large systems with many interacting units
endowing multiple phases display self-oscillations in the presence of linear feedback
between the control and order parameters, where an Andronov–Hopf bifurcation takes
over the phase transition. This is simply illustrated through the mean field Landau
theory whose feedback dynamics turn out to be described by the Van der Pol equation
and it is then validated for the fully connected Ising model following heat bath
dynamics. Despite its simplicity, this theory accounts potentially for a rich
range of phenomena: here it is applied to describe in a stylized way (i) excess
demand-price cycles due to strong herding in a simple agent-based market model;
(ii) congestion waves in queuing networks triggered by user feedback to delays
in overloaded conditions; and (iii) metabolic network oscillations resulting from
cell growth control in a bistable phenotypic landscape.'
article_number: '045002'
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Daniele
full_name: De Martino, Daniele
id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
last_name: De Martino
orcid: 0000-0002-5214-4706
citation:
ama: 'De Martino D. Feedback-induced self-oscillations in large interacting systems
subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical.
2019;52(4). doi:10.1088/1751-8121/aaf2dd'
apa: 'De Martino, D. (2019). Feedback-induced self-oscillations in large interacting
systems subjected to phase transitions. Journal of Physics A: Mathematical
and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/aaf2dd'
chicago: 'De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting
Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical
and Theoretical. IOP Publishing, 2019. https://doi.org/10.1088/1751-8121/aaf2dd.'
ieee: 'D. De Martino, “Feedback-induced self-oscillations in large interacting systems
subjected to phase transitions,” Journal of Physics A: Mathematical and Theoretical,
vol. 52, no. 4. IOP Publishing, 2019.'
ista: 'De Martino D. 2019. Feedback-induced self-oscillations in large interacting
systems subjected to phase transitions. Journal of Physics A: Mathematical and
Theoretical. 52(4), 045002.'
mla: 'De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting
Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical
and Theoretical, vol. 52, no. 4, 045002, IOP Publishing, 2019, doi:10.1088/1751-8121/aaf2dd.'
short: 'D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).'
corr_author: '1'
date_created: 2019-02-24T22:59:19Z
date_published: 2019-01-07T00:00:00Z
date_updated: 2025-04-15T06:50:24Z
day: '07'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1088/1751-8121/aaf2dd
ec_funded: 1
external_id:
isi:
- '000455379500001'
file:
- access_level: open_access
checksum: 1112304ad363a6d8afaeccece36473cf
content_type: application/pdf
creator: kschuh
date_created: 2019-04-19T12:18:57Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6344'
file_name: 2019_IOP_DeMartino.pdf
file_size: 1804557
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
intvolume: ' 52'
isi: 1
issue: '4'
language:
- iso: eng
month: '01'
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: 'Journal of Physics A: Mathematical and Theoretical'
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Feedback-induced self-oscillations in large interacting systems subjected to
phase transitions
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 52
year: '2019'
...
---
_id: '6050'
abstract:
- lang: eng
text: 'We answer a question of David Hilbert: given two circles it is not possible
in general to construct their centers using only a straightedge. On the other
hand, we give infinitely many families of pairs of circles for which such construction
is possible. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Roman
full_name: Fedorov, Roman
last_name: Fedorov
citation:
ama: Akopyan A, Fedorov R. Two circles and only a straightedge. Proceedings of
the American Mathematical Society. 2019;147:91-102. doi:10.1090/proc/14240
apa: Akopyan, A., & Fedorov, R. (2019). Two circles and only a straightedge.
Proceedings of the American Mathematical Society. AMS. https://doi.org/10.1090/proc/14240
chicago: Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.”
Proceedings of the American Mathematical Society. AMS, 2019. https://doi.org/10.1090/proc/14240.
ieee: A. Akopyan and R. Fedorov, “Two circles and only a straightedge,” Proceedings
of the American Mathematical Society, vol. 147. AMS, pp. 91–102, 2019.
ista: Akopyan A, Fedorov R. 2019. Two circles and only a straightedge. Proceedings
of the American Mathematical Society. 147, 91–102.
mla: Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.”
Proceedings of the American Mathematical Society, vol. 147, AMS, 2019,
pp. 91–102, doi:10.1090/proc/14240.
short: A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society
147 (2019) 91–102.
date_created: 2019-02-24T22:59:19Z
date_published: 2019-01-01T00:00:00Z
date_updated: 2023-08-24T14:48:59Z
day: '01'
department:
- _id: HeEd
doi: 10.1090/proc/14240
external_id:
arxiv:
- '1709.02562'
isi:
- '000450363900008'
intvolume: ' 147'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1709.02562
month: '01'
oa: 1
oa_version: Preprint
page: 91-102
publication: Proceedings of the American Mathematical Society
publication_status: published
publisher: AMS
quality_controlled: '1'
scopus_import: '1'
status: public
title: Two circles and only a straightedge
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 147
year: '2019'
...
---
_id: '6052'
abstract:
- lang: eng
text: 'Expansion microscopy is a relatively new approach to super-resolution imaging
that uses expandable hydrogels to isotropically increase the physical distance
between fluorophores in biological samples such as cell cultures or tissue slices.
The classic gel recipe results in an expansion factor of ~4×, with a resolution
of 60–80 nm. We have recently developed X10 microscopy, which uses a gel that
achieves an expansion factor of ~10×, with a resolution of ~25 nm. Here, we provide
a step-by-step protocol for X10 expansion microscopy. A typical experiment consists
of seven sequential stages: (i) immunostaining, (ii) anchoring, (iii) polymerization,
(iv) homogenization, (v) expansion, (vi) imaging, and (vii) validation. The protocol
presented here includes recommendations for optimization, pitfalls and their solutions,
and detailed guidelines that should increase reproducibility. Although our protocol
focuses on X10 expansion microscopy, we detail which of these suggestions are
also applicable to classic fourfold expansion microscopy. We exemplify our protocol
using primary hippocampal neurons from rats, but our approach can be used with
other primary cells or cultured cell lines of interest. This protocol will enable
any researcher with basic experience in immunostainings and access to an epifluorescence
microscope to perform super-resolution microscopy with X10. The procedure takes
3 d and requires ~5 h of actively handling the sample for labeling and expansion,
and another ~3 h for imaging and analysis.'
article_processing_charge: No
article_type: original
author:
- first_name: Sven M
full_name: Truckenbrodt, Sven M
id: 45812BD4-F248-11E8-B48F-1D18A9856A87
last_name: Truckenbrodt
- first_name: Christoph M
full_name: Sommer, Christoph M
id: 4DF26D8C-F248-11E8-B48F-1D18A9856A87
last_name: Sommer
orcid: 0000-0003-1216-9105
- first_name: Silvio O
full_name: Rizzoli, Silvio O
last_name: Rizzoli
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
citation:
ama: Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. A practical guide to optimization
in X10 expansion microscopy. Nature Protocols. 2019;14(3):832–863. doi:10.1038/s41596-018-0117-3
apa: Truckenbrodt, S. M., Sommer, C. M., Rizzoli, S. O., & Danzl, J. G. (2019).
A practical guide to optimization in X10 expansion microscopy. Nature Protocols.
Nature Publishing Group. https://doi.org/10.1038/s41596-018-0117-3
chicago: Truckenbrodt, Sven M, Christoph M Sommer, Silvio O Rizzoli, and Johann
G Danzl. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature
Protocols. Nature Publishing Group, 2019. https://doi.org/10.1038/s41596-018-0117-3.
ieee: S. M. Truckenbrodt, C. M. Sommer, S. O. Rizzoli, and J. G. Danzl, “A practical
guide to optimization in X10 expansion microscopy,” Nature Protocols, vol.
14, no. 3. Nature Publishing Group, pp. 832–863, 2019.
ista: Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. 2019. A practical guide
to optimization in X10 expansion microscopy. Nature Protocols. 14(3), 832–863.
mla: Truckenbrodt, Sven M., et al. “A Practical Guide to Optimization in X10 Expansion
Microscopy.” Nature Protocols, vol. 14, no. 3, Nature Publishing Group,
2019, pp. 832–863, doi:10.1038/s41596-018-0117-3.
short: S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols
14 (2019) 832–863.
date_created: 2019-02-24T22:59:20Z
date_published: 2019-03-01T00:00:00Z
date_updated: 2025-04-14T07:44:00Z
day: '01'
ddc:
- '570'
department:
- _id: JoDa
- _id: Bio
doi: 10.1038/s41596-018-0117-3
ec_funded: 1
external_id:
isi:
- '000459890700008'
pmid:
- '30778205'
file:
- access_level: open_access
checksum: 7efb9951e7ddf3e3dcc2fb92b859c623
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: kschuh
date_created: 2021-06-29T14:41:46Z
date_updated: 2021-06-29T14:41:46Z
file_id: '9619'
file_name: 181031_Truckenbrodt_ExM_NatProtoc.docx
file_size: 84478958
relation: main_file
success: 1
file_date_updated: 2021-06-29T14:41:46Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '3'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 832–863
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: 265CB4D0-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I03600
name: Optical control of synaptic function via adhesion molecules
publication: Nature Protocols
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: A practical guide to optimization in X10 expansion microscopy
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 14
year: '2019'
...
---
_id: '6053'
abstract:
- lang: eng
text: Recent technical developments in the fields of quantum electromechanics and
optomechanics have spawned nanoscale mechanical transducers with the sensitivity
to measure mechanical displacements at the femtometre scale and the ability to
convert electromagnetic signals at the single photon level. A key challenge in
this field is obtaining strong coupling between motion and electromagnetic fields
without adding additional decoherence. Here we present an electromechanical transducer
that integrates a high-frequency (0.42 GHz) hypersonic phononic crystal with a
superconducting microwave circuit. The use of a phononic bandgap crystal enables
quantum-level transduction of hypersonic mechanical motion and concurrently eliminates
decoherence caused by acoustic radiation. Devices with hypersonic mechanical frequencies
provide a natural pathway for integration with Josephson junction quantum circuits,
a leading quantum computing technology, and nanophotonic systems capable of optical
networking and distributing quantum information.
article_processing_charge: No
article_type: original
author:
- first_name: Mahmoud
full_name: Kalaee, Mahmoud
last_name: Kalaee
- first_name: Mohammad
full_name: Mirhosseini, Mohammad
last_name: Mirhosseini
- first_name: Paul B.
full_name: Dieterle, Paul B.
last_name: Dieterle
- first_name: Matilda
full_name: Peruzzo, Matilda
id: 3F920B30-F248-11E8-B48F-1D18A9856A87
last_name: Peruzzo
orcid: 0000-0002-3415-4628
- 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: Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. Quantum
electromechanics of a hypersonic crystal. Nature Nanotechnology. 2019;14(4):334–339.
doi:10.1038/s41565-019-0377-2
apa: Kalaee, M., Mirhosseini, M., Dieterle, P. B., Peruzzo, M., Fink, J. M., &
Painter, O. (2019). Quantum electromechanics of a hypersonic crystal. Nature
Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-019-0377-2
chicago: Kalaee, Mahmoud, Mohammad Mirhosseini, Paul B. Dieterle, Matilda Peruzzo,
Johannes M Fink, and Oskar Painter. “Quantum Electromechanics of a Hypersonic
Crystal.” Nature Nanotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41565-019-0377-2.
ieee: M. Kalaee, M. Mirhosseini, P. B. Dieterle, M. Peruzzo, J. M. Fink, and O.
Painter, “Quantum electromechanics of a hypersonic crystal,” Nature Nanotechnology,
vol. 14, no. 4. Springer Nature, pp. 334–339, 2019.
ista: Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. 2019.
Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. 14(4),
334–339.
mla: Kalaee, Mahmoud, et al. “Quantum Electromechanics of a Hypersonic Crystal.”
Nature Nanotechnology, vol. 14, no. 4, Springer Nature, 2019, pp. 334–339,
doi:10.1038/s41565-019-0377-2.
short: M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter,
Nature Nanotechnology 14 (2019) 334–339.
date_created: 2019-02-24T22:59:21Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2023-08-24T14:48:08Z
day: '01'
department:
- _id: JoFi
doi: 10.1038/s41565-019-0377-2
external_id:
isi:
- '000463195700014'
intvolume: ' 14'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://authors.library.caltech.edu/92123/
month: '04'
oa: 1
oa_version: Submitted Version
page: 334–339
publication: Nature Nanotechnology
publication_identifier:
eissn:
- 1748-3395
issn:
- 1748-3387
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantum electromechanics of a hypersonic crystal
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 14
year: '2019'
...
---
_id: '6060'
article_processing_charge: No
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. Supplementary data for “Sex-biased gene expression and dosage compensation
on the Artemia franciscana Z-chromosome” (Huylman, Toups et al., 2019). . 2019.
doi:10.15479/AT:ISTA:6060
apa: Vicoso, B. (2019). Supplementary data for “Sex-biased gene expression and dosage
compensation on the Artemia franciscana Z-chromosome” (Huylman, Toups et al.,
2019). . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6060
chicago: Vicoso, Beatriz. “Supplementary Data for ‘Sex-Biased Gene Expression and
Dosage Compensation on the Artemia Franciscana Z-Chromosome’ (Huylman, Toups et
Al., 2019). .” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6060.
ieee: B. Vicoso, “Supplementary data for ‘Sex-biased gene expression and dosage
compensation on the Artemia franciscana Z-chromosome’ (Huylman, Toups et al.,
2019). .” Institute of Science and Technology Austria, 2019.
ista: Vicoso B. 2019. Supplementary data for ‘Sex-biased gene expression and dosage
compensation on the Artemia franciscana Z-chromosome’ (Huylman, Toups et al.,
2019). , Institute of Science and Technology Austria, 10.15479/AT:ISTA:6060.
mla: Vicoso, Beatriz. Supplementary Data for “Sex-Biased Gene Expression and
Dosage Compensation on the Artemia Franciscana Z-Chromosome” (Huylman, Toups et
Al., 2019). . Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6060.
short: B. Vicoso, (2019).
date_created: 2019-02-28T10:55:15Z
date_published: 2019-02-28T00:00:00Z
date_updated: 2025-04-15T07:49:47Z
day: '28'
department:
- _id: BeVi
doi: 10.15479/AT:ISTA:6060
file:
- access_level: open_access
checksum: a338a622d728af0e3199cb07e6dd64d3
content_type: application/zip
creator: bvicoso
date_created: 2019-02-28T10:54:27Z
date_updated: 2020-07-14T12:47:17Z
file_id: '6061'
file_name: SupData.zip
file_size: 36646050
relation: main_file
file_date_updated: 2020-07-14T12:47:17Z
has_accepted_license: '1'
month: '02'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '6418'
relation: research_paper
status: public
status: public
title: 'Supplementary data for "Sex-biased gene expression and dosage compensation
on the Artemia franciscana Z-chromosome" (Huylman, Toups et al., 2019). '
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '6062'
abstract:
- lang: eng
text: Open the files in Jupyter Notebook (reccomended https://www.anaconda.com/distribution/#download-section
with Python 3.7).
article_processing_charge: No
author:
- first_name: Michele
full_name: Nardin, Michele
id: 30BD0376-F248-11E8-B48F-1D18A9856A87
last_name: Nardin
orcid: 0000-0001-8849-6570
citation:
ama: Nardin M. Supplementary Code and Data for the paper “The Entorhinal Cognitive
Map is Attracted to Goals.” 2019. doi:10.15479/AT:ISTA:6062
apa: Nardin, M. (2019). Supplementary Code and Data for the paper “The Entorhinal
Cognitive Map is Attracted to Goals.” Institute of Science and Technology Austria.
https://doi.org/10.15479/AT:ISTA:6062
chicago: Nardin, Michele. “Supplementary Code and Data for the Paper ‘The Entorhinal
Cognitive Map Is Attracted to Goals.’” Institute of Science and Technology Austria,
2019. https://doi.org/10.15479/AT:ISTA:6062.
ieee: M. Nardin, “Supplementary Code and Data for the paper ‘The Entorhinal Cognitive
Map is Attracted to Goals.’” Institute of Science and Technology Austria, 2019.
ista: Nardin M. 2019. Supplementary Code and Data for the paper ‘The Entorhinal
Cognitive Map is Attracted to Goals’, Institute of Science and Technology Austria,
10.15479/AT:ISTA:6062.
mla: Nardin, Michele. Supplementary Code and Data for the Paper “The Entorhinal
Cognitive Map Is Attracted to Goals.” Institute of Science and Technology
Austria, 2019, doi:10.15479/AT:ISTA:6062.
short: M. Nardin, (2019).
date_created: 2019-03-04T14:20:58Z
date_published: 2019-03-29T00:00:00Z
date_updated: 2025-04-15T07:21:17Z
day: '29'
department:
- _id: JoCs
doi: 10.15479/AT:ISTA:6062
file:
- access_level: open_access
checksum: 48e7b9a02939b763417733239522a236
content_type: application/zip
creator: mnardin
date_created: 2019-03-05T09:29:37Z
date_updated: 2020-07-14T12:47:18Z
file_id: '6068'
file_name: Online_data.zip
file_size: 37002186
relation: main_file
title: Data for the paper "The Entorhinal Cognitive Map is Attracted to Goals"
file_date_updated: 2020-07-14T12:47:18Z
has_accepted_license: '1'
license: https://creativecommons.org/licenses/by-sa/4.0/
month: '03'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '6194'
relation: research_paper
status: public
status: public
title: Supplementary Code and Data for the paper "The Entorhinal Cognitive Map is
Attracted to Goals"
tmp:
image: /images/cc_by_sa.png
legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode
name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC
BY-SA 4.0)
short: CC BY-SA (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '6069'
abstract:
- lang: eng
text: Electron transport in two-dimensional conducting materials such as graphene,
with dominant electron–electron interaction, exhibits unusual vortex flow that
leads to a nonlocal current-field relation (negative resistance), distinct from
the classical Ohm’s law. The transport behavior of these materials is best described
by low Reynolds number hydrodynamics, where the constitutive pressure–speed relation
is Stoke’s law. Here we report evidence of such vortices observed in a viscous
flow of Newtonian fluid in a microfluidic device consisting of a rectangular cavity—analogous
to the electronic system. We extend our experimental observations to elliptic
cavities of different eccentricities, and validate them by numerically solving
bi-harmonic equation obtained for the viscous flow with no-slip boundary conditions.
We verify the existence of a predicted threshold at which vortices appear. Strikingly,
we find that a two-dimensional theoretical model captures the essential features
of three-dimensional Stokes flow in experiments.
article_number: '937'
article_processing_charge: No
author:
- first_name: Jonathan
full_name: Mayzel, Jonathan
last_name: Mayzel
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
citation:
ama: Mayzel J, Steinberg V, Varshney A. Stokes flow analogous to viscous electron
current in graphene. Nature Communications. 2019;10. doi:10.1038/s41467-019-08916-5
apa: Mayzel, J., Steinberg, V., & Varshney, A. (2019). Stokes flow analogous
to viscous electron current in graphene. Nature Communications. Springer
Nature. https://doi.org/10.1038/s41467-019-08916-5
chicago: Mayzel, Jonathan, Victor Steinberg, and Atul Varshney. “Stokes Flow Analogous
to Viscous Electron Current in Graphene.” Nature Communications. Springer
Nature, 2019. https://doi.org/10.1038/s41467-019-08916-5.
ieee: J. Mayzel, V. Steinberg, and A. Varshney, “Stokes flow analogous to viscous
electron current in graphene,” Nature Communications, vol. 10. Springer
Nature, 2019.
ista: Mayzel J, Steinberg V, Varshney A. 2019. Stokes flow analogous to viscous
electron current in graphene. Nature Communications. 10, 937.
mla: Mayzel, Jonathan, et al. “Stokes Flow Analogous to Viscous Electron Current
in Graphene.” Nature Communications, vol. 10, 937, Springer Nature, 2019,
doi:10.1038/s41467-019-08916-5.
short: J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019).
corr_author: '1'
date_created: 2019-03-05T13:18:30Z
date_published: 2019-02-26T00:00:00Z
date_updated: 2025-04-14T07:44:00Z
day: '26'
ddc:
- '530'
- '532'
department:
- _id: BjHo
doi: 10.1038/s41467-019-08916-5
ec_funded: 1
external_id:
isi:
- '000459704600001'
file:
- access_level: open_access
checksum: 61192fc49e0d44907c2a4fe384e4b97f
content_type: application/pdf
creator: dernst
date_created: 2019-03-05T13:33:04Z
date_updated: 2020-07-14T12:47:18Z
file_id: '6070'
file_name: 2019_NatureComm_Mayzel.pdf
file_size: 2646391
relation: main_file
file_date_updated: 2020-07-14T12:47:18Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Stokes flow analogous to viscous electron current in graphene
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: '6074'
abstract:
- lang: eng
text: "This dataset contains the supplementary data for the research paper \"Haploinsufficiency
of the intellectual disability gene SETD5 disturbs developmental gene expression
and cognition\".\r\n\r\nThe contained files have the following content:\r\n'Supplementary
Figures.pdf'\r\n\tAdditional figures (as referenced in the paper).\r\n'Supplementary
Table 1. Statistics.xlsx'\r\n\tDetails on statistical tests performed in the paper.\r\n'Supplementary
Table 2. Differentially expressed gene analysis.xlsx'\r\n\tResults for the differential
gene expression analysis for embryonic (E9.5; analysis with edgeR) and in vitro
(ESCs, EBs, NPCs; analysis with DESeq2) samples.\r\n'Supplementary Table 3. Gene
Ontology (GO) term enrichment analysis.xlsx'\r\n\tResults for the GO term enrichment
analysis for differentially expressed genes in embryonic (GO E9.5) and in vitro
(GO ESC, GO EBs, GO NPCs) samples. Differentially expressed genes for in vitro
samples were split into upregulated and downregulated genes (up/down) and the
analysis was performed on each subset (e.g. GO ESC up / GO ESC down).\r\n'Supplementary
Table 4. Differentially expressed gene analysis for CFC samples.xlsx'\r\n\tResults
for the differential gene expression analysis for samples from adult mice before
(HC - Homecage) and 1h and 3h after contextual fear conditioning (1h and 3h, respectively).
Each sheet shows the results for a different comparison. Sheets 1-3 show results
for comparisons between timepoints for wild type (WT) samples only and sheets
4-6 for the same comparisons in mutant (Het) samples. Sheets 7-9 show results
for comparisons between genotypes at each time point and sheet 10 contains the
results for the analysis of differential expression trajectories between wild
type and mutant.\r\n'Supplementary Table 5. Cluster identification.xlsx'\r\n\tResults
for k-means clustering of genes by expression. Sheet 1 shows clustering of just
the genes with significantly different expression trajectories between genotypes.
Sheet 2 shows clustering of all genes that are significantly differentially expressed
in any of the comparisons (includes also genes with same trajectories).\r\n'Supplementary
Table 6. GO term cluster analysis.xlsx'\r\n\tResults for the GO term enrichment
analysis and EWCE analysis for enrichment of cell type specific genes for each
cluster identified by clustering genes with different expression trajectories
(see Table S5, sheet 1).\r\n'Supplementary Table 7. Setd5 mass spectrometry results.xlsx'\r\n\tResults
showing proteins interacting with Setd5 as identified by mass spectrometry. Sheet
1 shows protein protein interaction data generated from these results (combined
with data from the STRING database. Sheet 2 shows the results of the statistical
analysis with limma.\r\n'Supplementary Table 8. PolII ChIP-seq analysis.xlsx'\r\n\tResults
for the Chip-Seq analysis for binding of RNA polymerase II (PolII). Sheet 1 shows
results for differential binding of PolII at the transcription start site (TSS)
between genotypes and sheets 2+3 show the corresponding GO enrichment analysis
for these differentially bound genes. Sheet 4 shows RNAseq counts for genes with
increased binding of PolII at the TSS."
article_processing_charge: No
author:
- first_name: Christoph
full_name: Dotter, Christoph
id: 4C66542E-F248-11E8-B48F-1D18A9856A87
last_name: Dotter
orcid: 0000-0002-9033-9096
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
citation:
ama: Dotter C, Novarino G. Supplementary data for the research paper “Haploinsufficiency
of the intellectual disability gene SETD5 disturbs developmental gene expression
and cognition.” 2019. doi:10.15479/AT:ISTA:6074
apa: Dotter, C., & Novarino, G. (2019). Supplementary data for the research
paper “Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental
gene expression and cognition.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6074
chicago: Dotter, Christoph, and Gaia Novarino. “Supplementary Data for the Research
Paper ‘Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental
Gene Expression and Cognition.’” Institute of Science and Technology Austria,
2019. https://doi.org/10.15479/AT:ISTA:6074.
ieee: C. Dotter and G. Novarino, “Supplementary data for the research paper ‘Haploinsufficiency
of the intellectual disability gene SETD5 disturbs developmental gene expression
and cognition.’” Institute of Science and Technology Austria, 2019.
ista: Dotter C, Novarino G. 2019. Supplementary data for the research paper ‘Haploinsufficiency
of the intellectual disability gene SETD5 disturbs developmental gene expression
and cognition’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:6074.
mla: Dotter, Christoph, and Gaia Novarino. Supplementary Data for the Research
Paper “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental
Gene Expression and Cognition.” Institute of Science and Technology Austria,
2019, doi:10.15479/AT:ISTA:6074.
short: C. Dotter, G. Novarino, (2019).
date_created: 2019-03-07T13:32:35Z
date_published: 2019-01-09T00:00:00Z
date_updated: 2025-04-15T07:50:27Z
day: '09'
ddc:
- '570'
department:
- _id: GaNo
doi: 10.15479/AT:ISTA:6074
file:
- access_level: open_access
checksum: bc1b285edca9e98a2c63d153c79bb75b
content_type: application/zip
creator: dernst
date_created: 2019-03-07T13:37:19Z
date_updated: 2020-07-14T12:47:18Z
file_id: '6084'
file_name: Setd5_paper.zip
file_size: 33202743
relation: supplementary_material
file_date_updated: 2020-07-14T12:47:18Z
has_accepted_license: '1'
month: '01'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '3'
relation: research_paper
status: public
status: public
title: Supplementary data for the research paper "Haploinsufficiency of the intellectual
disability gene SETD5 disturbs developmental gene expression and cognition"
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '6086'
abstract:
- lang: eng
text: We show that linear analytic cocycles where all Lyapunov exponents are negative
infinite are nilpotent. For such one-frequency cocycles we show that they can
be analytically conjugated to an upper triangular cocycle or a Jordan normal form.
As a consequence, an arbitrarily small analytic perturbation leads to distinct
Lyapunov exponents. Moreover, in the one-frequency case where the th Lyapunov
exponent is finite and the st negative infinite, we obtain a simple criterion
for domination in which case there is a splitting into a nilpotent part and an
invertible part.
article_processing_charge: No
arxiv: 1
author:
- first_name: Christian
full_name: Sadel, Christian
id: 4760E9F8-F248-11E8-B48F-1D18A9856A87
last_name: Sadel
orcid: 0000-0001-8255-3968
- first_name: Disheng
full_name: Xu, Disheng
last_name: Xu
citation:
ama: Sadel C, Xu D. Singular analytic linear cocycles with negative infinite Lyapunov
exponents. Ergodic Theory and Dynamical Systems. 2019;39(4):1082-1098.
doi:10.1017/etds.2017.52
apa: Sadel, C., & Xu, D. (2019). Singular analytic linear cocycles with negative
infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. Cambridge
University Press. https://doi.org/10.1017/etds.2017.52
chicago: Sadel, Christian, and Disheng Xu. “Singular Analytic Linear Cocycles with
Negative Infinite Lyapunov Exponents.” Ergodic Theory and Dynamical Systems.
Cambridge University Press, 2019. https://doi.org/10.1017/etds.2017.52.
ieee: C. Sadel and D. Xu, “Singular analytic linear cocycles with negative infinite
Lyapunov exponents,” Ergodic Theory and Dynamical Systems, vol. 39, no.
4. Cambridge University Press, pp. 1082–1098, 2019.
ista: Sadel C, Xu D. 2019. Singular analytic linear cocycles with negative infinite
Lyapunov exponents. Ergodic Theory and Dynamical Systems. 39(4), 1082–1098.
mla: Sadel, Christian, and Disheng Xu. “Singular Analytic Linear Cocycles with Negative
Infinite Lyapunov Exponents.” Ergodic Theory and Dynamical Systems, vol.
39, no. 4, Cambridge University Press, 2019, pp. 1082–98, doi:10.1017/etds.2017.52.
short: C. Sadel, D. Xu, Ergodic Theory and Dynamical Systems 39 (2019) 1082–1098.
date_created: 2019-03-10T22:59:18Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2025-04-15T06:50:24Z
day: '01'
department:
- _id: LaEr
doi: 10.1017/etds.2017.52
ec_funded: 1
external_id:
arxiv:
- '1601.06118'
isi:
- '000459725600012'
intvolume: ' 39'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1601.06118
month: '04'
oa: 1
oa_version: Preprint
page: 1082-1098
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Ergodic Theory and Dynamical Systems
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Singular analytic linear cocycles with negative infinite Lyapunov exponents
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 39
year: '2019'
...
---
_id: '6087'
abstract:
- lang: eng
text: Cell fate specification by lateral inhibition typically involves contact signaling
through the Delta-Notch signaling pathway. However, whether this is the only signaling
mode mediating lateral inhibition remains unclear. Here we show that in zebrafish
oogenesis, a group of cells within the granulosa cell layer at the oocyte animal
pole acquire elevated levels of the transcriptional coactivator TAZ in their nuclei.
One of these cells, the future micropyle precursor cell (MPC), accumulates increasingly
high levels of nuclear TAZ and grows faster than its surrounding cells, mechanically
compressing those cells, which ultimately lose TAZ from their nuclei. Strikingly,
relieving neighbor-cell compression by MPC ablation or aspiration restores nuclear
TAZ accumulation in neighboring cells, eventually leading to MPC re-specification
from these cells. Conversely, MPC specification is defective in taz−/− follicles.
These findings uncover a novel mode of lateral inhibition in cell fate specification
based on mechanical signals controlling TAZ activity.
acknowledged_ssus:
- _id: Bio
- _id: EM-Fac
- _id: LifeSc
acknowledgement: We thank Roland Dosch, Makoto Furutani-Seiki, Brian Link, Mary Mullins,
and Masazumi Tada for providing transgenic and/or mutant zebrafish lines; Alexandra
Schauer, Shayan Shami-Pour, and the rest of the Heisenberg lab for technical assistance
and feedback on the manuscript; and the Bioimaging, Electron Microscopy, and Zebrafish
facilities of IST Austria for continuous support. This work was supported by an
ERC advanced grant ( MECSPEC to C.-P.H.).
article_processing_charge: No
article_type: original
author:
- first_name: Peng
full_name: Xia, Peng
id: 4AB6C7D0-F248-11E8-B48F-1D18A9856A87
last_name: Xia
orcid: 0000-0002-5419-7756
- first_name: Daniel J
full_name: Gütl, Daniel J
id: 381929CE-F248-11E8-B48F-1D18A9856A87
last_name: Gütl
- first_name: Vanessa
full_name: Zheden, Vanessa
id: 39C5A68A-F248-11E8-B48F-1D18A9856A87
last_name: Zheden
orcid: 0000-0002-9438-4783
- 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: Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. Lateral inhibition in cell specification
mediated by mechanical signals modulating TAZ activity. Cell. 2019;176(6):1379-1392.e14.
doi:10.1016/j.cell.2019.01.019
apa: Xia, P., Gütl, D. J., Zheden, V., & Heisenberg, C.-P. J. (2019). Lateral
inhibition in cell specification mediated by mechanical signals modulating TAZ
activity. Cell. Elsevier. https://doi.org/10.1016/j.cell.2019.01.019
chicago: Xia, Peng, Daniel J Gütl, Vanessa Zheden, and Carl-Philipp J Heisenberg.
“Lateral Inhibition in Cell Specification Mediated by Mechanical Signals Modulating
TAZ Activity.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.01.019.
ieee: P. Xia, D. J. Gütl, V. Zheden, and C.-P. J. Heisenberg, “Lateral inhibition
in cell specification mediated by mechanical signals modulating TAZ activity,”
Cell, vol. 176, no. 6. Elsevier, p. 1379–1392.e14, 2019.
ista: Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. 2019. Lateral inhibition in cell
specification mediated by mechanical signals modulating TAZ activity. Cell. 176(6),
1379–1392.e14.
mla: Xia, Peng, et al. “Lateral Inhibition in Cell Specification Mediated by Mechanical
Signals Modulating TAZ Activity.” Cell, vol. 176, no. 6, Elsevier, 2019,
p. 1379–1392.e14, doi:10.1016/j.cell.2019.01.019.
short: P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
date_created: 2019-03-10T22:59:19Z
date_published: 2019-03-07T00:00:00Z
date_updated: 2025-04-14T07:46:59Z
day: '07'
department:
- _id: CaHe
- _id: EM-Fac
doi: 10.1016/j.cell.2019.01.019
ec_funded: 1
external_id:
isi:
- '000460509600013'
pmid:
- '30773315'
intvolume: ' 176'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2019.01.019
month: '03'
oa: 1
oa_version: Published Version
page: 1379-1392.e14
pmid: 1
project:
- _id: 260F1432-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742573'
name: Interaction and feedback between cell mechanics and fate specification in
vertebrate gastrulation
publication: Cell
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/in-zebrafish-eggs-most-rapidly-growing-cell-inhibits-its-neighbours-through-mechanical-signals/
scopus_import: '1'
status: public
title: Lateral inhibition in cell specification mediated by mechanical signals modulating
TAZ activity
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 176
year: '2019'
...
---
_id: '6088'
abstract:
- lang: eng
text: P-Glycoprotein (ABCB1) and breast cancer resistance protein (ABCG2) are two
efflux transporters at the blood–brain barrier (BBB), which effectively restrict
brain distribution of diverse drugs, such as tyrosine kinase inhibitors. There
is a crucial need for pharmacological ABCB1 and ABCG2 inhibition protocols for
a more effective treatment of brain diseases. In the present study, seven marketed
drugs (osimertinib, erlotinib, nilotinib, imatinib, lapatinib, pazopanib, and
cyclosporine A) and one nonmarketed drug (tariquidar), with known in vitro ABCB1/ABCG2
inhibitory properties, were screened for their inhibitory potency at the BBB in
vivo. Positron emission tomography (PET) using the model ABCB1/ABCG2 substrate
[11C]erlotinib was performed in mice. Tested inhibitors were administered as i.v.
bolus injections at 30 min before the start of the PET scan, followed by a continuous
i.v. infusion for the duration of the PET scan. Five of the tested drugs increased
total distribution volume of [11C]erlotinib in the brain (VT,brain) compared to
vehicle-treated animals (tariquidar, + 69%; erlotinib, + 19% and +23% for the
21.5 mg/kg and the 43 mg/kg dose, respectively; imatinib, + 22%; lapatinib, +
25%; and cyclosporine A, + 49%). For all drugs, increases in [11C]erlotinib brain
distribution were lower than in Abcb1a/b(−/−)Abcg2(−/−) mice (+149%), which suggested
that only partial ABCB1/ABCG2 inhibition was reached at the mouse BBB. The plasma
concentrations of the tested drugs at the time of the PET scan were higher than
clinically achievable plasma concentrations. Some of the tested drugs led to significant
increases in blood radioactivity concentrations measured at the end of the PET
scan (erlotinib, + 103% and +113% for the 21.5 mg/kg and the 43 mg/kg dose, respectively;
imatinib, + 125%; and cyclosporine A, + 101%), which was most likely caused by
decreased hepatobiliary excretion of radioactivity. Taken together, our data suggest
that some marketed tyrosine kinase inhibitors may be repurposed to inhibit ABCB1
and ABCG2 at the BBB. From a clinical perspective, moderate increases in brain
delivery despite the administration of high i.v. doses as well as peripheral drug–drug
interactions due to transporter inhibition in clearance organs question the translatability
of this concept.
article_processing_charge: No
author:
- first_name: Alexander
full_name: Traxl, Alexander
last_name: Traxl
- first_name: Severin
full_name: Mairinger, Severin
last_name: Mairinger
- first_name: Thomas
full_name: Filip, Thomas
last_name: Filip
- first_name: Michael
full_name: Sauberer, Michael
last_name: Sauberer
- first_name: Johann
full_name: Stanek, Johann
last_name: Stanek
- first_name: Stefan
full_name: Poschner, Stefan
last_name: Poschner
- first_name: Walter
full_name: Jäger, Walter
last_name: Jäger
- first_name: Viktoria
full_name: Zoufal, Viktoria
last_name: Zoufal
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Nicolas
full_name: Tournier, Nicolas
last_name: Tournier
- first_name: Martin
full_name: Bauer, Martin
last_name: Bauer
- first_name: Thomas
full_name: Wanek, Thomas
last_name: Wanek
- first_name: Oliver
full_name: Langer, Oliver
last_name: Langer
citation:
ama: Traxl A, Mairinger S, Filip T, et al. Inhibition of ABCB1 and ABCG2 at the
mouse blood-brain barrier with marketed drugs to improve brain delivery of the
model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics. 2019;16(3):1282-1293.
doi:10.1021/acs.molpharmaceut.8b01217
apa: Traxl, A., Mairinger, S., Filip, T., Sauberer, M., Stanek, J., Poschner, S.,
… Langer, O. (2019). Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier
with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate
[11C]erlotinib. Molecular Pharmaceutics. American Chemical Society. https://doi.org/10.1021/acs.molpharmaceut.8b01217
chicago: Traxl, Alexander, Severin Mairinger, Thomas Filip, Michael Sauberer, Johann
Stanek, Stefan Poschner, Walter Jäger, et al. “Inhibition of ABCB1 and ABCG2 at
the Mouse Blood-Brain Barrier with Marketed Drugs to Improve Brain Delivery of
the Model ABCB1/ABCG2 Substrate [11C]Erlotinib.” Molecular Pharmaceutics.
American Chemical Society, 2019. https://doi.org/10.1021/acs.molpharmaceut.8b01217.
ieee: A. Traxl et al., “Inhibition of ABCB1 and ABCG2 at the mouse blood-brain
barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2
substrate [11C]erlotinib,” Molecular Pharmaceutics, vol. 16, no. 3. American
Chemical Society, pp. 1282–1293, 2019.
ista: Traxl A, Mairinger S, Filip T, Sauberer M, Stanek J, Poschner S, Jäger W,
Zoufal V, Novarino G, Tournier N, Bauer M, Wanek T, Langer O. 2019. Inhibition
of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve
brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics.
16(3), 1282–1293.
mla: Traxl, Alexander, et al. “Inhibition of ABCB1 and ABCG2 at the Mouse Blood-Brain
Barrier with Marketed Drugs to Improve Brain Delivery of the Model ABCB1/ABCG2
Substrate [11C]Erlotinib.” Molecular Pharmaceutics, vol. 16, no. 3, American
Chemical Society, 2019, pp. 1282–93, doi:10.1021/acs.molpharmaceut.8b01217.
short: A. Traxl, S. Mairinger, T. Filip, M. Sauberer, J. Stanek, S. Poschner, W.
Jäger, V. Zoufal, G. Novarino, N. Tournier, M. Bauer, T. Wanek, O. Langer, Molecular
Pharmaceutics 16 (2019) 1282–1293.
date_created: 2019-03-10T22:59:19Z
date_published: 2019-03-04T00:00:00Z
date_updated: 2023-08-25T08:02:51Z
day: '04'
department:
- _id: GaNo
doi: 10.1021/acs.molpharmaceut.8b01217
external_id:
isi:
- '000460600400031'
pmid:
- '30694684'
intvolume: ' 16'
isi: 1
issue: '3'
language:
- iso: eng
month: '03'
oa_version: None
page: 1282-1293
pmid: 1
publication: Molecular Pharmaceutics
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed
drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 16
year: '2019'
...