---
_id: '1379'
abstract:
- lang: eng
  text: We investigate the complexity of finding an embedded non-orientable surface
    of Euler genus g in a triangulated 3-manifold. This problem occurs both as a natural
    question in low-dimensional topology, and as a first non-trivial instance of embeddability
    of complexes into 3-manifolds. We prove that the problem is NP-hard, thus adding
    to the relatively few hardness results that are currently known in 3-manifold
    topology. In addition, we show that the problem lies in NP when the Euler genus
    g is odd, and we give an explicit algorithm in this case.
alternative_title:
- LIPIcs
author:
- first_name: Benjamin
  full_name: Burton, Benjamin
  last_name: Burton
- first_name: Arnaud N
  full_name: De Mesmay, Arnaud N
  id: 3DB2F25C-F248-11E8-B48F-1D18A9856A87
  last_name: De Mesmay
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: 'Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds.
    In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing;
    2016:24.1-24.15. doi:<a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.24">10.4230/LIPIcs.SoCG.2016.24</a>'
  apa: 'Burton, B., de Mesmay, A. N., &#38; Wagner, U. (2016). Finding non-orientable
    surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium
    on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum
    fur Informatik GmbH, Dagstuhl Publishing. <a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.24">https://doi.org/10.4230/LIPIcs.SoCG.2016.24</a>'
  chicago: Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable
    Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur
    Informatik GmbH, Dagstuhl Publishing, 2016. <a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.24">https://doi.org/10.4230/LIPIcs.SoCG.2016.24</a>.
  ieee: 'B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces
    in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford,
    MA, USA, 2016, vol. 51, p. 24.1-24.15.'
  ista: 'Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in
    3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.'
  mla: Burton, Benjamin, et al. <i>Finding Non-Orientable Surfaces in 3-Manifolds</i>.
    Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,
    2016, p. 24.1-24.15, doi:<a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.24">10.4230/LIPIcs.SoCG.2016.24</a>.
  short: B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum
    fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
conference:
  end_date: 2016-06-17
  location: Medford, MA, USA
  name: 'SoCG: Symposium on Computational Geometry'
  start_date: 2016-06-14
date_created: 2018-12-11T11:51:41Z
date_published: 2016-06-01T00:00:00Z
date_updated: 2023-02-23T12:23:20Z
day: '01'
ddc:
- '510'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2016.24
file:
- access_level: open_access
  checksum: f04248a61c24297cfabd30c5f8e0deb9
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:12Z
  date_updated: 2020-07-14T12:44:47Z
  file_id: '4930'
  file_name: IST-2016-622-v1+1_LIPIcs-SoCG-2016-24.pdf
  file_size: 574770
  relation: main_file
file_date_updated: 2020-07-14T12:44:47Z
has_accepted_license: '1'
intvolume: '        51'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 24.1 - 24.15
publication_status: published
publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
publist_id: '5832'
pubrep_id: '622'
quality_controlled: '1'
related_material:
  record:
  - id: '534'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Finding non-orientable surfaces in 3-manifolds
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2016'
...
---
_id: '1380'
abstract:
- lang: eng
  text: We consider higher-dimensional versions of Kannan and Lipton's Orbit Problem
    - determining whether a target vector space V may be reached from a starting point
    x under repeated applications of a linear transformation A. Answering two questions
    posed by Kannan and Lipton in the 1980s, we show that when V has dimension one,
    this problem is solvable in polynomial time, and when V has dimension two or three,
    the problem is in NPRP.
article_number: '23'
author:
- first_name: Ventsislav K
  full_name: Chonev, Ventsislav K
  id: 36CBE2E6-F248-11E8-B48F-1D18A9856A87
  last_name: Chonev
- first_name: Joël
  full_name: Ouaknine, Joël
  last_name: Ouaknine
- first_name: James
  full_name: Worrell, James
  last_name: Worrell
citation:
  ama: Chonev VK, Ouaknine J, Worrell J. On the complexity of the orbit problem. <i>Journal
    of the ACM</i>. 2016;63(3). doi:<a href="https://doi.org/10.1145/2857050">10.1145/2857050</a>
  apa: Chonev, V. K., Ouaknine, J., &#38; Worrell, J. (2016). On the complexity of
    the orbit problem. <i>Journal of the ACM</i>. ACM. <a href="https://doi.org/10.1145/2857050">https://doi.org/10.1145/2857050</a>
  chicago: Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Complexity
    of the Orbit Problem.” <i>Journal of the ACM</i>. ACM, 2016. <a href="https://doi.org/10.1145/2857050">https://doi.org/10.1145/2857050</a>.
  ieee: V. K. Chonev, J. Ouaknine, and J. Worrell, “On the complexity of the orbit
    problem,” <i>Journal of the ACM</i>, vol. 63, no. 3. ACM, 2016.
  ista: Chonev VK, Ouaknine J, Worrell J. 2016. On the complexity of the orbit problem.
    Journal of the ACM. 63(3), 23.
  mla: Chonev, Ventsislav K., et al. “On the Complexity of the Orbit Problem.” <i>Journal
    of the ACM</i>, vol. 63, no. 3, 23, ACM, 2016, doi:<a href="https://doi.org/10.1145/2857050">10.1145/2857050</a>.
  short: V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
date_created: 2018-12-11T11:51:41Z
date_published: 2016-06-01T00:00:00Z
date_updated: 2021-01-12T06:50:17Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/2857050
intvolume: '        63'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1303.2981
month: '06'
oa: 1
oa_version: Preprint
publication: Journal of the ACM
publication_status: published
publisher: ACM
publist_id: '5831'
quality_controlled: '1'
scopus_import: 1
status: public
title: On the complexity of the orbit problem
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 63
year: '2016'
...
---
_id: '1381'
abstract:
- lang: eng
  text: 'Motivated by Tverberg-type problems in topological combinatorics and by classical
    results about embeddings (maps without double points), we study the question whether
    a finite simplicial complex K can be mapped into double-struck Rd without higher-multiplicity
    intersections. We focus on conditions for the existence of almost r-embeddings,
    i.e., maps f : K → double-struck Rd such that f(σ1) ∩ ⋯ ∩ f(σr) = ∅ whenever σ1,
    ..., σr are pairwise disjoint simplices of K. Generalizing the classical Haefliger-Weber
    embeddability criterion, we show that a well-known necessary deleted product condition
    for the existence of almost r-embeddings is sufficient in a suitable r-metastable
    range of dimensions: If rd ≥ (r + 1) dim K + 3, then there exists an almost r-embedding
    K → double-struck Rd if and only if there exists an equivariant map (K)Δ r → Sr
    Sd(r-1)-1, where (K)Δ r is the deleted r-fold product of K, the target Sd(r-1)-1
    is the sphere of dimension d(r - 1) - 1, and Sr is the symmetric group. This significantly
    extends one of the main results of our previous paper (which treated the special
    case where d = rk and dim K = (r - 1)k for some k ≥ 3), and settles an open question
    raised there.'
alternative_title:
- LIPIcs
author:
- first_name: Isaac
  full_name: Mabillard, Isaac
  id: 32BF9DAA-F248-11E8-B48F-1D18A9856A87
  last_name: Mabillard
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: 'Mabillard I, Wagner U. Eliminating higher-multiplicity intersections, II.
    The deleted product criterion in the r-metastable range. In: Vol 51. Schloss Dagstuhl-
    Leibniz-Zentrum fur Informatik GmbH; 2016:51.1-51.12. doi:<a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.51">10.4230/LIPIcs.SoCG.2016.51</a>'
  apa: 'Mabillard, I., &#38; Wagner, U. (2016). Eliminating higher-multiplicity intersections,
    II. The deleted product criterion in the r-metastable range (Vol. 51, p. 51.1-51.12).
    Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA:
    Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. <a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.51">https://doi.org/10.4230/LIPIcs.SoCG.2016.51</a>'
  chicago: Mabillard, Isaac, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections,
    II. The Deleted Product Criterion in the r-Metastable Range,” 51:51.1-51.12. Schloss
    Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016. <a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.51">https://doi.org/10.4230/LIPIcs.SoCG.2016.51</a>.
  ieee: 'I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections,
    II. The deleted product criterion in the r-metastable range,” presented at the
    SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p.
    51.1-51.12.'
  ista: 'Mabillard I, Wagner U. 2016. Eliminating higher-multiplicity intersections,
    II. The deleted product criterion in the r-metastable range. SoCG: Symposium on
    Computational Geometry, LIPIcs, vol. 51, 51.1-51.12.'
  mla: Mabillard, Isaac, and Uli Wagner. <i>Eliminating Higher-Multiplicity Intersections,
    II. The Deleted Product Criterion in the r-Metastable Range</i>. Vol. 51, Schloss
    Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12, doi:<a href="https://doi.org/10.4230/LIPIcs.SoCG.2016.51">10.4230/LIPIcs.SoCG.2016.51</a>.
  short: I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik
    GmbH, 2016, p. 51.1-51.12.
conference:
  end_date: 2016-06-17
  location: Medford, MA, USA
  name: 'SoCG: Symposium on Computational Geometry'
  start_date: 2016-06-14
date_created: 2018-12-11T11:51:41Z
date_published: 2016-06-01T00:00:00Z
date_updated: 2021-01-12T06:50:17Z
day: '01'
ddc:
- '510'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2016.51
file:
- access_level: open_access
  checksum: 92c0c3735fe908f8ded6e484005cb3b1
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:06Z
  date_updated: 2020-07-14T12:44:47Z
  file_id: '4791'
  file_name: IST-2016-621-v1+1_LIPIcs-SoCG-2016-51.pdf
  file_size: 622969
  relation: main_file
file_date_updated: 2020-07-14T12:44:47Z
has_accepted_license: '1'
intvolume: '        51'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 51.1 - 51.12
project:
- _id: 25FA3206-B435-11E9-9278-68D0E5697425
  grant_number: PP00P2_138948
  name: 'Embeddings in Higher Dimensions: Algorithms and Combinatorics'
