---
OA_place: repository
OA_type: green
_id: '10885'
abstract:
- lang: eng
  text: "Two-player games on graphs provide the theoretical framework for many important
    problems such as reactive synthesis. While the traditional study of two-player
    zero-sum games has been extended to multi-player games with several notions of
    equilibria, they are decidable only for perfect-information games, whereas several
    applications require imperfect-information games.\r\nIn this paper we propose
    a new notion of equilibria, called doomsday equilibria, which is a strategy profile
    such that all players satisfy their own objective, and if any coalition of players
    deviates and violates even one of the players objective, then the objective of
    every player is violated.\r\nWe present algorithms and complexity results for
    deciding the existence of doomsday equilibria for various classes of ω-regular
    objectives, both for imperfect-information games, and for perfect-information
    games.We provide optimal complexity bounds for imperfect-information games, and
    in most cases for perfect-information games."
acknowledgement: " Supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF
  NFN Grant No\r\nS11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft
  faculty fellows award."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Laurent
  full_name: Doyen, Laurent
  last_name: Doyen
- first_name: Emmanuel
  full_name: Filiot, Emmanuel
  last_name: Filiot
- first_name: Jean-François
  full_name: Raskin, Jean-François
  last_name: Raskin
citation:
  ama: 'Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular
    games. In: <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>.
    Vol 8318. Springer Nature; 2014:78-97. doi:<a href="https://doi.org/10.1007/978-3-642-54013-4_5">10.1007/978-3-642-54013-4_5</a>'
  apa: 'Chatterjee, K., Doyen, L., Filiot, E., &#38; Raskin, J.-F. (2014). Doomsday
    equilibria for omega-regular games. In <i>VMCAI 2014: Verification, Model Checking,
    and Abstract Interpretation</i> (Vol. 8318, pp. 78–97). San Diego, CA, United
    States: Springer Nature. <a href="https://doi.org/10.1007/978-3-642-54013-4_5">https://doi.org/10.1007/978-3-642-54013-4_5</a>'
  chicago: 'Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François
    Raskin. “Doomsday Equilibria for Omega-Regular Games.” In <i>VMCAI 2014: Verification,
    Model Checking, and Abstract Interpretation</i>, 8318:78–97. Springer Nature,
    2014. <a href="https://doi.org/10.1007/978-3-642-54013-4_5">https://doi.org/10.1007/978-3-642-54013-4_5</a>.'
  ieee: 'K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria
    for omega-regular games,” in <i>VMCAI 2014: Verification, Model Checking, and
    Abstract Interpretation</i>, San Diego, CA, United States, 2014, vol. 8318, pp.
    78–97.'
  ista: 'Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for
    omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation.
    VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318,
    78–97.'
  mla: 'Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.”
    <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>,
    vol. 8318, Springer Nature, 2014, pp. 78–97, doi:<a href="https://doi.org/10.1007/978-3-642-54013-4_5">10.1007/978-3-642-54013-4_5</a>.'
  short: 'K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification,
    Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.'
conference:
  end_date: 2014-01-21
  location: San Diego, CA, United States
  name: 'VMCAI: Verifcation, Model Checking, and Abstract Interpretation'
  start_date: 2014-01-19
date_created: 2022-03-18T13:03:15Z
date_published: 2014-01-30T00:00:00Z
date_updated: 2026-04-16T10:00:03Z
day: '30'
department:
- _id: KrCh
doi: 10.1007/978-3-642-54013-4_5
ec_funded: 1
external_id:
  arxiv:
  - '1311.3238'
intvolume: '      8318'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1311.3238
month: '01'
oa: 1
oa_version: Preprint
page: 78-97
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: 'VMCAI 2014: Verification, Model Checking, and Abstract Interpretation'
publication_identifier:
  eisbn:
  - '9783642540134'
  eissn:
  - 1611-3349
  isbn:
  - '9783642540127'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '681'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Doomsday equilibria for omega-regular games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8318
year: '2014'
...
---
_id: '2254'
abstract:
- lang: eng
  text: Theta-gamma network oscillations are thought to represent key reference signals
    for information processing in neuronal ensembles, but the underlying synaptic
    mechanisms remain unclear. To address this question, we performed whole-cell (WC)
    patch-clamp recordings from mature hippocampal granule cells (GCs) in vivo in
    the dentate gyrus of anesthetized and awake rats. GCs in vivo fired action potentials
    at low frequency, consistent with sparse coding in the dentate gyrus. GCs were
    exposed to barrages of fast AMPAR-mediated excitatory postsynaptic currents (EPSCs),
    primarily relayed from the entorhinal cortex, and inhibitory postsynaptic currents
    (IPSCs), presumably generated by local interneurons. EPSCs exhibited coherence
    with the field potential predominantly in the theta frequency band, whereas IPSCs
    showed coherence primarily in the gamma range. Action potentials in GCs were phase
    locked to network oscillations. Thus, theta-gamma-modulated synaptic currents
    may provide a framework for sparse temporal coding of information in the dentate
    gyrus.
article_processing_charge: No
author:
- first_name: Alejandro
  full_name: Pernia-Andrade, Alejandro
  id: 36963E98-F248-11E8-B48F-1D18A9856A87
  last_name: Pernia-Andrade
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
citation:
  ama: Pernia-Andrade A, Jonas PM. Theta-gamma-modulated synaptic currents in hippocampal
    granule cells in vivo define a mechanism for network oscillations. <i>Neuron</i>.
    2014;81(1):140-152. doi:<a href="https://doi.org/10.1016/j.neuron.2013.09.046">10.1016/j.neuron.2013.09.046</a>
  apa: Pernia-Andrade, A., &#38; Jonas, P. M. (2014). Theta-gamma-modulated synaptic
    currents in hippocampal granule cells in vivo define a mechanism for network oscillations.
    <i>Neuron</i>. Elsevier. <a href="https://doi.org/10.1016/j.neuron.2013.09.046">https://doi.org/10.1016/j.neuron.2013.09.046</a>
  chicago: Pernia-Andrade, Alejandro, and Peter M Jonas. “Theta-Gamma-Modulated Synaptic
    Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.”
    <i>Neuron</i>. Elsevier, 2014. <a href="https://doi.org/10.1016/j.neuron.2013.09.046">https://doi.org/10.1016/j.neuron.2013.09.046</a>.
  ieee: A. Pernia-Andrade and P. M. Jonas, “Theta-gamma-modulated synaptic currents
    in hippocampal granule cells in vivo define a mechanism for network oscillations,”
    <i>Neuron</i>, vol. 81, no. 1. Elsevier, pp. 140–152, 2014.
  ista: Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents
    in hippocampal granule cells in vivo define a mechanism for network oscillations.
    Neuron. 81(1), 140–152.
  mla: Pernia-Andrade, Alejandro, and Peter M. Jonas. “Theta-Gamma-Modulated Synaptic
    Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.”
    <i>Neuron</i>, vol. 81, no. 1, Elsevier, 2014, pp. 140–52, doi:<a href="https://doi.org/10.1016/j.neuron.2013.09.046">10.1016/j.neuron.2013.09.046</a>.
  short: A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.
corr_author: '1'
date_created: 2018-12-11T11:56:35Z
date_published: 2014-01-08T00:00:00Z
date_updated: 2026-04-16T10:08:53Z
day: '08'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1016/j.neuron.2013.09.046
ec_funded: 1
external_id:
  isi:
  - '000329559000015'
file:
- access_level: open_access
  checksum: 438547cfcd9045a22f065f2019f07849
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:48Z
  date_updated: 2020-07-14T12:45:35Z
  file_id: '4773'
  file_name: IST-2016-422-v1+1_1-s2.0-S0896627313009227-main.pdf
  file_size: 4373072
  relation: main_file
file_date_updated: 2020-07-14T12:45:35Z
has_accepted_license: '1'
intvolume: '        81'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 140 - 152
project:
- _id: 25C0F108-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '268548'
  name: Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons
- _id: 25C26B1E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P24909-B24
  name: Mechanisms of transmitter release at GABAergic synapses
publication: Neuron
publication_identifier:
  issn:
  - 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '4692'
pubrep_id: '422'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo
  define a mechanism for network oscillations
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 81
year: '2014'
...
---
_id: '2224'
abstract:
- lang: eng
  text: This work investigates the transition between different traveling helical
    waves (spirals, SPIs) in the setup of differentially independent rotating cylinders.
    We use direct numerical simulations to consider an infinite long and periodic
    Taylor-Couette apparatus with fixed axial periodicity length. We find so-called
    mixed-cross-spirals (MCSs), that can be seen as nonlinear superpositions of SPIs,
    to establish stable footbridges connecting SPI states. While bridging the bifurcation
    branches of SPIs, the corresponding contributions within the MCS vary continuously
    with the control parameters. Here discussed MCSs presenting footbridge solutions
    start and end in different SPI branches. Therefore they differ significantly from
    the already known MCSs that present bypass solutions (Altmeyer and Hoffmann 2010
    New J. Phys. 12 113035). The latter start and end in the same SPI branch, while
    they always bifurcate out of those SPI branches with the larger mode amplitude.
    Meanwhile, these only appear within the coexisting region of both SPIs. In contrast,
    the footbridge solutions can also bifurcate out of the minor SPI contribution.
    We also find they exist in regions where only one of the SPIs contributions exists.
    In addition, MCS as footbridge solution can appear either stable or unstable.
    The latter detected transient solutions offer similar spatio-temporal characteristics
    to the flow establishing stable footbridges. Such transition processes are interesting
    for pattern-forming systems in general because they accomplish transitions between
    traveling waves of different azimuthal wave numbers and have not been described
    in the literature yet.
article_number: '025503'
article_processing_charge: No
author:
- first_name: Sebastian
  full_name: Altmeyer, Sebastian
  id: 2EE67FDC-F248-11E8-B48F-1D18A9856A87
  last_name: Altmeyer
  orcid: 0000-0001-5964-0203
