---
_id: '2774'
abstract:
- lang: eng
  text: We consider a large neutral molecule with total nuclear charge Z in non-relativistic
    quantum mechanics with a self-generated classical electromagnetic field. To ensure
    stability, we assume that Zα 2 ≤ κ 0 for a sufficiently small κ 0, where α denotes
    the fine structure constant. We show that, in the simultaneous limit Z → ∞, α
    → 0 such that κ = Zα 2 is fixed, the ground state energy of the system is given
    by a two term expansion c 1Z 7/3 + c 2(κ) Z 2 + o(Z 2). The leading term is given
    by the non-magnetic Thomas-Fermi theory. Our result shows that the magnetic field
    affects only the second (so-called Scott) term in the expansion.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Søren
  full_name: Fournais, Søren
  last_name: Fournais
- first_name: Jan
  full_name: Solovej, Jan P
  last_name: Solovej
citation:
  ama: Erdös L, Fournais S, Solovej J. Scott correction for large atoms and molecules
    in a self-generated magnetic field. <i>Communications in Mathematical Physics</i>.
    2012;312(3):847-882. doi:<a href="https://doi.org/10.1007/s00220-012-1468-1">10.1007/s00220-012-1468-1</a>
  apa: Erdös, L., Fournais, S., &#38; Solovej, J. (2012). Scott correction for large
    atoms and molecules in a self-generated magnetic field. <i>Communications in Mathematical
    Physics</i>. Springer. <a href="https://doi.org/10.1007/s00220-012-1468-1">https://doi.org/10.1007/s00220-012-1468-1</a>
  chicago: Erdös, László, Søren Fournais, and Jan Solovej. “Scott Correction for Large
    Atoms and Molecules in a Self-Generated Magnetic Field.” <i>Communications in
    Mathematical Physics</i>. Springer, 2012. <a href="https://doi.org/10.1007/s00220-012-1468-1">https://doi.org/10.1007/s00220-012-1468-1</a>.
  ieee: L. Erdös, S. Fournais, and J. Solovej, “Scott correction for large atoms and
    molecules in a self-generated magnetic field,” <i>Communications in Mathematical
    Physics</i>, vol. 312, no. 3. Springer, pp. 847–882, 2012.
  ista: Erdös L, Fournais S, Solovej J. 2012. Scott correction for large atoms and
    molecules in a self-generated magnetic field. Communications in Mathematical Physics.
    312(3), 847–882.
  mla: Erdös, László, et al. “Scott Correction for Large Atoms and Molecules in a
    Self-Generated Magnetic Field.” <i>Communications in Mathematical Physics</i>,
    vol. 312, no. 3, Springer, 2012, pp. 847–82, doi:<a href="https://doi.org/10.1007/s00220-012-1468-1">10.1007/s00220-012-1468-1</a>.
  short: L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics
    312 (2012) 847–882.
date_created: 2018-12-11T11:59:31Z
date_published: 2012-06-01T00:00:00Z
date_updated: 2021-01-12T06:59:36Z
day: '01'
doi: 10.1007/s00220-012-1468-1
extern: 1
intvolume: '       312'
issue: '3'
month: '06'
page: 847 - 882
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4116'
quality_controlled: 0
status: public
title: Scott correction for large atoms and molecules in a self-generated magnetic
  field
type: journal_article
volume: 312
year: '2012'
...
---
_id: '2775'
abstract:
- lang: eng
  text: The Wigner-Dyson-Gaudin-Mehta conjecture asserts that the local eigenvalue
    statistics of large random matrices exhibit universal behavior depending only
    on the symmetry class of the matrix ensemble. For invariant matrix models, the
    eigenvalue distributions are given by a log-gas with potential V and inverse temperature
    β = 1, 2, 4, corresponding to the orthogonal, unitary and symplectic ensembles.
    For β ∉ {1, 2, 4}, there is no natural random matrix ensemble behind this model,
    but the statistical physics interpretation of the log-gas is still valid for all
    β &gt; 0. The universality conjecture for invariant ensembles asserts that the
    local eigenvalue statistics are independent of V. In this article, we review our
    recent solution to the universality conjecture for both invariant and non-invariant
    ensembles. We will also demonstrate that the local ergodicity of the Dyson Brownian
    motion is the intrinsic mechanism behind the universality. Furthermore, we review
    the solution of Dyson's conjecture on the local relaxation time of the Dyson Brownian
    motion. Related questions such as delocalization of eigenvectors and local version
    of Wigner's semicircle law will also be discussed.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Horng
  full_name: Yau, Horng-Tzer
  last_name: Yau
citation:
  ama: Erdös L, Yau H. Universality of local spectral statistics of random matrices.
    <i>Bulletin of the American Mathematical Society</i>. 2012;49(3):377-414. doi:<a
    href="https://doi.org/10.1090/S0273-0979-2012-01372-1">10.1090/S0273-0979-2012-01372-1</a>
  apa: Erdös, L., &#38; Yau, H. (2012). Universality of local spectral statistics
    of random matrices. <i>Bulletin of the American Mathematical Society</i>. American
    Mathematical Society. <a href="https://doi.org/10.1090/S0273-0979-2012-01372-1">https://doi.org/10.1090/S0273-0979-2012-01372-1</a>
  chicago: Erdös, László, and Horng Yau. “Universality of Local Spectral Statistics
    of Random Matrices.” <i>Bulletin of the American Mathematical Society</i>. American
    Mathematical Society, 2012. <a href="https://doi.org/10.1090/S0273-0979-2012-01372-1">https://doi.org/10.1090/S0273-0979-2012-01372-1</a>.
  ieee: L. Erdös and H. Yau, “Universality of local spectral statistics of random
    matrices,” <i>Bulletin of the American Mathematical Society</i>, vol. 49, no.
    3. American Mathematical Society, pp. 377–414, 2012.
  ista: Erdös L, Yau H. 2012. Universality of local spectral statistics of random
    matrices. Bulletin of the American Mathematical Society. 49(3), 377–414.
  mla: Erdös, László, and Horng Yau. “Universality of Local Spectral Statistics of
    Random Matrices.” <i>Bulletin of the American Mathematical Society</i>, vol. 49,
    no. 3, American Mathematical Society, 2012, pp. 377–414, doi:<a href="https://doi.org/10.1090/S0273-0979-2012-01372-1">10.1090/S0273-0979-2012-01372-1</a>.
  short: L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012)
    377–414.
date_created: 2018-12-11T11:59:32Z
date_published: 2012-01-30T00:00:00Z
date_updated: 2021-01-12T06:59:36Z
day: '30'
doi: 10.1090/S0273-0979-2012-01372-1
extern: 1
intvolume: '        49'
issue: '3'
month: '01'
page: 377 - 414
publication: Bulletin of the American Mathematical Society
publication_status: published
publisher: American Mathematical Society
publist_id: '4115'
quality_controlled: 0
status: public
title: Universality of local spectral statistics of random matrices
type: journal_article
volume: 49
year: '2012'
...
---
_id: '2776'
abstract:
- lang: eng
  text: We consider the ensemble of adjacency matrices of Erdős-Rényi random graphs,
    i.e. graphs on N vertices where every edge is chosen independently and with probability
    p ≡ p(N). We rescale the matrix so that its bulk eigenvalues are of order one.
    Under the assumption pN≫N2/3 , we prove the universality of eigenvalue distributions
    both in the bulk and at the edge of the spectrum. More precisely, we prove (1)
    that the eigenvalue spacing of the Erdős-Rényi graph in the bulk of the spectrum
    has the same distribution as that of the Gaussian orthogonal ensemble; and (2)
    that the second largest eigenvalue of the Erdős-Rényi graph has the same distribution
    as the largest eigenvalue of the Gaussian orthogonal ensemble. As an application
    of our method, we prove the bulk universality of generalized Wigner matrices under
    the assumption that the matrix entries have at least 4 + ε moments.
author:
- first_name: László
  full_name: László Erdös
  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-Tzer
  last_name: Yau
- first_name: Jun
  full_name: Yin, Jun
  last_name: Yin
citation:
  ama: 'Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erdős-Rényi graphs
    II: Eigenvalue spacing and the extreme eigenvalues. <i>Communications in Mathematical
    Physics</i>. 2012;314(3):587-640. doi:<a href="https://doi.org/10.1007/s00220-012-1527-7">10.1007/s00220-012-1527-7</a>'
  apa: 'Erdös, L., Knowles, A., Yau, H., &#38; Yin, J. (2012). Spectral statistics
    of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. <i>Communications
    in Mathematical Physics</i>. Springer. <a href="https://doi.org/10.1007/s00220-012-1527-7">https://doi.org/10.1007/s00220-012-1527-7</a>'
  chicago: 'Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Spectral Statistics
    of Erdős-Rényi Graphs II: Eigenvalue Spacing and the Extreme Eigenvalues.” <i>Communications
    in Mathematical Physics</i>. Springer, 2012. <a href="https://doi.org/10.1007/s00220-012-1527-7">https://doi.org/10.1007/s00220-012-1527-7</a>.'
  ieee: 'L. Erdös, A. Knowles, H. Yau, and J. Yin, “Spectral statistics of Erdős-Rényi
    graphs II: Eigenvalue spacing and the extreme eigenvalues,” <i>Communications
    in Mathematical Physics</i>, vol. 314, no. 3. Springer, pp. 587–640, 2012.'
  ista: 'Erdös L, Knowles A, Yau H, Yin J. 2012. Spectral statistics of Erdős-Rényi
    graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical
    Physics. 314(3), 587–640.'
  mla: 'Erdös, László, et al. “Spectral Statistics of Erdős-Rényi Graphs II: Eigenvalue
    Spacing and the Extreme Eigenvalues.” <i>Communications in Mathematical Physics</i>,
    vol. 314, no. 3, Springer, 2012, pp. 587–640, doi:<a href="https://doi.org/10.1007/s00220-012-1527-7">10.1007/s00220-012-1527-7</a>.'
  short: L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics
    314 (2012) 587–640.