publication_status: published
publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH
publist_id: '5830'
pubrep_id: '621'
quality_controlled: '1'
scopus_import: 1
status: public
title: Eliminating higher-multiplicity intersections, II. The deleted product criterion
  in the r-metastable range
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2016'
...
---
_id: '1386'
abstract:
- lang: eng
  text: We consider nondeterministic probabilistic programs with the most basic liveness
    property of termination. We present efficient methods for termination analysis
    of nondeterministic probabilistic programs with polynomial guards and assignments.
    Our approach is through synthesis of polynomial ranking supermartingales, that
    on one hand significantly generalizes linear ranking supermartingales and on the
    other hand is a counterpart of polynomial ranking-functions for proving termination
    of nonprobabilistic programs. The approach synthesizes polynomial ranking-supermartingales
    through Positivstellensatz's, yielding an efficient method which is not only sound,
    but also semi-complete over a large subclass of programs. We show experimental
    results to demonstrate that our approach can handle several classical programs
    with complex polynomial guards and assignments, and can synthesize efficient quadratic
    ranking-supermartingales when a linear one does not exist even for simple affine
    programs.
alternative_title:
- LNCS
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Hongfei
  full_name: Fu, Hongfei
  id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
  last_name: Fu
- first_name: Amir
  full_name: Goharshady, Amir
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
citation:
  ama: 'Chatterjee K, Fu H, Goharshady AK. Termination analysis of probabilistic programs
    through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:<a href="https://doi.org/10.1007/978-3-319-41528-4_1">10.1007/978-3-319-41528-4_1</a>'
  apa: 'Chatterjee, K., Fu, H., &#38; Goharshady, A. K. (2016). Termination analysis
    of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22).
    Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.
    <a href="https://doi.org/10.1007/978-3-319-41528-4_1">https://doi.org/10.1007/978-3-319-41528-4_1</a>'
  chicago: Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination
    Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer,
    2016. <a href="https://doi.org/10.1007/978-3-319-41528-4_1">https://doi.org/10.1007/978-3-319-41528-4_1</a>.
  ieee: 'K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic
    programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification,
    Toronto, Canada, 2016, vol. 9779, pp. 3–22.'
  ista: 'Chatterjee K, Fu H, Goharshady AK. 2016. Termination analysis of probabilistic
    programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS,
    vol. 9779, 3–22.'
  mla: Chatterjee, Krishnendu, et al. <i>Termination Analysis of Probabilistic Programs
    through Positivstellensatz’s</i>. Vol. 9779, Springer, 2016, pp. 3–22, doi:<a
    href="https://doi.org/10.1007/978-3-319-41528-4_1">10.1007/978-3-319-41528-4_1</a>.
  short: K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
conference:
  end_date: 2016-07-23
  location: Toronto, Canada
  name: 'CAV: Computer Aided Verification'
  start_date: 2016-07-17
date_created: 2018-12-11T11:51:43Z
date_published: 2016-07-01T00:00:00Z
date_updated: 2024-03-25T23:30:18Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-319-41528-4_1
ec_funded: 1
intvolume: '      9779'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1604.07169
month: '07'
oa: 1
oa_version: Preprint
page: 3 - 22
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
publication_status: published
publisher: Springer
publist_id: '5824'
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: Termination analysis of probabilistic programs through Positivstellensatz's
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9779
year: '2016'
...
---
_id: '1389'
abstract:
- lang: eng
  text: "The continuous evolution of a wide variety of systems, including continous-time
    Markov chains and linear hybrid automata, can be\r\ndescribed in terms of linear
    differential equations. In this paper we study the decision problem of whether
    the solution x(t) of a system of linear differential equations dx/dt = Ax reaches
    a target halfspace infinitely often. This recurrent reachability problem can\r\nequivalently
    be formulated as the following Infinite Zeros Problem: does a real-valued function
    f:R≥0 --&gt; R satisfying a given linear\r\ndifferential equation have infinitely
    many zeros? Our main decidability result is that if the differential equation
    has order at most 7, then the Infinite Zeros Problem is decidable. On the other
    hand, we show that a decision procedure for the Infinite Zeros Problem at order
    9 (and above) would entail a major breakthrough in Diophantine Approximation,
    specifically an algorithm for computing the Lagrange constants of arbitrary real
    algebraic numbers to arbitrary precision."
author:
- first_name: Ventsislav K
  full_name: Chonev, Ventsislav K
  id: 36CBE2E6-F248-11E8-B48F-1D18A9856A87
  last_name: Chonev
- first_name: Joël
  full_name: Ouaknine, Joël
  last_name: Ouaknine
- first_name: James
  full_name: Worrell, James
  last_name: Worrell
citation:
  ama: 'Chonev VK, Ouaknine J, Worrell J. On recurrent reachability for continuous
    linear dynamical systems. In: <i>LICS ’16</i>. IEEE; 2016:515-524. doi:<a href="https://doi.org/10.1145/2933575.2934548">10.1145/2933575.2934548</a>'
  apa: 'Chonev, V. K., Ouaknine, J., &#38; Worrell, J. (2016). On recurrent reachability
    for continuous linear dynamical systems. In <i>LICS ’16</i> (pp. 515–524). New
    York, NY, USA: IEEE. <a href="https://doi.org/10.1145/2933575.2934548">https://doi.org/10.1145/2933575.2934548</a>'
  chicago: Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On Recurrent Reachability
    for Continuous Linear Dynamical Systems.” In <i>LICS ’16</i>, 515–24. IEEE, 2016.
    <a href="https://doi.org/10.1145/2933575.2934548">https://doi.org/10.1145/2933575.2934548</a>.
  ieee: V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for
    continuous linear dynamical systems,” in <i>LICS ’16</i>, New York, NY, USA, 2016,
    pp. 515–524.
  ista: 'Chonev VK, Ouaknine J, Worrell J. 2016. On recurrent reachability for continuous
    linear dynamical systems. LICS ’16. LICS: Logic in Computer Science, 515–524.'
  mla: Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear
    Dynamical Systems.” <i>LICS ’16</i>, IEEE, 2016, pp. 515–24, doi:<a href="https://doi.org/10.1145/2933575.2934548">10.1145/2933575.2934548</a>.
  short: V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
conference:
  end_date: 2018-07-08
  location: New York, NY, USA
  name: 'LICS: Logic in Computer Science'
  start_date: 2018-07-05
date_created: 2018-12-11T11:51:44Z
date_published: 2016-07-05T00:00:00Z
date_updated: 2021-01-12T06:50:20Z
day: '05'
department:
- _id: KrCh
doi: 10.1145/2933575.2934548
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1507.03632
month: '07'
oa: 1
oa_version: Preprint
page: 515 - 524
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: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
publication: LICS '16
publication_status: published
publisher: IEEE
publist_id: '5820'
quality_controlled: '1'
scopus_import: 1
status: public
title: On recurrent reachability for continuous linear dynamical systems
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '1391'
abstract:
- lang: eng
  text: "We present an extension to the quantifier-free theory of integer arrays which
    allows us to express counting. The properties expressible in Array Folds Logic
    (AFL) include statements such as &quot;the first array cell contains the array
    length,&quot; and &quot;the array contains equally many minimal and maximal elements.&quot;
    These properties cannot be expressed in quantified fragments of the theory of
    arrays, nor in the theory of concatenation. Using reduction to counter machines,
    we show that the satisfiability problem of AFL is PSPACE-complete, and with a
    natural restriction the complexity decreases to NP. We also show that adding either
    universal quantifiers or concatenation leads to undecidability.\r\nAFL contains
    terms that fold a function over an array. We demonstrate that folding, a well-known
    concept from functional languages, allows us to concisely summarize loops that
    count over arrays, which occurs frequently in real-life programs. We provide a
    tool that can discharge proof obligations in AFL, and we demonstrate on practical
    examples that our decision procedure can solve a broad range of problems in symbolic
    testing and program verification."
alternative_title:
- LNCS
author:
- first_name: Przemyslaw
  full_name: Daca, Przemyslaw
  id: 49351290-F248-11E8-B48F-1D18A9856A87
  last_name: Daca
- 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: Andrey
  full_name: Kupriyanov, Andrey
  id: 2C311BF8-F248-11E8-B48F-1D18A9856A87
  last_name: Kupriyanov
