---
_id: '1437'
abstract:
- lang: eng
text: We study algorithmic questions for concurrent systems where the transitions
are labeled from a complete, closed semiring, and path properties are algebraic
with semiring operations. The algebraic path properties can model dataflow analysis
problems, the shortest path problem, and many other natural problems that arise
in program analysis. We consider that each component of the concurrent system
is a graph with constant treewidth, a property satisfied by the controlflow graphs
of most programs. We allow for multiple possible queries, which arise naturally
in demand driven dataflow analysis. The study of multiple queries allows us to
consider the tradeoff between the resource usage of the one-time preprocessing
and for each individual query. The traditional approach constructs the product
graph of all components and applies the best-known graph algorithm on the product.
In this approach, even the answer to a single query requires the transitive closure
(i.e., the results of all possible queries), which provides no room for tradeoff
between preprocessing and query time. Our main contributions are algorithms that
significantly improve the worst-case running time of the traditional approach,
and provide various tradeoffs depending on the number of queries. For example,
in a concurrent system of two components, the traditional approach requires hexic
time in the worst case for answering one query as well as computing the transitive
closure, whereas we show that with one-time preprocessing in almost cubic time,
each subsequent query can be answered in at most linear time, and even the transitive
closure can be computed in almost quartic time. Furthermore, we establish conditional
optimality results showing that the worst-case running time of our algorithms
cannot be improved without achieving major breakthroughs in graph algorithms (i.e.,
improving the worst-case bound for the shortest path problem in general graphs).
Preliminary experimental results show that our algorithms perform favorably on
several benchmarks.
alternative_title:
- POPL
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir
full_name: Goharshady, Amir
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Algorithms for
algebraic path properties in concurrent systems of constant treewidth components.
In: Vol 20-22. ACM; 2016:733-747. doi:10.1145/2837614.2837624'
apa: 'Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A.
(2016). Algorithms for algebraic path properties in concurrent systems of constant
treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles
of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen,
and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent
Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
ieee: 'K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms
for algebraic path properties in concurrent systems of constant treewidth components,”
presented at the POPL: Principles of Programming Languages, St. Petersburg, FL,
USA, 2016, vol. 20–22, pp. 733–747.'
ista: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2016. Algorithms
for algebraic path properties in concurrent systems of constant treewidth components.
POPL: Principles of Programming Languages, POPL, vol. 20–22, 733–747.'
mla: Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties
in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016,
pp. 733–47, doi:10.1145/2837614.2837624.
short: K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM,
2016, pp. 733–747.
conference:
end_date: 2016-01-22
location: St. Petersburg, FL, USA
name: 'POPL: Principles of Programming Languages'
start_date: 2016-01-20
date_created: 2018-12-11T11:52:01Z
date_published: 2016-01-11T00:00:00Z
date_updated: 2024-03-25T23:30:18Z
day: '11'
department:
- _id: KrCh
doi: 10.1145/2837614.2837624
ec_funded: 1
external_id:
arxiv:
- '1510.07565'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1510.07565
month: '01'
oa: 1
oa_version: Preprint
page: 733 - 747
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_status: published
publisher: ACM
publist_id: '5761'
quality_controlled: '1'
related_material:
record:
- id: '5441'
relation: earlier_version
status: public
- id: '5442'
relation: earlier_version
status: public
- id: '821'
relation: dissertation_contains
status: public
- id: '6009'
relation: later_version
status: public
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Algorithms for algebraic path properties in concurrent systems of constant
treewidth components
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 20-22
year: '2016'
...
---
_id: '1438'
abstract:
- lang: eng
text: 'In this paper, we consider termination of probabilistic programs with real-valued
variables. The questions concerned are: (a) qualitative ones that ask (i) whether
the program terminates with probability 1 (almost-sure termination) and (ii) whether
the expected termination time is finite (finite termination); (b) quantitative
ones that ask (i) to approximate the expected termination time (expectation problem)
and (ii) to compute a bound B such that the probability to terminate after B steps
decreases exponentially (concentration problem). To solve these questions, we
utilize the notion of ranking supermartingales which is a powerful approach for
proving termination of probabilistic programs. In detail, we focus on algorithmic
synthesis of linear ranking-supermartingales over affine probabilistic programs
(APP''s) with both angelic and demonic non-determinism. An important subclass
of APP''s is LRAPP which is defined as the class of all APP''s over which a linear
ranking-supermartingale exists. Our main contributions are as follows. Firstly,
we show that the membership problem of LRAPP (i) can be decided in polynomial
time for APP''s with at most demonic non-determinism, and (ii) is NP-hard and
in PSPACE for APP''s with angelic non-determinism; moreover, the NP-hardness result
holds already for APP''s without probability and demonic non-determinism. Secondly,
we show that the concentration problem over LRAPP can be solved in the same complexity
as for the membership problem of LRAPP. Finally, we show that the expectation
problem over LRAPP can be solved in 2EXPTIME and is PSPACE-hard even for APP''s
without probability and non-determinism (i.e., deterministic programs). Our experimental
results demonstrate the effectiveness of our approach to answer the qualitative
and quantitative questions over APP''s with at most demonic non-determinism.'
acknowledgement: 'Supported by the Natural Science Foundation of China (NSFC) under
Grant No. 61532019 '
alternative_title:
- POPL
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Hongfei
full_name: Fu, Hongfei
id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
last_name: Fu
- first_name: Petr
full_name: Novotny, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotny
- first_name: Rouzbeh
full_name: Hasheminezhad, Rouzbeh
last_name: Hasheminezhad
citation:
ama: 'Chatterjee K, Fu H, Novotný P, Hasheminezhad R. Algorithmic analysis of qualitative
and quantitative termination problems for affine probabilistic programs. In: Vol
20-22. ACM; 2016:327-342. doi:10.1145/2837614.2837639'
apa: 'Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2016). Algorithmic
analysis of qualitative and quantitative termination problems for affine probabilistic
programs (Vol. 20–22, pp. 327–342). Presented at the POPL: Principles of Programming
Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837639'
chicago: Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad.
“Algorithmic Analysis of Qualitative and Quantitative Termination Problems for
Affine Probabilistic Programs,” 20–22:327–42. ACM, 2016. https://doi.org/10.1145/2837614.2837639.
ieee: 'K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis
of qualitative and quantitative termination problems for affine probabilistic
programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg,
FL, USA, 2016, vol. 20–22, pp. 327–342.'
ista: 'Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis
of qualitative and quantitative termination problems for affine probabilistic
programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.'
mla: Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative
Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016,
pp. 327–42, doi:10.1145/2837614.2837639.
short: K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
conference:
end_date: 2016-01-22
location: St. Petersburg, FL, USA
name: 'POPL: Principles of Programming Languages'
start_date: 2016-01-20
date_created: 2018-12-11T11:52:01Z
date_published: 2016-01-11T00:00:00Z
date_updated: 2023-09-19T14:38:41Z
day: '11'
department:
- _id: KrCh
doi: 10.1145/2837614.2837639
ec_funded: 1
external_id:
arxiv:
- '1510.08517'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1510.08517
month: '01'
oa: 1
oa_version: Preprint
page: 327 - 342
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication_status: published
publisher: ACM
publist_id: '5760'
quality_controlled: '1'
related_material:
record:
- id: '5993'
relation: later_version
status: public
scopus_import: 1
status: public
title: Algorithmic analysis of qualitative and quantitative termination problems for
affine probabilistic programs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 20-22
year: '2016'
...
---
_id: '1439'
abstract:
- lang: eng
text: Fault-tolerant distributed algorithms play an important role in many critical/high-availability
applications. These algorithms are notoriously difficult to implement correctly,
due to asynchronous communication and the occurrence of faults, such as the network
dropping messages or computers crashing. We introduce PSYNC, a domain specific
language based on the Heard-Of model, which views asynchronous faulty systems
as synchronous ones with an adversarial environment that simulates asynchrony
and faults by dropping messages. We define a runtime system for PSYNC that efficiently
executes on asynchronous networks. We formalize the relation between the runtime
system and PSYNC in terms of observational refinement. The high-level lockstep
abstraction introduced by PSYNC simplifies the design and implementation of fault-tolerant
distributed algorithms and enables automated formal verification. We have implemented
an embedding of PSYNC in the SCALA programming language with a runtime system
for asynchronous networks. We show the applicability of PSYNC by implementing
several important fault-tolerant distributed algorithms and we compare the implementation
of consensus algorithms in PSYNC against implementations in other languages in
terms of code size, runtime efficiency, and verification.
acknowledgement: 'Damien Zufferey was supported by DARPA (Grants FA8650-11-C-7192
and FA8650-15-C-7564) and NSF (Grant CCF-1138967). '
alternative_title:
- ACM SIGPLAN Notices
author:
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- 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: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: 'Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language
for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650'
apa: 'Dragoi, C., Henzinger, T. A., & Zufferey, D. (2016). PSYNC: A partially
synchronous language for fault-tolerant distributed algorithms (Vol. 20–22, pp.
400–415). Presented at the POPL: Principles of Programming Languages, St. Petersburg,
FL, USA: ACM. https://doi.org/10.1145/2837614.2837650'
chicago: 'Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “PSYNC: A Partially
Synchronous Language for Fault-Tolerant Distributed Algorithms,” 20–22:400–415.
ACM, 2016. https://doi.org/10.1145/2837614.2837650.'
ieee: 'C. Dragoi, T. A. Henzinger, and D. Zufferey, “PSYNC: A partially synchronous
language for fault-tolerant distributed algorithms,” presented at the POPL: Principles
of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 400–415.'
ista: 'Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous
language for fault-tolerant distributed algorithms. POPL: Principles of Programming
Languages, ACM SIGPLAN Notices, vol. 20–22, 400–415.'
mla: 'Dragoi, Cezara, et al. PSYNC: A Partially Synchronous Language for Fault-Tolerant
Distributed Algorithms. Vol. 20–22, ACM, 2016, pp. 400–15, doi:10.1145/2837614.2837650.'
short: C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
conference:
end_date: 2016-01-22
location: St. Petersburg, FL, USA
name: 'POPL: Principles of Programming Languages'
start_date: 2016-01-20
date_created: 2018-12-11T11:52:01Z
date_published: 2016-01-11T00:00:00Z
date_updated: 2021-01-12T06:50:45Z
day: '11'
department:
- _id: ToHe
doi: 10.1145/2837614.2837650
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.inria.fr/hal-01251199/
month: '01'
oa: 1
oa_version: Preprint
page: 400 - 415
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: ACM
publist_id: '5759'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'PSYNC: A partially synchronous language for fault-tolerant distributed algorithms'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 20-22
year: '2016'
...
---
_id: '1440'
acknowledgement: The author thanks Banerjee et al. (2016) for providing coordinates
prior to public release and apologizes to colleagues whose work was not cited or
discussed due to the limited space available. The author is supported by grants
from EU FP7 (CIG-303564), HFSP (RGY0084_2012), and FWF (W1232).
author:
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
citation:
ama: 'Janovjak HL. Light at the end of the protein: Crystal structure of a C-terminal
light-sensing domain. Structure. 2016;24(2):213-215. doi:10.1016/j.str.2016.01.002'
apa: 'Janovjak, H. L. (2016). Light at the end of the protein: Crystal structure
of a C-terminal light-sensing domain. Structure. Cell Press. https://doi.org/10.1016/j.str.2016.01.002'
chicago: 'Janovjak, Harald L. “Light at the End of the Protein: Crystal Structure
of a C-Terminal Light-Sensing Domain.” Structure. Cell Press, 2016. https://doi.org/10.1016/j.str.2016.01.002.'
ieee: 'H. L. Janovjak, “Light at the end of the protein: Crystal structure of a
C-terminal light-sensing domain,” Structure, vol. 24, no. 2. Cell Press,
pp. 213–215, 2016.'
ista: 'Janovjak HL. 2016. Light at the end of the protein: Crystal structure of
a C-terminal light-sensing domain. Structure. 24(2), 213–215.'
mla: 'Janovjak, Harald L. “Light at the End of the Protein: Crystal Structure of
a C-Terminal Light-Sensing Domain.” Structure, vol. 24, no. 2, Cell Press,
2016, pp. 213–15, doi:10.1016/j.str.2016.01.002.'
short: H.L. Janovjak, Structure 24 (2016) 213–215.
date_created: 2018-12-11T11:52:02Z
date_published: 2016-02-02T00:00:00Z
date_updated: 2021-01-12T06:50:46Z
day: '02'
department:
- _id: HaJa
doi: 10.1016/j.str.2016.01.002
ec_funded: 1
intvolume: ' 24'
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 213 - 215
project:
- _id: 255BFFFA-B435-11E9-9278-68D0E5697425
grant_number: RGY0084/2012
name: In situ real-time imaging of neurotransmitter signaling using designer optical
sensors (HFSP Young Investigator)
- _id: 25548C20-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '303564'
name: Microbial Ion Channels for Synthetic Neurobiology
- _id: 255A6082-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: W1232-B24
name: Molecular Drug Targets
publication: Structure
publication_status: published
publisher: Cell Press
publist_id: '5756'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Light at the end of the protein: Crystal structure of a C-terminal light-sensing
domain'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2016'
...
---
_id: '1441'
abstract:
- lang: eng
text: 'Optogenetics and photopharmacology enable the spatio-temporal control of
cell and animal behavior by light. Although red light offers deep-tissue penetration
and minimal phototoxicity, very few red-light-sensitive optogenetic methods are
currently available. We have now developed a red-light-induced homodimerization
domain. We first showed that an optimized sensory domain of the cyanobacterial
phytochrome 1 can be expressed robustly and without cytotoxicity in human cells.
We then applied this domain to induce the dimerization of two receptor tyrosine
kinases—the fibroblast growth factor receptor 1 and the neurotrophin receptor
trkB. This new optogenetic method was then used to activate the MAPK/ERK pathway
non-invasively in mammalian tissue and in multicolor cell-signaling experiments.
The light-controlled dimerizer and red-light-activated receptor tyrosine kinases
will prove useful to regulate a variety of cellular processes with light. Go deep
with red: The sensory domain (S) of the cyanobacterial phytochrome 1 (CPH1) was
repurposed to induce the homodimerization of proteins in living cells by red light.
By using this domain, light-activated protein kinases were engineered that can
be activated orthogonally from many fluorescent proteins and through mammalian
tissue. Pr/Pfr=red-/far-red-absorbing state of CPH1.'
acknowledgement: 'A.I.-P. was supported by a Ramon Areces fellowship, and E.R. by
the graduate program MolecularDrugTargets (Austrian Science Fund (FWF): W1232) and
a FemTech fellowship (Austrian Research Promotion Agency: 3580812).'
author:
- first_name: Eva
full_name: Gschaider-Reichhart, Eva
id: 3FEE232A-F248-11E8-B48F-1D18A9856A87
last_name: Gschaider-Reichhart
orcid: 0000-0002-7218-7738
- first_name: Álvaro
full_name: Inglés Prieto, Álvaro
id: 2A9DB292-F248-11E8-B48F-1D18A9856A87
last_name: Inglés Prieto
orcid: 0000-0002-5409-8571
- first_name: Alexandra-Madelaine
full_name: Tichy, Alexandra-Madelaine
id: 29D8BB2C-F248-11E8-B48F-1D18A9856A87
last_name: Tichy
- first_name: Catherine
full_name: Mckenzie, Catherine
id: 3EEDE19A-F248-11E8-B48F-1D18A9856A87
last_name: Mckenzie
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
citation:
ama: Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL.
A phytochrome sensory domain permits receptor activation by red light. Angewandte
Chemie - International Edition. 2016;55(21):6339-6342. doi:10.1002/anie.201601736
apa: Gschaider-Reichhart, E., Inglés Prieto, Á., Tichy, A.-M., Mckenzie, C., &
Janovjak, H. L. (2016). A phytochrome sensory domain permits receptor activation
by red light. Angewandte Chemie - International Edition. Wiley. https://doi.org/10.1002/anie.201601736
chicago: Gschaider-Reichhart, Eva, Álvaro Inglés Prieto, Alexandra-Madelaine Tichy,
Catherine Mckenzie, and Harald L Janovjak. “A Phytochrome Sensory Domain Permits
Receptor Activation by Red Light.” Angewandte Chemie - International Edition.
Wiley, 2016. https://doi.org/10.1002/anie.201601736.
ieee: E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H.
L. Janovjak, “A phytochrome sensory domain permits receptor activation by red
light,” Angewandte Chemie - International Edition, vol. 55, no. 21. Wiley,
pp. 6339–6342, 2016.
ista: Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL.
2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte
Chemie - International Edition. 55(21), 6339–6342.
mla: Gschaider-Reichhart, Eva, et al. “A Phytochrome Sensory Domain Permits Receptor
Activation by Red Light.” Angewandte Chemie - International Edition, vol.
55, no. 21, Wiley, 2016, pp. 6339–42, doi:10.1002/anie.201601736.
short: E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L.
Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
date_created: 2018-12-11T11:52:02Z
date_published: 2016-05-17T00:00:00Z
date_updated: 2023-09-07T12:49:08Z
day: '17'
ddc:
- '571'
- '576'
department:
- _id: HaJa
doi: 10.1002/anie.201601736
ec_funded: 1
file:
- access_level: open_access
checksum: 26da07960e57ac4750b54179197ce57f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:03Z
date_updated: 2020-07-14T12:44:55Z
file_id: '5255'
file_name: IST-2017-840-v1+1_reichhart.pdf
file_size: 1268662
relation: main_file
file_date_updated: 2020-07-14T12:44:55Z
has_accepted_license: '1'
intvolume: ' 55'
issue: '21'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 6339 - 6342
project:
- _id: 25548C20-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '303564'
name: Microbial Ion Channels for Synthetic Neurobiology
- _id: 255A6082-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: W1232-B24
name: Molecular Drug Targets
publication: Angewandte Chemie - International Edition
publication_status: published
publisher: Wiley
publist_id: '5755'
pubrep_id: '840'
quality_controlled: '1'
related_material:
record:
- id: '418'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: A phytochrome sensory domain permits receptor activation by red light
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 55
year: '2016'
...
---
_id: '1446'
abstract:
- lang: eng
text: The accuracy of interdisciplinarity measurements is directly related to the
quality of the underlying bibliographic data. Existing indicators of interdisciplinarity
are not capable of reflecting the inaccuracies introduced by incorrect and incomplete
records because correct and complete bibliographic data can rarely be obtained.
This is the case for the Rao–Stirling index, which cannot handle references that
are not categorized into disciplinary fields. We introduce a method that addresses
this problem. It extends the Rao–Stirling index to acknowledge missing data by
calculating its interval of uncertainty using computational optimization. The
evaluation of our method indicates that the uncertainty interval is not only useful
for estimating the inaccuracy of interdisciplinarity measurements, but it also
delivers slightly more accurate aggregated interdisciplinarity measurements than
the Rao–Stirling index.
article_processing_charge: No
author:
- first_name: Maria
full_name: Calatrava Moreno, Maria
last_name: Calatrava Moreno
- first_name: Thomas
full_name: Auzinger, Thomas
id: 4718F954-F248-11E8-B48F-1D18A9856A87
last_name: Auzinger
orcid: 0000-0002-1546-3265
- first_name: Hannes
full_name: Werthner, Hannes
last_name: Werthner
citation:
ama: Calatrava Moreno M, Auzinger T, Werthner H. On the uncertainty of interdisciplinarity
measurements due to incomplete bibliographic data. Scientometrics. 2016;107(1):213-232.
doi:10.1007/s11192-016-1842-4
apa: Calatrava Moreno, M., Auzinger, T., & Werthner, H. (2016). On the uncertainty
of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics.
Springer. https://doi.org/10.1007/s11192-016-1842-4
chicago: Calatrava Moreno, Maria, Thomas Auzinger, and Hannes Werthner. “On the
Uncertainty of Interdisciplinarity Measurements Due to Incomplete Bibliographic
Data.” Scientometrics. Springer, 2016. https://doi.org/10.1007/s11192-016-1842-4.
ieee: M. Calatrava Moreno, T. Auzinger, and H. Werthner, “On the uncertainty of
interdisciplinarity measurements due to incomplete bibliographic data,” Scientometrics,
vol. 107, no. 1. Springer, pp. 213–232, 2016.
ista: Calatrava Moreno M, Auzinger T, Werthner H. 2016. On the uncertainty of interdisciplinarity
measurements due to incomplete bibliographic data. Scientometrics. 107(1), 213–232.
mla: Calatrava Moreno, Maria, et al. “On the Uncertainty of Interdisciplinarity
Measurements Due to Incomplete Bibliographic Data.” Scientometrics, vol.
107, no. 1, Springer, 2016, pp. 213–32, doi:10.1007/s11192-016-1842-4.
short: M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016)
213–232.
date_created: 2018-12-11T11:52:04Z
date_published: 2016-04-01T00:00:00Z
date_updated: 2021-11-16T08:29:11Z
day: '01'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.1007/s11192-016-1842-4
file:
- access_level: open_access
checksum: 32d46268588b87d9b686492018e6a2b2
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:56Z
date_updated: 2020-07-14T12:44:55Z
file_id: '4848'
file_name: IST-2016-530-v1+1_s11192-016-1842-4.pdf
file_size: 806035
relation: main_file
file_date_updated: 2020-07-14T12:44:55Z
has_accepted_license: '1'
intvolume: ' 107'
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 213 - 232
publication: Scientometrics
publication_status: published
publisher: Springer
publist_id: '5750'
pubrep_id: '530'
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1007/s11192-016-1902-9
scopus_import: '1'
status: public
title: On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic
data
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 107
year: '2016'
...
---
_id: '1448'
abstract:
- lang: eng
text: We develop a new and systematic method for proving entropic Ricci curvature
lower bounds for Markov chains on discrete sets. Using different methods, such
bounds have recently been obtained in several examples (e.g., 1-dimensional birth
and death chains, product chains, Bernoulli–Laplace models, and random transposition
models). However, a general method to obtain discrete Ricci bounds had been lacking.
Our method covers all of the examples above. In addition we obtain new Ricci curvature
bounds for zero-range processes on the complete graph. The method is inspired
by recent work of Caputo, Dai Pra and Posta on discrete functional inequalities.
acknowledgement: "Supported by the German Research Foundation through the Collaborative
Research Center 1060\r\nThe Mathematics of Emergent Effects and the Hausdorff Center
for Mathematics. Part of this work has been done while M. Fathi visited J. Maas
at the University of Bonn in July 2014.We would like to thank the referees for their
careful reading of the manuscript. "
author:
- first_name: Max
full_name: Fathi, Max
last_name: Fathi
- first_name: Jan
full_name: Maas, Jan
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
citation:
ama: Fathi M, Maas J. Entropic Ricci curvature bounds for discrete interacting systems.
The Annals of Applied Probability. 2016;26(3):1774-1806. doi:10.1214/15-AAP1133
apa: Fathi, M., & Maas, J. (2016). Entropic Ricci curvature bounds for discrete
interacting systems. The Annals of Applied Probability. Institute of Mathematical
Statistics. https://doi.org/10.1214/15-AAP1133
chicago: Fathi, Max, and Jan Maas. “Entropic Ricci Curvature Bounds for Discrete
Interacting Systems.” The Annals of Applied Probability. Institute of Mathematical
Statistics, 2016. https://doi.org/10.1214/15-AAP1133.
ieee: M. Fathi and J. Maas, “Entropic Ricci curvature bounds for discrete interacting
systems,” The Annals of Applied Probability, vol. 26, no. 3. Institute
of Mathematical Statistics, pp. 1774–1806, 2016.
ista: Fathi M, Maas J. 2016. Entropic Ricci curvature bounds for discrete interacting
systems. The Annals of Applied Probability. 26(3), 1774–1806.
mla: Fathi, Max, and Jan Maas. “Entropic Ricci Curvature Bounds for Discrete Interacting
Systems.” The Annals of Applied Probability, vol. 26, no. 3, Institute
of Mathematical Statistics, 2016, pp. 1774–806, doi:10.1214/15-AAP1133.
short: M. Fathi, J. Maas, The Annals of Applied Probability 26 (2016) 1774–1806.
date_created: 2018-12-11T11:52:05Z
date_published: 2016-06-01T00:00:00Z
date_updated: 2021-01-12T06:50:49Z
day: '01'
department:
- _id: JaMa
doi: 10.1214/15-AAP1133
intvolume: ' 26'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1501.00562
month: '06'
oa: 1
oa_version: Preprint
page: 1774 - 1806
publication: The Annals of Applied Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '5748'
quality_controlled: '1'
scopus_import: 1
status: public
title: Entropic Ricci curvature bounds for discrete interacting systems
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 26
year: '2016'
...
---
_id: '1475'
abstract:
- lang: eng
text: The actin cytoskeleton plays important roles in the formation and internalization
of endocytic vesicles. In yeast, endocytic vesicles move towards early endosomes
along actin cables, however, the molecular machinery regulating interaction between
endocytic vesicles and actin cables is poorly understood. The Eps15-like protein
Pan1p plays a key role in actin-mediated endocytosis and is negatively regulated
by Ark1 and Prk1 kinases. Here we show that pan1 mutated to prevent phosphorylation
at all 18 threonines, pan1-18TA, displayed almost the same endocytic defect as
ark1Δ prk1Δ cells, and contained abnormal actin concentrations including several
endocytic compartments. Early endosomes were highly localized in the actin concentrations
and displayed movement along actin cables. The dephosphorylated form of Pan1p
also caused stable associations between endocytic vesicles and actin cables, and
between endocytic vesicles and endosomes. Thus Pan1 phosphorylation is part of
a novel mechanism that regulates endocytic compartment interactions with each
other and with actin cables.
article_number: e10276
author:
- first_name: Junko
full_name: Toshima, Junko
last_name: Toshima
- first_name: Eri
full_name: Furuya, Eri
last_name: Furuya
- first_name: Makoto
full_name: Nagano, Makoto
last_name: Nagano
- first_name: Chisa
full_name: Kanno, Chisa
last_name: Kanno
- first_name: Yuta
full_name: Sakamoto, Yuta
last_name: Sakamoto
- first_name: Masashi
full_name: Ebihara, Masashi
last_name: Ebihara
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
- first_name: Jiro
full_name: Toshima, Jiro
last_name: Toshima
citation:
ama: Toshima J, Furuya E, Nagano M, et al. Yeast Eps15-like endocytic protein Pan1p
regulates the interaction between endocytic vesicles, endosomes and the actin
cytoskeleton. eLife. 2016;5(February 2016). doi:10.7554/eLife.10276
apa: Toshima, J., Furuya, E., Nagano, M., Kanno, C., Sakamoto, Y., Ebihara, M.,
… Toshima, J. (2016). Yeast Eps15-like endocytic protein Pan1p regulates the interaction
between endocytic vesicles, endosomes and the actin cytoskeleton. ELife.
eLife Sciences Publications. https://doi.org/10.7554/eLife.10276
chicago: Toshima, Junko, Eri Furuya, Makoto Nagano, Chisa Kanno, Yuta Sakamoto,
Masashi Ebihara, Daria E Siekhaus, and Jiro Toshima. “Yeast Eps15-like Endocytic
Protein Pan1p Regulates the Interaction between Endocytic Vesicles, Endosomes
and the Actin Cytoskeleton.” ELife. eLife Sciences Publications, 2016.
https://doi.org/10.7554/eLife.10276.
ieee: J. Toshima et al., “Yeast Eps15-like endocytic protein Pan1p regulates
the interaction between endocytic vesicles, endosomes and the actin cytoskeleton,”
eLife, vol. 5, no. February 2016. eLife Sciences Publications, 2016.
ista: Toshima J, Furuya E, Nagano M, Kanno C, Sakamoto Y, Ebihara M, Siekhaus DE,
Toshima J. 2016. Yeast Eps15-like endocytic protein Pan1p regulates the interaction
between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 5(February
2016), e10276.
mla: Toshima, Junko, et al. “Yeast Eps15-like Endocytic Protein Pan1p Regulates
the Interaction between Endocytic Vesicles, Endosomes and the Actin Cytoskeleton.”
ELife, vol. 5, no. February 2016, e10276, eLife Sciences Publications,
2016, doi:10.7554/eLife.10276.
short: J. Toshima, E. Furuya, M. Nagano, C. Kanno, Y. Sakamoto, M. Ebihara, D.E.
Siekhaus, J. Toshima, ELife 5 (2016).
date_created: 2018-12-11T11:52:14Z
date_published: 2016-02-25T00:00:00Z
date_updated: 2021-01-12T06:50:59Z
day: '25'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.7554/eLife.10276
ec_funded: 1
file:
- access_level: open_access
checksum: d1cc44870580756ba8badd8e41adfdb5
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:08Z
date_updated: 2020-07-14T12:44:56Z
file_id: '4793'
file_name: IST-2016-529-v1+1_elife-10276-v1.pdf
file_size: 5198001
relation: main_file
file_date_updated: 2020-07-14T12:44:56Z
has_accepted_license: '1'
intvolume: ' 5'
issue: February 2016
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '5721'
pubrep_id: '529'
quality_controlled: '1'
scopus_import: 1
status: public
title: Yeast Eps15-like endocytic protein Pan1p regulates the interaction between
endocytic vesicles, endosomes and the actin cytoskeleton
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2016'
...
---
_id: '1476'
abstract:
- lang: eng
text: The dynamic assembly and disassembly of actin filaments is essential for the
formation and transport of vesicles during endocytosis. In yeast, two types of
actin structures, namely cortical patches and cytoplasmic cables, play a direct
role in endocytosis, but how their interaction is regulated remains unclear. Here,
we show that Srv2/CAP, an evolutionarily conserved actin regulator, is required
for efficient endocytosis owing to its role in the formation of the actin patches
that aid initial vesicle invagination and of the actin cables that these move
along. Deletion of the SRV2 gene resulted in the appearance of aberrant fragmented
actin cables that frequently moved past actin patches, the sites of endocytosis.
We find that the C-terminal CARP domain of Srv2p is vitally important for the
proper assembly of actin patches and cables; we also demonstrate that the N-terminal
helical folded domain of Srv2 is required for its localization to actin patches,
specifically to the ADP-actin rich region through an interaction with cofilin.
These results demonstrate the in vivo roles of Srv2p in the regulation of the
actin cytoskeleton during clathrin-mediated endocytosis
acknowledgement: We are grateful to Anthony Bretscher (Cornell University, NY) for
providing the bni1-12 bnr1Δ (Y4135) strain. J.Y.T. was supported by a Japan Society
for the Promotion of Science (JSPS) KAKENHI grant [grant number 26440067]; the Takeda
Science Foundation; and the Novartis Foundation (Japan). J.T. was supported by a
JSPS KAKENHI grant [grant number 25440054]; the Takeda Science Foundation; and the
Kurata Memorial Hitachi Science and Technology Foundation. D.E.S. was supported
by the European Union [grant number PCIG12-GA-2012-334077].
author:
- first_name: Junko
full_name: Toshima, Junko
last_name: Toshima
- first_name: Chika
full_name: Horikomi, Chika
last_name: Horikomi
- first_name: Asuka
full_name: Okada, Asuka
last_name: Okada
- first_name: Makiko
full_name: Hatori, Makiko
last_name: Hatori
- first_name: Makoto
full_name: Nagano, Makoto
last_name: Nagano
- first_name: Atsushi
full_name: Masuda, Atsushi
last_name: Masuda
- first_name: Wataru
full_name: Yamamoto, Wataru
last_name: Yamamoto
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
- first_name: Jiro
full_name: Toshima, Jiro
last_name: Toshima
citation:
ama: Toshima J, Horikomi C, Okada A, et al. Srv2/CAP is required for polarized actin
cable assembly and patch internalization during clathrin-mediated endocytosis.
Journal of Cell Science. 2016;129(2):367-379. doi:10.1242/jcs.176651
apa: Toshima, J., Horikomi, C., Okada, A., Hatori, M., Nagano, M., Masuda, A., …
Toshima, J. (2016). Srv2/CAP is required for polarized actin cable assembly and
patch internalization during clathrin-mediated endocytosis. Journal of Cell
Science. Company of Biologists. https://doi.org/10.1242/jcs.176651
chicago: Toshima, Junko, Chika Horikomi, Asuka Okada, Makiko Hatori, Makoto Nagano,
Atsushi Masuda, Wataru Yamamoto, Daria E Siekhaus, and Jiro Toshima. “Srv2/CAP
Is Required for Polarized Actin Cable Assembly and Patch Internalization during
Clathrin-Mediated Endocytosis.” Journal of Cell Science. Company of Biologists,
2016. https://doi.org/10.1242/jcs.176651.
ieee: J. Toshima et al., “Srv2/CAP is required for polarized actin cable
assembly and patch internalization during clathrin-mediated endocytosis,” Journal
of Cell Science, vol. 129, no. 2. Company of Biologists, pp. 367–379, 2016.
ista: Toshima J, Horikomi C, Okada A, Hatori M, Nagano M, Masuda A, Yamamoto W,
Siekhaus DE, Toshima J. 2016. Srv2/CAP is required for polarized actin cable assembly
and patch internalization during clathrin-mediated endocytosis. Journal of Cell
Science. 129(2), 367–379.
mla: Toshima, Junko, et al. “Srv2/CAP Is Required for Polarized Actin Cable Assembly
and Patch Internalization during Clathrin-Mediated Endocytosis.” Journal of
Cell Science, vol. 129, no. 2, Company of Biologists, 2016, pp. 367–79, doi:10.1242/jcs.176651.
short: J. Toshima, C. Horikomi, A. Okada, M. Hatori, M. Nagano, A. Masuda, W. Yamamoto,
D.E. Siekhaus, J. Toshima, Journal of Cell Science 129 (2016) 367–379.
date_created: 2018-12-11T11:52:14Z
date_published: 2016-01-15T00:00:00Z
date_updated: 2021-01-12T06:51:00Z
day: '15'
ddc:
- '570'
- '576'
department:
- _id: DaSi
doi: 10.1242/jcs.176651
ec_funded: 1
file:
- access_level: open_access
checksum: 2da0a09149a9ed956cdf79a95c17f08a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:08Z
date_updated: 2020-07-14T12:44:56Z
file_id: '4861'
file_name: IST-2017-767-v1+1_367.full.pdf
file_size: 7176912
relation: main_file
file_date_updated: 2020-07-14T12:44:56Z
has_accepted_license: '1'
intvolume: ' 129'
issue: '2'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 367 - 379
project:
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
publication: Journal of Cell Science
publication_status: published
publisher: Company of Biologists
publist_id: '5720'
pubrep_id: '767'
quality_controlled: '1'
scopus_import: 1
status: public
title: Srv2/CAP is required for polarized actin cable assembly and patch internalization
during clathrin-mediated endocytosis
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 129
year: '2016'
...
---
_id: '1477'
abstract:
- lang: eng
text: We consider partially observable Markov decision processes (POMDPs) with ω-regular
conditions specified as parity objectives. The class of ω-regular languages provides
a robust specification language to express properties in verification, and parity
objectives are canonical forms to express them. The qualitative analysis problem
given a POMDP and a parity objective asks whether there is a strategy to ensure
that the objective is satisfied with probability 1 (resp. positive probability).
While the qualitative analysis problems are undecidable even for special cases
of parity objectives, we establish decidability (with optimal complexity) for
POMDPs with all parity objectives under finite-memory strategies. We establish
optimal (exponential) memory bounds and EXPTIME-completeness of the qualitative
analysis problems under finite-memory strategies for POMDPs with parity objectives.
We also present a practical approach, where we design heuristics to deal with
the exponential complexity, and have applied our implementation on a number of
POMDP examples.
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Mathieu
full_name: Tracol, Mathieu
id: 3F54FA38-F248-11E8-B48F-1D18A9856A87
last_name: Tracol
citation:
ama: Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable
Markov decision processes with ω-regular objectives. Journal of Computer and
System Sciences. 2016;82(5):878-911. doi:10.1016/j.jcss.2016.02.009
apa: Chatterjee, K., Chmelik, M., & Tracol, M. (2016). What is decidable about
partially observable Markov decision processes with ω-regular objectives. Journal
of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.02.009
chicago: Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable
about Partially Observable Markov Decision Processes with ω-Regular Objectives.”
Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/10.1016/j.jcss.2016.02.009.
ieee: K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially
observable Markov decision processes with ω-regular objectives,” Journal of
Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
ista: Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially
observable Markov decision processes with ω-regular objectives. Journal of Computer
and System Sciences. 82(5), 878–911.
mla: Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable
Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and
System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
short: K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences
82 (2016) 878–911.
date_created: 2018-12-11T11:52:15Z
date_published: 2016-08-01T00:00:00Z
date_updated: 2023-02-23T12:24:38Z
day: '01'
department:
- _id: KrCh
doi: 10.1016/j.jcss.2016.02.009
ec_funded: 1
external_id:
arxiv:
- '1309.2802'
intvolume: ' 82'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1309.2802
month: '08'
oa: 1
oa_version: Preprint
page: 878 - 911
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'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Journal of Computer and System Sciences
publication_status: published
publisher: Elsevier
publist_id: '5718'
quality_controlled: '1'
related_material:
record:
- id: '2295'
relation: earlier_version
status: public
- id: '5400'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: What is decidable about partially observable Markov decision processes with
ω-regular objectives
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 82
year: '2016'
...
---
_id: '1478'
abstract:
- lang: eng
text: We consider the Tonks-Girardeau gas subject to a random external potential.
If the disorder is such that the underlying one-particle Hamiltonian displays
localization (which is known to be generically the case), we show that there is
exponential decay of correlations in the many-body eigenstates. Moreover, there
is no Bose-Einstein condensation and no superfluidity, even at zero temperature.
article_number: '035002'
author:
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Simone
full_name: Warzel, Simone
last_name: Warzel
citation:
ama: Seiringer R, Warzel S. Decay of correlations and absence of superfluidity in
the disordered Tonks-Girardeau gas. New Journal of Physics. 2016;18(3).
doi:10.1088/1367-2630/18/3/035002
apa: Seiringer, R., & Warzel, S. (2016). Decay of correlations and absence of
superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics.
IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/18/3/035002
chicago: Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence
of Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics.
IOP Publishing Ltd., 2016. https://doi.org/10.1088/1367-2630/18/3/035002.
ieee: R. Seiringer and S. Warzel, “Decay of correlations and absence of superfluidity
in the disordered Tonks-Girardeau gas,” New Journal of Physics, vol. 18,
no. 3. IOP Publishing Ltd., 2016.
ista: Seiringer R, Warzel S. 2016. Decay of correlations and absence of superfluidity
in the disordered Tonks-Girardeau gas. New Journal of Physics. 18(3), 035002.
mla: Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of
Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics,
vol. 18, no. 3, 035002, IOP Publishing Ltd., 2016, doi:10.1088/1367-2630/18/3/035002.
short: R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
date_created: 2018-12-11T11:52:15Z
date_published: 2016-02-29T00:00:00Z
date_updated: 2021-01-12T06:51:01Z
day: '29'
ddc:
- '510'
- '530'
department:
- _id: RoSe
doi: 10.1088/1367-2630/18/3/035002
file:
- access_level: open_access
checksum: 4f959eabc19d2a2f518318a450a4d424
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:22Z
date_updated: 2020-07-14T12:44:56Z
file_id: '5276'
file_name: IST-2016-579-v1+1_njp_18_3_035002.pdf
file_size: 965607
relation: main_file
file_date_updated: 2020-07-14T12:44:56Z
has_accepted_license: '1'
intvolume: ' 18'
issue: '3'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27533_N27
name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
publication: New Journal of Physics
publication_status: published
publisher: IOP Publishing Ltd.
publist_id: '5716'
pubrep_id: '579'
quality_controlled: '1'
scopus_import: 1
status: public
title: Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau
gas
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2016'
...
---
_id: '1479'
abstract:
- lang: eng
text: "Most entropy notions H(.) like Shannon or min-entropy satisfy a chain rule
stating that for random variables X,Z, and A we have H(X|Z,A)≥H(X|Z)−|A|. That
is, by conditioning on A the entropy of X can decrease by at most the bitlength
|A| of A. Such chain rules are known to hold for some computational entropy notions
like Yao’s and unpredictability-entropy. For HILL entropy, the computational analogue
of min-entropy, the chain rule is of special interest and has found many applications,
including leakage-resilient cryptography, deterministic encryption, and memory
delegation. These applications rely on restricted special cases of the chain rule.
Whether the chain rule for conditional HILL entropy holds in general was an open
problem for which we give a strong negative answer: we construct joint distributions
(X,Z,A), where A is a distribution over a single bit, such that the HILL entropy
H HILL (X|Z) is large but H HILL (X|Z,A) is basically zero.\r\n\r\nOur counterexample
just makes the minimal assumption that NP⊈P/poly. Under the stronger assumption
that injective one-way function exist, we can make all the distributions efficiently
samplable.\r\n\r\nFinally, we show that some more sophisticated cryptographic
objects like lossy functions can be used to sample a distribution constituting
a counterexample to the chain rule making only a single invocation to the underlying
object."
acknowledgement: "This work was partly funded by the European Research Council under
ERC Starting Grant 259668-PSPC and ERC Advanced Grant 321310-PERCY.\r\n"
author:
- first_name: Stephan
full_name: Krenn, Stephan
id: 329FCCF0-F248-11E8-B48F-1D18A9856A87
last_name: Krenn
orcid: 0000-0003-2835-9093
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
- first_name: Akshay
full_name: Wadia, Akshay
last_name: Wadia
- first_name: Daniel
full_name: Wichs, Daniel
last_name: Wichs
citation:
ama: Krenn S, Pietrzak KZ, Wadia A, Wichs D. A counterexample to the chain rule
for conditional HILL entropy. Computational Complexity. 2016;25(3):567-605.
doi:10.1007/s00037-015-0120-9
apa: Krenn, S., Pietrzak, K. Z., Wadia, A., & Wichs, D. (2016). A counterexample
to the chain rule for conditional HILL entropy. Computational Complexity.
Springer. https://doi.org/10.1007/s00037-015-0120-9
chicago: Krenn, Stephan, Krzysztof Z Pietrzak, Akshay Wadia, and Daniel Wichs. “A
Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational
Complexity. Springer, 2016. https://doi.org/10.1007/s00037-015-0120-9.
ieee: S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the
chain rule for conditional HILL entropy,” Computational Complexity, vol.
25, no. 3. Springer, pp. 567–605, 2016.
ista: Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain
rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.
mla: Krenn, Stephan, et al. “A Counterexample to the Chain Rule for Conditional
HILL Entropy.” Computational Complexity, vol. 25, no. 3, Springer, 2016,
pp. 567–605, doi:10.1007/s00037-015-0120-9.
short: S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25
(2016) 567–605.
date_created: 2018-12-11T11:52:16Z
date_published: 2016-09-01T00:00:00Z
date_updated: 2023-02-23T11:05:09Z
day: '01'
ddc:
- '004'
department:
- _id: KrPi
doi: 10.1007/s00037-015-0120-9
ec_funded: 1
file:
- access_level: open_access
checksum: 7659296174fa75f5f0364f31f46f4bcf
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:29Z
date_updated: 2020-07-14T12:44:56Z
file_id: '5012'
file_name: IST-2017-766-v1+1_678.pdf
file_size: 483258
relation: main_file
file_date_updated: 2020-07-14T12:44:56Z
has_accepted_license: '1'
intvolume: ' 25'
issue: '3'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 567 - 605
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication: Computational Complexity
publication_status: published
publisher: Springer
publist_id: '5715'
pubrep_id: '766'
quality_controlled: '1'
related_material:
record:
- id: '2940'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: A counterexample to the chain rule for conditional HILL entropy
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2016'
...
---
_id: '1480'
abstract:
- lang: eng
text: 'Exponential varieties arise from exponential families in statistics. These
real algebraic varieties have strong positivity and convexity properties, familiar
from toric varieties and their moment maps. Among them are varieties of inverses
of symmetric matrices satisfying linear constraints. This class includes Gaussian
graphical models. We develop a general theory of exponential varieties. These
are derived from hyperbolic polynomials and their integral representations. We
compare the multidegrees and ML degrees of the gradient map for hyperbolic polynomials. '
author:
- first_name: Mateusz
full_name: Michałek, Mateusz
last_name: Michałek
- first_name: Bernd
full_name: Sturmfels, Bernd
last_name: Sturmfels
- first_name: Caroline
full_name: Uhler, Caroline
id: 49ADD78E-F248-11E8-B48F-1D18A9856A87
last_name: Uhler
orcid: 0000-0002-7008-0216
- first_name: Piotr
full_name: Zwiernik, Piotr
last_name: Zwiernik
citation:
ama: Michałek M, Sturmfels B, Uhler C, Zwiernik P. Exponential varieties. Proceedings
of the London Mathematical Society. 2016;112(1):27-56. doi:10.1112/plms/pdv066
apa: Michałek, M., Sturmfels, B., Uhler, C., & Zwiernik, P. (2016). Exponential
varieties. Proceedings of the London Mathematical Society. Oxford University
Press. https://doi.org/10.1112/plms/pdv066
chicago: Michałek, Mateusz, Bernd Sturmfels, Caroline Uhler, and Piotr Zwiernik.
“Exponential Varieties.” Proceedings of the London Mathematical Society.
Oxford University Press, 2016. https://doi.org/10.1112/plms/pdv066.
ieee: M. Michałek, B. Sturmfels, C. Uhler, and P. Zwiernik, “Exponential varieties,”
Proceedings of the London Mathematical Society, vol. 112, no. 1. Oxford
University Press, pp. 27–56, 2016.
ista: Michałek M, Sturmfels B, Uhler C, Zwiernik P. 2016. Exponential varieties.
Proceedings of the London Mathematical Society. 112(1), 27–56.
mla: Michałek, Mateusz, et al. “Exponential Varieties.” Proceedings of the London
Mathematical Society, vol. 112, no. 1, Oxford University Press, 2016, pp.
27–56, doi:10.1112/plms/pdv066.
short: M. Michałek, B. Sturmfels, C. Uhler, P. Zwiernik, Proceedings of the London
Mathematical Society 112 (2016) 27–56.
date_created: 2018-12-11T11:52:16Z
date_published: 2016-01-07T00:00:00Z
date_updated: 2021-01-12T06:51:02Z
day: '07'
department:
- _id: CaUh
doi: 10.1112/plms/pdv066
intvolume: ' 112'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1412.6185
month: '01'
oa: 1
oa_version: Preprint
page: 27 - 56
publication: Proceedings of the London Mathematical Society
publication_status: published
publisher: Oxford University Press
publist_id: '5714'
quality_controlled: '1'
scopus_import: 1
status: public
title: Exponential varieties
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 112
year: '2016'
...
---
_id: '1482'
abstract:
- lang: eng
text: Plants have the ability to continously generate new organs by maintaining
populations of stem cells throught their lives. The shoot apical meristem (SAM)
provides a stable environment for the maintenance of stem cells. All cells inside
the SAM divide, yet boundaries and patterns are maintained. Experimental evidence
indicates that patterning is independent of cell lineage, thus a dynamic self-regulatory
mechanism is required. A pivotal role in the organization of the SAM is played
by the WUSCHEL gene (WUS). An important question in this regard is that how WUS
expression is positioned in the SAM via a cell-lineage independent signaling mechanism.
In this study we demonstrate via mathematical modeling that a combination of an
inhibitor of the Cytokinin (CK) receptor, Arabidopsis histidine kinase 4 (AHK4)
and two morphogens originating from the top cell layer, can plausibly account
for the cell lineage-independent centering of WUS expression within SAM. Furthermore,
our laser ablation and microsurgical experiments support the hypothesis that patterning
in SAM occurs at the level of CK reception and signaling. The model suggests that
the interplay between CK signaling, WUS/CLV feedback loop and boundary signals
can account for positioning of the WUS expression, and provides directions for
further experimental investigation.
acknowledgement: We thank J. Traas, B. Müller and V. Reddy for providing seed materials
and Y. Deb for advice regarding the laser ablation experiments. We specially thank
Thomas Laux for stimulating discussions and support in the initial phase of this
project.
article_number: e0147830
author:
- first_name: Milad
full_name: Adibi, Milad
last_name: Adibi
- first_name: Saiko
full_name: Yoshida, Saiko
id: 2E46069C-F248-11E8-B48F-1D18A9856A87
last_name: Yoshida
- first_name: Dolf
full_name: Weijers, Dolf
last_name: Weijers
- first_name: Christian
full_name: Fleck, Christian
last_name: Fleck
citation:
ama: Adibi M, Yoshida S, Weijers D, Fleck C. Centering the organizing center in
the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling
and self-organization. PLoS One. 2016;11(2). doi:10.1371/journal.pone.0147830
apa: Adibi, M., Yoshida, S., Weijers, D., & Fleck, C. (2016). Centering the
organizing center in the Arabidopsis thaliana shoot apical meristem by a combination
of cytokinin signaling and self-organization. PLoS One. Public Library
of Science. https://doi.org/10.1371/journal.pone.0147830
chicago: Adibi, Milad, Saiko Yoshida, Dolf Weijers, and Christian Fleck. “Centering
the Organizing Center in the Arabidopsis Thaliana Shoot Apical Meristem by a Combination
of Cytokinin Signaling and Self-Organization.” PLoS One. Public Library
of Science, 2016. https://doi.org/10.1371/journal.pone.0147830.
ieee: M. Adibi, S. Yoshida, D. Weijers, and C. Fleck, “Centering the organizing
center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin
signaling and self-organization,” PLoS One, vol. 11, no. 2. Public Library
of Science, 2016.
ista: Adibi M, Yoshida S, Weijers D, Fleck C. 2016. Centering the organizing center
in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin
signaling and self-organization. PLoS One. 11(2), e0147830.
mla: Adibi, Milad, et al. “Centering the Organizing Center in the Arabidopsis Thaliana
Shoot Apical Meristem by a Combination of Cytokinin Signaling and Self-Organization.”
PLoS One, vol. 11, no. 2, e0147830, Public Library of Science, 2016, doi:10.1371/journal.pone.0147830.
short: M. Adibi, S. Yoshida, D. Weijers, C. Fleck, PLoS One 11 (2016).
date_created: 2018-12-11T11:52:17Z
date_published: 2016-02-01T00:00:00Z
date_updated: 2021-01-12T06:51:03Z
day: '01'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.1371/journal.pone.0147830
file:
- access_level: open_access
checksum: 6066146e527335030f83aa5924ab72a6
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:16Z
date_updated: 2020-07-14T12:44:57Z
file_id: '5066'
file_name: IST-2016-521-v1+1_journal.pone.0147830.PDF
file_size: 4297148
relation: main_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
intvolume: ' 11'
issue: '2'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '5711'
pubrep_id: '521'
quality_controlled: '1'
scopus_import: 1
status: public
title: Centering the organizing center in the Arabidopsis thaliana shoot apical meristem
by a combination of cytokinin signaling and self-organization
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2016'
...
---
_id: '1484'
acknowledgement: We thank Maciek Adamowski for helpful discussions and Qiang Zhu and
Israel Ausin for critical reading of the manuscript. We sincerely apologize to colleagues
whose work we could not include owing to space limitations.
article_type: review
author:
- first_name: Xu
full_name: Chen, Xu
id: 4E5ADCAA-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Shuang
full_name: Wu, Shuang
last_name: Wu
- first_name: Zengyu
full_name: Liu, Zengyu
last_name: Liu
- first_name: Jiřĺ
full_name: Friml, Jiřĺ
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Chen X, Wu S, Liu Z, Friml J. Environmental and endogenous control of cortical
microtubule orientation. Trends in Cell Biology. 2016;26(6):409-419. doi:10.1016/j.tcb.2016.02.003
apa: Chen, X., Wu, S., Liu, Z., & Friml, J. (2016). Environmental and endogenous
control of cortical microtubule orientation. Trends in Cell Biology. Cell
Press. https://doi.org/10.1016/j.tcb.2016.02.003
chicago: Chen, Xu, Shuang Wu, Zengyu Liu, and Jiří Friml. “Environmental and Endogenous
Control of Cortical Microtubule Orientation.” Trends in Cell Biology. Cell
Press, 2016. https://doi.org/10.1016/j.tcb.2016.02.003.
ieee: X. Chen, S. Wu, Z. Liu, and J. Friml, “Environmental and endogenous control
of cortical microtubule orientation,” Trends in Cell Biology, vol. 26,
no. 6. Cell Press, pp. 409–419, 2016.
ista: Chen X, Wu S, Liu Z, Friml J. 2016. Environmental and endogenous control of
cortical microtubule orientation. Trends in Cell Biology. 26(6), 409–419.
mla: Chen, Xu, et al. “Environmental and Endogenous Control of Cortical Microtubule
Orientation.” Trends in Cell Biology, vol. 26, no. 6, Cell Press, 2016,
pp. 409–19, doi:10.1016/j.tcb.2016.02.003.
short: X. Chen, S. Wu, Z. Liu, J. Friml, Trends in Cell Biology 26 (2016) 409–419.
date_created: 2018-12-11T11:52:17Z
date_published: 2016-06-01T00:00:00Z
date_updated: 2021-01-12T06:51:04Z
day: '01'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1016/j.tcb.2016.02.003
file:
- access_level: open_access
checksum: b229e5bb4676ec3e27b7b9ea603b3a63
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:34Z
date_updated: 2020-07-14T12:44:57Z
file_id: '5155'
file_name: IST-2018-1002-v1+1_Chen_TICB_2016_proofs.pdf
file_size: 2329117
relation: main_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
intvolume: ' 26'
issue: '6'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 409 - 419
publication: Trends in Cell Biology
publication_status: published
publisher: Cell Press
publist_id: '5704'
pubrep_id: '1002'
quality_controlled: '1'
scopus_import: 1
status: public
title: Environmental and endogenous control of cortical microtubule orientation
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 26
year: '2016'
...
---
_id: '1485'
abstract:
- lang: eng
text: In this article the notion of metabolic turnover is revisited in the light
of recent results of out-of-equilibrium thermodynamics. By means of Monte Carlo
methods we perform an exact sampling of the enzymatic fluxes in a genome scale
metabolic network of E. Coli in stationary growth conditions from which we infer
the metabolites turnover times. However the latter are inferred from net fluxes,
and we argue that this approximation is not valid for enzymes working nearby thermodynamic
equilibrium. We recalculate turnover times from total fluxes by performing an
energy balance analysis of the network and recurring to the fluctuation theorem.
We find in many cases values one of order of magnitude lower, implying a faster
picture of intermediate metabolism.
article_number: '016003'
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. Genome-scale estimate of the metabolic turnover of E. Coli from
the energy balance analysis. Physical Biology. 2016;13(1). doi:10.1088/1478-3975/13/1/016003
apa: De Martino, D. (2016). Genome-scale estimate of the metabolic turnover of E.
Coli from the energy balance analysis. Physical Biology. IOP Publishing
Ltd. https://doi.org/10.1088/1478-3975/13/1/016003
chicago: De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of
E. Coli from the Energy Balance Analysis.” Physical Biology. IOP Publishing
Ltd., 2016. https://doi.org/10.1088/1478-3975/13/1/016003.
ieee: D. De Martino, “Genome-scale estimate of the metabolic turnover of E. Coli
from the energy balance analysis,” Physical Biology, vol. 13, no. 1. IOP
Publishing Ltd., 2016.
ista: De Martino D. 2016. Genome-scale estimate of the metabolic turnover of E.
Coli from the energy balance analysis. Physical Biology. 13(1), 016003.
mla: De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E.
Coli from the Energy Balance Analysis.” Physical Biology, vol. 13, no.
1, 016003, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/1/016003.
short: D. De Martino, Physical Biology 13 (2016).
date_created: 2018-12-11T11:52:18Z
date_published: 2016-01-29T00:00:00Z
date_updated: 2021-01-12T06:51:04Z
day: '29'
department:
- _id: GaTk
doi: 10.1088/1478-3975/13/1/016003
ec_funded: 1
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1505.04613
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Physical Biology
publication_status: published
publisher: IOP Publishing Ltd.
publist_id: '5702'
quality_controlled: '1'
scopus_import: 1
status: public
title: Genome-scale estimate of the metabolic turnover of E. Coli from the energy
balance analysis
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2016'
...
---
_id: '1486'
abstract:
- lang: eng
text: We review recent results concerning the mathematical properties of the Bardeen-Cooper-Schrieffer
(BCS) functional of superconductivity, which were obtained in a series of papers,
partly in collaboration with R. Frank, E. Hamza, S. Naboko, and J. P. Solovej.
Our discussion includes, in particular, an investigation of the critical temperature
for a general class of interaction potentials, as well as a study of its dependence
on external fields. We shall explain how the Ginzburg-Landau model can be derived
from the BCS theory in a suitable parameter regime.
article_number: '021101'
author:
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Hainzl C, Seiringer R. The Bardeen–Cooper–Schrieffer functional of superconductivity
and its mathematical properties. Journal of Mathematical Physics. 2016;57(2).
doi:10.1063/1.4941723
apa: Hainzl, C., & Seiringer, R. (2016). The Bardeen–Cooper–Schrieffer functional
of superconductivity and its mathematical properties. Journal of Mathematical
Physics. American Institute of Physics. https://doi.org/10.1063/1.4941723
chicago: Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer
Functional of Superconductivity and Its Mathematical Properties.” Journal of
Mathematical Physics. American Institute of Physics, 2016. https://doi.org/10.1063/1.4941723.
ieee: C. Hainzl and R. Seiringer, “The Bardeen–Cooper–Schrieffer functional of superconductivity
and its mathematical properties,” Journal of Mathematical Physics, vol.
57, no. 2. American Institute of Physics, 2016.
ista: Hainzl C, Seiringer R. 2016. The Bardeen–Cooper–Schrieffer functional of superconductivity
and its mathematical properties. Journal of Mathematical Physics. 57(2), 021101.
mla: Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer Functional
of Superconductivity and Its Mathematical Properties.” Journal of Mathematical
Physics, vol. 57, no. 2, 021101, American Institute of Physics, 2016, doi:10.1063/1.4941723.
short: C. Hainzl, R. Seiringer, Journal of Mathematical Physics 57 (2016).
date_created: 2018-12-11T11:52:18Z
date_published: 2016-02-24T00:00:00Z
date_updated: 2021-01-12T06:51:04Z
day: '24'
department:
- _id: RoSe
doi: 10.1063/1.4941723
intvolume: ' 57'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1511.01995
month: '02'
oa: 1
oa_version: Preprint
publication: Journal of Mathematical Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '5701'
quality_controlled: '1'
scopus_import: 1
status: public
title: The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical
properties
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 57
year: '2016'
...
---
_id: '1487'
abstract:
- lang: eng
text: Rhythms with time scales of multiple cycles per second permeate the mammalian
brain, yet neuroscientists are not certain of their functional roles. One leading
idea is that coherent oscillation between two brain regions facilitates the exchange
of information between them. In rats, the hippocampus and the vibrissal sensorimotor
system both are characterized by rhythmic oscillation in the theta range, 5–12
Hz. Previous work has been divided as to whether the two rhythms are independent
or coherent. To resolve this question, we acquired three measures from rats—whisker
motion, hippocampal local field potential (LFP), and barrel cortex unit firing—during
a whisker-mediated texture discrimination task and during control conditions (not
engaged in a whisker-mediated memory task). Compared to control conditions, the
theta band of hippocampal LFP showed a marked increase in power as the rats approached
and then palpated the texture. Phase synchronization between whisking and hippocampal
LFP increased by almost 50% during approach and texture palpation. In addition,
a greater proportion of barrel cortex neurons showed firing that was phase-locked
to hippocampal theta while rats were engaged in the discrimination task. Consistent
with a behavioral consequence of phase synchronization, the rats identified the
texture more rapidly and with lower error likelihood on trials in which there
was an increase in theta-whisking coherence at the moment of texture palpation.
These results suggest that coherence between the whisking rhythm, barrel cortex
firing, and hippocampal LFP is augmented selectively during epochs in which the
rat collects sensory information and that such coherence enhances the efficiency
of integration of stimulus information into memory and decision-making centers.
acknowledgement: We thank Eric Maris, Demian Battaglia, and Rodrigo Quian Quiroga
for useful discussions. We are grateful to Fabrizio Manzino and Marco Gigante for
construction of the behavioral apparatus, Igor Perkon for developing custom whisker
tracking software and to Francesca Pulecchi for animal care and histological processing.
article_number: e1002384
author:
- first_name: Natalia
full_name: Grion, Natalia
last_name: Grion
- first_name: Athena
full_name: Akrami, Athena
last_name: Akrami
- first_name: Yangfang
full_name: Zuo, Yangfang
last_name: Zuo
- first_name: Federico
full_name: Stella, Federico
id: 39AF1E74-F248-11E8-B48F-1D18A9856A87
last_name: Stella
orcid: 0000-0001-9439-3148
- first_name: Mathew
full_name: Diamond, Mathew
last_name: Diamond
citation:
ama: Grion N, Akrami A, Zuo Y, Stella F, Diamond M. Coherence between rat sensorimotor
system and hippocampus is enhanced during tactile discrimination. PLoS Biology.
2016;14(2). doi:10.1371/journal.pbio.1002384
apa: Grion, N., Akrami, A., Zuo, Y., Stella, F., & Diamond, M. (2016). Coherence
between rat sensorimotor system and hippocampus is enhanced during tactile discrimination.
PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002384
chicago: Grion, Natalia, Athena Akrami, Yangfang Zuo, Federico Stella, and Mathew
Diamond. “Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced
during Tactile Discrimination.” PLoS Biology. Public Library of Science,
2016. https://doi.org/10.1371/journal.pbio.1002384.
ieee: N. Grion, A. Akrami, Y. Zuo, F. Stella, and M. Diamond, “Coherence between
rat sensorimotor system and hippocampus is enhanced during tactile discrimination,”
PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
ista: Grion N, Akrami A, Zuo Y, Stella F, Diamond M. 2016. Coherence between rat
sensorimotor system and hippocampus is enhanced during tactile discrimination.
PLoS Biology. 14(2), e1002384.
mla: Grion, Natalia, et al. “Coherence between Rat Sensorimotor System and Hippocampus
Is Enhanced during Tactile Discrimination.” PLoS Biology, vol. 14, no.
2, e1002384, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002384.
short: N. Grion, A. Akrami, Y. Zuo, F. Stella, M. Diamond, PLoS Biology 14 (2016).
date_created: 2018-12-11T11:52:18Z
date_published: 2016-02-18T00:00:00Z
date_updated: 2021-01-12T06:51:05Z
day: '18'
ddc:
- '570'
department:
- _id: JoCs
doi: 10.1371/journal.pbio.1002384
file:
- access_level: open_access
checksum: 3a5ce0d4e4e36bd6ceb4be761f85644a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:11Z
date_updated: 2020-07-14T12:44:57Z
file_id: '5129'
file_name: IST-2016-518-v1+1_journal.pbio.1002384.PDF
file_size: 2879899
relation: main_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
intvolume: ' 14'
issue: '2'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
publist_id: '5700'
pubrep_id: '518'
quality_controlled: '1'
scopus_import: 1
status: public
title: Coherence between rat sensorimotor system and hippocampus is enhanced during
tactile discrimination
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2016'
...
---
_id: '1488'
abstract:
- lang: eng
text: Branching morphogenesis of the epithelial ureteric bud forms the renal collecting
duct system and is critical for normal nephron number, while low nephron number
is implicated in hypertension and renal disease. Ureteric bud growth and branching
requires GDNF signaling from the surrounding mesenchyme to cells at the ureteric
bud tips, via the Ret receptor tyrosine kinase and coreceptor Gfrα1; Ret signaling
up-regulates transcription factors Etv4 and Etv5, which are also critical for
branching. Despite extensive knowledge of the genetic control of these events,
it is not understood, at the cellular level, how renal branching morphogenesis
is achieved or how Ret signaling influences epithelial cell behaviors to promote
this process. Analysis of chimeric embryos previously suggested a role for Ret
signaling in promoting cell rearrangements in the nephric duct, but this method
was unsuited to study individual cell behaviors during ureteric bud branching.
Here, we use Mosaic Analysis with Double Markers (MADM), combined with organ culture
and time-lapse imaging, to trace the movements and divisions of individual ureteric
bud tip cells. We first examine wild-type clones and then Ret or Etv4 mutant/wild-type
clones in which the mutant and wild-type sister cells are differentially and heritably
marked by green and red fluorescent proteins. We find that, in normal kidneys,
most individual tip cells behave as self-renewing progenitors, some of whose progeny
remain at the tips while others populate the growing UB trunks. In Ret or Etv4
MADM clones, the wild-type cells generated at a UB tip are much more likely to
remain at, or move to, the new tips during branching and elongation, while their
Ret−/− or Etv4−/− sister cells tend to lag behind and contribute only to the trunks.
By tracking successive mitoses in a cell lineage, we find that Ret signaling has
little effect on proliferation, in contrast to its effects on cell movement. Our
results show that Ret/Etv4 signaling promotes directed cell movements in the ureteric
bud tips, and suggest a model in which these cell movements mediate branching
morphogenesis.
acknowledgement: We thank Silvia Arber, Thomas Jessell, Kenneth M. Murphy, Carlton
Bates, Hideki Enomoto, Liqun Luo and Andrew McMahon for mouse strains; Thomas Jessell
for antibodies; and Laura Martinez Prat for experimental assistance.
article_number: e1002382
author:
- first_name: Paul
full_name: Riccio, Paul
last_name: Riccio
- first_name: Cristina
full_name: Cebrián, Cristina
last_name: Cebrián
- first_name: Hui
full_name: Zong, Hui
last_name: Zong
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
- first_name: Frank
full_name: Costantini, Frank
last_name: Costantini
citation:
ama: Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. Ret and Etv4 promote
directed movements of progenitor cells during renal branching morphogenesis. PLoS
Biology. 2016;14(2). doi:10.1371/journal.pbio.1002382
apa: Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2016).
Ret and Etv4 promote directed movements of progenitor cells during renal branching
morphogenesis. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002382
chicago: Riccio, Paul, Cristina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank
Costantini. “Ret and Etv4 Promote Directed Movements of Progenitor Cells during
Renal Branching Morphogenesis.” PLoS Biology. Public Library of Science,
2016. https://doi.org/10.1371/journal.pbio.1002382.
ieee: P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and
Etv4 promote directed movements of progenitor cells during renal branching morphogenesis,”
PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
ista: Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2016. Ret and Etv4
promote directed movements of progenitor cells during renal branching morphogenesis.
PLoS Biology. 14(2), e1002382.
mla: Riccio, Paul, et al. “Ret and Etv4 Promote Directed Movements of Progenitor
Cells during Renal Branching Morphogenesis.” PLoS Biology, vol. 14, no.
2, e1002382, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002382.
short: P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, PLoS Biology
14 (2016).
date_created: 2018-12-11T11:52:19Z
date_published: 2016-02-19T00:00:00Z
date_updated: 2023-02-23T10:01:08Z
day: '19'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1371/journal.pbio.1002382
file:
- access_level: open_access
checksum: 7f8fa1b3a29f94c0a14dd4465278cdbc
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:42Z
date_updated: 2020-07-14T12:44:57Z
file_id: '5027'
file_name: IST-2016-517-v1+1_journal.pbio.1002382_1_.PDF
file_size: 5904773
relation: main_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
intvolume: ' 14'
issue: '2'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
publist_id: '5699'
pubrep_id: '517'
quality_controlled: '1'
related_material:
record:
- id: '9703'
relation: research_data
status: deleted
scopus_import: 1
status: public
title: Ret and Etv4 promote directed movements of progenitor cells during renal branching
morphogenesis
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2016'
...
---
_id: '1489'
abstract:
- lang: eng
text: 'We prove optimal local law, bulk universality and non-trivial decay for the
off-diagonal elements of the resolvent for a class of translation invariant Gaussian
random matrix ensembles with correlated entries. '
acknowledgement: Open access funding provided by Institute of Science and Technology
(IST Austria). Oskari H. Ajanki was Partially supported by ERC Advanced Grant RANMAT
No. 338804, and SFB-TR 12 Grant of the German Research Council. László Erdős was
Partially supported by ERC Advanced Grant RANMAT No. 338804. Torben Krüger was Partially
supported by ERC Advanced Grant RANMAT No. 338804, and SFB-TR 12 Grant of the German
Research Council.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Oskari H
full_name: Ajanki, Oskari H
id: 36F2FB7E-F248-11E8-B48F-1D18A9856A87
last_name: Ajanki
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
citation:
ama: Ajanki OH, Erdös L, Krüger TH. Local spectral statistics of Gaussian matrices
with correlated entries. Journal of Statistical Physics. 2016;163(2):280-302.
doi:10.1007/s10955-016-1479-y
apa: Ajanki, O. H., Erdös, L., & Krüger, T. H. (2016). Local spectral statistics
of Gaussian matrices with correlated entries. Journal of Statistical Physics.
Springer. https://doi.org/10.1007/s10955-016-1479-y
chicago: Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Spectral Statistics
of Gaussian Matrices with Correlated Entries.” Journal of Statistical Physics.
Springer, 2016. https://doi.org/10.1007/s10955-016-1479-y.
ieee: O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local spectral statistics of Gaussian
matrices with correlated entries,” Journal of Statistical Physics, vol.
163, no. 2. Springer, pp. 280–302, 2016.
ista: Ajanki OH, Erdös L, Krüger TH. 2016. Local spectral statistics of Gaussian
matrices with correlated entries. Journal of Statistical Physics. 163(2), 280–302.
mla: Ajanki, Oskari H., et al. “Local Spectral Statistics of Gaussian Matrices with
Correlated Entries.” Journal of Statistical Physics, vol. 163, no. 2, Springer,
2016, pp. 280–302, doi:10.1007/s10955-016-1479-y.
short: O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016)
280–302.
date_created: 2018-12-11T11:52:19Z
date_published: 2016-04-01T00:00:00Z
date_updated: 2021-01-12T06:51:05Z
day: '01'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1007/s10955-016-1479-y
ec_funded: 1
file:
- access_level: open_access
checksum: 7139598dcb1cafbe6866bd2bfd732b33
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:16Z
date_updated: 2020-07-14T12:44:57Z
file_id: '4869'
file_name: IST-2016-516-v1+1_s10955-016-1479-y.pdf
file_size: 660602
relation: main_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
intvolume: ' 163'
issue: '2'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 280 - 302
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '5698'
pubrep_id: '516'
quality_controlled: '1'
scopus_import: 1
status: public
title: Local spectral statistics of Gaussian matrices with correlated entries
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 163
year: '2016'
...