date_created: 2018-12-11T11:59:32Z
date_published: 2012-09-01T00:00:00Z
date_updated: 2021-01-12T06:59:37Z
day: '01'
doi: 10.1007/s00220-012-1527-7
extern: 1
intvolume: '       314'
issue: '3'
month: '09'
page: 587 - 640
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4114'
quality_controlled: 0
status: public
title: 'Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme
  eigenvalues'
type: journal_article
volume: 314
year: '2012'
...
---
_id: '2777'
abstract:
- lang: eng
  text: We consider a large neutral molecule with total nuclear charge Z in a model
    with self-generated classical magnetic field and where the kinetic energy of the
    electrons is treated relativistically. To ensure stability, we assume that Zα
    &lt; 2/π, where α denotes the fine structure constant. We are interested in the
    ground state energy in the simultaneous limit Z → ∞, α → 0 such that κ = Zα is
    fixed. The leading term in the energy asymptotics is independent of κ, it is given
    by the Thomas-Fermi energy of order Z7/3 and it is unchanged by including the
    self-generated magnetic field. We prove the first correction term to this energy,
    the so-called Scott correction of the form S(αZ)Z2. The current paper extends
    the result of Solovej et al. [Commun. Pure Appl. Math.LXIII, 39-118 (2010)] on
    the Scott correction for relativistic molecules to include a self-generated magnetic
    field. Furthermore, we show that the corresponding Scott correction function S,
    first identified by Solovej et al. [Commun. Pure Appl. Math.LXIII, 39-118 (2010)],
    is unchanged by including a magnetic field. We also prove new Lieb-Thirring inequalities
    for the relativistic kinetic energy with magnetic fields.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Søren
  full_name: Fournais, Søren
  last_name: Fournais
- first_name: Jan
  full_name: Solovej, Jan P
  last_name: Solovej
citation:
  ama: Erdös L, Fournais S, Solovej J. Relativistic Scott correction in self-generated
    magnetic fields. <i>Journal of Mathematical Physics</i>. 2012;53(9). doi:<a href="https://doi.org/10.1063/1.3697417">10.1063/1.3697417</a>
  apa: Erdös, L., Fournais, S., &#38; Solovej, J. (2012). Relativistic Scott correction
    in self-generated magnetic fields. <i>Journal of Mathematical Physics</i>. American
    Institute of Physics. <a href="https://doi.org/10.1063/1.3697417">https://doi.org/10.1063/1.3697417</a>
  chicago: Erdös, László, Søren Fournais, and Jan Solovej. “Relativistic Scott Correction
    in Self-Generated Magnetic Fields.” <i>Journal of Mathematical Physics</i>. American
    Institute of Physics, 2012. <a href="https://doi.org/10.1063/1.3697417">https://doi.org/10.1063/1.3697417</a>.
  ieee: L. Erdös, S. Fournais, and J. Solovej, “Relativistic Scott correction in self-generated
    magnetic fields,” <i>Journal of Mathematical Physics</i>, vol. 53, no. 9. American
    Institute of Physics, 2012.
  ista: Erdös L, Fournais S, Solovej J. 2012. Relativistic Scott correction in self-generated
    magnetic fields. Journal of Mathematical Physics. 53(9).
  mla: Erdös, László, et al. “Relativistic Scott Correction in Self-Generated Magnetic
    Fields.” <i>Journal of Mathematical Physics</i>, vol. 53, no. 9, American Institute
    of Physics, 2012, doi:<a href="https://doi.org/10.1063/1.3697417">10.1063/1.3697417</a>.
  short: L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
date_created: 2018-12-11T11:59:32Z
date_published: 2012-09-28T00:00:00Z
date_updated: 2021-01-12T06:59:37Z
day: '28'
doi: 10.1063/1.3697417
extern: 1
intvolume: '        53'
issue: '9'
month: '09'
publication: Journal of Mathematical Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '4113'
quality_controlled: 0
status: public
title: Relativistic Scott correction in self-generated magnetic fields
type: journal_article
volume: 53
year: '2012'
...
---
_id: '2778'
abstract:
- lang: eng
  text: We prove the bulk universality of the β-ensembles with non-convex regular
    analytic potentials for any β &gt; 0. This removes the convexity assumption appeared
    in the earlier work [P. Bourgade, L. Erdös, and H.-T. Yau, Universality of general
    β-ensembles, preprint arXiv:0907.5605 (2011)]. The convexity condition enabled
    us to use the logarithmic Sobolev inequality to estimate events with small probability.
    The new idea is to introduce a &quot;convexified measure&quot; so that the local
    statistics are preserved under this convexification.
author:
- first_name: Paul
  full_name: Bourgade, Paul
  last_name: Bourgade
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Horng
  full_name: Yau, Horng-Tzer
  last_name: Yau
citation:
  ama: Bourgade P, Erdös L, Yau H. Bulk universality of general β-ensembles with non-convex
    potential. <i>Journal of Mathematical Physics</i>. 2012;53(9). doi:<a href="https://doi.org/10.1063/1.4751478">10.1063/1.4751478</a>
  apa: Bourgade, P., Erdös, L., &#38; Yau, H. (2012). Bulk universality of general
    β-ensembles with non-convex potential. <i>Journal of Mathematical Physics</i>.
    American Institute of Physics. <a href="https://doi.org/10.1063/1.4751478">https://doi.org/10.1063/1.4751478</a>
  chicago: Bourgade, Paul, László Erdös, and Horng Yau. “Bulk Universality of General
    β-Ensembles with Non-Convex Potential.” <i>Journal of Mathematical Physics</i>.
    American Institute of Physics, 2012. <a href="https://doi.org/10.1063/1.4751478">https://doi.org/10.1063/1.4751478</a>.
  ieee: P. Bourgade, L. Erdös, and H. Yau, “Bulk universality of general β-ensembles
    with non-convex potential,” <i>Journal of Mathematical Physics</i>, vol. 53, no.
    9. American Institute of Physics, 2012.
  ista: Bourgade P, Erdös L, Yau H. 2012. Bulk universality of general β-ensembles
    with non-convex potential. Journal of Mathematical Physics. 53(9).
  mla: Bourgade, Paul, et al. “Bulk Universality of General β-Ensembles with Non-Convex
    Potential.” <i>Journal of Mathematical Physics</i>, vol. 53, no. 9, American Institute
    of Physics, 2012, doi:<a href="https://doi.org/10.1063/1.4751478">10.1063/1.4751478</a>.
  short: P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).
date_created: 2018-12-11T11:59:33Z
date_published: 2012-09-28T00:00:00Z
date_updated: 2021-01-12T06:59:38Z
day: '28'
doi: 10.1063/1.4751478
extern: 1
intvolume: '        53'
issue: '9'
month: '09'
publication: Journal of Mathematical Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '4112'
quality_controlled: 0
status: public
title: Bulk universality of general β-ensembles with non-convex potential
type: journal_article
volume: 53
year: '2012'
...
---
_id: '2779'
abstract:
- lang: eng
  text: We consider a two-dimensional magnetic Schrödinger operator on a square lattice
    with a spatially stationary random magnetic field. We prove Anderson localization
    near the spectral edges. We use a new approach to establish a Wegner estimate
    that does not rely on the monotonicity of the energy on the random parameters.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: David
  full_name: Hasler, David G
  last_name: Hasler
citation:
  ama: Erdös L, Hasler D. Wegner estimate for random magnetic Laplacian on ℤ 2. <i>Annales
    Henri Poincare</i>. 2012;13(8):1719-1731. doi:<a href="https://doi.org/10.1007/s00023-012-0177-9">10.1007/s00023-012-0177-9</a>
  apa: Erdös, L., &#38; Hasler, D. (2012). Wegner estimate for random magnetic Laplacian
    on ℤ 2. <i>Annales Henri Poincare</i>. Birkhäuser. <a href="https://doi.org/10.1007/s00023-012-0177-9">https://doi.org/10.1007/s00023-012-0177-9</a>
  chicago: Erdös, László, and David Hasler. “Wegner Estimate for Random Magnetic Laplacian
    on ℤ 2.” <i>Annales Henri Poincare</i>. Birkhäuser, 2012. <a href="https://doi.org/10.1007/s00023-012-0177-9">https://doi.org/10.1007/s00023-012-0177-9</a>.
  ieee: L. Erdös and D. Hasler, “Wegner estimate for random magnetic Laplacian on
    ℤ 2,” <i>Annales Henri Poincare</i>, vol. 13, no. 8. Birkhäuser, pp. 1719–1731,
    2012.
  ista: Erdös L, Hasler D. 2012. Wegner estimate for random magnetic Laplacian on
    ℤ 2. Annales Henri Poincare. 13(8), 1719–1731.
  mla: Erdös, László, and David Hasler. “Wegner Estimate for Random Magnetic Laplacian
    on ℤ 2.” <i>Annales Henri Poincare</i>, vol. 13, no. 8, Birkhäuser, 2012, pp.
    1719–31, doi:<a href="https://doi.org/10.1007/s00023-012-0177-9">10.1007/s00023-012-0177-9</a>.
  short: L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