citation:
  ama: 'Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer;
    2016:230-248. doi:<a href="https://doi.org/10.1007/978-3-319-41540-6_13">10.1007/978-3-319-41540-6_13</a>'
  apa: 'Daca, P., Henzinger, T. A., &#38; Kupriyanov, A. (2016). Array folds logic
    (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto,
    Canada: Springer. <a href="https://doi.org/10.1007/978-3-319-41540-6_13">https://doi.org/10.1007/978-3-319-41540-6_13</a>'
  chicago: Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds
    Logic,” 9780:230–48. Springer, 2016. <a href="https://doi.org/10.1007/978-3-319-41540-6_13">https://doi.org/10.1007/978-3-319-41540-6_13</a>.
  ieee: 'P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented
    at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp.
    230–248.'
  ista: 'Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer
    Aided Verification, LNCS, vol. 9780, 230–248.'
  mla: Daca, Przemyslaw, et al. <i>Array Folds Logic</i>. Vol. 9780, Springer, 2016,
    pp. 230–48, doi:<a href="https://doi.org/10.1007/978-3-319-41540-6_13">10.1007/978-3-319-41540-6_13</a>.
  short: P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
conference:
  end_date: 2016-07-23
  location: Toronto, Canada
  name: 'CAV: Computer Aided Verification'
  start_date: 2016-07-17
date_created: 2018-12-11T11:51:45Z
date_published: 2016-07-13T00:00:00Z
date_updated: 2023-09-07T11:58:33Z
day: '13'
department:
- _id: ToHe
doi: 10.1007/978-3-319-41540-6_13
ec_funded: 1
intvolume: '      9780'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1603.06850
month: '07'
oa: 1
oa_version: Preprint
page: 230 - 248
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
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_status: published
publisher: Springer
publist_id: '5818'
quality_controlled: '1'
related_material:
  record:
  - id: '1155'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: Array folds logic
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9780
year: '2016'
...
---
_id: '1394'
abstract:
- lang: eng
  text: "The solution space of genome-scale models of cellular metabolism provides
    a map between physically\r\nviable flux configurations and cellular metabolic
    phenotypes described, at the most basic level, by the\r\ncorresponding growth
    rates. By sampling the solution space of E. coliʼs metabolic network, we show\r\nthat
    empirical growth rate distributions recently obtained in experiments at single-cell
    resolution can\r\nbe explained in terms of a trade-off between the higher fitness
    of fast-growing phenotypes and the\r\nhigher entropy of slow-growing ones. Based
    on this, we propose a minimal model for the evolution of\r\na large bacterial
    population that captures this trade-off. The scaling relationships observed in\r\nexperiments
    encode, in such frameworks, for the same distance from the maximum achievable
    growth\r\nrate, the same degree of growth rate maximization, and/or the same rate
    of phenotypic change. Being\r\ngrounded on genome-scale metabolic network reconstructions,
    these results allow for multiple\r\nimplications and extensions in spite of the
    underlying conceptual simplicity."
acknowledgement: "The research leading to these results has received funding from
  the from the Marie\r\nCurie Action ITN NETADIS, grant agreement no. 290038."
article_number: '036005'
author:
- first_name: Daniele
  full_name: De Martino, Daniele
  id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
  last_name: De Martino
  orcid: 0000-0002-5214-4706
- first_name: Fabrizio
  full_name: Capuani, Fabrizio
  last_name: Capuani
- first_name: Andrea
  full_name: De Martino, Andrea
  last_name: De Martino
citation:
  ama: 'De Martino D, Capuani F, De Martino A. Growth against entropy in bacterial
    metabolism: the phenotypic trade-off behind empirical growth rate distributions
    in E. coli. <i>Physical Biology</i>. 2016;13(3). doi:<a href="https://doi.org/10.1088/1478-3975/13/3/036005">10.1088/1478-3975/13/3/036005</a>'
  apa: 'De Martino, D., Capuani, F., &#38; De Martino, A. (2016). Growth against entropy
    in bacterial metabolism: the phenotypic trade-off behind empirical growth rate
    distributions in E. coli. <i>Physical Biology</i>. IOP Publishing Ltd. <a href="https://doi.org/10.1088/1478-3975/13/3/036005">https://doi.org/10.1088/1478-3975/13/3/036005</a>'
  chicago: 'De Martino, Daniele, Fabrizio Capuani, and Andrea De Martino. “Growth
    against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical
    Growth Rate Distributions in E. Coli.” <i>Physical Biology</i>. IOP Publishing
    Ltd., 2016. <a href="https://doi.org/10.1088/1478-3975/13/3/036005">https://doi.org/10.1088/1478-3975/13/3/036005</a>.'
  ieee: 'D. De Martino, F. Capuani, and A. De Martino, “Growth against entropy in
    bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions
    in E. coli,” <i>Physical Biology</i>, vol. 13, no. 3. IOP Publishing Ltd., 2016.'
  ista: 'De Martino D, Capuani F, De Martino A. 2016. Growth against entropy in bacterial
    metabolism: the phenotypic trade-off behind empirical growth rate distributions
    in E. coli. Physical Biology. 13(3), 036005.'
  mla: 'De Martino, Daniele, et al. “Growth against Entropy in Bacterial Metabolism:
    The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.”
    <i>Physical Biology</i>, vol. 13, no. 3, 036005, IOP Publishing Ltd., 2016, doi:<a
    href="https://doi.org/10.1088/1478-3975/13/3/036005">10.1088/1478-3975/13/3/036005</a>.'
  short: D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
date_created: 2018-12-11T11:51:46Z
date_published: 2016-05-27T00:00:00Z
date_updated: 2021-01-12T06:50:23Z
day: '27'
department:
- _id: GaTk
doi: 10.1088/1478-3975/13/3/036005
ec_funded: 1
intvolume: '        13'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1601.03243
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Physical Biology
publication_status: published
publisher: IOP Publishing Ltd.
publist_id: '5815'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Growth against entropy in bacterial metabolism: the phenotypic trade-off behind
  empirical growth rate distributions in E. coli'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2016'
...
---
_id: '1396'
abstract:
- lang: eng
  text: CA3 pyramidal neurons are thought to pay a key role in memory storage and
    pattern completion by activity-dependent synaptic plasticity between CA3-CA3 recurrent
    excitatory synapses. To examine the induction rules of synaptic plasticity at
    CA3-CA3 synapses, we performed whole-cell patch-clamp recordings in acute hippocampal
    slices from rats (postnatal 21-24 days) at room temperature. Compound excitatory
    postsynaptic potentials (ESPSs) were recorded by tract stimulation in stratum
    oriens in the presence of 10 µM gabazine. High-frequency stimulation (HFS) induced
    N-methyl-D-aspartate (NMDA) receptor-dependent long-term potentiation (LTP). Although
    LTP by HFS did not requier postsynaptic spikes, it was blocked by Na+-channel
    blockers suggesting that local active processes (e.g.) dendritic spikes) may contribute
    to LTP induction without requirement of a somatic action potential (AP). We next
    examined the properties of spike timing-dependent plasticity (STDP) at CA3-CA3
    synapses. Unexpectedly, low-frequency pairing of EPSPs and backpropagated action
    potentialy (bAPs) induced LTP, independent of temporal order. The STDP curve was
    symmetric and broad, with a half-width of ~150 ms. Consistent with these specific
    STDP induction properties, post-presynaptic sequences led to a supralinear summation
    of spine [Ca2+] transients. Furthermore, in autoassociative network models, storage
    and recall was substantially more robust with symmetric than with asymmetric STDP
    rules. In conclusion, we found associative forms of LTP at CA3-CA3 recurrent collateral
    synapses with distinct induction rules. LTP induced by HFS may be associated with
    dendritic spikes. In contrast, low frequency pairing of pre- and postsynaptic
    activity induced LTP only if EPSP-AP were temporally very close. Together, these
    induction mechanisms of synaptiic plasticity may contribute to memory storage
    in the CA3-CA3 microcircuit at different ranges of activity.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Rajiv Kumar
  full_name: Mishra, Rajiv Kumar
  id: 46CB58F2-F248-11E8-B48F-1D18A9856A87
  last_name: Mishra
citation:
  ama: Mishra RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus.
    2016.
  apa: Mishra, R. K. (2016). <i>Synaptic plasticity rules at CA3-CA3 recurrent synapses
    in hippocampus</i>. Institute of Science and Technology Austria.
  chicago: Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses
    in Hippocampus.” Institute of Science and Technology Austria, 2016.
  ieee: R. K. Mishra, “Synaptic plasticity rules at CA3-CA3 recurrent synapses in
    hippocampus,” Institute of Science and Technology Austria, 2016.
  ista: Mishra RK. 2016. Synaptic plasticity rules at CA3-CA3 recurrent synapses in
    hippocampus. Institute of Science and Technology Austria.
  mla: Mishra, Rajiv Kumar. <i>Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses
    in Hippocampus</i>. Institute of Science and Technology Austria, 2016.
  short: R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus,
    Institute of Science and Technology Austria, 2016.
date_created: 2018-12-11T11:51:46Z
date_published: 2016-03-01T00:00:00Z
date_updated: 2023-09-07T11:55:26Z
day: '01'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: PeJo
file:
- access_level: closed
  checksum: 5a010a838faf040f7064f3cfb802f743
  content_type: application/pdf
  creator: dernst
  date_created: 2019-08-09T12:14:46Z
  date_updated: 2020-07-14T12:44:48Z
  file_id: '6782'
  file_name: Thesis_Mishra_Rajiv (Final).pdf
  file_size: 2407572
  relation: main_file
- access_level: open_access
  checksum: 81b26d9ede92c99f1d8cc6fa1d04cbbb
  content_type: application/pdf
  creator: dernst
  date_created: 2021-02-22T11:48:44Z
  date_updated: 2021-02-22T11:48:44Z
  file_id: '9183'
  file_name: 2016_RajivMishra_Thesis.pdf
  file_size: 2407572
  relation: main_file
  success: 1
file_date_updated: 2021-02-22T11:48:44Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '83'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5811'
related_material:
  record:
  - id: '1432'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
title: Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2016'
...
---
_id: '1398'
abstract:
- lang: eng
  text: Hybrid zones represent evolutionary laboratories, where recombination brings
    together alleles in combinations which have not previously been tested by selection.
    This provides an excellent opportunity to test the effect of molecular variation
    on fitness, and how this variation is able to spread through populations in a
    natural context. The snapdragon Antirrhinum majus is polymorphic in the wild for
    two loci controlling the distribution of yellow and magenta floral pigments. Where
    the yellow A. m. striatum and the magenta A. m. pseudomajus meet along a valley
    in the Spanish Pyrenees they form a stable hybrid zone Alleles at these loci recombine
    to give striking transgressive variation for flower colour. The sharp transition
    in phenotype over ~1km implies strong selection maintaining the hybrid zone. An
    indirect assay of pollinator visitation in the field found that pollinators forage
    in a positive-frequency dependent manner on Antirrhinum, matching previous data
    on fruit set. Experimental arrays and paternity analysis of wild-pollinated seeds
    demonstrated assortative mating for pigmentation alleles, and that pollinator
    behaviour alone is sufficient to explain this pattern. Selection by pollinators
    should be sufficiently strong to maintain the hybrid zone, although other mechanisms
    may be at work. At a broader scale I examined evolutionary transitions between
    yellow and anthocyanin pigmentation in the tribe Antirrhinae, and found that selection
    has acted strate that pollinators are a major determinant of reproductive success
    and mating patterns in wild Antirrhinum.
acknowledgement: "I am indebted to many people for their support during my PhD, but
  I particularly wish to thank Nick Barton for his guidance and intuition, and for
  encouraging me to take the time to look beyond the immediate topic of my PhD to
  understand the broader context. I am also especially grateful to David Field his
  bottomless patience, invaluable advice on experimental design, analysis and scientific
  writing, and for tireless work on the population surveys and genomic work without
  most of my thesis could not have happened. \r\n\r\nIt has been a pleasure to work
  with the combined strengths of the groups at The John Innes Centre, University of
  Toulouse and IST Austria. Thanks to Enrico Coen and his group for hosting me in
  Norwich in 2011 and especially for setting up the tag experiment. \r\n\r\nI thank
  David Field, Desmond Bradley and Maria Clara Melo-Hurtado for organising field collections,
  as well as Monique Burrus and Christophe Andalo and a large number of volunteers
  for their e ff orts helping with the field work. Furthermore I thank Coline Jaworski
  for providing seeds and for her input into the design of the experimental arrays,
  and Matthew Couchman for maintaining the database of. \r\n\r\nIn addition to those
  mentioned above, I am grateful to Melinda Pickup, Spencer Barrett, and four anonymous
  reviewers for their insightful comments on sections of this manuscript. I also thank
  Jana Porsche for her e ff orts in tracking down the more obscure references for
  chapter 5, and Jon Bollback for his advice about the analysis. \r\n\r\nI am indebted
  to Jon Ågren for his patience whilst I finished this thesis, and to Sylvia Cremer
  and Magnus Nordborg for taking the time to read and evaluate the thesis given a
  shorter deadline than was fair. \r\n\r\nA very positive aspect of my PhD has been
  the supportive atmosphere of IST. In particular, I have come to appreciate the enormous
  support from our group assistants Nicole Hotzy, Julia Asimakis, Christine Ostermann
  and Jerneja Beslagic. I also thank Christian Chaloupka and Stefan Hipfinger for
  their enthusiasm and readiness to help where possible in setting up our greenhouse
  and experiments. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Thomas
  full_name: Ellis, Thomas
  id: 3153D6D4-F248-11E8-B48F-1D18A9856A87
  last_name: Ellis
  orcid: 0000-0002-8511-0254
