---
_id: '248'
abstract:
- lang: eng
  text: For any pencil of conics or higher-dimensional quadrics over ℚ, with all degenerate
    fibres defined over ℚ, we show that the Brauer–Manin obstruction controls weak
    approximation. The proof is based on the Hasse principle and weak approximation
    for some special intersections of quadrics over ℚ, which is a consequence of recent
    advances in additive combinatorics.
acknowledgement: While working on this paper the first two authors were supported
  by EPSRC grant EP/E053262/1, and the first author was further supported by ERC grant
  306457.
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Lilian
  full_name: Matthiesen, Lilian
  last_name: Matthiesen
- first_name: Alexei
  full_name: Skorobogatov, Alexei N
  last_name: Skorobogatov
citation:
  ama: Browning TD, Matthiesen L, Skorobogatov A. Rational points on pencils of conics
    and quadrics with many degenerate fibres. <i>Annals of Mathematics</i>. 2014;180(1):381-402.
    doi:<a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>
  apa: Browning, T. D., Matthiesen, L., &#38; Skorobogatov, A. (2014). Rational points
    on pencils of conics and quadrics with many degenerate fibres. <i>Annals of Mathematics</i>.
    John Hopkins University Press. <a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>
  chicago: Browning, Timothy D, Lilian Matthiesen, and Alexei Skorobogatov. “Rational
    Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.” <i>Annals
    of Mathematics</i>. John Hopkins University Press, 2014. <a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>.
  ieee: T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils
    of conics and quadrics with many degenerate fibres,” <i>Annals of Mathematics</i>,
    vol. 180, no. 1. John Hopkins University Press, pp. 381–402, 2014.
  ista: Browning TD, Matthiesen L, Skorobogatov A. 2014. Rational points on pencils
    of conics and quadrics with many degenerate fibres. Annals of Mathematics. 180(1),
    381–402.
  mla: Browning, Timothy D., et al. “Rational Points on Pencils of Conics and Quadrics
    with Many Degenerate Fibres.” <i>Annals of Mathematics</i>, vol. 180, no. 1, John
    Hopkins University Press, 2014, pp. 381–402, doi:<a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>.
  short: T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180
    (2014) 381–402.
date_created: 2018-12-11T11:45:25Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:44Z
day: '01'
doi: https://doi.org/10.4007/annals.2014.180.1.8
extern: 1
intvolume: '       180'
issue: '1'
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1209.0207
month: '07'
oa: 1
page: 381 - 402
publication: Annals of Mathematics
publication_status: published
publisher: John Hopkins University Press
publist_id: '7655'
quality_controlled: 0
status: public
title: Rational points on pencils of conics and quadrics with many degenerate fibres
type: journal_article
volume: 180
year: '2014'
...
---
_id: '249'
abstract:
- lang: eng
  text: 'A version of the Hardy-Littlewood circle method is developed for number fields
    K/ℚ and is used to show that nonsingular projective cubic hypersurfaces over K
    always have a K-rational point when they have dimension at least 8. '
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Pankaj
  full_name: Vishe, Pankaj
  last_name: Vishe
citation:
  ama: Browning TD, Vishe P. Cubic hypersurfaces and a version of the circle method
    for number fields. <i>Duke Mathematical Journal</i>. 2014;163(10):1825-1883. doi:<a
    href="https://doi.org/10.1215/00127094-2738530">10.1215/00127094-2738530</a>
  apa: Browning, T. D., &#38; Vishe, P. (2014). Cubic hypersurfaces and a version
    of the circle method for number fields. <i>Duke Mathematical Journal</i>. Duke
    University Press. <a href="https://doi.org/10.1215/00127094-2738530">https://doi.org/10.1215/00127094-2738530</a>
  chicago: Browning, Timothy D, and Pankaj Vishe. “Cubic Hypersurfaces and a Version
    of the Circle Method for Number Fields.” <i>Duke Mathematical Journal</i>. Duke
    University Press, 2014. <a href="https://doi.org/10.1215/00127094-2738530">https://doi.org/10.1215/00127094-2738530</a>.
  ieee: T. D. Browning and P. Vishe, “Cubic hypersurfaces and a version of the circle
    method for number fields,” <i>Duke Mathematical Journal</i>, vol. 163, no. 10.
    Duke University Press, pp. 1825–1883, 2014.
  ista: Browning TD, Vishe P. 2014. Cubic hypersurfaces and a version of the circle
    method for number fields. Duke Mathematical Journal. 163(10), 1825–1883.
  mla: Browning, Timothy D., and Pankaj Vishe. “Cubic Hypersurfaces and a Version
    of the Circle Method for Number Fields.” <i>Duke Mathematical Journal</i>, vol.
    163, no. 10, Duke University Press, 2014, pp. 1825–83, doi:<a href="https://doi.org/10.1215/00127094-2738530">10.1215/00127094-2738530</a>.
  short: T.D. Browning, P. Vishe, Duke Mathematical Journal 163 (2014) 1825–1883.
date_created: 2018-12-11T11:45:26Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:47Z
day: '01'
doi: 10.1215/00127094-2738530
extern: 1
intvolume: '       163'
issue: '10'
month: '07'
page: 1825 - 1883
publication: Duke Mathematical Journal
publication_status: published
publisher: Duke University Press
publist_id: '7653'
quality_controlled: 0
status: public
title: Cubic hypersurfaces and a version of the circle method for number fields
type: journal_article
volume: 163
year: '2014'
...
---
_id: '252'
abstract:
- lang: eng
  text: For any number field k, upper bounds are established for the number of k-rational
    points of bounded height on non-singular del Pezzo surfaces defined over k, which
    are equipped with suitable conic bundle structures over k.
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Michael
  full_name: Jones, Michael S
  last_name: Jones
citation:
  ama: Browning TD, Jones M. Counting rational points on del Pezzo surfaces with a
    conic bundle structure. <i>Acta Arithmetica</i>. 2014;163(3):271-298. doi:<a href="https://doi.org/10.4064/aa163-3-6">10.4064/aa163-3-6</a>
  apa: Browning, T. D., &#38; Jones, M. (2014). Counting rational points on del Pezzo
    surfaces with a conic bundle structure. <i>Acta Arithmetica</i>. Instytut Matematyczny.
    <a href="https://doi.org/10.4064/aa163-3-6">https://doi.org/10.4064/aa163-3-6</a>
  chicago: Browning, Timothy D, and Michael Jones. “Counting Rational Points on Del
    Pezzo Surfaces with a Conic Bundle Structure.” <i>Acta Arithmetica</i>. Instytut
    Matematyczny, 2014. <a href="https://doi.org/10.4064/aa163-3-6">https://doi.org/10.4064/aa163-3-6</a>.
  ieee: T. D. Browning and M. Jones, “Counting rational points on del Pezzo surfaces
    with a conic bundle structure,” <i>Acta Arithmetica</i>, vol. 163, no. 3. Instytut
    Matematyczny, pp. 271–298, 2014.
  ista: Browning TD, Jones M. 2014. Counting rational points on del Pezzo surfaces
    with a conic bundle structure. Acta Arithmetica. 163(3), 271–298.
  mla: Browning, Timothy D., and Michael Jones. “Counting Rational Points on Del Pezzo
    Surfaces with a Conic Bundle Structure.” <i>Acta Arithmetica</i>, vol. 163, no.
    3, Instytut Matematyczny, 2014, pp. 271–98, doi:<a href="https://doi.org/10.4064/aa163-3-6">10.4064/aa163-3-6</a>.
  short: T.D. Browning, M. Jones, Acta Arithmetica 163 (2014) 271–298.
date_created: 2018-12-11T11:45:26Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:59Z
day: '01'
doi: 10.4064/aa163-3-6
extern: 1
intvolume: '       163'
issue: '3'
month: '01'
page: 271 - 298
publication: Acta Arithmetica
publication_status: published
publisher: Instytut Matematyczny
publist_id: '7650'
quality_controlled: 0
status: public
title: Counting rational points on del Pezzo surfaces with a conic bundle structure
type: journal_article
volume: 163
year: '2014'
...
---
_id: '254'
abstract:
- lang: eng
  text: A new &quot;polynomial sieve&quot; is presented and used to show that almost
    all integers have at most one representation as a sum of two values of a given
    polynomial of degree at least 3.