date_created: 2018-12-11T11:59:33Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2021-01-12T06:59:38Z
day: '01'
doi: 10.1007/s00023-012-0177-9
extern: 1
intvolume: '        13'
issue: '8'
month: '12'
page: 1719 - 1731
publication: Annales Henri Poincare
publication_status: published
publisher: Birkhäuser
publist_id: '4111'
quality_controlled: 0
status: public
title: Wegner estimate for random magnetic Laplacian on ℤ 2
type: journal_article
volume: 13
year: '2012'
...
---
_id: '2802'
abstract:
- lang: eng
  text: When a binary fluid demixes under a slow temperature ramp, nucleation, coarsening
    and sedimentation of droplets lead to an oscillatory evolution of the phase-separating
    system. The advection of the sedimenting droplets is found to be chaotic. The
    flow is driven by density differences between two phases. Here, we show how image
    processing can be combined with particle tracking to resolve droplet size and
    velocity simultaneously. Droplets are used as tracer particles, and the sedimentation
    velocity is determined. Taking these effects into account, droplets with radii
    in the range of 4-40 μm are detected and tracked. Based on these data, we resolve
    the oscillations in the droplet size distribution that are coupled to the convective
    flow.
author:
- first_name: Tobias
  full_name: Lapp, Tobias
  last_name: Lapp
- first_name: Martin
  full_name: Rohloff, Martin
  last_name: Rohloff
- first_name: Jürgen
  full_name: Vollmer, Jürgen T
  last_name: Vollmer
- first_name: Björn
  full_name: Björn Hof
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
citation:
  ama: Lapp T, Rohloff M, Vollmer J, Hof B. Particle tracking for polydisperse sedimenting
    droplets in phase separation. <i>Experiments in Fluids</i>. 2012;52(5):1187-1200.
    doi:<a href="https://doi.org/10.1007/s00348-011-1243-7">10.1007/s00348-011-1243-7</a>
  apa: Lapp, T., Rohloff, M., Vollmer, J., &#38; Hof, B. (2012). Particle tracking
    for polydisperse sedimenting droplets in phase separation. <i>Experiments in Fluids</i>.
    Springer. <a href="https://doi.org/10.1007/s00348-011-1243-7">https://doi.org/10.1007/s00348-011-1243-7</a>
  chicago: Lapp, Tobias, Martin Rohloff, Jürgen Vollmer, and Björn Hof. “Particle
    Tracking for Polydisperse Sedimenting Droplets in Phase Separation.” <i>Experiments
    in Fluids</i>. Springer, 2012. <a href="https://doi.org/10.1007/s00348-011-1243-7">https://doi.org/10.1007/s00348-011-1243-7</a>.
  ieee: T. Lapp, M. Rohloff, J. Vollmer, and B. Hof, “Particle tracking for polydisperse
    sedimenting droplets in phase separation,” <i>Experiments in Fluids</i>, vol.
    52, no. 5. Springer, pp. 1187–1200, 2012.
  ista: Lapp T, Rohloff M, Vollmer J, Hof B. 2012. Particle tracking for polydisperse
    sedimenting droplets in phase separation. Experiments in Fluids. 52(5), 1187–1200.
  mla: Lapp, Tobias, et al. “Particle Tracking for Polydisperse Sedimenting Droplets
    in Phase Separation.” <i>Experiments in Fluids</i>, vol. 52, no. 5, Springer,
    2012, pp. 1187–200, doi:<a href="https://doi.org/10.1007/s00348-011-1243-7">10.1007/s00348-011-1243-7</a>.
  short: T. Lapp, M. Rohloff, J. Vollmer, B. Hof, Experiments in Fluids 52 (2012)
    1187–1200.
date_created: 2018-12-11T11:59:40Z
date_published: 2012-05-05T00:00:00Z
date_updated: 2021-01-12T06:59:49Z
day: '05'
doi: 10.1007/s00348-011-1243-7
extern: 1
intvolume: '        52'
issue: '5'
month: '05'
page: 1187 - 1200
publication: Experiments in Fluids
publication_status: published
publisher: Springer
publist_id: '4087'
quality_controlled: 0
status: public
title: Particle tracking for polydisperse sedimenting droplets in phase separation
type: journal_article
volume: 52
year: '2012'
...
---
_id: '2803'
abstract:
- lang: eng
  text: Recent numerical studies suggest that in pipe and related shear flows, the
    region of phase space separating laminar from turbulent motion is organized by
    a chaotic attractor, called an edge state, which mediates the transition process.
    We here confirm the existence of the edge state in laboratory experiments. We
    observe that it governs the dynamics during the decay of turbulence underlining
    its potential relevance for turbulence control. In addition we unveil two unstable
    traveling wave solutions underlying the experimental flow fields. This observation
    corroborates earlier suggestions that unstable solutions organize turbulence and
    its stability border.
author:
- first_name: Alberto
  full_name: de Lózar, Alberto
  last_name: De Lózar
- first_name: Fernando
  full_name: Mellibovsky, Fernando
  last_name: Mellibovsky
- first_name: Marc
  full_name: Avila, Marc
  last_name: Avila
- first_name: Björn
  full_name: Björn Hof
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
citation:
  ama: De Lózar A, Mellibovsky F, Avila M, Hof B. Edge state in pipe flow experiments.
    <i>Physical Review Letters</i>. 2012;108(21). doi:<a href="https://doi.org/10.1103/PhysRevLett.108.214502">10.1103/PhysRevLett.108.214502</a>
  apa: De Lózar, A., Mellibovsky, F., Avila, M., &#38; Hof, B. (2012). Edge state
    in pipe flow experiments. <i>Physical Review Letters</i>. American Physical Society.
    <a href="https://doi.org/10.1103/PhysRevLett.108.214502">https://doi.org/10.1103/PhysRevLett.108.214502</a>
  chicago: De Lózar, Alberto, Fernando Mellibovsky, Marc Avila, and Björn Hof. “Edge
    State in Pipe Flow Experiments.” <i>Physical Review Letters</i>. American Physical
    Society, 2012. <a href="https://doi.org/10.1103/PhysRevLett.108.214502">https://doi.org/10.1103/PhysRevLett.108.214502</a>.
  ieee: A. De Lózar, F. Mellibovsky, M. Avila, and B. Hof, “Edge state in pipe flow
    experiments,” <i>Physical Review Letters</i>, vol. 108, no. 21. American Physical
    Society, 2012.
  ista: De Lózar A, Mellibovsky F, Avila M, Hof B. 2012. Edge state in pipe flow experiments.
    Physical Review Letters. 108(21).
  mla: De Lózar, Alberto, et al. “Edge State in Pipe Flow Experiments.” <i>Physical
    Review Letters</i>, vol. 108, no. 21, American Physical Society, 2012, doi:<a
    href="https://doi.org/10.1103/PhysRevLett.108.214502">10.1103/PhysRevLett.108.214502</a>.
  short: A. De Lózar, F. Mellibovsky, M. Avila, B. Hof, Physical Review Letters 108
    (2012).
date_created: 2018-12-11T11:59:41Z
date_published: 2012-05-21T00:00:00Z
date_updated: 2021-01-12T06:59:49Z
day: '21'
doi: 10.1103/PhysRevLett.108.214502
extern: 1
intvolume: '       108'
issue: '21'
month: '05'
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4086'
quality_controlled: 0
status: public
title: Edge state in pipe flow experiments
type: journal_article
volume: 108
year: '2012'
...
---
_id: '2804'
abstract:
- lang: eng
  text: The analysis of the size distribution of droplets condensing on a substrate
    (breath figures) is a test ground for scaling theories. Here, we show that a faithful
    description of these distributions must explicitly deal with the growth mechanisms
    of the droplets. This finding establishes a gateway connecting nucleation and
    growth of the smallest droplets on surfaces to gross features of the evolution
    of the droplet size distribution
author:
- first_name: Johannes
  full_name: Blaschke, Johannes
  last_name: Blaschke
- first_name: Tobias
  full_name: Lapp, Tobias
  last_name: Lapp
- first_name: Björn
  full_name: Björn Hof
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
- first_name: Jürgen
  full_name: Vollmer, Jürgen T
  last_name: Vollmer
