---
_id: '1924'
abstract:
- lang: eng
  text: Stomata are two-celled valves that control epidermal pores whose spacing optimizes
    shoot-atmosphere gas exchange. They develop from protodermal cells after unequal
    divisions followed by an equal division and differentiation. The concentration
    of the hormone auxin, a master plant developmental regulator, is tightly controlled
    in time and space, but its role, if any, in stomatal formation is obscure. Here
    dynamic changes of auxin activity during stomatal development are monitored using
    auxin input (DII-VENUS) and output (DR5:VENUS) markers by time-lapse imaging.
    A decrease in auxin levels in the smaller daughter cell after unequal division
    presages the acquisition of a guard mother cell fate whose equal division produces
    the two guard cells. Thus, stomatal patterning requires auxin pathway control
    of stem cell compartment size, as well as auxin depletion that triggers a developmental
    switch from unequal to equal division.
article_number: '3090'
article_processing_charge: No
author:
- first_name: Jie
  full_name: Le, Jie
  last_name: Le
- first_name: Xuguang
  full_name: Liu, Xuguang
  last_name: Liu
- first_name: Kezhen
  full_name: Yang, Kezhen
  last_name: Yang
- first_name: Xiaolan
  full_name: Chen, Xiaolan
  last_name: Chen
- first_name: Lingling
  full_name: Zhu, Lingling
  last_name: Zhu
- first_name: Hongzhe
  full_name: Wang, Hongzhe
  last_name: Wang
- first_name: Ming
  full_name: Wang, Ming
  last_name: Wang
- first_name: Steffen
  full_name: Vanneste, Steffen
  last_name: Vanneste
- first_name: Miyo
  full_name: Morita, Miyo
  last_name: Morita
- first_name: Masao
  full_name: Tasaka, Masao
  last_name: Tasaka
- first_name: Zhaojun
  full_name: Ding, Zhaojun
  last_name: Ding
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Tom
  full_name: Beeckman, Tom
  last_name: Beeckman
- first_name: Fred
  full_name: Sack, Fred
  last_name: Sack
citation:
  ama: Le J, Liu X, Yang K, et al. Auxin transport and activity regulate stomatal
    patterning and development. <i>Nature Communications</i>. 2014;5. doi:<a href="https://doi.org/10.1038/ncomms4090">10.1038/ncomms4090</a>
  apa: Le, J., Liu, X., Yang, K., Chen, X., Zhu, L., Wang, H., … Sack, F. (2014).
    Auxin transport and activity regulate stomatal patterning and development. <i>Nature
    Communications</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/ncomms4090">https://doi.org/10.1038/ncomms4090</a>
  chicago: Le, Jie, Xuguang Liu, Kezhen Yang, Xiaolan Chen, Lingling Zhu, Hongzhe
    Wang, Ming Wang, et al. “Auxin Transport and Activity Regulate Stomatal Patterning
    and Development.” <i>Nature Communications</i>. Nature Publishing Group, 2014.
    <a href="https://doi.org/10.1038/ncomms4090">https://doi.org/10.1038/ncomms4090</a>.
  ieee: J. Le <i>et al.</i>, “Auxin transport and activity regulate stomatal patterning
    and development,” <i>Nature Communications</i>, vol. 5. Nature Publishing Group,
    2014.
  ista: Le J, Liu X, Yang K, Chen X, Zhu L, Wang H, Wang M, Vanneste S, Morita M,
    Tasaka M, Ding Z, Friml J, Beeckman T, Sack F. 2014. Auxin transport and activity
    regulate stomatal patterning and development. Nature Communications. 5, 3090.
  mla: Le, Jie, et al. “Auxin Transport and Activity Regulate Stomatal Patterning
    and Development.” <i>Nature Communications</i>, vol. 5, 3090, Nature Publishing
    Group, 2014, doi:<a href="https://doi.org/10.1038/ncomms4090">10.1038/ncomms4090</a>.
  short: J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M.
    Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications
    5 (2014).
date_created: 2018-12-11T11:54:44Z
date_published: 2014-01-27T00:00:00Z
date_updated: 2025-09-29T12:15:23Z
day: '27'
department:
- _id: JiFr
doi: 10.1038/ncomms4090
external_id:
  isi:
  - '000331084200032'
intvolume: '         5'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
publist_id: '5170'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin transport and activity regulate stomatal patterning and development
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 5
year: '2014'
...
---
_id: '1925'
abstract:
- lang: eng
  text: In the past decade carbon nanotubes (CNTs) have been widely studied as a potential
    drug-delivery system, especially with functionality for cellular targeting. Yet,
    little is known about the actual process of docking to cell receptors and transport
    dynamics after internalization. Here we performed single-particle studies of folic
    acid (FA) mediated CNT binding to human carcinoma cells and their transport inside
    the cytosol. In particular, we employed molecular recognition force spectroscopy,
    an atomic force microscopy based method, to visualize and quantify docking of
    FA functionalized CNTs to FA binding receptors in terms of binding probability
    and binding force. We then traced individual fluorescently labeled, FA functionalized
    CNTs after specific uptake, and created a dynamic 'roadmap' that clearly showed
    trajectories of directed diffusion and areas of nanotube confinement in the cytosol.
    Our results demonstrate the potential of a single-molecule approach for investigation
    of drug-delivery vehicles and their targeting capacity.
acknowledgement: "This work was supported by EC grant Marie Curie RTN-CT-2006-035616,
  CARBIO 'Carbon nanotubes for biomedical applications' and Austrian FFG grant mnt-era.net
  823980, 'IntelliTip'.\r\n"
article_number: '125704'
article_processing_charge: No
article_type: original
author:
- first_name: Constanze
  full_name: Lamprecht, Constanze
  last_name: Lamprecht
- first_name: Birgit
  full_name: Plochberger, Birgit
  last_name: Plochberger
- first_name: Verena
  full_name: Ruprecht, Verena
  id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
  last_name: Ruprecht
  orcid: 0000-0003-4088-8633
- first_name: Stefan
  full_name: Wieser, Stefan
  id: 355AA5A0-F248-11E8-B48F-1D18A9856A87
  last_name: Wieser
  orcid: 0000-0002-2670-2217
- first_name: Christian
  full_name: Rankl, Christian
  last_name: Rankl
- first_name: Elena
  full_name: Heister, Elena
  last_name: Heister
- first_name: Barbara
  full_name: Unterauer, Barbara
  last_name: Unterauer
- first_name: Mario
  full_name: Brameshuber, Mario
  last_name: Brameshuber
- first_name: Jürgen
  full_name: Danzberger, Jürgen
  last_name: Danzberger
- first_name: Petar
  full_name: Lukanov, Petar
  last_name: Lukanov
- first_name: Emmanuel
  full_name: Flahaut, Emmanuel
  last_name: Flahaut
- first_name: Gerhard
  full_name: Schütz, Gerhard
  last_name: Schütz
- first_name: Peter
  full_name: Hinterdorfer, Peter
  last_name: Hinterdorfer
- first_name: Andreas
  full_name: Ebner, Andreas
  last_name: Ebner
citation:
  ama: Lamprecht C, Plochberger B, Ruprecht V, et al. A single-molecule approach to
    explore binding uptake and transport of cancer cell targeting nanotubes. <i>Nanotechnology</i>.
    2014;25(12). doi:<a href="https://doi.org/10.1088/0957-4484/25/12/125704">10.1088/0957-4484/25/12/125704</a>
  apa: Lamprecht, C., Plochberger, B., Ruprecht, V., Wieser, S., Rankl, C., Heister,
    E., … Ebner, A. (2014). A single-molecule approach to explore binding uptake and
    transport of cancer cell targeting nanotubes. <i>Nanotechnology</i>. IOP Publishing.
    <a href="https://doi.org/10.1088/0957-4484/25/12/125704">https://doi.org/10.1088/0957-4484/25/12/125704</a>
  chicago: Lamprecht, Constanze, Birgit Plochberger, Verena Ruprecht, Stefan Wieser,
    Christian Rankl, Elena Heister, Barbara Unterauer, et al. “A Single-Molecule Approach
    to Explore Binding Uptake and Transport of Cancer Cell Targeting Nanotubes.” <i>Nanotechnology</i>.
    IOP Publishing, 2014. <a href="https://doi.org/10.1088/0957-4484/25/12/125704">https://doi.org/10.1088/0957-4484/25/12/125704</a>.
  ieee: C. Lamprecht <i>et al.</i>, “A single-molecule approach to explore binding
    uptake and transport of cancer cell targeting nanotubes,” <i>Nanotechnology</i>,
    vol. 25, no. 12. IOP Publishing, 2014.
  ista: Lamprecht C, Plochberger B, Ruprecht V, Wieser S, Rankl C, Heister E, Unterauer
    B, Brameshuber M, Danzberger J, Lukanov P, Flahaut E, Schütz G, Hinterdorfer P,
    Ebner A. 2014. A single-molecule approach to explore binding uptake and transport
    of cancer cell targeting nanotubes. Nanotechnology. 25(12), 125704.
  mla: Lamprecht, Constanze, et al. “A Single-Molecule Approach to Explore Binding
    Uptake and Transport of Cancer Cell Targeting Nanotubes.” <i>Nanotechnology</i>,
    vol. 25, no. 12, 125704, IOP Publishing, 2014, doi:<a href="https://doi.org/10.1088/0957-4484/25/12/125704">10.1088/0957-4484/25/12/125704</a>.
  short: C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister,
    B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz,
    P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014).
date_created: 2018-12-11T11:54:45Z
date_published: 2014-03-28T00:00:00Z
date_updated: 2025-09-29T12:14:47Z
day: '28'
ddc:
- '570'
department:
- _id: CaHe
- _id: MiSi
doi: 10.1088/0957-4484/25/12/125704
external_id:
  isi:
  - '000332669300017'
file:
- access_level: open_access
  checksum: df4e03d225a19179e7790f6d87a12332
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-15T09:21:19Z
  date_updated: 2020-07-14T12:45:21Z
  file_id: '7856'
  file_name: 2014_Nanotechnology_Lamprecht.pdf
  file_size: 3804152
  relation: main_file
file_date_updated: 2020-07-14T12:45:21Z
has_accepted_license: '1'
intvolume: '        25'
isi: 1
issue: '12'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
publication: Nanotechnology
publication_status: published
publisher: IOP Publishing
publist_id: '5169'
scopus_import: '1'
status: public
title: A single-molecule approach to explore binding uptake and transport of cancer
  cell targeting nanotubes
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 25
year: '2014'
...
---
_id: '1926'
abstract:
- lang: eng
  text: We consider cross products of finite graphs with a class of trees that have
    arbitrarily but finitely long line segments, such as the Fibonacci tree. Such
    cross products are called tree-strips. We prove that for small disorder random
    Schrödinger operators on such tree-strips have purely absolutely continuous spectrum
    in a certain set.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Christian
  full_name: Sadel, Christian
  id: 4760E9F8-F248-11E8-B48F-1D18A9856A87
  last_name: Sadel
  orcid: 0000-0001-8255-3968