citation:
  ama: Altmeyer S. On secondary instabilities generating footbridges between spiral
    vortex flow. <i>Fluid Dynamics Research</i>. 2014;46(2). doi:<a href="https://doi.org/10.1088/0169-5983/46/2/025503">10.1088/0169-5983/46/2/025503</a>
  apa: Altmeyer, S. (2014). On secondary instabilities generating footbridges between
    spiral vortex flow. <i>Fluid Dynamics Research</i>. IOP Publishing. <a href="https://doi.org/10.1088/0169-5983/46/2/025503">https://doi.org/10.1088/0169-5983/46/2/025503</a>
  chicago: Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges
    between Spiral Vortex Flow.” <i>Fluid Dynamics Research</i>. IOP Publishing, 2014.
    <a href="https://doi.org/10.1088/0169-5983/46/2/025503">https://doi.org/10.1088/0169-5983/46/2/025503</a>.
  ieee: S. Altmeyer, “On secondary instabilities generating footbridges between spiral
    vortex flow,” <i>Fluid Dynamics Research</i>, vol. 46, no. 2. IOP Publishing,
    2014.
  ista: Altmeyer S. 2014. On secondary instabilities generating footbridges between
    spiral vortex flow. Fluid Dynamics Research. 46(2), 025503.
  mla: Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges between
    Spiral Vortex Flow.” <i>Fluid Dynamics Research</i>, vol. 46, no. 2, 025503, IOP
    Publishing, 2014, doi:<a href="https://doi.org/10.1088/0169-5983/46/2/025503">10.1088/0169-5983/46/2/025503</a>.
  short: S. Altmeyer, Fluid Dynamics Research 46 (2014).
corr_author: '1'
date_created: 2018-12-11T11:56:25Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2026-04-16T10:07:46Z
day: '01'
department:
- _id: BjHo
doi: 10.1088/0169-5983/46/2/025503
external_id:
  isi:
  - '000334075800003'
intvolume: '        46'
isi: 1
issue: '2'
language:
- iso: eng
month: '04'
oa_version: None
publication: Fluid Dynamics Research
publication_identifier:
  issn:
  - 0169-5983
publication_status: published
publisher: IOP Publishing
publist_id: '4740'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On secondary instabilities generating footbridges between spiral vortex flow
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 46
year: '2014'
...
---
_id: '2249'
abstract:
- lang: eng
  text: The unfolded protein response (UPR) is a signaling network triggered by overload
    of protein-folding demand in the endoplasmic reticulum (ER), a condition termed
    ER stress. The UPR is critical for growth and development; nonetheless, connections
    between the UPR and other cellular regulatory processes remain largely unknown.
    Here, we identify a link between the UPR and the phytohormone auxin, a master
    regulator of plant physiology. We show that ER stress triggers down-regulation
    of auxin receptors and transporters in Arabidopsis thaliana. We also demonstrate
    that an Arabidopsis mutant of a conserved ER stress sensor IRE1 exhibits defects
    in the auxin response and levels. These data not only support that the plant IRE1
    is required for auxin homeostasis, they also reveal a species-specific feature
    of IRE1 in multicellular eukaryotes. Furthermore, by establishing that UPR activation
    is reduced in mutants of ER-localized auxin transporters, including PIN5, we define
    a long-neglected biological significance of ER-based auxin regulation. We further
    examine the functional relationship of IRE1 and PIN5 by showing that an ire1 pin5
    triple mutant enhances defects of UPR activation and auxin homeostasis in ire1
    or pin5. Our results imply that the plant UPR has evolved a hormone-dependent
    strategy for coordinating ER function with physiological processes.
article_processing_charge: No
author:
- first_name: Yani
  full_name: Chen, Yani
  last_name: Chen
- first_name: Kyaw
  full_name: Aung, Kyaw
  last_name: Aung
- first_name: Jakub
  full_name: Rolčík, Jakub
  last_name: Rolčík
- first_name: Kathryn
  full_name: Walicki, Kathryn
  last_name: Walicki
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Federica
  full_name: Brandizzí, Federica
  last_name: Brandizzí
citation:
  ama: Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. Inter-regulation
    of the unfolded protein response and auxin signaling. <i>Plant Journal</i>. 2014;77(1):97-107.
    doi:<a href="https://doi.org/10.1111/tpj.12373">10.1111/tpj.12373</a>
  apa: Chen, Y., Aung, K., Rolčík, J., Walicki, K., Friml, J., &#38; Brandizzí, F.
    (2014). Inter-regulation of the unfolded protein response and auxin signaling.
    <i>Plant Journal</i>. Wiley-Blackwell. <a href="https://doi.org/10.1111/tpj.12373">https://doi.org/10.1111/tpj.12373</a>
  chicago: Chen, Yani, Kyaw Aung, Jakub Rolčík, Kathryn Walicki, Jiří Friml, and Federica
    Brandizzí. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.”
    <i>Plant Journal</i>. Wiley-Blackwell, 2014. <a href="https://doi.org/10.1111/tpj.12373">https://doi.org/10.1111/tpj.12373</a>.
  ieee: Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, and F. Brandizzí, “Inter-regulation
    of the unfolded protein response and auxin signaling,” <i>Plant Journal</i>, vol.
    77, no. 1. Wiley-Blackwell, pp. 97–107, 2014.
  ista: Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. 2014. Inter-regulation
    of the unfolded protein response and auxin signaling. Plant Journal. 77(1), 97–107.
  mla: Chen, Yani, et al. “Inter-Regulation of the Unfolded Protein Response and Auxin
    Signaling.” <i>Plant Journal</i>, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 97–107,
    doi:<a href="https://doi.org/10.1111/tpj.12373">10.1111/tpj.12373</a>.
  short: Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal
    77 (2014) 97–107.
date_created: 2018-12-11T11:56:34Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-04-16T10:08:30Z
day: '01'
department:
- _id: JiFr
doi: 10.1111/tpj.12373
external_id:
  isi:
  - '000328661300008'
intvolume: '        77'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3981873/
month: '01'
oa: 1
oa_version: Submitted Version
page: 97 - 107
publication: Plant Journal
publication_identifier:
  issn:
  - 0960-7412
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4699'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inter-regulation of the unfolded protein response and auxin signaling
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 77
year: '2014'
...
---
_id: '2246'
abstract:
- lang: eng
  text: 'Muller games are played by two players moving a token along a graph; the
    winner is determined by the set of vertices that occur infinitely often. The central
    algorithmic problem is to compute the winning regions for the players. Different
    classes and representations of Muller games lead to problems of varying computational
    complexity. One such class are parity games; these are of particular significance
    in computational complexity, as they remain one of the few combinatorial problems
    known to be in NP ∩ co-NP but not known to be in P. We show that winning regions
    for a Muller game can be determined from the alternating structure of its traps.
    To every Muller game we then associate a natural number that we call its trap
    depth; this parameter measures how complicated the trap structure is. We present
    algorithms for parity games that run in polynomial time for graphs of bounded
    trap depth, and in general run in time exponential in the trap depth. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Andrey
  full_name: Grinshpun, Andrey
  last_name: Grinshpun
- first_name: Pakawat
  full_name: Phalitnonkiat, Pakawat
  last_name: Phalitnonkiat
- first_name: Sasha
  full_name: Rubin, Sasha
  id: 2EC51194-F248-11E8-B48F-1D18A9856A87
  last_name: Rubin
- first_name: Andrei
  full_name: Tarfulea, Andrei
  last_name: Tarfulea
citation:
  ama: Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. Alternating traps in Muller
    and parity games. <i>Theoretical Computer Science</i>. 2014;521:73-91. doi:<a
    href="https://doi.org/10.1016/j.tcs.2013.11.032">10.1016/j.tcs.2013.11.032</a>
  apa: Grinshpun, A., Phalitnonkiat, P., Rubin, S., &#38; Tarfulea, A. (2014). Alternating
    traps in Muller and parity games. <i>Theoretical Computer Science</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.tcs.2013.11.032">https://doi.org/10.1016/j.tcs.2013.11.032</a>
  chicago: Grinshpun, Andrey, Pakawat Phalitnonkiat, Sasha Rubin, and Andrei Tarfulea.
    “Alternating Traps in Muller and Parity Games.” <i>Theoretical Computer Science</i>.
    Elsevier, 2014. <a href="https://doi.org/10.1016/j.tcs.2013.11.032">https://doi.org/10.1016/j.tcs.2013.11.032</a>.
  ieee: A. Grinshpun, P. Phalitnonkiat, S. Rubin, and A. Tarfulea, “Alternating traps
    in Muller and parity games,” <i>Theoretical Computer Science</i>, vol. 521. Elsevier,
    pp. 73–91, 2014.
  ista: Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps
    in Muller and parity games. Theoretical Computer Science. 521, 73–91.
  mla: Grinshpun, Andrey, et al. “Alternating Traps in Muller and Parity Games.” <i>Theoretical
    Computer Science</i>, vol. 521, Elsevier, 2014, pp. 73–91, doi:<a href="https://doi.org/10.1016/j.tcs.2013.11.032">10.1016/j.tcs.2013.11.032</a>.
  short: A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer
    Science 521 (2014) 73–91.
corr_author: '1'
date_created: 2018-12-11T11:56:33Z
date_published: 2014-02-13T00:00:00Z
date_updated: 2026-04-16T10:08:15Z
day: '13'
department:
- _id: KrCh
doi: 10.1016/j.tcs.2013.11.032
external_id:
  arxiv:
  - '1303.3777'
  isi:
  - '000331433100007'
intvolume: '       521'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1303.3777
month: '02'
oa: 1
oa_version: Submitted Version
page: 73 - 91
publication: Theoretical Computer Science
publication_identifier:
  issn:
  - 0304-3975