citation:
  ama: Ellis T. The role of pollinator-mediated selection in the maintenance of a
    flower color polymorphism in an Antirrhinum majus hybrid zone. 2016. doi:<a href="https://doi.org/10.15479/AT:ISTA:TH_526
    ">10.15479/AT:ISTA:TH_526 </a>
  apa: Ellis, T. (2016). <i>The role of pollinator-mediated selection in the maintenance
    of a flower color polymorphism in an Antirrhinum majus hybrid zone</i>. Institute
    of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:TH_526
    ">https://doi.org/10.15479/AT:ISTA:TH_526 </a>
  chicago: Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance
    of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.” Institute
    of Science and Technology Austria, 2016. <a href="https://doi.org/10.15479/AT:ISTA:TH_526
    ">https://doi.org/10.15479/AT:ISTA:TH_526 </a>.
  ieee: T. Ellis, “The role of pollinator-mediated selection in the maintenance of
    a flower color polymorphism in an Antirrhinum majus hybrid zone,” Institute of
    Science and Technology Austria, 2016.
  ista: Ellis T. 2016. The role of pollinator-mediated selection in the maintenance
    of a flower color polymorphism in an Antirrhinum majus hybrid zone. Institute
    of Science and Technology Austria.
  mla: Ellis, Thomas. <i>The Role of Pollinator-Mediated Selection in the Maintenance
    of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone</i>. Institute
    of Science and Technology Austria, 2016, doi:<a href="https://doi.org/10.15479/AT:ISTA:TH_526
    ">10.15479/AT:ISTA:TH_526 </a>.
  short: T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of
    a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of
    Science and Technology Austria, 2016.
date_created: 2018-12-11T11:51:47Z
date_published: 2016-02-18T00:00:00Z
date_updated: 2024-02-21T13:51:39Z
day: '18'
ddc:
- '576'
degree_awarded: PhD
department:
- _id: NiBa
doi: '10.15479/AT:ISTA:TH_526 '
file:
- access_level: open_access
  checksum: a89b17ff27cf92c9a15f6b3d46bd7e53
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:14:51Z
  date_updated: 2020-07-14T12:44:48Z
  file_id: '5106'
  file_name: IST-2016-526-v1+1_Ellis_signed_thesis.pdf
  file_size: 11928241
  relation: main_file
file_date_updated: 2020-07-14T12:44:48Z
has_accepted_license: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '130'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5809'
pubrep_id: '526'
related_material:
  record:
  - id: '5553'
    relation: popular_science
    status: public
  - id: '5551'
    relation: popular_science
    status: public
  - id: '5552'
    relation: popular_science
    status: public
status: public
supervisor:
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
title: The role of pollinator-mediated selection in the maintenance of a flower color
  polymorphism in an Antirrhinum majus hybrid zone
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2016'
...
---
_id: '14010'
abstract:
- lang: eng
  text: We report measurements of energy-dependent attosecond photoionization delays
    between the two outer-most valence shells of N2O and H2O. The combination of single-shot
    signal referencing with the use of different metal foils to filter the attosecond
    pulse train enables us to extract delays from congested spectra. Remarkably large
    delays up to 160 as are observed in N2O, whereas the delays in H2O are all smaller
    than 50 as in the photon-energy range of 20-40 eV. These results are interpreted
    by developing a theory of molecular photoionization delays. The long delays measured
    in N2O are shown to reflect the population of molecular shape resonances that
    trap the photoelectron for a duration of up to ∼110 as. The unstructured continua
    of H2O result in much smaller delays at the same photon energies. Our experimental
    and theoretical methods make the study of molecular attosecond photoionization
    dynamics accessible.
article_number: '093001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Martin
  full_name: Huppert, Martin
  last_name: Huppert
- first_name: Inga
  full_name: Jordan, Inga
  last_name: Jordan
- first_name: Denitsa Rangelova
  full_name: Baykusheva, Denitsa Rangelova
  id: 71b4d059-2a03-11ee-914d-dfa3beed6530
  last_name: Baykusheva
- first_name: Aaron
  full_name: von Conta, Aaron
  last_name: von Conta
- first_name: Hans Jakob
  full_name: Wörner, Hans Jakob
  last_name: Wörner
citation:
  ama: Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. Attosecond delays
    in molecular photoionization. <i>Physical Review Letters</i>. 2016;117(9). doi:<a
    href="https://doi.org/10.1103/physrevlett.117.093001">10.1103/physrevlett.117.093001</a>
  apa: Huppert, M., Jordan, I., Baykusheva, D. R., von Conta, A., &#38; Wörner, H.
    J. (2016). Attosecond delays in molecular photoionization. <i>Physical Review
    Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/physrevlett.117.093001">https://doi.org/10.1103/physrevlett.117.093001</a>
  chicago: Huppert, Martin, Inga Jordan, Denitsa Rangelova Baykusheva, Aaron von Conta,
    and Hans Jakob Wörner. “Attosecond Delays in Molecular Photoionization.” <i>Physical
    Review Letters</i>. American Physical Society, 2016. <a href="https://doi.org/10.1103/physrevlett.117.093001">https://doi.org/10.1103/physrevlett.117.093001</a>.
  ieee: M. Huppert, I. Jordan, D. R. Baykusheva, A. von Conta, and H. J. Wörner, “Attosecond
    delays in molecular photoionization,” <i>Physical Review Letters</i>, vol. 117,
    no. 9. American Physical Society, 2016.
  ista: Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. 2016. Attosecond
    delays in molecular photoionization. Physical Review Letters. 117(9), 093001.
  mla: Huppert, Martin, et al. “Attosecond Delays in Molecular Photoionization.” <i>Physical
    Review Letters</i>, vol. 117, no. 9, 093001, American Physical Society, 2016,
    doi:<a href="https://doi.org/10.1103/physrevlett.117.093001">10.1103/physrevlett.117.093001</a>.
  short: M. Huppert, I. Jordan, D.R. Baykusheva, A. von Conta, H.J. Wörner, Physical
    Review Letters 117 (2016).
date_created: 2023-08-10T06:37:07Z
date_published: 2016-08-26T00:00:00Z
date_updated: 2023-08-22T08:42:50Z
day: '26'
doi: 10.1103/physrevlett.117.093001
extern: '1'
external_id:
  arxiv:
  - '1607.07435'
  pmid:
  - '27610849'
intvolume: '       117'
issue: '9'
keyword:
- General Physics and Astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1607.07435
month: '08'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
  eissn:
  - 1079-7114
  issn:
  - 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Attosecond delays in molecular photoionization
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 117
year: '2016'
...
---
_id: '14012'
abstract:
- lang: eng
  text: Monochromatization of high-harmonic sources has opened fascinating perspectives
    regarding time-resolved photoemission from all phases of matter. Such studies
    have invariably involved the use of spectral filters or spectrally dispersive
    optical components that are inherently lossy and technically complex. Here we
    present a new technique for the spectral selection of near-threshold harmonics
    and their spatial separation from the driving beams without any optical elements.
    We discover the existence of a narrow phase-matching gate resulting from the combination
    of the non-collinear generation geometry in an extended medium, atomic resonances
    and absorption. Our technique offers a filter contrast of up to 104 for the selected
    harmonics against the adjacent ones and offers multiple temporally synchronized
    beamlets in a single unified scheme. We demonstrate the selective generation of
    133, 80 or 56 nm femtosecond pulses from a 400-nm driver, which is specific to
    the target gas. These results open new pathways towards phase-sensitive multi-pulse
    spectroscopy in the vacuum- and extreme-ultraviolet, and frequency-selective output
    coupling from enhancement cavities.
article_processing_charge: No
article_type: original
author:
- first_name: Rajendran
  full_name: Rajeev, Rajendran
  last_name: Rajeev
- first_name: Johannes
  full_name: Hellwagner, Johannes
  last_name: Hellwagner
- first_name: Anne
  full_name: Schumacher, Anne
  last_name: Schumacher
- first_name: Inga
  full_name: Jordan, Inga
  last_name: Jordan
- first_name: Martin
  full_name: Huppert, Martin
  last_name: Huppert
- first_name: Andres
  full_name: Tehlar, Andres
  last_name: Tehlar
- first_name: Bhargava Ram
  full_name: Niraghatam, Bhargava Ram
  last_name: Niraghatam
- first_name: Denitsa Rangelova
  full_name: Baykusheva, Denitsa Rangelova
  id: 71b4d059-2a03-11ee-914d-dfa3beed6530
  last_name: Baykusheva
- first_name: 'Nan'
  full_name: Lin, Nan
  last_name: Lin
- first_name: Aaron
  full_name: von Conta, Aaron
  last_name: von Conta
- first_name: Hans Jakob
  full_name: Wörner, Hans Jakob
  last_name: Wörner