citation:
  ama: Sadel C. Absolutely continuous spectrum for random Schrödinger operators on
    the Fibonacci and similar Tree-strips. <i>Mathematical Physics, Analysis and Geometry</i>.
    2014;17(3-4):409-440. doi:<a href="https://doi.org/10.1007/s11040-014-9163-4">10.1007/s11040-014-9163-4</a>
  apa: Sadel, C. (2014). Absolutely continuous spectrum for random Schrödinger operators
    on the Fibonacci and similar Tree-strips. <i>Mathematical Physics, Analysis and
    Geometry</i>. Springer. <a href="https://doi.org/10.1007/s11040-014-9163-4">https://doi.org/10.1007/s11040-014-9163-4</a>
  chicago: Sadel, Christian. “Absolutely Continuous Spectrum for Random Schrödinger
    Operators on the Fibonacci and Similar Tree-Strips.” <i>Mathematical Physics,
    Analysis and Geometry</i>. Springer, 2014. <a href="https://doi.org/10.1007/s11040-014-9163-4">https://doi.org/10.1007/s11040-014-9163-4</a>.
  ieee: C. Sadel, “Absolutely continuous spectrum for random Schrödinger operators
    on the Fibonacci and similar Tree-strips,” <i>Mathematical Physics, Analysis and
    Geometry</i>, vol. 17, no. 3–4. Springer, pp. 409–440, 2014.
  ista: Sadel C. 2014. Absolutely continuous spectrum for random Schrödinger operators
    on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry.
    17(3–4), 409–440.
  mla: Sadel, Christian. “Absolutely Continuous Spectrum for Random Schrödinger Operators
    on the Fibonacci and Similar Tree-Strips.” <i>Mathematical Physics, Analysis and
    Geometry</i>, vol. 17, no. 3–4, Springer, 2014, pp. 409–40, doi:<a href="https://doi.org/10.1007/s11040-014-9163-4">10.1007/s11040-014-9163-4</a>.
  short: C. Sadel, Mathematical Physics, Analysis and Geometry 17 (2014) 409–440.
corr_author: '1'
date_created: 2018-12-11T11:54:45Z
date_published: 2014-12-17T00:00:00Z
date_updated: 2025-09-29T12:14:12Z
day: '17'
department:
- _id: LaEr
doi: 10.1007/s11040-014-9163-4
ec_funded: 1
external_id:
  arxiv:
  - '1304.3862'
  isi:
  - '000348286700010'
intvolume: '        17'
isi: 1
issue: 3-4
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1304.3862
month: '12'
oa: 1
oa_version: Preprint
page: 409 - 440
project:
- _id: 26450934-B435-11E9-9278-68D0E5697425
  name: NSERC Postdoctoral fellowship
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Mathematical Physics, Analysis and Geometry
publication_status: published
publisher: Springer
publist_id: '5168'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci
  and similar Tree-strips
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2014'
...
---
OA_place: repository
OA_type: green
_id: '1927'
abstract:
- lang: eng
  text: Constrained pseudorandom functions have recently been introduced independently
    by Boneh and Waters (Asiacrypt’13), Kiayias et al. (CCS’13), and Boyle et al.
    (PKC’14). In a standard pseudorandom function (PRF) a key k is used to evaluate
    the PRF on all inputs in the domain. Constrained PRFs additionally offer the functionality
    to delegate “constrained” keys kS which allow to evaluate the PRF only on a subset
    S of the domain. The three above-mentioned papers all show that the classical
    GGM construction (J.ACM’86) of a PRF from a pseudorandom generator (PRG) directly
    yields a constrained PRF where one can compute constrained keys to evaluate the
    PRF on all inputs with a given prefix. This constrained PRF has already found
    many interesting applications. Unfortunately, the existing security proofs only
    show selective security (by a reduction to the security of the underlying PRG).
    To achieve full security, one has to use complexity leveraging, which loses an
    exponential factor 2N in security, where N is the input length. The first contribution
    of this paper is a new reduction that only loses a quasipolynomial factor qlog
    N, where q is the number of adversarial queries. For this we develop a new proof
    technique which constructs a distinguisher by interleaving simple guessing steps
    and hybrid arguments a small number of times. This approach might be of interest
    also in other contexts where currently the only technique to achieve full security
    is complexity leveraging. Our second contribution is concerned with another constrained
    PRF, due to Boneh and Waters, which allows for constrained keys for the more general
    class of bit-fixing functions. Their security proof also suffers from a 2N loss,
    which we show is inherent. We construct a meta-reduction which shows that any
    “simple” reduction of full security from a noninteractive hardness assumption
    must incur an exponential security loss.
acknowledgement: "We are grateful to Mihir Bellare for his feedback on earlier versions
  of this paper. We are indebted to Vanishree Rao for her generous assistance in preparing
  this proceedings version.\r\nResearch supported by ERC starting grant (259668-PSPC)."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Georg
  full_name: Fuchsbauer, Georg
  id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
  last_name: Fuchsbauer
- first_name: Momchil
  full_name: Konstantinov, Momchil
  last_name: Konstantinov
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
- first_name: Vanishree
  full_name: Rao, Vanishree
  last_name: Rao
citation:
  ama: 'Fuchsbauer G, Konstantinov M, Pietrzak KZ, Rao V. Adaptive security of constrained
    PRFs. In: <i>20th International Conference on the Theory and Application of Cryptology
    and Information Security</i>. Vol 8874. Springer Nature; 2014:82-101. doi:<a href="https://doi.org/10.1007/978-3-662-45608-8_5">10.1007/978-3-662-45608-8_5</a>'
  apa: 'Fuchsbauer, G., Konstantinov, M., Pietrzak, K. Z., &#38; Rao, V. (2014). Adaptive
    security of constrained PRFs. In <i>20th International Conference on the Theory
    and Application of Cryptology and Information Security</i> (Vol. 8874, pp. 82–101).
    Kaoshiung, Taiwan, China: Springer Nature. <a href="https://doi.org/10.1007/978-3-662-45608-8_5">https://doi.org/10.1007/978-3-662-45608-8_5</a>'
  chicago: Fuchsbauer, Georg, Momchil Konstantinov, Krzysztof Z Pietrzak, and Vanishree
    Rao. “Adaptive Security of Constrained PRFs.” In <i>20th International Conference
    on the Theory and Application of Cryptology and Information Security</i>, 8874:82–101.
    Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-662-45608-8_5">https://doi.org/10.1007/978-3-662-45608-8_5</a>.
  ieee: G. Fuchsbauer, M. Konstantinov, K. Z. Pietrzak, and V. Rao, “Adaptive security
    of constrained PRFs,” in <i>20th International Conference on the Theory and Application
    of Cryptology and Information Security</i>, Kaoshiung, Taiwan, China, 2014, vol.
    8874, pp. 82–101.
  ista: 'Fuchsbauer G, Konstantinov M, Pietrzak KZ, Rao V. 2014. Adaptive security
    of constrained PRFs. 20th International Conference on the Theory and Application
    of Cryptology and Information Security. ASIACRYPT: Conference on the Theory and
    Application of Cryptology and Information Security, LNCS, vol. 8874, 82–101.'
  mla: Fuchsbauer, Georg, et al. “Adaptive Security of Constrained PRFs.” <i>20th
    International Conference on the Theory and Application of Cryptology and Information
    Security</i>, vol. 8874, Springer Nature, 2014, pp. 82–101, doi:<a href="https://doi.org/10.1007/978-3-662-45608-8_5">10.1007/978-3-662-45608-8_5</a>.
  short: G. Fuchsbauer, M. Konstantinov, K.Z. Pietrzak, V. Rao, in:, 20th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Springer Nature, 2014, pp. 82–101.
conference:
  end_date: 2014-12-11
  location: Kaoshiung, Taiwan, China
  name: 'ASIACRYPT: Conference on the Theory and Application of Cryptology and Information
    Security'
  start_date: 2014-12-07
date_created: 2018-12-11T11:54:45Z
date_published: 2014-12-15T00:00:00Z
date_updated: 2025-09-23T09:47:44Z
day: '15'
department:
- _id: KrPi
doi: 10.1007/978-3-662-45608-8_5
ec_funded: 1
extern: '1'
intvolume: '      8874'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://eprint.iacr.org/2014/416
month: '12'
oa: 1
oa_version: Submitted Version
page: 82-101
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '259668'
  name: Provable Security for Physical Cryptography
publication: 20th International Conference on the Theory and Application of Cryptology
  and Information Security
publication_identifier:
  eisbn:
  - '9783662456088'
  eissn:
  - 1611-3349
  isbn:
  - '9783662456071'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
publist_id: '5167'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adaptive security of constrained PRFs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8874
year: '2014'
...
---
_id: '1928'
abstract:
- lang: eng
  text: In infectious disease epidemiology the basic reproductive ratio, R0, is defined
    as the average number of new infections caused by a single infected individual
    in a fully susceptible population. Many models describing competition for hosts
    between non-interacting pathogen strains in an infinite population lead to the
    conclusion that selection favors invasion of new strains if and only if they have
    higher R0 values than the resident. Here we demonstrate that this picture fails
    in finite populations. Using a simple stochastic SIS model, we show that in general
    there is no analogous optimization principle. We find that successive invasions
    may in some cases lead to strains that infect a smaller fraction of the host population,
    and that mutually invasible pathogen strains exist. In the limit of weak selection
    we demonstrate that an optimization principle does exist, although it differs
    from R0 maximization. For strains with very large R0, we derive an expression
    for this local fitness function and use it to establish a lower bound for the
    error caused by neglecting stochastic effects. Furthermore, we apply this weak
    selection limit to investigate the selection dynamics in the presence of a trade-off
    between the virulence and the transmission rate of a pathogen.
acknowledgement: J.H. received support from the Zdenek Bakala Foundation and the Mobility
  Fund of Charles University in Prague.
article_processing_charge: No
author:
- first_name: Jan
  full_name: Humplik, Jan
  id: 2E9627A8-F248-11E8-B48F-1D18A9856A87
  last_name: Humplik
- first_name: Alison
  full_name: Hill, Alison
  last_name: Hill
- first_name: Martin
  full_name: Nowak, Martin
  last_name: Nowak
