---
_id: '2315'
abstract:
- lang: eng
  text: '     We study the effects of random scatterers on the ground state of the
    one-dimensional Lieb-Liniger model of interacting bosons on the unit interval
    in the Gross-Pitaevskii regime. We prove that Bose Einstein condensation survives
    even a strong random potential with a high density of scatterers. The character
    of the wave function of the condensate, however, depends in an essential way on
    the interplay between randomness and the strength of the two-body interaction.
    For low density of scatterers or strong interactions the wave function extends
    over the whole interval. High density of scatterers and weak interaction, on the
    other hand, leads to localization of the wave function in a fragmented subset
    of the interval. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Jakob
  full_name: Yngvason, Jakob
  last_name: Yngvason
- first_name: Valentin
  full_name: Zagrebnov, Valentin
  last_name: Zagrebnov
citation:
  ama: 'Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates
    with interaction. In: World Scientific Publishing; 2013:610-619. doi:<a href="https://doi.org/10.1142/9789814449243_0063">10.1142/9789814449243_0063</a>'
  apa: 'Seiringer, R., Yngvason, J., &#38; Zagrebnov, V. (2013). Disordered Bose-Einstein
    condensates with interaction (pp. 610–619). Presented at the ICMP: International
    Congress on Mathematical Physics, World Scientific Publishing. <a href="https://doi.org/10.1142/9789814449243_0063">https://doi.org/10.1142/9789814449243_0063</a>'
  chicago: Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered
    Bose-Einstein Condensates with Interaction,” 610–19. World Scientific Publishing,
    2013. <a href="https://doi.org/10.1142/9789814449243_0063">https://doi.org/10.1142/9789814449243_0063</a>.
  ieee: 'R. Seiringer, J. Yngvason, and V. Zagrebnov, “Disordered Bose-Einstein condensates
    with interaction,” presented at the ICMP: International Congress on Mathematical
    Physics, 2013, pp. 610–619.'
  ista: 'Seiringer R, Yngvason J, Zagrebnov V. 2013. Disordered Bose-Einstein condensates
    with interaction. ICMP: International Congress on Mathematical Physics, 610–619.'
  mla: Seiringer, Robert, et al. <i>Disordered Bose-Einstein Condensates with Interaction</i>.
    World Scientific Publishing, 2013, pp. 610–19, doi:<a href="https://doi.org/10.1142/9789814449243_0063">10.1142/9789814449243_0063</a>.
  short: R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing,
    2013, pp. 610–619.
conference:
  name: 'ICMP: International Congress on Mathematical Physics'
date_created: 2018-12-11T11:56:57Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:43Z
doi: 10.1142/9789814449243_0063
extern: '1'
external_id:
  arxiv:
  - '1209.4046'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1209.4046
oa: 1
oa_version: None
page: 610-619
publication_status: published
publisher: World Scientific Publishing
publist_id: '4612'
status: public
title: Disordered Bose-Einstein condensates with interaction
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2319'
abstract:
- lang: eng
  text: In a recent paper [7] we give the first rigorous derivation of the celebrated
    Ginzburg-Landau (GL)theory, starting from the microscopic Bardeen- Cooper-Schrieffer
    (BCS)model. Here we present our results in the simplified case of a one-dimensional
    system of particles interacting via a δ-potential.
author:
- first_name: Rupert
  full_name: Frank, Rupert L
  last_name: Frank
- first_name: Christian
  full_name: Hainzl, Christian
  last_name: Hainzl
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Jan
  full_name: Solovej, Jan P
  last_name: Solovej
citation:
  ama: 'Frank R, Hainzl C, Seiringer R, Solovej J.  Derivation of Ginzburg-Landau
    theory for a one-dimensional system with contact interaction. In: Springer; 2013:57-88.
    doi:<a href="https://doi.org/10.1007/978-3-0348-0531-5_3">10.1007/978-3-0348-0531-5_3</a>'
  apa: 'Frank, R., Hainzl, C., Seiringer, R., &#38; Solovej, J. (2013).  Derivation
    of Ginzburg-Landau theory for a one-dimensional system with contact interaction
    (pp. 57–88). Presented at the OTAMP: Operator Theory, Analysis and Mathematical
    Physics, Springer. <a href="https://doi.org/10.1007/978-3-0348-0531-5_3">https://doi.org/10.1007/978-3-0348-0531-5_3</a>'
  chicago: Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “ Derivation
    of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction,”
    57–88. Springer, 2013. <a href="https://doi.org/10.1007/978-3-0348-0531-5_3">https://doi.org/10.1007/978-3-0348-0531-5_3</a>.
  ieee: 'R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “ Derivation of Ginzburg-Landau
    theory for a one-dimensional system with contact interaction,” presented at the
    OTAMP: Operator Theory, Analysis and Mathematical Physics, 2013, pp. 57–88.'
  ista: 'Frank R, Hainzl C, Seiringer R, Solovej J. 2013.  Derivation of Ginzburg-Landau
    theory for a one-dimensional system with contact interaction. OTAMP: Operator
    Theory, Analysis and Mathematical Physics, 57–88.'
  mla: Frank, Rupert, et al. <i> Derivation of Ginzburg-Landau Theory for a One-Dimensional
    System with Contact Interaction</i>. Springer, 2013, pp. 57–88, doi:<a href="https://doi.org/10.1007/978-3-0348-0531-5_3">10.1007/978-3-0348-0531-5_3</a>.
  short: R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
conference:
  name: 'OTAMP: Operator Theory, Analysis and Mathematical Physics'
date_created: 2018-12-11T11:56:58Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:45Z
day: '01'
doi: 10.1007/978-3-0348-0531-5_3
extern: 1
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1103.1866
month: '01'
oa: 1
page: 57 - 88
publication_status: published
publisher: Springer
publist_id: '4608'
quality_controlled: 0
status: public
title: ' Derivation of Ginzburg-Landau theory for a one-dimensional system with contact
  interaction'
type: conference
year: '2013'
...
---
_id: '2327'
abstract:
- lang: eng
  text: 'We define the model-measuring problem: given a model M and specification
    φ, what is the maximal distance ρ such that all models M′ within distance ρ from
    M satisfy (or violate) φ. The model measuring problem presupposes a distance function
    on models. We concentrate on automatic distance functions, which are defined by
    weighted automata. The model-measuring problem subsumes several generalizations
    of the classical model-checking problem, in particular, quantitative model-checking
    problems that measure the degree of satisfaction of a specification, and robustness
    problems that measure how much a model can be perturbed without violating the
    specification. We show that for automatic distance functions, and ω-regular linear-time
    and branching-time specifications, the model-measuring problem can be solved.
    We use automata-theoretic model-checking methods for model measuring, replacing
    the emptiness question for standard word and tree automata by the optimal-weight
    question for the weighted versions of these automata. We consider weighted automata
    that accumulate weights by maximizing, summing, discounting, and limit averaging.
    We give several examples of using the model-measuring problem to compute various
    notions of robustness and quantitative satisfaction for temporal specifications.'
alternative_title:
- LNCS
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Jan
  full_name: Otop, Jan
  id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
  last_name: Otop
citation:
  ama: Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287.
    doi:<a href="https://doi.org/10.1007/978-3-642-40184-8_20">10.1007/978-3-642-40184-8_20</a>
  apa: 'Henzinger, T. A., &#38; Otop, J. (2013). From model checking to model measuring.
    Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer.
    <a href="https://doi.org/10.1007/978-3-642-40184-8_20">https://doi.org/10.1007/978-3-642-40184-8_20</a>'
  chicago: Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.”
    Lecture Notes in Computer Science. Springer, 2013. <a href="https://doi.org/10.1007/978-3-642-40184-8_20">https://doi.org/10.1007/978-3-642-40184-8_20</a>.
  ieee: T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol.
    8052. Springer, pp. 273–287, 2013.
  ista: Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052,
    273–287.
  mla: Henzinger, Thomas A., and Jan Otop. <i>From Model Checking to Model Measuring</i>.
    Vol. 8052, Springer, 2013, pp. 273–87, doi:<a href="https://doi.org/10.1007/978-3-642-40184-8_20">10.1007/978-3-642-40184-8_20</a>.
  short: T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
conference:
  end_date: 2013-08-30
  location: Buenos Aires, Argentina
  name: 'CONCUR: Concurrency Theory'
  start_date: 2013-08-27
corr_author: '1'
date_created: 2018-12-11T11:57:00Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2024-10-21T06:02:58Z
day: '01'
ddc:
- '005'
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-642-40184-8_20
file:
- access_level: open_access
  checksum: 4c04695c4bfdf2119cd4f5d1babc3e8a
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:45Z
  date_updated: 2020-07-14T12:45:38Z
  file_id: '5301'
  file_name: IST-2013-129-v1+1_concur.pdf
  file_size: 378587
  relation: main_file