acknowledgement: While working on this paper, the author was supported by ERC grant
  306457 and a Philip Leverhulme Prize.
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
citation:
  ama: Browning TD. The polynomial sieve and equal sums of like polynomials. <i>International
    Mathematics Research Notices</i>. 2014;2015(7):1987-2019. doi:<a href="https://doi.org/10.1093/imrn/rnt350">10.1093/imrn/rnt350</a>
  apa: Browning, T. D. (2014). The polynomial sieve and equal sums of like polynomials.
    <i>International Mathematics Research Notices</i>. Oxford University Press. <a
    href="https://doi.org/10.1093/imrn/rnt350">https://doi.org/10.1093/imrn/rnt350</a>
  chicago: Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.”
    <i>International Mathematics Research Notices</i>. Oxford University Press, 2014.
    <a href="https://doi.org/10.1093/imrn/rnt350">https://doi.org/10.1093/imrn/rnt350</a>.
  ieee: T. D. Browning, “The polynomial sieve and equal sums of like polynomials,”
    <i>International Mathematics Research Notices</i>, vol. 2015, no. 7. Oxford University
    Press, pp. 1987–2019, 2014.
  ista: Browning TD. 2014. The polynomial sieve and equal sums of like polynomials.
    International Mathematics Research Notices. 2015(7), 1987–2019.
  mla: Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.”
    <i>International Mathematics Research Notices</i>, vol. 2015, no. 7, Oxford University
    Press, 2014, pp. 1987–2019, doi:<a href="https://doi.org/10.1093/imrn/rnt350">10.1093/imrn/rnt350</a>.
  short: T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
date_created: 2018-12-11T11:45:27Z
date_published: 2014-01-31T00:00:00Z
date_updated: 2021-01-12T06:58:07Z
day: '31'
doi: 10.1093/imrn/rnt350
extern: 1
intvolume: '      2015'
issue: '7'
month: '01'
page: 1987 - 2019
publication: International Mathematics Research Notices
publication_status: published
publisher: Oxford University Press
publist_id: '7648'
quality_controlled: 0
status: public
title: The polynomial sieve and equal sums of like polynomials
type: journal_article
volume: 2015
year: '2014'
...
---
_id: '255'
abstract:
- lang: eng
  text: We investigate the Hasse principle for complete intersections cut out by a
    quadric hypersurface and a cubic hypersurface defined over the rational numbers.
article_processing_charge: No
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Rainer
  full_name: Dietmann, Rainer
  last_name: Dietmann
- first_name: Roger
  full_name: Heath Brown, Roger
  last_name: Heath Brown
citation:
  ama: Browning TD, Dietmann R, Heath Brown R. Rational points on intersections of
    cubic and quadric hypersurfaces. <i>Journal of the Institute of Mathematics of
    Jussieu</i>. 2014;14(4):703-749. doi:<a href="https://doi.org/10.1017/S1474748014000127">10.1017/S1474748014000127</a>
  apa: Browning, T. D., Dietmann, R., &#38; Heath Brown, R. (2014). Rational points
    on intersections of cubic and quadric hypersurfaces. <i>Journal of the Institute
    of Mathematics of Jussieu</i>. Cambridge University Press. <a href="https://doi.org/10.1017/S1474748014000127">https://doi.org/10.1017/S1474748014000127</a>
  chicago: Browning, Timothy D, Rainer Dietmann, and Roger Heath Brown. “Rational
    Points on Intersections of Cubic and Quadric Hypersurfaces.” <i>Journal of the
    Institute of Mathematics of Jussieu</i>. Cambridge University Press, 2014. <a
    href="https://doi.org/10.1017/S1474748014000127">https://doi.org/10.1017/S1474748014000127</a>.
  ieee: T. D. Browning, R. Dietmann, and R. Heath Brown, “Rational points on intersections
    of cubic and quadric hypersurfaces,” <i>Journal of the Institute of Mathematics
    of Jussieu</i>, vol. 14, no. 4. Cambridge University Press, pp. 703–749, 2014.
  ista: Browning TD, Dietmann R, Heath Brown R. 2014. Rational points on intersections
    of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of
    Jussieu. 14(4), 703–749.
  mla: Browning, Timothy D., et al. “Rational Points on Intersections of Cubic and
    Quadric Hypersurfaces.” <i>Journal of the Institute of Mathematics of Jussieu</i>,
    vol. 14, no. 4, Cambridge University Press, 2014, pp. 703–49, doi:<a href="https://doi.org/10.1017/S1474748014000127">10.1017/S1474748014000127</a>.
  short: T.D. Browning, R. Dietmann, R. Heath Brown, Journal of the Institute of Mathematics
    of Jussieu 14 (2014) 703–749.
date_created: 2018-12-11T11:45:27Z
date_published: 2014-01-05T00:00:00Z
date_updated: 2021-11-16T08:07:06Z
day: '05'
doi: 10.1017/S1474748014000127
extern: '1'
intvolume: '        14'
issue: '4'
language:
- iso: eng
month: '01'
oa_version: None
page: 703 - 749
publication: Journal of the Institute of Mathematics of Jussieu
publication_status: published
publisher: Cambridge University Press
publist_id: '7647'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1017/S1474748014000279
status: public
title: Rational points on intersections of cubic and quadric hypersurfaces
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 14
year: '2014'
...
---
_id: '2699'
abstract:
- lang: eng
  text: "We prove the universality of the β-ensembles with convex analytic potentials
    and for any β &gt;\r\n0, i.e. we show that the spacing distributions of log-gases
    at any inverse temperature β coincide with those of the Gaussian β-ensembles."
author:
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Paul
  full_name: Bourgade, Paul
  last_name: Bourgade
- first_name: Horng
  full_name: Yau, Horng
  last_name: Yau
citation:
  ama: Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. <i>Duke Mathematical
    Journal</i>. 2014;163(6):1127-1190. doi:<a href="https://doi.org/10.1215/00127094-2649752">10.1215/00127094-2649752</a>
  apa: Erdös, L., Bourgade, P., &#38; Yau, H. (2014). Universality of general β-ensembles.
    <i>Duke Mathematical Journal</i>. Duke University Press. <a href="https://doi.org/10.1215/00127094-2649752">https://doi.org/10.1215/00127094-2649752</a>
  chicago: Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General β-Ensembles.”
    <i>Duke Mathematical Journal</i>. Duke University Press, 2014. <a href="https://doi.org/10.1215/00127094-2649752">https://doi.org/10.1215/00127094-2649752</a>.
  ieee: L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,”
    <i>Duke Mathematical Journal</i>, vol. 163, no. 6. Duke University Press, pp.
    1127–1190, 2014.
  ista: Erdös L, Bourgade P, Yau H. 2014. Universality of general β-ensembles. Duke
    Mathematical Journal. 163(6), 1127–1190.
  mla: Erdös, László, et al. “Universality of General β-Ensembles.” <i>Duke Mathematical
    Journal</i>, vol. 163, no. 6, Duke University Press, 2014, pp. 1127–90, doi:<a
    href="https://doi.org/10.1215/00127094-2649752">10.1215/00127094-2649752</a>.
  short: L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
date_created: 2018-12-11T11:59:08Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2021-01-12T06:59:07Z
day: '01'
department:
- _id: LaEr
doi: 10.1215/00127094-2649752
intvolume: '       163'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1104.2272
month: '04'
oa: 1
oa_version: Preprint
page: 1127 - 1190
publication: Duke Mathematical Journal
publication_status: published
publisher: Duke University Press
publist_id: '4197'
quality_controlled: '1'
scopus_import: 1
status: public
title: Universality of general β-ensembles
type: journal_article
user_id: 3FFCCD3A-F248-11E8-B48F-1D18A9856A87
volume: 163
year: '2014'
...
---
_id: '2716'
abstract:
- lang: eng
  text: Multi-dimensional mean-payoff and energy games provide the mathematical foundation
    for the quantitative study of reactive systems, and play a central role in the
    emerging quantitative theory of verification and synthesis. In this work, we study
    the strategy synthesis problem for games with such multi-dimensional objectives
    along with a parity condition, a canonical way to express ω ω -regular conditions.
    While in general, the winning strategies in such games may require infinite memory,
    for synthesis the most relevant problem is the construction of a finite-memory
    winning strategy (if one exists). Our main contributions are as follows. First,
    we show a tight exponential bound (matching upper and lower bounds) on the memory
    required for finite-memory winning strategies in both multi-dimensional mean-payoff
    and energy games along with parity objectives. This significantly improves the
    triple exponential upper bound for multi energy games (without parity) that could
    be derived from results in literature for games on vector addition systems with
    states. Second, we present an optimal symbolic and incremental algorithm to compute
    a finite-memory winning strategy (if one exists) in such games. Finally, we give
    a complete characterization of when finite memory of strategies can be traded
    off for randomness. In particular, we show that for one-dimension mean-payoff
    parity games, randomized memoryless strategies are as powerful as their pure finite-memory
    counterparts.