citation:
  ama: 'Blaschke J, Lapp T, Hof B, Vollmer J. Breath figures: Nucleation, growth,
    coalescence, and the size distribution of droplets. <i>Physical Review Letters</i>.
    2012;109(6). doi:<a href="https://doi.org/10.1103/PhysRevLett.109.068701">10.1103/PhysRevLett.109.068701</a>'
  apa: 'Blaschke, J., Lapp, T., Hof, B., &#38; Vollmer, J. (2012). Breath figures:
    Nucleation, growth, coalescence, and the size distribution of droplets. <i>Physical
    Review Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevLett.109.068701">https://doi.org/10.1103/PhysRevLett.109.068701</a>'
  chicago: 'Blaschke, Johannes, Tobias Lapp, Björn Hof, and Jürgen Vollmer. “Breath
    Figures: Nucleation, Growth, Coalescence, and the Size Distribution of Droplets.”
    <i>Physical Review Letters</i>. American Physical Society, 2012. <a href="https://doi.org/10.1103/PhysRevLett.109.068701">https://doi.org/10.1103/PhysRevLett.109.068701</a>.'
  ieee: 'J. Blaschke, T. Lapp, B. Hof, and J. Vollmer, “Breath figures: Nucleation,
    growth, coalescence, and the size distribution of droplets,” <i>Physical Review
    Letters</i>, vol. 109, no. 6. American Physical Society, 2012.'
  ista: 'Blaschke J, Lapp T, Hof B, Vollmer J. 2012. Breath figures: Nucleation, growth,
    coalescence, and the size distribution of droplets. Physical Review Letters. 109(6).'
  mla: 'Blaschke, Johannes, et al. “Breath Figures: Nucleation, Growth, Coalescence,
    and the Size Distribution of Droplets.” <i>Physical Review Letters</i>, vol. 109,
    no. 6, American Physical Society, 2012, doi:<a href="https://doi.org/10.1103/PhysRevLett.109.068701">10.1103/PhysRevLett.109.068701</a>.'
  short: J. Blaschke, T. Lapp, B. Hof, J. Vollmer, Physical Review Letters 109 (2012).
date_created: 2018-12-11T11:59:41Z
date_published: 2012-08-10T00:00:00Z
date_updated: 2021-01-12T06:59:50Z
day: '10'
doi: 10.1103/PhysRevLett.109.068701
extern: 1
intvolume: '       109'
issue: '6'
month: '08'
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4085'
quality_controlled: 0
status: public
title: 'Breath figures: Nucleation, growth, coalescence, and the size distribution
  of droplets'
type: journal_article
volume: 109
year: '2012'
...
---
_id: '2825'
abstract:
- lang: eng
  text: 'We study the problem of maximum marginal prediction (MMP) in probabilistic
    graphical models, a task that occurs, for example, as the Bayes optimal decision
    rule under a Hamming loss. MMP is typically performed as a two-stage procedure:
    one estimates each variable''s marginal probability and then forms a prediction
    from the states of maximal probability. In this work we propose a simple yet effective
    technique for accelerating MMP when inference is sampling-based: instead of the
    above two-stage procedure we directly estimate the posterior probability of each
    decision variable. This allows us to identify the point of time when we are sufficiently
    certain about any individual decision. Whenever this is the case, we dynamically
    prune the variables we are confident about from the underlying factor graph. Consequently,
    at any time only samples of variables whose decision is still uncertain need to
    be created. Experiments in two prototypical scenarios, multi-label classification
    and image inpainting, show that adaptive sampling can drastically accelerate MMP
    without sacrificing prediction accuracy.'
article_processing_charge: No
author:
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Lampert C. Dynamic pruning of factor graphs for maximum marginal prediction.
    In: Vol 1. Neural Information Processing Systems Foundation; 2012:82-90.'
  apa: 'Lampert, C. (2012). Dynamic pruning of factor graphs for maximum marginal
    prediction (Vol. 1, pp. 82–90). Presented at the NIPS: Neural Information Processing
    Systems, Lake Tahoe, NV, United States: Neural Information Processing Systems
    Foundation.'
  chicago: Lampert, Christoph. “Dynamic Pruning of Factor Graphs for Maximum Marginal
    Prediction,” 1:82–90. Neural Information Processing Systems Foundation, 2012.
  ieee: 'C. Lampert, “Dynamic pruning of factor graphs for maximum marginal prediction,”
    presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV,
    United States, 2012, vol. 1, pp. 82–90.'
  ista: 'Lampert C. 2012. Dynamic pruning of factor graphs for maximum marginal prediction.
    NIPS: Neural Information Processing Systems vol. 1, 82–90.'
  mla: Lampert, Christoph. <i>Dynamic Pruning of Factor Graphs for Maximum Marginal
    Prediction</i>. Vol. 1, Neural Information Processing Systems Foundation, 2012,
    pp. 82–90.
  short: C. Lampert, in:, Neural Information Processing Systems Foundation, 2012,
    pp. 82–90.
conference:
  end_date: 2012-12-06
  location: Lake Tahoe, NV, United States
  name: 'NIPS: Neural Information Processing Systems'
  start_date: 2012-12-03
corr_author: '1'
date_created: 2018-12-11T11:59:48Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2025-06-03T11:46:36Z
day: '01'
department:
- _id: ChLa
intvolume: '         1'
language:
- iso: eng
month: '12'
oa_version: None
page: 82 - 90
publication_status: published
publisher: Neural Information Processing Systems Foundation
publist_id: '3975'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dynamic pruning of factor graphs for maximum marginal prediction
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2012'
...
---
_id: '2848'
abstract:
- lang: eng
  text: We study evolutionary game theory in a setting where individuals learn from
    each other. We extend the traditional approach by assuming that a population contains
    individuals with different learning abilities. In particular, we explore the situation
    where individuals have different search spaces, when attempting to learn the strategies
    of others. The search space of an individual specifies the set of strategies learnable
    by that individual. The search space is genetically given and does not change
    under social evolutionary dynamics. We introduce a general framework and study
    a specific example in the context of direct reciprocity. For this example, we
    obtain the counter intuitive result that cooperation can only evolve for intermediate
    benefit-to-cost ratios, while small and large benefit-to-cost ratios favor defection.
    Our paper is a step toward making a connection between computational learning
    theory and evolutionary game dynamics.
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Damien
  full_name: Zufferey, Damien
  id: 4397AC76-F248-11E8-B48F-1D18A9856A87
  last_name: Zufferey
  orcid: 0000-0002-3197-8736
- first_name: Martin
  full_name: Nowak, Martin
  last_name: Nowak
citation:
  ama: Chatterjee K, Zufferey D, Nowak M. Evolutionary game dynamics in populations
    with different learners. <i>Journal of Theoretical Biology</i>. 2012;301:161-173.
    doi:<a href="https://doi.org/10.1016/j.jtbi.2012.02.021">10.1016/j.jtbi.2012.02.021</a>
  apa: Chatterjee, K., Zufferey, D., &#38; Nowak, M. (2012). Evolutionary game dynamics
    in populations with different learners. <i>Journal of Theoretical Biology</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.jtbi.2012.02.021">https://doi.org/10.1016/j.jtbi.2012.02.021</a>
  chicago: Chatterjee, Krishnendu, Damien Zufferey, and Martin Nowak. “Evolutionary
    Game Dynamics in Populations with Different Learners.” <i>Journal of Theoretical
    Biology</i>. Elsevier, 2012. <a href="https://doi.org/10.1016/j.jtbi.2012.02.021">https://doi.org/10.1016/j.jtbi.2012.02.021</a>.
  ieee: K. Chatterjee, D. Zufferey, and M. Nowak, “Evolutionary game dynamics in populations
    with different learners,” <i>Journal of Theoretical Biology</i>, vol. 301. Elsevier,
    pp. 161–173, 2012.
  ista: Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations
    with different learners. Journal of Theoretical Biology. 301, 161–173.
  mla: Chatterjee, Krishnendu, et al. “Evolutionary Game Dynamics in Populations with
    Different Learners.” <i>Journal of Theoretical Biology</i>, vol. 301, Elsevier,
    2012, pp. 161–73, doi:<a href="https://doi.org/10.1016/j.jtbi.2012.02.021">10.1016/j.jtbi.2012.02.021</a>.
  short: K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301
    (2012) 161–173.
corr_author: '1'
date_created: 2018-12-11T11:59:55Z
date_published: 2012-05-21T00:00:00Z
date_updated: 2025-09-30T08:20:22Z
day: '21'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1016/j.jtbi.2012.02.021
ec_funded: 1
external_id:
  isi:
  - '000303079500016'
  pmid:
  - '22394652'
intvolume: '       301'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3322297/
month: '05'
oa: 1
oa_version: Submitted Version
page: 161 - 173
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: Journal of Theoretical Biology
publication_status: published
publisher: Elsevier
publist_id: '3946'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evolutionary game dynamics in populations with different learners
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 301
year: '2012'
...
---
_id: '2849'
article_processing_charge: No
author:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Nataliya
  full_name: Strelkova, Nataliya
  last_name: Strelkova
