---
_id: '2824'
abstract:
- lang: eng
text: We study synthesis of controllers for real-time systems, where the objective
is to stay in a given safe set. The problem is solved by obtaining winning strategies
in the setting of concurrent two player timed automaton games with safety objectives.
To prevent a player from winning by blocking time, we restrict each player to
strategies that ensure that the player cannot be responsible for causing a Zeno
run. We construct winning strategies for the controller which require access only
to (1) the system clocks (thus, controllers which require their own internal infinitely
precise clocks are not necessary), and (2) a logarithmic (in the number of clocks)
number of memory bits (i.e. a linear number of memory states). Precisely, we show
that for safety objectives, a memory of size (3 + lg (| C | + 1)) bits suffices
for winning controller strategies, where C is the set of clocks of the timed automaton
game, significantly improving the previous known exponential memory states bound.
We also settle the open question of whether winning region-based strategies require
memory for safety objectives by showing with an example the necessity of memory
for such strategies to win for safety objectives. Finally, we show that the decision
problem of determining if there exists a receptive player-1 winning strategy for
safety objectives is EXPTIME-complete over timed automaton games.
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Vinayak
full_name: Prabhu, Vinayak
last_name: Prabhu
citation:
ama: Chatterjee K, Prabhu V. Synthesis of memory-efficient, clock-memory free, and
non-Zeno safety controllers for timed systems. Information and Computation.
2013;228-229:83-119. doi:10.1016/j.ic.2013.04.003
apa: Chatterjee, K., & Prabhu, V. (2013). Synthesis of memory-efficient, clock-memory
free, and non-Zeno safety controllers for timed systems. Information and Computation.
Elsevier. https://doi.org/10.1016/j.ic.2013.04.003
chicago: Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient,
Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information
and Computation. Elsevier, 2013. https://doi.org/10.1016/j.ic.2013.04.003.
ieee: K. Chatterjee and V. Prabhu, “Synthesis of memory-efficient, clock-memory
free, and non-Zeno safety controllers for timed systems,” Information and Computation,
vol. 228–229. Elsevier, pp. 83–119, 2013.
ista: Chatterjee K, Prabhu V. 2013. Synthesis of memory-efficient, clock-memory
free, and non-Zeno safety controllers for timed systems. Information and Computation.
228–229, 83–119.
mla: Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient,
Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information
and Computation, vol. 228–229, Elsevier, 2013, pp. 83–119, doi:10.1016/j.ic.2013.04.003.
short: K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
date_created: 2018-12-11T11:59:47Z
date_published: 2013-04-24T00:00:00Z
date_updated: 2021-01-12T06:59:58Z
day: '24'
department:
- _id: KrCh
doi: 10.1016/j.ic.2013.04.003
ec_funded: 1
language:
- iso: eng
month: '04'
oa_version: None
page: 83-119
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: Information and Computation
publication_status: published
publisher: Elsevier
publist_id: '3977'
quality_controlled: '1'
scopus_import: 1
status: public
title: Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers
for timed systems
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 228-229
year: '2013'
...
---
_id: '2832'
abstract:
- lang: eng
text: PIN-FORMED (PIN) proteins localize asymmetrically at the plasma membrane and
mediate intercellular polar transport of the plant hormone auxin that is crucial
for a multitude of developmental processes in plants. PIN localization is under
extensive control by environmental or developmental cues, but mechanisms regulating
PIN localization are not fully understood. Here we show that early endosomal components
ARF GEF BEN1 and newly identified Sec1/Munc18 family protein BEN2 are involved
in distinct steps of early endosomal trafficking. BEN1 and BEN2 are collectively
required for polar PIN localization, for their dynamic repolarization, and consequently
for auxin activity gradient formation and auxin-related developmental processes
including embryonic patterning, organogenesis, and vasculature venation patterning.
These results show that early endosomal trafficking is crucial for cell polarity
and auxin-dependent regulation of plant architecture.
article_number: e1003540
author:
- first_name: Hirokazu
full_name: Tanaka, Hirokazu
last_name: Tanaka
- first_name: Saeko
full_name: Kitakura, Saeko
last_name: Kitakura
- first_name: Hana
full_name: Rakusová, Hana
last_name: Rakusová
- first_name: Tomohiro
full_name: Uemura, Tomohiro
last_name: Uemura
- first_name: Mugurel
full_name: Feraru, Mugurel
last_name: Feraru
- first_name: Riet
full_name: De Rycke, Riet
last_name: De Rycke
- first_name: Stéphanie
full_name: Robert, Stéphanie
last_name: Robert
- first_name: Tatsuo
full_name: Kakimoto, Tatsuo
last_name: Kakimoto
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Tanaka H, Kitakura S, Rakusová H, et al. Cell polarity and patterning by PIN
trafficking through early endosomal compartments in arabidopsis thaliana. PLoS
Genetics. 2013;9(5). doi:10.1371/journal.pgen.1003540
apa: Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R.,
… Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early
endosomal compartments in arabidopsis thaliana. PLoS Genetics. Public Library
of Science. https://doi.org/10.1371/journal.pgen.1003540
chicago: Tanaka, Hirokazu, Saeko Kitakura, Hana Rakusová, Tomohiro Uemura, Mugurel
Feraru, Riet De Rycke, Stéphanie Robert, Tatsuo Kakimoto, and Jiří Friml. “Cell
Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments
in Arabidopsis Thaliana.” PLoS Genetics. Public Library of Science, 2013.
https://doi.org/10.1371/journal.pgen.1003540.
ieee: H. Tanaka et al., “Cell polarity and patterning by PIN trafficking
through early endosomal compartments in arabidopsis thaliana,” PLoS Genetics,
vol. 9, no. 5. Public Library of Science, 2013.
ista: Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S,
Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through
early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5), e1003540.
mla: Tanaka, Hirokazu, et al. “Cell Polarity and Patterning by PIN Trafficking through
Early Endosomal Compartments in Arabidopsis Thaliana.” PLoS Genetics, vol.
9, no. 5, e1003540, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003540.
short: H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S.
Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
date_created: 2018-12-11T11:59:50Z
date_published: 2013-05-05T00:00:00Z
date_updated: 2021-01-12T07:00:03Z
day: '05'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.1371/journal.pgen.1003540
ec_funded: 1
file:
- access_level: open_access
checksum: 050237d6c53e8d1601b26808ee1dd6d8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:39Z
date_updated: 2020-07-14T12:45:50Z
file_id: '4957'
file_name: IST-2016-411-v1+1_journal.pgen.1003540.pdf
file_size: 3813091
relation: main_file
file_date_updated: 2020-07-14T12:45:50Z
has_accepted_license: '1'
intvolume: ' 9'
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: PLoS Genetics
publication_status: published
publisher: Public Library of Science
publist_id: '3967'
pubrep_id: '411'
quality_controlled: '1'
scopus_import: 1
status: public
title: Cell polarity and patterning by PIN trafficking through early endosomal compartments
in arabidopsis thaliana
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: 9
year: '2013'
...
---
_id: '2828'
abstract:
- lang: eng
text: 'We study the complexity of valued constraint satisfaction problems (VCSPs)
parametrized by a constraint language, a fixed set of cost functions over a finite
domain. An instance of the problem is specified by a sum of cost functions from
the language and the goal is to minimize the sum. Under the unique games conjecture,
the approximability of finite-valued VCSPs is well understood, see Raghavendra
[2008]. However, there is no characterization of finite-valued VCSPs, let alone
general-valued VCSPs, that can be solved exactly in polynomial time, thus giving
insights from a combinatorial optimization perspective. We consider the case of
languages containing all possible unary cost functions. In the case of languages
consisting of only {0, ∞}-valued cost functions (i.e., relations), such languages
have been called conservative and studied by Bulatov [2003, 2011] and recently
by Barto [2011]. Since we study valued languages, we call a language conservative
if it contains all finite-valued unary cost functions. The computational complexity
of conservative valued languages has been studied by Cohen et al. [2006] for languages
over Boolean domains, by Deineko et al. [2008] for {0, 1}-valued languages (a.k.a
Max-CSP), and by Takhanov [2010a] for {0, ∞}-valued languages containing all finite-valued
unary cost functions (a.k.a. Min-Cost-Hom). We prove a Schaefer-like dichotomy
theorem for conservative valued languages: if all cost functions in the language
satisfy a certain condition (specified by a complementary combination of STP and
MJN multimor-phisms), then any instance can be solved in polynomial time (via
a new algorithm developed in this article), otherwise the language is NP-hard.
This is the first complete complexity classification of general-valued constraint
languages over non-Boolean domains. It is a common phenomenon that complexity
classifications of problems over non-Boolean domains are significantly harder
than the Boolean cases. The polynomial-time algorithm we present for the tractable
cases is a generalization of the submodular minimization problem and a result
of Cohen et al. [2008]. Our results generalize previous results by Takhanov [2010a]
and (a subset of results) by Cohen et al. [2006] and Deineko et al. [2008]. Moreover,
our results do not rely on any computer-assisted search as in Deineko et al. [2008],
and provide a powerful tool for proving hardness of finite-valued and general-valued
languages.'
article_number: '10'
author:
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Stanislav
full_name: Živný, Stanislav
last_name: Živný
citation:
ama: Kolmogorov V, Živný S. The complexity of conservative valued CSPs. Journal
of the ACM. 2013;60(2). doi:10.1145/2450142.2450146
apa: Kolmogorov, V., & Živný, S. (2013). The complexity of conservative valued
CSPs. Journal of the ACM. ACM. https://doi.org/10.1145/2450142.2450146
chicago: Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative
Valued CSPs.” Journal of the ACM. ACM, 2013. https://doi.org/10.1145/2450142.2450146.
ieee: V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,”
Journal of the ACM, vol. 60, no. 2. ACM, 2013.
ista: Kolmogorov V, Živný S. 2013. The complexity of conservative valued CSPs. Journal
of the ACM. 60(2), 10.
mla: Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative
Valued CSPs.” Journal of the ACM, vol. 60, no. 2, 10, ACM, 2013, doi:10.1145/2450142.2450146.
short: V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
date_created: 2018-12-11T11:59:48Z
date_published: 2013-04-02T00:00:00Z
date_updated: 2021-01-12T07:00:00Z
day: '02'
department:
- _id: VlKo
doi: 10.1145/2450142.2450146
external_id:
arxiv:
- '1110.2809'
intvolume: ' 60'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1110.2809
month: '04'
oa: 1
oa_version: Preprint
publication: Journal of the ACM
publication_status: published
publisher: ACM
publist_id: '3971'
quality_controlled: '1'
scopus_import: 1
status: public
title: The complexity of conservative valued CSPs
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 60
year: '2013'
...
---
_id: '2829'
abstract:
- lang: eng
text: Laminar-turbulent intermittency is intrinsic to the transitional regime of
a wide range of fluid flows including pipe, channel, boundary layer, and Couette
flow. In the latter turbulent spots can grow and form continuous stripes, yet
in the stripe-normal direction they remain interspersed by laminar fluid. We carry
out direct numerical simulations in a long narrow domain and observe that individual
turbulent stripes are transient. In agreement with recent observations in pipe
flow, we find that turbulence becomes sustained at a distinct critical point once
the spatial proliferation outweighs the inherent decaying process. By resolving
the asymptotic size distributions close to criticality we can for the first time
demonstrate scale invariance at the onset of turbulence.
article_number: '204502'
author:
- first_name: Liang
full_name: Shi, Liang
id: 374A3F1A-F248-11E8-B48F-1D18A9856A87
last_name: Shi
- first_name: Marc
full_name: Avila, Marc
last_name: Avila
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Shi L, Avila M, Hof B. Scale invariance at the onset of turbulence in couette
flow. Physical Review Letters. 2013;110(20). doi:10.1103/PhysRevLett.110.204502
apa: Shi, L., Avila, M., & Hof, B. (2013). Scale invariance at the onset of
turbulence in couette flow. Physical Review Letters. American Physical
Society. https://doi.org/10.1103/PhysRevLett.110.204502
chicago: Shi, Liang, Marc Avila, and Björn Hof. “Scale Invariance at the Onset of
Turbulence in Couette Flow.” Physical Review Letters. American Physical
Society, 2013. https://doi.org/10.1103/PhysRevLett.110.204502.
ieee: L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence
in couette flow,” Physical Review Letters, vol. 110, no. 20. American Physical
Society, 2013.
ista: Shi L, Avila M, Hof B. 2013. Scale invariance at the onset of turbulence in
couette flow. Physical Review Letters. 110(20), 204502.
mla: Shi, Liang, et al. “Scale Invariance at the Onset of Turbulence in Couette
Flow.” Physical Review Letters, vol. 110, no. 20, 204502, American Physical
Society, 2013, doi:10.1103/PhysRevLett.110.204502.
short: L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
date_created: 2018-12-11T11:59:49Z
date_published: 2013-05-13T00:00:00Z
date_updated: 2021-01-12T07:00:00Z
day: '13'
department:
- _id: BjHo
doi: 10.1103/PhysRevLett.110.204502
ec_funded: 1
external_id:
arxiv:
- '1304.5446'
intvolume: ' 110'
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1304.5446
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '306589'
name: Decoding the complexity of turbulence at its origin
- _id: 2511D90C-B435-11E9-9278-68D0E5697425
grant_number: SFB 963 TP A8
name: Astrophysical instability of currents and turbulences
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '3970'
quality_controlled: '1'
scopus_import: 1
status: public
title: Scale invariance at the onset of turbulence in couette flow
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 110
year: '2013'
...
---
_id: '2834'
abstract:
- lang: eng
text: Although the equations governing fluid flow are well known, there are no analytical
expressions that describe the complexity of turbulent motion. A recent proposition
is that in analogy to low dimensional chaotic systems, turbulence is organized
around unstable solutions of the governing equations which provide the building
blocks of the disordered dynamics. We report the discovery of periodic solutions
which just like intermittent turbulence are spatially localized and show that
turbulent transients arise from one such solution branch.
article_number: '224502'
author:
- first_name: Marc
full_name: Avila, Marc
last_name: Avila
- first_name: Fernando
full_name: Mellibovsky, Fernando
last_name: Mellibovsky
- first_name: Nicolas
full_name: Roland, Nicolas
last_name: Roland
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Avila M, Mellibovsky F, Roland N, Hof B. Streamwise-localized solutions at
the onset of turbulence in pipe flow. Physical Review Letters. 2013;110(22).
doi:10.1103/PhysRevLett.110.224502
apa: Avila, M., Mellibovsky, F., Roland, N., & Hof, B. (2013). Streamwise-localized
solutions at the onset of turbulence in pipe flow. Physical Review Letters.
American Physical Society. https://doi.org/10.1103/PhysRevLett.110.224502
chicago: Avila, Marc, Fernando Mellibovsky, Nicolas Roland, and Björn Hof. “Streamwise-Localized
Solutions at the Onset of Turbulence in Pipe Flow.” Physical Review Letters.
American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.224502.
ieee: M. Avila, F. Mellibovsky, N. Roland, and B. Hof, “Streamwise-localized solutions
at the onset of turbulence in pipe flow,” Physical Review Letters, vol.
110, no. 22. American Physical Society, 2013.
ista: Avila M, Mellibovsky F, Roland N, Hof B. 2013. Streamwise-localized solutions
at the onset of turbulence in pipe flow. Physical Review Letters. 110(22), 224502.
mla: Avila, Marc, et al. “Streamwise-Localized Solutions at the Onset of Turbulence
in Pipe Flow.” Physical Review Letters, vol. 110, no. 22, 224502, American
Physical Society, 2013, doi:10.1103/PhysRevLett.110.224502.
short: M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110
(2013).
date_created: 2018-12-11T11:59:50Z
date_published: 2013-05-29T00:00:00Z
date_updated: 2021-01-12T07:00:05Z
day: '29'
department:
- _id: BjHo
doi: 10.1103/PhysRevLett.110.224502
ec_funded: 1
external_id:
arxiv:
- '1212.0230'
intvolume: ' 110'
issue: '22'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1212.0230
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '306589'
name: Decoding the complexity of turbulence at its origin
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '3965'
quality_controlled: '1'
scopus_import: 1
status: public
title: Streamwise-localized solutions at the onset of turbulence in pipe flow
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 110
year: '2013'
...
---
_id: '2833'
abstract:
- lang: eng
text: During development, mechanical forces cause changes in size, shape, number,
position, and gene expression of cells. They are therefore integral to any morphogenetic
processes. Force generation by actin-myosin networks and force transmission through
adhesive complexes are two self-organizing phenomena driving tissue morphogenesis.
Coordination and integration of forces by long-range force transmission and mechanosensing
of cells within tissues produce large-scale tissue shape changes. Extrinsic mechanical
forces also control tissue patterning by modulating cell fate specification and
differentiation. Thus, the interplay between tissue mechanics and biochemical
signaling orchestrates tissue morphogenesis and patterning in development.
acknowledgement: C.-P.H. is supported by the Institute of Science and Technology Austria
and grants from the Deutsche Forschungsgemeinschaft (DFG) and Fonds zur Förderung
der wissenschaftlichen Forschung (FWF).
author:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Yohanns
full_name: Bellaïche, Yohanns
last_name: Bellaïche
citation:
ama: Heisenberg C-PJ, Bellaïche Y. Forces in tissue morphogenesis and patterning.
Cell. 2013;153(5):948-962. doi:10.1016/j.cell.2013.05.008
apa: Heisenberg, C.-P. J., & Bellaïche, Y. (2013). Forces in tissue morphogenesis
and patterning. Cell. Cell Press. https://doi.org/10.1016/j.cell.2013.05.008
chicago: Heisenberg, Carl-Philipp J, and Yohanns Bellaïche. “Forces in Tissue Morphogenesis
and Patterning.” Cell. Cell Press, 2013. https://doi.org/10.1016/j.cell.2013.05.008.
ieee: C.-P. J. Heisenberg and Y. Bellaïche, “Forces in tissue morphogenesis and
patterning,” Cell, vol. 153, no. 5. Cell Press, pp. 948–962, 2013.
ista: Heisenberg C-PJ, Bellaïche Y. 2013. Forces in tissue morphogenesis and patterning.
Cell. 153(5), 948–962.
mla: Heisenberg, Carl-Philipp J., and Yohanns Bellaïche. “Forces in Tissue Morphogenesis
and Patterning.” Cell, vol. 153, no. 5, Cell Press, 2013, pp. 948–62, doi:10.1016/j.cell.2013.05.008.
short: C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.
date_created: 2018-12-11T11:59:50Z
date_published: 2013-05-23T00:00:00Z
date_updated: 2021-01-12T07:00:04Z
day: '23'
department:
- _id: CaHe
doi: 10.1016/j.cell.2013.05.008
intvolume: ' 153'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 948 - 962
publication: Cell
publication_status: published
publisher: Cell Press
publist_id: '3966'
quality_controlled: '1'
scopus_import: 1
status: public
title: Forces in tissue morphogenesis and patterning
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 153
year: '2013'
...
---
_id: '2830'
author:
- first_name: Christine
full_name: Moussion, Christine
id: 3356F664-F248-11E8-B48F-1D18A9856A87
last_name: Moussion
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Moussion C, Sixt MK. A conduit to amplify innate immunity. Immunity.
2013;38(5):853-854. doi:10.1016/j.immuni.2013.05.005
apa: Moussion, C., & Sixt, M. K. (2013). A conduit to amplify innate immunity.
Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2013.05.005
chicago: Moussion, Christine, and Michael K Sixt. “A Conduit to Amplify Innate Immunity.”
Immunity. Cell Press, 2013. https://doi.org/10.1016/j.immuni.2013.05.005.
ieee: C. Moussion and M. K. Sixt, “A conduit to amplify innate immunity,” Immunity,
vol. 38, no. 5. Cell Press, pp. 853–854, 2013.
ista: Moussion C, Sixt MK. 2013. A conduit to amplify innate immunity. Immunity.
38(5), 853–854.
mla: Moussion, Christine, and Michael K. Sixt. “A Conduit to Amplify Innate Immunity.”
Immunity, vol. 38, no. 5, Cell Press, 2013, pp. 853–54, doi:10.1016/j.immuni.2013.05.005.
short: C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.
date_created: 2018-12-11T11:59:49Z
date_published: 2013-05-23T00:00:00Z
date_updated: 2021-01-12T07:00:01Z
day: '23'
department:
- _id: MiSi
doi: 10.1016/j.immuni.2013.05.005
intvolume: ' 38'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 853 - 854
publication: Immunity
publication_status: published
publisher: Cell Press
publist_id: '3969'
quality_controlled: '1'
scopus_import: 1
status: public
title: A conduit to amplify innate immunity
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 38
year: '2013'
...
---
_id: '2842'
abstract:
- lang: eng
text: 'We outline two approaches to inference of neighbourhood size, N, and dispersal
rate, σ2, based on either allele frequencies or on the lengths of sequence blocks
that are shared between genomes. Over intermediate timescales (10-100 generations,
say), populations that live in two dimensions approach a quasi-equilibrium that
is independent of both their local structure and their deeper history. Over such
scales, the standardised covariance of allele frequencies (i.e. pairwise FS T)
falls with the logarithm of distance, and depends only on neighbourhood size,
N, and a ''local scale'', κ; the rate of gene flow, σ2, cannot be inferred. We
show how spatial correlations can be accounted for, assuming a Gaussian distribution
of allele frequencies, giving maximum likelihood estimates of N and κ. Alternatively,
inferences can be based on the distribution of the lengths of sequence that are
identical between blocks of genomes: long blocks (>0.1 cM, say) tell us about
intermediate timescales, over which we assume a quasi-equilibrium. For large neighbourhood
size, the distribution of long blocks is given directly by the classical Wright-Malécot
formula; this relationship can be used to infer both N and σ2. With small neighbourhood
size, there is an appreciable chance that recombinant lineages will coalesce back
before escaping into the distant past. For this case, we show that if genomes
are sampled from some distance apart, then the distribution of lengths of blocks
that are identical in state is geometric, with a mean that depends on N and σ2.'
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Alison
full_name: Etheridge, Alison
last_name: Etheridge
- first_name: Jerome
full_name: Kelleher, Jerome
last_name: Kelleher
- first_name: Amandine
full_name: Véber, Amandine
last_name: Véber
citation:
ama: 'Barton NH, Etheridge A, Kelleher J, Véber A. Inference in two dimensions:
Allele frequencies versus lengths of shared sequence blocks. Theoretical Population
Biology. 2013;87(1):105-119. doi:10.1016/j.tpb.2013.03.001'
apa: 'Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Inference
in two dimensions: Allele frequencies versus lengths of shared sequence blocks.
Theoretical Population Biology. Elsevier. https://doi.org/10.1016/j.tpb.2013.03.001'
chicago: 'Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber.
“Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence
Blocks.” Theoretical Population Biology. Elsevier, 2013. https://doi.org/10.1016/j.tpb.2013.03.001.'
ieee: 'N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Inference in two
dimensions: Allele frequencies versus lengths of shared sequence blocks,” Theoretical
Population Biology, vol. 87, no. 1. Elsevier, pp. 105–119, 2013.'
ista: 'Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Inference in two dimensions:
Allele frequencies versus lengths of shared sequence blocks. Theoretical Population
Biology. 87(1), 105–119.'
mla: 'Barton, Nicholas H., et al. “Inference in Two Dimensions: Allele Frequencies
versus Lengths of Shared Sequence Blocks.” Theoretical Population Biology,
vol. 87, no. 1, Elsevier, 2013, pp. 105–19, doi:10.1016/j.tpb.2013.03.001.'
short: N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population
Biology 87 (2013) 105–119.
date_created: 2018-12-11T11:59:53Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2021-01-12T07:00:09Z
day: '01'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1016/j.tpb.2013.03.001
ec_funded: 1
file:
- access_level: open_access
checksum: 9bf9d9a6fd03dd9df50906891f393bf8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:33Z
date_updated: 2020-07-14T12:45:50Z
file_id: '5288'
file_name: IST-2016-558-v1+1_inference_revised3101NB.pdf
file_size: 1554712
relation: main_file
- access_level: open_access
checksum: 2bceddb76edacd0cd5fad73051e2a928
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:34Z
date_updated: 2020-07-14T12:45:50Z
file_id: '5289'
file_name: IST-2016-558-v1+2_inference_revised3101NBApp.pdf
file_size: 822964
relation: main_file
file_date_updated: 2020-07-14T12:45:50Z
has_accepted_license: '1'
intvolume: ' 87'
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 105 - 119
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '250152'
name: Limits to selection in biology and in evolutionary computation
publication: Theoretical Population Biology
publication_status: published
publisher: Elsevier
publist_id: '3953'
pubrep_id: '558'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Inference in two dimensions: Allele frequencies versus lengths of shared sequence
blocks'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 87
year: '2013'
...
---
_id: '2838'
abstract:
- lang: eng
text: Individuals with Down syndrome (DS) present important motor deficits that
derive from altered motor development of infants and young children. DYRK1A, a
candidate gene for DS abnormalities has been implicated in motor function due
to its expression in motor nuclei in the adult brain, and its overexpression in
DS mouse models leads to hyperactivity and altered motor learning. However, its
precise role in the adult motor system, or its possible involvement in postnatal
locomotor development has not yet been clarified. During the postnatal period
we observed time-specific expression of Dyrk1A in discrete subsets of brainstem
nuclei and spinal cord motor neurons. Interestingly, we describe for the first
time the presence of Dyrk1A in the presynaptic terminal of the neuromuscular junctions
and its axonal transport from the facial nucleus, suggesting a function for Dyrk1A
in these structures. Relevant to DS, Dyrk1A overexpression in transgenic mice
(TgDyrk1A) produces motor developmental alterations possibly contributing to DS
motor phenotypes and modifies the numbers of motor cholinergic neurons, suggesting
that the kinase may have a role in the development of the brainstem and spinal
cord motor system.
article_number: e54285
author:
- first_name: Gloria
full_name: Arquè Fuste, Gloria
id: 3CF33908-F248-11E8-B48F-1D18A9856A87
last_name: Arquè Fuste
- first_name: Anna
full_name: Casanovas, Anna
last_name: Casanovas
- first_name: Mara
full_name: Dierssen, Mara
last_name: Dierssen
citation:
ama: 'Arquè Fuste G, Casanovas A, Dierssen M. Dyrk1A is dynamically expressed on
subsets of motor neurons and in the neuromuscular junction: Possible role in Down
syndrome. PLoS One. 2013;8(1). doi:10.1371/journal.pone.0054285'
apa: 'Arquè Fuste, G., Casanovas, A., & Dierssen, M. (2013). Dyrk1A is dynamically
expressed on subsets of motor neurons and in the neuromuscular junction: Possible
role in Down syndrome. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0054285'
chicago: 'Arquè Fuste, Gloria, Anna Casanovas, and Mara Dierssen. “Dyrk1A Is Dynamically
Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible
Role in Down Syndrome.” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0054285.'
ieee: 'G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed
on subsets of motor neurons and in the neuromuscular junction: Possible role in
Down syndrome,” PLoS One, vol. 8, no. 1. Public Library of Science, 2013.'
ista: 'Arquè Fuste G, Casanovas A, Dierssen M. 2013. Dyrk1A is dynamically expressed
on subsets of motor neurons and in the neuromuscular junction: Possible role in
Down syndrome. PLoS One. 8(1), e54285.'
mla: 'Arquè Fuste, Gloria, et al. “Dyrk1A Is Dynamically Expressed on Subsets of
Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.”
PLoS One, vol. 8, no. 1, e54285, Public Library of Science, 2013, doi:10.1371/journal.pone.0054285.'
short: G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
date_created: 2018-12-11T11:59:52Z
date_published: 2013-01-16T00:00:00Z
date_updated: 2021-01-12T07:00:07Z
day: '16'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1371/journal.pone.0054285
file:
- access_level: open_access
checksum: 512733b21419574a45f10cabef3d7f81
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:38Z
date_updated: 2020-07-14T12:45:50Z
file_id: '5160'
file_name: IST-2016-407-v1+1_journal.pone.0054285.pdf
file_size: 4795977
relation: main_file
file_date_updated: 2020-07-14T12:45:50Z
has_accepted_license: '1'
intvolume: ' 8'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '3960'
pubrep_id: '407'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular
junction: Possible role in Down syndrome'
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: 8
year: '2013'
...
---
_id: '2839'
abstract:
- lang: eng
text: Directional guidance of cells via gradients of chemokines is considered crucial
for embryonic development, cancer dissemination, and immune responses. Nevertheless,
the concept still lacks direct experimental confirmation in vivo. Here, we identify
endogenous gradients of the chemokine CCL21 within mouse skin and show that they
guide dendritic cells toward lymphatic vessels. Quantitative imaging reveals depots
of CCL21 within lymphatic endothelial cells and steeply decaying gradients within
the perilymphatic interstitium. These gradients match the migratory patterns of
the dendritic cells, which directionally approach vessels from a distance of up
to 90-micrometers. Interstitial CCL21 is immobilized to heparan sulfates, and
its experimental delocalization or swamping the endogenous gradients abolishes
directed migration. These findings functionally establish the concept of haptotaxis,
directed migration along immobilized gradients, in tissues.
acknowledgement: We thank M. Frank for technical assistance and S. Cremer, P. Schmalhorst,
and E. Kiermaier for critical reading of the manuscript. This work was supported
by a Humboldt Foundation postdoctoral fellowship (to M.W.), the German Research
Foundation (Si1323 1,2 to M.S.), the Human Frontier Science Program (HFSP RGP0058/2011
to M.S.), the European Research Council (ERC StG 281556 to M.S.), and the Swiss
National Science Foundation (31003A 127474 to D.F.L., 130488 to S.A.L.).
article_processing_charge: No
article_type: original
author:
- first_name: Michele
full_name: Weber, Michele
id: 3A3FC708-F248-11E8-B48F-1D18A9856A87
last_name: Weber
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
- first_name: Jan
full_name: Schwarz, Jan
id: 346C1EC6-F248-11E8-B48F-1D18A9856A87
last_name: Schwarz
- first_name: Christine
full_name: Moussion, Christine
id: 3356F664-F248-11E8-B48F-1D18A9856A87
last_name: Moussion
- first_name: Ingrid
full_name: De Vries, Ingrid
id: 4C7D837E-F248-11E8-B48F-1D18A9856A87
last_name: De Vries
- first_name: Daniel
full_name: Legler, Daniel
last_name: Legler
- first_name: Sanjiv
full_name: Luther, Sanjiv
last_name: Luther
- first_name: Mark Tobias
full_name: Bollenbach, Mark Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Weber M, Hauschild R, Schwarz J, et al. Interstitial dendritic cell guidance
by haptotactic chemokine gradients. Science. 2013;339(6117):328-332. doi:10.1126/science.1228456
apa: Weber, M., Hauschild, R., Schwarz, J., Moussion, C., de Vries, I., Legler,
D., … Sixt, M. K. (2013). Interstitial dendritic cell guidance by haptotactic
chemokine gradients. Science. American Association for the Advancement
of Science. https://doi.org/10.1126/science.1228456
chicago: Weber, Michele, Robert Hauschild, Jan Schwarz, Christine Moussion, Ingrid
de Vries, Daniel Legler, Sanjiv Luther, Mark Tobias Bollenbach, and Michael K
Sixt. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.”
Science. American Association for the Advancement of Science, 2013. https://doi.org/10.1126/science.1228456.
ieee: M. Weber et al., “Interstitial dendritic cell guidance by haptotactic
chemokine gradients,” Science, vol. 339, no. 6117. American Association
for the Advancement of Science, pp. 328–332, 2013.
ista: Weber M, Hauschild R, Schwarz J, Moussion C, de Vries I, Legler D, Luther
S, Bollenbach MT, Sixt MK. 2013. Interstitial dendritic cell guidance by haptotactic
chemokine gradients. Science. 339(6117), 328–332.
mla: Weber, Michele, et al. “Interstitial Dendritic Cell Guidance by Haptotactic
Chemokine Gradients.” Science, vol. 339, no. 6117, American Association
for the Advancement of Science, 2013, pp. 328–32, doi:10.1126/science.1228456.
short: M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler,
S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.
date_created: 2018-12-11T11:59:52Z
date_published: 2013-01-18T00:00:00Z
date_updated: 2022-06-10T10:21:40Z
day: '18'
department:
- _id: MiSi
- _id: Bio
doi: 10.1126/science.1228456
ec_funded: 1
intvolume: ' 339'
issue: '6117'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kops.uni-konstanz.de/bitstream/123456789/26341/2/Weber_263418.pdf
month: '01'
oa: 1
oa_version: Published Version
page: 328 - 332
project:
- _id: 25A603A2-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '281556'
name: Cytoskeletal force generation and force transduction of migrating leukocytes
(EU)
- _id: 25ABD200-B435-11E9-9278-68D0E5697425
grant_number: RGP0058/2011
name: 'Cell migration in complex environments: from in vivo experiments to theoretical
models'
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '3959'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Interstitial dendritic cell guidance by haptotactic chemokine gradients
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 339
year: '2013'
...
---
_id: '2837'
abstract:
- lang: eng
text: We consider a general class of N × N random matrices whose entries hij are
independent up to a symmetry constraint, but not necessarily identically distributed.
Our main result is a local semicircle law which improves previous results [17]
both in the bulk and at the edge. The error bounds are given in terms of the basic
small parameter of the model, maxi,j E|hij|2. As a consequence, we prove the universality
of the local n-point correlation functions in the bulk spectrum for a class of
matrices whose entries do not have comparable variances, including random band
matrices with band width W ≫N1-εn with some εn > 0 and with a negligible mean-field
component. In addition, we provide a coherent and pedagogical proof of the local
semicircle law, streamlining and strengthening previous arguments from [17, 19,
6].
author:
- 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: Antti
full_name: Knowles, Antti
last_name: Knowles
- first_name: Horng
full_name: Yau, Horng
last_name: Yau
- first_name: Jun
full_name: Yin, Jun
last_name: Yin
citation:
ama: Erdös L, Knowles A, Yau H, Yin J. The local semicircle law for a general class
of random matrices. Electronic Journal of Probability. 2013;18(59):1-58.
doi:10.1214/EJP.v18-2473
apa: Erdös, L., Knowles, A., Yau, H., & Yin, J. (2013). The local semicircle
law for a general class of random matrices. Electronic Journal of Probability.
Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v18-2473
chicago: Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “The Local Semicircle
Law for a General Class of Random Matrices.” Electronic Journal of Probability.
Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/EJP.v18-2473.
ieee: L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a
general class of random matrices,” Electronic Journal of Probability, vol.
18, no. 59. Institute of Mathematical Statistics, pp. 1–58, 2013.
ista: Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general
class of random matrices. Electronic Journal of Probability. 18(59), 1–58.
mla: Erdös, László, et al. “The Local Semicircle Law for a General Class of Random
Matrices.” Electronic Journal of Probability, vol. 18, no. 59, Institute
of Mathematical Statistics, 2013, pp. 1–58, doi:10.1214/EJP.v18-2473.
short: L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18
(2013) 1–58.
date_created: 2018-12-11T11:59:51Z
date_published: 2013-05-29T00:00:00Z
date_updated: 2021-01-12T07:00:06Z
day: '29'
ddc:
- '530'
department:
- _id: LaEr
doi: 10.1214/EJP.v18-2473
file:
- access_level: open_access
checksum: aac9e52a00cb2f5149dc9e362b5ccf44
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:46Z
date_updated: 2020-07-14T12:45:50Z
file_id: '5169'
file_name: IST-2016-406-v1+1_2473-13759-1-PB.pdf
file_size: 651497
relation: main_file
file_date_updated: 2020-07-14T12:45:50Z
has_accepted_license: '1'
intvolume: ' 18'
issue: '59'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 1-58
publication: Electronic Journal of Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '3962'
pubrep_id: '406'
quality_controlled: '1'
scopus_import: 1
status: public
title: The local semicircle law for a general class of random matrices
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: 18
year: '2013'
...
---
_id: '2835'
abstract:
- lang: eng
text: The phytohormone auxin regulates virtually every aspect of plant development.
To identify new genes involved in auxin activity, a genetic screen was performed
for Arabidopsis (Arabidopsis thaliana) mutants with altered expression of the
auxin-responsive reporter DR5rev:GFP. One of the mutants recovered in the screen,
designated as weak auxin response3 (wxr3), exhibits much lower DR5rev:GFP expression
when treated with the synthetic auxin 2,4-dichlorophenoxyacetic acid and displays
severe defects in root development. The wxr3 mutant decreases polar auxin transport
and results in a disruption of the asymmetric auxin distribution. The levels of
the auxin transporters AUXIN1 and PIN-FORMED are dramatically reduced in the wxr3
root tip. Molecular analyses demonstrate that WXR3 is ROOT ULTRAVIOLET B-SENSITIVE1
(RUS1), a member of the conserved Domain of Unknown Function647 protein family
found in diverse eukaryotic organisms. Our data suggest that RUS1/WXR3 plays an
essential role in the regulation of polar auxin transport by maintaining the proper
level of auxin transporters on the plasma membrane.
author:
- first_name: Hong
full_name: Yu, Hong
last_name: Yu
- first_name: Michael
full_name: Karampelias, Michael
last_name: Karampelias
- first_name: Stéphanie
full_name: Robert, Stéphanie
last_name: Robert
- first_name: Wendy
full_name: Peer, Wendy
last_name: Peer
- first_name: Ranjan
full_name: Swarup, Ranjan
last_name: Swarup
- first_name: Songqing
full_name: Ye, Songqing
last_name: Ye
- first_name: Lei
full_name: Ge, Lei
last_name: Ge
- first_name: Jerry
full_name: Cohen, Jerry
last_name: Cohen
- first_name: Angus
full_name: Murphy, Angus
last_name: Murphy
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Mark
full_name: Estelle, Mark
last_name: Estelle
citation:
ama: Yu H, Karampelias M, Robert S, et al. Root ultraviolet b-sensitive1/weak auxin
response3 is essential for polar auxin transport in arabidopsis. Plant Physiology.
2013;162(2):965-976. doi:10.1104/pp.113.217018
apa: Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … Estelle,
M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for
polar auxin transport in arabidopsis. Plant Physiology. American Society
of Plant Biologists. https://doi.org/10.1104/pp.113.217018
chicago: Yu, Hong, Michael Karampelias, Stéphanie Robert, Wendy Peer, Ranjan Swarup,
Songqing Ye, Lei Ge, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3
Is Essential for Polar Auxin Transport in Arabidopsis.” Plant Physiology.
American Society of Plant Biologists, 2013. https://doi.org/10.1104/pp.113.217018.
ieee: H. Yu et al., “Root ultraviolet b-sensitive1/weak auxin response3 is
essential for polar auxin transport in arabidopsis,” Plant Physiology,
vol. 162, no. 2. American Society of Plant Biologists, pp. 965–976, 2013.
ista: Yu H, Karampelias M, Robert S, Peer W, Swarup R, Ye S, Ge L, Cohen J, Murphy
A, Friml J, Estelle M. 2013. Root ultraviolet b-sensitive1/weak auxin response3
is essential for polar auxin transport in arabidopsis. Plant Physiology. 162(2),
965–976.
mla: Yu, Hong, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential
for Polar Auxin Transport in Arabidopsis.” Plant Physiology, vol. 162,
no. 2, American Society of Plant Biologists, 2013, pp. 965–76, doi:10.1104/pp.113.217018.
short: H. Yu, M. Karampelias, S. Robert, W. Peer, R. Swarup, S. Ye, L. Ge, J. Cohen,
A. Murphy, J. Friml, M. Estelle, Plant Physiology 162 (2013) 965–976.
date_created: 2018-12-11T11:59:51Z
date_published: 2013-06-01T00:00:00Z
date_updated: 2021-01-12T07:00:05Z
day: '01'
department:
- _id: JiFr
doi: 10.1104/pp.113.217018
external_id:
pmid:
- '23580592'
intvolume: ' 162'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3668084/
month: '06'
oa: 1
oa_version: Submitted Version
page: 965 - 976
pmid: 1
publication: Plant Physiology
publication_status: published
publisher: American Society of Plant Biologists
publist_id: '3964'
quality_controlled: '1'
scopus_import: 1
status: public
title: Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin
transport in arabidopsis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 162
year: '2013'
...
---
_id: '2836'
abstract:
- lang: eng
text: 'We study the automatic synthesis of fair non-repudiation protocols, a class
of fair exchange protocols, used for digital contract signing. First, we show
how to specify the objectives of the participating agents and the trusted third
party as path formulas in linear temporal logic and prove that the satisfaction
of these objectives imply fairness; a property required of fair exchange protocols.
We then show that weak (co-operative) co-synthesis and classical (strictly competitive)
co-synthesis fail, whereas assume-guarantee synthesis (AGS) succeeds. We demonstrate
the success of AGS as follows: (a) any solution of AGS is attack-free; no subset
of participants can violate the objectives of the other participants; (b) the
Asokan-Shoup-Waidner certified mail protocol that has known vulnerabilities is
not a solution of AGS; (c) the Kremer-Markowitch non-repudiation protocol is a
solution of AGS; and (d) AGS presents a new and symmetric fair non-repudiation
protocol that is attack-free. To our knowledge this is the first application of
synthesis to fair non-repudiation protocols, and our results show how synthesis
can both automatically discover vulnerabilities in protocols and generate correct
protocols. The solution to AGS can be computed efficiently as the secure equilibrium
solution of three-player graph games. '
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Vishwanath
full_name: Raman, Vishwanath
last_name: Raman
citation:
ama: Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing.
Formal Aspects of Computing. 2013;26(4):825-859. doi:10.1007/s00165-013-0283-6
apa: Chatterjee, K., & Raman, V. (2013). Assume-guarantee synthesis for digital
contract signing. Formal Aspects of Computing. Springer. https://doi.org/10.1007/s00165-013-0283-6
chicago: Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis
for Digital Contract Signing.” Formal Aspects of Computing. Springer, 2013.
https://doi.org/10.1007/s00165-013-0283-6.
ieee: K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract
signing,” Formal Aspects of Computing, vol. 26, no. 4. Springer, pp. 825–859,
2013.
ista: Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract
signing. Formal Aspects of Computing. 26(4), 825–859.
mla: Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for
Digital Contract Signing.” Formal Aspects of Computing, vol. 26, no. 4,
Springer, 2013, pp. 825–59, doi:10.1007/s00165-013-0283-6.
short: K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
date_created: 2018-12-11T11:59:51Z
date_published: 2013-07-04T00:00:00Z
date_updated: 2021-01-12T07:00:06Z
day: '04'
department:
- _id: KrCh
doi: 10.1007/s00165-013-0283-6
ec_funded: 1
external_id:
arxiv:
- '1004.2697'
intvolume: ' 26'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1004.2697
month: '07'
oa: 1
oa_version: Preprint
page: 825 - 859
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: Formal Aspects of Computing
publication_status: published
publisher: Springer
publist_id: '3963'
quality_controlled: '1'
scopus_import: 1
status: public
title: Assume-guarantee synthesis for digital contract signing
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 26
year: '2013'
...
---
_id: '2840'
abstract:
- lang: eng
text: It is known that the entorhinal cortex plays a crucial role in spatial cognition
in rodents. Neuroanatomical and electrophysiological data suggest that there is
a functional distinction between 2 subregions within the entorhinal cortex, the
medial entorhinal cortex (MEC), and the lateral entorhinal cortex (LEC). Rats
with MEC or LEC lesions were trained in 2 navigation tasks requiring allothetic
(water maze task) or idiothetic (path integration) information processing and
2-object exploration tasks allowing testing of spatial and nonspatial processing
of intramaze objects. MEC lesions mildly affected place navigation in the water
maze and produced a path integration deficit. They also altered the processing
of spatial information in both exploration tasks while sparing the processing
of nonspatial information. LEC lesions did not affect navigation abilities in
both the water maze and the path integration tasks. They altered spatial and nonspatial
processing in the object exploration task but not in the one-trial recognition
task. Overall, these results indicate that the MEC is important for spatial processing
and path integration. The LEC has some influence on both spatial and nonspatial
processes, suggesting that the 2 kinds of information interact at the level of
the EC.
author:
- first_name: Tiffany
full_name: Van Cauter, Tiffany
last_name: Van Cauter
- first_name: Jeremy
full_name: Camon, Jeremy
last_name: Camon
- first_name: Alice
full_name: Alvernhe, Alice
id: 467FB3D4-F248-11E8-B48F-1D18A9856A87
last_name: Alvernhe
- first_name: Coralie
full_name: Elduayen, Coralie
last_name: Elduayen
- first_name: Francesca
full_name: Sargolini, Francesca
last_name: Sargolini
- first_name: Étienne
full_name: Save, Étienne
last_name: Save
citation:
ama: Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. Distinct
roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral
Cortex. 2013;23(2):451-459. doi:10.1093/cercor/bhs033
apa: Van Cauter, T., Camon, J., Alvernhe, A., Elduayen, C., Sargolini, F., &
Save, É. (2013). Distinct roles of medial and lateral entorhinal cortex in spatial
cognition. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhs033
chicago: Van Cauter, Tiffany, Jeremy Camon, Alice Alvernhe, Coralie Elduayen, Francesca
Sargolini, and Étienne Save. “Distinct Roles of Medial and Lateral Entorhinal
Cortex in Spatial Cognition.” Cerebral Cortex. Oxford University Press,
2013. https://doi.org/10.1093/cercor/bhs033.
ieee: T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, and É. Save,
“Distinct roles of medial and lateral entorhinal cortex in spatial cognition,”
Cerebral Cortex, vol. 23, no. 2. Oxford University Press, pp. 451–459,
2013.
ista: Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. 2013.
Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral
Cortex. 23(2), 451–459.
mla: Van Cauter, Tiffany, et al. “Distinct Roles of Medial and Lateral Entorhinal
Cortex in Spatial Cognition.” Cerebral Cortex, vol. 23, no. 2, Oxford University
Press, 2013, pp. 451–59, doi:10.1093/cercor/bhs033.
short: T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save,
Cerebral Cortex 23 (2013) 451–459.
date_created: 2018-12-11T11:59:52Z
date_published: 2013-02-01T00:00:00Z
date_updated: 2021-01-12T07:00:08Z
day: '01'
department:
- _id: JoCs
doi: 10.1093/cercor/bhs033
intvolume: ' 23'
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 451 - 459
publication: Cerebral Cortex
publication_status: published
publisher: Oxford University Press
publist_id: '3958'
quality_controlled: '1'
scopus_import: 1
status: public
title: Distinct roles of medial and lateral entorhinal cortex in spatial cognition
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2013'
...
---
_id: '2841'
abstract:
- lang: eng
text: In zebrafish early development, blastoderm cells undergo extensive radial
intercalations, triggering the spreading of the blastoderm over the yolk cell
and thereby initiating embryonic body axis formation. Now reporting in Developmental
Cell, Song et al. (2013) demonstrate a critical function for EGF-dependent E-cadherin
endocytosis in promoting blastoderm cell intercalations.
author:
- first_name: Hitoshi
full_name: Morita, Hitoshi
id: 4C6E54C6-F248-11E8-B48F-1D18A9856A87
last_name: Morita
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: 'Morita H, Heisenberg C-PJ. Holding on and letting go: Cadherin turnover in
cell intercalation. Developmental Cell. 2013;24(6):567-569. doi:10.1016/j.devcel.2013.03.007'
apa: 'Morita, H., & Heisenberg, C.-P. J. (2013). Holding on and letting go:
Cadherin turnover in cell intercalation. Developmental Cell. Cell Press.
https://doi.org/10.1016/j.devcel.2013.03.007'
chicago: 'Morita, Hitoshi, and Carl-Philipp J Heisenberg. “Holding on and Letting
Go: Cadherin Turnover in Cell Intercalation.” Developmental Cell. Cell
Press, 2013. https://doi.org/10.1016/j.devcel.2013.03.007.'
ieee: 'H. Morita and C.-P. J. Heisenberg, “Holding on and letting go: Cadherin turnover
in cell intercalation,” Developmental Cell, vol. 24, no. 6. Cell Press,
pp. 567–569, 2013.'
ista: 'Morita H, Heisenberg C-PJ. 2013. Holding on and letting go: Cadherin turnover
in cell intercalation. Developmental Cell. 24(6), 567–569.'
mla: 'Morita, Hitoshi, and Carl-Philipp J. Heisenberg. “Holding on and Letting Go:
Cadherin Turnover in Cell Intercalation.” Developmental Cell, vol. 24,
no. 6, Cell Press, 2013, pp. 567–69, doi:10.1016/j.devcel.2013.03.007.'
short: H. Morita, C.-P.J. Heisenberg, Developmental Cell 24 (2013) 567–569.
date_created: 2018-12-11T11:59:52Z
date_published: 2013-05-25T00:00:00Z
date_updated: 2021-01-12T07:00:09Z
day: '25'
department:
- _id: CaHe
doi: 10.1016/j.devcel.2013.03.007
intvolume: ' 24'
issue: '6'
language:
- iso: eng
month: '05'
oa_version: None
page: 567 - 569
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '3956'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Holding on and letting go: Cadherin turnover in cell intercalation'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2013'
...
---
_id: '2846'
abstract:
- lang: eng
text: The Red Queen hypothesis proposes that coevolving parasites select for outcrossing
in the host. Outcrossing relies on males, which often show lower immune investment
due to, for example, sexual selection. Here, we demonstrate that such sex differences
in immunity interfere with parasite-mediated selection for outcrossing. Two independent
coevolution experiments with Caenorhabditis elegans and its microparasite Bacillus
thuringiensis produced decreased yet stable frequencies of outcrossing male hosts.
A subsequent systematic analysis verified that male C. elegans suffered from a
direct selective disadvantage under parasite pressure (i.e. lower resistance,
decreased sexual activity, increased escape behaviour), which can reduce outcrossing
and thus male frequencies. At the same time, males offered an indirect selective
benefit, because male-mediated outcrossing increased offspring resistance, thus
favouring male persistence in the evolving populations. As sex differences in
immunity are widespread, such interference of opposing selective constraints is
likely of central importance during host adaptation to a coevolving parasite.
article_processing_charge: No
author:
- first_name: Leila
full_name: El Masri, Leila
id: 349A6E66-F248-11E8-B48F-1D18A9856A87
last_name: El Masri
- first_name: Rebecca
full_name: Schulte, Rebecca
last_name: Schulte
- first_name: Nadine
full_name: Timmermeyer, Nadine
last_name: Timmermeyer
- first_name: Stefanie
full_name: Thanisch, Stefanie
last_name: Thanisch
- first_name: Lena
full_name: Crummenerl, Lena
last_name: Crummenerl
- first_name: Gunther
full_name: Jansen, Gunther
last_name: Jansen
- first_name: Nico
full_name: Michiels, Nico
last_name: Michiels
- first_name: Hinrich
full_name: Schulenburg, Hinrich
last_name: Schulenburg
citation:
ama: El Masri L, Schulte R, Timmermeyer N, et al. Sex differences in host defence
interfere with parasite-mediated selection for outcrossing during host-parasite
coevolution. Ecology Letters. 2013;16(4):461-468. doi:10.1111/ele.12068
apa: El Masri, L., Schulte, R., Timmermeyer, N., Thanisch, S., Crummenerl, L., Jansen,
G., … Schulenburg, H. (2013). Sex differences in host defence interfere with parasite-mediated
selection for outcrossing during host-parasite coevolution. Ecology Letters.
Wiley-Blackwell. https://doi.org/10.1111/ele.12068
chicago: El Masri, Leila, Rebecca Schulte, Nadine Timmermeyer, Stefanie Thanisch,
Lena Crummenerl, Gunther Jansen, Nico Michiels, and Hinrich Schulenburg. “Sex
Differences in Host Defence Interfere with Parasite-Mediated Selection for Outcrossing
during Host-Parasite Coevolution.” Ecology Letters. Wiley-Blackwell, 2013.
https://doi.org/10.1111/ele.12068.
ieee: L. El Masri et al., “Sex differences in host defence interfere with
parasite-mediated selection for outcrossing during host-parasite coevolution,”
Ecology Letters, vol. 16, no. 4. Wiley-Blackwell, pp. 461–468, 2013.
ista: El Masri L, Schulte R, Timmermeyer N, Thanisch S, Crummenerl L, Jansen G,
Michiels N, Schulenburg H. 2013. Sex differences in host defence interfere with
parasite-mediated selection for outcrossing during host-parasite coevolution.
Ecology Letters. 16(4), 461–468.
mla: El Masri, Leila, et al. “Sex Differences in Host Defence Interfere with Parasite-Mediated
Selection for Outcrossing during Host-Parasite Coevolution.” Ecology Letters,
vol. 16, no. 4, Wiley-Blackwell, 2013, pp. 461–68, doi:10.1111/ele.12068.
short: L. El Masri, R. Schulte, N. Timmermeyer, S. Thanisch, L. Crummenerl, G. Jansen,
N. Michiels, H. Schulenburg, Ecology Letters 16 (2013) 461–468.
date_created: 2018-12-11T11:59:54Z
date_published: 2013-04-04T00:00:00Z
date_updated: 2022-08-25T14:51:57Z
day: '04'
ddc:
- '570'
doi: 10.1111/ele.12068
extern: '1'
file:
- access_level: open_access
checksum: aa7db788f7da7d7f102539a249ebce50
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:52Z
date_updated: 2020-07-14T12:45:50Z
file_id: '5176'
file_name: IST-2016-404-v1+1_ele12068.pdf
file_size: 763731
relation: main_file
file_date_updated: 2020-07-14T12:45:50Z
has_accepted_license: '1'
intvolume: ' 16'
issue: '4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 461 - 468
publication: Ecology Letters
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3948'
pubrep_id: '404'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sex differences in host defence interfere with parasite-mediated selection
for outcrossing during host-parasite coevolution
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: 16
year: '2013'
...
---
_id: '2844'
abstract:
- lang: eng
text: As soon as a seed germinates, plant growth relates to gravity to ensure that
the root penetrates the soil and the shoot expands aerially. Whereas mechanisms
of positive and negative orthogravitropism of primary roots and shoots are relatively
well understood [1-3], lateral organs often show more complex growth behavior
[4]. Lateral roots (LRs) seemingly suppress positive gravitropic growth and show
a defined gravitropic set-point angle (GSA) that allows radial expansion of the
root system (plagiotropism) [3, 4]. Despite its eminent importance for root architecture,
it so far remains completely unknown how lateral organs partially suppress positive
orthogravitropism. Here we show that the phytohormone auxin steers GSA formation
and limits positive orthogravitropism in LR. Low and high auxin levels/signaling
lead to radial or axial root systems, respectively. At a cellular level, it is
the auxin transport-dependent regulation of asymmetric growth in the elongation
zone that determines GSA. Our data suggest that strong repression of PIN4/PIN7
and transient PIN3 expression limit auxin redistribution in young LR columella
cells. We conclude that PIN activity, by temporally limiting the asymmetric auxin
fluxes in the tip of LRs, induces transient, differential growth responses in
the elongation zone and, consequently, controls root architecture.
author:
- first_name: Michel
full_name: Rosquete, Michel
last_name: Rosquete
- first_name: Daniel
full_name: Von Wangenheim, Daniel
id: 49E91952-F248-11E8-B48F-1D18A9856A87
last_name: Von Wangenheim
orcid: 0000-0002-6862-1247
- first_name: Peter
full_name: Marhavy, Peter
id: 3F45B078-F248-11E8-B48F-1D18A9856A87
last_name: Marhavy
orcid: 0000-0001-5227-5741
- first_name: Elke
full_name: Barbez, Elke
last_name: Barbez
- first_name: Ernst
full_name: Stelzer, Ernst
last_name: Stelzer
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Alexis
full_name: Maizel, Alexis
last_name: Maizel
- first_name: Jürgen
full_name: Kleine Vehn, Jürgen
last_name: Kleine Vehn
citation:
ama: Rosquete M, von Wangenheim D, Marhavý P, et al. An auxin transport mechanism
restricts positive orthogravitropism in lateral roots. Current Biology.
2013;23(9):817-822. doi:10.1016/j.cub.2013.03.064
apa: Rosquete, M., von Wangenheim, D., Marhavý, P., Barbez, E., Stelzer, E., Benková,
E., … Kleine Vehn, J. (2013). An auxin transport mechanism restricts positive
orthogravitropism in lateral roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.03.064
chicago: Rosquete, Michel, Daniel von Wangenheim, Peter Marhavý, Elke Barbez, Ernst
Stelzer, Eva Benková, Alexis Maizel, and Jürgen Kleine Vehn. “An Auxin Transport
Mechanism Restricts Positive Orthogravitropism in Lateral Roots.” Current Biology.
Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.03.064.
ieee: M. Rosquete et al., “An auxin transport mechanism restricts positive
orthogravitropism in lateral roots,” Current Biology, vol. 23, no. 9. Cell
Press, pp. 817–822, 2013.
ista: Rosquete M, von Wangenheim D, Marhavý P, Barbez E, Stelzer E, Benková E, Maizel
A, Kleine Vehn J. 2013. An auxin transport mechanism restricts positive orthogravitropism
in lateral roots. Current Biology. 23(9), 817–822.
mla: Rosquete, Michel, et al. “An Auxin Transport Mechanism Restricts Positive Orthogravitropism
in Lateral Roots.” Current Biology, vol. 23, no. 9, Cell Press, 2013, pp.
817–22, doi:10.1016/j.cub.2013.03.064.
short: M. Rosquete, D. von Wangenheim, P. Marhavý, E. Barbez, E. Stelzer, E. Benková,
A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
date_created: 2018-12-11T11:59:53Z
date_published: 2013-05-06T00:00:00Z
date_updated: 2021-01-12T07:00:10Z
day: '06'
department:
- _id: JiFr
- _id: EvBe
doi: 10.1016/j.cub.2013.03.064
ec_funded: 1
intvolume: ' 23'
issue: '9'
language:
- iso: eng
month: '05'
oa_version: None
page: 817 - 822
project:
- _id: 253FCA6A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '207362'
name: Hormonal cross-talk in plant organogenesis
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '3950'
quality_controlled: '1'
scopus_import: 1
status: public
title: An auxin transport mechanism restricts positive orthogravitropism in lateral
roots
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2013'
...
---
_id: '2843'
abstract:
- lang: eng
text: 'Mathematical objects can be measured unambiguously, but not so objects from
our physical world. Even the total length of tubelike shapes has its difficulties.
We introduce a combination of geometric, probabilistic, and topological methods
to design a stable length estimate for tube-like shapes; that is: one that is
insensitive to small shape changes.'
alternative_title:
- LNCS
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Florian
full_name: Pausinger, Florian
id: 2A77D7A2-F248-11E8-B48F-1D18A9856A87
last_name: Pausinger
orcid: 0000-0002-8379-3768
citation:
ama: 'Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes.
In: 17th IAPR International Conference on Discrete Geometry for Computer Imagery.
Vol 7749. Springer; 2013:XV-XIX. doi:10.1007/978-3-642-37067-0'
apa: 'Edelsbrunner, H., & Pausinger, F. (2013). Stable length estimates of tube-like
shapes. In 17th IAPR International Conference on Discrete Geometry for Computer
Imagery (Vol. 7749, pp. XV–XIX). Seville, Spain: Springer. https://doi.org/10.1007/978-3-642-37067-0'
chicago: Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates
of Tube-like Shapes.” In 17th IAPR International Conference on Discrete Geometry
for Computer Imagery, 7749:XV–XIX. Springer, 2013. https://doi.org/10.1007/978-3-642-37067-0.
ieee: H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,”
in 17th IAPR International Conference on Discrete Geometry for Computer Imagery,
Seville, Spain, 2013, vol. 7749, pp. XV–XIX.
ista: 'Edelsbrunner H, Pausinger F. 2013. Stable length estimates of tube-like shapes.
17th IAPR International Conference on Discrete Geometry for Computer Imagery.
DGCI: Discrete Geometry for Computer Imagery, LNCS, vol. 7749, XV–XIX.'
mla: Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like
Shapes.” 17th IAPR International Conference on Discrete Geometry for Computer
Imagery, vol. 7749, Springer, 2013, pp. XV–XIX, doi:10.1007/978-3-642-37067-0.
short: H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on
Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
conference:
end_date: 2013-03-22
location: Seville, Spain
name: 'DGCI: Discrete Geometry for Computer Imagery'
start_date: 2013-03-20
date_created: 2018-12-11T11:59:53Z
date_published: 2013-02-21T00:00:00Z
date_updated: 2023-02-23T10:35:00Z
day: '21'
department:
- _id: HeEd
doi: 10.1007/978-3-642-37067-0
intvolume: ' 7749'
language:
- iso: eng
month: '02'
oa_version: None
page: XV - XIX
publication: 17th IAPR International Conference on Discrete Geometry for Computer
Imagery
publication_status: published
publisher: Springer
publist_id: '3952'
quality_controlled: '1'
related_material:
record:
- id: '2255'
relation: later_version
status: public
scopus_import: 1
status: public
title: Stable length estimates of tube-like shapes
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7749
year: '2013'
...
---
_id: '2845'
abstract:
- lang: eng
text: At synapses formed between dissociated neurons, about half of all synaptic
vesicles are refractory to evoked release, forming the so-called "resting
pool." Here, we use optical measurements of vesicular pH to study developmental
changes in pool partitioning and vesicle cycling in cultured hippocampal slices.
Two-photon imaging of a genetically encoded two-color release sensor (ratio-sypHy)
allowed us to perform calibrated measurements at individual Schaffer collateral
boutons. Mature boutons released a large fraction of their vesicles during simulated
place field activity, and vesicle retrieval rates were 7-fold higher compared
to immature boutons. Saturating stimulation mobilized essentially all vesicles
at mature synapses. Resting pool formation and a concomitant reduction in evoked
release was induced by chronic depolarization but not by acute inhibition of the
protein phosphatase calcineurin. We conclude that synapses in CA1 undergo a prominent
refinement of vesicle use during early postnatal development that is not recapitulated
in dissociated neuronal culture.
author:
- first_name: Tobias
full_name: Rose, Tobias
last_name: Rose
- first_name: Philipp
full_name: Schönenberger, Philipp
id: 3B9D816C-F248-11E8-B48F-1D18A9856A87
last_name: Schönenberger
- first_name: Karel
full_name: Jezek, Karel
last_name: Jezek
- first_name: Thomas
full_name: Oertner, Thomas
last_name: Oertner
citation:
ama: Rose T, Schönenberger P, Jezek K, Oertner T. Developmental refinement of vesicle
cycling at Schaffer collateral synapses. Neuron. 2013;77(6):1109-1121.
doi:10.1016/j.neuron.2013.01.021
apa: Rose, T., Schönenberger, P., Jezek, K., & Oertner, T. (2013). Developmental
refinement of vesicle cycling at Schaffer collateral synapses. Neuron.
Elsevier. https://doi.org/10.1016/j.neuron.2013.01.021
chicago: Rose, Tobias, Philipp Schönenberger, Karel Jezek, and Thomas Oertner. “Developmental
Refinement of Vesicle Cycling at Schaffer Collateral Synapses.” Neuron.
Elsevier, 2013. https://doi.org/10.1016/j.neuron.2013.01.021.
ieee: T. Rose, P. Schönenberger, K. Jezek, and T. Oertner, “Developmental refinement
of vesicle cycling at Schaffer collateral synapses,” Neuron, vol. 77, no.
6. Elsevier, pp. 1109–1121, 2013.
ista: Rose T, Schönenberger P, Jezek K, Oertner T. 2013. Developmental refinement
of vesicle cycling at Schaffer collateral synapses. Neuron. 77(6), 1109–1121.
mla: Rose, Tobias, et al. “Developmental Refinement of Vesicle Cycling at Schaffer
Collateral Synapses.” Neuron, vol. 77, no. 6, Elsevier, 2013, pp. 1109–21,
doi:10.1016/j.neuron.2013.01.021.
short: T. Rose, P. Schönenberger, K. Jezek, T. Oertner, Neuron 77 (2013) 1109–1121.
date_created: 2018-12-11T11:59:54Z
date_published: 2013-03-20T00:00:00Z
date_updated: 2021-01-12T07:00:11Z
day: '20'
department:
- _id: JoCs
doi: 10.1016/j.neuron.2013.01.021
intvolume: ' 77'
issue: '6'
language:
- iso: eng
month: '03'
oa_version: None
page: 1109 - 1121
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '3949'
quality_controlled: '1'
scopus_import: 1
status: public
title: Developmental refinement of vesicle cycling at Schaffer collateral synapses
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2013'
...
---
_id: '2854'
abstract:
- lang: eng
text: We consider concurrent games played on graphs. At every round of a game, each
player simultaneously and independently selects a move; the moves jointly determine
the transition to a successor state. Two basic objectives are the safety objective
to stay forever in a given set of states, and its dual, the reachability objective
to reach a given set of states. First, we present a simple proof of the fact that
in concurrent reachability games, for all ε>0, memoryless ε-optimal strategies
exist. A memoryless strategy is independent of the history of plays, and an ε-optimal
strategy achieves the objective with probability within ε of the value of the
game. In contrast to previous proofs of this fact, our proof is more elementary
and more combinatorial. Second, we present a strategy-improvement (a.k.a. policy-iteration)
algorithm for concurrent games with reachability objectives. Finally, we present
a strategy-improvement algorithm for turn-based stochastic games (where each player
selects moves in turns) with safety objectives. Our algorithms yield sequences
of player-1 strategies which ensure probabilities of winning that converge monotonically
(from below) to the value of the game. © 2012 Elsevier Inc.
acknowledgement: This work was partially supported in part by the NSF grants CCR-0132780,
CNS-0720884, CCR-0225610, by the Swiss National Science Foundation, ERC Start Grant
Graph Games (Project No. 279307), FWF NFN Grant S11407-N23 (RiSE), and a Microsoft
faculty fellows
article_processing_charge: No
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: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent
reachability and turn based stochastic safety games. Journal of Computer and
System Sciences. 2013;79(5):640-657. doi:10.1016/j.jcss.2012.12.001
apa: Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2013). Strategy improvement
for concurrent reachability and turn based stochastic safety games. Journal
of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2012.12.001
chicago: Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy
Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.”
Journal of Computer and System Sciences. Elsevier, 2013. https://doi.org/10.1016/j.jcss.2012.12.001.
ieee: K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for
concurrent reachability and turn based stochastic safety games,” Journal of
Computer and System Sciences, vol. 79, no. 5. Elsevier, pp. 640–657, 2013.
ista: Chatterjee K, De Alfaro L, Henzinger TA. 2013. Strategy improvement for concurrent
reachability and turn based stochastic safety games. Journal of Computer and System
Sciences. 79(5), 640–657.
mla: Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability
and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences,
vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
short: K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System
Sciences 79 (2013) 640–657.
date_created: 2018-12-11T11:59:57Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2021-01-12T07:00:16Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1016/j.jcss.2012.12.001
ec_funded: 1
file:
- access_level: open_access
checksum: 6d3ee12cceb946a0abe69594b6a22409
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:48Z
date_updated: 2020-07-14T12:45:51Z
file_id: '5370'
file_name: IST-2015-388-v1+1_1-s2.0-S0022000012001778-main.pdf
file_size: 425488
relation: main_file
file_date_updated: 2020-07-14T12:45:51Z
has_accepted_license: '1'
intvolume: ' 79'
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 640 - 657
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _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: '3938'
pubrep_id: '388'
quality_controlled: '1'
scopus_import: 1
status: public
title: Strategy improvement for concurrent reachability and turn based stochastic
safety games
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 79
year: '2013'
...