publication_status: published
publisher: Elsevier
publist_id: '4703'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Alternating traps in Muller and parity games
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 521
year: '2014'
...
---
_id: '2241'
abstract:
- lang: eng
  text: 'The brain demands high-energy supply and obstruction of blood flow causes
    rapid deterioration of the healthiness of brain cells. Two major events occur
    upon ischemia: acidosis and liberation of excess glutamate, which leads to excitotoxicity.
    However, cellular source of glutamate and its release mechanism upon ischemia
    remained unknown. Here we show a causal relationship between glial acidosis and
    neuronal excitotoxicity. As the major cation that flows through channelrhodopsin-2
    (ChR2) is proton, this could be regarded as an optogenetic tool for instant intracellular
    acidification. Optical activation of ChR2 expressed in glial cells led to glial
    acidification and to release of glutamate. On the other hand, glial alkalization
    via optogenetic activation of a proton pump, archaerhodopsin (ArchT), led to cessation
    of glutamate release and to the relief of ischemic brain damage in vivo. Our results
    suggest that controlling glial pH may be an effective therapeutic strategy for
    intervention of ischemic brain damage.'
article_processing_charge: No
author:
- first_name: Kaoru
  full_name: Beppu, Kaoru
  last_name: Beppu
- first_name: Takuya
  full_name: Sasaki, Takuya
  last_name: Sasaki
- first_name: Kenji
  full_name: Tanaka, Kenji
  last_name: Tanaka
- first_name: Akihiro
  full_name: Yamanaka, Akihiro
  last_name: Yamanaka
- first_name: Yugo
  full_name: Fukazawa, Yugo
  last_name: Fukazawa
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Ko
  full_name: Matsui, Ko
  last_name: Matsui
citation:
  ama: Beppu K, Sasaki T, Tanaka K, et al. Optogenetic countering of glial acidosis
    suppresses glial glutamate release and ischemic brain damage. <i>Neuron</i>. 2014;81(2):314-320.
    doi:<a href="https://doi.org/10.1016/j.neuron.2013.11.011">10.1016/j.neuron.2013.11.011</a>
  apa: Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R.,
    &#38; Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial
    glutamate release and ischemic brain damage. <i>Neuron</i>. Elsevier. <a href="https://doi.org/10.1016/j.neuron.2013.11.011">https://doi.org/10.1016/j.neuron.2013.11.011</a>
  chicago: Beppu, Kaoru, Takuya Sasaki, Kenji Tanaka, Akihiro Yamanaka, Yugo Fukazawa,
    Ryuichi Shigemoto, and Ko Matsui. “Optogenetic Countering of Glial Acidosis Suppresses
    Glial Glutamate Release and Ischemic Brain Damage.” <i>Neuron</i>. Elsevier, 2014.
    <a href="https://doi.org/10.1016/j.neuron.2013.11.011">https://doi.org/10.1016/j.neuron.2013.11.011</a>.
  ieee: K. Beppu <i>et al.</i>, “Optogenetic countering of glial acidosis suppresses
    glial glutamate release and ischemic brain damage,” <i>Neuron</i>, vol. 81, no.
    2. Elsevier, pp. 314–320, 2014.
  ista: Beppu K, Sasaki T, Tanaka K, Yamanaka A, Fukazawa Y, Shigemoto R, Matsui K.
    2014. Optogenetic countering of glial acidosis suppresses glial glutamate release
    and ischemic brain damage. Neuron. 81(2), 314–320.
  mla: Beppu, Kaoru, et al. “Optogenetic Countering of Glial Acidosis Suppresses Glial
    Glutamate Release and Ischemic Brain Damage.” <i>Neuron</i>, vol. 81, no. 2, Elsevier,
    2014, pp. 314–20, doi:<a href="https://doi.org/10.1016/j.neuron.2013.11.011">10.1016/j.neuron.2013.11.011</a>.
  short: K. Beppu, T. Sasaki, K. Tanaka, A. Yamanaka, Y. Fukazawa, R. Shigemoto, K.
    Matsui, Neuron 81 (2014) 314–320.
date_created: 2018-12-11T11:56:31Z
date_published: 2014-01-22T00:00:00Z
date_updated: 2026-04-16T10:07:56Z
day: '22'
department:
- _id: RySh
doi: 10.1016/j.neuron.2013.11.011
external_id:
  isi:
  - '000330420700010'
intvolume: '        81'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 314 - 320
publication: Neuron
publication_identifier:
  issn:
  - 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '4715'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optogenetic countering of glial acidosis suppresses glial glutamate release
  and ischemic brain damage
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 81
year: '2014'
...
---
_id: '2255'
abstract:
- lang: eng
  text: Motivated by applications in biology, we present an algorithm for estimating
    the length of tube-like shapes in 3-dimensional Euclidean space. In a first step,
    we combine the tube formula of Weyl with integral geometric methods to obtain
    an integral representation of the length, which we approximate using a variant
    of the Koksma-Hlawka Theorem. In a second step, we use tools from computational
    topology to decrease the dependence on small perturbations of the shape. We present
    computational experiments that shed light on the stability and the convergence
    rate of our algorithm.
article_processing_charge: No
author:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Florian
  full_name: Pausinger, Florian
  id: 2A77D7A2-F248-11E8-B48F-1D18A9856A87
  last_name: Pausinger
  orcid: 0000-0002-8379-3768
citation:
  ama: Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. <i>Journal
    of Mathematical Imaging and Vision</i>. 2014;50(1):164-177. doi:<a href="https://doi.org/10.1007/s10851-013-0468-x">10.1007/s10851-013-0468-x</a>
  apa: Edelsbrunner, H., &#38; Pausinger, F. (2014). Stable length estimates of tube-like
    shapes. <i>Journal of Mathematical Imaging and Vision</i>. Springer. <a href="https://doi.org/10.1007/s10851-013-0468-x">https://doi.org/10.1007/s10851-013-0468-x</a>
  chicago: Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates
    of Tube-like Shapes.” <i>Journal of Mathematical Imaging and Vision</i>. Springer,
    2014. <a href="https://doi.org/10.1007/s10851-013-0468-x">https://doi.org/10.1007/s10851-013-0468-x</a>.
  ieee: H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,”
    <i>Journal of Mathematical Imaging and Vision</i>, vol. 50, no. 1. Springer, pp.
    164–177, 2014.
  ista: Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes.
    Journal of Mathematical Imaging and Vision. 50(1), 164–177.
  mla: Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like
    Shapes.” <i>Journal of Mathematical Imaging and Vision</i>, vol. 50, no. 1, Springer,
    2014, pp. 164–77, doi:<a href="https://doi.org/10.1007/s10851-013-0468-x">10.1007/s10851-013-0468-x</a>.
  short: H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision
    50 (2014) 164–177.
corr_author: '1'
date_created: 2018-12-11T11:56:36Z
date_published: 2014-09-01T00:00:00Z
date_updated: 2026-04-16T10:09:04Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1007/s10851-013-0468-x
ec_funded: 1
external_id:
  isi:
  - '000339823000012'
file:
- access_level: open_access
  checksum: 2f93f3e63a38a85cd4404d7953913b14
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:18Z
  date_updated: 2020-07-14T12:45:35Z
  file_id: '5204'
  file_name: IST-2016-549-v1+1_2014-J-06-LengthEstimate.pdf
  file_size: 3941391
  relation: main_file
file_date_updated: 2020-07-14T12:45:35Z
has_accepted_license: '1'
intvolume: '        50'
isi: 1
issue: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 164 - 177
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '318493'
  name: Topological Complex Systems
publication: Journal of Mathematical Imaging and Vision
publication_identifier:
  issn:
  - 0924-9907
publication_status: published
publisher: Springer
publist_id: '4691'
pubrep_id: '549'
quality_controlled: '1'
related_material:
  record:
  - id: '2843'
    relation: earlier_version
    status: public
  - id: '1399'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Stable length estimates of tube-like shapes
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 50
year: '2014'
...
---
_id: '6178'
abstract:
- lang: eng
  text: Mechanically coupled cells can generate forces driving cell and tissue morphogenesis
    during development. Visualization and measuring of these forces is of major importance
    to better understand the complexity of the biomechanic processes that shape cells
    and tissues. Here, we describe how UV laser ablation can be utilized to quantitatively
    assess mechanical tension in different tissues of the developing zebrafish and
    in cultures of primary germ layer progenitor cells ex vivo.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Michael
  full_name: Smutny, Michael
  id: 3FE6E4E8-F248-11E8-B48F-1D18A9856A87
  last_name: Smutny
  orcid: 0000-0002-5920-9090
- first_name: Martin
  full_name: Behrndt, Martin
  id: 3ECECA3A-F248-11E8-B48F-1D18A9856A87
  last_name: Behrndt
- first_name: Pedro
  full_name: Campinho, Pedro
  id: 3AFBBC42-F248-11E8-B48F-1D18A9856A87
  last_name: Campinho
  orcid: 0000-0002-8526-5416
- first_name: Verena
  full_name: Ruprecht, Verena
  id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
  last_name: Ruprecht
  orcid: 0000-0003-4088-8633
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
citation:
  ama: 'Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. UV laser ablation
    to measure cell and tissue-generated forces in the zebrafish embryo in vivo and
    ex vivo. In: Nelson C, ed. <i>Tissue Morphogenesis</i>. Vol 1189. MIMB. New York:
    Springer; 2014:219-235. doi:<a href="https://doi.org/10.1007/978-1-4939-1164-6_15">10.1007/978-1-4939-1164-6_15</a>'
  apa: 'Smutny, M., Behrndt, M., Campinho, P., Ruprecht, V., &#38; Heisenberg, C.-P.
    J. (2014). UV laser ablation to measure cell and tissue-generated forces in the
    zebrafish embryo in vivo and ex vivo. In C. Nelson (Ed.), <i>Tissue Morphogenesis</i>
    (Vol. 1189, pp. 219–235). New York: Springer. <a href="https://doi.org/10.1007/978-1-4939-1164-6_15">https://doi.org/10.1007/978-1-4939-1164-6_15</a>'
  chicago: 'Smutny, Michael, Martin Behrndt, Pedro Campinho, Verena Ruprecht, and
    Carl-Philipp J Heisenberg. “UV Laser Ablation to Measure Cell and Tissue-Generated
    Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” In <i>Tissue Morphogenesis</i>,
    edited by Celeste Nelson, 1189:219–35. MIMB. New York: Springer, 2014. <a href="https://doi.org/10.1007/978-1-4939-1164-6_15">https://doi.org/10.1007/978-1-4939-1164-6_15</a>.'
  ieee: 'M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, and C.-P. J. Heisenberg,
    “UV laser ablation to measure cell and tissue-generated forces in the zebrafish
    embryo in vivo and ex vivo,” in <i>Tissue Morphogenesis</i>, vol. 1189, C. Nelson,
    Ed. New York: Springer, 2014, pp. 219–235.'
  ista: 'Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser
    ablation to measure cell and tissue-generated forces in the zebrafish embryo in
    vivo and ex vivo. In: Tissue Morphogenesis. Methods in Molecular Biology, vol.
    1189, 219–235.'
  mla: Smutny, Michael, et al. “UV Laser Ablation to Measure Cell and Tissue-Generated
    Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” <i>Tissue Morphogenesis</i>,
    edited by Celeste Nelson, vol. 1189, Springer, 2014, pp. 219–35, doi:<a href="https://doi.org/10.1007/978-1-4939-1164-6_15">10.1007/978-1-4939-1164-6_15</a>.
  short: M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:,
    C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, 2014, pp. 219–235.