citation:
  ama: Edelsbrunner H, Strelkova N. On the configuration space of Steiner minimal
    trees. <i>Russian Mathematical Surveys</i>. 2012;67(6):1167-1168. doi:<a href="https://doi.org/10.1070/RM2012v067n06ABEH004820">10.1070/RM2012v067n06ABEH004820</a>
  apa: Edelsbrunner, H., &#38; Strelkova, N. (2012). On the configuration space of
    Steiner minimal trees. <i>Russian Mathematical Surveys</i>. IOP Publishing. <a
    href="https://doi.org/10.1070/RM2012v067n06ABEH004820">https://doi.org/10.1070/RM2012v067n06ABEH004820</a>
  chicago: Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space
    of Steiner Minimal Trees.” <i>Russian Mathematical Surveys</i>. IOP Publishing,
    2012. <a href="https://doi.org/10.1070/RM2012v067n06ABEH004820">https://doi.org/10.1070/RM2012v067n06ABEH004820</a>.
  ieee: H. Edelsbrunner and N. Strelkova, “On the configuration space of Steiner minimal
    trees,” <i>Russian Mathematical Surveys</i>, vol. 67, no. 6. IOP Publishing, pp.
    1167–1168, 2012.
  ista: Edelsbrunner H, Strelkova N. 2012. On the configuration space of Steiner minimal
    trees. Russian Mathematical Surveys. 67(6), 1167–1168.
  mla: Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space
    of Steiner Minimal Trees.” <i>Russian Mathematical Surveys</i>, vol. 67, no. 6,
    IOP Publishing, 2012, pp. 1167–68, doi:<a href="https://doi.org/10.1070/RM2012v067n06ABEH004820">10.1070/RM2012v067n06ABEH004820</a>.
  short: H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
date_created: 2018-12-11T11:59:55Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2025-09-30T08:19:37Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1070/RM2012v067n06ABEH004820
external_id:
  isi:
  - '000315950100005'
file:
- access_level: open_access
  checksum: 44ee8d173487e8ed41a51136816bbeb4
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:14:26Z
  date_updated: 2020-07-14T12:45:51Z
  file_id: '5078'
  file_name: IST-2016-546-v1+1_2014-J-05-SteinerMinTrees.pdf
  file_size: 392021
  relation: main_file
file_date_updated: 2020-07-14T12:45:51Z
has_accepted_license: '1'
intvolume: '        67'
isi: 1
issue: '6'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 1167 - 1168
publication: Russian Mathematical Surveys
publication_status: published
publisher: IOP Publishing
publist_id: '3943'
pubrep_id: '546'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the configuration space of Steiner minimal trees
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 67
year: '2012'
...
---
_id: '2875'
abstract:
- lang: eng
  text: Phytohormones are important plant growth regulators that control many developmental
    processes, such as cell division, cell differentiation, organogenesis and morphogenesis.
    They regulate a multitude of apparently unrelated physiological processes, often
    with overlapping roles, and they mutually modulate their effects. These features
    imply important synergistic and antagonistic interactions between the various
    plant hormones. Auxin and cytokinin are central hormones involved in the regulation
    of plant growth and development, including processes determining root architecture,
    such as root pole establishment during early embryogenesis, root meristem maintenance
    and lateral root organogenesis. Thus, to control root development both pathways
    put special demands on the mechanisms that balance their activities and mediate
    their interactions. Here, we summarize recent knowledge on the role of auxin and
    cytokinin in the regulation of root architecture with special focus on lateral
    root organogenesis, discuss the latest findings on the molecular mechanisms of
    their interactions, and present forward genetic screen as a tool to identify novel
    molecular components of the auxin and cytokinin crosstalk.
author:
- first_name: Agnieszka
  full_name: Bielach, Agnieszka
  last_name: Bielach
- first_name: Jérôme
  full_name: Duclercq, Jérôme
  last_name: Duclercq
- first_name: Peter
  full_name: Peter Marhavy
  id: 3F45B078-F248-11E8-B48F-1D18A9856A87
  last_name: Marhavy
  orcid: 0000-0001-5227-5741
- first_name: Eva
  full_name: Eva Benková
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
citation:
  ama: Bielach A, Duclercq J, Marhavý P, Benková E. Genetic approach towards the identification
    of auxin - cytokinin crosstalk components involved in root development. <i>Philosophical
    Transactions of the Royal Society of London Series B, Biological Sciences</i>.
    2012;367(1595):1469-1478. doi:<a href="https://doi.org/10.1098/rstb.2011.0233">10.1098/rstb.2011.0233</a>
  apa: Bielach, A., Duclercq, J., Marhavý, P., &#38; Benková, E. (2012). Genetic approach
    towards the identification of auxin - cytokinin crosstalk components involved
    in root development. <i>Philosophical Transactions of the Royal Society of London.
    Series B, Biological Sciences</i>. Royal Society, The. <a href="https://doi.org/10.1098/rstb.2011.0233">https://doi.org/10.1098/rstb.2011.0233</a>
  chicago: Bielach, Agnieszka, Jérôme Duclercq, Peter Marhavý, and Eva Benková. “Genetic
    Approach towards the Identification of Auxin - Cytokinin Crosstalk Components
    Involved in Root Development.” <i>Philosophical Transactions of the Royal Society
    of London. Series B, Biological Sciences</i>. Royal Society, The, 2012. <a href="https://doi.org/10.1098/rstb.2011.0233">https://doi.org/10.1098/rstb.2011.0233</a>.
  ieee: A. Bielach, J. Duclercq, P. Marhavý, and E. Benková, “Genetic approach towards
    the identification of auxin - cytokinin crosstalk components involved in root
    development,” <i>Philosophical Transactions of the Royal Society of London. Series
    B, Biological Sciences</i>, vol. 367, no. 1595. Royal Society, The, pp. 1469–1478,
    2012.
  ista: Bielach A, Duclercq J, Marhavý P, Benková E. 2012. Genetic approach towards
    the identification of auxin - cytokinin crosstalk components involved in root
    development. Philosophical Transactions of the Royal Society of London. Series
    B, Biological Sciences. 367(1595), 1469–1478.
  mla: Bielach, Agnieszka, et al. “Genetic Approach towards the Identification of
    Auxin - Cytokinin Crosstalk Components Involved in Root Development.” <i>Philosophical
    Transactions of the Royal Society of London. Series B, Biological Sciences</i>,
    vol. 367, no. 1595, Royal Society, The, 2012, pp. 1469–78, doi:<a href="https://doi.org/10.1098/rstb.2011.0233">10.1098/rstb.2011.0233</a>.
  short: A. Bielach, J. Duclercq, P. Marhavý, E. Benková, Philosophical Transactions
    of the Royal Society of London. Series B, Biological Sciences 367 (2012) 1469–1478.
date_created: 2018-12-11T12:00:05Z
date_published: 2012-06-05T00:00:00Z
date_updated: 2021-01-12T07:00:25Z
day: '05'
doi: 10.1098/rstb.2011.0233
extern: 1
intvolume: '       367'
issue: '1595'
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3321684/
month: '06'
oa: 1
page: 1469 - 1478
publication: Philosophical Transactions of the Royal Society of London. Series B,
  Biological Sciences
publication_status: published
publisher: Royal Society, The
publist_id: '3887'
quality_controlled: 0
status: public
title: Genetic approach towards the identification of auxin - cytokinin crosstalk
  components involved in root development
type: journal_article
volume: 367
year: '2012'
...
---
_id: '2876'
abstract:
- lang: eng
  text: Cytokinin (CK) activity is regulated by the complex interplay of their metabolism,
    transport, stability and cellular/tissue localization. O-glucosides of zeatin-type
    CKs are postulated to be storage and/or transport forms. Active CK levels are
    determined in part by their differential distribution of CK metabolites across
    different subcellular compartments. We have previously shown that overexpressing
    chloroplast-localized Zm-p60.1, a maize β-glucosidase capable of releasing active
    cytokinins from their O- and N3-glucosides, perturbs CK homeostasis in transgenic
    tobacco. We obtained tobacco (Nicotiana tabacum L., cv Petit Havana SR1) plants
    overexpressing a recombinant Zm-p60.1 that is targeted to the vacuole. The protein
    is correctly processed and localized to the vacuole. When grown on medium containing
    exogenous zeatin, transgenic seedlings rapidly accumulate fresh weight due to
    ectopic growths at the base of the hypocotyl. The presence of the enzyme in these
    ectopic structures is shown by histochemical staining. CK quantification reveals
    that these transgenic seedlings are unable to accumulate zeatin-O-glucoside to
    levels similar to those observed in the wild type. When crossed with tobacco overexpressing
    the zeatin-O-glucosyltransferase gene from Phaseolus, the vacuolar variant shows
    an almost complete reversion in the root elongation assay. This is the first evidence
    from intact plants that the vacuole is the storage organelle for CK O-glucosides
    and that they are available to attack by Zm-p60.1. We propose the use of Zm-p60.1
    as a robust molecular tool that exploits the reversibility of O-glucosylation
    and enables delicate manipulations of active CK content at the cellular level.
author:
- first_name: Nagavalli
  full_name: Kiran, Nagavalli S
  last_name: Kiran
- first_name: Eva
  full_name: Eva Benková
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Alena
  full_name: Reková, Alena
  last_name: Reková