acknowledgement: "Krishnendu Chatterjee is supported by Austrian Science Fund (FWF)
  Grant No P 23499-N23, FWF NFN Grant No S11407 (RiSE), ERC Starting Grant (279307:
  Graph Games) and Microsoft faculty fellowship. Mickael Randour is supported by F.R.S.-FNRS.
  fellowship. \r\nJean-François Raskin is supported by ERC Starting Grant (279499:
  inVEST).Thanks to D. Sbabo for useful pointers, V. Bruyère for comments on a preliminary
  draft, and A. Bohy for fruitful discussions about the Acacia+ tool. We are grateful
  to the anonymous reviewers for their insightful comments. "
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Mickael
  full_name: Randour, Mickael
  last_name: Randour
- first_name: Jean
  full_name: Raskin, Jean
  last_name: Raskin
citation:
  ama: Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional
    quantitative objectives. <i>Acta Informatica</i>. 2014;51(3-4):129-163. doi:<a
    href="https://doi.org/10.1007/s00236-013-0182-6">10.1007/s00236-013-0182-6</a>
  apa: Chatterjee, K., Randour, M., &#38; Raskin, J. (2014). Strategy synthesis for
    multi-dimensional quantitative objectives. <i>Acta Informatica</i>. Springer.
    <a href="https://doi.org/10.1007/s00236-013-0182-6">https://doi.org/10.1007/s00236-013-0182-6</a>
  chicago: Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis
    for Multi-Dimensional Quantitative Objectives.” <i>Acta Informatica</i>. Springer,
    2014. <a href="https://doi.org/10.1007/s00236-013-0182-6">https://doi.org/10.1007/s00236-013-0182-6</a>.
  ieee: K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional
    quantitative objectives,” <i>Acta Informatica</i>, vol. 51, no. 3–4. Springer,
    pp. 129–163, 2014.
  ista: Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional
    quantitative objectives. Acta Informatica. 51(3–4), 129–163.
  mla: Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative
    Objectives.” <i>Acta Informatica</i>, vol. 51, no. 3–4, Springer, 2014, pp. 129–63,
    doi:<a href="https://doi.org/10.1007/s00236-013-0182-6">10.1007/s00236-013-0182-6</a>.
  short: K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
date_created: 2018-12-11T11:59:14Z
date_published: 2014-06-01T00:00:00Z
date_updated: 2023-02-21T16:06:56Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/s00236-013-0182-6
external_id:
  arxiv:
  - '1201.5073'
intvolume: '        51'
issue: 3-4
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1201.5073
month: '06'
oa: 1
oa_version: Preprint
page: 129 - 163
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
publication: Acta Informatica
publication_status: published
publisher: Springer
publist_id: '4176'
quality_controlled: '1'
related_material:
  record:
  - id: '10904'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Strategy synthesis for multi-dimensional quantitative objectives
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2014'
...
---
_id: '2852'
abstract:
- lang: eng
  text: A robust combiner for hash functions takes two candidate implementations and
    constructs a hash function which is secure as long as at least one of the candidates
    is secure. So far, hash function combiners only aim at preserving a single property
    such as collision-resistance or pseudorandomness. However, when hash functions
    are used in protocols like TLS they are often required to provide several properties
    simultaneously. We therefore put forward the notion of robust multi-property combiners
    and elaborate on different definitions for such combiners. We then propose a combiner
    that provably preserves (target) collision-resistance, pseudorandomness, and being
    a secure message authentication code. This combiner satisfies the strongest notion
    we propose, which requires that the combined function satisfies every security
    property which is satisfied by at least one of the underlying hash function. If
    the underlying hash functions have output length n, the combiner has output length
    2 n. This basically matches a known lower bound for black-box combiners for collision-resistance
    only, thus the other properties can be achieved without penalizing the length
    of the hash values. We then propose a combiner which also preserves the property
    of being indifferentiable from a random oracle, slightly increasing the output
    length to 2 n+ω(log n). Moreover, we show how to augment our constructions in
    order to make them also robust for the one-wayness property, but in this case
    require an a priory upper bound on the input length.
author:
- first_name: Marc
  full_name: Fischlin, Marc
  last_name: Fischlin
- first_name: Anja
  full_name: Lehmann, Anja
  last_name: Lehmann
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
citation:
  ama: Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash
    functions. <i>Journal of Cryptology</i>. 2014;27(3):397-428. doi:<a href="https://doi.org/10.1007/s00145-013-9148-7">10.1007/s00145-013-9148-7</a>
  apa: Fischlin, M., Lehmann, A., &#38; Pietrzak, K. Z. (2014). Robust multi-property
    combiners for hash functions. <i>Journal of Cryptology</i>. Springer. <a href="https://doi.org/10.1007/s00145-013-9148-7">https://doi.org/10.1007/s00145-013-9148-7</a>
  chicago: Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property
    Combiners for Hash Functions.” <i>Journal of Cryptology</i>. Springer, 2014. <a
    href="https://doi.org/10.1007/s00145-013-9148-7">https://doi.org/10.1007/s00145-013-9148-7</a>.
  ieee: M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners
    for hash functions,” <i>Journal of Cryptology</i>, vol. 27, no. 3. Springer, pp.
    397–428, 2014.
  ista: Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners
    for hash functions. Journal of Cryptology. 27(3), 397–428.
  mla: Fischlin, Marc, et al. “Robust Multi-Property Combiners for Hash Functions.”
    <i>Journal of Cryptology</i>, vol. 27, no. 3, Springer, 2014, pp. 397–428, doi:<a
    href="https://doi.org/10.1007/s00145-013-9148-7">10.1007/s00145-013-9148-7</a>.
  short: M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
date_created: 2018-12-11T11:59:56Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2023-02-23T11:17:53Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/s00145-013-9148-7
intvolume: '        27'
issue: '3'
language:
- iso: eng
month: '07'
oa_version: None
page: 397 - 428
publication: Journal of Cryptology
publication_status: published
publisher: Springer
publist_id: '3940'
quality_controlled: '1'
related_material:
  record:
  - id: '3225'
    relation: earlier_version
    status: public
scopus_import: 1
status: public
title: Robust multi-property combiners for hash functions
type: journal_article
user_id: 3FFCCD3A-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2014'
...
---
_id: '2905'
abstract:
- lang: eng
  text: "Persistent homology is a recent grandchild of homology that has found use
    in\r\nscience and engineering as well as in mathematics. This paper surveys the
    method as well\r\nas the applications, neglecting completeness in favor of highlighting
    ideas and directions."
acknowledgement: This research is partially supported by NSF under grant DBI-0820624,
  by ESF under the Research Networking Programme, and by the Russian Government Project
  11.G34.31.0053.
article_processing_charge: No
author:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Dmitriy
  full_name: Morozovy, Dmitriy
  last_name: Morozovy
citation:
  ama: 'Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In:
    European Mathematical Society Publishing House; 2014:31-50. doi:<a href="https://doi.org/10.4171/120-1/3">10.4171/120-1/3</a>'
  apa: 'Edelsbrunner, H., &#38; Morozovy, D. (2014). Persistent homology: Theory and
    practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics,
    Kraków, Poland: European Mathematical Society Publishing House. <a href="https://doi.org/10.4171/120-1/3">https://doi.org/10.4171/120-1/3</a>'
  chicago: 'Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory
    and Practice,” 31–50. European Mathematical Society Publishing House, 2014. <a
    href="https://doi.org/10.4171/120-1/3">https://doi.org/10.4171/120-1/3</a>.'
  ieee: 'H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,”
    presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014,
    pp. 31–50.'
  ista: 'Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice.
    ECM: European Congress of Mathematics, 31–50.'
  mla: 'Edelsbrunner, Herbert, and Dmitriy Morozovy. <i>Persistent Homology: Theory
    and Practice</i>. European Mathematical Society Publishing House, 2014, pp. 31–50,
    doi:<a href="https://doi.org/10.4171/120-1/3">10.4171/120-1/3</a>.'
  short: H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing
    House, 2014, pp. 31–50.
conference:
  end_date: 2012-07-07
  location: Kraków, Poland
  name: 'ECM: European Congress of Mathematics'
  start_date: 2012-07-02
date_created: 2018-12-11T12:00:16Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T07:00:36Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.4171/120-1/3
file:
- access_level: open_access
  checksum: 1d4a046f1af945c407c5c4d411d4c5e4
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:43Z
  date_updated: 2020-07-14T12:45:52Z
  file_id: '5232'
  file_name: IST-2016-544-v1+1_2012-P-11-PHTheoryPractice.pdf
  file_size: 435320
  relation: main_file