file_date_updated: 2020-07-14T12:45:38Z
has_accepted_license: '1'
intvolume: '      8052'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 273 - 287
publication_status: published
publisher: Springer
publist_id: '4599'
pubrep_id: '129'
quality_controlled: '1'
related_material:
  record:
  - id: '5417'
    relation: earlier_version
    status: public
scopus_import: '1'
series_title: Lecture Notes in Computer Science
status: public
title: From model checking to model measuring
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8052
year: '2013'
...
---
_id: '2328'
abstract:
- lang: eng
  text: "Linearizability of concurrent data structures is usually proved by monolithic
    simulation arguments relying on identifying the so-called linearization points.
    Regrettably, such proofs, whether manual or automatic, are often complicated and
    scale poorly to advanced non-blocking concurrency patterns, such as helping and
    optimistic updates.\r\nIn response, we propose a more modular way of checking
    linearizability of concurrent queue algorithms that does not involve identifying
    linearization points. We reduce the task of proving linearizability with respect
    to the queue specification to establishing four basic properties, each of which
    can be proved independently by simpler arguments. As a demonstration of our approach,
    we verify the Herlihy and Wing queue, an algorithm that is challenging to verify
    by a simulation proof."
alternative_title:
- LNCS
author:
- 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: Ali
  full_name: Sezgin, Ali
  id: 4C7638DA-F248-11E8-B48F-1D18A9856A87
  last_name: Sezgin
- first_name: Viktor
  full_name: Vafeiadis, Viktor
  last_name: Vafeiadis
citation:
  ama: Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs.
    2013;8052:242-256. doi:<a href="https://doi.org/10.1007/978-3-642-40184-8_18">10.1007/978-3-642-40184-8_18</a>
  apa: 'Henzinger, T. A., Sezgin, A., &#38; Vafeiadis, V. (2013). Aspect-oriented
    linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires,
    Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.1007/978-3-642-40184-8_18">https://doi.org/10.1007/978-3-642-40184-8_18</a>'
  chicago: Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented
    Linearizability Proofs.” Lecture Notes in Computer Science. Schloss Dagstuhl -
    Leibniz-Zentrum für Informatik, 2013. <a href="https://doi.org/10.1007/978-3-642-40184-8_18">https://doi.org/10.1007/978-3-642-40184-8_18</a>.
  ieee: T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability
    proofs,” vol. 8052. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 242–256,
    2013.
  ista: Henzinger TA, Sezgin A, Vafeiadis V. 2013. Aspect-oriented linearizability
    proofs. 8052, 242–256.
  mla: Henzinger, Thomas A., et al. <i>Aspect-Oriented Linearizability Proofs</i>.
    Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56,
    doi:<a href="https://doi.org/10.1007/978-3-642-40184-8_18">10.1007/978-3-642-40184-8_18</a>.
  short: T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
conference:
  end_date: 2013-08-30
  location: Buenos Aires, Argentina
  name: 'CONCUR: Concurrency Theory'
  start_date: 2013-08-27
date_created: 2018-12-11T11:57:01Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2025-09-23T07:56:19Z
day: '01'
ddc:
- '000'
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-40184-8_18
ec_funded: 1
file:
- access_level: open_access
  checksum: bdbb520de91751fe0136309ad4ef67e4
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:58Z
  date_updated: 2020-07-14T12:45:39Z
  file_id: '4721'
  file_name: IST-2014-197-v1+1_main-queue-verification.pdf
  file_size: 337059
  relation: main_file
file_date_updated: 2020-07-14T12:45:39Z
has_accepted_license: '1'
intvolume: '      8052'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 242 - 256
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '4598'
pubrep_id: '197'
quality_controlled: '1'
related_material:
  record:
  - id: '1832'
    relation: later_version
    status: public
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Aspect-oriented linearizability proofs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8052
year: '2013'
...
---
_id: '2329'
abstract:
- lang: eng
  text: 'Two-player games on graphs are central in many problems in formal verification
    and program analysis such as synthesis and verification of open systems. In this
    work, we consider both finite-state game graphs, and recursive game graphs (or
    pushdown game graphs) that model the control flow of sequential programs with
    recursion. The objectives we study are multidimensional mean-payoff objectives,
    where the goal of player 1 is to ensure that the mean-payoff is non-negative in
    all dimensions. In pushdown games two types of strategies are relevant: (1) global
    strategies, that depend on the entire global history; and (2) modular strategies,
    that have only local memory and thus do not depend on the context of invocation.
    Our main contributions are as follows: (1) We show that finite-state multidimensional
    mean-payoff games can be solved in polynomial time if the number of dimensions
    and the maximal absolute value of the weights are fixed; whereas if the number
    of dimensions is arbitrary, then the problem is known to be coNP-complete. (2)
    We show that pushdown graphs with multidimensional mean-payoff objectives can
    be solved in polynomial time. For both (1) and (2) our algorithms are based on
    hyperplane separation technique. (3) For pushdown games under global strategies
    both one and multidimensional mean-payoff objectives problems are known to be
    undecidable, and we show that under modular strategies the multidimensional problem
    is also undecidable; under modular strategies the one-dimensional problem is NP-complete.
    We show that if the number of modules, the number of exits, and the maximal absolute
    value of the weights are fixed, then pushdown games under modular strategies with
    one-dimensional mean-payoff objectives can be solved in polynomial time, and if
    either the number of exits or the number of modules is unbounded, then the problem
    is NP-hard. (4) Finally we show that a fixed parameter tractable algorithm for
    finite-state multidimensional mean-payoff games or pushdown games under modular
    strategies with one-dimensional mean-payoff objectives would imply the fixed parameter
    tractability of parity games.'
alternative_title:
- LNCS
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: Yaron
  full_name: Velner, Yaron
  last_name: Velner
citation:
  ama: Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional
    mean-payoff games. 2013;8052:500-515. doi:<a href="https://doi.org/10.1007/978-3-642-40184-8_35">10.1007/978-3-642-40184-8_35</a>
  apa: 'Chatterjee, K., &#38; Velner, Y. (2013). Hyperplane separation technique for
    multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory,
    Buenos Aires, Argentinia: Springer. <a href="https://doi.org/10.1007/978-3-642-40184-8_35">https://doi.org/10.1007/978-3-642-40184-8_35</a>'
  chicago: Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique
    for Multidimensional Mean-Payoff Games.” Lecture Notes in Computer Science. Springer,
    2013. <a href="https://doi.org/10.1007/978-3-642-40184-8_35">https://doi.org/10.1007/978-3-642-40184-8_35</a>.
  ieee: K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional
    mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
  ista: Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional
    mean-payoff games. 8052, 500–515.
  mla: Chatterjee, Krishnendu, and Yaron Velner. <i>Hyperplane Separation Technique
    for Multidimensional Mean-Payoff Games</i>. Vol. 8052, Springer, 2013, pp. 500–15,
    doi:<a href="https://doi.org/10.1007/978-3-642-40184-8_35">10.1007/978-3-642-40184-8_35</a>.
  short: K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
conference:
  end_date: 2013-08-30
  location: Buenos Aires, Argentinia
  name: 'CONCUR: Concurrency Theory'
  start_date: 2013-08-27
date_created: 2018-12-11T11:57:01Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2025-09-10T11:00:30Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-40184-8_35
ec_funded: 1
external_id:
  arxiv:
  - '1210.3141'
intvolume: '      8052'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1210.3141
month: '08'
oa: 1
oa_version: Preprint
page: 500 - 515
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_status: published
publisher: Springer
publist_id: '4597'
quality_controlled: '1'
related_material:
  record:
  - id: '717'
    relation: later_version
    status: public
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Hyperplane separation technique for multidimensional mean-payoff games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8052
year: '2013'
...
---
_id: '2404'
abstract:
- lang: eng
  text: The Lieb-Thirring inequalities give a bound on the negative eigenvalues of
    a Schrödinger operator in terms of an Lp-norm of the potential. These are dual
    to bounds on the H1-norms of a system of orthonormal functions. Here we extend
    these bounds to analogous inequalities for perturbations of the Fermi sea of noninteracting
    particles (i.e., for perturbations of the continuous spectrum of the Laplacian
    by local potentials).
author:
- first_name: Rupert
  full_name: Frank, Rupert L
  last_name: Frank
- first_name: Mathieu
  full_name: Lewin, Mathieu
  last_name: Lewin