- first_name: Jaroslava
  full_name: Dubová, Jaroslava
  last_name: Dubová
- first_name: Jiří
  full_name: Malbeck, Jiří
  last_name: Malbeck
- first_name: Klaus
  full_name: Palme, Klaus
  last_name: Palme
- first_name: Břetislav
  full_name: Brzobohatý, Břetislav
  last_name: Brzobohatý
citation:
  ama: Kiran N, Benková E, Reková A, et al. Retargeting a maize β-glucosidase to the
    vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the
    vacuole. <i>Phytochemistry</i>. 2012;79:67-77. doi:<a href="https://doi.org/10.1016/j.phytochem.2012.03.012">10.1016/j.phytochem.2012.03.012</a>
  apa: Kiran, N., Benková, E., Reková, A., Dubová, J., Malbeck, J., Palme, K., &#38;
    Brzobohatý, B. (2012). Retargeting a maize β-glucosidase to the vacuole - Evidence
    from intact plants that zeatin-O-glucoside is stored in the vacuole. <i>Phytochemistry</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.phytochem.2012.03.012">https://doi.org/10.1016/j.phytochem.2012.03.012</a>
  chicago: Kiran, Nagavalli, Eva Benková, Alena Reková, Jaroslava Dubová, Jiří Malbeck,
    Klaus Palme, and Břetislav Brzobohatý. “Retargeting a Maize β-Glucosidase to the
    Vacuole - Evidence from Intact Plants That Zeatin-O-Glucoside Is Stored in the
    Vacuole.” <i>Phytochemistry</i>. Elsevier, 2012. <a href="https://doi.org/10.1016/j.phytochem.2012.03.012">https://doi.org/10.1016/j.phytochem.2012.03.012</a>.
  ieee: N. Kiran <i>et al.</i>, “Retargeting a maize β-glucosidase to the vacuole
    - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole,”
    <i>Phytochemistry</i>, vol. 79. Elsevier, pp. 67–77, 2012.
  ista: Kiran N, Benková E, Reková A, Dubová J, Malbeck J, Palme K, Brzobohatý B.
    2012. Retargeting a maize β-glucosidase to the vacuole - Evidence from intact
    plants that zeatin-O-glucoside is stored in the vacuole. Phytochemistry. 79, 67–77.
  mla: Kiran, Nagavalli, et al. “Retargeting a Maize β-Glucosidase to the Vacuole
    - Evidence from Intact Plants That Zeatin-O-Glucoside Is Stored in the Vacuole.”
    <i>Phytochemistry</i>, vol. 79, Elsevier, 2012, pp. 67–77, doi:<a href="https://doi.org/10.1016/j.phytochem.2012.03.012">10.1016/j.phytochem.2012.03.012</a>.
  short: N. Kiran, E. Benková, A. Reková, J. Dubová, J. Malbeck, K. Palme, B. Brzobohatý,
    Phytochemistry 79 (2012) 67–77.
date_created: 2018-12-11T12:00:05Z
date_published: 2012-07-01T00:00:00Z
date_updated: 2021-01-12T07:00:25Z
day: '01'
doi: 10.1016/j.phytochem.2012.03.012
extern: 1
intvolume: '        79'
month: '07'
page: 67 - 77
publication: Phytochemistry
publication_status: published
publisher: Elsevier
publist_id: '3886'
quality_controlled: 0
status: public
title: Retargeting a maize β-glucosidase to the vacuole - Evidence from intact plants
  that zeatin-O-glucoside is stored in the vacuole
type: journal_article
volume: 79
year: '2012'
...
---
_id: '2878'
abstract:
- lang: eng
  text: Phyllotaxis, the regular arrangement of leaves and flowers around the stem,
    is a key feature of plant architecture. Current models propose that the spatiotemporal
    regulation of organ initiation is controlled by a positive feedback loop between
    the plant hormone auxin and its efflux carrier PIN-FORMED1 (PIN1). Consequently,
    pin1 mutants give rise to naked inflorescence stalks with few or no flowers, indicating
    that PIN1 plays a crucial role in organ initiation. However, pin1 mutants do produce
    leaves. In order to understand the regulatory mechanisms controlling leaf initiation
    in Arabidopsis (Arabidopsis thaliana) rosettes, we have characterized the vegetative
    pin1 phenotype in detail. We show that although the timing of leaf initiation
    in vegetative pin1 mutants is variable and divergence angles clearly deviate from
    the canonical 137° value, leaves are not positioned at random during early developmental
    stages. Our data further indicate that other PIN proteins are unlikely to explain
    the persistence of leaf initiation and positioning during pin1 vegetative development.
    Thus, phyllotaxis appears to be more complex than suggested by current mechanistic
    models.
author:
- first_name: Bernadette
  full_name: Guenot, Bernadette
  last_name: Guenot
- first_name: Emmanuelle
  full_name: Bayer, Emmanuelle
  last_name: Bayer
- first_name: Daniel
  full_name: Kierzkowski, Daniel
  last_name: Kierzkowski
- first_name: Richard
  full_name: Smith, Richard S
  last_name: Smith
- first_name: Therese
  full_name: Mandel, Therese
  last_name: Mandel
- first_name: Petra
  full_name: Žádníková, Petra
  last_name: Žádníková
- first_name: Eva
  full_name: Eva Benková
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Cris
  full_name: Kuhlemeier, Cris
  last_name: Kuhlemeier
citation:
  ama: Guenot B, Bayer E, Kierzkowski D, et al. Pin1 independent leaf initiation in
    Arabidopsis. <i>Plant Physiology</i>. 2012;159(4):1501-1510. doi:<a href="https://doi.org/10.1104/pp.112.200402">10.1104/pp.112.200402</a>
  apa: Guenot, B., Bayer, E., Kierzkowski, D., Smith, R., Mandel, T., Žádníková, P.,
    … Kuhlemeier, C. (2012). Pin1 independent leaf initiation in Arabidopsis. <i>Plant
    Physiology</i>. American Society of Plant Biologists. <a href="https://doi.org/10.1104/pp.112.200402">https://doi.org/10.1104/pp.112.200402</a>
  chicago: Guenot, Bernadette, Emmanuelle Bayer, Daniel Kierzkowski, Richard Smith,
    Therese Mandel, Petra Žádníková, Eva Benková, and Cris Kuhlemeier. “Pin1 Independent
    Leaf Initiation in Arabidopsis.” <i>Plant Physiology</i>. American Society of
    Plant Biologists, 2012. <a href="https://doi.org/10.1104/pp.112.200402">https://doi.org/10.1104/pp.112.200402</a>.
  ieee: B. Guenot <i>et al.</i>, “Pin1 independent leaf initiation in Arabidopsis,”
    <i>Plant Physiology</i>, vol. 159, no. 4. American Society of Plant Biologists,
    pp. 1501–1510, 2012.
  ista: Guenot B, Bayer E, Kierzkowski D, Smith R, Mandel T, Žádníková P, Benková
    E, Kuhlemeier C. 2012. Pin1 independent leaf initiation in Arabidopsis. Plant
    Physiology. 159(4), 1501–1510.
  mla: Guenot, Bernadette, et al. “Pin1 Independent Leaf Initiation in Arabidopsis.”
    <i>Plant Physiology</i>, vol. 159, no. 4, American Society of Plant Biologists,
    2012, pp. 1501–10, doi:<a href="https://doi.org/10.1104/pp.112.200402">10.1104/pp.112.200402</a>.
  short: B. Guenot, E. Bayer, D. Kierzkowski, R. Smith, T. Mandel, P. Žádníková, E.
    Benková, C. Kuhlemeier, Plant Physiology 159 (2012) 1501–1510.
date_created: 2018-12-11T12:00:06Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2021-01-12T07:00:26Z
day: '01'
doi: 10.1104/pp.112.200402
extern: 1
intvolume: '       159'
issue: '4'
month: '08'
page: 1501 - 1510
publication: Plant Physiology
publication_status: published
publisher: American Society of Plant Biologists
publist_id: '3884'
quality_controlled: 0
status: public
title: Pin1 independent leaf initiation in Arabidopsis
type: journal_article
volume: 159
year: '2012'
...
---
_id: '2879'
abstract:
- lang: eng
  text: Hormones, such as auxin and cytokinin, are involved in the complex molecular
    network that regulates the coordinated development of plant organs. Genes controlling
    ovule patterning have been identified and studied in detail; however, the roles
    of auxin and cytokinin in ovule development are largely unknown. Here we show
    that key cytokinin pathway genes, such as isopentenyltransferase and cytokinin
    receptors, are expressed during ovule development. Also, in a cre1-12 ahk2-2 ahk3-3
    triple mutant with severely reduced cytokinin perception, expression of the auxin
    efflux facilitator PIN-FORMED 1 (PIN1) was severely reduced. In sporocyteless/nozzle
    (spl/nzz) mutants, which show a similar phenotype to the cre1-12 ahk2-2 ahk3-3
    triple mutant, PIN1 expression is also reduced. Treatment with the exogenous cytokinin
    N6-benzylaminopurine also altered both auxin distribution and patterning of the
    ovule; this process required the homeodomain transcription factor BELL1 (BEL1).
    Thus, this article shows that cytokinin regulates ovule development through the
    regulation of PIN1. Furthermore, the transcription factors BEL1 and SPL/NZZ, previously
    described as key regulators of ovule development, are needed for the auxin and
    cytokinin signaling pathways for the correct patterning of the ovule.