file_date_updated: 2020-07-14T12:45:52Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 31 - 50
publication_status: published
publisher: European Mathematical Society Publishing House
publist_id: '3842'
pubrep_id: '544'
quality_controlled: '1'
status: public
title: 'Persistent homology: Theory and practice'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '3263'
abstract:
- lang: eng
  text: Adaptation in the retina is thought to optimize the encoding of natural light
    signals into sequences of spikes sent to the brain. While adaptive changes in
    retinal processing to the variations of the mean luminance level and second-order
    stimulus statistics have been documented before, no such measurements have been
    performed when higher-order moments of the light distribution change. We therefore
    measured the ganglion cell responses in the tiger salamander retina to controlled
    changes in the second (contrast), third (skew) and fourth (kurtosis) moments of
    the light intensity distribution of spatially uniform temporally independent stimuli.
    The skew and kurtosis of the stimuli were chosen to cover the range observed in
    natural scenes. We quantified adaptation in ganglion cells by studying linear-nonlinear
    models that capture well the retinal encoding properties across all stimuli. We
    found that the encoding properties of retinal ganglion cells change only marginally
    when higher-order statistics change, compared to the changes observed in response
    to the variation in contrast. By analyzing optimal coding in LN-type models, we
    showed that neurons can maintain a high information rate without large dynamic
    adaptation to changes in skew or kurtosis. This is because, for uncorrelated stimuli,
    spatio-temporal summation within the receptive field averages away non-gaussian
    aspects of the light intensity distribution.
acknowledgement: "This work was supported by The Israel Science Foundation and The
  Human Frontiers Science Program.\r\nWe thank the referees for helping significantly
  improve this paper. We also thank Vijay Balasubramanian, Kristina Simmons, and Jason
  Prentice for stimulating discussions. GT wishes to thank the faculty and students
  of the “Methods in Computational Neuroscience” course at Marine Biological Laboratory,
  Woods Hole.\r\n"
article_number: e85841
author:
- first_name: Gasper
  full_name: Tkacik, Gasper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkacik
  orcid: 0000-0002-6699-1455
- first_name: Anandamohan
  full_name: Ghosh, Anandamohan
  last_name: Ghosh
- first_name: Elad
  full_name: Schneidman, Elad
  last_name: Schneidman
- first_name: Ronen
  full_name: Segev, Ronen
  last_name: Segev
citation:
  ama: Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order
    stimulus statistics in the salamander retina. <i>PLoS One</i>. 2014;9(1). doi:<a
    href="https://doi.org/10.1371/journal.pone.0085841">10.1371/journal.pone.0085841</a>
  apa: Tkačik, G., Ghosh, A., Schneidman, E., &#38; Segev, R. (2014). Adaptation to
    changes in higher-order stimulus statistics in the salamander retina. <i>PLoS
    One</i>. Public Library of Science. <a href="https://doi.org/10.1371/journal.pone.0085841">https://doi.org/10.1371/journal.pone.0085841</a>
  chicago: Tkačik, Gašper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation
    to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” <i>PLoS
    One</i>. Public Library of Science, 2014. <a href="https://doi.org/10.1371/journal.pone.0085841">https://doi.org/10.1371/journal.pone.0085841</a>.
  ieee: G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in
    higher-order stimulus statistics in the salamander retina,” <i>PLoS One</i>, vol.
    9, no. 1. Public Library of Science, 2014.
  ista: Tkačik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order
    stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.
  mla: Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics
    in the Salamander Retina.” <i>PLoS One</i>, vol. 9, no. 1, e85841, Public Library
    of Science, 2014, doi:<a href="https://doi.org/10.1371/journal.pone.0085841">10.1371/journal.pone.0085841</a>.
  short: G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
date_created: 2018-12-11T12:02:20Z
date_published: 2014-01-21T00:00:00Z
date_updated: 2021-01-12T07:42:14Z
day: '21'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1371/journal.pone.0085841
file:
- access_level: open_access
  checksum: 1d5816b343abe5eadc3eb419bcece971
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:28Z
  date_updated: 2020-07-14T12:46:06Z
  file_id: '5011'
  file_name: IST-2016-432-v1+1_journal.pone.0085841.pdf
  file_size: 1568524
  relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: '         9'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '3385'
pubrep_id: '432'
quality_controlled: '1'
scopus_import: 1
status: public
title: Adaptation to changes in higher-order stimulus statistics in the salamander
  retina
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: 3FFCCD3A-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2014'
...
---
_id: '332'
abstract:
- lang: eng
  text: 'Cu2ZnSnS4, based on abundant and environmental friendly elements and with
    a direct band gap of 1.5 eV, is a main candidate material for solar energy conversion
    through both photovoltaics and photocatalysis. We detail here the synthesis of
    quasi-spherical Cu 2ZnSnS4 nanoparticles with unprecedented narrow size distributions.
    We further detail their use as seeds to produce CZTS-Au and CZTS-Pt heterostructured
    nanoparticles. Such heterostructured nanoparticles are shown to have excellent
    photocatalytic properties toward degradation of Rhodamine B and hydrogen generation
    by water splitting. '
article_processing_charge: No
article_type: original
author:
- first_name: Xuelian
  full_name: Yu, Xuelian
  last_name: Yu
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Xiaoqiang
  full_name: An, Xiaoqiang
  last_name: An
- first_name: Zhishan
  full_name: Luo, Zhishan
  last_name: Luo
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au
    heterostructured nanoparticles for photocatalytic water splitting and pollutant
    degradation. <i>Journal of the American Chemical Society</i>. 2014;136(26):9236-9239.
    doi:<a href="https://doi.org/10.1021/ja502076b">10.1021/ja502076b</a>
  apa: Yu, X., Shavel, A., An, X., Luo, Z., Ibáñez, M., &#38; Cabot, A. (2014). Cu2ZnSnS4-Pt
    and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting
    and pollutant degradation. <i>Journal of the American Chemical Society</i>. ACS.
    <a href="https://doi.org/10.1021/ja502076b">https://doi.org/10.1021/ja502076b</a>
  chicago: Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and
    Andreu Cabot. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for
    Photocatalytic Water Splitting and Pollutant Degradation.” <i>Journal of the American
    Chemical Society</i>. ACS, 2014. <a href="https://doi.org/10.1021/ja502076b">https://doi.org/10.1021/ja502076b</a>.
  ieee: X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, and A. Cabot, “Cu2ZnSnS4-Pt and
    Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting
    and pollutant degradation,” <i>Journal of the American Chemical Society</i>, vol.
    136, no. 26. ACS, pp. 9236–9239, 2014.
  ista: Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au
    heterostructured nanoparticles for photocatalytic water splitting and pollutant
    degradation. Journal of the American Chemical Society. 136(26), 9236–9239.
  mla: Yu, Xuelian, et al. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles
    for Photocatalytic Water Splitting and Pollutant Degradation.” <i>Journal of the
    American Chemical Society</i>, vol. 136, no. 26, ACS, 2014, pp. 9236–39, doi:<a
    href="https://doi.org/10.1021/ja502076b">10.1021/ja502076b</a>.
  short: X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American
    Chemical Society 136 (2014) 9236–9239.
date_created: 2018-12-11T11:45:52Z
date_published: 2014-06-11T00:00:00Z
date_updated: 2021-01-12T07:42:37Z
day: '11'
doi: 10.1021/ja502076b
extern: '1'
intvolume: '       136'
issue: '26'
language:
- iso: eng
month: '06'
oa_version: None
page: 9236 - 9239
publication: Journal of the American Chemical Society
publication_status: published
publisher: ACS
publist_id: '7513'
quality_controlled: '1'
status: public
title: Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic
  water splitting and pollutant degradation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 136
year: '2014'
...
---
_id: '10793'
abstract:
- lang: eng
  text: "The Hanani–Tutte theorem is a classical result proved for the first time
    in the 1930s that characterizes planar graphs as graphs that admit a drawing in
    the plane in which every pair of edges not sharing a vertex cross an even number
    of times. We generalize this classical result to clustered graphs with two disjoint
    clusters, and show that a straightforward extension of our result to flat clustered
    graphs with three or more disjoint clusters is not possible.\r\n\r\nWe also give
    a new and short proof for a related result by Di Battista and Frati based on the
    matroid intersection algorithm."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Radoslav
  full_name: Fulek, Radoslav
  id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
  last_name: Fulek
  orcid: 0000-0001-8485-1774
- first_name: Jan
  full_name: Kynčl, Jan
  last_name: Kynčl
- first_name: Igor
  full_name: Malinović, Igor
  last_name: Malinović