- first_name: Élliott
  full_name: Lieb, Élliott H
  last_name: Lieb
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Frank R, Lewin M, Lieb É, Seiringer R. A positive density analogue of the Lieb-Thirring
    inequality. <i>Duke Mathematical Journal</i>. 2013;162(3):435-495. doi:<a href="https://doi.org/10.1215/00127094-2019477">10.1215/00127094-2019477</a>
  apa: Frank, R., Lewin, M., Lieb, É., &#38; Seiringer, R. (2013). A positive density
    analogue of the Lieb-Thirring inequality. <i>Duke Mathematical Journal</i>. Duke
    University Press. <a href="https://doi.org/10.1215/00127094-2019477">https://doi.org/10.1215/00127094-2019477</a>
  chicago: Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “A Positive
    Density Analogue of the Lieb-Thirring Inequality.” <i>Duke Mathematical Journal</i>.
    Duke University Press, 2013. <a href="https://doi.org/10.1215/00127094-2019477">https://doi.org/10.1215/00127094-2019477</a>.
  ieee: R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “A positive density analogue
    of the Lieb-Thirring inequality,” <i>Duke Mathematical Journal</i>, vol. 162,
    no. 3. Duke University Press, pp. 435–495, 2013.
  ista: Frank R, Lewin M, Lieb É, Seiringer R. 2013. A positive density analogue of
    the Lieb-Thirring inequality. Duke Mathematical Journal. 162(3), 435–495.
  mla: Frank, Rupert, et al. “A Positive Density Analogue of the Lieb-Thirring Inequality.”
    <i>Duke Mathematical Journal</i>, vol. 162, no. 3, Duke University Press, 2013,
    pp. 435–95, doi:<a href="https://doi.org/10.1215/00127094-2019477">10.1215/00127094-2019477</a>.
  short: R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162
    (2013) 435–495.
date_created: 2018-12-11T11:57:28Z
date_published: 2013-02-01T00:00:00Z
date_updated: 2021-01-12T06:57:17Z
day: '01'
doi: 10.1215/00127094-2019477
extern: 1
intvolume: '       162'
issue: '3'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1108.4246
month: '02'
oa: 1
page: 435 - 495
publication: Duke Mathematical Journal
publication_status: published
publisher: Duke University Press
publist_id: '4521'
quality_controlled: 0
status: public
title: A positive density analogue of the Lieb-Thirring inequality
type: journal_article
volume: 162
year: '2013'
...
---
_id: '2405'
abstract:
- lang: eng
  text: We consider the bipolaron in the Pekar-Tomasevich approximation and address
    the question whether the ground state is spherically symmetric or not. Numerical
    analysis has, so far, not completely settled the question. Our contribution is
    to prove rigorously that the ground state remains spherical for small values of
    the electron-electron Coulomb repulsion.
author:
- first_name: Rupert
  full_name: Frank, Rupert L
  last_name: Frank
- first_name: Élliott
  full_name: Lieb, Élliott H
  last_name: Lieb
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Frank R, Lieb É, Seiringer R. Symmetry of bipolaron bound states for small
    Coulomb repulsion. <i>Communications in Mathematical Physics</i>. 2013;319(2):557-573.
    doi:<a href="https://doi.org/10.1007/s00220-012-1604-y">10.1007/s00220-012-1604-y</a>
  apa: Frank, R., Lieb, É., &#38; Seiringer, R. (2013). Symmetry of bipolaron bound
    states for small Coulomb repulsion. <i>Communications in Mathematical Physics</i>.
    Springer. <a href="https://doi.org/10.1007/s00220-012-1604-y">https://doi.org/10.1007/s00220-012-1604-y</a>
  chicago: Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron
    Bound States for Small Coulomb Repulsion.” <i>Communications in Mathematical Physics</i>.
    Springer, 2013. <a href="https://doi.org/10.1007/s00220-012-1604-y">https://doi.org/10.1007/s00220-012-1604-y</a>.
  ieee: R. Frank, É. Lieb, and R. Seiringer, “Symmetry of bipolaron bound states for
    small Coulomb repulsion,” <i>Communications in Mathematical Physics</i>, vol.
    319, no. 2. Springer, pp. 557–573, 2013.
  ista: Frank R, Lieb É, Seiringer R. 2013. Symmetry of bipolaron bound states for
    small Coulomb repulsion. Communications in Mathematical Physics. 319(2), 557–573.
  mla: Frank, Rupert, et al. “Symmetry of Bipolaron Bound States for Small Coulomb
    Repulsion.” <i>Communications in Mathematical Physics</i>, vol. 319, no. 2, Springer,
    2013, pp. 557–73, doi:<a href="https://doi.org/10.1007/s00220-012-1604-y">10.1007/s00220-012-1604-y</a>.
  short: R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319
    (2013) 557–573.
date_created: 2018-12-11T11:57:28Z
date_published: 2013-04-01T00:00:00Z
date_updated: 2021-01-12T06:57:17Z
day: '01'
doi: 10.1007/s00220-012-1604-y
extern: 1
intvolume: '       319'
issue: '2'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1201.3954
month: '04'
oa: 1
page: 557 - 573
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4522'
quality_controlled: 0
status: public
title: Symmetry of bipolaron bound states for small Coulomb repulsion
type: journal_article
volume: 319
year: '2013'
...
---
_id: '2406'
abstract:
- lang: eng
  text: We study the effects of random scatterers on the ground state of the one-dimensional
    Lieb-Liniger model of interacting bosons on the unit interval. We prove that,
    in the Gross-Pitaevskii limit, Bose Einstein condensation takes place in the whole
    parameter range considered. The character of the wave function of the condensate,
    however, depends in an essential way on the interplay between randomness and the
    strength of the two-body interaction. For low density of scatterers or strong
    interactions the wave function extends over the whole interval. High density of
    scatterers and weak interaction, on the other hand, leads to localization of the
    wave function in a fragmented subset of the unit interval.
author:
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Jakob
  full_name: Yngvason, Jakob
  last_name: Yngvason
- first_name: Valentin
  full_name: Zagrebnov, Valentin A
  last_name: Zagrebnov
citation:
  ama: 'Seiringer R, Yngvason J, Zagrebnov V. Condensation of interacting bosons in
    a random potential. <i>European Physical Journal: Special Topics</i>. 2013;217(1):103-107.
    doi:<a href="https://doi.org/10.1140/epjst/e2013-01759-5">10.1140/epjst/e2013-01759-5</a>'
  apa: 'Seiringer, R., Yngvason, J., &#38; Zagrebnov, V. (2013). Condensation of interacting
    bosons in a random potential. <i>European Physical Journal: Special Topics</i>.
    Springer. <a href="https://doi.org/10.1140/epjst/e2013-01759-5">https://doi.org/10.1140/epjst/e2013-01759-5</a>'
  chicago: 'Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Condensation
    of Interacting Bosons in a Random Potential.” <i>European Physical Journal: Special
    Topics</i>. Springer, 2013. <a href="https://doi.org/10.1140/epjst/e2013-01759-5">https://doi.org/10.1140/epjst/e2013-01759-5</a>.'
  ieee: 'R. Seiringer, J. Yngvason, and V. Zagrebnov, “Condensation of interacting
    bosons in a random potential,” <i>European Physical Journal: Special Topics</i>,
    vol. 217, no. 1. Springer, pp. 103–107, 2013.'
  ista: 'Seiringer R, Yngvason J, Zagrebnov V. 2013. Condensation of interacting bosons
    in a random potential. European Physical Journal: Special Topics. 217(1), 103–107.'
  mla: 'Seiringer, Robert, et al. “Condensation of Interacting Bosons in a Random
    Potential.” <i>European Physical Journal: Special Topics</i>, vol. 217, no. 1,
    Springer, 2013, pp. 103–07, doi:<a href="https://doi.org/10.1140/epjst/e2013-01759-5">10.1140/epjst/e2013-01759-5</a>.'
  short: 'R. Seiringer, J. Yngvason, V. Zagrebnov, European Physical Journal: Special
    Topics 217 (2013) 103–107.'
date_created: 2018-12-11T11:57:29Z
date_published: 2013-02-01T00:00:00Z
date_updated: 2021-01-12T06:57:17Z
day: '01'
doi: 10.1140/epjst/e2013-01759-5
extern: 1
intvolume: '       217'
issue: '1'
month: '02'
page: 103 - 107
publication: 'European Physical Journal: Special Topics'
publication_status: published
publisher: Springer
publist_id: '4520'
quality_controlled: 0
status: public
title: Condensation of interacting bosons in a random potential
type: journal_article
volume: 217
year: '2013'
...
---
_id: '2408'
abstract:
- lang: eng
  text: We investigate the low-energy excitation spectrum of a Bose gas confined in
    a trap, with weak long-range repulsive interactions. In particular, we prove that
    the spectrum can be described in terms of the eigenvalues of an effective one-particle
    operator, as predicted by the Bogoliubov approximation.