corr_author: '1'
date_created: 2019-03-26T08:55:59Z
date_published: 2014-08-22T00:00:00Z
date_updated: 2026-04-16T10:31:19Z
day: '22'
department:
- _id: CaHe
doi: 10.1007/978-1-4939-1164-6_15
editor:
- first_name: Celeste
  full_name: Nelson, Celeste
  last_name: Nelson
external_id:
  pmid:
  - '25245697'
intvolume: '      1189'
language:
- iso: eng
month: '08'
oa_version: None
page: 219-235
place: New York
pmid: 1
publication: Tissue Morphogenesis
publication_identifier:
  eisbn:
  - '9781493911646'
  eissn:
  - 1940-6029
  isbn:
  - '9781493911639'
  issn:
  - 1064-3745
publication_status: published
publisher: Springer
quality_controlled: '1'
series_title: MIMB
status: public
title: UV laser ablation to measure cell and tissue-generated forces in the zebrafish
  embryo in vivo and ex vivo
type: book_chapter
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 1189
year: '2014'
...
---
OA_place: repository
OA_type: green
_id: '2165'
abstract:
- lang: eng
  text: 'In machine learning, the domain adaptation problem arrives when the test
    (tar-get) and the train (source) data are generated from different distributions.  A
    key applied issue is thus the design of algorithms able to generalize on a new
    distribution,  for which we have no label information.  We focus on learning classification
    models defined as a weighted majority vote over a set of real-valued functions.
    In this context, Germain et al. (2013) have shown that a measure of disagreement
    between these functions is crucial to control. The core of this measure is a theoretical
    bound—the C-bound (Lacasse et al., 2007)—which involves the disagreement and leads
    to a well performing majority vote learn-ing algorithm in usual non-adaptative
    supervised setting: MinCq. In this work,we propose a framework to extend MinCq
    to a domain adaptation scenario.This procedure takes advantage of the recent perturbed
    variation divergence between distributions proposed by Harel and Mannor (2012).  Justified
    by a theoretical bound on the target risk of the vote,  we provide to MinCq a
    tar-get sample labeled thanks to a perturbed variation-based self-labeling focused
    on the regions where the source and target marginals appear similar.  We also
    study the influence of our self-labeling, from which we deduce an original process
    for tuning the hyperparameters. Finally, our framework called PV-MinCq shows very
    promising results on a rotation and translation synthetic problem.'
acknowledgement: The work of this paper was carried out while E. Morvant was affiliated
  with Institute of Science and Technology (IST) Austria, Am Campus 1, Klosterneuburg
  3400, Austria.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Emilie
  full_name: Morvant, Emilie
  id: 4BAC2A72-F248-11E8-B48F-1D18A9856A87
  last_name: Morvant
  orcid: 0000-0002-8301-7240
citation:
  ama: Morvant E. Domain adaptation of weighted majority votes via perturbed variation-based
    self-labeling. <i>Pattern Recognition Letters</i>. 2014;51:37-43. doi:<a href="https://doi.org/10.1016/j.patrec.2014.08.013">10.1016/j.patrec.2014.08.013</a>
  apa: Morvant, E. (2014). Domain adaptation of weighted majority votes via perturbed
    variation-based self-labeling. <i>Pattern Recognition Letters</i>. Elsevier. <a
    href="https://doi.org/10.1016/j.patrec.2014.08.013">https://doi.org/10.1016/j.patrec.2014.08.013</a>
  chicago: Morvant, Emilie. “Domain Adaptation of Weighted Majority Votes via Perturbed
    Variation-Based Self-Labeling.” <i>Pattern Recognition Letters</i>. Elsevier,
    2014. <a href="https://doi.org/10.1016/j.patrec.2014.08.013">https://doi.org/10.1016/j.patrec.2014.08.013</a>.
  ieee: E. Morvant, “Domain adaptation of weighted majority votes via perturbed variation-based
    self-labeling,” <i>Pattern Recognition Letters</i>, vol. 51. Elsevier, pp. 37–43,
    2014.
  ista: Morvant E. 2014. Domain adaptation of weighted majority votes via perturbed
    variation-based self-labeling. Pattern Recognition Letters. 51, 37–43.
  mla: Morvant, Emilie. “Domain Adaptation of Weighted Majority Votes via Perturbed
    Variation-Based Self-Labeling.” <i>Pattern Recognition Letters</i>, vol. 51, Elsevier,
    2014, pp. 37–43, doi:<a href="https://doi.org/10.1016/j.patrec.2014.08.013">10.1016/j.patrec.2014.08.013</a>.
  short: E. Morvant, Pattern Recognition Letters 51 (2014) 37–43.
date_created: 2018-12-11T11:56:05Z
date_published: 2014-10-01T00:00:00Z
date_updated: 2026-04-29T06:03:23Z
day: '01'
doi: 10.1016/j.patrec.2014.08.013
ec_funded: 1
extern: '1'
external_id:
  arxiv:
  - '1410.0334'
  isi:
  - '000345687500006'
intvolume: '        51'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1410.0334
month: '10'
oa: 1
oa_version: Preprint
page: 37-43
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '308036'
  name: Lifelong Learning of Visual Scene Understanding
publication: Pattern Recognition Letters
publication_status: published
publisher: Elsevier
publist_id: '4819'
quality_controlled: '1'
status: public
title: Domain adaptation of weighted majority votes via perturbed variation-based
  self-labeling
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2014'
...
---
_id: '5428'
abstract:
- lang: eng
  text: "Simulation is an attractive alternative for language inclusion for automata
    as it is an under-approximation of language inclusion, but usually has much lower
    complexity. For non-deterministic automata, while language inclusion is PSPACE-complete,
    simulation can be computed in polynomial time. Simulation has also been extended
    in two orthogonal directions, namely, (1) fair simulation, for simulation over
    specified set of infinite runs; and (2) quantitative simulation, for simulation
    between weighted automata. Again, while fair trace inclusion is PSPACE-complete,
    fair simulation can be computed in polynomial time. For weighted automata, the
    (quantitative) language inclusion problem is undecidable for mean-payoff automata
    and the decidability is open for discounted-sum automata, whereas the (quantitative)
    simulation reduce to mean-payoff games and discounted-sum games, which admit pseudo-polynomial
    time algorithms.\r\n\r\nIn this work, we study (quantitative) simulation for weighted
    automata with Büchi acceptance conditions, i.e., we generalize fair simulation
    from non-weighted automata to weighted automata. We show that imposing Büchi acceptance
    conditions on weighted automata changes many fundamental properties of the simulation
    games. For example, whereas for mean-payoff and discounted-sum games, the players
    do not need memory to play optimally; we show in contrast that for simulation
    games with Büchi acceptance conditions, (i) for mean-payoff objectives, optimal
    strategies for both players require infinite memory in general, and (ii) for discounted-sum
    objectives, optimal strategies need not exist for both players. While the simulation
    games with Büchi acceptance conditions are more complicated (e.g., due to infinite-memory
    requirements for mean-payoff objectives) as compared to their counterpart without
    Büchi acceptance conditions, we still present pseudo-polynomial time algorithms
    to solve simulation games with Büchi acceptance conditions for both weighted mean-payoff
    and weighted discounted-sum automata."
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: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Jan
  full_name: Otop, Jan
  id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
  last_name: Otop
- first_name: Yaron
  full_name: Velner, Yaron
  last_name: Velner
citation:
  ama: Chatterjee K, Henzinger TA, Otop J, Velner Y. <i>Quantitative Fair Simulation
    Games</i>. IST Austria; 2014. doi:<a href="https://doi.org/10.15479/AT:IST-2014-315-v1-1">10.15479/AT:IST-2014-315-v1-1</a>
  apa: Chatterjee, K., Henzinger, T. A., Otop, J., &#38; Velner, Y. (2014). <i>Quantitative
    fair simulation games</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2014-315-v1-1">https://doi.org/10.15479/AT:IST-2014-315-v1-1</a>
  chicago: Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner.
    <i>Quantitative Fair Simulation Games</i>. IST Austria, 2014. <a href="https://doi.org/10.15479/AT:IST-2014-315-v1-1">https://doi.org/10.15479/AT:IST-2014-315-v1-1</a>.
  ieee: K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, <i>Quantitative fair
    simulation games</i>. IST Austria, 2014.
  ista: Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation
    games, IST Austria, 26p.
  mla: Chatterjee, Krishnendu, et al. <i>Quantitative Fair Simulation Games</i>. IST
    Austria, 2014, doi:<a href="https://doi.org/10.15479/AT:IST-2014-315-v1-1">10.15479/AT:IST-2014-315-v1-1</a>.
  short: K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation
    Games, IST Austria, 2014.