- first_name: Dömötör
  full_name: Pálvölgyi, Dömötör
  last_name: Pálvölgyi
citation:
  ama: 'Fulek R, Kynčl J, Malinović I, Pálvölgyi D. Clustered planarity testing revisited.
    In: <i>International Symposium on Graph Drawing</i>. Vol 8871. Cham: Springer
    Nature; 2014:428-436. doi:<a href="https://doi.org/10.1007/978-3-662-45803-7_36">10.1007/978-3-662-45803-7_36</a>'
  apa: 'Fulek, R., Kynčl, J., Malinović, I., &#38; Pálvölgyi, D. (2014). Clustered
    planarity testing revisited. In <i>International Symposium on Graph Drawing</i>
    (Vol. 8871, pp. 428–436). Cham: Springer Nature. <a href="https://doi.org/10.1007/978-3-662-45803-7_36">https://doi.org/10.1007/978-3-662-45803-7_36</a>'
  chicago: 'Fulek, Radoslav, Jan Kynčl, Igor Malinović, and Dömötör Pálvölgyi. “Clustered
    Planarity Testing Revisited.” In <i>International Symposium on Graph Drawing</i>,
    8871:428–36. Cham: Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-662-45803-7_36">https://doi.org/10.1007/978-3-662-45803-7_36</a>.'
  ieee: R. Fulek, J. Kynčl, I. Malinović, and D. Pálvölgyi, “Clustered planarity testing
    revisited,” in <i>International Symposium on Graph Drawing</i>, 2014, vol. 8871,
    pp. 428–436.
  ista: Fulek R, Kynčl J, Malinović I, Pálvölgyi D. 2014. Clustered planarity testing
    revisited. International Symposium on Graph Drawing. , LNCS, vol. 8871, 428–436.
  mla: Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” <i>International
    Symposium on Graph Drawing</i>, vol. 8871, Springer Nature, 2014, pp. 428–36,
    doi:<a href="https://doi.org/10.1007/978-3-662-45803-7_36">10.1007/978-3-662-45803-7_36</a>.
  short: R. Fulek, J. Kynčl, I. Malinović, D. Pálvölgyi, in:, International Symposium
    on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.
date_created: 2022-02-25T10:32:14Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2023-02-23T10:08:04Z
day: '01'
department:
- _id: UlWa
doi: 10.1007/978-3-662-45803-7_36
external_id:
  arxiv:
  - '1305.4519'
intvolume: '      8871'
language:
- iso: eng
month: '01'
oa_version: Preprint
page: 428-436
place: Cham
publication: International Symposium on Graph Drawing
publication_identifier:
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '1642'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Clustered planarity testing revisited
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8871
year: '2014'
...
---
_id: '10811'
abstract:
- lang: eng
  text: Auxin is an important signaling compound in plants and vital for plant development
    and growth. The present book, Auxin and its Role in Plant Development, provides
    the reader with detailed and comprehensive insight into the functioning of the
    molecule on the whole and specifically in plant development. In the first part,
    the functioning, metabolism and signaling pathways of auxin in plants are explained,
    the second part depicts the specific role of auxin in plant development and the
    third part describes the interaction and functioning of the signaling compound  upon
    stimuli of the environment. Each chapter is written by international experts in
    the respective field and designed for scientists and researchers in plant biology,
    plant development and cell biology to summarize the recent progress in understanding
    the role of auxin and suggest future perspectives for auxin research.
article_processing_charge: No
citation:
  ama: 'Zažímalová E, Petrášek J, Benková E, eds. <i>Auxin and Its Role in Plant Development</i>.
    1st ed. Vienna: Springer Nature; 2014. doi:<a href="https://doi.org/10.1007/978-3-7091-1526-8">10.1007/978-3-7091-1526-8</a>'
  apa: 'Zažímalová, E., Petrášek, J., &#38; Benková, E. (Eds.). (2014). <i>Auxin and
    Its Role in Plant Development</i> (1st ed.). Vienna: Springer Nature. <a href="https://doi.org/10.1007/978-3-7091-1526-8">https://doi.org/10.1007/978-3-7091-1526-8</a>'
  chicago: 'Zažímalová, Eva, Jan Petrášek, and Eva Benková, eds. <i>Auxin and Its
    Role in Plant Development</i>. 1st ed. Vienna: Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-7091-1526-8">https://doi.org/10.1007/978-3-7091-1526-8</a>.'
  ieee: 'E. Zažímalová, J. Petrášek, and E. Benková, Eds., <i>Auxin and Its Role in
    Plant Development</i>, 1st ed. Vienna: Springer Nature, 2014.'
  ista: 'Zažímalová E, Petrášek J, Benková E eds. 2014. Auxin and Its Role in Plant
    Development 1st ed., Vienna: Springer Nature, 444p.'
  mla: Zažímalová, Eva, et al., editors. <i>Auxin and Its Role in Plant Development</i>.
    1st ed., Springer Nature, 2014, doi:<a href="https://doi.org/10.1007/978-3-7091-1526-8">10.1007/978-3-7091-1526-8</a>.
  short: E. Zažímalová, J. Petrášek, E. Benková, eds., Auxin and Its Role in Plant
    Development, 1st ed., Springer Nature, Vienna, 2014.
date_created: 2022-03-03T11:52:44Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2022-03-04T07:38:15Z
day: '01'
department:
- _id: EvBe
doi: 10.1007/978-3-7091-1526-8
edition: '1'
editor:
- first_name: Eva
  full_name: Zažímalová, Eva
  last_name: Zažímalová
- first_name: Jan
  full_name: Petrášek, Jan
  last_name: Petrášek
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
language:
- iso: eng
month: '04'
oa_version: None
page: '444'
place: Vienna
publication_identifier:
  eisbn:
  - '9783709115268'
  isbn:
  - '9783709115251'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin and Its Role in Plant Development
type: book_editor
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '10814'
abstract:
- lang: eng
  text: We review recent progress towards a rigorous understanding of the excitation
    spectrum of bosonic quantum many-body systems. In particular, we explain how one
    can rigorously establish the predictions resulting from the Bogoliubov approximation
    in the mean field limit. The latter predicts that the spectrum is made up of elementary
    excitations, whose energy behaves linearly in the momentum for small momentum.
    This property is crucial for the superfluid behavior of the system. We also discuss
    a list of open problems in this field.
article_processing_charge: No
article_type: original
author:
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Seiringer R. The excitation spectrum for Bose fluids with weak interactions.
    <i>Jahresbericht der Deutschen Mathematiker-Vereinigung</i>. 2014;116:21-41. doi:<a
    href="https://doi.org/10.1365/s13291-014-0083-9">10.1365/s13291-014-0083-9</a>
  apa: Seiringer, R. (2014). The excitation spectrum for Bose fluids with weak interactions.
    <i>Jahresbericht Der Deutschen Mathematiker-Vereinigung</i>. Springer Nature.
    <a href="https://doi.org/10.1365/s13291-014-0083-9">https://doi.org/10.1365/s13291-014-0083-9</a>
  chicago: Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.”
    <i>Jahresbericht Der Deutschen Mathematiker-Vereinigung</i>. Springer Nature,
    2014. <a href="https://doi.org/10.1365/s13291-014-0083-9">https://doi.org/10.1365/s13291-014-0083-9</a>.
  ieee: R. Seiringer, “The excitation spectrum for Bose fluids with weak interactions,”
    <i>Jahresbericht der Deutschen Mathematiker-Vereinigung</i>, vol. 116. Springer
    Nature, pp. 21–41, 2014.
  ista: Seiringer R. 2014. The excitation spectrum for Bose fluids with weak interactions.
    Jahresbericht der Deutschen Mathematiker-Vereinigung. 116, 21–41.
  mla: Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.”
    <i>Jahresbericht Der Deutschen Mathematiker-Vereinigung</i>, vol. 116, Springer
    Nature, 2014, pp. 21–41, doi:<a href="https://doi.org/10.1365/s13291-014-0083-9">10.1365/s13291-014-0083-9</a>.
  short: R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014)
    21–41.