author:
- first_name: Philip
  full_name: Grech, Philip
  last_name: Grech
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Grech P, Seiringer R. The excitation spectrum for weakly interacting Bosons
    in a trap. <i>Communications in Mathematical Physics</i>. 2013;322(2):559-591.
    doi:<a href="https://doi.org/10.1007/s00220-013-1736-8">10.1007/s00220-013-1736-8</a>
  apa: Grech, P., &#38; Seiringer, R. (2013). The excitation spectrum for weakly interacting
    Bosons in a trap. <i>Communications in Mathematical Physics</i>. Springer. <a
    href="https://doi.org/10.1007/s00220-013-1736-8">https://doi.org/10.1007/s00220-013-1736-8</a>
  chicago: Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly
    Interacting Bosons in a Trap.” <i>Communications in Mathematical Physics</i>.
    Springer, 2013. <a href="https://doi.org/10.1007/s00220-013-1736-8">https://doi.org/10.1007/s00220-013-1736-8</a>.
  ieee: P. Grech and R. Seiringer, “The excitation spectrum for weakly interacting
    Bosons in a trap,” <i>Communications in Mathematical Physics</i>, vol. 322, no.
    2. Springer, pp. 559–591, 2013.
  ista: Grech P, Seiringer R. 2013. The excitation spectrum for weakly interacting
    Bosons in a trap. Communications in Mathematical Physics. 322(2), 559–591.
  mla: Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting
    Bosons in a Trap.” <i>Communications in Mathematical Physics</i>, vol. 322, no.
    2, Springer, 2013, pp. 559–91, doi:<a href="https://doi.org/10.1007/s00220-013-1736-8">10.1007/s00220-013-1736-8</a>.
  short: P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013)
    559–591.
date_created: 2018-12-11T11:57:29Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2021-01-12T06:57:18Z
day: '01'
doi: 10.1007/s00220-013-1736-8
extern: 1
intvolume: '       322'
issue: '2'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1205.5259
month: '09'
oa: 1
page: 559 - 591
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4518'
quality_controlled: 0
status: public
title: The excitation spectrum for weakly interacting Bosons in a trap
type: journal_article
volume: 322
year: '2013'
...
---
_id: '2410'
abstract:
- lang: eng
  text: 'Here, we describe a novel virulent bacteriophage that infects Bacillus weihenstephanensis,
    isolated from soil in Austria. It is the first phage to be discovered that infects
    this species. Here, we present the complete genome sequence of this podovirus. '
author:
- first_name: Rodrigo A
  full_name: Fernandes Redondo, Rodrigo A
  id: 409D5C96-F248-11E8-B48F-1D18A9856A87
  last_name: Fernandes Redondo
  orcid: 0000-0002-5837-2793
- first_name: Anne
  full_name: Kupczok, Anne
  id: 2BB22BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Kupczok
- first_name: Gertraud
  full_name: Stift, Gertraud
  id: 2DB195CA-F248-11E8-B48F-1D18A9856A87
  last_name: Stift
- first_name: Jonathan P
  full_name: Bollback, Jonathan P
  id: 2C6FA9CC-F248-11E8-B48F-1D18A9856A87
  last_name: Bollback
  orcid: 0000-0002-4624-4612
citation:
  ama: Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence
    of the novel phage MG-B1 infecting bacillus weihenstephanensis. <i>Genome Announcements</i>.
    2013;1(3). doi:<a href="https://doi.org/10.1128/genomeA.00216-13">10.1128/genomeA.00216-13</a>
  apa: Fernandes Redondo, R. A., Kupczok, A., Stift, G., &#38; Bollback, J. P. (2013).
    Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis.
    <i>Genome Announcements</i>. American Society for Microbiology. <a href="https://doi.org/10.1128/genomeA.00216-13">https://doi.org/10.1128/genomeA.00216-13</a>
  chicago: Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan
    P Bollback. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus
    Weihenstephanensis.” <i>Genome Announcements</i>. American Society for Microbiology,
    2013. <a href="https://doi.org/10.1128/genomeA.00216-13">https://doi.org/10.1128/genomeA.00216-13</a>.
  ieee: R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete
    genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,”
    <i>Genome Announcements</i>, vol. 1, no. 3. American Society for Microbiology,
    2013.
  ista: Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. 2013. Complete genome
    sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome
    Announcements. 1(3).
  mla: Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel
    Phage MG-B1 Infecting Bacillus Weihenstephanensis.” <i>Genome Announcements</i>,
    vol. 1, no. 3, American Society for Microbiology, 2013, doi:<a href="https://doi.org/10.1128/genomeA.00216-13">10.1128/genomeA.00216-13</a>.
  short: R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements
    1 (2013).
corr_author: '1'
date_created: 2018-12-11T11:57:30Z
date_published: 2013-06-13T00:00:00Z
date_updated: 2024-10-09T20:55:15Z
day: '13'
ddc:
- '576'
department:
- _id: JoBo
- _id: LifeSc
doi: 10.1128/genomeA.00216-13
file:
- access_level: open_access
  checksum: 0751ec74b695567e0cdf02aaf9c26829
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:36Z
  date_updated: 2020-07-14T12:45:40Z
  file_id: '5291'
  file_name: IST-2015-398-v1+1_Genome_Announc.-2013-Redondo-.pdf
  file_size: 130026
  relation: main_file
file_date_updated: 2020-07-14T12:45:40Z
has_accepted_license: '1'
intvolume: '         1'
issue: '3'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: Genome Announcements
publication_status: published
publisher: American Society for Microbiology
publist_id: '4516'
pubrep_id: '398'
quality_controlled: '1'
scopus_import: 1
status: public
title: Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2013'
...
---
_id: '2412'
abstract:
- lang: eng
  text: 'Background: The CRISPR/Cas system is known to act as an adaptive and heritable
    immune system in Eubacteria and Archaea. Immunity is encoded in an array of spacer
    sequences. Each spacer can provide specific immunity to invasive elements that
    carry the same or a similar sequence. Even in closely related strains, spacer
    content is very dynamic and evolves quickly. Standard models of nucleotide evolutioncannot
    be applied to quantify its rate of change since processes other than single nucleotide
    changes determine its evolution.Methods We present probabilistic models that are
    specific for spacer content evolution. They account for the different processes
    of insertion and deletion. Insertions can be constrained to occur on one end only
    or are allowed to occur throughout the array. One deletion event can affect one
    spacer or a whole fragment of adjacent spacers. Parameters of the underlying models
    are estimated for a pair of arrays by maximum likelihood using explicit ancestor
    enumeration.Results Simulations show that parameters are well estimated on average
    under the models presented here. There is a bias in the rate estimation when including
    fragment deletions. The models also estimate times between pairs of strains. But
    with increasing time, spacer overlap goes to zero, and thus there is an upper
    bound on the distance that can be estimated. Spacer content similarities are displayed
    in a distance based phylogeny using the estimated times.We use the presented models
    to analyze different Yersinia pestis data sets and find that the results among
    them are largely congruent. The models also capture the variation in diversity
    of spacers among the data sets. A comparison of spacer-based phylogenies and Cas
    gene phylogenies shows that they resolve very different time scales for this data
    set.Conclusions The simulations and data analyses show that the presented models
    are useful for quantifying spacer content evolution and for displaying spacer
    content similarities of closely related strains in a phylogeny. This allows for
    comparisons of different CRISPR arrays or for comparisons between CRISPR arrays
    and nucleotide substitution rates.'
article_processing_charge: No
author:
- first_name: Anne
  full_name: Kupczok, Anne
  id: 2BB22BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Kupczok
- first_name: Jonathan P
  full_name: Bollback, Jonathan P
  id: 2C6FA9CC-F248-11E8-B48F-1D18A9856A87
  last_name: Bollback
  orcid: 0000-0002-4624-4612
citation:
  ama: Kupczok A, Bollback JP. Probabilistic models for CRISPR spacer content evolution
    . <i>BMC Evolutionary Biology</i>. 2013;13(1):54-54. doi:<a href="https://doi.org/10.1186/1471-2148-13-54">10.1186/1471-2148-13-54</a>
  apa: Kupczok, A., &#38; Bollback, J. P. (2013). Probabilistic models for CRISPR
    spacer content evolution . <i>BMC Evolutionary Biology</i>. BioMed Central. <a
    href="https://doi.org/10.1186/1471-2148-13-54">https://doi.org/10.1186/1471-2148-13-54</a>
  chicago: Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR
    Spacer Content Evolution .” <i>BMC Evolutionary Biology</i>. BioMed Central, 2013.
    <a href="https://doi.org/10.1186/1471-2148-13-54">https://doi.org/10.1186/1471-2148-13-54</a>.
  ieee: A. Kupczok and J. P. Bollback, “Probabilistic models for CRISPR spacer content
    evolution ,” <i>BMC Evolutionary Biology</i>, vol. 13, no. 1. BioMed Central,
    pp. 54–54, 2013.
  ista: Kupczok A, Bollback JP. 2013. Probabilistic models for CRISPR spacer content
    evolution . BMC Evolutionary Biology. 13(1), 54–54.
  mla: Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer
    Content Evolution .” <i>BMC Evolutionary Biology</i>, vol. 13, no. 1, BioMed Central,
    2013, pp. 54–54, doi:<a href="https://doi.org/10.1186/1471-2148-13-54">10.1186/1471-2148-13-54</a>.
  short: A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
