---
_id: '707'
abstract:
- lang: eng
text: We answer a question of M. Gromov on the waist of the unit ball.
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: Karasev, Roman
last_name: Karasev
citation:
ama: Akopyan A, Karasev R. A tight estimate for the waist of the ball . Bulletin
of the London Mathematical Society. 2017;49(4):690-693. doi:10.1112/blms.12062
apa: Akopyan, A., & Karasev, R. (2017). A tight estimate for the waist of the
ball . Bulletin of the London Mathematical Society. Wiley-Blackwell. https://doi.org/10.1112/blms.12062
chicago: Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of
the Ball .” Bulletin of the London Mathematical Society. Wiley-Blackwell,
2017. https://doi.org/10.1112/blms.12062.
ieee: A. Akopyan and R. Karasev, “A tight estimate for the waist of the ball ,”
Bulletin of the London Mathematical Society, vol. 49, no. 4. Wiley-Blackwell,
pp. 690–693, 2017.
ista: Akopyan A, Karasev R. 2017. A tight estimate for the waist of the ball . Bulletin
of the London Mathematical Society. 49(4), 690–693.
mla: Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the
Ball .” Bulletin of the London Mathematical Society, vol. 49, no. 4, Wiley-Blackwell,
2017, pp. 690–93, doi:10.1112/blms.12062.
short: A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017)
690–693.
date_created: 2018-12-11T11:48:02Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2021-01-12T08:11:41Z
day: '01'
department:
- _id: HeEd
doi: 10.1112/blms.12062
ec_funded: 1
intvolume: ' 49'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1608.06279
month: '08'
oa: 1
oa_version: Preprint
page: 690 - 693
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Bulletin of the London Mathematical Society
publication_identifier:
issn:
- '00246093'
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6982'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'A tight estimate for the waist of the ball '
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 49
year: '2017'
...
---
_id: '708'
abstract:
- lang: eng
text: 'In the developing and adult brain, oligodendrocyte precursor cells (OPCs)
are influenced by neuronal activity: they are involved in synaptic signaling with
neurons, and their proliferation and differentiation into myelinating glia can
be altered by transient changes in neuronal firing. An important question that
has been unanswered is whether OPCs can discriminate different patterns of neuronal
activity and respond to them in a distinct way. Here, we demonstrate in brain
slices that the pattern of neuronal activity determines the functional changes
triggered at synapses between axons and OPCs. Furthermore, we show that stimulation
of the corpus callosum at different frequencies in vivo affects proliferation
and differentiation of OPCs in a dissimilar way. Our findings suggest that neurons
do not influence OPCs in “all-or-none” fashion but use their firing pattern to
tune the response and behavior of these nonneuronal cells.'
article_number: e2001993
author:
- first_name: Balint
full_name: Nagy, Balint
id: 30F830CE-02D1-11E9-9BAA-DAF4881429F2
last_name: Nagy
orcid: 0000-0002-4002-4686
- first_name: Anahit
full_name: Hovhannisyan, Anahit
last_name: Hovhannisyan
- first_name: Ruxandra
full_name: Barzan, Ruxandra
last_name: Barzan
- first_name: Ting
full_name: Chen, Ting
last_name: Chen
- first_name: Maria
full_name: Kukley, Maria
last_name: Kukley
citation:
ama: Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. Different patterns of neuronal
activity trigger distinct responses of oligodendrocyte precursor cells in the
corpus callosum. PLoS Biology. 2017;15(8). doi:10.1371/journal.pbio.2001993
apa: Nagy, B., Hovhannisyan, A., Barzan, R., Chen, T., & Kukley, M. (2017).
Different patterns of neuronal activity trigger distinct responses of oligodendrocyte
precursor cells in the corpus callosum. PLoS Biology. Public Library of
Science. https://doi.org/10.1371/journal.pbio.2001993
chicago: Nagy, Balint, Anahit Hovhannisyan, Ruxandra Barzan, Ting Chen, and Maria
Kukley. “Different Patterns of Neuronal Activity Trigger Distinct Responses of
Oligodendrocyte Precursor Cells in the Corpus Callosum.” PLoS Biology.
Public Library of Science, 2017. https://doi.org/10.1371/journal.pbio.2001993.
ieee: B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, and M. Kukley, “Different patterns
of neuronal activity trigger distinct responses of oligodendrocyte precursor cells
in the corpus callosum,” PLoS Biology, vol. 15, no. 8. Public Library of
Science, 2017.
ista: Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. 2017. Different patterns
of neuronal activity trigger distinct responses of oligodendrocyte precursor cells
in the corpus callosum. PLoS Biology. 15(8), e2001993.
mla: Nagy, Balint, et al. “Different Patterns of Neuronal Activity Trigger Distinct
Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.” PLoS
Biology, vol. 15, no. 8, e2001993, Public Library of Science, 2017, doi:10.1371/journal.pbio.2001993.
short: B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15
(2017).
date_created: 2018-12-11T11:48:03Z
date_published: 2017-08-22T00:00:00Z
date_updated: 2021-01-12T08:11:45Z
day: '22'
ddc:
- '576'
- '610'
department:
- _id: SaSi
doi: 10.1371/journal.pbio.2001993
file:
- access_level: open_access
checksum: 0c974f430682dc832ea7b27ab5a93124
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:35Z
date_updated: 2020-07-14T12:47:49Z
file_id: '5156'
file_name: IST-2017-889-v1+1_journal.pbio.2001993.pdf
file_size: 18155365
relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: ' 15'
issue: '8'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '08'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_identifier:
issn:
- '15449173'
publication_status: published
publisher: Public Library of Science
publist_id: '6983'
pubrep_id: '889'
quality_controlled: '1'
scopus_import: 1
status: public
title: Different patterns of neuronal activity trigger distinct responses of oligodendrocyte
precursor cells in the corpus callosum
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: 15
year: '2017'
...
---
_id: '709'
abstract:
- lang: eng
text: Adipose tissues play key roles in energy homeostasis. Brown adipocytes and
beige adipocytes in white adipose tissue (WAT) share the similar characters of
thermogenesis, both of them could be potential targets for obesity management.
Several thermo-sensitive transient receptor potential channels (thermoTRPs) are
shown to be involved in adipocyte biology. However, the expression pattern of
thermoTRPs in adipose tissues from obese mice is still unknown. The mRNA expression
of thermoTRPs in subcutaneous WAT (sWAT) and interscapular brown adipose tissue
(iBAT) from lean and obese mice were measured using reverse transcriptase-quantitative
PCRs (RT-qPCR). The results demonstrated that all 10 thermoTRPs are expressed
in both iBAT and sWAT, and without significant difference in the mRNA expression
level of thermoTRPs between these two tissues. Moreover, Trpv1 and Trpv3 mRNA
expression levels in both iBAT and sWAT were significantly decreased in high fat
diet (HFD)-induced obese mice and db/db (leptin receptor deficient) mice. Trpm2
mRNA expression level was significantly decreased only in sWAT from HFD-induced
obese mice and db/db mice. On the other hand, Trpv2 and Trpv4 mRNA expression
levels in iBAT and sWAT were significantly increased in HFD-induced obese mice
and db/db mice. Taken together, we conclude that all 10 thermoTRPs are expressed
in iBAT and sWAT. And several thermoTRPs differentially expressed in adipose tissues
from HFD-induced obese mice and db/db mice, suggesting a potential involvement
in anti-obesity regulations.
author:
- first_name: Wuping
full_name: Sun, Wuping
last_name: Sun
- first_name: Chen
full_name: Li, Chen
last_name: Li
- first_name: Yonghong
full_name: Zhang, Yonghong
last_name: Zhang
- first_name: Changyu
full_name: Jiang, Changyu
last_name: Jiang
- first_name: Ming-Zhu
full_name: Zhai, Ming-Zhu
id: 34009CFA-F248-11E8-B48F-1D18A9856A87
last_name: Zhai
- first_name: Qian
full_name: Zhou, Qian
last_name: Zhou
- first_name: Lizu
full_name: Xiao, Lizu
last_name: Xiao
- first_name: Qiwen
full_name: Deng, Qiwen
last_name: Deng
citation:
ama: Sun W, Li C, Zhang Y, et al. Gene expression changes of thermo sensitive transient
receptor potential channels in obese mice. Cell Biology International.
2017;41(8):908-913. doi:10.1002/cbin.10783
apa: Sun, W., Li, C., Zhang, Y., Jiang, C., Zhai, M.-Z., Zhou, Q., … Deng, Q. (2017).
Gene expression changes of thermo sensitive transient receptor potential channels
in obese mice. Cell Biology International. Wiley-Blackwell. https://doi.org/10.1002/cbin.10783
chicago: Sun, Wuping, Chen Li, Yonghong Zhang, Changyu Jiang, Ming-Zhu Zhai, Qian
Zhou, Lizu Xiao, and Qiwen Deng. “Gene Expression Changes of Thermo Sensitive
Transient Receptor Potential Channels in Obese Mice.” Cell Biology International.
Wiley-Blackwell, 2017. https://doi.org/10.1002/cbin.10783.
ieee: W. Sun et al., “Gene expression changes of thermo sensitive transient
receptor potential channels in obese mice,” Cell Biology International,
vol. 41, no. 8. Wiley-Blackwell, pp. 908–913, 2017.
ista: Sun W, Li C, Zhang Y, Jiang C, Zhai M-Z, Zhou Q, Xiao L, Deng Q. 2017. Gene
expression changes of thermo sensitive transient receptor potential channels in
obese mice. Cell Biology International. 41(8), 908–913.
mla: Sun, Wuping, et al. “Gene Expression Changes of Thermo Sensitive Transient
Receptor Potential Channels in Obese Mice.” Cell Biology International,
vol. 41, no. 8, Wiley-Blackwell, 2017, pp. 908–13, doi:10.1002/cbin.10783.
short: W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng,
Cell Biology International 41 (2017) 908–913.
date_created: 2018-12-11T11:48:04Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2021-01-12T08:11:47Z
day: '01'
department:
- _id: RySh
doi: 10.1002/cbin.10783
intvolume: ' 41'
issue: '8'
language:
- iso: eng
month: '08'
oa_version: None
page: 908 - 913
publication: Cell Biology International
publication_identifier:
issn:
- '10656995'
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6981'
quality_controlled: '1'
scopus_import: 1
status: public
title: Gene expression changes of thermo sensitive transient receptor potential channels
in obese mice
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 41
year: '2017'
...
---
_id: '710'
abstract:
- lang: eng
text: 'We revisit the problem of estimating entropy of discrete distributions from
independent samples, studied recently by Acharya, Orlitsky, Suresh and Tyagi (SODA
2015), improving their upper and lower bounds on the necessary sample size n.
For estimating Renyi entropy of order alpha, up to constant accuracy and error
probability, we show the following * Upper bounds n = O(1) 2^{(1-1/alpha)H_alpha}
for integer alpha>1, as the worst case over distributions with Renyi entropy
equal to H_alpha. * Lower bounds n = Omega(1) K^{1-1/alpha} for any real alpha>1,
with the constant being an inverse polynomial of the accuracy, as the worst case
over all distributions on K elements. Our upper bounds essentially replace the
alphabet size by a factor exponential in the entropy, which offers improvements
especially in low or medium entropy regimes (interesting for example in anomaly
detection). As for the lower bounds, our proof explicitly shows how the complexity
depends on both alphabet and accuracy, partially solving the open problem posted
in previous works. The argument for upper bounds derives a clean identity for
the variance of falling-power sum of a multinomial distribution. Our approach
for lower bounds utilizes convex optimization to find a distribution with possibly
worse estimation performance, and may be of independent interest as a tool to
work with Le Cam’s two point method. '
alternative_title:
- LIPIcs
article_number: '20'
author:
- first_name: Maciej
full_name: Obremski, Maciej
last_name: Obremski
- first_name: Maciej
full_name: Skórski, Maciej
id: EC09FA6A-02D0-11E9-8223-86B7C91467DD
last_name: Skórski
citation:
ama: 'Obremski M, Skórski M. Renyi entropy estimation revisited. In: Vol 81. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.APPROX-RANDOM.2017.20'
apa: 'Obremski, M., & Skórski, M. (2017). Renyi entropy estimation revisited
(Vol. 81). Presented at the 20th International Workshop on Approximation Algorithms
for Combinatorial Optimization Problems, APPROX, Berkeley, USA: Schloss Dagstuhl
- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20'
chicago: Obremski, Maciej, and Maciej Skórski. “Renyi Entropy Estimation Revisited,”
Vol. 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20.
ieee: M. Obremski and M. Skórski, “Renyi entropy estimation revisited,” presented
at the 20th International Workshop on Approximation Algorithms for Combinatorial
Optimization Problems, APPROX, Berkeley, USA, 2017, vol. 81.
ista: Obremski M, Skórski M. 2017. Renyi entropy estimation revisited. 20th International
Workshop on Approximation Algorithms for Combinatorial Optimization Problems,
APPROX, LIPIcs, vol. 81, 20.
mla: Obremski, Maciej, and Maciej Skórski. Renyi Entropy Estimation Revisited.
Vol. 81, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.APPROX-RANDOM.2017.20.
short: M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2017.
conference:
end_date: 2017-08-18
location: Berkeley, USA
name: 20th International Workshop on Approximation Algorithms for Combinatorial
Optimization Problems, APPROX
start_date: 2017-08-18
date_created: 2018-12-11T11:48:04Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2021-01-12T08:11:50Z
day: '01'
ddc:
- '005'
- '600'
department:
- _id: KrPi
doi: 10.4230/LIPIcs.APPROX-RANDOM.2017.20
ec_funded: 1
file:
- access_level: open_access
checksum: 89225c7dcec2c93838458c9102858985
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:10Z
date_updated: 2020-07-14T12:47:49Z
file_id: '4991'
file_name: IST-2017-888-v1+1_LIPIcs-APPROX-RANDOM-2017-20.pdf
file_size: 604813
relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: ' 81'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_identifier:
issn:
- '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '6979'
pubrep_id: '888'
quality_controlled: '1'
scopus_import: 1
status: public
title: Renyi entropy estimation revisited
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 81
year: '2017'
...
---
_id: '713'
abstract:
- lang: eng
text: To determine the dynamics of allelic-specific expression during mouse development,
we analyzed RNA-seq data from 23 F1 tissues from different developmental stages,
including 19 female tissues allowing X chromosome inactivation (XCI) escapers
to also be detected. We demonstrate that allelic expression arising from genetic
or epigenetic differences is highly tissue-specific. We find that tissue-specific
strain-biased gene expression may be regulated by tissue-specific enhancers or
by post-transcriptional differences in stability between the alleles. We also
find that escape from X-inactivation is tissue-specific, with leg muscle showing
an unexpectedly high rate of XCI escapers. By surveying a range of tissues during
development, and performing extensive validation, we are able to provide a high
confidence list of mouse imprinted genes including 18 novel genes. This shows
that cluster size varies dynamically during development and can be substantially
larger than previously thought, with the Igf2r cluster extending over 10 Mb in
placenta.
article_number: e25125
author:
- first_name: Daniel
full_name: Andergassen, Daniel
last_name: Andergassen
- first_name: Christoph
full_name: Dotter, Christoph
id: 4C66542E-F248-11E8-B48F-1D18A9856A87
last_name: Dotter
- first_name: Dyniel
full_name: Wenzel, Dyniel
last_name: Wenzel
- first_name: Verena
full_name: Sigl, Verena
last_name: Sigl
- first_name: Philipp
full_name: Bammer, Philipp
last_name: Bammer
- first_name: Markus
full_name: Muckenhuber, Markus
last_name: Muckenhuber
- first_name: Daniela
full_name: Mayer, Daniela
last_name: Mayer
- first_name: Tomasz
full_name: Kulinski, Tomasz
last_name: Kulinski
- first_name: Hans
full_name: Theussl, Hans
last_name: Theussl
- first_name: Josef
full_name: Penninger, Josef
last_name: Penninger
- first_name: Christoph
full_name: Bock, Christoph
last_name: Bock
- first_name: Denise
full_name: Barlow, Denise
last_name: Barlow
- first_name: Florian
full_name: Pauler, Florian
id: 48EA0138-F248-11E8-B48F-1D18A9856A87
last_name: Pauler
- first_name: Quanah
full_name: Hudson, Quanah
last_name: Hudson
citation:
ama: Andergassen D, Dotter C, Wenzel D, et al. Mapping the mouse Allelome reveals
tissue specific regulation of allelic expression. eLife. 2017;6. doi:10.7554/eLife.25125
apa: Andergassen, D., Dotter, C., Wenzel, D., Sigl, V., Bammer, P., Muckenhuber,
M., … Hudson, Q. (2017). Mapping the mouse Allelome reveals tissue specific regulation
of allelic expression. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.25125
chicago: Andergassen, Daniel, Christoph Dotter, Dyniel Wenzel, Verena Sigl, Philipp
Bammer, Markus Muckenhuber, Daniela Mayer, et al. “Mapping the Mouse Allelome
Reveals Tissue Specific Regulation of Allelic Expression.” ELife. eLife
Sciences Publications, 2017. https://doi.org/10.7554/eLife.25125.
ieee: D. Andergassen et al., “Mapping the mouse Allelome reveals tissue specific
regulation of allelic expression,” eLife, vol. 6. eLife Sciences Publications,
2017.
ista: Andergassen D, Dotter C, Wenzel D, Sigl V, Bammer P, Muckenhuber M, Mayer
D, Kulinski T, Theussl H, Penninger J, Bock C, Barlow D, Pauler F, Hudson Q. 2017.
Mapping the mouse Allelome reveals tissue specific regulation of allelic expression.
eLife. 6, e25125.
mla: Andergassen, Daniel, et al. “Mapping the Mouse Allelome Reveals Tissue Specific
Regulation of Allelic Expression.” ELife, vol. 6, e25125, eLife Sciences
Publications, 2017, doi:10.7554/eLife.25125.
short: D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber,
D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler,
Q. Hudson, ELife 6 (2017).
date_created: 2018-12-11T11:48:05Z
date_published: 2017-08-14T00:00:00Z
date_updated: 2021-01-12T08:11:57Z
day: '14'
ddc:
- '576'
department:
- _id: GaNo
- _id: SiHi
doi: 10.7554/eLife.25125
file:
- access_level: open_access
checksum: 1ace3462e64a971b9ead896091829549
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:36Z
date_updated: 2020-07-14T12:47:50Z
file_id: '5020'
file_name: IST-2017-885-v1+1_elife-25125-figures-v2.pdf
file_size: 6399510
relation: main_file
- access_level: open_access
checksum: 6241dc31eeb87b03facadec3a53a6827
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:36Z
date_updated: 2020-07-14T12:47:50Z
file_id: '5021'
file_name: IST-2017-885-v1+2_elife-25125-v2.pdf
file_size: 4264398
relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
has_accepted_license: '1'
intvolume: ' 6'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25E9AF9E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27201-B22
name: Revealing the mechanisms underlying drug interactions
publication: eLife
publication_identifier:
issn:
- 2050084X
publication_status: published
publisher: eLife Sciences Publications
publist_id: '6971'
pubrep_id: '885'
quality_controlled: '1'
scopus_import: 1
status: public
title: Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
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: 6
year: '2017'
...
---
_id: '711'
abstract:
- lang: eng
text: Nested weighted automata (NWA) present a robust and convenient automata-theoretic
formalism for quantitative specifications. Previous works have considered NWA
that processed input words only in the forward direction. It is natural to allow
the automata to process input words backwards as well, for example, to measure
the maximal or average time between a response and the preceding request. We therefore
introduce and study bidirectional NWA that can process input words in both directions.
First, we show that bidirectional NWA can express interesting quantitative properties
that are not expressible by forward-only NWA. Second, for the fundamental decision
problems of emptiness and universality, we establish decidability and complexity
results for the new framework which match the best-known results for the special
case of forward-only NWA. Thus, for NWA, the increased expressiveness of bidirectionality
is achieved at no additional computational complexity. This is in stark contrast
to the unweighted case, where bidirectional finite automata are no more expressive
but exponentially more succinct than their forward-only counterparts.
alternative_title:
- LIPIcs
article_number: '5'
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Jan
full_name: Otop, Jan
last_name: Otop
citation:
ama: 'Chatterjee K, Henzinger TA, Otop J. Bidirectional nested weighted automata.
In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.5'
apa: 'Chatterjee, K., Henzinger, T. A., & Otop, J. (2017). Bidirectional nested
weighted automata (Vol. 85). Presented at the 28th International Conference on
Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2017.5'
chicago: Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional
Nested Weighted Automata,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.5.
ieee: K. Chatterjee, T. A. Henzinger, and J. Otop, “Bidirectional nested weighted
automata,” presented at the 28th International Conference on Concurrency Theory,
CONCUR, Berlin, Germany, 2017, vol. 85.
ista: Chatterjee K, Henzinger TA, Otop J. 2017. Bidirectional nested weighted automata.
28th International Conference on Concurrency Theory, CONCUR, LIPIcs, vol. 85,
5.
mla: Chatterjee, Krishnendu, et al. Bidirectional Nested Weighted Automata.
Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.5.
short: K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2017.
conference:
end_date: 2017-09-08
location: Berlin, Germany
name: 28th International Conference on Concurrency Theory, CONCUR
start_date: 2017-09-05
date_created: 2018-12-11T11:48:04Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2021-01-12T08:11:53Z
day: '01'
ddc:
- '004'
- '005'
department:
- _id: KrCh
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2017.5
file:
- access_level: open_access
checksum: d2bda4783821a6358333fe27f11f4737
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:02Z
date_updated: 2020-07-14T12:47:49Z
file_id: '4661'
file_name: IST-2017-886-v1+1_LIPIcs-CONCUR-2017-5.pdf
file_size: 570294
relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: ' 85'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication_identifier:
issn:
- '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '6976'
pubrep_id: '886'
quality_controlled: '1'
scopus_import: 1
status: public
title: Bidirectional nested weighted automata
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 85
year: '2017'
...
---
_id: '712'
abstract:
- lang: eng
text: 'We establish a weak–strong uniqueness principle for solutions to entropy-dissipating
reaction–diffusion equations: As long as a strong solution to the reaction–diffusion
equation exists, any weak solution and even any renormalized solution must coincide
with this strong solution. Our assumptions on the reaction rates are just the
entropy condition and local Lipschitz continuity; in particular, we do not impose
any growth restrictions on the reaction rates. Therefore, our result applies to
any single reversible reaction with mass-action kinetics as well as to systems
of reversible reactions with mass-action kinetics satisfying the detailed balance
condition. Renormalized solutions are known to exist globally in time for reaction–diffusion
equations with entropy-dissipating reaction rates; in contrast, the global-in-time
existence of weak solutions is in general still an open problem–even for smooth
data–, thereby motivating the study of renormalized solutions. The key ingredient
of our result is a careful adjustment of the usual relative entropy functional,
whose evolution cannot be controlled properly for weak solutions or renormalized
solutions.'
author:
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: 'Fischer JL. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion
equations. Nonlinear Analysis: Theory, Methods and Applications. 2017;159:181-207.
doi:10.1016/j.na.2017.03.001'
apa: 'Fischer, J. L. (2017). Weak–strong uniqueness of solutions to entropy dissipating
reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications.
Elsevier. https://doi.org/10.1016/j.na.2017.03.001'
chicago: 'Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating
Reaction–Diffusion Equations.” Nonlinear Analysis: Theory, Methods and Applications.
Elsevier, 2017. https://doi.org/10.1016/j.na.2017.03.001.'
ieee: 'J. L. Fischer, “Weak–strong uniqueness of solutions to entropy dissipating
reaction–diffusion equations,” Nonlinear Analysis: Theory, Methods and Applications,
vol. 159. Elsevier, pp. 181–207, 2017.'
ista: 'Fischer JL. 2017. Weak–strong uniqueness of solutions to entropy dissipating
reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications.
159, 181–207.'
mla: 'Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating
Reaction–Diffusion Equations.” Nonlinear Analysis: Theory, Methods and Applications,
vol. 159, Elsevier, 2017, pp. 181–207, doi:10.1016/j.na.2017.03.001.'
short: 'J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017)
181–207.'
date_created: 2018-12-11T11:48:05Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2021-01-12T08:11:55Z
day: '01'
department:
- _id: JuFi
doi: 10.1016/j.na.2017.03.001
intvolume: ' 159'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1703.00730
month: '08'
oa: 1
oa_version: Submitted Version
page: 181 - 207
publication: 'Nonlinear Analysis: Theory, Methods and Applications'
publication_identifier:
issn:
- 0362546X
publication_status: published
publisher: Elsevier
publist_id: '6975'
quality_controlled: '1'
scopus_import: 1
status: public
title: Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion
equations
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 159
year: '2017'
...
---
_id: '714'
abstract:
- lang: eng
text: Background HIV-1 infection and drug abuse are frequently co-morbid and their
association greatly increases the severity of HIV-1-induced neuropathology. While
nucleus accumbens (NAcc) function is severely perturbed by drugs of abuse, little
is known about how HIV-1 infection affects NAcc. Methods We used calcium and voltage
imaging to investigate the effect of HIV-1 trans-activator of transcription (Tat)
on rat NAcc. Based on previous neuronal studies, we hypothesized that Tat modulates
intracellular Ca2+ homeostasis of NAcc neurons. Results We provide evidence that
Tat triggers a Ca2+ signaling cascade in NAcc medium spiny neurons (MSN) expressing
D1-like dopamine receptors leading to neuronal depolarization. Firstly, Tat induced
inositol 1,4,5-trisphsophate (IP3) receptor-mediated Ca2+ release from endoplasmic
reticulum, followed by Ca2+ and Na+ influx via transient receptor potential canonical
channels. The influx of cations depolarizes the membrane promoting additional
Ca2+ entry through voltage-gated P/Q-type Ca2+ channels and opening of tetrodotoxin-sensitive
Na+ channels. By activating this mechanism, Tat elicits a feed-forward depolarization
increasing the excitability of D1-phosphatidylinositol-linked NAcc MSN. We previously
found that cocaine targets NAcc neurons directly (independent of the inhibition
of dopamine transporter) only when IP3-generating mechanisms are concomitantly
initiated. When tested here, cocaine produced a dose-dependent potentiation of
the effect of Tat on cytosolic Ca2+. Conclusion We describe for the first time
a HIV-1 Tat-triggered Ca2+ signaling in MSN of NAcc involving TRPC and depolarization
and a potentiation of the effect of Tat by cocaine, which may be relevant for
the reward axis in cocaine-abusing HIV-1-positive patients.
acknowledgement: This work was supported by the National Institutes of Health grants
DA035926 (to MEA), and P30DA013429 (to EMU).
article_processing_charge: No
article_type: original
author:
- first_name: Gabriela
full_name: Brailoiu, Gabriela
last_name: Brailoiu
- first_name: Elena
full_name: Deliu, Elena
id: 37A40D7E-F248-11E8-B48F-1D18A9856A87
last_name: Deliu
orcid: 0000-0002-7370-5293
- first_name: Jeffrey
full_name: Barr, Jeffrey
last_name: Barr
- first_name: Linda
full_name: Console Bram, Linda
last_name: Console Bram
- first_name: Alexandra
full_name: Ciuciu, Alexandra
last_name: Ciuciu
- first_name: Mary
full_name: Abood, Mary
last_name: Abood
- first_name: Ellen
full_name: Unterwald, Ellen
last_name: Unterwald
- first_name: Eugen
full_name: Brǎiloiu, Eugen
last_name: Brǎiloiu
citation:
ama: Brailoiu G, Deliu E, Barr J, et al. HIV Tat excites D1 receptor-like expressing
neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 2017;178:7-14.
doi:10.1016/j.drugalcdep.2017.04.015
apa: Brailoiu, G., Deliu, E., Barr, J., Console Bram, L., Ciuciu, A., Abood, M.,
… Brǎiloiu, E. (2017). HIV Tat excites D1 receptor-like expressing neurons from
rat nucleus accumbens. Drug and Alcohol Dependence. Elsevier. https://doi.org/10.1016/j.drugalcdep.2017.04.015
chicago: Brailoiu, Gabriela, Elena Deliu, Jeffrey Barr, Linda Console Bram, Alexandra
Ciuciu, Mary Abood, Ellen Unterwald, and Eugen Brǎiloiu. “HIV Tat Excites D1 Receptor-like
Expressing Neurons from Rat Nucleus Accumbens.” Drug and Alcohol Dependence.
Elsevier, 2017. https://doi.org/10.1016/j.drugalcdep.2017.04.015.
ieee: G. Brailoiu et al., “HIV Tat excites D1 receptor-like expressing neurons
from rat nucleus accumbens,” Drug and Alcohol Dependence, vol. 178. Elsevier,
pp. 7–14, 2017.
ista: Brailoiu G, Deliu E, Barr J, Console Bram L, Ciuciu A, Abood M, Unterwald
E, Brǎiloiu E. 2017. HIV Tat excites D1 receptor-like expressing neurons from
rat nucleus accumbens. Drug and Alcohol Dependence. 178, 7–14.
mla: Brailoiu, Gabriela, et al. “HIV Tat Excites D1 Receptor-like Expressing Neurons
from Rat Nucleus Accumbens.” Drug and Alcohol Dependence, vol. 178, Elsevier,
2017, pp. 7–14, doi:10.1016/j.drugalcdep.2017.04.015.
short: G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E.
Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
date_created: 2018-12-11T11:48:05Z
date_published: 2017-09-01T00:00:00Z
date_updated: 2021-01-12T08:12:00Z
day: '01'
department:
- _id: GaNo
doi: 10.1016/j.drugalcdep.2017.04.015
external_id:
pmid:
- '28623807'
intvolume: ' 178'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5797705
month: '09'
oa: 1
oa_version: Submitted Version
page: 7 - 14
pmid: 1
publication: Drug and Alcohol Dependence
publication_identifier:
issn:
- '03768716'
publication_status: published
publisher: Elsevier
publist_id: '6967'
quality_controlled: '1'
scopus_import: 1
status: public
title: HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 178
year: '2017'
...
---
_id: '715'
abstract:
- lang: eng
text: D-cycloserine ameliorates breathing abnormalities and survival rate in a mouse
model of Rett syndrome.
article_number: aao4218
author:
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
citation:
ama: Novarino G. More excitation for Rett syndrome. Science Translational Medicine.
2017;9(405). doi:10.1126/scitranslmed.aao4218
apa: Novarino, G. (2017). More excitation for Rett syndrome. Science Translational
Medicine. American Association for the Advancement of Science. https://doi.org/10.1126/scitranslmed.aao4218
chicago: Novarino, Gaia. “More Excitation for Rett Syndrome.” Science Translational
Medicine. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/scitranslmed.aao4218.
ieee: G. Novarino, “More excitation for Rett syndrome,” Science Translational
Medicine, vol. 9, no. 405. American Association for the Advancement of Science,
2017.
ista: Novarino G. 2017. More excitation for Rett syndrome. Science Translational
Medicine. 9(405), aao4218.
mla: Novarino, Gaia. “More Excitation for Rett Syndrome.” Science Translational
Medicine, vol. 9, no. 405, aao4218, American Association for the Advancement
of Science, 2017, doi:10.1126/scitranslmed.aao4218.
short: G. Novarino, Science Translational Medicine 9 (2017).
date_created: 2018-12-11T11:48:06Z
date_published: 2017-08-30T00:00:00Z
date_updated: 2021-01-12T08:12:04Z
day: '30'
department:
- _id: GaNo
doi: 10.1126/scitranslmed.aao4218
intvolume: ' 9'
issue: '405'
language:
- iso: eng
month: '08'
oa_version: None
publication: Science Translational Medicine
publication_identifier:
issn:
- '19466234'
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '6968'
quality_controlled: '1'
scopus_import: 1
status: public
title: More excitation for Rett syndrome
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2017'
...
---
_id: '716'
abstract:
- lang: eng
text: 'Two-player games on graphs are central in many problems in formal verification
and program analysis, such as synthesis and verification of open systems. In this
work, we consider solving recursive game graphs (or pushdown game graphs) that
model the control flow of sequential programs with recursion.While pushdown games
have been studied before with qualitative objectives-such as reachability and
?-regular objectives- in this work, we study for the first time such games with
the most well-studied quantitative objective, the mean-payoff objective. In pushdown
games, two types of strategies are relevant: (1) global strategies, which depend
on the entire global history; and (2) modular strategies, which have only local
memory and thus do not depend on the context of invocation but rather only on
the history of the current invocation of the module. Our main results are as follows:
(1) One-player pushdown games with mean-payoff objectives under global strategies
are decidable in polynomial time. (2) Two-player pushdown games with mean-payoff
objectives under global strategies are undecidable. (3) One-player pushdown games
with mean-payoff objectives under modular strategies are NP-hard. (4) Two-player
pushdown games with mean-payoff objectives under modular strategies can be solved
in NP (i.e., both one-player and two-player pushdown games with mean-payoff objectives
under modular strategies are NP-complete). We also establish the optimal strategy
complexity by showing that global strategies for mean-payoff objectives require
infinite memory even in one-player pushdown games and memoryless modular strategies
are sufficient in two-player pushdown games. Finally, we also show that all the
problems have the same complexity if the stack boundedness condition is added,
where along with the mean-payoff objective the player must also ensure that the
stack height is bounded.'
article_type: original
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Yaron
full_name: Velner, Yaron
last_name: Velner
citation:
ama: Chatterjee K, Velner Y. The complexity of mean-payoff pushdown games. Journal
of the ACM. 2017;64(5):34. doi:10.1145/3121408
apa: Chatterjee, K., & Velner, Y. (2017). The complexity of mean-payoff pushdown
games. Journal of the ACM. ACM. https://doi.org/10.1145/3121408
chicago: Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff
Pushdown Games.” Journal of the ACM. ACM, 2017. https://doi.org/10.1145/3121408.
ieee: K. Chatterjee and Y. Velner, “The complexity of mean-payoff pushdown games,”
Journal of the ACM, vol. 64, no. 5. ACM, p. 34, 2017.
ista: Chatterjee K, Velner Y. 2017. The complexity of mean-payoff pushdown games.
Journal of the ACM. 64(5), 34.
mla: Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown
Games.” Journal of the ACM, vol. 64, no. 5, ACM, 2017, p. 34, doi:10.1145/3121408.
short: K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
date_created: 2018-12-11T11:48:06Z
date_published: 2017-09-01T00:00:00Z
date_updated: 2021-01-12T08:12:08Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3121408
ec_funded: 1
external_id:
arxiv:
- '1201.2829'
intvolume: ' 64'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1201.2829
month: '09'
oa: 1
oa_version: Preprint
page: '34'
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication: Journal of the ACM
publication_identifier:
issn:
- '00045411'
publication_status: published
publisher: ACM
publist_id: '6964'
quality_controlled: '1'
scopus_import: 1
status: public
title: The complexity of mean-payoff pushdown games
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 64
year: '2017'
...