date_created: 2022-03-04T07:54:39Z
date_published: 2014-03-01T00:00:00Z
date_updated: 2023-09-05T14:19:47Z
day: '01'
department:
- _id: RoSe
doi: 10.1365/s13291-014-0083-9
intvolume: '       116'
keyword:
- General Medicine
language:
- iso: eng
month: '03'
oa_version: None
page: 21-41
publication: Jahresbericht der Deutschen Mathematiker-Vereinigung
publication_identifier:
  eissn:
  - 1869-7135
  issn:
  - 0012-0456
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The excitation spectrum for Bose fluids with weak interactions
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 116
year: '2014'
...
---
_id: '10815'
abstract:
- lang: eng
  text: In the last several decades, developmental biology has clarified the molecular
    mechanisms of embryogenesis and organogenesis. In particular, it has demonstrated
    that the “tool-kit genes” essential for regulating developmental processes are
    not only highly conserved among species, but are also used as systems at various
    times and places in an organism to control distinct developmental events. Therefore,
    mutations in many of these tool-kit genes may cause congenital diseases involving
    morphological abnormalities. This link between genes and abnormal morphological
    phenotypes underscores the importance of understanding how cells behave and contribute
    to morphogenesis as a result of gene function. Recent improvements in live imaging
    and in quantitative analyses of cellular dynamics will advance our understanding
    of the cellular pathogenesis of congenital diseases associated with aberrant morphologies.
    In these studies, it is critical to select an appropriate model organism for the
    particular phenomenon of interest.
acknowledgement: The authors thank all the members of the Division of Morphogenesis,
  National Institute for Basic Biology, for their contributions to the research, their
  encouragement, and helpful discussions, particularly Dr M. Suzuki for his critical
  reading of the manuscript. We also thank the Model Animal Research and Spectrography
  and Bioimaging Facilities, NIBB Core Research Facilities, for technical support.
  M.H. was supported by a research fellowship from the Japan Society for the Promotion
  of Science (JSPS). Our work introduced in this review was supported by a Grant-in-Aid
  for Scientific Research on Innovative Areas from the Ministry of Education, Culture,
  Sports, Science, and Technology (MEXT), Japan, to N.U.
article_processing_charge: No
article_type: original
author:
- first_name: Masakazu
  full_name: Hashimoto, Masakazu
  last_name: Hashimoto
- first_name: Hitoshi
  full_name: Morita, Hitoshi
  id: 4C6E54C6-F248-11E8-B48F-1D18A9856A87
  last_name: Morita
- first_name: Naoto
  full_name: Ueno, Naoto
  last_name: Ueno
citation:
  ama: Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development
    underlying congenital diseases. <i>Congenital Anomalies</i>. 2014;54(1):1-7. doi:<a
    href="https://doi.org/10.1111/cga.12039">10.1111/cga.12039</a>
  apa: Hashimoto, M., Morita, H., &#38; Ueno, N. (2014). Molecular and cellular mechanisms
    of development underlying congenital diseases. <i>Congenital Anomalies</i>. Wiley.
    <a href="https://doi.org/10.1111/cga.12039">https://doi.org/10.1111/cga.12039</a>
  chicago: Hashimoto, Masakazu, Hitoshi Morita, and Naoto Ueno. “Molecular and Cellular
    Mechanisms of Development Underlying Congenital Diseases.” <i>Congenital Anomalies</i>.
    Wiley, 2014. <a href="https://doi.org/10.1111/cga.12039">https://doi.org/10.1111/cga.12039</a>.
  ieee: M. Hashimoto, H. Morita, and N. Ueno, “Molecular and cellular mechanisms of
    development underlying congenital diseases,” <i>Congenital Anomalies</i>, vol.
    54, no. 1. Wiley, pp. 1–7, 2014.
  ista: Hashimoto M, Morita H, Ueno N. 2014. Molecular and cellular mechanisms of
    development underlying congenital diseases. Congenital Anomalies. 54(1), 1–7.
  mla: Hashimoto, Masakazu, et al. “Molecular and Cellular Mechanisms of Development
    Underlying Congenital Diseases.” <i>Congenital Anomalies</i>, vol. 54, no. 1,
    Wiley, 2014, pp. 1–7, doi:<a href="https://doi.org/10.1111/cga.12039">10.1111/cga.12039</a>.
  short: M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
date_created: 2022-03-04T08:17:25Z
date_published: 2014-02-01T00:00:00Z
date_updated: 2022-03-04T08:26:05Z
day: '01'
department:
- _id: CaHe
doi: 10.1111/cga.12039
external_id:
  pmid:
  - '24666178'
intvolume: '        54'
issue: '1'
keyword:
- Developmental Biology
- Embryology
- General Medicine
- Pediatrics
- Perinatology
- and Child Health
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1111/cga.12039
month: '02'
oa: 1
oa_version: None
page: 1-7
pmid: 1
publication: Congenital Anomalies
publication_identifier:
  issn:
  - 0914-3505
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular and cellular mechanisms of development underlying congenital diseases
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2014'
...
---
_id: '10817'
abstract:
- lang: eng
  text: The Morse-Smale complex can be either explicitly or implicitly represented.
    Depending on the type of representation, the simplification of the Morse-Smale
    complex works differently. In the explicit representation, the Morse-Smale complex
    is directly simplified by explicitly reconnecting the critical points during the
    simplification. In the implicit representation, on the other hand, the Morse-Smale
    complex is given by a combinatorial gradient field. In this setting, the simplification
    changes the combinatorial flow, which yields an indirect simplification of the
    Morse-Smale complex. The topological complexity of the Morse-Smale complex is
    reduced in both representations. However, the simplifications generally yield
    different results. In this chapter, we emphasize properties of the two representations
    that cause these differences. We also provide a complexity analysis of the two
    schemes with respect to running time and memory consumption.
acknowledgement: This research is supported and funded by the Digiteo unTopoVis project,
  the TOPOSYS project FP7-ICT-318493-STREP, and MPC-VCC.
article_processing_charge: No
author:
- first_name: David
  full_name: Günther, David
  last_name: Günther
- first_name: Jan
  full_name: Reininghaus, Jan
  id: 4505473A-F248-11E8-B48F-1D18A9856A87
  last_name: Reininghaus
- first_name: Hans-Peter
  full_name: Seidel, Hans-Peter
  last_name: Seidel
- first_name: Tino
  full_name: Weinkauf, Tino
  last_name: Weinkauf
citation:
  ama: 'Günther D, Reininghaus J, Seidel H-P, Weinkauf T. Notes on the simplification
    of the Morse-Smale complex. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds.
    <i>Topological Methods in Data Analysis and Visualization III.</i> Mathematics
    and Visualization. Cham: Springer Nature; 2014:135-150. doi:<a href="https://doi.org/10.1007/978-3-319-04099-8_9">10.1007/978-3-319-04099-8_9</a>'
  apa: 'Günther, D., Reininghaus, J., Seidel, H.-P., &#38; Weinkauf, T. (2014). Notes
    on the simplification of the Morse-Smale complex. In P.-T. Bremer, I. Hotz, V.
    Pascucci, &#38; R. Peikert (Eds.), <i>Topological Methods in Data Analysis and
    Visualization III.</i> (pp. 135–150). Cham: Springer Nature. <a href="https://doi.org/10.1007/978-3-319-04099-8_9">https://doi.org/10.1007/978-3-319-04099-8_9</a>'
  chicago: 'Günther, David, Jan Reininghaus, Hans-Peter Seidel, and Tino Weinkauf.
    “Notes on the Simplification of the Morse-Smale Complex.” In <i>Topological Methods
    in Data Analysis and Visualization III.</i>, edited by Peer-Timo Bremer, Ingrid
    Hotz, Valerio Pascucci, and Ronald Peikert, 135–50. Mathematics and Visualization.
    Cham: Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-319-04099-8_9">https://doi.org/10.1007/978-3-319-04099-8_9</a>.'
  ieee: 'D. Günther, J. Reininghaus, H.-P. Seidel, and T. Weinkauf, “Notes on the
    simplification of the Morse-Smale complex,” in <i>Topological Methods in Data
    Analysis and Visualization III.</i>, P.-T. Bremer, I. Hotz, V. Pascucci, and R.
    Peikert, Eds. Cham: Springer Nature, 2014, pp. 135–150.'
  ista: 'Günther D, Reininghaus J, Seidel H-P, Weinkauf T. 2014.Notes on the simplification
    of the Morse-Smale complex. In: Topological Methods in Data Analysis and Visualization
    III. , 135–150.'
  mla: Günther, David, et al. “Notes on the Simplification of the Morse-Smale Complex.”
    <i>Topological Methods in Data Analysis and Visualization III.</i>, edited by
    Peer-Timo Bremer et al., Springer Nature, 2014, pp. 135–50, doi:<a href="https://doi.org/10.1007/978-3-319-04099-8_9">10.1007/978-3-319-04099-8_9</a>.
  short: D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer,
    I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis
    and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.