date_created: 2018-12-12T11:39:16Z
date_published: 2014-12-05T00:00:00Z
date_updated: 2026-06-18T08:47:00Z
day: '05'
ddc:
- '004'
department:
- _id: ToHe
- _id: KrCh
doi: 10.15479/AT:IST-2014-315-v1-1
file:
- access_level: open_access
  checksum: b1d573bc04365625ff9974880c0aa807
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:53:59Z
  date_updated: 2020-07-14T12:46:52Z
  file_id: '5521'
  file_name: IST-2014-315-v1+1_report.pdf
  file_size: 531046
  relation: main_file
file_date_updated: 2020-07-14T12:46:52Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '26'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '315'
related_material:
  record:
  - id: '1066'
    relation: later_version
    status: public
status: public
title: Quantitative fair simulation games
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '1393'
abstract:
- lang: eng
  text: 'Probabilistic programs are usual functional or imperative programs with two
    added constructs: (1) the ability to draw values at random from distributions,
    and (2) the ability to condition values of variables in a program via observations.
    Models from diverse application areas such as computer vision, coding theory,
    cryptographic protocols, biology and reliability analysis can be written as probabilistic
    programs. Probabilistic inference is the problem of computing an explicit representation
    of the probability distribution implicitly specified by a probabilistic program.
    Depending on the application, the desired output from inference may vary-we may
    want to estimate the expected value of some function f with respect to the distribution,
    or the mode of the distribution, or simply a set of samples drawn from the distribution.
    In this paper, we describe connections this research area called \Probabilistic
    Programming&quot; has with programming languages and software engineering, and
    this includes language design, and the static and dynamic analysis of programs.
    We survey current state of the art and speculate on promising directions for future
    research.'
article_processing_charge: No
author:
- first_name: Andrew
  full_name: Gordon, Andrew
  last_name: Gordon
- 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: Aditya
  full_name: Nori, Aditya
  last_name: Nori
- first_name: Sriram
  full_name: Rajamani, Sriram
  last_name: Rajamani
citation:
  ama: 'Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In:
    <i>Proceedings of the on Future of Software Engineering</i>. ACM; 2014:167-181.
    doi:<a href="https://doi.org/10.1145/2593882.2593900">10.1145/2593882.2593900</a>'
  apa: 'Gordon, A., Henzinger, T. A., Nori, A., &#38; Rajamani, S. (2014). Probabilistic
    programming. In <i>Proceedings of the on Future of Software Engineering</i> (pp.
    167–181). Hyderabad, India: ACM. <a href="https://doi.org/10.1145/2593882.2593900">https://doi.org/10.1145/2593882.2593900</a>'
  chicago: Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic
    Programming.” In <i>Proceedings of the on Future of Software Engineering</i>,
    167–81. ACM, 2014. <a href="https://doi.org/10.1145/2593882.2593900">https://doi.org/10.1145/2593882.2593900</a>.
  ieee: A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,”
    in <i>Proceedings of the on Future of Software Engineering</i>, Hyderabad, India,
    2014, pp. 167–181.
  ista: 'Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming.
    Proceedings of the on Future of Software Engineering. FOSE: Future of Software
    Engineering, 167–181.'
  mla: Gordon, Andrew, et al. “Probabilistic Programming.” <i>Proceedings of the on
    Future of Software Engineering</i>, ACM, 2014, pp. 167–81, doi:<a href="https://doi.org/10.1145/2593882.2593900">10.1145/2593882.2593900</a>.
  short: A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the
    on Future of Software Engineering, ACM, 2014, pp. 167–181.
conference:
  end_date: 2014-06-07
  location: Hyderabad, India
  name: 'FOSE: Future of Software Engineering'
  start_date: 2014-05-31
date_created: 2018-12-11T11:51:45Z
date_published: 2014-05-31T00:00:00Z
date_updated: 2026-06-18T17:31:28Z
day: '31'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/2593882.2593900
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/2593882.2593900
month: '05'
oa: 1
oa_version: Published Version
page: 167 - 181
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Proceedings of the on Future of Software Engineering
publication_status: published
publisher: ACM
publist_id: '5816'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Probabilistic programming
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '10894'
abstract:
- lang: eng
  text: PHAT is a C++ library for the computation of persistent homology by matrix
    reduction. We aim for a simple generic design that decouples algorithms from data
    structures without sacrificing efficiency or user-friendliness. This makes PHAT
    a versatile platform for experimenting with algorithmic ideas and comparing them
    to state of the art implementations.
article_processing_charge: No
author:
- first_name: Ulrich
  full_name: Bauer, Ulrich
  id: 2ADD483A-F248-11E8-B48F-1D18A9856A87
  last_name: Bauer
  orcid: 0000-0002-9683-0724
- first_name: Michael
  full_name: Kerber, Michael
  last_name: Kerber
- first_name: Jan
  full_name: Reininghaus, Jan
  id: 4505473A-F248-11E8-B48F-1D18A9856A87
  last_name: Reininghaus
- first_name: Hubert
  full_name: Wagner, Hubert
  last_name: Wagner
citation:
  ama: 'Bauer U, Kerber M, Reininghaus J, Wagner H. PHAT – Persistent Homology Algorithms
    Toolbox. In: <i>ICMS 2014: International Congress on Mathematical Software</i>.
    Vol 8592. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2014:137-143.
    doi:<a href="https://doi.org/10.1007/978-3-662-44199-2_24">10.1007/978-3-662-44199-2_24</a>'
  apa: 'Bauer, U., Kerber, M., Reininghaus, J., &#38; Wagner, H. (2014). PHAT – Persistent
    Homology Algorithms Toolbox. In <i>ICMS 2014: International Congress on Mathematical
    Software</i> (Vol. 8592, pp. 137–143). Berlin, Heidelberg: Springer Berlin Heidelberg.
    <a href="https://doi.org/10.1007/978-3-662-44199-2_24">https://doi.org/10.1007/978-3-662-44199-2_24</a>'
  chicago: 'Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “PHAT
    – Persistent Homology Algorithms Toolbox.” In <i>ICMS 2014: International Congress
    on Mathematical Software</i>, 8592:137–43. LNCS. Berlin, Heidelberg: Springer
    Berlin Heidelberg, 2014. <a href="https://doi.org/10.1007/978-3-662-44199-2_24">https://doi.org/10.1007/978-3-662-44199-2_24</a>.'
  ieee: 'U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “PHAT – Persistent Homology
    Algorithms Toolbox,” in <i>ICMS 2014: International Congress on Mathematical Software</i>,
    Seoul, South Korea, 2014, vol. 8592, pp. 137–143.'
  ista: 'Bauer U, Kerber M, Reininghaus J, Wagner H. 2014. PHAT – Persistent Homology
    Algorithms Toolbox. ICMS 2014: International Congress on Mathematical Software.
    ICMS: International Congress on Mathematical SoftwareLNCS vol. 8592, 137–143.'
  mla: 'Bauer, Ulrich, et al. “PHAT – Persistent Homology Algorithms Toolbox.” <i>ICMS
    2014: International Congress on Mathematical Software</i>, vol. 8592, Springer
    Berlin Heidelberg, 2014, pp. 137–43, doi:<a href="https://doi.org/10.1007/978-3-662-44199-2_24">10.1007/978-3-662-44199-2_24</a>.'
  short: 'U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International
    Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg,
    2014, pp. 137–143.'
conference:
  end_date: 2014-08-09
  location: Seoul, South Korea
  name: 'ICMS: International Congress on Mathematical Software'
  start_date: 2014-08-05
date_created: 2022-03-21T07:12:16Z
date_published: 2014-09-01T00:00:00Z
date_updated: 2026-06-18T17:35:15Z
day: '01'
department:
- _id: HeEd
doi: 10.1007/978-3-662-44199-2_24
intvolume: '      8592'
language:
- iso: eng
month: '09'
oa_version: None
page: 137-143
place: Berlin, Heidelberg
publication: 'ICMS 2014: International Congress on Mathematical Software'
publication_identifier:
  eisbn:
  - '9783662441992'
  eissn:
  - 1611-3349
  isbn:
  - '9783662441985'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Berlin Heidelberg
quality_controlled: '1'
related_material:
  record:
  - id: '1433'
    relation: later_version
    status: public
scopus_import: '1'
series_title: LNCS
status: public
title: PHAT – Persistent Homology Algorithms Toolbox
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8592
year: '2014'
...
---
OA_place: publisher
OA_type: free access
_id: '1902'
abstract:
- lang: eng
  text: In the 1960s-1980s, determination of bacterial growth rates was an important
    tool in microbial genetics, biochemistry, molecular biology, and microbial physiology.
    The exciting technical developments of the 1990s and the 2000s eclipsed that tool;
    as a result, many investigators today lack experience with growth rate measurements.
    Recently, investigators in a number of areas have started to use measurements
    of bacterial growth rates for a variety of purposes. Those measurements have been
    greatly facilitated by the availability of microwell plate readers that permit
    the simultaneous measurements on up to 384 different cultures. Only the exponential
    (logarithmic) portions of the resulting growth curves are useful for determining
    growth rates, and manual determination of that portion and calculation of growth
    rates can be tedious for high-throughput purposes. Here, we introduce the program
    GrowthRates that uses plate reader output files to automatically determine the
    exponential portion of the curve and to automatically calculate the growth rate,
    the maximum culture density, and the duration of the growth lag phase. GrowthRates
    is freely available for Macintosh, Windows, and Linux.We discuss the effects of
    culture volume, the classical bacterial growth curve, and the differences between
    determinations in rich media and minimal (mineral salts) media. This protocol
    covers calibration of the plate reader, growth of culture inocula for both rich
    and minimal media, and experimental setup. As a guide to reliability, we report
    typical day-to-day variation in growth rates and variation within experiments
    with respect to position of wells within the plates.
article_processing_charge: No
article_type: original
author:
- first_name: Barry
  full_name: Hall, Barry
  last_name: Hall
- first_name: Hande
  full_name: Acar, Hande
  id: 2DDF136A-F248-11E8-B48F-1D18A9856A87
  last_name: Acar
  orcid: 0000-0003-1986-9753
- first_name: Anna
  full_name: Nandipati, Anna
  last_name: Nandipati