citation:
  ama: Humplik J, Hill A, Nowak M. Evolutionary dynamics of infectious diseases in
    finite populations. <i>Journal of Theoretical Biology</i>. 2014;360:149-162. doi:<a
    href="https://doi.org/10.1016/j.jtbi.2014.06.039">10.1016/j.jtbi.2014.06.039</a>
  apa: Humplik, J., Hill, A., &#38; Nowak, M. (2014). Evolutionary dynamics of infectious
    diseases in finite populations. <i>Journal of Theoretical Biology</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.jtbi.2014.06.039">https://doi.org/10.1016/j.jtbi.2014.06.039</a>
  chicago: Humplik, Jan, Alison Hill, and Martin Nowak. “Evolutionary Dynamics of
    Infectious Diseases in Finite Populations.” <i>Journal of Theoretical Biology</i>.
    Elsevier, 2014. <a href="https://doi.org/10.1016/j.jtbi.2014.06.039">https://doi.org/10.1016/j.jtbi.2014.06.039</a>.
  ieee: J. Humplik, A. Hill, and M. Nowak, “Evolutionary dynamics of infectious diseases
    in finite populations,” <i>Journal of Theoretical Biology</i>, vol. 360. Elsevier,
    pp. 149–162, 2014.
  ista: Humplik J, Hill A, Nowak M. 2014. Evolutionary dynamics of infectious diseases
    in finite populations. Journal of Theoretical Biology. 360, 149–162.
  mla: Humplik, Jan, et al. “Evolutionary Dynamics of Infectious Diseases in Finite
    Populations.” <i>Journal of Theoretical Biology</i>, vol. 360, Elsevier, 2014,
    pp. 149–62, doi:<a href="https://doi.org/10.1016/j.jtbi.2014.06.039">10.1016/j.jtbi.2014.06.039</a>.
  short: J. Humplik, A. Hill, M. Nowak, Journal of Theoretical Biology 360 (2014)
    149–162.
corr_author: '1'
date_created: 2018-12-11T11:54:46Z
date_published: 2014-11-07T00:00:00Z
date_updated: 2025-09-29T12:12:23Z
day: '07'
department:
- _id: GaTk
doi: 10.1016/j.jtbi.2014.06.039
external_id:
  isi:
  - '000341800600017'
intvolume: '       360'
isi: 1
language:
- iso: eng
month: '11'
oa_version: None
page: 149 - 162
publication: Journal of Theoretical Biology
publication_status: published
publisher: Elsevier
publist_id: '5166'
scopus_import: '1'
status: public
title: Evolutionary dynamics of infectious diseases in finite populations
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 360
year: '2014'
...
---
_id: '1929'
abstract:
- lang: eng
  text: We propose an algorithm for the generalization of cartographic objects that
    can be used to represent maps on different scales.
acknowledgement: We would like to offer our special thanks to students of the Department
  of Mathematics of Demidov Yaroslavl State University A. A. Gorokhov and V. N. Knyazev
  for participation in developing the program and assistance in preparation of test
  data. This work was supported by grant 11.G34.31.0053 from the government of the
  Russian Federation.
article_processing_charge: No
article_type: original
author:
- first_name: V V
  full_name: Alexeev, V V
  last_name: Alexeev
- first_name: V G
  full_name: Bogaevskaya, V G
  last_name: Bogaevskaya
- first_name: M M
  full_name: Preobrazhenskaya, M M
  last_name: Preobrazhenskaya
- first_name: A Y
  full_name: Ukhalov, A Y
  last_name: Ukhalov
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Olga
  full_name: Yakimova, Olga
  last_name: Yakimova
citation:
  ama: Alexeev VV, Bogaevskaya VG, Preobrazhenskaya MM, Ukhalov AY, Edelsbrunner H,
    Yakimova O. An algorithm for cartographic generalization that preserves global
    topology. <i>Journal of Mathematical Sciences</i>. 2014;203(6):754-760. doi:<a
    href="https://doi.org/10.1007/s10958-014-2165-8">10.1007/s10958-014-2165-8</a>
  apa: Alexeev, V. V., Bogaevskaya, V. G., Preobrazhenskaya, M. M., Ukhalov, A. Y.,
    Edelsbrunner, H., &#38; Yakimova, O. (2014). An algorithm for cartographic generalization
    that preserves global topology. <i>Journal of Mathematical Sciences</i>. Springer.
    <a href="https://doi.org/10.1007/s10958-014-2165-8">https://doi.org/10.1007/s10958-014-2165-8</a>
  chicago: Alexeev, V V, V G Bogaevskaya, M M Preobrazhenskaya, A Y Ukhalov, Herbert
    Edelsbrunner, and Olga Yakimova. “An Algorithm for Cartographic Generalization
    That Preserves Global Topology.” <i>Journal of Mathematical Sciences</i>. Springer,
    2014. <a href="https://doi.org/10.1007/s10958-014-2165-8">https://doi.org/10.1007/s10958-014-2165-8</a>.
  ieee: V. V. Alexeev, V. G. Bogaevskaya, M. M. Preobrazhenskaya, A. Y. Ukhalov, H.
    Edelsbrunner, and O. Yakimova, “An algorithm for cartographic generalization that
    preserves global topology,” <i>Journal of Mathematical Sciences</i>, vol. 203,
    no. 6. Springer, pp. 754–760, 2014.
  ista: Alexeev VV, Bogaevskaya VG, Preobrazhenskaya MM, Ukhalov AY, Edelsbrunner
    H, Yakimova O. 2014. An algorithm for cartographic generalization that preserves
    global topology. Journal of Mathematical Sciences. 203(6), 754–760.
  mla: Alexeev, V. V., et al. “An Algorithm for Cartographic Generalization That Preserves
    Global Topology.” <i>Journal of Mathematical Sciences</i>, vol. 203, no. 6, Springer,
    2014, pp. 754–60, doi:<a href="https://doi.org/10.1007/s10958-014-2165-8">10.1007/s10958-014-2165-8</a>.
  short: V.V. Alexeev, V.G. Bogaevskaya, M.M. Preobrazhenskaya, A.Y. Ukhalov, H. Edelsbrunner,
    O. Yakimova, Journal of Mathematical Sciences 203 (2014) 754–760.
date_created: 2018-12-11T11:54:46Z
date_published: 2014-11-16T00:00:00Z
date_updated: 2022-05-24T10:39:06Z
day: '16'
department:
- _id: HeEd
doi: 10.1007/s10958-014-2165-8
intvolume: '       203'
issue: '6'
language:
- iso: eng
month: '11'
oa_version: None
page: 754 - 760
publication: Journal of Mathematical Sciences
publication_identifier:
  eissn:
  - 1573-8795
  issn:
  - 1072-3374
publication_status: published
publisher: Springer
publist_id: '5165'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An algorithm for cartographic generalization that preserves global topology
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 203
year: '2014'
...
---
_id: '1930'
abstract:
- lang: eng
  text: (Figure Presented) Data acquisition, numerical inaccuracies, and sampling
    often introduce noise in measurements and simulations. Removing this noise is
    often necessary for efficient analysis and visualization of this data, yet many
    denoising techniques change the minima and maxima of a scalar field. For example,
    the extrema can appear or disappear, spatially move, and change their value. This
    can lead to wrong interpretations of the data, e.g., when the maximum temperature
    over an area is falsely reported being a few degrees cooler because the denoising
    method is unaware of these features. Recently, a topological denoising technique
    based on a global energy optimization was proposed, which allows the topology-controlled
    denoising of 2D scalar fields. While this method preserves the minima and maxima,
    it is constrained by the size of the data. We extend this work to large 2D data
    and medium-sized 3D data by introducing a novel domain decomposition approach.
    It allows processing small patches of the domain independently while still avoiding
    the introduction of new critical points. Furthermore, we propose an iterative
    refinement of the solution, which decreases the optimization energy compared to
    the previous approach and therefore gives smoother results that are closer to
    the input. We illustrate our technique on synthetic and real-world 2D and 3D data
    sets that highlight potential applications.
acknowledgement: RTRA Digiteoproject; ERC grant; SNF award; Intel Doctoral Fellowship;
  MPC-VCC
article_processing_charge: No
author:
- first_name: David
  full_name: Günther, David
  last_name: Günther
- first_name: Alec
  full_name: Jacobson, Alec
  last_name: Jacobson
- first_name: Jan
  full_name: Reininghaus, Jan
  id: 4505473A-F248-11E8-B48F-1D18A9856A87
  last_name: Reininghaus
- first_name: Hans
  full_name: Seidel, Hans
  last_name: Seidel
- first_name: Olga
  full_name: Sorkine Hornung, Olga
  last_name: Sorkine Hornung
- first_name: Tino
  full_name: Weinkauf, Tino
  last_name: Weinkauf
citation:
  ama: Günther D, Jacobson A, Reininghaus J, Seidel H, Sorkine Hornung O, Weinkauf
    T. Fast and memory-efficient topological denoising of 2D and 3D scalar fields.
    <i>IEEE Transactions on Visualization and Computer Graphics</i>. 2014;20(12):2585-2594.
    doi:<a href="https://doi.org/10.1109/TVCG.2014.2346432">10.1109/TVCG.2014.2346432</a>
  apa: Günther, D., Jacobson, A., Reininghaus, J., Seidel, H., Sorkine Hornung, O.,
    &#38; Weinkauf, T. (2014). Fast and memory-efficient topological denoising of
    2D and 3D scalar fields. <i>IEEE Transactions on Visualization and Computer Graphics</i>.
    IEEE. <a href="https://doi.org/10.1109/TVCG.2014.2346432">https://doi.org/10.1109/TVCG.2014.2346432</a>
  chicago: Günther, David, Alec Jacobson, Jan Reininghaus, Hans Seidel, Olga Sorkine
    Hornung, and Tino Weinkauf. “Fast and Memory-Efficient Topological Denoising of
    2D and 3D Scalar Fields.” <i>IEEE Transactions on Visualization and Computer Graphics</i>.
    IEEE, 2014. <a href="https://doi.org/10.1109/TVCG.2014.2346432">https://doi.org/10.1109/TVCG.2014.2346432</a>.
  ieee: D. Günther, A. Jacobson, J. Reininghaus, H. Seidel, O. Sorkine Hornung, and
    T. Weinkauf, “Fast and memory-efficient topological denoising of 2D and 3D scalar
    fields,” <i>IEEE Transactions on Visualization and Computer Graphics</i>, vol.
    20, no. 12. IEEE, pp. 2585–2594, 2014.
  ista: Günther D, Jacobson A, Reininghaus J, Seidel H, Sorkine Hornung O, Weinkauf
    T. 2014. Fast and memory-efficient topological denoising of 2D and 3D scalar fields.
    IEEE Transactions on Visualization and Computer Graphics. 20(12), 2585–2594.
  mla: Günther, David, et al. “Fast and Memory-Efficient Topological Denoising of
    2D and 3D Scalar Fields.” <i>IEEE Transactions on Visualization and Computer Graphics</i>,
    vol. 20, no. 12, IEEE, 2014, pp. 2585–94, doi:<a href="https://doi.org/10.1109/TVCG.2014.2346432">10.1109/TVCG.2014.2346432</a>.
  short: D. Günther, A. Jacobson, J. Reininghaus, H. Seidel, O. Sorkine Hornung, T.
    Weinkauf, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 2585–2594.
date_created: 2018-12-11T11:54:46Z
date_published: 2014-12-31T00:00:00Z
date_updated: 2025-09-29T12:11:45Z
day: '31'
department:
- _id: HeEd
doi: 10.1109/TVCG.2014.2346432
external_id:
  isi:
  - '000344991700104'