date_created: 2022-03-04T08:33:57Z
date_published: 2014-03-19T00:00:00Z
date_updated: 2023-09-05T15:33:45Z
day: '19'
department:
- _id: HeEd
doi: 10.1007/978-3-319-04099-8_9
ec_funded: 1
editor:
- first_name: Peer-Timo
  full_name: Bremer, Peer-Timo
  last_name: Bremer
- first_name: Ingrid
  full_name: Hotz, Ingrid
  last_name: Hotz
- first_name: Valerio
  full_name: Pascucci, Valerio
  last_name: Pascucci
- first_name: Ronald
  full_name: Peikert, Ronald
  last_name: Peikert
language:
- iso: eng
month: '03'
oa_version: None
page: 135-150
place: Cham
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '318493'
  name: Topological Complex Systems
publication: Topological Methods in Data Analysis and Visualization III.
publication_identifier:
  eisbn:
  - '9783319040998'
  eissn:
  - 2197-666X
  isbn:
  - '9783319040981'
  issn:
  - 1612-3786
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: Mathematics and Visualization
status: public
title: Notes on the simplification of the Morse-Smale complex
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2014'
...
---
_id: '10884'
abstract:
- lang: eng
  text: "We revisit the parameterized model checking problem for token-passing systems
    and specifications in indexed CTL  ∗ \\X. Emerson and Namjoshi (1995, 2003) have
    shown that parameterized model checking of indexed CTL  ∗ \\X in uni-directional
    token rings can be reduced to checking rings up to some cutoff size. Clarke et
    al. (2004) have shown a similar result for general topologies and indexed LTL
    \\X, provided processes cannot choose the directions for sending or receiving
    the token.\r\nWe unify and substantially extend these results by systematically
    exploring fragments of indexed CTL  ∗ \\X with respect to general topologies.
    For each fragment we establish whether a cutoff exists, and for some concrete
    topologies, such as rings, cliques and stars, we infer small cutoffs. Finally,
    we show that the problem becomes undecidable, and thus no cutoffs exist, if processes
    are allowed to choose the directions in which they send or from which they receive
    the token."
acknowledgement: "This work was supported by the Austrian Science Fund through grant
  P23499-N23\r\nand through the RiSE network (S11403, S11405, S11406, S11407-N23);
  ERC Starting Grant (279307: Graph Games); Vienna Science and Technology Fund (WWTF)\r\ngrants
  PROSEED, ICT12-059, and VRG11-005."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Benjamin
  full_name: Aminof, Benjamin
  id: 4A55BD00-F248-11E8-B48F-1D18A9856A87
  last_name: Aminof
- first_name: Swen
  full_name: Jacobs, Swen
  last_name: Jacobs
- first_name: Ayrat
  full_name: Khalimov, Ayrat
  last_name: Khalimov
- first_name: Sasha
  full_name: Rubin, Sasha
  id: 2EC51194-F248-11E8-B48F-1D18A9856A87
  last_name: Rubin
citation:
  ama: 'Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing
    systems. In: <i>Verification, Model Checking, and Abstract Interpretation</i>.
    Vol 8318. Springer Nature; 2014:262-281. doi:<a href="https://doi.org/10.1007/978-3-642-54013-4_15">10.1007/978-3-642-54013-4_15</a>'
  apa: 'Aminof, B., Jacobs, S., Khalimov, A., &#38; Rubin, S. (2014). Parameterized
    model checking of token-passing systems. In <i>Verification, Model Checking, and
    Abstract Interpretation</i> (Vol. 8318, pp. 262–281). San Diego, CA, United States:
    Springer Nature. <a href="https://doi.org/10.1007/978-3-642-54013-4_15">https://doi.org/10.1007/978-3-642-54013-4_15</a>'
  chicago: Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized
    Model Checking of Token-Passing Systems.” In <i>Verification, Model Checking,
    and Abstract Interpretation</i>, 8318:262–81. Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-642-54013-4_15">https://doi.org/10.1007/978-3-642-54013-4_15</a>.
  ieee: B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking
    of token-passing systems,” in <i>Verification, Model Checking, and Abstract Interpretation</i>,
    San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
  ista: 'Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking
    of token-passing systems. Verification, Model Checking, and Abstract Interpretation.
    VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318,
    262–281.'
  mla: Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.”
    <i>Verification, Model Checking, and Abstract Interpretation</i>, vol. 8318, Springer
    Nature, 2014, pp. 262–81, doi:<a href="https://doi.org/10.1007/978-3-642-54013-4_15">10.1007/978-3-642-54013-4_15</a>.
  short: B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking,
    and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
conference:
  end_date: 2014-01-21
  location: San Diego, CA, United States
  name: 'VMCAI: Verifcation, Model Checking, and Abstract Interpretation'
  start_date: 2014-01-19
date_created: 2022-03-18T13:01:22Z
date_published: 2014-01-30T00:00:00Z
date_updated: 2022-05-17T08:36:01Z
day: '30'
department:
- _id: KrCh
doi: 10.1007/978-3-642-54013-4_15
ec_funded: 1
external_id:
  arxiv:
  - '1311.4425'
intvolume: '      8318'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: ' https://doi.org/10.48550/arXiv.1311.4425'
month: '01'
oa: 1
oa_version: Preprint
page: 262-281
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication: Verification, Model Checking, and Abstract Interpretation
publication_identifier:
  eisbn:
  - '9783642540134'
  eissn:
  - 1611-3349
  isbn:
  - '9783642540127'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Parameterized model checking of token-passing systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8318
year: '2014'
...
---
_id: '10885'
abstract:
- lang: eng
  text: "Two-player games on graphs provide the theoretical framework for many important
    problems such as reactive synthesis. While the traditional study of two-player
    zero-sum games has been extended to multi-player games with several notions of
    equilibria, they are decidable only for perfect-information games, whereas several
    applications require imperfect-information games.\r\nIn this paper we propose
    a new notion of equilibria, called doomsday equilibria, which is a strategy profile
    such that all players satisfy their own objective, and if any coalition of players
    deviates and violates even one of the players objective, then the objective of
    every player is violated.\r\nWe present algorithms and complexity results for
    deciding the existence of doomsday equilibria for various classes of ω-regular
    objectives, both for imperfect-information games, and for perfect-information
    games.We provide optimal complexity bounds for imperfect-information games, and
    in most cases for perfect-information games."
acknowledgement: " Supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF
  NFN Grant No\r\nS11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft
  faculty fellows award."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Laurent
  full_name: Doyen, Laurent
  last_name: Doyen
- first_name: Emmanuel
  full_name: Filiot, Emmanuel
  last_name: Filiot
- first_name: Jean-François
  full_name: Raskin, Jean-François
  last_name: Raskin
citation:
  ama: 'Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular
    games. In: <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>.
    Vol 8318. Springer Nature; 2014:78-97. doi:<a href="https://doi.org/10.1007/978-3-642-54013-4_5">10.1007/978-3-642-54013-4_5</a>'
  apa: 'Chatterjee, K., Doyen, L., Filiot, E., &#38; Raskin, J.-F. (2014). Doomsday
    equilibria for omega-regular games. In <i>VMCAI 2014: Verification, Model Checking,
    and Abstract Interpretation</i> (Vol. 8318, pp. 78–97). San Diego, CA, United
    States: Springer Nature. <a href="https://doi.org/10.1007/978-3-642-54013-4_5">https://doi.org/10.1007/978-3-642-54013-4_5</a>'
  chicago: 'Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François
    Raskin. “Doomsday Equilibria for Omega-Regular Games.” In <i>VMCAI 2014: Verification,
    Model Checking, and Abstract Interpretation</i>, 8318:78–97. Springer Nature,
    2014. <a href="https://doi.org/10.1007/978-3-642-54013-4_5">https://doi.org/10.1007/978-3-642-54013-4_5</a>.'
  ieee: 'K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria
    for omega-regular games,” in <i>VMCAI 2014: Verification, Model Checking, and
    Abstract Interpretation</i>, San Diego, CA, United States, 2014, vol. 8318, pp.
    78–97.'
  ista: 'Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for
    omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation.
    VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318,
    78–97.'
  mla: 'Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.”
    <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>,
    vol. 8318, Springer Nature, 2014, pp. 78–97, doi:<a href="https://doi.org/10.1007/978-3-642-54013-4_5">10.1007/978-3-642-54013-4_5</a>.'
  short: 'K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification,
    Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.'
conference:
  end_date: 2014-01-21
  location: San Diego, CA, United States
  name: 'VMCAI: Verifcation, Model Checking, and Abstract Interpretation'
  start_date: 2014-01-19