author:
- first_name: Stefano
  full_name: Bencivenga, Stefano
  last_name: Bencivenga
- first_name: Sara
  full_name: Simonini, Sara
  last_name: Simonini
- first_name: Eva
  full_name: Eva Benková
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Lucia
  full_name: Colombo, Lucia
  last_name: Colombo
citation:
  ama: Bencivenga S, Simonini S, Benková E, Colombo L. The transcription factors BEL1
    and SPL are required for cytokinin and auxin signaling during ovule development
    in Arabidopsis. <i>Plant Cell</i>. 2012;24(7):2886-2897. doi:<a href="https://doi.org/10.1105/tpc.112.100164">10.1105/tpc.112.100164</a>
  apa: Bencivenga, S., Simonini, S., Benková, E., &#38; Colombo, L. (2012). The transcription
    factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule
    development in Arabidopsis. <i>Plant Cell</i>. American Society of Plant Biologists.
    <a href="https://doi.org/10.1105/tpc.112.100164">https://doi.org/10.1105/tpc.112.100164</a>
  chicago: Bencivenga, Stefano, Sara Simonini, Eva Benková, and Lucia Colombo. “The
    Transcription Factors BEL1 and SPL Are Required for Cytokinin and Auxin Signaling
    during Ovule Development in Arabidopsis.” <i>Plant Cell</i>. American Society
    of Plant Biologists, 2012. <a href="https://doi.org/10.1105/tpc.112.100164">https://doi.org/10.1105/tpc.112.100164</a>.
  ieee: S. Bencivenga, S. Simonini, E. Benková, and L. Colombo, “The transcription
    factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule
    development in Arabidopsis,” <i>Plant Cell</i>, vol. 24, no. 7. American Society
    of Plant Biologists, pp. 2886–2897, 2012.
  ista: Bencivenga S, Simonini S, Benková E, Colombo L. 2012. The transcription factors
    BEL1 and SPL are required for cytokinin and auxin signaling during ovule development
    in Arabidopsis. Plant Cell. 24(7), 2886–2897.
  mla: Bencivenga, Stefano, et al. “The Transcription Factors BEL1 and SPL Are Required
    for Cytokinin and Auxin Signaling during Ovule Development in Arabidopsis.” <i>Plant
    Cell</i>, vol. 24, no. 7, American Society of Plant Biologists, 2012, pp. 2886–97,
    doi:<a href="https://doi.org/10.1105/tpc.112.100164">10.1105/tpc.112.100164</a>.
  short: S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012)
    2886–2897.
date_created: 2018-12-11T12:00:06Z
date_published: 2012-07-01T00:00:00Z
date_updated: 2021-01-12T07:00:26Z
day: '01'
doi: 10.1105/tpc.112.100164
extern: 1
intvolume: '        24'
issue: '7'
month: '07'
page: 2886 - 2897
publication: Plant Cell
publication_status: published
publisher: American Society of Plant Biologists
publist_id: '3885'
quality_controlled: 0
status: public
title: The transcription factors BEL1 and SPL are required for cytokinin and auxin
  signaling during ovule development in Arabidopsis
type: journal_article
volume: 24
year: '2012'
...
---
OA_type: closed access
_id: '2888'
abstract:
- lang: eng
  text: Formal verification aims to improve the quality of hardware and software by
    detecting errors before they do harm. At the basis of formal verification lies
    the logical notion of correctness, which purports to capture whether or not a
    circuit or program behaves as desired. We suggest that the boolean partition into
    correct and incorrect systems falls short of the practical need to assess the
    behavior of hardware and software in a more nuanced fashion against multiple criteria.
alternative_title:
- LNCS
article_processing_charge: No
author:
- 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: 'Henzinger TA. Quantitative reactive models. In: <i>15th International Conference
    on Model Driven Engineering Languages and Systems</i>. Vol 7590. Springer; 2012:1-2.
    doi:<a href="https://doi.org/10.1007/978-3-642-33666-9_1">10.1007/978-3-642-33666-9_1</a>'
  apa: 'Henzinger, T. A. (2012). Quantitative reactive models. In <i>15th International
    Conference on Model Driven Engineering Languages and Systems</i> (Vol. 7590, pp.
    1–2). Innsbruck, Austria: Springer. <a href="https://doi.org/10.1007/978-3-642-33666-9_1">https://doi.org/10.1007/978-3-642-33666-9_1</a>'
  chicago: Henzinger, Thomas A. “Quantitative Reactive Models.” In <i>15th International
    Conference on Model Driven Engineering Languages and Systems</i>, 7590:1–2. Springer,
    2012. <a href="https://doi.org/10.1007/978-3-642-33666-9_1">https://doi.org/10.1007/978-3-642-33666-9_1</a>.
  ieee: T. A. Henzinger, “Quantitative reactive models,” in <i>15th International
    Conference on Model Driven Engineering Languages and Systems</i>, Innsbruck, Austria,
    2012, vol. 7590, pp. 1–2.
  ista: 'Henzinger TA. 2012. Quantitative reactive models. 15th International Conference
    on Model Driven Engineering Languages and Systems. MODELS: Model-driven Engineering
    Languages and Systems, LNCS, vol. 7590, 1–2.'
  mla: Henzinger, Thomas A. “Quantitative Reactive Models.” <i>15th International
    Conference on Model Driven Engineering Languages and Systems</i>, vol. 7590, Springer,
    2012, pp. 1–2, doi:<a href="https://doi.org/10.1007/978-3-642-33666-9_1">10.1007/978-3-642-33666-9_1</a>.
  short: T.A. Henzinger, in:, 15th International Conference on Model Driven Engineering
    Languages and Systems, Springer, 2012, pp. 1–2.
conference:
  end_date: 2012-10-05
  location: Innsbruck, Austria
  name: 'MODELS: Model-driven Engineering Languages and Systems'
  start_date: 2012-09-30
corr_author: '1'
date_created: 2018-12-11T12:00:09Z
date_published: 2012-09-01T00:00:00Z
date_updated: 2025-05-20T07:30:56Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-33666-9_1
ec_funded: 1
intvolume: '      7590'
language:
- iso: eng
month: '09'
oa_version: None
page: 1 - 2
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: 15th International Conference on Model Driven Engineering Languages and
  Systems
publication_identifier:
  eisbn:
  - '9783642336669'
  eissn:
  - 1611-3349
publication_status: published
publisher: Springer
publist_id: '3870'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative reactive models
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7590
year: '2012'
...
---
_id: '2890'
abstract:
- lang: eng
  text: 'Systems are often specified using multiple requirements on their behavior.
    In practice, these requirements can be contradictory. The classical approach to
    specification, verification, and synthesis demands more detailed specifications
    that resolve any contradictions in the requirements. These detailed specifications
    are usually large, cumbersome, and hard to maintain or modify. In contrast, quantitative
    frameworks allow the formalization of the intuitive idea that what is desired
    is an implementation that comes &quot;closest&quot; to satisfying the mutually
    incompatible requirements, according to a measure of fit that can be defined by
    the requirements engineer. One flexible framework for quantifying how &quot;well&quot;
    an implementation satisfies a specification is offered by simulation distances
    that are parameterized by an error model. We introduce this framework, study its
    properties, and provide an algorithmic solution for the following quantitative
    synthesis question: given two (or more) behavioral requirements specified by possibly
    incompatible finite-state machines, and an error model, find the finite-state
    implementation that minimizes the maximal simulation distance to the given requirements.
    Furthermore, we generalize the framework to handle infinite alphabets (for example,
    realvalued domains). We also demonstrate how quantitative specifications based
    on simulation distances might lead to smaller and easier to modify specifications.
    Finally, we illustrate our approach using case studies on error correcting codes
    and scheduler synthesis.'
author:
- first_name: Pavol
  full_name: Cerny, Pavol
  id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
  last_name: Cerny
- first_name: Sivakanth
  full_name: Gopi, Sivakanth
  last_name: Gopi
- 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: Arjun
  full_name: Radhakrishna, Arjun
  id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
  last_name: Radhakrishna
- first_name: Nishant
  full_name: Totla, Nishant
  last_name: Totla