corr_author: '1'
date_created: 2018-12-11T11:57:31Z
date_published: 2013-02-26T00:00:00Z
date_updated: 2025-09-29T14:15:59Z
day: '26'
ddc:
- '576'
department:
- _id: JoBo
doi: 10.1186/1471-2148-13-54
external_id:
  isi:
  - '000321524500001'
file:
- access_level: open_access
  checksum: 029c7e0b198c19312b66ecce3cabb22f
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:15Z
  date_updated: 2020-07-14T12:45:40Z
  file_id: '5268'
  file_name: IST-2015-397-v1+1_1471-2148-13-54.pdf
  file_size: 518729
  relation: main_file
file_date_updated: 2020-07-14T12:45:40Z
has_accepted_license: '1'
intvolume: '        13'
isi: 1
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '02'
oa: 1
oa_version: Published Version
page: 54 - 54
publication: BMC Evolutionary Biology
publication_status: published
publisher: BioMed Central
publist_id: '4514'
pubrep_id: '397'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Probabilistic models for CRISPR spacer content evolution '
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13
year: '2013'
...
---
_id: '2413'
abstract:
- lang: eng
  text: 'Progress in understanding the global brain dynamics has remained slow to
    date in large part because of the highly multiscale nature of brain activity.
    Indeed, normal brain dynamics is characterized by complex interactions between
    multiple levels: from the microscopic scale of single neurons to the mesoscopic
    level of local groups of neurons, and finally to the macroscopic level of the
    whole brain. Among the most difficult tasks are those of identifying which scales
    are significant for a given particular function and describing how the scales
    affect each other. It is important to realize that the scales of time and space
    are linked together, or even intertwined, and that causal inference is far more
    ambiguous between than within levels. We approach this problem from the perspective
    of our recent work on simultaneous recording from micro- and macroelectrodes in
    the human brain. We propose a physiological description of these multilevel interactions,
    based on phase–amplitude coupling of neuronal oscillations that operate at multiple
    frequencies and on different spatial scales. Specifically, the amplitude of the
    oscillations on a particular spatial scale is modulated by phasic variations in
    neuronal excitability induced by lower frequency oscillations that emerge on a
    larger spatial scale. Following this general principle, it is possible to scale
    up or scale down the multiscale brain dynamics. It is expected that large-scale
    network oscillations in the low-frequency range, mediating downward effects, may
    play an important role in attention and consciousness.'
alternative_title:
- Reviews of Nonlinear Dynamics and Complexity
article_processing_charge: No
author:
- first_name: Mario
  full_name: Valderrama, Mario
  last_name: Valderrama
- first_name: Vicente
  full_name: Botella Soler, Vicente
  id: 421234E8-F248-11E8-B48F-1D18A9856A87
  last_name: Botella Soler
  orcid: 0000-0002-8790-1914
- first_name: Michel
  full_name: Le Van Quyen, Michel
  last_name: Le Van Quyen