intvolume: '        20'
isi: 1
issue: '12'
language:
- iso: eng
month: '12'
oa_version: None
page: 2585 - 2594
publication: IEEE Transactions on Visualization and Computer Graphics
publication_status: published
publisher: IEEE
publist_id: '5164'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fast and memory-efficient topological denoising of 2D and 3D scalar fields
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 20
year: '2014'
...
---
_id: '1931'
abstract:
- lang: eng
  text: A wealth of experimental evidence suggests that working memory circuits preferentially
    represent information that is behaviorally relevant. Still, we are missing a mechanistic
    account of how these representations come about. Here we provide a simple explanation
    for a range of experimental findings, in light of prefrontal circuits adapting
    to task constraints by reward-dependent learning. In particular, we model a neural
    network shaped by reward-modulated spike-timing dependent plasticity (r-STDP)
    and homeostatic plasticity (intrinsic excitability and synaptic scaling). We show
    that the experimentally-observed neural representations naturally emerge in an
    initially unstructured circuit as it learns to solve several working memory tasks.
    These results point to a critical, and previously unappreciated, role for reward-dependent
    learning in shaping prefrontal cortex activity.
acknowledgement: Supported in part by EC MEXT project PLICON and the LOEWE-Program
  “Neuronal Coordination Research Focus Frankfurt” (NeFF). Jochen Triesch was supported
  by the Quandt foundation.
article_number: '57'
article_processing_charge: No
author:
- first_name: Cristina
  full_name: Savin, Cristina
  id: 3933349E-F248-11E8-B48F-1D18A9856A87
  last_name: Savin
- first_name: Jochen
  full_name: Triesch, Jochen
  last_name: Triesch
citation:
  ama: Savin C, Triesch J. Emergence of task-dependent representations in working
    memory circuits. <i>Frontiers in Computational Neuroscience</i>. 2014;8(MAY).
    doi:<a href="https://doi.org/10.3389/fncom.2014.00057">10.3389/fncom.2014.00057</a>
  apa: Savin, C., &#38; Triesch, J. (2014). Emergence of task-dependent representations
    in working memory circuits. <i>Frontiers in Computational Neuroscience</i>. Frontiers
    Research Foundation. <a href="https://doi.org/10.3389/fncom.2014.00057">https://doi.org/10.3389/fncom.2014.00057</a>
  chicago: Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations
    in Working Memory Circuits.” <i>Frontiers in Computational Neuroscience</i>. Frontiers
    Research Foundation, 2014. <a href="https://doi.org/10.3389/fncom.2014.00057">https://doi.org/10.3389/fncom.2014.00057</a>.
  ieee: C. Savin and J. Triesch, “Emergence of task-dependent representations in working
    memory circuits,” <i>Frontiers in Computational Neuroscience</i>, vol. 8, no.
    MAY. Frontiers Research Foundation, 2014.
  ista: Savin C, Triesch J. 2014. Emergence of task-dependent representations in working
    memory circuits. Frontiers in Computational Neuroscience. 8(MAY), 57.
  mla: Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations
    in Working Memory Circuits.” <i>Frontiers in Computational Neuroscience</i>, vol.
    8, no. MAY, 57, Frontiers Research Foundation, 2014, doi:<a href="https://doi.org/10.3389/fncom.2014.00057">10.3389/fncom.2014.00057</a>.
  short: C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
corr_author: '1'
date_created: 2018-12-11T11:54:46Z
date_published: 2014-05-28T00:00:00Z
date_updated: 2025-09-29T12:11:13Z
day: '28'
department:
- _id: GaTk
doi: 10.3389/fncom.2014.00057
external_id:
  isi:
  - '000336715400001'
intvolume: '         8'
isi: 1
issue: MAY
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4035833/
month: '05'
oa: 1
oa_version: Submitted Version
publication: Frontiers in Computational Neuroscience
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '5163'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Emergence of task-dependent representations in working memory circuits
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 8
year: '2014'
...
---
_id: '1932'
abstract:
- lang: eng
  text: The existence of complex (multiple-step) genetic adaptations that are &quot;irreducible&quot;
    (i.e., all partial combinations are less fit than the original genotype) is one
    of the longest standing problems in evolutionary biology. In standard genetics
    parlance, these adaptations require the crossing of a wide adaptive valley of
    deleterious intermediate stages. Here, we demonstrate, using a simple model, that
    evolution can cross wide valleys to produce &quot;irreducibly complex&quot; adaptations
    by making use of previously cryptic mutations. When revealed by an evolutionary
    capacitor, previously cryptic mutants have higher initial frequencies than do
    new mutations, bringing them closer to a valley-crossing saddle in allele frequency
    space. Moreover, simple combinatorics implies an enormous number of candidate
    combinations exist within available cryptic genetic variation. We model the dynamics
    of crossing of a wide adaptive valley after a capacitance event using both numerical
    simulations and analytical approximations. Although individual valley crossing
    events become less likely as valleys widen, by taking the combinatorics of genotype
    space into account, we see that revealing cryptic variation can cause the frequent
    evolution of complex adaptations.
acknowledgement: "Funded by National Institutes of Health. Grant Numbers: R01GM076041,
  R01GM104040         \r\n\r\nSimons Foundation\r\n\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Meredith
  full_name: Trotter, Meredith
  last_name: Trotter
- first_name: Daniel
  full_name: Weissman, Daniel
  id: 2D0CE020-F248-11E8-B48F-1D18A9856A87
  last_name: Weissman
- first_name: Grant
  full_name: Peterson, Grant
  last_name: Peterson
- first_name: Kayla
  full_name: Peck, Kayla
  last_name: Peck
- first_name: Joanna
  full_name: Masel, Joanna
  last_name: Masel
citation:
  ama: Trotter M, Weissman D, Peterson G, Peck K, Masel J. Cryptic genetic variation
    can make &#38;quot;irreducible complexity&#38;quot; a common mode of adaptation
    in sexual populations. <i>Evolution</i>. 2014;68(12):3357-3367. doi:<a href="https://doi.org/10.1111/evo.12517">10.1111/evo.12517</a>
  apa: Trotter, M., Weissman, D., Peterson, G., Peck, K., &#38; Masel, J. (2014).
    Cryptic genetic variation can make &#38;quot;irreducible complexity&#38;quot;
    a common mode of adaptation in sexual populations. <i>Evolution</i>. Wiley-Blackwell.
    <a href="https://doi.org/10.1111/evo.12517">https://doi.org/10.1111/evo.12517</a>
  chicago: Trotter, Meredith, Daniel Weissman, Grant Peterson, Kayla Peck, and Joanna
    Masel. “Cryptic Genetic Variation Can Make &#38;quot;Irreducible Complexity&#38;quot;
    a Common Mode of Adaptation in Sexual Populations.” <i>Evolution</i>. Wiley-Blackwell,
    2014. <a href="https://doi.org/10.1111/evo.12517">https://doi.org/10.1111/evo.12517</a>.
  ieee: M. Trotter, D. Weissman, G. Peterson, K. Peck, and J. Masel, “Cryptic genetic
    variation can make &#38;quot;irreducible complexity&#38;quot; a common mode of
    adaptation in sexual populations,” <i>Evolution</i>, vol. 68, no. 12. Wiley-Blackwell,
    pp. 3357–3367, 2014.
  ista: Trotter M, Weissman D, Peterson G, Peck K, Masel J. 2014. Cryptic genetic
    variation can make &#38;quot;irreducible complexity&#38;quot; a common mode of
    adaptation in sexual populations. Evolution. 68(12), 3357–3367.
  mla: Trotter, Meredith, et al. “Cryptic Genetic Variation Can Make &#38;quot;Irreducible
    Complexity&#38;quot; a Common Mode of Adaptation in Sexual Populations.” <i>Evolution</i>,
    vol. 68, no. 12, Wiley-Blackwell, 2014, pp. 3357–67, doi:<a href="https://doi.org/10.1111/evo.12517">10.1111/evo.12517</a>.
  short: M. Trotter, D. Weissman, G. Peterson, K. Peck, J. Masel, Evolution 68 (2014)
    3357–3367.
date_created: 2018-12-11T11:54:47Z
date_published: 2014-12-01T00:00:00Z
date_updated: 2025-09-29T12:10:43Z
day: '01'
department:
- _id: NiBa
doi: 10.1111/evo.12517
ec_funded: 1
external_id:
  arxiv:
  - '1310.6077'
  isi:
  - '000346075600001'
intvolume: '        68'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1310.6077
month: '12'
oa: 1
oa_version: Submitted Version
page: 3357 - 3367
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '250152'
  name: Limits to selection in biology and in evolutionary computation
publication: Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5162'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cryptic genetic variation can make &quot;irreducible complexity&quot; a common
  mode of adaptation in sexual populations
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 68
year: '2014'
...
---
_id: '1933'
abstract:
- lang: eng
  text: The development of the vertebrate brain requires an exquisite balance between
    proliferation and differentiation of neural progenitors. Notch signaling plays
    a pivotal role in regulating this balance, yet the interaction between signaling
    and receiving cells remains poorly understood. We have found that numerous nascent
    neurons and/or intermediate neurogenic progenitors expressing the ligand of Notch
    retain apical endfeet transiently at the ventricular lumen that form adherens
    junctions (AJs) with the endfeet of progenitors. Forced detachment of the apical
    endfeet of those differentiating cells by disrupting AJs resulted in precocious
    neurogenesis that was preceded by the downregulation of Notch signaling. Both
    Notch1 and its ligand Dll1 are distributed around AJs in the apical endfeet, and
    these proteins physically interact with ZO-1, a constituent of the AJ. Furthermore,
    live imaging of a fluorescently tagged Notch1 demonstrated its trafficking from
    the apical endfoot to the nucleus upon cleavage. Our results identified the apical
    endfoot as the central site of active Notch signaling to securely prohibit inappropriate
    differentiation of neural progenitors.
article_processing_charge: No
author:
- first_name: Jun
  full_name: Hatakeyama, Jun
  last_name: Hatakeyama
- first_name: Yoshio
  full_name: Wakamatsu, Yoshio
  last_name: Wakamatsu
- first_name: Akira
  full_name: Nagafuchi, Akira
  last_name: Nagafuchi
- first_name: Ryoichiro
  full_name: Kageyama, Ryoichiro
  last_name: Kageyama
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Kenji
  full_name: Shimamura, Kenji
  last_name: Shimamura