citation:
  ama: 'Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. Synthesis from incompatible
    specifications. In: <i>Proceedings of the Tenth ACM International Conference on
    Embedded Software</i>. ACM; 2012:53-62. doi:<a href="https://doi.org/10.1145/2380356.2380371">10.1145/2380356.2380371</a>'
  apa: 'Cerny, P., Gopi, S., Henzinger, T. A., Radhakrishna, A., &#38; Totla, N. (2012).
    Synthesis from incompatible specifications. In <i>Proceedings of the tenth ACM
    international conference on Embedded software</i> (pp. 53–62). Tampere, Finland:
    ACM. <a href="https://doi.org/10.1145/2380356.2380371">https://doi.org/10.1145/2380356.2380371</a>'
  chicago: Cerny, Pavol, Sivakanth Gopi, Thomas A Henzinger, Arjun Radhakrishna, and
    Nishant Totla. “Synthesis from Incompatible Specifications.” In <i>Proceedings
    of the Tenth ACM International Conference on Embedded Software</i>, 53–62. ACM,
    2012. <a href="https://doi.org/10.1145/2380356.2380371">https://doi.org/10.1145/2380356.2380371</a>.
  ieee: P. Cerny, S. Gopi, T. A. Henzinger, A. Radhakrishna, and N. Totla, “Synthesis
    from incompatible specifications,” in <i>Proceedings of the tenth ACM international
    conference on Embedded software</i>, Tampere, Finland, 2012, pp. 53–62.
  ista: 'Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. 2012. Synthesis from
    incompatible specifications. Proceedings of the tenth ACM international conference
    on Embedded software. EMSOFT: Embedded Software , 53–62.'
  mla: Cerny, Pavol, et al. “Synthesis from Incompatible Specifications.” <i>Proceedings
    of the Tenth ACM International Conference on Embedded Software</i>, ACM, 2012,
    pp. 53–62, doi:<a href="https://doi.org/10.1145/2380356.2380371">10.1145/2380356.2380371</a>.
  short: P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings
    of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp.
    53–62.
conference:
  end_date: 2012-10-12
  location: Tampere, Finland
  name: 'EMSOFT: Embedded Software '
  start_date: 2012-10-07
date_created: 2018-12-11T12:00:10Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2021-01-12T07:00:30Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2380356.2380371
ec_funded: 1
language:
- iso: eng
month: '10'
oa_version: None
page: 53 - 62
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Proceedings of the tenth ACM international conference on Embedded software
publication_status: published
publisher: ACM
publist_id: '3868'
quality_controlled: '1'
scopus_import: 1
status: public
title: Synthesis from incompatible specifications
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '2891'
abstract:
- lang: eng
  text: "Quantitative automata are nondeterministic finite automata with edge weights.
    They value a\r\nrun by some function from the sequence of visited weights to the
    reals, and value a word by its\r\nminimal/maximal run. They generalize boolean
    automata, and have gained much attention in\r\nrecent years. Unfortunately, important
    automaton classes, such as sum, discounted-sum, and\r\nlimit-average automata,
    cannot be determinized. Yet, the quantitative setting provides the potential\r\nof
    approximate determinization. We define approximate determinization with respect
    to\r\na distance function, and investigate this potential.\r\nWe show that sum
    automata cannot be determinized approximately with respect to any\r\ndistance
    function. However, restricting to nonnegative weights allows for approximate determinization\r\nwith
    respect to some distance functions.\r\nDiscounted-sum automata allow for approximate
    determinization, as the influence of a word’s\r\nsuffix is decaying. However,
    the naive approach, of unfolding the automaton computations up\r\nto a sufficient
    level, is shown to be doubly exponential in the discount factor. We provide an\r\nalternative
    construction that is singly exponential in the discount factor, in the precision,
    and\r\nin the number of states. We prove matching lower bounds, showing exponential
    dependency on\r\neach of these three parameters.\r\nAverage and limit-average
    automata are shown to prohibit approximate determinization with\r\nrespect to
    any distance function, and this is the case even for two weights, 0 and 1."
acknowledgement: We thank Laurent Doyen for great ideas and valuable help in analyzing
  discounted-sum automata.
alternative_title:
- LIPIcs
author:
- first_name: Udi
  full_name: Boker, Udi
  id: 31E297B6-F248-11E8-B48F-1D18A9856A87
  last_name: Boker
- 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: 'Boker U, Henzinger TA. Approximate determinization of quantitative automata.
    In: <i>Leibniz International Proceedings in Informatics</i>. Vol 18. Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik; 2012:362-373. doi:<a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362">10.4230/LIPIcs.FSTTCS.2012.362</a>'
  apa: 'Boker, U., &#38; Henzinger, T. A. (2012). Approximate determinization of quantitative
    automata. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 18,
    pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
    <a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362">https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362</a>'
  chicago: Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative
    Automata.” In <i>Leibniz International Proceedings in Informatics</i>, 18:362–73.
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. <a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362">https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362</a>.
  ieee: U. Boker and T. A. Henzinger, “Approximate determinization of quantitative
    automata,” in <i>Leibniz International Proceedings in Informatics</i>, Hyderabad,
    India, 2012, vol. 18, pp. 362–373.
  ista: 'Boker U, Henzinger TA. 2012. Approximate determinization of quantitative
    automata. Leibniz International Proceedings in Informatics. FSTTCS: Foundations
    of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 362–373.'
  mla: Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative
    Automata.” <i>Leibniz International Proceedings in Informatics</i>, vol. 18, Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:<a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362">10.4230/LIPIcs.FSTTCS.2012.362</a>.
  short: U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics,
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
conference:
  end_date: 2012-12-17
  location: Hyderabad, India
  name: 'FSTTCS: Foundations of Software Technology and Theoretical Computer Science'
  start_date: 2012-12-15
corr_author: '1'
date_created: 2018-12-11T12:00:10Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2024-10-09T20:54:57Z
day: '01'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.FSTTCS.2012.362
ec_funded: 1
file:
- access_level: open_access
  checksum: 88da18d3e2cb2e5011d7d10ce38a3864
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:37Z
  date_updated: 2020-07-14T12:45:52Z
  file_id: '4826'
  file_name: IST-2017-805-v1+1_34.pdf
  file_size: 559069
  relation: main_file
file_date_updated: 2020-07-14T12:45:52Z
has_accepted_license: '1'
intvolume: '        18'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 362 - 373
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: Leibniz International Proceedings in Informatics
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '3867'
pubrep_id: '805'
quality_controlled: '1'
scopus_import: 1
status: public
title: Approximate determinization of quantitative automata
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: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2012'
...
---
_id: '2902'
abstract:
- lang: eng
  text: 'We present an algorithm for simplifying linear cartographic objects and results
    obtained with a computer program implementing this algorithm. '
article_processing_charge: No
article_type: original
author:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Oleg
  full_name: Musin, Oleg
  last_name: Musin
- first_name: Alexey
  full_name: Ukhalov, Alexey
  last_name: Ukhalov
- first_name: Olga
  full_name: Yakimova, Olga
  last_name: Yakimova
- first_name: Vladislav
  full_name: Alexeev, Vladislav
  last_name: Alexeev
- first_name: Victoriya
  full_name: Bogaevskaya, Victoriya
  last_name: Bogaevskaya
- first_name: Andrey
  full_name: Gorohov, Andrey
  last_name: Gorohov
- first_name: Margarita
  full_name: Preobrazhenskaya, Margarita
  last_name: Preobrazhenskaya
citation:
  ama: Edelsbrunner H, Musin O, Ukhalov A, et al. Fractal and computational geometry
    for generalizing cartographic objects. <i>Modeling and Analysis of Information
    Systems</i>. 2012;19(6):152-160.
  apa: Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya,
    V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing
    cartographic objects. <i>Modeling and Analysis of Information Systems</i>. Russian
    Academy of Sciences.
  chicago: Edelsbrunner, Herbert, Oleg Musin, Alexey Ukhalov, Olga Yakimova, Vladislav
    Alexeev, Victoriya Bogaevskaya, Andrey Gorohov, and Margarita Preobrazhenskaya.
    “Fractal and computational geometry for generalizing cartographic objects.” <i>Modeling
    and Analysis of Information Systems</i>. Russian Academy of Sciences, 2012.
  ieee: H. Edelsbrunner <i>et al.</i>, “Fractal and computational geometry for generalizing
    cartographic objects,” <i>Modeling and Analysis of Information Systems</i>, vol.
    19, no. 6. Russian Academy of Sciences, pp. 152–160, 2012.
  ista: Edelsbrunner H, Musin O, Ukhalov A, Yakimova O, Alexeev V, Bogaevskaya V,
    Gorohov A, Preobrazhenskaya M. 2012. Fractal and computational geometry for generalizing
    cartographic objects. Modeling and Analysis of Information Systems. 19(6), 152–160.
  mla: Edelsbrunner, Herbert, et al. “Fractal and computational geometry for generalizing
    cartographic objects.” <i>Modeling and Analysis of Information Systems</i>, vol.
    19, no. 6, Russian Academy of Sciences, 2012, pp. 152–60.
  short: H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya,
    A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems
    19 (2012) 152–160.
date_created: 2018-12-11T12:00:15Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2023-10-18T07:34:45Z
day: '01'
department:
- _id: HeEd
intvolume: '        19'
issue: '6'
language:
- iso: rus
main_file_link:
- open_access: '1'
  url: http://mi.mathnet.ru/eng/mais280
month: '12'
oa: 1
oa_version: Published Version
page: 152 - 160
publication: Modeling and Analysis of Information Systems
publication_status: published
publisher: Russian Academy of Sciences
publist_id: '3845'
quality_controlled: '1'
status: public
title: Fractal and computational geometry for generalizing cartographic objects
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 19
year: '2012'
...