citation:
  ama: 'Rajeev R, Hellwagner J, Schumacher A, et al. In situ frequency gating and
    beam splitting of vacuum- and extreme-ultraviolet pulses. <i>Light: Science &#38;
    Applications</i>. 2016;5(11):e16170-e16170. doi:<a href="https://doi.org/10.1038/lsa.2016.170">10.1038/lsa.2016.170</a>'
  apa: 'Rajeev, R., Hellwagner, J., Schumacher, A., Jordan, I., Huppert, M., Tehlar,
    A., … Wörner, H. J. (2016). In situ frequency gating and beam splitting of vacuum-
    and extreme-ultraviolet pulses. <i>Light: Science &#38; Applications</i>. Springer
    Nature. <a href="https://doi.org/10.1038/lsa.2016.170">https://doi.org/10.1038/lsa.2016.170</a>'
  chicago: 'Rajeev, Rajendran, Johannes Hellwagner, Anne Schumacher, Inga Jordan,
    Martin Huppert, Andres Tehlar, Bhargava Ram Niraghatam, et al. “In Situ Frequency
    Gating and Beam Splitting of Vacuum- and Extreme-Ultraviolet Pulses.” <i>Light:
    Science &#38; Applications</i>. Springer Nature, 2016. <a href="https://doi.org/10.1038/lsa.2016.170">https://doi.org/10.1038/lsa.2016.170</a>.'
  ieee: 'R. Rajeev <i>et al.</i>, “In situ frequency gating and beam splitting of
    vacuum- and extreme-ultraviolet pulses,” <i>Light: Science &#38; Applications</i>,
    vol. 5, no. 11. Springer Nature, pp. e16170–e16170, 2016.'
  ista: 'Rajeev R, Hellwagner J, Schumacher A, Jordan I, Huppert M, Tehlar A, Niraghatam
    BR, Baykusheva DR, Lin N, von Conta A, Wörner HJ. 2016. In situ frequency gating
    and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science &#38;
    Applications. 5(11), e16170–e16170.'
  mla: 'Rajeev, Rajendran, et al. “In Situ Frequency Gating and Beam Splitting of
    Vacuum- and Extreme-Ultraviolet Pulses.” <i>Light: Science &#38; Applications</i>,
    vol. 5, no. 11, Springer Nature, 2016, pp. e16170–e16170, doi:<a href="https://doi.org/10.1038/lsa.2016.170">10.1038/lsa.2016.170</a>.'
  short: 'R. Rajeev, J. Hellwagner, A. Schumacher, I. Jordan, M. Huppert, A. Tehlar,
    B.R. Niraghatam, D.R. Baykusheva, N. Lin, A. von Conta, H.J. Wörner, Light: Science
    &#38; Applications 5 (2016) e16170–e16170.'
date_created: 2023-08-10T06:37:25Z
date_published: 2016-11-01T00:00:00Z
date_updated: 2023-08-22T08:46:05Z
day: '01'
doi: 10.1038/lsa.2016.170
extern: '1'
external_id:
  pmid:
  - '30167130'
intvolume: '         5'
issue: '11'
keyword:
- Atomic and Molecular Physics
- and Optics
- Electronic
- Optical and Magnetic Materials
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/lsa.2016.170
month: '11'
oa: 1
oa_version: Published Version
page: e16170-e16170
pmid: 1
publication: 'Light: Science & Applications'
publication_identifier:
  eissn:
  - 2047-7538
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet
  pulses
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2016'
...
---
_id: '1408'
abstract:
- lang: eng
  text: 'The concept of well group in a special but important case captures homological
    properties of the zero set of a continuous map (Formula presented.) on a compact
    space K that are invariant with respect to perturbations of f. The perturbations
    are arbitrary continuous maps within (Formula presented.) distance r from f for
    a given (Formula presented.). The main drawback of the approach is that the computability
    of well groups was shown only when (Formula presented.) or (Formula presented.).
    Our contribution to the theory of well groups is twofold: on the one hand we improve
    on the computability issue, but on the other hand we present a range of examples
    where the well groups are incomplete invariants, that is, fail to capture certain
    important robust properties of the zero set. For the first part, we identify a
    computable subgroup of the well group that is obtained by cap product with the
    pullback of the orientation of (Formula presented.) by f. In other words, well
    groups can be algorithmically approximated from below. When f is smooth and (Formula
    presented.), our approximation of the (Formula presented.)th well group is exact.
    For the second part, we find examples of maps (Formula presented.) with all well
    groups isomorphic but whose perturbations have different zero sets. We discuss
    on a possible replacement of the well groups of vector valued maps by an invariant
    of a better descriptive power and computability status.'
acknowledgement: 'Open access funding provided by Institute of Science and Technology
  (IST Austria). '
article_processing_charge: Yes (via OA deal)
author:
- first_name: Peter
  full_name: Franek, Peter
  id: 473294AE-F248-11E8-B48F-1D18A9856A87
  last_name: Franek
- first_name: Marek
  full_name: Krcál, Marek
  id: 33E21118-F248-11E8-B48F-1D18A9856A87
  last_name: Krcál
citation:
  ama: Franek P, Krcál M. On computability and triviality of well groups. <i>Discrete
    &#38; Computational Geometry</i>. 2016;56(1):126-164. doi:<a href="https://doi.org/10.1007/s00454-016-9794-2">10.1007/s00454-016-9794-2</a>
  apa: Franek, P., &#38; Krcál, M. (2016). On computability and triviality of well
    groups. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href="https://doi.org/10.1007/s00454-016-9794-2">https://doi.org/10.1007/s00454-016-9794-2</a>
  chicago: Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well
    Groups.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2016. <a href="https://doi.org/10.1007/s00454-016-9794-2">https://doi.org/10.1007/s00454-016-9794-2</a>.
  ieee: P. Franek and M. Krcál, “On computability and triviality of well groups,”
    <i>Discrete &#38; Computational Geometry</i>, vol. 56, no. 1. Springer, pp. 126–164,
    2016.
  ista: Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete
    &#38; Computational Geometry. 56(1), 126–164.
  mla: Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.”
    <i>Discrete &#38; Computational Geometry</i>, vol. 56, no. 1, Springer, 2016,
    pp. 126–64, doi:<a href="https://doi.org/10.1007/s00454-016-9794-2">10.1007/s00454-016-9794-2</a>.
  short: P. Franek, M. Krcál, Discrete &#38; Computational Geometry 56 (2016) 126–164.
date_created: 2018-12-11T11:51:51Z
date_published: 2016-07-01T00:00:00Z
date_updated: 2023-02-23T10:02:11Z
day: '01'
ddc:
- '510'
department:
- _id: UlWa
- _id: HeEd
doi: 10.1007/s00454-016-9794-2
ec_funded: 1
file:
- access_level: open_access
  checksum: e0da023abf6b72abd8c6a8c76740d53c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:55Z
  date_updated: 2020-07-14T12:44:53Z
  file_id: '4846'
  file_name: IST-2016-614-v1+1_s00454-016-9794-2.pdf
  file_size: 905303
  relation: main_file
file_date_updated: 2020-07-14T12:44:53Z
has_accepted_license: '1'
intvolume: '        56'
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 126 - 164
project:
- _id: 25F8B9BC-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: M01980
  name: Robust invariants of Nonlinear Systems
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '5799'
pubrep_id: '614'
quality_controlled: '1'
related_material:
  record:
  - id: '1510'
    relation: earlier_version
    status: public
scopus_import: 1
status: public
title: On computability and triviality of well groups
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 56
year: '2016'
...
---
_id: '1409'
author:
- first_name: Richard
  full_name: Abbott, Richard
  last_name: Abbott
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
- first_name: Jeffrey
  full_name: Good, Jeffrey
  last_name: Good
citation:
  ama: Abbott R, Barton NH, Good J. Genomics of hybridization and its evolutionary
    consequences. <i>Molecular Ecology</i>. 2016;25(11):2325-2332. doi:<a href="https://doi.org/10.1111/mec.13685">10.1111/mec.13685</a>
  apa: Abbott, R., Barton, N. H., &#38; Good, J. (2016). Genomics of hybridization
    and its evolutionary consequences. <i>Molecular Ecology</i>. Wiley-Blackwell.
    <a href="https://doi.org/10.1111/mec.13685">https://doi.org/10.1111/mec.13685</a>
  chicago: Abbott, Richard, Nicholas H Barton, and Jeffrey Good. “Genomics of Hybridization
    and Its Evolutionary Consequences.” <i>Molecular Ecology</i>. Wiley-Blackwell,
    2016. <a href="https://doi.org/10.1111/mec.13685">https://doi.org/10.1111/mec.13685</a>.
  ieee: R. Abbott, N. H. Barton, and J. Good, “Genomics of hybridization and its evolutionary
    consequences,” <i>Molecular Ecology</i>, vol. 25, no. 11. Wiley-Blackwell, pp.
    2325–2332, 2016.
  ista: Abbott R, Barton NH, Good J. 2016. Genomics of hybridization and its evolutionary
    consequences. Molecular Ecology. 25(11), 2325–2332.
  mla: Abbott, Richard, et al. “Genomics of Hybridization and Its Evolutionary Consequences.”
    <i>Molecular Ecology</i>, vol. 25, no. 11, Wiley-Blackwell, 2016, pp. 2325–32,
    doi:<a href="https://doi.org/10.1111/mec.13685">10.1111/mec.13685</a>.
  short: R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
date_created: 2018-12-11T11:51:51Z
date_published: 2016-06-08T00:00:00Z
date_updated: 2021-01-12T06:50:33Z
day: '08'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1111/mec.13685
file:
- access_level: open_access
  checksum: ede7d0b8a471754f71f17e2b20f3135b
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:12Z
  date_updated: 2020-07-14T12:44:53Z
  file_id: '4797'
  file_name: IST-2017-772-v1+1_AbbotEtAl2016-3.pdf
  file_size: 226137
  relation: main_file
file_date_updated: 2020-07-14T12:44:53Z
has_accepted_license: '1'
intvolume: '        25'
issue: '11'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 2325 - 2332
publication: Molecular Ecology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5798'
pubrep_id: '772'
quality_controlled: '1'
scopus_import: 1
status: public
title: Genomics of hybridization and its evolutionary consequences
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2016'
...
---
_id: '1410'
abstract:
- lang: eng
  text: The pollen grains arise after meiosis of pollen mother cells within the anthers.
    A series of complex structural changes follows, generating mature pollen grains
    capable of performing the double fertilization of the female megasporophyte. Several
    signaling molecules, including hormones and lipids, have been involved in the
    regulation and appropriate control of pollen development. Phosphatidylinositol
    4-phophate 5-kinases (PIP5K), which catalyze the biosynthesis of the phosphoinositide
    PtdIns(4,5)P2, are important for tip polar growth of root hairs and pollen tubes,
    embryo development, vegetative plant growth, and responses to the environment.
    Here, we report a role of PIP5Ks during microgametogenesis. PIP5K1 and PIP5K2
    are expressed during early stages of pollen development and their transcriptional
    activity respond to auxin in pollen grains. Early male gametophytic lethality
    to certain grade was observed in both pip5k1-/- and pip5k2-/- single mutants.
    The number of pip5k mutant alleles is directly related to the frequency of aborted
    pollen grains suggesting the two genes are involved in the same function. Indeed
    PIP5K1 and PIP5K2 are functionally redundant since homozygous double mutants did
    not render viable pollen grains. The loss of function of PIP5K1 and PIP5K2results
    in defects in vacuole morphology in pollen at the later stages and epidermal root
    cells. Our results show that PIP5K1, PIP5K2 and phosphoinositide signaling are
    important cues for early developmental stages and vacuole formation during microgametogenesis.