- first_name: Miriam
  full_name: Barlow, Miriam
  last_name: Barlow
citation:
  ama: Hall B, Acar H, Nandipati A, Barlow M. Growth rates made easy. <i>Molecular
    Biology and Evolution</i>. 2014;31(1):232-238. doi:<a href="https://doi.org/10.1093/molbev/mst187">10.1093/molbev/mst187</a>
  apa: Hall, B., Acar, H., Nandipati, A., &#38; Barlow, M. (2014). Growth rates made
    easy. <i>Molecular Biology and Evolution</i>. Oxford University Press. <a href="https://doi.org/10.1093/molbev/mst187">https://doi.org/10.1093/molbev/mst187</a>
  chicago: Hall, Barry, Hande Acar, Anna Nandipati, and Miriam Barlow. “Growth Rates
    Made Easy.” <i>Molecular Biology and Evolution</i>. Oxford University Press, 2014.
    <a href="https://doi.org/10.1093/molbev/mst187">https://doi.org/10.1093/molbev/mst187</a>.
  ieee: B. Hall, H. Acar, A. Nandipati, and M. Barlow, “Growth rates made easy,” <i>Molecular
    Biology and Evolution</i>, vol. 31, no. 1. Oxford University Press, pp. 232–238,
    2014.
  ista: Hall B, Acar H, Nandipati A, Barlow M. 2014. Growth rates made easy. Molecular
    Biology and Evolution. 31(1), 232–238.
  mla: Hall, Barry, et al. “Growth Rates Made Easy.” <i>Molecular Biology and Evolution</i>,
    vol. 31, no. 1, Oxford University Press, 2014, pp. 232–38, doi:<a href="https://doi.org/10.1093/molbev/mst187">10.1093/molbev/mst187</a>.
  short: B. Hall, H. Acar, A. Nandipati, M. Barlow, Molecular Biology and Evolution
    31 (2014) 232–238.
date_created: 2018-12-11T11:54:37Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-06-18T18:03:30Z
day: '01'
ddc:
- '570'
department:
- _id: JoBo
doi: 10.1093/molbev/mst187
external_id:
  isi:
  - '000329253200022'
  pmid:
  - '24170494'
intvolume: '        31'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/molbev/mst187
month: '01'
oa: 1
oa_version: Published Version
page: 232 - 238
pmid: 1
publication: Molecular Biology and Evolution
publication_identifier:
  eissn:
  - 1537-1719
  issn:
  - 0737-4038
publication_status: published
publisher: Oxford University Press
publist_id: '5193'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Growth rates made easy
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 31
year: '2014'
...
---
_id: '1913'
abstract:
- lang: eng
  text: 'Deposits of phosphorylated tau protein and convergence of pathology in the
    hippocampus are the hallmarks of neurodegenerative tauopathies. Thus we aimed
    to evaluate whether regional and cellular vulnerability patterns in the hippocampus
    distinguish tauopathies or are influenced by their concomitant presence. Methods:
    We created a heat map of phospho-tau (AT8) immunoreactivity patterns in 24 hippocampal
    subregions/layers in individuals with Alzheimer''s disease (AD)-related neurofibrillary
    degeneration (n = 40), Pick''s disease (n = 8), progressive supranuclear palsy
    (n = 7), corticobasal degeneration (n = 6), argyrophilic grain disease (AGD, n
    = 18), globular glial tauopathy (n = 5), and tau-astrogliopathy of the elderly
    (n = 10). AT8 immunoreactivity patterns were compared by mathematical analysis.
    Results: Our study reveals disease-specific hot spots and regional selective vulnerability
    for these disorders. The pattern of hippocampal AD-related tau pathology is strongly
    influenced by concomitant AGD. Mathematical analysis reveals that hippocampal
    involvement in primary tauopathies is distinguishable from early-stage AD-related
    neurofibrillary degeneration. Conclusion: Our data demonstrate disease-specific
    AT8 immunoreactivity patterns and hot spots in the hippocampus even in tauopathies,
    which primarily do not affect the hippocampus. These hot spots can be shifted
    to other regions by the co-occurrence of tauopathies like AGD. Our observations
    support the notion that globular glial tauopathies and tau-astrogliopathy of the
    elderly are distinct entities.'
acknowledgement: This study was supported by the European Commission’s 7th Framework
  Programme under GA No. 278486, ‘DEVELAGE’.
article_processing_charge: No
article_type: original
author:
- first_name: Ivan
  full_name: Milenković, Ivan
  last_name: Milenković
- first_name: Tatjana
  full_name: Petrov, Tatjana
  id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
  last_name: Petrov
  orcid: 0000-0002-9041-0905
- first_name: Gábor
  full_name: Kovács, Gábor
  last_name: Kovács
citation:
  ama: Milenković I, Petrov T, Kovács G. Patterns of hippocampal tau pathology differentiate
    neurodegenerative dementias. <i>Dementia and Geriatric Cognitive Disorders</i>.
    2014;38(5-6):375-388. doi:<a href="https://doi.org/10.1159/000365548">10.1159/000365548</a>
  apa: Milenković, I., Petrov, T., &#38; Kovács, G. (2014). Patterns of hippocampal
    tau pathology differentiate neurodegenerative dementias. <i>Dementia and Geriatric
    Cognitive Disorders</i>. Karger Publishers. <a href="https://doi.org/10.1159/000365548">https://doi.org/10.1159/000365548</a>
  chicago: Milenković, Ivan, Tatjana Petrov, and Gábor Kovács. “Patterns of Hippocampal
    Tau Pathology Differentiate Neurodegenerative Dementias.” <i>Dementia and Geriatric
    Cognitive Disorders</i>. Karger Publishers, 2014. <a href="https://doi.org/10.1159/000365548">https://doi.org/10.1159/000365548</a>.
  ieee: I. Milenković, T. Petrov, and G. Kovács, “Patterns of hippocampal tau pathology
    differentiate neurodegenerative dementias,” <i>Dementia and Geriatric Cognitive
    Disorders</i>, vol. 38, no. 5–6. Karger Publishers, pp. 375–388, 2014.
  ista: Milenković I, Petrov T, Kovács G. 2014. Patterns of hippocampal tau pathology
    differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders.
    38(5–6), 375–388.
  mla: Milenković, Ivan, et al. “Patterns of Hippocampal Tau Pathology Differentiate
    Neurodegenerative Dementias.” <i>Dementia and Geriatric Cognitive Disorders</i>,
    vol. 38, no. 5–6, Karger Publishers, 2014, pp. 375–88, doi:<a href="https://doi.org/10.1159/000365548">10.1159/000365548</a>.
  short: I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders
    38 (2014) 375–388.
date_created: 2018-12-11T11:54:41Z
date_published: 2014-11-07T00:00:00Z
date_updated: 2026-06-18T18:13:04Z
day: '07'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1159/000365548
external_id:
  isi:
  - '000344049900011'
  pmid:
  - '25195847'
intvolume: '        38'
isi: 1
issue: 5-6
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://kops.uni-konstanz.de/bitstream/123456789/42127/1/Milenkovic_2-17ivylo2up0798.pdf
month: '11'
oa: 1
oa_version: Published Version
page: 375 - 388
pmid: 1
publication: Dementia and Geriatric Cognitive Disorders
publication_identifier:
  issn:
  - 1420-8008
publication_status: published
publisher: Karger Publishers
publist_id: '5181'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 38
year: '2014'
...
---
_id: '1912'
abstract:
- lang: eng
  text: Kupffer's vesicle (KV) is the zebrafish organ of laterality, patterning the
    embryo along its left-right (LR) axis. Regional differences in cell shape within
    the lumen-lining KV epithelium are essential for its LR patterning function. However,
    the processes by which KV cells acquire their characteristic shapes are largely
    unknown. Here, we show that the notochord induces regional differences in cell
    shape within KV by triggering extracellular matrix (ECM) accumulation adjacent
    to anterior-dorsal (AD) regions of KV. This localized ECM deposition restricts
    apical expansion of lumen-lining epithelial cells in AD regions of KV during lumen
    growth. Our study provides mechanistic insight into the processes by which KV
    translates global embryonic patterning into regional cell shape differences required
    for its LR symmetry-breaking function.
acknowledgement: We are grateful to members of the C.-P.H. lab, M. Concha, D. Siekhaus,
  and J. Vermot for comments on the manuscript and to M. Furutani-Seiki for sharing
  reagents. This work was supported by the Institute of Science and Technology Austria
  and an Alexander von Humboldt Foundation fellowship to J.C.
article_processing_charge: No
author:
- first_name: Julien
  full_name: Compagnon, Julien
  id: 2E3E0988-F248-11E8-B48F-1D18A9856A87
  last_name: Compagnon
- first_name: Vanessa
  full_name: Barone, Vanessa
  id: 419EECCC-F248-11E8-B48F-1D18A9856A87
  last_name: Barone
  orcid: 0000-0003-2676-3367
- first_name: Srivarsha
  full_name: Rajshekar, Srivarsha
  last_name: Rajshekar
- first_name: Rita
  full_name: Kottmeier, Rita
  last_name: Kottmeier
- first_name: Kornelija
  full_name: Pranjic-Ferscha, Kornelija
  id: 4362B3C2-F248-11E8-B48F-1D18A9856A87
  last_name: Pranjic-Ferscha