date_created: 2022-03-18T13:03:15Z
date_published: 2014-01-30T00:00:00Z
date_updated: 2023-02-23T12:52:24Z
day: '30'
department:
- _id: KrCh
doi: 10.1007/978-3-642-54013-4_5
ec_funded: 1
external_id:
  arxiv:
  - '1311.3238'
intvolume: '      8318'
language:
- iso: eng
month: '01'
oa_version: Preprint
page: 78-97
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: 'VMCAI 2014: Verification, Model Checking, and Abstract Interpretation'
publication_identifier:
  eisbn:
  - '9783642540134'
  eissn:
  - 1611-3349
  isbn:
  - '9783642540127'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '681'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Doomsday equilibria for omega-regular games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8318
year: '2014'
...
---
_id: '10886'
abstract:
- lang: eng
  text: We propose a method for visualizing two-dimensional symmetric positive definite
    tensor fields using the Heat Kernel Signature (HKS). The HKS is derived from the
    heat kernel and was originally introduced as an isometry invariant shape signature.
    Each positive definite tensor field defines a Riemannian manifold by considering
    the tensor field as a Riemannian metric. On this Riemmanian manifold we can apply
    the definition of the HKS. The resulting scalar quantity is used for the visualization
    of tensor fields. The HKS is closely related to the Gaussian curvature of the
    Riemannian manifold and the time parameter of the heat kernel allows a multiscale
    analysis in a natural way. In this way, the HKS represents field related scale
    space properties, enabling a level of detail analysis of tensor fields. This makes
    the HKS an interesting new scalar quantity for tensor fields, which differs significantly
    from usual tensor invariants like the trace or the determinant. A method for visualization
    and a numerical realization of the HKS for tensor fields is proposed in this chapter.
    To validate the approach we apply it to some illustrating simple examples as isolated
    critical points and to a medical diffusion tensor data set.
acknowledgement: This research is partially supported by the TOPOSYS project FP7-ICT-318493-STREP.
alternative_title:
- Mathematics and Visualization
article_processing_charge: No
author:
- first_name: Valentin
  full_name: Zobel, Valentin
  last_name: Zobel
- first_name: Jan
  full_name: Reininghaus, Jan
  id: 4505473A-F248-11E8-B48F-1D18A9856A87
  last_name: Reininghaus
- first_name: Ingrid
  full_name: Hotz, Ingrid
  last_name: Hotz
citation:
  ama: 'Zobel V, Reininghaus J, Hotz I. Visualization of two-dimensional symmetric
    positive definite tensor fields using the heat kernel signature. In: <i>Topological
    Methods in Data Analysis and Visualization III </i>. Springer; 2014:249-262. doi:<a
    href="https://doi.org/10.1007/978-3-319-04099-8_16">10.1007/978-3-319-04099-8_16</a>'
  apa: Zobel, V., Reininghaus, J., &#38; Hotz, I. (2014). Visualization of two-dimensional
    symmetric positive definite tensor fields using the heat kernel signature. In
    <i>Topological Methods in Data Analysis and Visualization III </i> (pp. 249–262).
    Springer. <a href="https://doi.org/10.1007/978-3-319-04099-8_16">https://doi.org/10.1007/978-3-319-04099-8_16</a>
  chicago: Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualization of Two-Dimensional
    Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.” In
    <i>Topological Methods in Data Analysis and Visualization III </i>, 249–62. Springer,
    2014. <a href="https://doi.org/10.1007/978-3-319-04099-8_16">https://doi.org/10.1007/978-3-319-04099-8_16</a>.
  ieee: V. Zobel, J. Reininghaus, and I. Hotz, “Visualization of two-dimensional symmetric
    positive definite tensor fields using the heat kernel signature,” in <i>Topological
    Methods in Data Analysis and Visualization III </i>, 2014, pp. 249–262.
  ista: Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric
    positive definite tensor fields using the heat kernel signature. Topological Methods
    in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.
  mla: Zobel, Valentin, et al. “Visualization of Two-Dimensional Symmetric Positive
    Definite Tensor Fields Using the Heat Kernel Signature.” <i>Topological Methods
    in Data Analysis and Visualization III </i>, Springer, 2014, pp. 249–62, doi:<a
    href="https://doi.org/10.1007/978-3-319-04099-8_16">10.1007/978-3-319-04099-8_16</a>.
  short: V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis
    and Visualization III , Springer, 2014, pp. 249–262.
date_created: 2022-03-18T13:05:39Z
date_published: 2014-03-19T00:00:00Z
date_updated: 2023-09-05T14:13:16Z
day: '19'
department:
- _id: HeEd
doi: 10.1007/978-3-319-04099-8_16
language:
- iso: eng
month: '03'
oa_version: None
page: 249-262
publication: 'Topological Methods in Data Analysis and Visualization III '
publication_identifier:
  eisbn:
  - '9783319040998'
  eissn:
  - 2197-666X
  isbn:
  - '9783319040981'
  issn:
  - 1612-3786
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Visualization of two-dimensional symmetric positive definite tensor fields
  using the heat kernel signature
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2014'
...
---
_id: '10892'
abstract:
- lang: eng
  text: "In this paper, we introduce planar matchings on directed pseudo-line arrangements,
    which yield a planar set of pseudo-line segments such that only matching-partners
    are adjacent. By translating the planar matching problem into a corresponding
    stable roommates problem we show that such matchings always exist.\r\nUsing our
    new framework, we establish, for the first time, a complete, rigorous definition
    of weighted straight skeletons, which are based on a so-called wavefront propagation
    process. We present a generalized and unified approach to treat structural changes
    in the wavefront that focuses on the restoration of weak planarity by finding
    planar matchings."
acknowledgement: 'T. Biedl was supported by NSERC and the Ross and Muriel Cheriton
  Fellowship. P. Palfrader was supported by Austrian Science Fund (FWF): P25816-N15.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Therese
  full_name: Biedl, Therese
  last_name: Biedl
- first_name: Stefan
  full_name: Huber, Stefan
  id: 4700A070-F248-11E8-B48F-1D18A9856A87
  last_name: Huber
  orcid: 0000-0002-8871-5814
- first_name: Peter
  full_name: Palfrader, Peter
  last_name: Palfrader
citation:
  ama: 'Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons.
    In: <i>25th International Symposium, ISAAC 2014</i>. Vol 8889. Springer Nature;
    2014:117-127. doi:<a href="https://doi.org/10.1007/978-3-319-13075-0_10">10.1007/978-3-319-13075-0_10</a>'
  apa: 'Biedl, T., Huber, S., &#38; Palfrader, P. (2014). Planar matchings for weighted
    straight skeletons. In <i>25th International Symposium, ISAAC 2014</i> (Vol. 8889,
    pp. 117–127). Jeonju, Korea: Springer Nature. <a href="https://doi.org/10.1007/978-3-319-13075-0_10">https://doi.org/10.1007/978-3-319-13075-0_10</a>'
  chicago: Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for
    Weighted Straight Skeletons.” In <i>25th International Symposium, ISAAC 2014</i>,
    8889:117–27. Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-319-13075-0_10">https://doi.org/10.1007/978-3-319-13075-0_10</a>.
  ieee: T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight
    skeletons,” in <i>25th International Symposium, ISAAC 2014</i>, Jeonju, Korea,
    2014, vol. 8889, pp. 117–127.
  ista: 'Biedl T, Huber S, Palfrader P. 2014. Planar matchings for weighted straight
    skeletons. 25th International Symposium, ISAAC 2014. ISAAC: International Symposium
    on Algorithms and Computation, LNCS, vol. 8889, 117–127.'
  mla: Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.”
    <i>25th International Symposium, ISAAC 2014</i>, vol. 8889, Springer Nature, 2014,
    pp. 117–27, doi:<a href="https://doi.org/10.1007/978-3-319-13075-0_10">10.1007/978-3-319-13075-0_10</a>.
  short: T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC
    2014, Springer Nature, 2014, pp. 117–127.
conference:
  end_date: 2014-12-17
  location: Jeonju, Korea
  name: 'ISAAC: International Symposium on Algorithms and Computation'
  start_date: 2014-12-15
date_created: 2022-03-21T07:09:03Z
date_published: 2014-11-08T00:00:00Z
date_updated: 2023-02-23T12:20:55Z
day: '08'
department:
- _id: HeEd
doi: 10.1007/978-3-319-13075-0_10
intvolume: '      8889'
language:
- iso: eng
month: '11'
oa_version: None
page: 117-127
publication: 25th International Symposium, ISAAC 2014
publication_identifier:
  eisbn:
  - '9783319130750'
  eissn:
  - 1611-3349
  isbn:
  - '9783319130743'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '481'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Planar matchings for weighted straight skeletons
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8889
year: '2014'
...