acknowledgement: the Odysseus Program of the Research Foundation-Flanders [G091608]
  to JF.
author:
- first_name: José
  full_name: Ugalde, José
  last_name: Ugalde
- first_name: Cecilia
  full_name: Rodríguez Furlán, Cecilia
  last_name: Rodríguez Furlán
- first_name: Riet
  full_name: De Rycke, Riet
  last_name: De Rycke
- first_name: Lorena
  full_name: Norambuena, Lorena
  last_name: Norambuena
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Gabriel
  full_name: León, Gabriel
  last_name: León
- first_name: Ricardo
  full_name: Tejos, Ricardo
  last_name: Tejos
citation:
  ama: Ugalde J, Rodríguez Furlán C, De Rycke R, et al. Phosphatidylinositol 4-phosphate
    5-kinases 1 and 2 are involved in the regulation of vacuole morphology during
    Arabidopsis thaliana pollen development. <i>Plant Science</i>. 2016;250:10-19.
    doi:<a href="https://doi.org/10.1016/j.plantsci.2016.05.014">10.1016/j.plantsci.2016.05.014</a>
  apa: Ugalde, J., Rodríguez Furlán, C., De Rycke, R., Norambuena, L., Friml, J.,
    León, G., &#38; Tejos, R. (2016). Phosphatidylinositol 4-phosphate 5-kinases 1
    and 2 are involved in the regulation of vacuole morphology during Arabidopsis
    thaliana pollen development. <i>Plant Science</i>. Elsevier. <a href="https://doi.org/10.1016/j.plantsci.2016.05.014">https://doi.org/10.1016/j.plantsci.2016.05.014</a>
  chicago: Ugalde, José, Cecilia Rodríguez Furlán, Riet De Rycke, Lorena Norambuena,
    Jiří Friml, Gabriel León, and Ricardo Tejos. “Phosphatidylinositol 4-Phosphate
    5-Kinases 1 and 2 Are Involved in the Regulation of Vacuole Morphology during
    Arabidopsis Thaliana Pollen Development.” <i>Plant Science</i>. Elsevier, 2016.
    <a href="https://doi.org/10.1016/j.plantsci.2016.05.014">https://doi.org/10.1016/j.plantsci.2016.05.014</a>.
  ieee: J. Ugalde <i>et al.</i>, “Phosphatidylinositol 4-phosphate 5-kinases 1 and
    2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana
    pollen development,” <i>Plant Science</i>, vol. 250. Elsevier, pp. 10–19, 2016.
  ista: Ugalde J, Rodríguez Furlán C, De Rycke R, Norambuena L, Friml J, León G, Tejos
    R. 2016. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the
    regulation of vacuole morphology during Arabidopsis thaliana pollen development.
    Plant Science. 250, 10–19.
  mla: Ugalde, José, et al. “Phosphatidylinositol 4-Phosphate 5-Kinases 1 and 2 Are
    Involved in the Regulation of Vacuole Morphology during Arabidopsis Thaliana Pollen
    Development.” <i>Plant Science</i>, vol. 250, Elsevier, 2016, pp. 10–19, doi:<a
    href="https://doi.org/10.1016/j.plantsci.2016.05.014">10.1016/j.plantsci.2016.05.014</a>.
  short: J. Ugalde, C. Rodríguez Furlán, R. De Rycke, L. Norambuena, J. Friml, G.
    León, R. Tejos, Plant Science 250 (2016) 10–19.
date_created: 2018-12-11T11:51:51Z
date_published: 2016-09-01T00:00:00Z
date_updated: 2021-01-12T06:50:33Z
day: '01'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1016/j.plantsci.2016.05.014
external_id:
  pmid:
  - '27457979'
file:
- access_level: open_access
  checksum: ca08de036e6ddc81e6f760e0ccdebd3f
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-17T07:41:57Z
  date_updated: 2020-07-14T12:44:53Z
  file_id: '6331'
  file_name: 2016_PlantScience_Ugalde.pdf
  file_size: 4338545
  relation: main_file
file_date_updated: 2020-07-14T12:44:53Z
has_accepted_license: '1'
intvolume: '       250'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 10 - 19
pmid: 1
publication: Plant Science
publication_status: published
publisher: Elsevier
publist_id: '5797'
pubrep_id: '1005'
quality_controlled: '1'
scopus_import: 1
status: public
title: Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation
  of vacuole morphology during Arabidopsis thaliana pollen development
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 250
year: '2016'
...
---
_id: '1411'
abstract:
- lang: eng
  text: We consider two systems (α1, …, αm) and (β1, …,βn) of simple curves drawn
    on a compact two-dimensional surface M with boundary. Each αi and each βj is either
    an arc meeting the boundary of M at its two endpoints, or a closed curve. The
    αi are pairwise disjoint except for possibly sharing endpoints, and similarly
    for the βj. We want to “untangle” the βj from the ai by a self-homeomorphism of
    M; more precisely, we seek a homeomorphism φ:M→M fixing the boundary of M pointwise
    such that the total number of crossings of the ai with the φ(βj) is as small as
    possible. This problem is motivated by an application in the algorithmic theory
    of embeddings and 3-manifolds. We prove that if M is planar, i.e., a sphere with
    h ≥ 0 boundary components (“holes”), then O(mn) crossings can be achieved (independently
    of h), which is asymptotically tight, as an easy lower bound shows. In general,
    for an arbitrary (orientable or nonorientable) surface M with h holes and of (orientable
    or nonorientable) genus g ≥ 0, we obtain an O((m + n)4) upper bound, again independent
    of h and g. The proofs rely, among other things, on a result concerning simultaneous
    planar drawings of graphs by Erten and Kobourov.
acknowledgement: 'Supported by the ERC Adv anced Grant No. 267165. '
author:
- first_name: Jiří
  full_name: Matoušek, Jiří
  last_name: Matoušek
- first_name: Eric
  full_name: Sedgwick, Eric
  last_name: Sedgwick
- first_name: Martin
  full_name: Tancer, Martin
  id: 38AC689C-F248-11E8-B48F-1D18A9856A87
  last_name: Tancer
  orcid: 0000-0002-1191-6714
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing
    curves. <i>Israel Journal of Mathematics</i>. 2016;212(1):37-79. doi:<a href="https://doi.org/10.1007/s11856-016-1294-9">10.1007/s11856-016-1294-9</a>
  apa: Matoušek, J., Sedgwick, E., Tancer, M., &#38; Wagner, U. (2016). Untangling
    two systems of noncrossing curves. <i>Israel Journal of Mathematics</i>. Springer.
    <a href="https://doi.org/10.1007/s11856-016-1294-9">https://doi.org/10.1007/s11856-016-1294-9</a>
  chicago: Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling
    Two Systems of Noncrossing Curves.” <i>Israel Journal of Mathematics</i>. Springer,
    2016. <a href="https://doi.org/10.1007/s11856-016-1294-9">https://doi.org/10.1007/s11856-016-1294-9</a>.
  ieee: J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems
    of noncrossing curves,” <i>Israel Journal of Mathematics</i>, vol. 212, no. 1.
    Springer, pp. 37–79, 2016.
  ista: Matoušek J, Sedgwick E, Tancer M, Wagner U. 2016. Untangling two systems of
    noncrossing curves. Israel Journal of Mathematics. 212(1), 37–79.
  mla: Matoušek, Jiří, et al. “Untangling Two Systems of Noncrossing Curves.” <i>Israel
    Journal of Mathematics</i>, vol. 212, no. 1, Springer, 2016, pp. 37–79, doi:<a
    href="https://doi.org/10.1007/s11856-016-1294-9">10.1007/s11856-016-1294-9</a>.
  short: J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics
    212 (2016) 37–79.
date_created: 2018-12-11T11:51:52Z
date_published: 2016-05-01T00:00:00Z
date_updated: 2023-02-23T10:34:31Z
day: '01'
department:
- _id: UlWa
doi: 10.1007/s11856-016-1294-9
intvolume: '       212'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1302.6475
month: '05'
oa: 1
oa_version: Preprint
page: 37 - 79
project:
- _id: 25FA3206-B435-11E9-9278-68D0E5697425
  grant_number: PP00P2_138948
  name: 'Embeddings in Higher Dimensions: Algorithms and Combinatorics'
publication: Israel Journal of Mathematics
publication_status: published
publisher: Springer
publist_id: '5796'
quality_controlled: '1'
related_material:
  record:
  - id: '2244'
    relation: earlier_version
    status: public
scopus_import: 1
status: public
title: Untangling two systems of noncrossing curves
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 212
year: '2016'
...
---
_id: '1412'
abstract:
- lang: eng
  text: Combining high-resolution level set surface tracking with lower resolution
    physics is an inexpensive method for achieving highly detailed liquid animations.
    Unfortunately, the inherent resolution mismatch introduces several types of disturbing
    visual artifacts. We identify the primary sources of these artifacts and present
    simple, efficient, and practical solutions to address them. First, we propose
    an unconditionally stable filtering method that selectively removes sub-grid surface
    artifacts not seen by the fluid physics, while preserving fine detail in dynamic
    splashing regions. It provides comparable results to recent error-correction techniques
    at lower cost, without substepping, and with better scaling behavior. Second,
    we show how a modified narrow-band scheme can ensure accurate free surface boundary
    conditions in the presence of large resolution mismatches. Our scheme preserves
    the efficiency of the narrow-band methodology, while eliminating objectionable
    stairstep artifacts observed in prior work. Third, we demonstrate that the use
    of linear interpolation of velocity during advection of the high-resolution level
    set surface is responsible for visible grid-aligned kinks; we therefore advocate
    higher-order velocity interpolation, and show that it dramatically reduces this
    artifact. While these three contributions are orthogonal, our results demonstrate
    that taken together they efficiently address the dominant sources of visual artifacts
    arising with high-resolution embedded liquid surfaces; the proposed approach offers
    improved visual quality, a straightforward implementation, and substantially greater
    scalability than competing methods.
acknowledgement: 'This research was supported by NSERC (RGPIN-04360-2014) and IST
  Austria. '
author:
- first_name: Ryan
  full_name: Goldade, Ryan
  last_name: Goldade
- first_name: Christopher
  full_name: Batty, Christopher
  last_name: Batty
- first_name: Christopher J
  full_name: Wojtan, Christopher J
  id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
  last_name: Wojtan
  orcid: 0000-0001-6646-5546