- first_name: Martin
  full_name: Behrndt, Martin
  id: 3ECECA3A-F248-11E8-B48F-1D18A9856A87
  last_name: Behrndt
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
citation:
  ama: Compagnon J, Barone V, Rajshekar S, et al. The notochord breaks bilateral symmetry
    by controlling cell shapes in the Zebrafish laterality organ. <i>Developmental
    Cell</i>. 2014;31(6):774-783. doi:<a href="https://doi.org/10.1016/j.devcel.2014.11.003">10.1016/j.devcel.2014.11.003</a>
  apa: Compagnon, J., Barone, V., Rajshekar, S., Kottmeier, R., Pranjic-Ferscha, K.,
    Behrndt, M., &#38; Heisenberg, C.-P. J. (2014). The notochord breaks bilateral
    symmetry by controlling cell shapes in the Zebrafish laterality organ. <i>Developmental
    Cell</i>. Cell Press. <a href="https://doi.org/10.1016/j.devcel.2014.11.003">https://doi.org/10.1016/j.devcel.2014.11.003</a>
  chicago: Compagnon, Julien, Vanessa Barone, Srivarsha Rajshekar, Rita Kottmeier,
    Kornelija Pranjic-Ferscha, Martin Behrndt, and Carl-Philipp J Heisenberg. “The
    Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish
    Laterality Organ.” <i>Developmental Cell</i>. Cell Press, 2014. <a href="https://doi.org/10.1016/j.devcel.2014.11.003">https://doi.org/10.1016/j.devcel.2014.11.003</a>.
  ieee: J. Compagnon <i>et al.</i>, “The notochord breaks bilateral symmetry by controlling
    cell shapes in the Zebrafish laterality organ,” <i>Developmental Cell</i>, vol.
    31, no. 6. Cell Press, pp. 774–783, 2014.
  ista: Compagnon J, Barone V, Rajshekar S, Kottmeier R, Pranjic-Ferscha K, Behrndt
    M, Heisenberg C-PJ. 2014. The notochord breaks bilateral symmetry by controlling
    cell shapes in the Zebrafish laterality organ. Developmental Cell. 31(6), 774–783.
  mla: Compagnon, Julien, et al. “The Notochord Breaks Bilateral Symmetry by Controlling
    Cell Shapes in the Zebrafish Laterality Organ.” <i>Developmental Cell</i>, vol.
    31, no. 6, Cell Press, 2014, pp. 774–83, doi:<a href="https://doi.org/10.1016/j.devcel.2014.11.003">10.1016/j.devcel.2014.11.003</a>.
  short: J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha,
    M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
corr_author: '1'
date_created: 2018-12-11T11:54:41Z
date_published: 2014-12-22T00:00:00Z
date_updated: 2026-06-18T18:12:41Z
day: '22'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.1016/j.devcel.2014.11.003
external_id:
  isi:
  - '000346742900012'
  pmid:
  - '25535919'
intvolume: '        31'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/25535919
month: '12'
oa: 1
oa_version: Published Version
page: 774 - 783
pmid: 1
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '5182'
quality_controlled: '1'
related_material:
  record:
  - id: '961'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish
  laterality organ
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 31
year: '2014'
...
---
_id: '1887'
article_processing_charge: No
article_type: original
author:
- first_name: Sylvia
  full_name: Cremer, Sylvia
  id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
  last_name: Cremer
  orcid: 0000-0002-2193-3868
citation:
  ama: Cremer S. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. <i>Zoologie</i>.
    2014:23-30.
  apa: Cremer, S. (2014). Gemeinsame Krankheitsabwehr in Ameisengesellschaften. <i>Zoologie</i>.
    Deutsche Zoologische Gesellschaft.
  chicago: Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.”
    <i>Zoologie</i>. Deutsche Zoologische Gesellschaft, 2014.
  ieee: S. Cremer, “Gemeinsame Krankheitsabwehr in Ameisengesellschaften,” <i>Zoologie</i>.
    Deutsche Zoologische Gesellschaft, pp. 23–30, 2014.
  ista: Cremer S. 2014. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie.,
    23–30.
  mla: Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” <i>Zoologie</i>,
    Deutsche Zoologische Gesellschaft, 2014, pp. 23–30.
  short: S. Cremer, Zoologie (2014) 23–30.
corr_author: '1'
date_created: 2018-12-11T11:54:33Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-06-18T18:02:48Z
day: '01'
ddc:
- '570'
department:
- _id: SyCr
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.dzg-ev.de/wp-content/uploads/2019/05/zoologie2014.pdf
month: '01'
oa: 1
oa_version: Published Version
page: 23 - 30
publication: Zoologie
publication_status: published
publisher: Deutsche Zoologische Gesellschaft
publist_id: '5208'
quality_controlled: '1'
status: public
title: Gemeinsame Krankheitsabwehr in Ameisengesellschaften
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
OA_place: repository
OA_type: gold
_id: '2051'
abstract:
- lang: eng
  text: We show that the usual score function for conditional Markov networks can
    be written as the expectation over the scores of their spanning trees. We also
    show that a small random sample of these output trees can attain a significant
    fraction of the margin obtained by the complete graph and we provide conditions
    under which we can perform tractable inference. The experimental results confirm
    that practical learning is scalable to realistic datasets using this approach.
article_processing_charge: No
author:
- first_name: Mario
  full_name: Marchand, Mario
  last_name: Marchand
- first_name: Su
  full_name: Hongyu, Su
  last_name: Hongyu
- first_name: Emilie
  full_name: Morvant, Emilie
  id: 4BAC2A72-F248-11E8-B48F-1D18A9856A87
  last_name: Morvant
  orcid: 0000-0002-8301-7240
- first_name: Juho
  full_name: Rousu, Juho
  last_name: Rousu
- first_name: John
  full_name: Shawe Taylor, John
  last_name: Shawe Taylor
citation:
  ama: 'Marchand M, Hongyu S, Morvant E, Rousu J, Shawe Taylor J. Multilabel structured
    output learning with random spanning trees of max-margin Markov networks. In:
    <i>Advances in Neural Information Processing Systems</i>. Vol 27. Neural Information
    Processing Systems Foundation; 2014.'
  apa: 'Marchand, M., Hongyu, S., Morvant, E., Rousu, J., &#38; Shawe Taylor, J. (2014).
    Multilabel structured output learning with random spanning trees of max-margin
    Markov networks. In <i>Advances in Neural Information Processing Systems</i> (Vol.
    27). Montreal, Canada: Neural Information Processing Systems Foundation.'
  chicago: Marchand, Mario, Su Hongyu, Emilie Morvant, Juho Rousu, and John Shawe
    Taylor. “Multilabel Structured Output Learning with Random Spanning Trees of Max-Margin
    Markov Networks.” In <i>Advances in Neural Information Processing Systems</i>,
    Vol. 27. Neural Information Processing Systems Foundation, 2014.
  ieee: M. Marchand, S. Hongyu, E. Morvant, J. Rousu, and J. Shawe Taylor, “Multilabel
    structured output learning with random spanning trees of max-margin Markov networks,”
    in <i>Advances in Neural Information Processing Systems</i>, Montreal, Canada,
    2014, vol. 27.
  ista: 'Marchand M, Hongyu S, Morvant E, Rousu J, Shawe Taylor J. 2014. Multilabel
    structured output learning with random spanning trees of max-margin Markov networks.
    Advances in Neural Information Processing Systems. NIPS: Neural Information Processing
    Systems vol. 27.'
  mla: Marchand, Mario, et al. “Multilabel Structured Output Learning with Random
    Spanning Trees of Max-Margin Markov Networks.” <i>Advances in Neural Information
    Processing Systems</i>, vol. 27, Neural Information Processing Systems Foundation,
    2014.
  short: M. Marchand, S. Hongyu, E. Morvant, J. Rousu, J. Shawe Taylor, in:, Advances
    in Neural Information Processing Systems, Neural Information Processing Systems
    Foundation, 2014.
conference:
  end_date: 2014-12-13
  location: Montreal, Canada
  name: 'NIPS: Neural Information Processing Systems'
  start_date: 2014-12-08
date_created: 2018-12-11T11:55:26Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-06-18T18:24:19Z
day: '01'
ddc:
- '000'
department:
- _id: ChLa
intvolume: '        27'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://hal.archives-ouvertes.fr/hal-01065586
month: '01'
oa: 1
oa_version: Published Version
publication: Advances in Neural Information Processing Systems
publication_identifier:
  isbn:
  - '9781510800410'
publication_status: published
publisher: Neural Information Processing Systems Foundation
publist_id: '4996'
status: public
title: Multilabel structured output learning with random spanning trees of max-margin
  Markov networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2014'
...
---
_id: '2253'
abstract:
- lang: eng
  text: Plant growth is achieved predominantly by cellular elongation, which is thought
    to be controlled on several levels by apoplastic auxin. Auxin export into the
    apoplast is achieved by plasma membrane efflux catalysts of the PIN-FORMED (PIN)
    and ATP-binding cassette protein subfamily B/phosphor- glycoprotein (ABCB/PGP)
    classes; the latter were shown to depend on interaction with the FKBP42, TWISTED
    DWARF1 (TWD1). Here by using a transgenic approach in combination with phenotypical,
    biochemical and cell biological analyses we demonstrate the importance of a putative
    C-terminal in-plane membrane anchor of TWD1 in the regulation of ABCB-mediated
    auxin transport. In contrast with dwarfed twd1 loss-of-function alleles, TWD1
    gain-of-function lines that lack a putative in-plane membrane anchor (HA-TWD1-Ct)
    show hypermorphic plant architecture, characterized by enhanced stem length and
    leaf surface but reduced shoot branching. Greater hypocotyl length is the result
    of enhanced cell elongation that correlates with reduced polar auxin transport
    capacity for HA-TWD1-Ct. As a consequence, HA-TWD1-Ct displays higher hypocotyl
    auxin accumulation, which is shown to result in elevated auxin-induced cell elongation
    rates. Our data highlight the importance of C-terminal membrane anchoring for
    TWD1 action, which is required for specific regulation of ABCB-mediated auxin
    transport. These data support a model in which TWD1 controls lateral ABCB1-mediated
    export into the apoplast, which is required for auxin-mediated cell elongation.
article_processing_charge: No
article_type: original
author:
- first_name: Aurélien
  full_name: Bailly, Aurélien
  last_name: Bailly
- first_name: Bangjun
  full_name: Wang, Bangjun
  last_name: Wang
- first_name: Marta
  full_name: Zwiewka, Marta
  last_name: Zwiewka
- first_name: Stephan
  full_name: Pollmann, Stephan
  last_name: Pollmann