citation:
  ama: 'Valderrama M, Botella Soler V, Le Van Quyen M. Neuronal oscillations scale
    up and scale down the brain dynamics . In: Meyer M, Pesenson Z, eds. <i>Multiscale
    Analysis and Nonlinear Dynamics: From Genes to the Brain</i>. Wiley; 2013. doi:<a
    href="https://doi.org/10.1002/9783527671632.ch08">10.1002/9783527671632.ch08</a>'
  apa: 'Valderrama, M., Botella Soler, V., &#38; Le Van Quyen, M. (2013). Neuronal
    oscillations scale up and scale down the brain dynamics . In M. Meyer &#38; Z.
    Pesenson (Eds.), <i>Multiscale Analysis and Nonlinear Dynamics: From Genes to
    the Brain</i>. Wiley. <a href="https://doi.org/10.1002/9783527671632.ch08">https://doi.org/10.1002/9783527671632.ch08</a>'
  chicago: 'Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal
    Oscillations Scale up and Scale down the Brain Dynamics .” In <i>Multiscale Analysis
    and Nonlinear Dynamics: From Genes to the Brain</i>, edited by Misha Meyer and
    Z. Pesenson. Wiley, 2013. <a href="https://doi.org/10.1002/9783527671632.ch08">https://doi.org/10.1002/9783527671632.ch08</a>.'
  ieee: 'M. Valderrama, V. Botella Soler, and M. Le Van Quyen, “Neuronal oscillations
    scale up and scale down the brain dynamics ,” in <i>Multiscale Analysis and Nonlinear
    Dynamics: From Genes to the Brain</i>, M. Meyer and Z. Pesenson, Eds. Wiley, 2013.'
  ista: 'Valderrama M, Botella Soler V, Le Van Quyen M. 2013.Neuronal oscillations
    scale up and scale down the brain dynamics . In: Multiscale Analysis and Nonlinear
    Dynamics: From Genes to the Brain. Reviews of Nonlinear Dynamics and Complexity,
    .'
  mla: 'Valderrama, Mario, et al. “Neuronal Oscillations Scale up and Scale down the
    Brain Dynamics .” <i>Multiscale Analysis and Nonlinear Dynamics: From Genes to
    the Brain</i>, edited by Misha Meyer and Z. Pesenson, Wiley, 2013, doi:<a href="https://doi.org/10.1002/9783527671632.ch08">10.1002/9783527671632.ch08</a>.'
  short: 'M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson
    (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley,
    2013.'
date_created: 2018-12-11T11:57:31Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2025-06-03T11:46:23Z
day: '01'
department:
- _id: GaTk
doi: 10.1002/9783527671632.ch08
editor:
- first_name: Misha
  full_name: Meyer, Misha
  last_name: Meyer
- first_name: Z.
  full_name: Pesenson, Z.
  last_name: Pesenson
language:
- iso: eng
month: '08'
oa_version: None
publication: 'Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain'
publication_identifier:
  eisbn:
  - '9783527671632'
  isbn:
  - '9783527411986 '
publication_status: published
publisher: Wiley
publist_id: '4513'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Neuronal oscillations scale up and scale down the brain dynamics '
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2443'
abstract:
- lang: eng
  text: The mode of action of auxin is based on its non-uniform distribution within
    tissues and organs. Despite the wide use of several auxin analogues in research
    and agriculture, little is known about the specificity of different auxin-related
    transport and signalling processes towards these compounds. Using seedlings of
    Arabidopsis thaliana and suspension-cultured cells of Nicotiana tabacum (BY-2),
    the physiological activity of several auxin analogues was investigated, together
    with their capacity to induce auxin-dependent gene expression, to inhibit endocytosis
    and to be transported across the plasma membrane. This study shows that the specificity
    criteria for different auxin-related processes vary widely. Notably, the special
    behaviour of some synthetic auxin analogues suggests that they might be useful
    tools in investigations of the molecular mechanism of auxin action. Thus, due
    to their differential stimulatory effects on DR5 expression, indole-3-propionic
    (IPA) and 2,4,5-trichlorophenoxy acetic (2,4,5-T) acids can serve in studies of
    TRANSPORT INHIBITOR RESPONSE 1/AUXIN SIGNALLING F-BOX (TIR1/AFB)-mediated auxin
    signalling, and 5-fluoroindole-3-acetic acid (5-F-IAA) can help to discriminate
    between transcriptional and non-transcriptional pathways of auxin signalling.
    The results demonstrate that the major determinants for the auxin-like physiological
    potential of a particular compound are very complex and involve its chemical and
    metabolic stability, its ability to distribute in tissues in a polar manner and
    its activity towards auxin signalling machinery.
acknowledgement: The authors thank Dr Christian Luschnig (University of Natural Resources
  and Life Sciences (BOKU), Vienna, Austria) for the anti-PIN2 antibody, Professor
  Mark Estelle (University of California, San Diego, CA, USA) for tir1-1 mutant seeds
  and, last but not least, to Dr David Morris for critical reading of the manuscript.
  We also thank Markéta Pařezová and Jana Stýblová for excellent technical assistance.
  This work was supported by the Grant Agency of the Czech Republic (P305/11/0797
  to E.Z. and 13-40637S to J.F.), the Central European Institute of Technology project
  CZ.1.05/1.1.00/02.0068 from the European Regional Development Fund and by a European
  Research Council starting independent research grant ERC-2011-StG-20101109-PSDP
  (to J.F.).
article_processing_charge: No
article_type: original
author:
- first_name: Sibu
  full_name: Simon, Sibu
  id: 4542EF9A-F248-11E8-B48F-1D18A9856A87
  last_name: Simon
  orcid: 0000-0002-1998-6741
- first_name: Martin
  full_name: Kubeš, Martin
  last_name: Kubeš
- first_name: Pawel
  full_name: Baster, Pawel
  id: 3028BD74-F248-11E8-B48F-1D18A9856A87
  last_name: Baster
- first_name: Stéphanie
  full_name: Robert, Stéphanie
  last_name: Robert
- first_name: Petre
  full_name: Dobrev, Petre
  last_name: Dobrev
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Jan
  full_name: Petrášek, Jan
  last_name: Petrášek
- first_name: Eva
  full_name: Zažímalová, Eva
  last_name: Zažímalová
citation:
  ama: 'Simon S, Kubeš M, Baster P, et al. Defining the selectivity of processes along
    the auxin response chain: A study using auxin analogues. <i>New Phytologist</i>.
    2013;200(4):1034-1048. doi:<a href="https://doi.org/10.1111/nph.12437">10.1111/nph.12437</a>'
  apa: 'Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová,
    E. (2013). Defining the selectivity of processes along the auxin response chain:
    A study using auxin analogues. <i>New Phytologist</i>. Wiley. <a href="https://doi.org/10.1111/nph.12437">https://doi.org/10.1111/nph.12437</a>'
  chicago: 'Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev,
    Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes
    along the Auxin Response Chain: A Study Using Auxin Analogues.” <i>New Phytologist</i>.
    Wiley, 2013. <a href="https://doi.org/10.1111/nph.12437">https://doi.org/10.1111/nph.12437</a>.'
  ieee: 'S. Simon <i>et al.</i>, “Defining the selectivity of processes along the
    auxin response chain: A study using auxin analogues,” <i>New Phytologist</i>,
    vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.'
  ista: 'Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová
    E. 2013. Defining the selectivity of processes along the auxin response chain:
    A study using auxin analogues. New Phytologist. 200(4), 1034–1048.'
  mla: 'Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin
    Response Chain: A Study Using Auxin Analogues.” <i>New Phytologist</i>, vol. 200,
    no. 4, Wiley, 2013, pp. 1034–48, doi:<a href="https://doi.org/10.1111/nph.12437">10.1111/nph.12437</a>.'
  short: S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek,
    E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
date_created: 2018-12-11T11:57:41Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2025-09-29T14:15:18Z
day: '01'
department:
- _id: JiFr
doi: 10.1111/nph.12437
ec_funded: 1
external_id:
  isi:
  - '000330955300012'
intvolume: '       200'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1111/nph.12437
month: '12'
oa: 1
oa_version: Published Version
page: 1034 - 1048
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '282300'
  name: Polarity and subcellular dynamics in plants
publication: New Phytologist
publication_status: published
publisher: Wiley
publist_id: '4460'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Defining the selectivity of processes along the auxin response chain: A study
  using auxin analogues'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 200
year: '2013'
...
---
_id: '2444'
abstract:
- lang: eng
  text: 'We consider two core algorithmic problems for probabilistic verification:
    the maximal end-component decomposition and the almost-sure reachability set computation
    for Markov decision processes (MDPs). For MDPs with treewidth k, we present two
    improved static algorithms for both the problems that run in time O(n·k 2.38·2k
    ) and O(m·logn· k), respectively, where n is the number of states and m is the
    number of edges, significantly improving the previous known O(n·k·√n· k) bound
    for low treewidth. We also present decremental algorithms for both problems for
    MDPs with constant treewidth that run in amortized logarithmic time, which is
    a huge improvement over the previously known algorithms that require amortized
    linear time.'
alternative_title:
- LNCS
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: Jakub
  full_name: Ła̧Cki, Jakub
  last_name: Ła̧Cki
citation:
  ama: Chatterjee K, Ła̧Cki J. Faster algorithms for Markov decision processes with
    low treewidth. 2013;8044:543-558. doi:<a href="https://doi.org/10.1007/978-3-642-39799-8_36">10.1007/978-3-642-39799-8_36</a>
  apa: 'Chatterjee, K., &#38; Ła̧Cki, J. (2013). Faster algorithms for Markov decision
    processes with low treewidth. Presented at the CAV: Computer Aided Verification,
    St. Petersburg, Russia: Springer. <a href="https://doi.org/10.1007/978-3-642-39799-8_36">https://doi.org/10.1007/978-3-642-39799-8_36</a>'
  chicago: Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov
    Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer,
    2013. <a href="https://doi.org/10.1007/978-3-642-39799-8_36">https://doi.org/10.1007/978-3-642-39799-8_36</a>.
  ieee: K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes
    with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
  ista: Chatterjee K, Ła̧Cki J. 2013. Faster algorithms for Markov decision processes
    with low treewidth. 8044, 543–558.
  mla: Chatterjee, Krishnendu, and Jakub Ła̧Cki. <i>Faster Algorithms for Markov Decision
    Processes with Low Treewidth</i>. Vol. 8044, Springer, 2013, pp. 543–58, doi:<a
    href="https://doi.org/10.1007/978-3-642-39799-8_36">10.1007/978-3-642-39799-8_36</a>.
  short: K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
conference:
  end_date: 2013-07-19
  location: St. Petersburg, Russia
  name: 'CAV: Computer Aided Verification'
  start_date: 2013-07-13
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:47Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-39799-8_36
ec_funded: 1
external_id:
  arxiv:
  - '1304.0084'
intvolume: '      8044'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1304.0084
month: '07'
oa: 1
oa_version: Preprint
page: 543 - 558
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_status: published
publisher: Springer
publist_id: '4459'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Faster algorithms for Markov decision processes with low treewidth
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2446'
abstract:
- lang: eng
  text: The model-checking problem for probabilistic systems crucially relies on the
    translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless
    translation [KE12, GKE12] for the LTL(F,G) fragment produces smaller automata
    as compared to the traditional approach. In this work, instead of DRW we consider
    deterministic automata with acceptance condition given as disjunction of generalized
    Rabin pairs (DGRW). The Safraless translation of LTL(F,G) formulas to DGRW results
    in smaller automata as compared to DRW. We present algorithms for probabilistic
    model-checking as well as game solving for DGRW conditions. Our new algorithms
    lead to improvement both in terms of theoretical bounds as well as practical evaluation.
    We compare PRISM with and without our new translation, and show that the new translation
    leads to significant improvements.
alternative_title:
- LNCS
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: Andreas
  full_name: Gaiser, Andreas
  last_name: Gaiser
- first_name: Jan
  full_name: Kretinsky, Jan
  id: 44CEF464-F248-11E8-B48F-1D18A9856A87
  last_name: Kretinsky
  orcid: 0000-0002-8122-2881
citation:
  ama: Chatterjee K, Gaiser A, Kretinsky J. Automata with generalized Rabin pairs
    for probabilistic model checking and LTL synthesis. 2013;8044:559-575. doi:<a
    href="https://doi.org/10.1007/978-3-642-39799-8_37">10.1007/978-3-642-39799-8_37</a>
  apa: 'Chatterjee, K., Gaiser, A., &#38; Kretinsky, J. (2013). Automata with generalized
    Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the
    CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. <a href="https://doi.org/10.1007/978-3-642-39799-8_37">https://doi.org/10.1007/978-3-642-39799-8_37</a>'
  chicago: Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with
    Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture
    Notes in Computer Science. Springer, 2013. <a href="https://doi.org/10.1007/978-3-642-39799-8_37">https://doi.org/10.1007/978-3-642-39799-8_37</a>.
  ieee: K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin
    pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer,
    pp. 559–575, 2013.
  ista: Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin
    pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.
  mla: Chatterjee, Krishnendu, et al. <i>Automata with Generalized Rabin Pairs for
    Probabilistic Model Checking and LTL Synthesis</i>. Vol. 8044, Springer, 2013,
    pp. 559–75, doi:<a href="https://doi.org/10.1007/978-3-642-39799-8_37">10.1007/978-3-642-39799-8_37</a>.
  short: K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
conference:
  end_date: 2013-07-19
  location: St. Petersburg, Russia
  name: 'CAV: Computer Aided Verification'
  start_date: 2013-07-13
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:47Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-39799-8_37
ec_funded: 1
external_id:
  arxiv:
  - '1304.5281'
intvolume: '      8044'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1304.5281
month: '07'
oa: 1
oa_version: Preprint
page: 559 - 575
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_status: published
publisher: Springer
publist_id: '4457'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Automata with generalized Rabin pairs for probabilistic model checking and
  LTL synthesis
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2447'
abstract:
- lang: eng
  text: "Separation logic (SL) has gained widespread popularity because of its ability
    to succinctly express complex invariants of a program’s heap configurations. Several
    specialized provers have been developed for decidable SL fragments. However, these
    provers cannot be easily extended or combined with solvers for other theories
    that are important in program verification, e.g., linear arithmetic. In this paper,
    we present a reduction of decidable SL fragments to a decidable first-order theory
    that fits well into the satisfiability modulo theories (SMT) framework. We show
    how to use this reduction to automate satisfiability, entailment, frame inference,
    and abduction problems for separation logic using SMT solvers. Our approach provides
    a simple method of integrating separation logic into existing verification tools
    that provide SMT backends, and an elegant way of combining SL fragments with other
    decidable first-order theories. We implemented this approach in a verification
    tool and applied it to heap-manipulating programs whose verification involves
    reasoning in theory combinations.\r\n"
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ruzica
  full_name: Piskac, Ruzica
  last_name: Piskac
- first_name: Thomas
  full_name: Wies, Thomas
  id: 447BFB88-F248-11E8-B48F-1D18A9856A87
  last_name: Wies
- first_name: Damien
  full_name: Zufferey, Damien
  id: 4397AC76-F248-11E8-B48F-1D18A9856A87
  last_name: Zufferey
  orcid: 0000-0002-3197-8736
citation:
  ama: Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789.
    doi:<a href="https://doi.org/10.1007/978-3-642-39799-8_54">10.1007/978-3-642-39799-8_54</a>
  apa: 'Piskac, R., Wies, T., &#38; Zufferey, D. (2013). Automating separation logic
    using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg,
    Russia: Springer. <a href="https://doi.org/10.1007/978-3-642-39799-8_54">https://doi.org/10.1007/978-3-642-39799-8_54</a>'
  chicago: Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation
    Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. <a href="https://doi.org/10.1007/978-3-642-39799-8_54">https://doi.org/10.1007/978-3-642-39799-8_54</a>.
  ieee: R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,”
    vol. 8044. Springer, pp. 773–789, 2013.
  ista: Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT.
    8044, 773–789.
  mla: Piskac, Ruzica, et al. <i>Automating Separation Logic Using SMT</i>. Vol. 8044,
    Springer, 2013, pp. 773–89, doi:<a href="https://doi.org/10.1007/978-3-642-39799-8_54">10.1007/978-3-642-39799-8_54</a>.
  short: R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
conference:
  end_date: 2013-07-19
  location: St. Petersburg, Russia
  name: 'CAV: Computer Aided Verification'
  start_date: 2013-07-13
date_created: 2018-12-11T11:57:43Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:47Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39799-8_54
file:
- access_level: open_access
  checksum: 2e866932ab688f47ecd504acb4d5c7d4
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-15T11:13:01Z
  date_updated: 2020-07-14T12:45:41Z
  file_id: '7859'
  file_name: 2013_CAV_Piskac.pdf
  file_size: 309182
  relation: main_file
file_date_updated: 2020-07-14T12:45:41Z
has_accepted_license: '1'
intvolume: '      8044'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 773 - 789
publication_status: published
publisher: Springer
publist_id: '4456'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Automating separation logic using SMT
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2448'
abstract:
- lang: eng
  text: Cell-to-cell directional flow of the phytohormone auxin is primarily established
    by polar localization of the PIN auxin transporters, a process tightly regulated
    at multiple levels by auxin itself. We recently reported that, in the context
    of strong auxin flows, activity of the vacuolar ZIFL1.1 transporter is required
    for fine-tuning of polar auxin transport rates in the Arabidopsis root. In particular,
    ZIFL1.1 function protects plasma-membrane stability of the PIN2 carrier in epidermal
    root tip cells under conditions normally triggering PIN2 degradation. Here, we
    show that ZIFL1.1 activity at the root tip also promotes PIN1 plasma-membrane
    abundance in central cylinder cells, thus supporting the notion that ZIFL1.1 acts
    as a general positive modulator of polar auxin transport in roots.
article_number: e25688
article_processing_charge: No
article_type: original
author:
- first_name: Estelle
  full_name: Remy, Estelle
  last_name: Remy
- first_name: Pawel
  full_name: Baster, Pawel
  id: 3028BD74-F248-11E8-B48F-1D18A9856A87
  last_name: Baster
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Paula
  full_name: Duque, Paula
  last_name: Duque
citation:
  ama: Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin
    transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root
    tip. <i>Plant Signaling &#38; Behavior</i>. 2013;8(10). doi:<a href="https://doi.org/10.4161/psb.25688">10.4161/psb.25688</a>
  apa: Remy, E., Baster, P., Friml, J., &#38; Duque, P. (2013). ZIFL1.1 transporter
    modulates polar auxin transport by stabilizing membrane abundance of multiple
    PINs in Arabidopsis root tip. <i>Plant Signaling &#38; Behavior</i>. Taylor &#38;
    Francis. <a href="https://doi.org/10.4161/psb.25688">https://doi.org/10.4161/psb.25688</a>
  chicago: Remy, Estelle, Pawel Baster, Jiří Friml, and Paula Duque. “ZIFL1.1 Transporter
    Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple
    PINs in Arabidopsis Root Tip.” <i>Plant Signaling &#38; Behavior</i>. Taylor &#38;
    Francis, 2013. <a href="https://doi.org/10.4161/psb.25688">https://doi.org/10.4161/psb.25688</a>.
  ieee: E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates
    polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis
    root tip,” <i>Plant Signaling &#38; Behavior</i>, vol. 8, no. 10. Taylor &#38;
    Francis, 2013.
  ista: Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar
    auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis
    root tip. Plant Signaling &#38; Behavior. 8(10), e25688.
  mla: Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport
    by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” <i>Plant
    Signaling &#38; Behavior</i>, vol. 8, no. 10, e25688, Taylor &#38; Francis, 2013,
    doi:<a href="https://doi.org/10.4161/psb.25688">10.4161/psb.25688</a>.
  short: E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling &#38; Behavior 8
    (2013).
date_created: 2018-12-11T11:57:43Z
date_published: 2013-07-10T00:00:00Z
date_updated: 2025-04-15T07:48:02Z
day: '10'
department:
- _id: JiFr
doi: 10.4161/psb.25688
ec_funded: 1
external_id:
  pmid:
  - '23857365'
intvolume: '         8'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4091088/
month: '07'
oa: 1
oa_version: Submitted Version
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '282300'
  name: Polarity and subcellular dynamics in plants
publication: Plant Signaling & Behavior
publication_status: published
publisher: Taylor & Francis
publist_id: '4455'
quality_controlled: '1'
scopus_import: '1'
status: public
title: ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane
  abundance of multiple PINs in Arabidopsis root tip
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2013'
...
---
_id: '2449'
abstract:
- lang: eng
  text: 'Intracellular protein routing is mediated by vesicular transport which is
    tightly regulated in eukaryotes. The protein and lipid homeostasis depends on
    coordinated delivery of de novo synthesized or recycled cargoes to the plasma
    membrane by exocytosis and their subsequent removal by rerouting them for recycling
    or degradation. Here, we report the characterization of protein affected trafficking
    3 (pat3) mutant that we identified by an epifluorescence-based forward genetic
    screen for mutants defective in subcellular distribution of Arabidopsis auxin
    transporter PIN1–GFP. While pat3 displays largely normal plant morphology and
    development in nutrient-rich conditions, it shows strong ectopic intracellular
    accumulations of different plasma membrane cargoes in structures that resemble
    prevacuolar compartments (PVC) with an aberrant morphology. Genetic mapping revealed
    that pat3 is defective in vacuolar protein sorting 35A (VPS35A), a putative subunit
    of the retromer complex that mediates retrograde trafficking between the PVC and
    trans-Golgi network. Similarly, a mutant defective in another retromer subunit,
    vps29, shows comparable subcellular defects in PVC morphology and protein accumulation.
    Thus, our data provide evidence that the retromer components VPS35A and VPS29
    are essential for normal PVC morphology and normal trafficking of plasma membrane
    proteins in plants. In addition, we show that, out of the three VPS35 retromer
    subunits present in Arabidopsis thaliana genome, the VPS35 homolog A plays a prevailing
    role in trafficking to the lytic vacuole, presenting another level of complexity
    in the retromer-dependent vacuolar sorting. '
article_processing_charge: No
author:
- first_name: Tomasz
  full_name: Nodzyński, Tomasz
  last_name: Nodzyński
- first_name: Murguel
  full_name: Feraru, Murguel
  last_name: Feraru
- first_name: Sibylle
  full_name: Hirsch, Sibylle
  last_name: Hirsch
- first_name: Riet
  full_name: De Rycke, Riet
  last_name: De Rycke
- first_name: Claudiu
  full_name: Nicuales, Claudiu
  last_name: Nicuales
- first_name: Jelle
  full_name: Van Leene, Jelle
  last_name: Van Leene
- first_name: Geert
  full_name: De Jaeger, Geert
  last_name: De Jaeger
- first_name: Steffen
  full_name: Vanneste, Steffen
  last_name: Vanneste
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Nodzyński T, Feraru M, Hirsch S, et al. Retromer subunits VPS35A and VPS29
    mediate prevacuolar compartment (PVC) function in Arabidopsis. <i>Molecular Plant</i>.
    2013;6(6):1849-1862. doi:<a href="https://doi.org/10.1093/mp/sst044">10.1093/mp/sst044</a>
  apa: Nodzyński, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene,
    J., … Friml, J. (2013). Retromer subunits VPS35A and VPS29 mediate prevacuolar
    compartment (PVC) function in Arabidopsis. <i>Molecular Plant</i>. Cell Press.
    <a href="https://doi.org/10.1093/mp/sst044">https://doi.org/10.1093/mp/sst044</a>
  chicago: Nodzyński, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu
    Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jiří Friml.
    “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function
    in Arabidopsis.” <i>Molecular Plant</i>. Cell Press, 2013. <a href="https://doi.org/10.1093/mp/sst044">https://doi.org/10.1093/mp/sst044</a>.
  ieee: T. Nodzyński <i>et al.</i>, “Retromer subunits VPS35A and VPS29 mediate prevacuolar
    compartment (PVC) function in Arabidopsis,” <i>Molecular Plant</i>, vol. 6, no.
    6. Cell Press, pp. 1849–1862, 2013.
  ista: Nodzyński T, Feraru M, Hirsch S, De Rycke R, Nicuales C, Van Leene J, De Jaeger
    G, Vanneste S, Friml J. 2013. Retromer subunits VPS35A and VPS29 mediate prevacuolar
    compartment (PVC) function in Arabidopsis. Molecular Plant. 6(6), 1849–1862.
  mla: Nodzyński, Tomasz, et al. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar
    Compartment (PVC) Function in Arabidopsis.” <i>Molecular Plant</i>, vol. 6, no.
    6, Cell Press, 2013, pp. 1849–62, doi:<a href="https://doi.org/10.1093/mp/sst044">10.1093/mp/sst044</a>.
  short: T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene,
    G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
corr_author: '1'
date_created: 2018-12-11T11:57:44Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2025-09-29T14:14:22Z
day: '01'
department:
- _id: JiFr
doi: 10.1093/mp/sst044
external_id:
  isi:
  - '000327541200010'
intvolume: '         6'
isi: 1
issue: '6'
language:
- iso: eng
month: '11'
oa_version: None
page: 1849 - 1862
publication: Molecular Plant
publication_status: published
publisher: Cell Press
publist_id: '4454'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function
  in Arabidopsis
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 6
year: '2013'
...
---
_id: '245'
abstract:
- lang: eng
  text: For given non-zero integers a, b, q we investigate the density of solutions
    (x; y) ∈ ℤ2 to the binary cubic congruence ax2 + by3 ≡ 0 mod q, and use it to
    establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined
    over ℚ.
author:
- first_name: Stephan
  full_name: Baier, Stephan
  last_name: Baier
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
citation:
  ama: Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on
    del Pezzo surfaces. <i>Journal fur die Reine und Angewandte Mathematik</i>. 2013;(680):69-151.
    doi:<a href="https://doi.org/10.1515/crelle.2012.039">10.1515/crelle.2012.039</a>
  apa: Baier, S., &#38; Browning, T. D. (2013). Inhomogeneous cubic congruences and
    rational points on del Pezzo surfaces. <i>Journal Fur Die Reine Und Angewandte
    Mathematik</i>. Walter de Gruyter. <a href="https://doi.org/10.1515/crelle.2012.039">https://doi.org/10.1515/crelle.2012.039</a>
  chicago: Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences
    and Rational Points on Del Pezzo Surfaces.” <i>Journal Fur Die Reine Und Angewandte
    Mathematik</i>. Walter de Gruyter, 2013. <a href="https://doi.org/10.1515/crelle.2012.039">https://doi.org/10.1515/crelle.2012.039</a>.
  ieee: S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational
    points on del Pezzo surfaces,” <i>Journal fur die Reine und Angewandte Mathematik</i>,
    no. 680. Walter de Gruyter, pp. 69–151, 2013.
  ista: Baier S, Browning TD. 2013. Inhomogeneous cubic congruences and rational points
    on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. (680),
    69–151.
  mla: Baier, Stephan, and Timothy D. Browning. “Inhomogeneous Cubic Congruences and
    Rational Points on Del Pezzo Surfaces.” <i>Journal Fur Die Reine Und Angewandte
    Mathematik</i>, no. 680, Walter de Gruyter, 2013, pp. 69–151, doi:<a href="https://doi.org/10.1515/crelle.2012.039">10.1515/crelle.2012.039</a>.
  short: S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik
    (2013) 69–151.
date_created: 2018-12-11T11:45:24Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:33Z
day: '01'
doi: 10.1515/crelle.2012.039
extern: 1
issue: '680'
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1011.3434
month: '07'
oa: 1
page: 69 - 151
publication: Journal fur die Reine und Angewandte Mathematik
publication_status: published
publisher: Walter de Gruyter
publist_id: '7659'
quality_controlled: 0
status: public
title: Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
type: journal_article
year: '2013'
...
---
_id: '2450'
abstract:
- lang: eng
  text: 'Understanding how hormones and genes interact to coordinate plant growth
    is a major challenge in developmental biology. The activities of auxin, ethylene,
    and cytokinin depend on cellular context and exhibit either synergistic or antagonistic
    interactions. Here we use experimentation and network construction to elucidate
    the role of the interaction of the POLARIS peptide (PLS) and the auxin efflux
    carrier PIN proteins in the crosstalk of three hormones (auxin, ethylene, and
    cytokinin) in Arabidopsis root development. In ethylene hypersignaling mutants
    such as polaris (pls), we show experimentally that expression of both PIN1 and
    PIN2 significantly increases. This relationship is analyzed in the context of
    the crosstalk between auxin, ethylene, and cytokinin: in pls, endogenous auxin,
    ethylene and cytokinin concentration decreases, approximately remains unchanged
    and increases, respectively. Experimental data are integrated into a hormonal
    crosstalk network through combination with information in literature. Network
    construction reveals that the regulation of both PIN1 and PIN2 is predominantly
    via ethylene signaling. In addition, it is deduced that the relationship between
    cytokinin and PIN1 and PIN2 levels implies a regulatory role of cytokinin in addition
    to its regulation to auxin, ethylene, and PLS levels. We discuss how the network
    of hormones and genes coordinates plant growth by simultaneously regulating the
    activities of auxin, ethylene, and cytokinin signaling pathways.hormonal crosstalk,
    root development, auxin flux, PIN proteins, PLS protein, signaling network'
author:
- first_name: Junli
  full_name: Liu, Junli
  last_name: Liu
- first_name: Saher
  full_name: Menhi, Saher
  last_name: Menhi
- first_name: Jennifer
  full_name: Topping, Jennifer
  last_name: Topping
- first_name: Jirí
  full_name: Jirí Friml
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Keith
  full_name: Lindsey, Keith
  last_name: Lindsey
citation:
  ama: Liu J, Menhi S, Topping J, Friml J, Lindsey K. Interaction of PLS and PIN and
    hormonal crosstalk in Arabidopsis root development. <i>Frontiers in Plant Science</i>.
    2013;4(75). doi:<a href="https://doi.org/10.3389/fpls.2013.00075">10.3389/fpls.2013.00075</a>
  apa: Liu, J., Menhi, S., Topping, J., Friml, J., &#38; Lindsey, K. (2013). Interaction
    of PLS and PIN and hormonal crosstalk in Arabidopsis root development. <i>Frontiers
    in Plant Science</i>. Frontiers Research Foundation. <a href="https://doi.org/10.3389/fpls.2013.00075">https://doi.org/10.3389/fpls.2013.00075</a>
  chicago: Liu, Junli, Saher Menhi, Jennifer Topping, Jiří Friml, and Keith Lindsey.
    “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.”
    <i>Frontiers in Plant Science</i>. Frontiers Research Foundation, 2013. <a href="https://doi.org/10.3389/fpls.2013.00075">https://doi.org/10.3389/fpls.2013.00075</a>.
  ieee: J. Liu, S. Menhi, J. Topping, J. Friml, and K. Lindsey, “Interaction of PLS
    and PIN and hormonal crosstalk in Arabidopsis root development,” <i>Frontiers
    in Plant Science</i>, vol. 4, no. 75. Frontiers Research Foundation, 2013.
  ista: Liu J, Menhi S, Topping J, Friml J, Lindsey K. 2013. Interaction of PLS and
    PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant
    Science. 4(75).
  mla: Liu, Junli, et al. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis
    Root Development.” <i>Frontiers in Plant Science</i>, vol. 4, no. 75, Frontiers
    Research Foundation, 2013, doi:<a href="https://doi.org/10.3389/fpls.2013.00075">10.3389/fpls.2013.00075</a>.
  short: J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science
    4 (2013).
date_created: 2018-12-11T11:57:44Z
date_published: 2013-04-01T00:00:00Z
date_updated: 2021-01-12T06:57:34Z
day: '01'
doi: 10.3389/fpls.2013.00075
extern: 1
intvolume: '         4'
issue: '75'
month: '04'
publication: Frontiers in Plant Science
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '4453'
quality_controlled: 0
status: public
title: Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development
type: journal_article
volume: 4
year: '2013'
...