citation:
  ama: Goldade R, Batty C, Wojtan C. A practical method for high-resolution embedded
    liquid surfaces. <i>Computer Graphics Forum</i>. 2016;35(2):233-242. doi:<a href="https://doi.org/10.1111/cgf.12826">10.1111/cgf.12826</a>
  apa: Goldade, R., Batty, C., &#38; Wojtan, C. (2016). A practical method for high-resolution
    embedded liquid surfaces. <i>Computer Graphics Forum</i>. Wiley-Blackwell. <a
    href="https://doi.org/10.1111/cgf.12826">https://doi.org/10.1111/cgf.12826</a>
  chicago: Goldade, Ryan, Christopher Batty, and Chris Wojtan. “A Practical Method
    for High-Resolution Embedded Liquid Surfaces.” <i>Computer Graphics Forum</i>.
    Wiley-Blackwell, 2016. <a href="https://doi.org/10.1111/cgf.12826">https://doi.org/10.1111/cgf.12826</a>.
  ieee: R. Goldade, C. Batty, and C. Wojtan, “A practical method for high-resolution
    embedded liquid surfaces,” <i>Computer Graphics Forum</i>, vol. 35, no. 2. Wiley-Blackwell,
    pp. 233–242, 2016.
  ista: Goldade R, Batty C, Wojtan C. 2016. A practical method for high-resolution
    embedded liquid surfaces. Computer Graphics Forum. 35(2), 233–242.
  mla: Goldade, Ryan, et al. “A Practical Method for High-Resolution Embedded Liquid
    Surfaces.” <i>Computer Graphics Forum</i>, vol. 35, no. 2, Wiley-Blackwell, 2016,
    pp. 233–42, doi:<a href="https://doi.org/10.1111/cgf.12826">10.1111/cgf.12826</a>.
  short: R. Goldade, C. Batty, C. Wojtan, Computer Graphics Forum 35 (2016) 233–242.
date_created: 2018-12-11T11:51:52Z
date_published: 2016-05-27T00:00:00Z
date_updated: 2023-02-21T10:38:30Z
day: '27'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1111/cgf.12826
ec_funded: 1
file:
- access_level: open_access
  checksum: 8e61387ee2e3bd0e776fbe301629bfd9
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:18Z
  date_updated: 2020-07-14T12:44:53Z
  file_id: '5000'
  file_name: IST-2016-612-v1+2_Wojtan_APracticalMethod_PostPrint_2016.pdf
  file_size: 15873858
  relation: main_file
file_date_updated: 2020-07-14T12:44:53Z
has_accepted_license: '1'
intvolume: '        35'
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 233 - 242
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '638176'
  name: Efficient Simulation of Natural Phenomena at Extremely Large Scales
publication: Computer Graphics Forum
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5795'
pubrep_id: '612'
quality_controlled: '1'
scopus_import: 1
status: public
title: A practical method for high-resolution embedded liquid surfaces
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2016'
...
---
_id: '1415'
abstract:
- lang: eng
  text: The Fluid Implicit Particle method (FLIP) for liquid simulations uses particles
    to reduce numerical dissipation and provide important visual cues for events like
    complex splashes and small-scale features near the liquid surface. Unfortunately,
    FLIP simulations can be computationally expensive, because they require a dense
    sampling of particles to fill the entire liquid volume. Furthermore, the vast
    majority of these FLIP particles contribute nothing to the fluid's visual appearance,
    especially for larger volumes of liquid. We present a method that only uses FLIP
    particles within a narrow band of the liquid surface, while efficiently representing
    the remaining inner volume on a regular grid. We show that a naïve realization
    of this idea introduces unstable and uncontrollable energy fluctuations, and we
    propose a novel coupling scheme between FLIP particles and regular grid which
    overcomes this problem. Our method drastically reduces the particle count and
    simulation times while yielding results that are nearly indistinguishable from
    regular FLIP simulations. Our approach is easy to integrate into any existing
    FLIP implementation.
author:
- first_name: Florian
  full_name: Ferstl, Florian
  last_name: Ferstl
- first_name: Ryoichi
  full_name: Ando, Ryoichi
  last_name: Ando
- first_name: Christopher J
  full_name: Wojtan, Christopher J
  id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
  last_name: Wojtan
  orcid: 0000-0001-6646-5546
- first_name: Rüdiger
  full_name: Westermann, Rüdiger
  last_name: Westermann
- first_name: Nils
  full_name: Thuerey, Nils
  last_name: Thuerey
citation:
  ama: Ferstl F, Ando R, Wojtan C, Westermann R, Thuerey N. Narrow band FLIP for liquid
    simulations. <i>Computer Graphics Forum</i>. 2016;35(2):225-232. doi:<a href="https://doi.org/10.1111/cgf.12825">10.1111/cgf.12825</a>
  apa: Ferstl, F., Ando, R., Wojtan, C., Westermann, R., &#38; Thuerey, N. (2016).
    Narrow band FLIP for liquid simulations. <i>Computer Graphics Forum</i>. Wiley-Blackwell.
    <a href="https://doi.org/10.1111/cgf.12825">https://doi.org/10.1111/cgf.12825</a>
  chicago: Ferstl, Florian, Ryoichi Ando, Chris Wojtan, Rüdiger Westermann, and Nils
    Thuerey. “Narrow Band FLIP for Liquid Simulations.” <i>Computer Graphics Forum</i>.
    Wiley-Blackwell, 2016. <a href="https://doi.org/10.1111/cgf.12825">https://doi.org/10.1111/cgf.12825</a>.
  ieee: F. Ferstl, R. Ando, C. Wojtan, R. Westermann, and N. Thuerey, “Narrow band
    FLIP for liquid simulations,” <i>Computer Graphics Forum</i>, vol. 35, no. 2.
    Wiley-Blackwell, pp. 225–232, 2016.
  ista: Ferstl F, Ando R, Wojtan C, Westermann R, Thuerey N. 2016. Narrow band FLIP
    for liquid simulations. Computer Graphics Forum. 35(2), 225–232.
  mla: Ferstl, Florian, et al. “Narrow Band FLIP for Liquid Simulations.” <i>Computer
    Graphics Forum</i>, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 225–32, doi:<a
    href="https://doi.org/10.1111/cgf.12825">10.1111/cgf.12825</a>.
  short: F. Ferstl, R. Ando, C. Wojtan, R. Westermann, N. Thuerey, Computer Graphics
    Forum 35 (2016) 225–232.
date_created: 2018-12-11T11:51:53Z
date_published: 2016-05-01T00:00:00Z
date_updated: 2023-02-21T10:38:38Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1111/cgf.12825
file:
- access_level: open_access
  checksum: 984afbe510ed48019025dff1dcc7baad
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:22Z
  date_updated: 2020-07-14T12:44:53Z
  file_id: '4940'
  file_name: IST-2016-611-v1+3_CW_nbflip_postprint_2016.pdf
  file_size: 5938324
  relation: main_file
file_date_updated: 2020-07-14T12:44:53Z
has_accepted_license: '1'
intvolume: '        35'
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 225 - 232
publication: Computer Graphics Forum
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5793'
pubrep_id: '611'
quality_controlled: '1'
scopus_import: 1
status: public
title: Narrow band FLIP for liquid simulations
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2016'
...
---
_id: '1416'
abstract:
- lang: eng
  text: Anisotropic dipole-dipole interactions between ultracold dipolar fermions
    break the symmetry of the Fermi surface and thereby deform it. Here we demonstrate
    that such a Fermi surface deformation induces a topological phase transition -
    the so-called Lifshitz transition - in the regime accessible to present-day experiments.
    We describe the impact of the Lifshitz transition on observable quantities such
    as the Fermi surface topology, the density-density correlation function, and the
    excitation spectrum of the system. The Lifshitz transition in ultracold atoms
    can be controlled by tuning the dipole orientation and, in contrast to the transition
    studied in crystalline solids, is completely interaction driven.
article_number: '195145'
author:
- first_name: Erik
  full_name: Van Loon, Erik
  last_name: Van Loon
- first_name: Mikhail
  full_name: Katsnelson, Mikhail
  last_name: Katsnelson
- first_name: Lauriane
  full_name: Chomaz, Lauriane
  last_name: Chomaz
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
citation:
  ama: Van Loon E, Katsnelson M, Chomaz L, Lemeshko M. Interaction-driven Lifshitz
    transition with dipolar fermions in optical lattices. <i>Physical Review B - Condensed
    Matter and Materials Physics</i>. 2016;93(19). doi:<a href="https://doi.org/10.1103/PhysRevB.93.195145">10.1103/PhysRevB.93.195145</a>
  apa: Van Loon, E., Katsnelson, M., Chomaz, L., &#38; Lemeshko, M. (2016). Interaction-driven
    Lifshitz transition with dipolar fermions in optical lattices. <i>Physical Review
    B - Condensed Matter and Materials Physics</i>. American Physical Society. <a
    href="https://doi.org/10.1103/PhysRevB.93.195145">https://doi.org/10.1103/PhysRevB.93.195145</a>
  chicago: Van Loon, Erik, Mikhail Katsnelson, Lauriane Chomaz, and Mikhail Lemeshko.
    “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.”
    <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical
    Society, 2016. <a href="https://doi.org/10.1103/PhysRevB.93.195145">https://doi.org/10.1103/PhysRevB.93.195145</a>.
  ieee: E. Van Loon, M. Katsnelson, L. Chomaz, and M. Lemeshko, “Interaction-driven
    Lifshitz transition with dipolar fermions in optical lattices,” <i>Physical Review
    B - Condensed Matter and Materials Physics</i>, vol. 93, no. 19. American Physical
    Society, 2016.
  ista: Van Loon E, Katsnelson M, Chomaz L, Lemeshko M. 2016. Interaction-driven Lifshitz
    transition with dipolar fermions in optical lattices. Physical Review B - Condensed
    Matter and Materials Physics. 93(19), 195145.
  mla: Van Loon, Erik, et al. “Interaction-Driven Lifshitz Transition with Dipolar
    Fermions in Optical Lattices.” <i>Physical Review B - Condensed Matter and Materials
    Physics</i>, vol. 93, no. 19, 195145, American Physical Society, 2016, doi:<a
    href="https://doi.org/10.1103/PhysRevB.93.195145">10.1103/PhysRevB.93.195145</a>.
  short: E. Van Loon, M. Katsnelson, L. Chomaz, M. Lemeshko, Physical Review B - Condensed
    Matter and Materials Physics 93 (2016).