- first_name: Daniel
  full_name: Schenck, Daniel
  last_name: Schenck
- first_name: Hartwig
  full_name: Lüthen, Hartwig
  last_name: Lüthen
- first_name: Alexander
  full_name: Schulz, Alexander
  last_name: Schulz
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Markus
  full_name: Geisler, Markus
  last_name: Geisler
citation:
  ama: Bailly A, Wang B, Zwiewka M, et al. Expression of TWISTED DWARF1 lacking its
    in-plane membrane anchor leads to increased cell elongation and hypermorphic growth.
    <i>Plant Journal</i>. 2014;77(1):108-118. doi:<a href="https://doi.org/10.1111/tpj.12369">10.1111/tpj.12369</a>
  apa: Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H., …
    Geisler, M. (2014). Expression of TWISTED DWARF1 lacking its in-plane membrane
    anchor leads to increased cell elongation and hypermorphic growth. <i>Plant Journal</i>.
    Wiley-Blackwell. <a href="https://doi.org/10.1111/tpj.12369">https://doi.org/10.1111/tpj.12369</a>
  chicago: Bailly, Aurélien, Bangjun Wang, Marta Zwiewka, Stephan Pollmann, Daniel
    Schenck, Hartwig Lüthen, Alexander Schulz, Jiří Friml, and Markus Geisler. “Expression
    of TWISTED DWARF1 Lacking Its In-Plane Membrane Anchor Leads to Increased Cell
    Elongation and Hypermorphic Growth.” <i>Plant Journal</i>. Wiley-Blackwell, 2014.
    <a href="https://doi.org/10.1111/tpj.12369">https://doi.org/10.1111/tpj.12369</a>.
  ieee: A. Bailly <i>et al.</i>, “Expression of TWISTED DWARF1 lacking its in-plane
    membrane anchor leads to increased cell elongation and hypermorphic growth,” <i>Plant
    Journal</i>, vol. 77, no. 1. Wiley-Blackwell, pp. 108–118, 2014.
  ista: Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml
    J, Geisler M. 2014. Expression of TWISTED DWARF1 lacking its in-plane membrane
    anchor leads to increased cell elongation and hypermorphic growth. Plant Journal.
    77(1), 108–118.
  mla: Bailly, Aurélien, et al. “Expression of TWISTED DWARF1 Lacking Its In-Plane
    Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.” <i>Plant
    Journal</i>, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 108–18, doi:<a href="https://doi.org/10.1111/tpj.12369">10.1111/tpj.12369</a>.
  short: A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz,
    J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.
date_created: 2018-12-11T11:56:35Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-06-18T18:33:25Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/tpj.12369
external_id:
  isi:
  - '000328661300009'
intvolume: '        77'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1111/tpj.12369
month: '01'
oa: 1
oa_version: Published Version
page: 108 - 118
project:
- _id: 256BDAB0-B435-11E9-9278-68D0E5697425
  name: Innovationsförderung in der Grenzregion Österreich – Tschechische Republik
    durch die Schaffung von Synergien im Bereich der Forschungsinfrastruktur
publication: Plant Journal
publication_identifier:
  issn:
  - 0960-7412
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4694'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to
  increased cell elongation and hypermorphic growth
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2014'
...
---
OA_place: repository
_id: '1403'
abstract:
- lang: eng
  text: A variety of developmental and disease related processes depend on epithelial
    cell sheet spreading. In order to gain insight into the biophysical mechanism(s)
    underlying the tissue morphogenesis we studied the spreading of an epithelium
    during the early development of the zebrafish embryo. In zebrafish epiboly the
    enveloping cell layer (EVL), a simple squamous epithelium, spreads over the yolk
    cell to completely engulf it at the end of gastrulation. Previous studies have
    proposed that an actomyosin ring forming within the yolk syncytial layer (YSL)
    acts as purse string that through constriction along its circumference pulls on
    the margin of the EVL. Direct biophysical evidence for this hypothesis has however
    been missing. The aim of the thesis was to understand how the actomyosin ring
    may generate pulling forces onto the EVL and what cellular mechanism(s) may facilitate
    the spreading of the epithelium. Using laser ablation to measure cortical tension
    within the actomyosin ring we found an anisotropic tension distribution, which
    was highest along the circumference of the ring. However the low degree of anisotropy
    was incompatible with the actomyosin ring functioning as a purse string only.
    Additionally, we observed retrograde cortical flow from vegetal parts of the ring
    into the EVL margin. Interpreting the experimental data using a theoretical distribution
    that models  the tissues as active viscous gels led us to proposen that the actomyosin
    ring has a twofold contribution to EVL epiboly. It not only acts as a purse string
    through constriction along its circumference, but in addition constriction along
    the width of the ring generates pulling forces through friction-resisted cortical
    flow. Moreover, when rendering the purse string mechanism unproductive EVL epiboly
    proceeded normally indicating that the flow-friction mechanism is sufficient to
    drive the process. Aiming to understand what cellular mechanism(s) may facilitate
    the spreading of the epithelium we found that tension-oriented EVL cell divisions
    limit tissue anisotropy by releasing tension along the division axis and promote
    epithelial spreading. Notably, EVL cells undergo ectopic cell fusion in conditions
    in which oriented-cell division is impaired or the epithelium is mechanically
    challenged. Taken together our study of EVL epiboly suggests a novel mechanism
    of force generation for actomyosin rings through friction-resisted cortical flow
    and highlights the importance of tension-oriented cell divisions in epithelial
    morphogenesis.
acknowledged_ssus:
- _id: SSU
alternative_title:
- IST Austria Thesis
article_processing_charge: No
author:
- first_name: Martin
  full_name: Behrndt, Martin
  id: 3ECECA3A-F248-11E8-B48F-1D18A9856A87
  last_name: Behrndt
citation:
  ama: Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
  apa: Behrndt, M. (2014). <i>Forces driving epithelial spreading in zebrafish epiboly</i>.
    IST Austria.
  chicago: Behrndt, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.”
    IST Austria, 2014.
  ieee: M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST
    Austria, 2014.
  ista: Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly.
    IST Austria.
  mla: Behrndt, Martin. <i>Forces Driving Epithelial Spreading in Zebrafish Epiboly</i>.
    IST Austria, 2014.
  short: M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST
    Austria, 2014.
corr_author: '1'
date_created: 2018-12-11T11:51:49Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2026-06-18T18:45:01Z
day: '01'
ddc:
- '590'
degree_awarded: PhD
department:
- _id: CaHe
file:
- access_level: closed
  checksum: 67df5501b1b5b313c3bf9a360d713693
  content_type: application/pdf
  creator: cchlebak
  date_created: 2026-03-09T14:53:14Z
  date_updated: 2026-03-09T14:53:14Z
  file_id: '21421'
  file_name: 2014 Behrnd final.pdf
  file_size: 24842978
  relation: main_file
file_date_updated: 2026-03-09T14:53:14Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa_version: None
page: '91'
publication_status: published
publisher: IST Austria
publist_id: '5804'
related_material:
  record:
  - id: '2282'
    relation: part_of_dissertation
    status: public
  - id: '2950'
    relation: part_of_dissertation
    status: public
  - id: '3373'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
title: Forces driving epithelial spreading in zebrafish epiboly
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2014'
...
---
OA_place: publisher
OA_type: free access
_id: '8044'
abstract:
- lang: eng
  text: Many questions concerning models in quantum mechanics require a detailed analysis
    of the spectrum of the corresponding Hamiltonian, a linear operator on a suitable
    Hilbert space. Of particular relevance for an understanding of the low-temperature
    properties of a system is the structure of the excitation spectrum, which is the
    part of the spectrum close to the spectral bottom. We present recent progress
    on this question for bosonic many-body quantum systems with weak two-body interactions.
    Such system are currently of great interest, due to their experimental realization
    in ultra-cold atomic gases. We investigate the accuracy of the Bogoliubov approximations,
    which predicts that the low-energy spectrum is made up of sums of elementary excitations,
    with linear dispersion law at low momentum. The latter property is crucial for
    the superfluid behavior the system.
article_processing_charge: No
author:
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: 'Seiringer R. Structure of the excitation spectrum for many-body quantum systems.
    In: <i>Proceeding of the International Congress of Mathematicans</i>. Vol 3. International
    Congress of Mathematicians; 2014:1175-1194.'
  apa: 'Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum
    systems. In <i>Proceeding of the International Congress of Mathematicans</i> (Vol.
    3, pp. 1175–1194). Seoul, South Korea: International Congress of Mathematicians.'
  chicago: Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body
    Quantum Systems.” In <i>Proceeding of the International Congress of Mathematicans</i>,
    3:1175–94. International Congress of Mathematicians, 2014.
  ieee: R. Seiringer, “Structure of the excitation spectrum for many-body quantum
    systems,” in <i>Proceeding of the International Congress of Mathematicans</i>,
    Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
  ista: 'Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum
    systems. Proceeding of the International Congress of Mathematicans. ICM: International
    Congress of Mathematicans vol. 3, 1175–1194.'
  mla: Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum
    Systems.” <i>Proceeding of the International Congress of Mathematicans</i>, vol.
    3, International Congress of Mathematicians, 2014, pp. 1175–94.
  short: R. Seiringer, in:, Proceeding of the International Congress of Mathematicans,
    International Congress of Mathematicians, 2014, pp. 1175–1194.
conference:
  end_date: 2014-08-21
  location: Seoul, South Korea
  name: 'ICM: International Congress of Mathematicans'
  start_date: 2014-08-13
corr_author: '1'
date_created: 2020-06-29T07:59:35Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2026-06-18T19:30:06Z
day: '01'
ddc:
- '500'
department:
- _id: RoSe
intvolume: '         3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.icm2014.org/en/vod/proceedings.html
month: '08'
oa: 1
oa_version: Published Version
page: 1175-1194
publication: Proceeding of the International Congress of Mathematicans
publication_identifier:
  isbn:
  - '9788961058063'
publication_status: published
publisher: International Congress of Mathematicians
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structure of the excitation spectrum for many-body quantum systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2014'
...