citation:
  ama: Hatakeyama J, Wakamatsu Y, Nagafuchi A, Kageyama R, Shigemoto R, Shimamura
    K. Cadherin-based adhesions in the apical endfoot are required for active Notch
    signaling to control neurogenesis in vertebrates. <i>Development</i>. 2014;141(8):1671-1682.
    doi:<a href="https://doi.org/10.1242/dev.102988">10.1242/dev.102988</a>
  apa: Hatakeyama, J., Wakamatsu, Y., Nagafuchi, A., Kageyama, R., Shigemoto, R.,
    &#38; Shimamura, K. (2014). Cadherin-based adhesions in the apical endfoot are
    required for active Notch signaling to control neurogenesis in vertebrates. <i>Development</i>.
    Company of Biologists. <a href="https://doi.org/10.1242/dev.102988">https://doi.org/10.1242/dev.102988</a>
  chicago: Hatakeyama, Jun, Yoshio Wakamatsu, Akira Nagafuchi, Ryoichiro Kageyama,
    Ryuichi Shigemoto, and Kenji Shimamura. “Cadherin-Based Adhesions in the Apical
    Endfoot Are Required for Active Notch Signaling to Control Neurogenesis in Vertebrates.”
    <i>Development</i>. Company of Biologists, 2014. <a href="https://doi.org/10.1242/dev.102988">https://doi.org/10.1242/dev.102988</a>.
  ieee: J. Hatakeyama, Y. Wakamatsu, A. Nagafuchi, R. Kageyama, R. Shigemoto, and
    K. Shimamura, “Cadherin-based adhesions in the apical endfoot are required for
    active Notch signaling to control neurogenesis in vertebrates,” <i>Development</i>,
    vol. 141, no. 8. Company of Biologists, pp. 1671–1682, 2014.
  ista: Hatakeyama J, Wakamatsu Y, Nagafuchi A, Kageyama R, Shigemoto R, Shimamura
    K. 2014. Cadherin-based adhesions in the apical endfoot are required for active
    Notch signaling to control neurogenesis in vertebrates. Development. 141(8), 1671–1682.
  mla: Hatakeyama, Jun, et al. “Cadherin-Based Adhesions in the Apical Endfoot Are
    Required for Active Notch Signaling to Control Neurogenesis in Vertebrates.” <i>Development</i>,
    vol. 141, no. 8, Company of Biologists, 2014, pp. 1671–82, doi:<a href="https://doi.org/10.1242/dev.102988">10.1242/dev.102988</a>.
  short: J. Hatakeyama, Y. Wakamatsu, A. Nagafuchi, R. Kageyama, R. Shigemoto, K.
    Shimamura, Development 141 (2014) 1671–1682.
date_created: 2018-12-11T11:54:47Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2025-09-29T12:10:15Z
day: '01'
department:
- _id: RySh
doi: 10.1242/dev.102988
external_id:
  isi:
  - '000334347900007'
intvolume: '       141'
isi: 1
issue: '8'
language:
- iso: eng
month: '04'
oa_version: None
page: 1671 - 1682
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '5161'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cadherin-based adhesions in the apical endfoot are required for active Notch
  signaling to control neurogenesis in vertebrates
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 141
year: '2014'
...
---
_id: '1934'
abstract:
- lang: eng
  text: The plant hormones auxin and cytokinin mutually coordinate their activities
    to control various aspects of development [1-9], and their crosstalk occurs at
    multiple levels [10, 11]. Cytokinin-mediated modulation of auxin transport provides
    an efficient means to regulate auxin distribution in plant organs. Here, we demonstrate
    that cytokinin does not merely control the overall auxin flow capacity, but might
    also act as a polarizing cue and control the auxin stream directionality during
    plant organogenesis. Cytokinin enhances the PIN-FORMED1 (PIN1) auxin transporter
    depletion at specific polar domains, thus rearranging the cellular PIN polarities
    and directly regulating the auxin flow direction. This selective cytokinin sensitivity
    correlates with the PIN protein phosphorylation degree. PIN1 phosphomimicking
    mutations, as well as enhanced phosphorylation in plants with modulated activities
    of PIN-specific kinases and phosphatases, desensitize PIN1 to cytokinin. Our results
    reveal conceptually novel, cytokinin-driven polarization mechanism that operates
    in developmental processes involving rapid auxin stream redirection, such as lateral
    root organogenesis, in which a gradual PIN polarity switch defines the growth
    axis of the newly formed organ.
article_processing_charge: No
author:
- first_name: Peter
  full_name: Marhavy, Peter
  id: 3F45B078-F248-11E8-B48F-1D18A9856A87
  last_name: Marhavy
  orcid: 0000-0001-5227-5741
- first_name: Jérôme
  full_name: Duclercq, Jérôme
  last_name: Duclercq
- first_name: Benjamin
  full_name: Weller, Benjamin
  last_name: Weller
- first_name: Elena
  full_name: Feraru, Elena
  last_name: Feraru
- first_name: Agnieszka
  full_name: Bielach, Agnieszka
  last_name: Bielach
- first_name: Remko
  full_name: Offringa, Remko
  last_name: Offringa
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Claus
  full_name: Schwechheimer, Claus
  last_name: Schwechheimer
- first_name: Angus
  full_name: Murphy, Angus
  last_name: Murphy
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
citation:
  ama: Marhavý P, Duclercq J, Weller B, et al. Cytokinin controls polarity of PIN1-dependent
    Auxin transport during lateral root organogenesis. <i>Current Biology</i>. 2014;24(9):1031-1037.
    doi:<a href="https://doi.org/10.1016/j.cub.2014.04.002">10.1016/j.cub.2014.04.002</a>
  apa: Marhavý, P., Duclercq, J., Weller, B., Feraru, E., Bielach, A., Offringa, R.,
    … Benková, E. (2014). Cytokinin controls polarity of PIN1-dependent Auxin transport
    during lateral root organogenesis. <i>Current Biology</i>. Cell Press. <a href="https://doi.org/10.1016/j.cub.2014.04.002">https://doi.org/10.1016/j.cub.2014.04.002</a>
  chicago: Marhavý, Peter, Jérôme Duclercq, Benjamin Weller, Elena Feraru, Agnieszka
    Bielach, Remko Offringa, Jiří Friml, Claus Schwechheimer, Angus Murphy, and Eva
    Benková. “Cytokinin Controls Polarity of PIN1-Dependent Auxin Transport during
    Lateral Root Organogenesis.” <i>Current Biology</i>. Cell Press, 2014. <a href="https://doi.org/10.1016/j.cub.2014.04.002">https://doi.org/10.1016/j.cub.2014.04.002</a>.
  ieee: P. Marhavý <i>et al.</i>, “Cytokinin controls polarity of PIN1-dependent Auxin
    transport during lateral root organogenesis,” <i>Current Biology</i>, vol. 24,
    no. 9. Cell Press, pp. 1031–1037, 2014.
  ista: Marhavý P, Duclercq J, Weller B, Feraru E, Bielach A, Offringa R, Friml J,
    Schwechheimer C, Murphy A, Benková E. 2014. Cytokinin controls polarity of PIN1-dependent
    Auxin transport during lateral root organogenesis. Current Biology. 24(9), 1031–1037.
  mla: Marhavý, Peter, et al. “Cytokinin Controls Polarity of PIN1-Dependent Auxin
    Transport during Lateral Root Organogenesis.” <i>Current Biology</i>, vol. 24,
    no. 9, Cell Press, 2014, pp. 1031–37, doi:<a href="https://doi.org/10.1016/j.cub.2014.04.002">10.1016/j.cub.2014.04.002</a>.
  short: P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J.
    Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
corr_author: '1'
date_created: 2018-12-11T11:54:48Z
date_published: 2014-05-05T00:00:00Z
date_updated: 2025-09-29T12:09:47Z
day: '05'
department:
- _id: EvBe
- _id: JiFr
doi: 10.1016/j.cub.2014.04.002
ec_funded: 1
external_id:
  isi:
  - '000335542300029'
intvolume: '        24'
isi: 1
issue: '9'
language:
- iso: eng
month: '05'
oa_version: None
page: 1031 - 1037
project:
- _id: 253FCA6A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '207362'
  name: Hormonal cross-talk in plant organogenesis
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '5160'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral
  root organogenesis
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 24
year: '2014'
...
---
_id: '1935'
abstract:
- lang: eng
  text: 'We consider Ising models in d = 2 and d = 3 dimensions with nearest neighbor
    ferromagnetic and long-range antiferromagnetic interactions, the latter decaying
    as (distance)-p, p &gt; 2d, at large distances. If the strength J of the ferromagnetic
    interaction is larger than a critical value J c, then the ground state is homogeneous.
    It has been conjectured that when J is smaller than but close to J c, the ground
    state is periodic and striped, with stripes of constant width h = h(J), and h
    → ∞ as J → Jc -. (In d = 3 stripes mean slabs, not columns.) Here we rigorously
    prove that, if we normalize the energy in such a way that the energy of the homogeneous
    state is zero, then the ratio e 0(J)/e S(J) tends to 1 as J → Jc -, with e S(J)
    being the energy per site of the optimal periodic striped/slabbed state and e
    0(J) the actual ground state energy per site of the system. Our proof comes with
    explicit bounds on the difference e 0(J)-e S(J) at small but positive J c-J, and
    also shows that in this parameter range the ground state is striped/slabbed in
    a certain sense: namely, if one looks at a randomly chosen window, of suitable
    size ℓ (very large compared to the optimal stripe size h(J)), one finds a striped/slabbed
    state with high probability.'