date_created: 2018-12-11T11:51:54Z
date_published: 2016-05-15T00:00:00Z
date_updated: 2021-01-12T06:50:36Z
day: '15'
department:
- _id: MiLe
doi: 10.1103/PhysRevB.93.195145
intvolume: '        93'
issue: '19'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1603.09358
month: '05'
oa: 1
oa_version: Preprint
publication: Physical Review B - Condensed Matter and Materials Physics
publication_status: published
publisher: American Physical Society
publist_id: '5791'
quality_controlled: '1'
scopus_import: 1
status: public
title: Interaction-driven Lifshitz transition with dipolar fermions in optical lattices
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 93
year: '2016'
...
---
_id: '1417'
abstract:
- lang: eng
  text: Plant development mediated by the phytohormone auxin depends on tightly controlled
    cellular auxin levels at its target tissue that are largely established by intercellular
    and intracellular auxin transport mediated by PIN auxin transporters. Among the
    eight members of the Arabidopsis PIN family, PIN6 is the least characterized candidate.
    In this study we generated functional, fluorescent protein-tagged PIN6 proteins
    and performed comprehensive analysis of their subcellular localization and also
    performed a detailed functional characterization of PIN6 and its developmental
    roles. The localization study of PIN6 revealed a dual localization at the plasma
    membrane (PM) and endoplasmic reticulum (ER). Transport and metabolic profiling
    assays in cultured cells and Arabidopsis strongly suggest that PIN6 mediates both
    auxin transport across the PM and intracellular auxin homeostasis, including the
    regulation of free auxin and auxin conjugates levels. As evidenced by the loss-
    and gain-of-function analysis, the complex function of PIN6 in auxin transport
    and homeostasis is required for auxin distribution during lateral and adventitious
    root organogenesis and for progression of these developmental processes. These
    results illustrate a unique position of PIN6 within the family of PIN auxin transporters
    and further add complexity to the developmentally crucial process of auxin transport.
acknowledgement: This work was supported by the European Research Council (project
  ERC-2011-StG-20101109-PSDP, project CEITEC (CZ.1.05/1.1.00/02.0068) and the Czech
  Science Foundation GACR (project no. 13-4063 7S to J.F.)
author:
- first_name: Sibu
  full_name: Simon, Sibu
  id: 4542EF9A-F248-11E8-B48F-1D18A9856A87
  last_name: Simon
  orcid: 0000-0002-1998-6741
- first_name: Petr
  full_name: Skůpa, Petr
  last_name: Skůpa
- first_name: Tom
  full_name: Viaene, Tom
  last_name: Viaene
- first_name: Marta
  full_name: Zwiewka, Marta
  last_name: Zwiewka
- first_name: Ricardo
  full_name: Tejos, Ricardo
  last_name: Tejos
- first_name: Petr
  full_name: Klíma, Petr
  last_name: Klíma
- first_name: Mária
  full_name: Čarná, Mária
  last_name: Čarná
- first_name: Jakub
  full_name: Rolčík, Jakub
  last_name: Rolčík
- first_name: Riet
  full_name: De Rycke, Riet
  last_name: De Rycke
- first_name: Ignacio
  full_name: Moreno, Ignacio
  last_name: Moreno
- first_name: Petre
  full_name: Dobrev, Petre
  last_name: Dobrev
- first_name: Ariel
  full_name: Orellana, Ariel
  last_name: Orellana
- first_name: Eva
  full_name: Zažímalová, Eva
  last_name: Zažímalová
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Simon S, Skůpa P, Viaene T, et al. PIN6 auxin transporter at endoplasmic reticulum
    and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis.
    <i>New Phytologist</i>. 2016;211(1):65-74. doi:<a href="https://doi.org/10.1111/nph.14019">10.1111/nph.14019</a>
  apa: Simon, S., Skůpa, P., Viaene, T., Zwiewka, M., Tejos, R., Klíma, P., … Friml,
    J. (2016). PIN6 auxin transporter at endoplasmic reticulum and plasma membrane
    mediates auxin homeostasis and organogenesis in Arabidopsis. <i>New Phytologist</i>.
    Wiley-Blackwell. <a href="https://doi.org/10.1111/nph.14019">https://doi.org/10.1111/nph.14019</a>
  chicago: Simon, Sibu, Petr Skůpa, Tom Viaene, Marta Zwiewka, Ricardo Tejos, Petr
    Klíma, Mária Čarná, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and
    Plasma Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.”
    <i>New Phytologist</i>. Wiley-Blackwell, 2016. <a href="https://doi.org/10.1111/nph.14019">https://doi.org/10.1111/nph.14019</a>.
  ieee: S. Simon <i>et al.</i>, “PIN6 auxin transporter at endoplasmic reticulum and
    plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis,”
    <i>New Phytologist</i>, vol. 211, no. 1. Wiley-Blackwell, pp. 65–74, 2016.
  ista: Simon S, Skůpa P, Viaene T, Zwiewka M, Tejos R, Klíma P, Čarná M, Rolčík J,
    De Rycke R, Moreno I, Dobrev P, Orellana A, Zažímalová E, Friml J. 2016. PIN6
    auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin
    homeostasis and organogenesis in Arabidopsis. New Phytologist. 211(1), 65–74.
  mla: Simon, Sibu, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and Plasma
    Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.” <i>New
    Phytologist</i>, vol. 211, no. 1, Wiley-Blackwell, 2016, pp. 65–74, doi:<a href="https://doi.org/10.1111/nph.14019">10.1111/nph.14019</a>.
  short: S. Simon, P. Skůpa, T. Viaene, M. Zwiewka, R. Tejos, P. Klíma, M. Čarná,
    J. Rolčík, R. De Rycke, I. Moreno, P. Dobrev, A. Orellana, E. Zažímalová, J. Friml,
    New Phytologist 211 (2016) 65–74.
date_created: 2018-12-11T11:51:54Z
date_published: 2016-07-01T00:00:00Z
date_updated: 2021-01-12T06:50:36Z
day: '01'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1111/nph.14019
file:
- access_level: open_access
  checksum: 23522ced3508ffe7a4f247c4230e6493
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:32Z
  date_updated: 2020-07-14T12:44:53Z
  file_id: '5016'
  file_name: IST-2018-1004-v1+1_Simon_NewPhytol_2016_proof.pdf
  file_size: 3828383
  relation: main_file
file_date_updated: 2020-07-14T12:44:53Z
has_accepted_license: '1'
intvolume: '       211'
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 65 - 74
publication: New Phytologist
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5790'
pubrep_id: '1004'
quality_controlled: '1'
scopus_import: 1
status: public
title: PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates
  auxin homeostasis and organogenesis in Arabidopsis
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 211
year: '2016'
...
---
_id: '1420'
abstract:
- lang: eng
  text: 'Selection, mutation, and random drift affect the dynamics of allele frequencies
    and consequently of quantitative traits. While the macroscopic dynamics of quantitative
    traits can be measured, the underlying allele frequencies are typically unobserved.
    Can we understand how the macroscopic observables evolve without following these
    microscopic processes? This problem has been studied previously by analogy with
    statistical mechanics: the allele frequency distribution at each time point is
    approximated by the stationary form, which maximizes entropy. We explore the limitations
    of this method when mutation is small (4Nμ &lt; 1) so that populations are typically
    close to fixation, and we extend the theory in this regime to account for changes
    in mutation strength. We consider a single diallelic locus either under directional
    selection or with overdominance and then generalize to multiple unlinked biallelic
    loci with unequal effects. We find that the maximum-entropy approximation is remarkably
    accurate, even when mutation and selection change rapidly. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Katarína
  full_name: Bod'ová, Katarína
  id: 2BA24EA0-F248-11E8-B48F-1D18A9856A87
  last_name: Bod'ová
  orcid: 0000-0002-7214-0171
- first_name: Gasper
  full_name: Tkacik, Gasper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkacik
  orcid: 0000-0002-6699-1455
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
citation:
  ama: Bodova K, Tkačik G, Barton NH. A general approximation for the dynamics of
    quantitative traits. <i>Genetics</i>. 2016;202(4):1523-1548. doi:<a href="https://doi.org/10.1534/genetics.115.184127">10.1534/genetics.115.184127</a>
  apa: Bodova, K., Tkačik, G., &#38; Barton, N. H. (2016). A general approximation
    for the dynamics of quantitative traits. <i>Genetics</i>. Genetics Society of
    America. <a href="https://doi.org/10.1534/genetics.115.184127">https://doi.org/10.1534/genetics.115.184127</a>
  chicago: Bodova, Katarina, Gašper Tkačik, and Nicholas H Barton. “A General Approximation
    for the Dynamics of Quantitative Traits.” <i>Genetics</i>. Genetics Society of
    America, 2016. <a href="https://doi.org/10.1534/genetics.115.184127">https://doi.org/10.1534/genetics.115.184127</a>.
  ieee: K. Bodova, G. Tkačik, and N. H. Barton, “A general approximation for the dynamics
    of quantitative traits,” <i>Genetics</i>, vol. 202, no. 4. Genetics Society of
    America, pp. 1523–1548, 2016.
  ista: Bodova K, Tkačik G, Barton NH. 2016. A general approximation for the dynamics
    of quantitative traits. Genetics. 202(4), 1523–1548.
  mla: Bodova, Katarina, et al. “A General Approximation for the Dynamics of Quantitative
    Traits.” <i>Genetics</i>, vol. 202, no. 4, Genetics Society of America, 2016,
    pp. 1523–48, doi:<a href="https://doi.org/10.1534/genetics.115.184127">10.1534/genetics.115.184127</a>.
  short: K. Bodova, G. Tkačik, N.H. Barton, Genetics 202 (2016) 1523–1548.
date_created: 2018-12-11T11:51:55Z
date_published: 2016-04-06T00:00:00Z
date_updated: 2025-05-28T11:42:47Z
day: '06'
department:
- _id: GaTk
- _id: NiBa
doi: 10.1534/genetics.115.184127
ec_funded: 1
external_id:
  arxiv:
  - '1510.08344'
intvolume: '       202'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1510.08344
month: '04'
oa: 1
oa_version: Preprint
page: 1523 - 1548
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '250152'
  name: Limits to selection in biology and in evolutionary computation
- _id: 255008E4-B435-11E9-9278-68D0E5697425
  grant_number: RGP0065/2012
  name: Information processing and computation in fish groups
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '5787'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A general approximation for the dynamics of quantitative traits
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 202
year: '2016'
...