acknowledgement: "2014 by the authors. This paper may be reproduced, in its entirety,
  for non-commercial purposes.\r\n\r\nThe research leading to these results has received
  funding from the European Research\r\nCouncil under the European Union’s Seventh
  Framework Programme ERC Starting Grant CoMBoS (Grant Agreement No. 239694; A.G.
  and R.S.), the U.S. National Science Foundation (Grant PHY 0965859; E.H.L.), the
  Simons Foundation (Grant # 230207; E.H.L) and the NSERC (R.S.). The work is part
  of a project started in collaboration with Joel Lebowitz, whom we thank for many
  useful discussions and for his constant encouragement."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Alessandro
  full_name: Giuliani, Alessandro
  last_name: Giuliani
- first_name: Élliott
  full_name: Lieb, Élliott
  last_name: Lieb
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Giuliani A, Lieb É, Seiringer R. Formation of stripes and slabs near the ferromagnetic
    transition. <i>Communications in Mathematical Physics</i>. 2014;331:333-350. doi:<a
    href="https://doi.org/10.1007/s00220-014-1923-2">10.1007/s00220-014-1923-2</a>
  apa: Giuliani, A., Lieb, É., &#38; Seiringer, R. (2014). Formation of stripes and
    slabs near the ferromagnetic transition. <i>Communications in Mathematical Physics</i>.
    Springer. <a href="https://doi.org/10.1007/s00220-014-1923-2">https://doi.org/10.1007/s00220-014-1923-2</a>
  chicago: Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Formation of
    Stripes and Slabs near the Ferromagnetic Transition.” <i>Communications in Mathematical
    Physics</i>. Springer, 2014. <a href="https://doi.org/10.1007/s00220-014-1923-2">https://doi.org/10.1007/s00220-014-1923-2</a>.
  ieee: A. Giuliani, É. Lieb, and R. Seiringer, “Formation of stripes and slabs near
    the ferromagnetic transition,” <i>Communications in Mathematical Physics</i>,
    vol. 331. Springer, pp. 333–350, 2014.
  ista: Giuliani A, Lieb É, Seiringer R. 2014. Formation of stripes and slabs near
    the ferromagnetic transition. Communications in Mathematical Physics. 331, 333–350.
  mla: Giuliani, Alessandro, et al. “Formation of Stripes and Slabs near the Ferromagnetic
    Transition.” <i>Communications in Mathematical Physics</i>, vol. 331, Springer,
    2014, pp. 333–50, doi:<a href="https://doi.org/10.1007/s00220-014-1923-2">10.1007/s00220-014-1923-2</a>.
  short: A. Giuliani, É. Lieb, R. Seiringer, Communications in Mathematical Physics
    331 (2014) 333–350.
date_created: 2018-12-11T11:54:48Z
date_published: 2014-10-01T00:00:00Z
date_updated: 2025-09-29T12:08:54Z
day: '01'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1007/s00220-014-1923-2
external_id:
  arxiv:
  - '1304.6344'
  isi:
  - '000339732500011'
file:
- access_level: open_access
  checksum: c8423271cd1e1ba9e44c47af75efe7b6
  content_type: application/pdf
  creator: dernst
  date_created: 2022-05-24T08:30:40Z
  date_updated: 2022-05-24T08:30:40Z
  file_id: '11409'
  file_name: 2014_CommMathPhysics_Giuliani.pdf
  file_size: 334064
  relation: main_file
  success: 1
file_date_updated: 2022-05-24T08:30:40Z
has_accepted_license: '1'
intvolume: '       331'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 333 - 350
publication: Communications in Mathematical Physics
publication_identifier:
  eissn:
  - 1432-0916
  issn:
  - 0010-3616
publication_status: published
publisher: Springer
publist_id: '5159'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Formation of stripes and slabs near the ferromagnetic transition
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 331
year: '2014'
...
---
_id: '1936'
abstract:
- lang: eng
  text: 'The social intelligence hypothesis states that the need to cope with complexities
    of social life has driven the evolution of advanced cognitive abilities. It is
    usually invoked in the context of challenges arising from complex intragroup structures,
    hierarchies, and alliances. However, a fundamental aspect of group living remains
    largely unexplored as a driving force in cognitive evolution: the competition
    between individuals searching for resources (producers) and conspecifics that
    parasitize their findings (scroungers). In populations of social foragers, abilities
    that enable scroungers to steal by outsmarting producers, and those allowing producers
    to prevent theft by outsmarting scroungers, are likely to be beneficial and may
    fuel a cognitive arms race. Using analytical theory and agent-based simulations,
    we present a general model for such a race that is driven by the producer-scrounger
    game and show that the race''s plausibility is dramatically affected by the nature
    of the evolving abilities. If scrounging and scrounging avoidance rely on separate,
    strategy-specific cognitive abilities, arms races are short-lived and have a limited
    effect on cognition. However, general cognitive abilities that facilitate both
    scrounging and scrounging avoidance undergo stable, long-lasting arms races. Thus,
    ubiquitous foraging interactions may lead to the evolution of general cognitive
    abilities in social animals, without the requirement of complex intragroup structures.'
article_processing_charge: No
author:
- first_name: Michal
  full_name: Arbilly, Michal
  last_name: Arbilly
- first_name: Daniel
  full_name: Weissman, Daniel
  id: 2D0CE020-F248-11E8-B48F-1D18A9856A87
  last_name: Weissman
- first_name: Marcus
  full_name: Feldman, Marcus
  last_name: Feldman
- first_name: Uri
  full_name: Grodzinski, Uri
  last_name: Grodzinski
citation:
  ama: Arbilly M, Weissman D, Feldman M, Grodzinski U. An arms race between producers
    and scroungers can drive the evolution of social cognition. <i>Behavioral Ecology</i>.
    2014;25(3):487-495. doi:<a href="https://doi.org/10.1093/beheco/aru002">10.1093/beheco/aru002</a>
  apa: Arbilly, M., Weissman, D., Feldman, M., &#38; Grodzinski, U. (2014). An arms
    race between producers and scroungers can drive the evolution of social cognition.
    <i>Behavioral Ecology</i>. Oxford University Press. <a href="https://doi.org/10.1093/beheco/aru002">https://doi.org/10.1093/beheco/aru002</a>
  chicago: Arbilly, Michal, Daniel Weissman, Marcus Feldman, and Uri Grodzinski. “An
    Arms Race between Producers and Scroungers Can Drive the Evolution of Social Cognition.”
    <i>Behavioral Ecology</i>. Oxford University Press, 2014. <a href="https://doi.org/10.1093/beheco/aru002">https://doi.org/10.1093/beheco/aru002</a>.
  ieee: M. Arbilly, D. Weissman, M. Feldman, and U. Grodzinski, “An arms race between
    producers and scroungers can drive the evolution of social cognition,” <i>Behavioral
    Ecology</i>, vol. 25, no. 3. Oxford University Press, pp. 487–495, 2014.
  ista: Arbilly M, Weissman D, Feldman M, Grodzinski U. 2014. An arms race between
    producers and scroungers can drive the evolution of social cognition. Behavioral
    Ecology. 25(3), 487–495.
  mla: Arbilly, Michal, et al. “An Arms Race between Producers and Scroungers Can
    Drive the Evolution of Social Cognition.” <i>Behavioral Ecology</i>, vol. 25,
    no. 3, Oxford University Press, 2014, pp. 487–95, doi:<a href="https://doi.org/10.1093/beheco/aru002">10.1093/beheco/aru002</a>.
  short: M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25
    (2014) 487–495.
date_created: 2018-12-11T11:54:48Z
date_published: 2014-02-13T00:00:00Z
date_updated: 2025-09-29T12:07:50Z
day: '13'
department:
- _id: NiBa
doi: 10.1093/beheco/aru002
ec_funded: 1
external_id:
  isi:
  - '000336486100012'
intvolume: '        25'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4014306/
month: '02'
oa: 1
oa_version: Submitted Version
page: 487 - 495
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '250152'
  name: Limits to selection in biology and in evolutionary computation
publication: Behavioral Ecology
publication_status: published
publisher: Oxford University Press
publist_id: '5157'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An arms race between producers and scroungers can drive the evolution of social
  cognition
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 25
year: '2014'
...
---
_id: '1937'
abstract:
- lang: eng
  text: We prove the edge universality of the beta ensembles for any β ≥ 1, provided
    that the limiting spectrum is supported on a single interval, and the external
    potential is C4 and regular. We also prove that the edge universality holds for
    generalized Wigner matrices for all symmetry classes. Moreover, our results allow
    us to extend bulk universality for beta ensembles from analytic potentials to
    potentials in class C4.
article_processing_charge: No
arxiv: 1
author:
- first_name: Paul
  full_name: Bourgade, Paul
  last_name: Bourgade
- 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: Horngtzer
  full_name: Yau, Horngtzer
  last_name: Yau
citation:
  ama: Bourgade P, Erdös L, Yau H. Edge universality of beta ensembles. <i>Communications
    in Mathematical Physics</i>. 2014;332(1):261-353. doi:<a href="https://doi.org/10.1007/s00220-014-2120-z">10.1007/s00220-014-2120-z</a>
  apa: Bourgade, P., Erdös, L., &#38; Yau, H. (2014). Edge universality of beta ensembles.
    <i>Communications in Mathematical Physics</i>. Springer. <a href="https://doi.org/10.1007/s00220-014-2120-z">https://doi.org/10.1007/s00220-014-2120-z</a>
  chicago: Bourgade, Paul, László Erdös, and Horngtzer Yau. “Edge Universality of
    Beta Ensembles.” <i>Communications in Mathematical Physics</i>. Springer, 2014.
    <a href="https://doi.org/10.1007/s00220-014-2120-z">https://doi.org/10.1007/s00220-014-2120-z</a>.
  ieee: P. Bourgade, L. Erdös, and H. Yau, “Edge universality of beta ensembles,”
    <i>Communications in Mathematical Physics</i>, vol. 332, no. 1. Springer, pp.
    261–353, 2014.
  ista: Bourgade P, Erdös L, Yau H. 2014. Edge universality of beta ensembles. Communications
    in Mathematical Physics. 332(1), 261–353.
  mla: Bourgade, Paul, et al. “Edge Universality of Beta Ensembles.” <i>Communications
    in Mathematical Physics</i>, vol. 332, no. 1, Springer, 2014, pp. 261–353, doi:<a
    href="https://doi.org/10.1007/s00220-014-2120-z">10.1007/s00220-014-2120-z</a>.
  short: P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332
    (2014) 261–353.
date_created: 2018-12-11T11:54:48Z
date_published: 2014-11-01T00:00:00Z
date_updated: 2025-09-29T12:08:21Z
day: '01'
department:
- _id: LaEr
doi: 10.1007/s00220-014-2120-z
external_id:
  arxiv:
  - '1306.5728'
  isi:
  - '000341491700007'
intvolume: '       332'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1306.5728
month: '11'
oa: 1
oa_version: Submitted Version
page: 261 - 353
project:
- _id: 25BDE9A4-B435-11E9-9278-68D0E5697425
  grant_number: SFB-TR3-TP10B
  name: "Glutamaterge synaptische Ã\x9Cbertragung und PlastizitÃ¤t in hippocampalen
    Mikroschaltkreisen"
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '5158'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Edge universality of beta ensembles
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 332
year: '2014'
...
---
_id: '468'
abstract:
- lang: eng
  text: Invasive alien parasites and pathogens are a growing threat to biodiversity
    worldwide, which can contribute to the extinction of endemic species. On the Galápagos
    Islands, the invasive parasitic fly Philornis downsi poses a major threat to the
    endemic avifauna. Here, we investigated the influence of this parasite on the
    breeding success of two Darwin's finch species, the warbler finch (Certhidea olivacea)
    and the sympatric small tree finch (Camarhynchus parvulus), on Santa Cruz Island
    in 2010 and 2012. While the population of the small tree finch appeared to be
    stable, the warbler finch has experienced a dramatic decline in population size
    on Santa Cruz Island since 1997. We aimed to identify whether warbler finches
    are particularly vulnerable during different stages of the breeding cycle. Contrary
    to our prediction, breeding success was lower in the small tree finch than in
    the warbler finch. In both species P. downsi had a strong negative impact on breeding
    success and our data suggest that heavy rain events also lowered the fledging
    success. On the one hand parents might be less efficient in compensating their
    chicks' energy loss due to parasitism as they might be less efficient in foraging
    on days of heavy rain. On the other hand, intense rainfalls might lead to increased
    humidity and more rapid cooling of the nests. In the case of the warbler finch
    we found that the control of invasive plant species with herbicides had a significant
    additive negative impact on the breeding success. It is very likely that the availability
    of insects (i.e. food abundance) is lower in such controlled areas, as herbicide
    usage led to the removal of the entire understory. Predation seems to be a minor
    factor in brood loss.
acknowledgement: The study was funded by the University of Vienna (Focus of Excellence
  grant), the Galápagos Conservation Trust, and the Ethologische Gesellschaft e.V.
article_number: '0107518'
article_processing_charge: No
author:
- first_name: Arno
  full_name: Cimadom, Arno
  last_name: Cimadom
- first_name: Angel
  full_name: Ulloa, Angel
  last_name: Ulloa
- first_name: Patrick
  full_name: Meidl, Patrick
  id: 4709BCE6-F248-11E8-B48F-1D18A9856A87
  last_name: Meidl
- first_name: Markus
  full_name: Zöttl, Markus
  last_name: Zöttl
- first_name: Elisabet
  full_name: Zöttl, Elisabet
  last_name: Zöttl
- first_name: Birgit
  full_name: Fessl, Birgit
  last_name: Fessl
- first_name: Erwin
  full_name: Nemeth, Erwin
  last_name: Nemeth
- first_name: Michael
  full_name: Dvorak, Michael
  last_name: Dvorak
- first_name: Francesca
  full_name: Cunninghame, Francesca
  last_name: Cunninghame
- first_name: Sabine
  full_name: Tebbich, Sabine
  last_name: Tebbich
citation:
  ama: Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy
    rainfall reduce breeding success in Darwin’s finches. <i>PLoS One</i>. 2014;9(9).
    doi:<a href="https://doi.org/10.1371/journal.pone.0107518">10.1371/journal.pone.0107518</a>
  apa: Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B., … Tebbich,
    S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding
    success in Darwin’s finches. <i>PLoS One</i>. Public Library of Science. <a href="https://doi.org/10.1371/journal.pone.0107518">https://doi.org/10.1371/journal.pone.0107518</a>
  chicago: Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl,
    Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine
    Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding
    Success in Darwin’s Finches.” <i>PLoS One</i>. Public Library of Science, 2014.
    <a href="https://doi.org/10.1371/journal.pone.0107518">https://doi.org/10.1371/journal.pone.0107518</a>.
  ieee: A. Cimadom <i>et al.</i>, “Invasive parasites habitat change and heavy rainfall
    reduce breeding success in Darwin’s finches,” <i>PLoS One</i>, vol. 9, no. 9.
    Public Library of Science, 2014.
  ista: Cimadom A, Ulloa A, Meidl P, Zöttl M, Zöttl E, Fessl B, Nemeth E, Dvorak M,
    Cunninghame F, Tebbich S. 2014. Invasive parasites habitat change and heavy rainfall
    reduce breeding success in Darwin’s finches. PLoS One. 9(9), 0107518.
  mla: Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall
    Reduce Breeding Success in Darwin’s Finches.” <i>PLoS One</i>, vol. 9, no. 9,
    0107518, Public Library of Science, 2014, doi:<a href="https://doi.org/10.1371/journal.pone.0107518">10.1371/journal.pone.0107518</a>.
  short: A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth,
    M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
date_created: 2018-12-11T11:46:38Z
date_published: 2014-09-23T00:00:00Z
date_updated: 2025-09-29T13:19:35Z
day: '23'
ddc:
- '576'
department:
- _id: CampIT
doi: 10.1371/journal.pone.0107518
external_id:
  isi:
  - '000342351800025'
file:
- access_level: open_access
  checksum: b24e7518ccd41effed0d7d9e2498f67f
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:14:48Z
  date_updated: 2020-07-14T12:46:34Z
  file_id: '5103'
  file_name: IST-2018-954-v1+1_2014_Meidl_Invasive_parasites.PDF
  file_size: 489387
  relation: main_file
file_date_updated: 2020-07-14T12:46:34Z
has_accepted_license: '1'
intvolume: '         9'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '7352'
pubrep_id: '954'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Invasive parasites habitat change and heavy rainfall reduce breeding success
  in Darwin's finches
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 9
year: '2014'
...
---
_id: '475'
abstract:
- lang: eng
  text: 'First cycle games (FCG) are played on a finite graph by two players who push
    a token along the edges until a vertex is repeated, and a simple cycle is formed.
    The winner is determined by some fixed property Y of the sequence of labels of
    the edges (or nodes) forming this cycle. These games are traditionally of interest
    because of their connection with infinite-duration games such as parity and mean-payoff
    games. We study the memory requirements for winning strategies of FCGs and certain
    associated infinite duration games. We exhibit a simple FCG that is not memoryless
    determined (this corrects a mistake in Memoryless determinacy of parity and mean
    payoff games: a simple proof by Bj⋯orklund, Sandberg, Vorobyov (2004) that claims
    that FCGs for which Y is closed under cyclic permutations are memoryless determined).
    We show that θ (n)! memory (where n is the number of nodes in the graph), which
    is always sufficient, may be necessary to win some FCGs. On the other hand, we
    identify easy to check conditions on Y (i.e., Y is closed under cyclic permutations,
    and both Y and its complement are closed under concatenation) that are sufficient
    to ensure that the corresponding FCGs and their associated infinite duration games
    are memoryless determined. We demonstrate that many games considered in the literature,
    such as mean-payoff, parity, energy, etc., satisfy these conditions. On the complexity
    side, we show (for efficiently computable Y) that while solving FCGs is in PSPACE,
    solving some families of FCGs is PSPACE-hard. '
alternative_title:
- EPTCS
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: Sasha
  full_name: Rubin, Sasha
  id: 2EC51194-F248-11E8-B48F-1D18A9856A87
  last_name: Rubin
citation:
  ama: 'Aminof B, Rubin S. First cycle games. In: <i>Electronic Proceedings in Theoretical
    Computer Science, EPTCS</i>. Vol 146. Open Publishing Association; 2014:83-90.
    doi:<a href="https://doi.org/10.4204/EPTCS.146.11">10.4204/EPTCS.146.11</a>'
  apa: 'Aminof, B., &#38; Rubin, S. (2014). First cycle games. In <i>Electronic Proceedings
    in Theoretical Computer Science, EPTCS</i> (Vol. 146, pp. 83–90). Grenoble, France:
    Open Publishing Association. <a href="https://doi.org/10.4204/EPTCS.146.11">https://doi.org/10.4204/EPTCS.146.11</a>'
  chicago: Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” In <i>Electronic
    Proceedings in Theoretical Computer Science, EPTCS</i>, 146:83–90. Open Publishing
    Association, 2014. <a href="https://doi.org/10.4204/EPTCS.146.11">https://doi.org/10.4204/EPTCS.146.11</a>.
  ieee: B. Aminof and S. Rubin, “First cycle games,” in <i>Electronic Proceedings
    in Theoretical Computer Science, EPTCS</i>, Grenoble, France, 2014, vol. 146,
    pp. 83–90.
  ista: 'Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical
    Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.'
  mla: Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” <i>Electronic Proceedings
    in Theoretical Computer Science, EPTCS</i>, vol. 146, Open Publishing Association,
    2014, pp. 83–90, doi:<a href="https://doi.org/10.4204/EPTCS.146.11">10.4204/EPTCS.146.11</a>.
  short: B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer
    Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
conference:
  end_date: 2014-04-06
  location: Grenoble, France
  name: 'SR: Strategic Reasoning'
  start_date: 2014-04-05
corr_author: '1'
date_created: 2018-12-11T11:46:41Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2025-04-14T13:51:05Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.4204/EPTCS.146.11
ec_funded: 1
external_id:
  arxiv:
  - '1404.0843'
file:
- access_level: open_access
  checksum: 4d7b4ab82980cca2b96ac7703992a8c8
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:08Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '5260'
  file_name: IST-2018-952-v1+1_2014_Rubin_First_cycle.pdf
  file_size: 100115
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '       146'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 83 - 90
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _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: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
publication: Electronic Proceedings in Theoretical Computer Science, EPTCS
publication_status: published
publisher: Open Publishing Association
publist_id: '7345'
pubrep_id: '952'
quality_controlled: '1'
scopus_import: '1'
status: public
title: First cycle games
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 146
year: '2014'
...
---
_id: '535'
abstract:
- lang: eng
  text: Energy games belong to a class of turn-based two-player infinite-duration
    games played on a weighted directed graph. It is one of the rare and intriguing
    combinatorial problems that lie in NP∩co-NP, but are not known to be in P. The
    existence of polynomial-time algorithms has been a major open problem for decades
    and apart from pseudopolynomial algorithms there is no algorithm that solves any
    non-trivial subclass in polynomial time. In this paper, we give several results
    based on the weight structures of the graph. First, we identify a notion of penalty
    and present a polynomial-time algorithm when the penalty is large. Our algorithm
    is the first polynomial-time algorithm on a large class of weighted graphs. It
    includes several worst-case instances on which previous algorithms, such as value
    iteration and random facet algorithms, require at least sub-exponential time.
    Our main technique is developing the first non-trivial approximation algorithm
    and showing how to convert it to an exact algorithm. Moreover, we show that in
    a practical case in verification where weights are clustered around a constant
    number of values, the energy game problem can be solved in polynomial time. We
    also show that the problem is still as hard as in general when the clique-width
    is bounded or the graph is strongly ergodic, suggesting that restricting the graph
    structure does not necessarily help.
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: Monika H
  full_name: Henzinger, Monika H
  id: 540c9bbd-f2de-11ec-812d-d04a5be85630
  last_name: Henzinger
  orcid: 0000-0002-5008-6530
- first_name: Sebastian
  full_name: Krinninger, Sebastian
  last_name: Krinninger
- first_name: Danupon
  full_name: Nanongkai, Danupon
  last_name: Nanongkai
citation:
  ama: Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms
    for energy games with special weight structures. <i>Algorithmica</i>. 2014;70(3):457-492.
    doi:<a href="https://doi.org/10.1007/s00453-013-9843-7">10.1007/s00453-013-9843-7</a>
  apa: Chatterjee, K., Henzinger, M., Krinninger, S., &#38; Nanongkai, D. (2014).
    Polynomial-time algorithms for energy games with special weight structures. <i>Algorithmica</i>.
    Springer. <a href="https://doi.org/10.1007/s00453-013-9843-7">https://doi.org/10.1007/s00453-013-9843-7</a>
  chicago: Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, and Danupon
    Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”
    <i>Algorithmica</i>. Springer, 2014. <a href="https://doi.org/10.1007/s00453-013-9843-7">https://doi.org/10.1007/s00453-013-9843-7</a>.
  ieee: K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time
    algorithms for energy games with special weight structures,” <i>Algorithmica</i>,
    vol. 70, no. 3. Springer, pp. 457–492, 2014.
  ista: Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2014. Polynomial-time
    algorithms for energy games with special weight structures. Algorithmica. 70(3),
    457–492.
  mla: Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games
    with Special Weight Structures.” <i>Algorithmica</i>, vol. 70, no. 3, Springer,
    2014, pp. 457–92, doi:<a href="https://doi.org/10.1007/s00453-013-9843-7">10.1007/s00453-013-9843-7</a>.
  short: K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70
    (2014) 457–492.
date_created: 2018-12-11T11:47:01Z
date_published: 2014-11-01T00:00:00Z
date_updated: 2025-09-29T13:18:38Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/s00453-013-9843-7
ec_funded: 1
external_id:
  arxiv:
  - '1604.08234'
  isi:
  - '000340552300005'
intvolume: '        70'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1604.08234
month: '11'
oa: 1
oa_version: Preprint
page: 457 - 492
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: Algorithmica
publication_status: published
publisher: Springer
publist_id: '7282'
quality_controlled: '1'
related_material:
  record:
  - id: '10905'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Polynomial-time algorithms for energy games with special weight structures
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 70
year: '2014'
...
---
_id: '537'
abstract:
- lang: eng
  text: Transgenerational effects are broader than only parental relationships. Despite
    mounting evidence that multigenerational effects alter phenotypic and life-history
    traits, our understanding of how they combine to determine fitness is not well
    developed because of the added complexity necessary to study them. Here, we derive
    a quantitative genetic model of adaptation to an extraordinary new environment
    by an additive genetic component, phenotypic plasticity, maternal and grandmaternal
    effects. We show how, at equilibrium, negative maternal and negative grandmaternal
    effects maximize expected population mean fitness. We define negative transgenerational
    effects as those that have a negative effect on trait expression in the subsequent
    generation, that is, they slow, or potentially reverse, the expected evolutionary
    dynamic. When maternal effects are positive, negative grandmaternal effects are
    preferred. As expected under Mendelian inheritance, the grandmaternal effects
    have a lower impact on fitness than the maternal effects, but this dual inheritance
    model predicts a more complex relationship between maternal and grandmaternal
    effects to constrain phenotypic variance and so maximize expected population mean
    fitness in the offspring.
article_processing_charge: No
author:
- first_name: Roshan
  full_name: Prizak, Roshan
  id: 4456104E-F248-11E8-B48F-1D18A9856A87
  last_name: Prizak
- first_name: Thomas
  full_name: Ezard, Thomas
  last_name: Ezard
- first_name: Rebecca
  full_name: Hoyle, Rebecca
  last_name: Hoyle
citation:
  ama: Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal
    effects. <i>Ecology and Evolution</i>. 2014;4(15):3139-3145. doi:<a href="https://doi.org/10.1002/ece3.1150">10.1002/ece3.1150</a>
  apa: Prizak, R., Ezard, T., &#38; Hoyle, R. (2014). Fitness consequences of maternal
    and grandmaternal effects. <i>Ecology and Evolution</i>. Wiley-Blackwell. <a href="https://doi.org/10.1002/ece3.1150">https://doi.org/10.1002/ece3.1150</a>
  chicago: Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences
    of Maternal and Grandmaternal Effects.” <i>Ecology and Evolution</i>. Wiley-Blackwell,
    2014. <a href="https://doi.org/10.1002/ece3.1150">https://doi.org/10.1002/ece3.1150</a>.
  ieee: R. Prizak, T. Ezard, and R. Hoyle, “Fitness consequences of maternal and grandmaternal
    effects,” <i>Ecology and Evolution</i>, vol. 4, no. 15. Wiley-Blackwell, pp. 3139–3145,
    2014.
  ista: Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal
    effects. Ecology and Evolution. 4(15), 3139–3145.
  mla: Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal
    Effects.” <i>Ecology and Evolution</i>, vol. 4, no. 15, Wiley-Blackwell, 2014,
    pp. 3139–45, doi:<a href="https://doi.org/10.1002/ece3.1150">10.1002/ece3.1150</a>.
  short: R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
date_created: 2018-12-11T11:47:02Z
date_published: 2014-07-19T00:00:00Z
date_updated: 2025-09-29T13:17:53Z
day: '19'
ddc:
- '530'
- '571'
department:
- _id: NiBa
- _id: GaTk
doi: 10.1002/ece3.1150
external_id:
  isi:
  - '000340575000015'
file:
- access_level: open_access
  checksum: e32abf75a248e7a11811fd7f60858769
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:11:31Z
  date_updated: 2020-07-14T12:46:38Z
  file_id: '4886'
  file_name: IST-2018-934-v1+1_Prizak_et_al-2014-Ecology_and_Evolution.pdf
  file_size: 621582
  relation: main_file
file_date_updated: 2020-07-14T12:46:38Z
has_accepted_license: '1'
intvolume: '         4'
isi: 1
issue: '15'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 3139 - 3145
publication: Ecology and Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7280'
pubrep_id: '934'
scopus_import: '1'
status: public
title: Fitness consequences of maternal and grandmaternal effects
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 4
year: '2014'
...
---
_id: '5411'
abstract:
- lang: eng
  text: "Model-based testing is a promising technology for black-box software and
    hardware testing, in which test cases are generated automatically from high-level
    specifications. Nowadays, systems typically consist of multiple interacting components
    and, due to their complexity, testing presents a considerable portion of the effort
    and cost in the design process. Exploiting the compositional structure of system
    specifications can considerably reduce the effort in model-based testing. Moreover,
    inferring properties about the system from testing its individual components allows
    the designer to reduce the amount of integration testing.\r\nIn this paper, we
    study compositional properties of the IOCO-testing theory. We propose a new approach
    to composition and hiding operations, inspired by contract-based design and interface
    theories. These operations preserve behaviors that are compatible under composition
    and hiding, and prune away incompatible ones. The resulting specification characterizes
    the input sequences for which the unit testing of components is sufficient to
    infer the correctness of component integration without the need for further tests.
    We provide a methodology that uses these results to minimize integration testing
    effort, but also to detect potential weaknesses in specifications. While we focus
    on asynchronous models and the IOCO conformance relation, the resulting methodology
    can be applied to a broader class of systems."
alternative_title:
- IST Austria Technical Report
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: Willibald
  full_name: Krenn, Willibald
  last_name: Krenn
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
citation:
  ama: Daca P, Henzinger TA, Krenn W, Nickovic D. <i>Compositional Specifications
    for IOCO Testing</i>. IST Austria; 2014. doi:<a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">10.15479/AT:IST-2014-148-v2-1</a>
  apa: Daca, P., Henzinger, T. A., Krenn, W., &#38; Nickovic, D. (2014). <i>Compositional
    specifications for IOCO testing</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">https://doi.org/10.15479/AT:IST-2014-148-v2-1</a>
  chicago: Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic.
    <i>Compositional Specifications for IOCO Testing</i>. IST Austria, 2014. <a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">https://doi.org/10.15479/AT:IST-2014-148-v2-1</a>.
  ieee: P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, <i>Compositional specifications
    for IOCO testing</i>. IST Austria, 2014.
  ista: Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications
    for IOCO testing, IST Austria, 20p.
  mla: Daca, Przemyslaw, et al. <i>Compositional Specifications for IOCO Testing</i>.
    IST Austria, 2014, doi:<a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">10.15479/AT:IST-2014-148-v2-1</a>.
  short: P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications
    for IOCO Testing, IST Austria, 2014.
date_created: 2018-12-12T11:39:11Z
date_published: 2014-01-28T00:00:00Z
date_updated: 2025-09-29T11:40:47Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2014-148-v2-1
file:
- access_level: open_access
  checksum: 0e03aba625cc334141a3148432aa5760
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:54:21Z
  date_updated: 2020-07-14T12:46:46Z
  file_id: '5543'
  file_name: IST-2014-148-v2+1_main_tr.pdf
  file_size: 534732
  relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '20'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '152'
related_material:
  record:
  - id: '2167'
    relation: later_version
    status: public
status: public
title: Compositional specifications for IOCO testing
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '5412'
abstract:
- lang: eng
  text: "We consider Markov decision processes (MDPs) which are a standard model for
    probabilistic systems. We focus on qualitative properties for MDPs that can express
    that desired behaviors of the system arise almost-surely (with probability 1)
    or with positive probability.\r\nWe introduce a new simulation relation to capture
    the refinement relation of MDPs with respect to qualitative properties, and present
    discrete graph theoretic algorithms with quadratic complexity to compute the simulation
    relation.\r\nWe present an automated technique for assume-guarantee style reasoning
    for compositional analysis of MDPs with qualitative properties by giving a counter-example
    guided abstraction-refinement approach to compute our new simulation relation.
    We have implemented our algorithms and show that the compositional analysis leads
    to significant improvements. "
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Przemyslaw
  full_name: Daca, Przemyslaw
  id: 49351290-F248-11E8-B48F-1D18A9856A87
  last_name: Daca
- first_name: Martin
  full_name: Chmelik, Martin
  id: 3624234E-F248-11E8-B48F-1D18A9856A87
  last_name: Chmelik
citation:
  ama: Chatterjee K, Daca P, Chmelik M. <i>CEGAR for Qualitative Analysis of Probabilistic
    Systems</i>. IST Austria; 2014. doi:<a href="https://doi.org/10.15479/AT:IST-2014-153-v1-1">10.15479/AT:IST-2014-153-v1-1</a>
  apa: Chatterjee, K., Daca, P., &#38; Chmelik, M. (2014). <i>CEGAR for qualitative
    analysis of probabilistic systems</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2014-153-v1-1">https://doi.org/10.15479/AT:IST-2014-153-v1-1</a>
  chicago: Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. <i>CEGAR for
    Qualitative Analysis of Probabilistic Systems</i>. IST Austria, 2014. <a href="https://doi.org/10.15479/AT:IST-2014-153-v1-1">https://doi.org/10.15479/AT:IST-2014-153-v1-1</a>.
  ieee: K. Chatterjee, P. Daca, and M. Chmelik, <i>CEGAR for qualitative analysis
    of probabilistic systems</i>. IST Austria, 2014.
  ista: Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic
    systems, IST Austria, 31p.
  mla: Chatterjee, Krishnendu, et al. <i>CEGAR for Qualitative Analysis of Probabilistic
    Systems</i>. IST Austria, 2014, doi:<a href="https://doi.org/10.15479/AT:IST-2014-153-v1-1">10.15479/AT:IST-2014-153-v1-1</a>.
  short: K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic
    Systems, IST Austria, 2014.
date_created: 2018-12-12T11:39:11Z
date_published: 2014-01-29T00:00:00Z
date_updated: 2025-04-15T07:56:48Z
day: '29'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2014-153-v1-1
file:
- access_level: open_access
  checksum: 4d6cda4bebed970926403ad6ad8c745f
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:53:39Z
  date_updated: 2020-07-14T12:46:47Z
  file_id: '5500'
  file_name: IST-2014-153-v1+1_main.pdf
  file_size: 423322
  relation: main_file
file_date_updated: 2020-07-14T12:46:47Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '31'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '153'
related_material:
  record:
  - id: '5413'
    relation: later_version
    status: public
  - id: '5414'
    relation: later_version
    status: public
  - id: '2063'
    relation: later_version
    status: public
status: public
title: CEGAR for qualitative analysis of probabilistic systems
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
