---
_id: '317'
abstract:
- lang: eng
  text: We replace the established aluminium gates for the formation of quantum dots
    in silicon with gates made from palladium. We study the morphology of both aluminium
    and palladium gates with transmission electron microscopy. The native aluminium
    oxide is found to be formed all around the aluminium gates, which could lead to
    the formation of unintentional dots. Therefore, we report on a novel fabrication
    route that replaces aluminium and its native oxide by palladium with atomic-layer-deposition-grown
    aluminium oxide. Using this approach, we show the formation of low-disorder gate-defined
    quantum dots, which are reproducibly fabricated. Furthermore, palladium enables
    us to further shrink the gate design, allowing us to perform electron transport
    measurements in the few-electron regime in devices comprising only two gate layers,
    a major technological advancement. It remains to be seen, whether the introduction
    of palladium gates can improve the excellent results on electron and nuclear spin
    qubits defined with an aluminium gate stack.
article_number: '5690'
article_processing_charge: No
author:
- first_name: Matthias
  full_name: Brauns, Matthias
  id: 33F94E3C-F248-11E8-B48F-1D18A9856A87
  last_name: Brauns
- first_name: Sergey
  full_name: Amitonov, Sergey
  last_name: Amitonov
- first_name: Paul
  full_name: Spruijtenburg, Paul
  last_name: Spruijtenburg
- first_name: Floris
  full_name: Zwanenburg, Floris
  last_name: Zwanenburg
citation:
  ama: Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. Palladium gates for reproducible
    quantum dots in silicon. <i>Scientific Reports</i>. 2018;8(1). doi:<a href="https://doi.org/10.1038/s41598-018-24004-y">10.1038/s41598-018-24004-y</a>
  apa: Brauns, M., Amitonov, S., Spruijtenburg, P., &#38; Zwanenburg, F. (2018). Palladium
    gates for reproducible quantum dots in silicon. <i>Scientific Reports</i>. Nature
    Publishing Group. <a href="https://doi.org/10.1038/s41598-018-24004-y">https://doi.org/10.1038/s41598-018-24004-y</a>
  chicago: Brauns, Matthias, Sergey Amitonov, Paul Spruijtenburg, and Floris Zwanenburg.
    “Palladium Gates for Reproducible Quantum Dots in Silicon.” <i>Scientific Reports</i>.
    Nature Publishing Group, 2018. <a href="https://doi.org/10.1038/s41598-018-24004-y">https://doi.org/10.1038/s41598-018-24004-y</a>.
  ieee: M. Brauns, S. Amitonov, P. Spruijtenburg, and F. Zwanenburg, “Palladium gates
    for reproducible quantum dots in silicon,” <i>Scientific Reports</i>, vol. 8,
    no. 1. Nature Publishing Group, 2018.
  ista: Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. 2018. Palladium gates
    for reproducible quantum dots in silicon. Scientific Reports. 8(1), 5690.
  mla: Brauns, Matthias, et al. “Palladium Gates for Reproducible Quantum Dots in
    Silicon.” <i>Scientific Reports</i>, vol. 8, no. 1, 5690, Nature Publishing Group,
    2018, doi:<a href="https://doi.org/10.1038/s41598-018-24004-y">10.1038/s41598-018-24004-y</a>.
  short: M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports
    8 (2018).
date_created: 2018-12-11T11:45:47Z
date_published: 2018-04-09T00:00:00Z
date_updated: 2023-09-13T09:38:00Z
day: '09'
ddc:
- '539'
department:
- _id: GeKa
doi: 10.1038/s41598-018-24004-y
external_id:
  isi:
  - '000429404300013'
file:
- access_level: open_access
  checksum: 20af238ca4ba6491b77270be8d826bf5
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:04Z
  date_updated: 2020-07-14T12:46:02Z
  file_id: '5256'
  file_name: IST-2018-1016-v1+1_2018_Brauns_Palladium_gates.pdf
  file_size: 1850530
  relation: main_file
file_date_updated: 2020-07-14T12:46:02Z
has_accepted_license: '1'
intvolume: '         8'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '7548'
pubrep_id: '1016'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Palladium gates for reproducible quantum dots in silicon
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8
year: '2018'
...
---
_id: '318'
abstract:
- lang: eng
  text: The insect’s fat body combines metabolic and immunological functions. In this
    issue of Developmental Cell, Franz et al. (2018) show that in Drosophila, cells
    of the fat body are not static, but can actively “swim” toward sites of epithelial
    injury, where they physically clog the wound and locally secrete antimicrobial
    peptides.
acknowledgement: Short Survey
article_processing_charge: No
author:
- first_name: Alessandra M
  full_name: Casano, Alessandra M
  id: 3DBA3F4E-F248-11E8-B48F-1D18A9856A87
  last_name: Casano
  orcid: 0000-0002-6009-6804
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: Casano AM, Sixt MK. A fat lot of good for wound healing. <i>Developmental Cell</i>.
    2018;44(4):405-406. doi:<a href="https://doi.org/10.1016/j.devcel.2018.02.009">10.1016/j.devcel.2018.02.009</a>
  apa: Casano, A. M., &#38; Sixt, M. K. (2018). A fat lot of good for wound healing.
    <i>Developmental Cell</i>. Cell Press. <a href="https://doi.org/10.1016/j.devcel.2018.02.009">https://doi.org/10.1016/j.devcel.2018.02.009</a>
  chicago: Casano, Alessandra M, and Michael K Sixt. “A Fat Lot of Good for Wound
    Healing.” <i>Developmental Cell</i>. Cell Press, 2018. <a href="https://doi.org/10.1016/j.devcel.2018.02.009">https://doi.org/10.1016/j.devcel.2018.02.009</a>.
  ieee: A. M. Casano and M. K. Sixt, “A fat lot of good for wound healing,” <i>Developmental
    Cell</i>, vol. 44, no. 4. Cell Press, pp. 405–406, 2018.
  ista: Casano AM, Sixt MK. 2018. A fat lot of good for wound healing. Developmental
    Cell. 44(4), 405–406.
  mla: Casano, Alessandra M., and Michael K. Sixt. “A Fat Lot of Good for Wound Healing.”
    <i>Developmental Cell</i>, vol. 44, no. 4, Cell Press, 2018, pp. 405–06, doi:<a
    href="https://doi.org/10.1016/j.devcel.2018.02.009">10.1016/j.devcel.2018.02.009</a>.
  short: A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
date_created: 2018-12-11T11:45:47Z
date_published: 2018-02-26T00:00:00Z
date_updated: 2023-09-08T11:42:28Z
day: '26'
department:
- _id: MiSi
doi: 10.1016/j.devcel.2018.02.009
external_id:
  isi:
  - '000426150700002'
  pmid:
  - '29486189'
intvolume: '        44'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/29486189
month: '02'
oa: 1
oa_version: Published Version
page: 405 - 406
pmid: 1
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '7547'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A fat lot of good for wound healing
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 44
year: '2018'
...
---
_id: '32'
abstract:
- lang: eng
  text: The functional role of AMPA receptor (AMPAR)-mediated synaptic signaling between
    neurons and oligodendrocyte precursor cells (OPCs) remains enigmatic. We modified
    the properties of AMPARs at axon-OPC synapses in the mouse corpus callosum in
    vivo during the peak of myelination by targeting the GluA2 subunit. Expression
    of the unedited (Ca2+ permeable) or the pore-dead GluA2 subunit of AMPARs triggered
    proliferation of OPCs and reduced their differentiation into oligodendrocytes.
    Expression of the cytoplasmic C-terminal (GluA2(813-862)) of the GluA2 subunit
    (C-tail), a modification designed to affect the interaction between GluA2 and
    AMPAR-binding proteins and to perturb trafficking of GluA2-containing AMPARs,
    decreased the differentiation of OPCs without affecting their proliferation. These
    findings suggest that ionotropic and non-ionotropic properties of AMPARs in OPCs,
    as well as specific aspects of AMPAR-mediated signaling at axon-OPC synapses in
    the mouse corpus callosum, are important for balancing the response of OPCs to
    proliferation and differentiation cues. In the brain, oligodendrocyte precursor
    cells (OPCs) receive glutamatergic AMPA-receptor-mediated synaptic input from
    neurons. Chen et al. show that modifying AMPA-receptor properties at axon-OPC
    synapses alters proliferation and differentiation of OPCs. This expands the traditional
    view of synaptic transmission by suggesting neurons also use synapses to modulate
    behavior of glia.
acknowledgement: This work was supported by Deutsche Forschungsgemeinschaft (DFG)
  grant KU2569/1-1 (to M.K.); DFG project EXC307Centre for Integrative Neuroscience
  (CIN), including grant Pool Project 2011-12 (jointly to M.K. and I.E.); and the
  Charitable Hertie Foundation (to I.E.). CIN is an Excellence Cluster funded by the
  DFG within the framework of the Excellence Initiative for 2008–2018. M.K. is supported
  by the Tistou & Charlotte Kerstan Foundation.
article_processing_charge: No
author:
- first_name: Ting
  full_name: Chen, Ting
  last_name: Chen
- first_name: Bartosz
  full_name: Kula, Bartosz
  last_name: Kula
- first_name: Balint
  full_name: Nagy, Balint
  id: 30F830CE-02D1-11E9-9BAA-DAF4881429F2
  last_name: Nagy
  orcid: 0000-0002-4002-4686
- first_name: Ruxandra
  full_name: Barzan, Ruxandra
  last_name: Barzan
- first_name: Andrea
  full_name: Gall, Andrea
  last_name: Gall
- first_name: Ingrid
  full_name: Ehrlich, Ingrid
  last_name: Ehrlich
- first_name: Maria
  full_name: Kukley, Maria
  last_name: Kukley
citation:
  ama: Chen T, Kula B, Nagy B, et al. In Vivo regulation of Oligodendrocyte processor
    cell proliferation and differentiation by the AMPA-receptor Subunit GluA2. <i>Cell
    Reports</i>. 2018;25(4):852-861.e7. doi:<a href="https://doi.org/10.1016/j.celrep.2018.09.066">10.1016/j.celrep.2018.09.066</a>
  apa: Chen, T., Kula, B., Nagy, B., Barzan, R., Gall, A., Ehrlich, I., &#38; Kukley,
    M. (2018). In Vivo regulation of Oligodendrocyte processor cell proliferation
    and differentiation by the AMPA-receptor Subunit GluA2. <i>Cell Reports</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.celrep.2018.09.066">https://doi.org/10.1016/j.celrep.2018.09.066</a>
  chicago: Chen, Ting, Bartosz Kula, Balint Nagy, Ruxandra Barzan, Andrea Gall, Ingrid
    Ehrlich, and Maria Kukley. “In Vivo Regulation of Oligodendrocyte Processor Cell
    Proliferation and Differentiation by the AMPA-Receptor Subunit GluA2.” <i>Cell
    Reports</i>. Elsevier, 2018. <a href="https://doi.org/10.1016/j.celrep.2018.09.066">https://doi.org/10.1016/j.celrep.2018.09.066</a>.
  ieee: T. Chen <i>et al.</i>, “In Vivo regulation of Oligodendrocyte processor cell
    proliferation and differentiation by the AMPA-receptor Subunit GluA2,” <i>Cell
    Reports</i>, vol. 25, no. 4. Elsevier, p. 852–861.e7, 2018.
  ista: Chen T, Kula B, Nagy B, Barzan R, Gall A, Ehrlich I, Kukley M. 2018. In Vivo
    regulation of Oligodendrocyte processor cell proliferation and differentiation
    by the AMPA-receptor Subunit GluA2. Cell Reports. 25(4), 852–861.e7.
  mla: Chen, Ting, et al. “In Vivo Regulation of Oligodendrocyte Processor Cell Proliferation
    and Differentiation by the AMPA-Receptor Subunit GluA2.” <i>Cell Reports</i>,
    vol. 25, no. 4, Elsevier, 2018, p. 852–861.e7, doi:<a href="https://doi.org/10.1016/j.celrep.2018.09.066">10.1016/j.celrep.2018.09.066</a>.
  short: T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell
    Reports 25 (2018) 852–861.e7.
date_created: 2018-12-11T11:44:16Z
date_published: 2018-10-23T00:00:00Z
date_updated: 2023-09-11T14:13:32Z
day: '23'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1016/j.celrep.2018.09.066
external_id:
  isi:
  - '000448219500005'
file:
- access_level: open_access
  checksum: d9f74277fd57176e04732707d575cf08
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T12:42:57Z
  date_updated: 2020-07-14T12:46:03Z
  file_id: '5703'
  file_name: 2018_CellReports_Chen.pdf
  file_size: 4461997
  relation: main_file
file_date_updated: 2020-07-14T12:46:03Z
has_accepted_license: '1'
intvolume: '        25'
isi: 1
issue: '4'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 852 - 861.e7
publication: Cell Reports
publication_status: published
publisher: Elsevier
publist_id: '8023'
quality_controlled: '1'
scopus_import: '1'
status: public
title: In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation
  by the AMPA-receptor Subunit GluA2
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 25
year: '2018'
...
---
_id: '320'
abstract:
- lang: eng
  text: 'Fast-spiking, parvalbumin-expressing GABAergic interneurons (PV+-BCs) express
    a complex machinery of rapid signaling mechanisms, including specialized voltage-gated
    ion channels to generate brief action potentials (APs). However, short APs are
    associated with overlapping Na+ and K+ fluxes and are therefore energetically
    expensive. How the potentially vicious combination of high AP frequency and inefficient
    spike generation can be reconciled with limited energy supply is presently unclear.
    To address this question, we performed direct recordings from the PV+-BC axon,
    the subcellular structure where active conductances for AP initiation and propagation
    are located. Surprisingly, the energy required for the AP was, on average, only
    ∼1.6 times the theoretical minimum. High energy efficiency emerged from the combination
    of fast inactivation of Na+ channels and delayed activation of Kv3-type K+ channels,
    which minimized ion flux overlap during APs. Thus, the complementary tuning of
    axonal Na+ and K+ channel gating optimizes both fast signaling properties and
    metabolic efficiency. Hu et al. demonstrate that action potentials in parvalbumin-expressing
    GABAergic interneuron axons are energetically efficient, which is highly unexpected
    given their brief duration. High energy efficiency emerges from the combination
    of fast inactivation of voltage-gated Na+ channels and delayed activation of Kv3
    channels in the axon. '
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Hua
  full_name: Hu, Hua
  id: 4AC0145C-F248-11E8-B48F-1D18A9856A87
  last_name: Hu
- first_name: Fabian
  full_name: Roth, Fabian
  last_name: Roth
- first_name: David H
  full_name: Vandael, David H
  id: 3AE48E0A-F248-11E8-B48F-1D18A9856A87
  last_name: Vandael
  orcid: 0000-0001-7577-1676
- 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: Hu H, Roth F, Vandael DH, Jonas PM. Complementary tuning of Na+ and K+ channel
    gating underlies fast and energy-efficient action potentials in GABAergic interneuron
    axons. <i>Neuron</i>. 2018;98(1):156-165. doi:<a href="https://doi.org/10.1016/j.neuron.2018.02.024">10.1016/j.neuron.2018.02.024</a>
  apa: Hu, H., Roth, F., Vandael, D. H., &#38; Jonas, P. M. (2018). Complementary
    tuning of Na+ and K+ channel gating underlies fast and energy-efficient action
    potentials in GABAergic interneuron axons. <i>Neuron</i>. Elsevier. <a href="https://doi.org/10.1016/j.neuron.2018.02.024">https://doi.org/10.1016/j.neuron.2018.02.024</a>
  chicago: Hu, Hua, Fabian Roth, David H Vandael, and Peter M Jonas. “Complementary
    Tuning of Na+ and K+ Channel Gating Underlies Fast and Energy-Efficient Action
    Potentials in GABAergic Interneuron Axons.” <i>Neuron</i>. Elsevier, 2018. <a
    href="https://doi.org/10.1016/j.neuron.2018.02.024">https://doi.org/10.1016/j.neuron.2018.02.024</a>.
  ieee: H. Hu, F. Roth, D. H. Vandael, and P. M. Jonas, “Complementary tuning of Na+
    and K+ channel gating underlies fast and energy-efficient action potentials in
    GABAergic interneuron axons,” <i>Neuron</i>, vol. 98, no. 1. Elsevier, pp. 156–165,
    2018.
  ista: Hu H, Roth F, Vandael DH, Jonas PM. 2018. Complementary tuning of Na+ and
    K+ channel gating underlies fast and energy-efficient action potentials in GABAergic
    interneuron axons. Neuron. 98(1), 156–165.
  mla: Hu, Hua, et al. “Complementary Tuning of Na+ and K+ Channel Gating Underlies
    Fast and Energy-Efficient Action Potentials in GABAergic Interneuron Axons.” <i>Neuron</i>,
    vol. 98, no. 1, Elsevier, 2018, pp. 156–65, doi:<a href="https://doi.org/10.1016/j.neuron.2018.02.024">10.1016/j.neuron.2018.02.024</a>.
  short: H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
date_created: 2018-12-11T11:45:48Z
date_published: 2018-04-04T00:00:00Z
date_updated: 2023-09-11T12:45:10Z
day: '04'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1016/j.neuron.2018.02.024
ec_funded: 1
external_id:
  isi:
  - '000429192100016'
file:
- access_level: open_access
  checksum: 76070f3729f9c603e1080d0151aa2b11
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T10:37:50Z
  date_updated: 2020-07-14T12:46:03Z
  file_id: '5690'
  file_name: 2018_Neuron_Hu.pdf
  file_size: 3180444
  relation: main_file
file_date_updated: 2020-07-14T12:46:03Z
has_accepted_license: '1'
intvolume: '        98'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 156 - 165
project:
- _id: 25C0F108-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '268548'
  name: Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons
- _id: 25B7EB9E-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '692692'
  name: Biophysics and circuit function of a giant cortical glumatergic synapse
- _id: 25C26B1E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P24909-B24
  name: Mechanisms of transmitter release at GABAergic synapses
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z00312
  name: The Wittgenstein Prize
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '7545'
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/a-certain-type-of-neurons-is-more-energy-efficient-than-previously-assumed/
scopus_import: '1'
status: public
title: Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient
  action potentials in GABAergic interneuron axons
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 98
year: '2018'
...
---
_id: '321'
abstract:
- lang: eng
  text: The twelve papers in this special section focus on learning systems with shared
    information for computer vision and multimedia communication analysis. In the
    real world, a realistic setting for computer vision or multimedia recognition
    problems is that we have some classes containing lots of training data and many
    classes containing a small amount of training data. Therefore, how to use frequent
    classes to help learning rare classes for which it is harder to collect the training
    data is an open question. Learning with shared information is an emerging topic
    in machine learning, computer vision and multimedia analysis. There are different
    levels of components that can be shared during concept modeling and machine learning
    stages, such as sharing generic object parts, sharing attributes, sharing transformations,
    sharing regularization parameters and sharing training examples, etc. Regarding
    the specific methods, multi-task learning, transfer learning and deep learning
    can be seen as using different strategies to share information. These learning
    with shared information methods are very effective in solving real-world large-scale
    problems.
article_processing_charge: No
article_type: original
author:
- first_name: Trevor
  full_name: Darrell, Trevor
  last_name: Darrell
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
- first_name: Nico
  full_name: Sebe, Nico
  last_name: Sebe
- first_name: Ying
  full_name: Wu, Ying
  last_name: Wu
- first_name: Yan
  full_name: Yan, Yan
  last_name: Yan
citation:
  ama: Darrell T, Lampert C, Sebe N, Wu Y, Yan Y. Guest editors’ introduction to the
    special section on learning with Shared information for computer vision and multimedia
    analysis. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>.
    2018;40(5):1029-1031. doi:<a href="https://doi.org/10.1109/TPAMI.2018.2804998">10.1109/TPAMI.2018.2804998</a>
  apa: Darrell, T., Lampert, C., Sebe, N., Wu, Y., &#38; Yan, Y. (2018). Guest editors’
    introduction to the special section on learning with Shared information for computer
    vision and multimedia analysis. <i>IEEE Transactions on Pattern Analysis and Machine
    Intelligence</i>. IEEE. <a href="https://doi.org/10.1109/TPAMI.2018.2804998">https://doi.org/10.1109/TPAMI.2018.2804998</a>
  chicago: Darrell, Trevor, Christoph Lampert, Nico Sebe, Ying Wu, and Yan Yan. “Guest
    Editors’ Introduction to the Special Section on Learning with Shared Information
    for Computer Vision and Multimedia Analysis.” <i>IEEE Transactions on Pattern
    Analysis and Machine Intelligence</i>. IEEE, 2018. <a href="https://doi.org/10.1109/TPAMI.2018.2804998">https://doi.org/10.1109/TPAMI.2018.2804998</a>.
  ieee: T. Darrell, C. Lampert, N. Sebe, Y. Wu, and Y. Yan, “Guest editors’ introduction
    to the special section on learning with Shared information for computer vision
    and multimedia analysis,” <i>IEEE Transactions on Pattern Analysis and Machine
    Intelligence</i>, vol. 40, no. 5. IEEE, pp. 1029–1031, 2018.
  ista: Darrell T, Lampert C, Sebe N, Wu Y, Yan Y. 2018. Guest editors’ introduction
    to the special section on learning with Shared information for computer vision
    and multimedia analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence.
    40(5), 1029–1031.
  mla: Darrell, Trevor, et al. “Guest Editors’ Introduction to the Special Section
    on Learning with Shared Information for Computer Vision and Multimedia Analysis.”
    <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 40,
    no. 5, IEEE, 2018, pp. 1029–31, doi:<a href="https://doi.org/10.1109/TPAMI.2018.2804998">10.1109/TPAMI.2018.2804998</a>.
  short: T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern
    Analysis and Machine Intelligence 40 (2018) 1029–1031.
date_created: 2018-12-11T11:45:48Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-09-11T14:07:54Z
day: '01'
ddc:
- '000'
department:
- _id: ChLa
doi: 10.1109/TPAMI.2018.2804998
external_id:
  isi:
  - '000428901200001'
file:
- access_level: open_access
  checksum: b19c75da06faf3291a3ca47dfa50ef63
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-14T12:50:48Z
  date_updated: 2020-07-14T12:46:03Z
  file_id: '7835'
  file_name: 2018_IEEE_Darrell.pdf
  file_size: 141724
  relation: main_file
file_date_updated: 2020-07-14T12:46:03Z
has_accepted_license: '1'
intvolume: '        40'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 1029 - 1031
publication: IEEE Transactions on Pattern Analysis and Machine Intelligence
publication_status: published
publisher: IEEE
publist_id: '7544'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Guest editors' introduction to the special section on learning with Shared
  information for computer vision and multimedia analysis
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 40
year: '2018'
...
---
_id: '322'
abstract:
- lang: eng
  text: We construct quantizations of multiplicative hypertoric varieties using an
    algebra of q-difference operators on affine space, where q is a root of unity
    in C. The quantization defines a matrix bundle (i.e. Azumaya algebra) over the
    multiplicative hypertoric variety and admits an explicit finite étale splitting.
    The global sections of this Azumaya algebra is a hypertoric quantum group, and
    we prove a localization theorem. We introduce a general framework of Frobenius
    quantum moment maps and their Hamiltonian reductions; our results shed light on
    an instance of this framework.
acknowledgement: "National Science Foundation: Graduate Research Fellowship and grant
  No.0932078000; ERC Advanced Grant “Arithmetic and Physics of Higgs moduli spaces”
  No. 320593 \r\nThe author is grateful to David Jordan for suggesting this project
  and providing guidance throughout, particularly for the formulation of Frobenius
  quantum moment maps and key ideas in the proofs of Theorems 3.12 and 4.8. Special
  thanks to David Ben-Zvi (the author's PhD advisor) for numerous discussions and
  constant encouragement, and for suggesting the term ‘hypertoric quantum group.’
  Many results appearing in the current paper were proven independently by Nicholas
  Cooney; the author is grateful to Nicholas for sharing his insight on various topics,
  including Proposition 3.8. The author also thanks Nicholas Proudfoot for relating
  the definition of multiplicative hypertoric varieties, as well as the content of
  Remark 2.14. The author also benefited immensely from the close reading and detailed
  comments of an anonymous referee, and from conversations with Justin Hilburn, Kobi
  Kremnitzer, Michael McBreen, Tom Nevins, Travis Schedler, and Ben Webster. \r\n\r\n\r\n\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Iordan V
  full_name: Ganev, Iordan V
  id: 447491B8-F248-11E8-B48F-1D18A9856A87
  last_name: Ganev
citation:
  ama: Ganev IV. Quantizations of multiplicative hypertoric varieties at a root of
    unity. <i>Journal of Algebra</i>. 2018;506:92-128. doi:<a href="https://doi.org/10.1016/j.jalgebra.2018.03.015">10.1016/j.jalgebra.2018.03.015</a>
  apa: Ganev, I. V. (2018). Quantizations of multiplicative hypertoric varieties at
    a root of unity. <i>Journal of Algebra</i>. World Scientific Publishing. <a href="https://doi.org/10.1016/j.jalgebra.2018.03.015">https://doi.org/10.1016/j.jalgebra.2018.03.015</a>
  chicago: Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties
    at a Root of Unity.” <i>Journal of Algebra</i>. World Scientific Publishing, 2018.
    <a href="https://doi.org/10.1016/j.jalgebra.2018.03.015">https://doi.org/10.1016/j.jalgebra.2018.03.015</a>.
  ieee: I. V. Ganev, “Quantizations of multiplicative hypertoric varieties at a root
    of unity,” <i>Journal of Algebra</i>, vol. 506. World Scientific Publishing, pp.
    92–128, 2018.
  ista: Ganev IV. 2018. Quantizations of multiplicative hypertoric varieties at a
    root of unity. Journal of Algebra. 506, 92–128.
  mla: Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties at a
    Root of Unity.” <i>Journal of Algebra</i>, vol. 506, World Scientific Publishing,
    2018, pp. 92–128, doi:<a href="https://doi.org/10.1016/j.jalgebra.2018.03.015">10.1016/j.jalgebra.2018.03.015</a>.
  short: I.V. Ganev, Journal of Algebra 506 (2018) 92–128.
date_created: 2018-12-11T11:45:49Z
date_published: 2018-07-15T00:00:00Z
date_updated: 2023-09-15T12:08:38Z
day: '15'
department:
- _id: TaHa
doi: 10.1016/j.jalgebra.2018.03.015
ec_funded: 1
external_id:
  arxiv:
  - '1412.7211'
  isi:
  - '000433270600005'
intvolume: '       506'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1412.7211
month: '07'
oa: 1
oa_version: Preprint
page: 92 - 128
project:
- _id: 25E549F4-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '320593'
  name: Arithmetic and physics of Higgs moduli spaces
publication: Journal of Algebra
publication_status: published
publisher: World Scientific Publishing
publist_id: '7543'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantizations of multiplicative hypertoric varieties at a root of unity
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 506
year: '2018'
...
---
_id: '323'
abstract:
- lang: eng
  text: 'In the here presented thesis, we explore the role of branched actin networks
    in cell migration and antigen presentation, the two most relevant processes in
    dendritic cell biology. Branched actin networks construct lamellipodial protrusions
    at the leading edge of migrating cells. These are typically seen as adhesive structures,
    which mediate force transduction to the extracellular matrix that leads to forward
    locomotion. We ablated Arp2/3 nucleation promoting factor WAVE in DCs and found
    that the resulting cells lack lamellipodial protrusions. Instead, depending on
    the maturation state, one or multiple filopodia were formed. By challenging these
    cells in a variety of migration assays we found that lamellipodial protrusions
    are dispensable for the locomotion of leukocytes and actually dampen the speed
    of migration. However, lamellipodia are critically required to negotiate complex
    environments that DCs experience while they travel to the next draining lymph
    node. Taken together our results suggest that leukocyte lamellipodia have rather
    a sensory- than a force transducing function. Furthermore, we show for the first
    time structure and dynamics of dendritic cell F-actin at the immunological synapse
    with naïve T cells. Dendritic cell F-actin appears as dynamic foci that are nucleated
    by the Arp2/3 complex. WAVE ablated dendritic cells show increased membrane tension,
    leading to an altered ultrastructure of the immunological synapse and severe T
    cell priming defects. These results point towards a previously unappreciated role
    of the cellular mechanics of dendritic cells in T cell activation. Additionally,
    we present a novel cell culture based system for the differentiation of dendritic
    cells from conditionally immortalized hematopoietic precursors. These precursor
    cells are genetically tractable via the CRISPR/Cas9 system while they retain their
    ability to differentiate into highly migratory dendritic cells and other immune
    cells. This will foster the study of all aspects of dendritic cell biology and
    beyond. '
acknowledged_ssus:
- _id: NanoFab
- _id: Bio
- _id: PreCl
- _id: EM-Fac
acknowledgement: "First of all I would like to thank Michael Sixt for giving me the
  opportunity to work in \r\nhis group and for his support throughout the years. He
  is a truly inspiring person and \r\nthe  best  boss  one  can  imagine.  I  would
  \ also  like  to  thank  all  current  and  past \r\nmembers of the Sixt group for
  their help and the great working atmosphere in the lab. \r\nIt is a true privilege
  to work with such a bright, funny and friendly group of people and \r\nI’m  proud
  \ that  I  could  be  part  of  it.  Furthermore,  I  would  like  to  say  ‘thank
  \ you’  to Daria Siekhaus for all the meetings and discussion we had throughout
  the years \r\nand to  Federica  Benvenuti  for  being  part  of  my  committee.
  \ I  am  also  grateful  to  Jack \r\nMerrin  in  the  nanofabrication  facility
  \ and  all  the  people  working  in  the  bioimaging-\r\n, the electron microscopy-
  and the preclinical facilities."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
citation:
  ama: Leithner AF. Branched actin networks in dendritic cell biology. 2018. doi:<a
    href="https://doi.org/10.15479/AT:ISTA:th_998">10.15479/AT:ISTA:th_998</a>
  apa: Leithner, A. F. (2018). <i>Branched actin networks in dendritic cell biology</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:th_998">https://doi.org/10.15479/AT:ISTA:th_998</a>
  chicago: Leithner, Alexander F. “Branched Actin Networks in Dendritic Cell Biology.”
    Institute of Science and Technology Austria, 2018. <a href="https://doi.org/10.15479/AT:ISTA:th_998">https://doi.org/10.15479/AT:ISTA:th_998</a>.
  ieee: A. F. Leithner, “Branched actin networks in dendritic cell biology,” Institute
    of Science and Technology Austria, 2018.
  ista: Leithner AF. 2018. Branched actin networks in dendritic cell biology. Institute
    of Science and Technology Austria.
  mla: Leithner, Alexander F. <i>Branched Actin Networks in Dendritic Cell Biology</i>.
    Institute of Science and Technology Austria, 2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:th_998">10.15479/AT:ISTA:th_998</a>.
  short: A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute
    of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:45:49Z
date_published: 2018-04-12T00:00:00Z
date_updated: 2023-09-07T12:39:44Z
day: '12'
ddc:
- '571'
- '599'
- '610'
degree_awarded: PhD
department:
- _id: MiSi
doi: 10.15479/AT:ISTA:th_998
file:
- access_level: closed
  checksum: d5e3edbac548c26c1fa43a4b37a54a4c
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-04-05T09:23:11Z
  date_updated: 2021-02-11T23:30:17Z
  embargo_to: open_access
  file_id: '6219'
  file_name: PhD_thesis_AlexLeithner_final_version.docx
  file_size: 29027671
  relation: source_file
- access_level: open_access
  checksum: 071f7476db29e41146824ebd0697cb10
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-05T09:23:11Z
  date_updated: 2021-02-11T11:17:16Z
  embargo: 2019-04-15
  file_id: '6220'
  file_name: PhD_thesis_AlexLeithner.pdf
  file_size: 66045341
  relation: main_file
file_date_updated: 2021-02-11T23:30:17Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '99'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7542'
pubrep_id: '998'
related_material:
  record:
  - id: '1321'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
title: Branched actin networks in dendritic cell biology
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: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '324'
abstract:
- lang: eng
  text: Neuronal networks in the brain consist of two main types of neuron, glutamatergic
    principal neurons and GABAergic interneurons. Although these interneurons only
    represent 10–20% of the whole population, they mediate feedback and feedforward
    inhibition and are involved in the generation of high-frequency network oscillations.
    A hallmark functional property of GABAergic interneurons, especially of the parvalbumin‑expressing
    (PV+) subtypes, is the speed of signaling at their output synapse across species
    and brain regions. Several molecular and subcellular factors may underlie the
    submillisecond signaling at GABAergic synapses. Such as the selective use of P/Q
    type Ca2+ channels and the tight coupling between Ca2+ channels and Ca2+ sensors
    of exocytosis. However, whether the molecular identity of the release sensor contributes
    to these signaling properties remains unclear. Besides, these interneurons are
    mainly show depression in response to train of stimuli. How could they keep sufficient
    release to control the activity of postsynaptic principal neurons during high
    network activity, is largely elusive. For my Ph.D. work, we firstly examined the
    Ca2+ sensor of exocytosis at the GABAergic basket cell (BC) to Purkinje cell (PC)
    synapse in the cerebellum. Immunolabeling suggested that BC terminals selectively
    expressed synaptotagmin 2 (Syt2), whereas synaptotagmin 1 (Syt1) was enriched
    in excitatory terminals. Genetic elimination of Syt2 reduced action potential-evoked
    release to ~10% compared to the wild-type control, identifying Syt2 as the major
    Ca2+ sensor at BC‑PC synapses. Differential adenovirus-mediated rescue revealed
    Syt2 triggered release with shorter latency and higher temporal precision, and
    mediated faster vesicle pool replenishment than Syt1. Furthermore, deletion of
    Syt2 severely reduced and delayed disynaptic inhibition following parallel fiber
    stimulation. Thus, the selective use of Syt2 as the release sensor at BC–PC synapse
    ensures fast feedforward inhibition in cerebellar microcircuits. Additionally,
    we tested the function of another synaptotagmin member, Syt7, for inhibitory synaptic
    transmission at the BC–PC synapse. Syt7 is thought to be a Ca2+ sensor that mediates
    asynchronous transmitter release and facilitation at synapses. However, it is
    strongly expressed in fast-spiking, PV+ GABAergic interneurons and the output
    synapses of these neurons produce only minimal asynchronous release and show depression
    rather than facilitation. How could Syt7, a facilitation sensor, contribute to
    the depressed inhibitory synaptic transmission needs to be further investigated
    and understood. Our results indicated that at the BC–PC synapse, Syt7 contributes
    to asynchronous release, pool replenishment and facilitation. In combination,
    these three effects ensure efficient transmitter release during high‑frequency
    activity and guarantee frequency independence of inhibition. Taken together, our
    results confirmed that Syt2, which has the fastest kinetic properties among all
    synaptotagmin members, is mainly used by the inhibitory BC‑PC synapse for synaptic
    transmission, contributing to the speed and temporal precision of transmitter
    release. Furthermore, we showed that Syt7, another highly expressed synaptotagmin
    member in the output synapses of cerebellar BCs, is used for ensuring efficient
    inhibitor synaptic transmission during high activity.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Chong
  full_name: Chen, Chong
  id: 3DFD581A-F248-11E8-B48F-1D18A9856A87
  last_name: Chen
citation:
  ama: Chen C. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter
    release. 2018. doi:<a href="https://doi.org/10.15479/AT:ISTA:th_997">10.15479/AT:ISTA:th_997</a>
  apa: Chen, C. (2018). <i>Synaptotagmins ensure speed and efficiency of inhibitory
    neurotransmitter release</i>. Institute of Science and Technology Austria. <a
    href="https://doi.org/10.15479/AT:ISTA:th_997">https://doi.org/10.15479/AT:ISTA:th_997</a>
  chicago: Chen, Chong. “Synaptotagmins Ensure Speed and Efficiency of Inhibitory
    Neurotransmitter Release.” Institute of Science and Technology Austria, 2018.
    <a href="https://doi.org/10.15479/AT:ISTA:th_997">https://doi.org/10.15479/AT:ISTA:th_997</a>.
  ieee: C. Chen, “Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter
    release,” Institute of Science and Technology Austria, 2018.
  ista: Chen C. 2018. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter
    release. Institute of Science and Technology Austria.
  mla: Chen, Chong. <i>Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter
    Release</i>. Institute of Science and Technology Austria, 2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:th_997">10.15479/AT:ISTA:th_997</a>.
  short: C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter
    Release, Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:45:49Z
date_published: 2018-03-01T00:00:00Z
date_updated: 2023-09-27T12:26:03Z
day: '01'
ddc:
- '571'
degree_awarded: PhD
department:
- _id: PeJo
doi: 10.15479/AT:ISTA:th_997
file:
- access_level: open_access
  checksum: 8e163ae9e927401b9fa7c1b3e6a3631a
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:58Z
  date_updated: 2020-07-14T12:46:04Z
  file_id: '5046'
  file_name: IST-2018-997-v1+1_Thesis_chong_a.pdf
  file_size: 8719458
  relation: main_file
- access_level: closed
  checksum: f7d7260029a5fbb5c982db61328ade52
  content_type: application/octet-stream
  creator: dernst
  date_created: 2019-04-05T09:25:26Z
  date_updated: 2020-07-14T12:46:04Z
  file_id: '6221'
  file_name: 2018_Thesis_chong_source.pages
  file_size: 47841940
  relation: source_file
file_date_updated: 2020-07-14T12:46:04Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '110'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7541'
pubrep_id: '997'
related_material:
  record:
  - id: '1117'
    relation: part_of_dissertation
    status: public
  - id: '749'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
title: Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
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: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '325'
abstract:
- lang: eng
  text: Probabilistic programs extend classical imperative programs with real-valued
    random variables and random branching. The most basic liveness property for such
    programs is the termination property. The qualitative (aka almost-sure) termination
    problem asks whether a given program program terminates with probability 1. While
    ranking functions provide a sound and complete method for non-probabilistic programs,
    the extension of them to probabilistic programs is achieved via ranking supermartingales
    (RSMs). Although deep theoretical results have been established about RSMs, their
    application to probabilistic programs with nondeterminism has been limited only
    to programs of restricted control-flow structure. For non-probabilistic programs,
    lexicographic ranking functions provide a compositional and practical approach
    for termination analysis of real-world programs. In this work we introduce lexicographic
    RSMs and show that they present a sound method for almost-sure termination of
    probabilistic programs with nondeterminism. We show that lexicographic RSMs provide
    a tool for compositional reasoning about almost-sure termination, and for probabilistic
    programs with linear arithmetic they can be synthesized efficiently (in polynomial
    time). We also show that with additional restrictions even asymptotic bounds on
    expected termination time can be obtained through lexicographic RSMs. Finally,
    we present experimental results on benchmarks adapted from previous work to demonstrate
    the effectiveness of our approach.
article_number: '34'
arxiv: 1
author:
- first_name: Sheshansh
  full_name: Agrawal, Sheshansh
  last_name: Agrawal
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Petr
  full_name: Novotny, Petr
  id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
  last_name: Novotny
citation:
  ama: 'Agrawal S, Chatterjee K, Novotný P. Lexicographic ranking supermartingales:
    an efficient approach to termination of probabilistic programs. In: Vol 2. ACM;
    2018. doi:<a href="https://doi.org/10.1145/3158122">10.1145/3158122</a>'
  apa: 'Agrawal, S., Chatterjee, K., &#38; Novotný, P. (2018). Lexicographic ranking
    supermartingales: an efficient approach to termination of probabilistic programs
    (Vol. 2). Presented at the POPL: Principles of Programming Languages, Los Angeles,
    CA, USA: ACM. <a href="https://doi.org/10.1145/3158122">https://doi.org/10.1145/3158122</a>'
  chicago: 'Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotný. “Lexicographic
    Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic
    Programs,” Vol. 2. ACM, 2018. <a href="https://doi.org/10.1145/3158122">https://doi.org/10.1145/3158122</a>.'
  ieee: 'S. Agrawal, K. Chatterjee, and P. Novotný, “Lexicographic ranking supermartingales:
    an efficient approach to termination of probabilistic programs,” presented at
    the POPL: Principles of Programming Languages, Los Angeles, CA, USA, 2018, vol.
    2, no. POPL.'
  ista: 'Agrawal S, Chatterjee K, Novotný P. 2018. Lexicographic ranking supermartingales:
    an efficient approach to termination of probabilistic programs. POPL: Principles
    of Programming Languages vol. 2, 34.'
  mla: 'Agrawal, Sheshansh, et al. <i>Lexicographic Ranking Supermartingales: An Efficient
    Approach to Termination of Probabilistic Programs</i>. Vol. 2, no. POPL, 34, ACM,
    2018, doi:<a href="https://doi.org/10.1145/3158122">10.1145/3158122</a>.'
  short: S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
conference:
  end_date: 2018-01-13
  location: Los Angeles, CA, USA
  name: 'POPL: Principles of Programming Languages'
  start_date: 2018-01-07
date_created: 2018-12-11T11:45:50Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2021-01-12T07:42:07Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3158122
external_id:
  arxiv:
  - '1709.04037'
intvolume: '         2'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1709.04037
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication_status: published
publisher: ACM
publist_id: '7540'
quality_controlled: '1'
status: public
title: 'Lexicographic ranking supermartingales: an efficient approach to termination
  of probabilistic programs'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2018'
...
---
_id: '326'
abstract:
- lang: eng
  text: Three-dimensional (3D) super-resolution microscopy technique structured illumination
    microscopy (SIM) imaging of dendritic spines along the dendrite has not been previously
    performed in fixed tissues, mainly due to deterioration of the stripe pattern
    of the excitation laser induced by light scattering and optical aberrations. To
    address this issue and solve these optical problems, we applied a novel clearing
    reagent, LUCID, to fixed brains. In SIM imaging, the penetration depth and the
    spatial resolution were improved in LUCID-treated slices, and 160-nm spatial resolution
    was obtained in a large portion of the imaging volume on a single apical dendrite.
    Furthermore, in a morphological analysis of spine heads of layer V pyramidal neurons
    (L5PNs) in the medial prefrontal cortex (mPFC) of chronic dexamethasone (Dex)-treated
    mice, SIM imaging revealed an altered distribution of spine forms that could not
    be detected by high-NA confocal imaging. Thus, super-resolution SIM imaging represents
    a promising high-throughput method for revealing spine morphologies in single
    dendrites.
acknowledged_ssus:
- _id: EM-Fac
article_processing_charge: No
author:
- first_name: Kazuaki
  full_name: Sawada, Kazuaki
  last_name: Sawada
- first_name: Ryosuke
  full_name: Kawakami, Ryosuke
  last_name: Kawakami
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Tomomi
  full_name: Nemoto, Tomomi
  last_name: Nemoto
citation:
  ama: Sawada K, Kawakami R, Shigemoto R, Nemoto T. Super resolution structural analysis
    of dendritic spines using three-dimensional structured illumination microscopy
    in cleared mouse brain slices. <i>European Journal of Neuroscience</i>. 2018;47(9):1033-1042.
    doi:<a href="https://doi.org/10.1111/ejn.13901">10.1111/ejn.13901</a>
  apa: Sawada, K., Kawakami, R., Shigemoto, R., &#38; Nemoto, T. (2018). Super resolution
    structural analysis of dendritic spines using three-dimensional structured illumination
    microscopy in cleared mouse brain slices. <i>European Journal of Neuroscience</i>.
    Wiley. <a href="https://doi.org/10.1111/ejn.13901">https://doi.org/10.1111/ejn.13901</a>
  chicago: Sawada, Kazuaki, Ryosuke Kawakami, Ryuichi Shigemoto, and Tomomi Nemoto.
    “Super Resolution Structural Analysis of Dendritic Spines Using Three-Dimensional
    Structured Illumination Microscopy in Cleared Mouse Brain Slices.” <i>European
    Journal of Neuroscience</i>. Wiley, 2018. <a href="https://doi.org/10.1111/ejn.13901">https://doi.org/10.1111/ejn.13901</a>.
  ieee: K. Sawada, R. Kawakami, R. Shigemoto, and T. Nemoto, “Super resolution structural
    analysis of dendritic spines using three-dimensional structured illumination microscopy
    in cleared mouse brain slices,” <i>European Journal of Neuroscience</i>, vol.
    47, no. 9. Wiley, pp. 1033–1042, 2018.
  ista: Sawada K, Kawakami R, Shigemoto R, Nemoto T. 2018. Super resolution structural
    analysis of dendritic spines using three-dimensional structured illumination microscopy
    in cleared mouse brain slices. European Journal of Neuroscience. 47(9), 1033–1042.
  mla: Sawada, Kazuaki, et al. “Super Resolution Structural Analysis of Dendritic
    Spines Using Three-Dimensional Structured Illumination Microscopy in Cleared Mouse
    Brain Slices.” <i>European Journal of Neuroscience</i>, vol. 47, no. 9, Wiley,
    2018, pp. 1033–42, doi:<a href="https://doi.org/10.1111/ejn.13901">10.1111/ejn.13901</a>.
  short: K. Sawada, R. Kawakami, R. Shigemoto, T. Nemoto, European Journal of Neuroscience
    47 (2018) 1033–1042.
date_created: 2018-12-11T11:45:50Z
date_published: 2018-03-07T00:00:00Z
date_updated: 2023-09-19T09:58:40Z
day: '07'
ddc:
- '570'
department:
- _id: RySh
doi: 10.1111/ejn.13901
external_id:
  isi:
  - '000431496400001'
file:
- access_level: open_access
  checksum: 98e901d8229e44aa8f3b51d248dedd09
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T16:16:50Z
  date_updated: 2020-07-14T12:46:06Z
  file_id: '5721'
  file_name: 2018_EJN_Sawada.pdf
  file_size: 4850261
  relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: '        47'
isi: 1
issue: '9'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '03'
oa: 1
oa_version: Published Version
page: 1033 - 1042
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley
publist_id: '7539'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Super resolution structural analysis of dendritic spines using three-dimensional
  structured illumination microscopy in cleared mouse brain slices
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
  short: CC BY-NC (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 47
year: '2018'
...
---
_id: '327'
abstract:
- lang: eng
  text: Many-body quantum systems typically display fast dynamics and ballistic spreading
    of information. Here we address the open problem of how slow the dynamics can
    be after a generic breaking of integrability by local interactions. We develop
    a method based on degenerate perturbation theory that reveals slow dynamical regimes
    and delocalization processes in general translation invariant models, along with
    accurate estimates of their delocalization time scales. Our results shed light
    on the fundamental questions of the robustness of quantum integrable systems and
    the possibility of many-body localization without disorder. As an example, we
    construct a large class of one-dimensional lattice models where, despite the absence
    of asymptotic localization, the transient dynamics is exceptionally slow, i.e.,
    the dynamics is indistinguishable from that of many-body localized systems for
    the system sizes and time scales accessible in experiments and numerical simulations.
acknowledgement: 'We thank F. Huveneers for useful discussions. Z.P. and A.M. acknowledge
  support by EPSRC Grant No. EP/P009409/1 and and the Royal Society Research Grant
  No. RG160635. Statement of compliance with EPSRC policy framework on research data:
  This publication is theoretical work that does not require supporting research data.
  D.A. acknowledges support by the Swiss National Science Foundation. M.Z., M.M. and
  T.P. acknowledge Grants J1-7279 (M.Z.) and N1-0025 (M.M. and T.P.) of Slovenian
  Research Agency, and Advanced Grant of European Research Council, Grant No. 694544
  - OMNES (T.P.).'
article_number: '104307'
article_processing_charge: No
author:
- first_name: Alexios
  full_name: Michailidis, Alexios
  id: 36EBAD38-F248-11E8-B48F-1D18A9856A87
  last_name: Michailidis
  orcid: 0000-0002-8443-1064
- first_name: Marko
  full_name: Žnidarič, Marko
  last_name: Žnidarič
- first_name: Mariya
  full_name: Medvedyeva, Mariya
  last_name: Medvedyeva
- first_name: Dmitry
  full_name: Abanin, Dmitry
  last_name: Abanin
- first_name: Tomaž
  full_name: Prosen, Tomaž
  last_name: Prosen
- first_name: Zlatko
  full_name: Papić, Zlatko
  last_name: Papić
citation:
  ama: Michailidis A, Žnidarič M, Medvedyeva M, Abanin D, Prosen T, Papić Z. Slow
    dynamics in translation-invariant quantum lattice models. <i>Physical Review B</i>.
    2018;97(10). doi:<a href="https://doi.org/10.1103/PhysRevB.97.104307">10.1103/PhysRevB.97.104307</a>
  apa: Michailidis, A., Žnidarič, M., Medvedyeva, M., Abanin, D., Prosen, T., &#38;
    Papić, Z. (2018). Slow dynamics in translation-invariant quantum lattice models.
    <i>Physical Review B</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevB.97.104307">https://doi.org/10.1103/PhysRevB.97.104307</a>
  chicago: Michailidis, Alexios, Marko Žnidarič, Mariya Medvedyeva, Dmitry Abanin,
    Tomaž Prosen, and Zlatko Papić. “Slow Dynamics in Translation-Invariant Quantum
    Lattice Models.” <i>Physical Review B</i>. American Physical Society, 2018. <a
    href="https://doi.org/10.1103/PhysRevB.97.104307">https://doi.org/10.1103/PhysRevB.97.104307</a>.
  ieee: A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, and Z. Papić,
    “Slow dynamics in translation-invariant quantum lattice models,” <i>Physical Review
    B</i>, vol. 97, no. 10. American Physical Society, 2018.
  ista: Michailidis A, Žnidarič M, Medvedyeva M, Abanin D, Prosen T, Papić Z. 2018.
    Slow dynamics in translation-invariant quantum lattice models. Physical Review
    B. 97(10), 104307.
  mla: Michailidis, Alexios, et al. “Slow Dynamics in Translation-Invariant Quantum
    Lattice Models.” <i>Physical Review B</i>, vol. 97, no. 10, 104307, American Physical
    Society, 2018, doi:<a href="https://doi.org/10.1103/PhysRevB.97.104307">10.1103/PhysRevB.97.104307</a>.
  short: A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić,
    Physical Review B 97 (2018).
date_created: 2018-12-11T11:45:50Z
date_published: 2018-03-19T00:00:00Z
date_updated: 2023-09-18T09:31:46Z
day: '19'
department:
- _id: MaSe
doi: 10.1103/PhysRevB.97.104307
external_id:
  isi:
  - '000427798800005'
intvolume: '        97'
isi: 1
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1706.05026
month: '03'
oa: 1
oa_version: Preprint
publication: Physical Review B
publication_status: published
publisher: American Physical Society
publist_id: '7538'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Slow dynamics in translation-invariant quantum lattice models
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 97
year: '2018'
...
---
_id: '328'
abstract:
- lang: eng
  text: The drag of turbulent flows can be drastically decreased by adding small amounts
    of high molecular weight polymers. While drag reduction initially increases with
    polymer concentration, it eventually saturates to what is known as the maximum
    drag reduction (MDR) asymptote; this asymptote is generally attributed to the
    dynamics being reduced to a marginal yet persistent state of subdued turbulent
    motion. Contrary to this accepted view, we show that, for an appropriate choice
    of parameters, polymers can reduce the drag beyond the suggested asymptotic limit,
    eliminating turbulence and giving way to laminar flow. At higher polymer concentrations,
    however, the laminar state becomes unstable, resulting in a fluctuating flow with
    the characteristic drag of the MDR asymptote. Our findings indicate that the asymptotic
    state is hence dynamically disconnected from ordinary turbulence. © 2018 American
    Physical Society.
acknowledged_ssus:
- _id: SSU
acknowledgement: The authors thank Philipp Maier and the IST Austria workshop for
  their dedicated technical support.
article_number: '124501'
article_processing_charge: No
author:
- first_name: George H
  full_name: Choueiri, George H
  id: 448BD5BC-F248-11E8-B48F-1D18A9856A87
  last_name: Choueiri
- first_name: Jose M
  full_name: Lopez Alonso, Jose M
  id: 40770848-F248-11E8-B48F-1D18A9856A87
  last_name: Lopez Alonso
  orcid: 0000-0002-0384-2022
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
citation:
  ama: Choueiri GH, Lopez Alonso JM, Hof B. Exceeding the asymptotic limit of polymer
    drag reduction. <i>Physical Review Letters</i>. 2018;120(12). doi:<a href="https://doi.org/10.1103/PhysRevLett.120.124501">10.1103/PhysRevLett.120.124501</a>
  apa: Choueiri, G. H., Lopez Alonso, J. M., &#38; Hof, B. (2018). Exceeding the asymptotic
    limit of polymer drag reduction. <i>Physical Review Letters</i>. American Physical
    Society. <a href="https://doi.org/10.1103/PhysRevLett.120.124501">https://doi.org/10.1103/PhysRevLett.120.124501</a>
  chicago: Choueiri, George H, Jose M Lopez Alonso, and Björn Hof. “Exceeding the
    Asymptotic Limit of Polymer Drag Reduction.” <i>Physical Review Letters</i>. American
    Physical Society, 2018. <a href="https://doi.org/10.1103/PhysRevLett.120.124501">https://doi.org/10.1103/PhysRevLett.120.124501</a>.
  ieee: G. H. Choueiri, J. M. Lopez Alonso, and B. Hof, “Exceeding the asymptotic
    limit of polymer drag reduction,” <i>Physical Review Letters</i>, vol. 120, no.
    12. American Physical Society, 2018.
  ista: Choueiri GH, Lopez Alonso JM, Hof B. 2018. Exceeding the asymptotic limit
    of polymer drag reduction. Physical Review Letters. 120(12), 124501.
  mla: Choueiri, George H., et al. “Exceeding the Asymptotic Limit of Polymer Drag
    Reduction.” <i>Physical Review Letters</i>, vol. 120, no. 12, 124501, American
    Physical Society, 2018, doi:<a href="https://doi.org/10.1103/PhysRevLett.120.124501">10.1103/PhysRevLett.120.124501</a>.
  short: G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
date_created: 2018-12-11T11:45:51Z
date_published: 2018-03-19T00:00:00Z
date_updated: 2023-10-10T13:27:44Z
day: '19'
department:
- _id: BjHo
doi: 10.1103/PhysRevLett.120.124501
ec_funded: 1
external_id:
  isi:
  - '000427804000005'
intvolume: '       120'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1703.06271
month: '03'
oa: 1
oa_version: Preprint
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '306589'
  name: Decoding the complexity of turbulence at its origin
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '7537'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Exceeding the asymptotic limit of polymer drag reduction
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 120
year: '2018'
...
---
_id: '33'
abstract:
- lang: eng
  text: Secondary contact is the reestablishment of gene flow between sister populations
    that have diverged. For instance, at the end of the Quaternary glaciations in
    Europe, secondary contact occurred during the northward expansion of the populations
    which had found refugia in the southern peninsulas. With the advent of multi-locus
    markers, secondary contact can be investigated using various molecular signatures
    including gradients of allele frequency, admixture clines, and local increase
    of genetic differentiation. We use coalescent simulations to investigate if molecular
    data provide enough information to distinguish between secondary contact following
    range expansion and an alternative evolutionary scenario consisting of a barrier
    to gene flow in an isolation-by-distance model. We find that an excess of linkage
    disequilibrium and of genetic diversity at the suture zone is a unique signature
    of secondary contact. We also find that the directionality index ψ, which was
    proposed to study range expansion, is informative to distinguish between the two
    hypotheses. However, although evidence for secondary contact is usually conveyed
    by statistics related to admixture coefficients, we find that they can be confounded
    by isolation-by-distance. We recommend to account for the spatial repartition
    of individuals when investigating secondary contact in order to better reflect
    the complex spatio-temporal evolution of populations and species.
acknowledgement: 'Johanna Bertl was supported by the Vienna Graduate School of Population
  Genetics (Austrian Science Fund (FWF): W1225-B20) and worked on this project while
  employed at the Department of Statistics and Operations Research, University of
  Vienna, Austria. This article was developed in the framework of the Grenoble Alpes
  Data Institute, which is supported by the French National Research Agency under
  the “Investissments d’avenir” program (ANR-15-IDEX-02).'
article_number: e5325
article_processing_charge: No
author:
- first_name: Johanna
  full_name: Bertl, Johanna
  last_name: Bertl
- first_name: Harald
  full_name: Ringbauer, Harald
  id: 417FCFF4-F248-11E8-B48F-1D18A9856A87
  last_name: Ringbauer
  orcid: 0000-0002-4884-9682
- first_name: Michaël
  full_name: Blum, Michaël
  last_name: Blum
citation:
  ama: Bertl J, Ringbauer H, Blum M. Can secondary contact following range expansion
    be distinguished from barriers to gene flow? <i>PeerJ</i>. 2018;2018(10). doi:<a
    href="https://doi.org/10.7717/peerj.5325">10.7717/peerj.5325</a>
  apa: Bertl, J., Ringbauer, H., &#38; Blum, M. (2018). Can secondary contact following
    range expansion be distinguished from barriers to gene flow? <i>PeerJ</i>. PeerJ.
    <a href="https://doi.org/10.7717/peerj.5325">https://doi.org/10.7717/peerj.5325</a>
  chicago: Bertl, Johanna, Harald Ringbauer, and Michaël Blum. “Can Secondary Contact
    Following Range Expansion Be Distinguished from Barriers to Gene Flow?” <i>PeerJ</i>.
    PeerJ, 2018. <a href="https://doi.org/10.7717/peerj.5325">https://doi.org/10.7717/peerj.5325</a>.
  ieee: J. Bertl, H. Ringbauer, and M. Blum, “Can secondary contact following range
    expansion be distinguished from barriers to gene flow?,” <i>PeerJ</i>, vol. 2018,
    no. 10. PeerJ, 2018.
  ista: Bertl J, Ringbauer H, Blum M. 2018. Can secondary contact following range
    expansion be distinguished from barriers to gene flow? PeerJ. 2018(10), e5325.
  mla: Bertl, Johanna, et al. “Can Secondary Contact Following Range Expansion Be
    Distinguished from Barriers to Gene Flow?” <i>PeerJ</i>, vol. 2018, no. 10, e5325,
    PeerJ, 2018, doi:<a href="https://doi.org/10.7717/peerj.5325">10.7717/peerj.5325</a>.
  short: J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
date_created: 2018-12-11T11:44:16Z
date_published: 2018-10-01T00:00:00Z
date_updated: 2023-10-17T12:24:43Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.7717/peerj.5325
external_id:
  isi:
  - '000447204400001'
  pmid:
  - '30294507'
file:
- access_level: open_access
  checksum: 3334886c4b39678db4c4b74299ca14ba
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T10:46:06Z
  date_updated: 2020-07-14T12:46:06Z
  file_id: '5692'
  file_name: 2018_PeerJ_Bertl.pdf
  file_size: 1328344
  relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: '      2018'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: PeerJ
publication_status: published
publisher: PeerJ
publist_id: '8022'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Can secondary contact following range expansion be distinguished from barriers
  to gene flow?
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2018
year: '2018'
...
---
_id: '3300'
abstract:
- lang: eng
  text: "This book first explores the origins of this idea, grounded in theoretical
    work on temporal logic and automata. The editors and authors are among the world's
    leading researchers in this domain, and they contributed 32 chapters representing
    a thorough view of the development and application of the technique. Topics covered
    include binary decision diagrams, symbolic model checking, satisfiability modulo
    theories, partial-order reduction, abstraction, interpolation, concurrency, security
    protocols, games, probabilistic model checking, and process algebra, and chapters
    on the transfer of theory to industrial practice, property specification languages
    for hardware, and verification of real-time systems and hybrid systems.\r\n\r\nThe
    book will be valuable for researchers and graduate students engaged with the development
    of formal methods and verification tools."
article_processing_charge: No
author:
- first_name: Edmund M.
  full_name: Clarke, Edmund M.
  last_name: Clarke
- 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: Helmut
  full_name: Veith, Helmut
  last_name: Veith
- first_name: Roderick
  full_name: Bloem, Roderick
  last_name: Bloem
citation:
  ama: 'Clarke EM, Henzinger TA, Veith H, Bloem R. <i>Handbook of Model Checking</i>.
    1st ed. Cham: Springer Nature; 2018. doi:<a href="https://doi.org/10.1007/978-3-319-10575-8">10.1007/978-3-319-10575-8</a>'
  apa: 'Clarke, E. M., Henzinger, T. A., Veith, H., &#38; Bloem, R. (2018). <i>Handbook
    of Model Checking</i> (1st ed.). Cham: Springer Nature. <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a>'
  chicago: 'Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem.
    <i>Handbook of Model Checking</i>. 1st ed. Cham: Springer Nature, 2018. <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a>.'
  ieee: 'E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, <i>Handbook of Model
    Checking</i>, 1st ed. Cham: Springer Nature, 2018.'
  ista: 'Clarke EM, Henzinger TA, Veith H, Bloem R. 2018. Handbook of Model Checking
    1st ed., Cham: Springer Nature, XLVIII, 1212p.'
  mla: Clarke, Edmund M., et al. <i>Handbook of Model Checking</i>. 1st ed., Springer
    Nature, 2018, doi:<a href="https://doi.org/10.1007/978-3-319-10575-8">10.1007/978-3-319-10575-8</a>.
  short: E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking,
    1st ed., Springer Nature, Cham, 2018.
date_created: 2018-12-11T12:02:32Z
date_published: 2018-06-08T00:00:00Z
date_updated: 2025-07-24T09:25:31Z
day: '08'
department:
- _id: ToHe
doi: 10.1007/978-3-319-10575-8
edition: '1'
language:
- iso: eng
month: '06'
oa_version: None
page: XLVIII, 1212
place: Cham
publication_identifier:
  eisbn:
  - 978-3-319-10575-8
  isbn:
  - 978-3-319-10574-1
publication_status: published
publisher: Springer Nature
publist_id: '3340'
quality_controlled: '1'
retracted: '1'
scopus_import: '1'
status: public
title: Handbook of Model Checking
type: book
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '34'
abstract:
- lang: eng
  text: Partially observable Markov decision processes (POMDPs) are widely used in
    probabilistic planning problems in which an agent interacts with an environment
    using noisy and imprecise sensors. We study a setting in which the sensors are
    only partially defined and the goal is to synthesize “weakest” additional sensors,
    such that in the resulting POMDP, there is a small-memory policy for the agent
    that almost-surely (with probability 1) satisfies a reachability objective. We
    show that the problem is NP-complete, and present a symbolic algorithm by encoding
    the problem into SAT instances. We illustrate trade-offs between the amount of
    memory of the policy and the number of additional sensors on a simple example.
    We have implemented our approach and consider three classical POMDP examples from
    the literature, and show that in all the examples the number of sensors can be
    significantly decreased (as compared to the existing solutions in the literature)
    without increasing the complexity of the policies.
alternative_title:
- ICAPS
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: Martin
  full_name: Chemlík, Martin
  last_name: Chemlík
- first_name: Ufuk
  full_name: Topcu, Ufuk
  last_name: Topcu
citation:
  ama: 'Chatterjee K, Chemlík M, Topcu U. Sensor synthesis for POMDPs with reachability
    objectives. In: Vol 2018. AAAI Press; 2018:47-55.'
  apa: 'Chatterjee, K., Chemlík, M., &#38; Topcu, U. (2018). Sensor synthesis for
    POMDPs with reachability objectives (Vol. 2018, pp. 47–55). Presented at the ICAPS:
    International Conference on Automated Planning and Scheduling, Delft, Netherlands:
    AAAI Press.'
  chicago: Chatterjee, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis
    for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.
  ieee: 'K. Chatterjee, M. Chemlík, and U. Topcu, “Sensor synthesis for POMDPs with
    reachability objectives,” presented at the ICAPS: International Conference on
    Automated Planning and Scheduling, Delft, Netherlands, 2018, vol. 2018, pp. 47–55.'
  ista: 'Chatterjee K, Chemlík M, Topcu U. 2018. Sensor synthesis for POMDPs with
    reachability objectives. ICAPS: International Conference on Automated Planning
    and Scheduling, ICAPS, vol. 2018, 47–55.'
  mla: Chatterjee, Krishnendu, et al. <i>Sensor Synthesis for POMDPs with Reachability
    Objectives</i>. Vol. 2018, AAAI Press, 2018, pp. 47–55.
  short: K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
conference:
  end_date: 2018-06-29
  location: Delft, Netherlands
  name: 'ICAPS: International Conference on Automated Planning and Scheduling'
  start_date: 2018-06-24
date_created: 2018-12-11T11:44:16Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-19T14:44:14Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
external_id:
  arxiv:
  - '1710.00675'
  isi:
  - '000492986200006'
intvolume: '      2018'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1710.00675
month: '06'
oa: 1
oa_version: Preprint
page: 47 - 55
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: AAAI Press
publist_id: '8021'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sensor synthesis for POMDPs with reachability objectives
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2018
year: '2018'
...
---
_id: '35'
abstract:
- lang: eng
  text: 'We consider planning problems for graphs, Markov decision processes (MDPs),
    and games on graphs. While graphs represent the most basic planning model, MDPs
    represent interaction with nature and games on graphs represent interaction with
    an adversarial environment. We consider two planning problems where there are
    k different target sets, and the problems are as follows: (a) the coverage problem
    asks whether there is a plan for each individual target set; and (b) the sequential
    target reachability problem asks whether the targets can be reached in sequence.
    For the coverage problem, we present a linear-time algorithm for graphs, and quadratic
    conditional lower bound for MDPs and games on graphs. For the sequential target
    problem, we present a linear-time algorithm for graphs, a sub-quadratic algorithm
    for MDPs, and a quadratic conditional lower bound for games on graphs. Our results
    with conditional lower bounds establish (i) model-separation results showing that
    for the coverage problem MDPs and games on graphs are harder than graphs and for
    the sequential reachability problem games on graphs are harder than MDPs and graphs;
    and (ii) objective-separation results showing that for MDPs the coverage problem
    is harder than the sequential target problem.'
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: Wolfgang
  full_name: Dvorák, Wolfgang
  last_name: Dvorák
- 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: Alexander
  full_name: Svozil, Alexander
  last_name: Svozil
citation:
  ama: 'Chatterjee K, Dvorák W, Henzinger MH, Svozil A. Algorithms and conditional
    lower bounds for planning problems. In: <i>28th International Conference on Automated
    Planning and Scheduling </i>. AAAI Press; 2018.'
  apa: 'Chatterjee, K., Dvorák, W., Henzinger, M. H., &#38; Svozil, A. (2018). Algorithms
    and conditional lower bounds for planning problems. In <i>28th International Conference
    on Automated Planning and Scheduling </i>. Delft, Netherlands: AAAI Press.'
  chicago: Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Alexander
    Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In <i>28th
    International Conference on Automated Planning and Scheduling </i>. AAAI Press,
    2018.
  ieee: K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Algorithms and
    conditional lower bounds for planning problems,” in <i>28th International Conference
    on Automated Planning and Scheduling </i>, Delft, Netherlands, 2018.
  ista: 'Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2018. Algorithms and conditional
    lower bounds for planning problems. 28th International Conference on Automated
    Planning and Scheduling . ICAPS: International Conference on Automated Planning
    and Scheduling.'
  mla: Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for
    Planning Problems.” <i>28th International Conference on Automated Planning and
    Scheduling </i>, AAAI Press, 2018.
  short: K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, 28th International
    Conference on Automated Planning and Scheduling , AAAI Press, 2018.
conference:
  end_date: 2018-06-29
  location: Delft, Netherlands
  name: 'ICAPS: International Conference on Automated Planning and Scheduling'
  start_date: 2018-06-24
date_created: 2018-12-11T11:44:17Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-26T10:41:41Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
external_id:
  arxiv:
  - '1804.07031'
  isi:
  - '000492986200007'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1804.07031
month: '06'
oa: 1
oa_version: None
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication: '28th International Conference on Automated Planning and Scheduling '
publication_status: published
publisher: AAAI Press
publist_id: '8020'
quality_controlled: '1'
related_material:
  record:
  - id: '9293'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Algorithms and conditional lower bounds for planning problems
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '36'
abstract:
- lang: eng
  text: Wheat (Triticum ssp.) is one of the most important human food sources. However,
    this crop is very sensitive to temperature changes. Specifically, processes during
    wheat leaf, flower, and seed development and photosynthesis, which all contribute
    to the yield of this crop, are affected by high temperature. While this has to
    some extent been investigated on physiological, developmental, and molecular levels,
    very little is known about early signalling events associated with an increase
    in temperature. Phosphorylation-mediated signalling mechanisms, which are quick
    and dynamic, are associated with plant growth and development, also under abiotic
    stress conditions. Therefore, we probed the impact of a short-term and mild increase
    in temperature on the wheat leaf and spikelet phosphoproteome. In total, 3822
    (containing 5178 phosphosites) and 5581 phosphopeptides (containing 7023 phosphosites)
    were identified in leaf and spikelet samples, respectively. Following statistical
    analysis, the resulting data set provides the scientific community with a first
    large-scale plant phosphoproteome under the control of higher ambient temperature.
    This community resource on the high temperature-mediated wheat phosphoproteome
    will be valuable for future studies. Our analyses also revealed a core set of
    common proteins between leaf and spikelet, suggesting some level of conserved
    regulatory mechanisms. Furthermore, we observed temperature-regulated interconversion
    of phosphoforms, which probably impacts protein activity.
acknowledgement: TZ is supported by a grant from the Chinese Scholarship Council.
article_processing_charge: No
author:
- first_name: Lam
  full_name: Vu, Lam
  last_name: Vu
- first_name: Tingting
  full_name: Zhu, Tingting
  last_name: Zhu
- first_name: Inge
  full_name: Verstraeten, Inge
  id: 362BF7FE-F248-11E8-B48F-1D18A9856A87
  last_name: Verstraeten
  orcid: 0000-0001-7241-2328
- first_name: Brigitte
  full_name: Van De Cotte, Brigitte
  last_name: Van De Cotte
- first_name: Kris
  full_name: Gevaert, Kris
  last_name: Gevaert
- first_name: Ive
  full_name: De Smet, Ive
  last_name: De Smet
citation:
  ama: Vu L, Zhu T, Verstraeten I, Van De Cotte B, Gevaert K, De Smet I. Temperature-induced
    changes in the wheat phosphoproteome reveal temperature-regulated interconversion
    of phosphoforms. <i>Journal of Experimental Botany</i>. 2018;69(19):4609-4624.
    doi:<a href="https://doi.org/10.1093/jxb/ery204">10.1093/jxb/ery204</a>
  apa: Vu, L., Zhu, T., Verstraeten, I., Van De Cotte, B., Gevaert, K., &#38; De Smet,
    I. (2018). Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated
    interconversion of phosphoforms. <i>Journal of Experimental Botany</i>. Oxford
    University Press. <a href="https://doi.org/10.1093/jxb/ery204">https://doi.org/10.1093/jxb/ery204</a>
  chicago: Vu, Lam, Tingting Zhu, Inge Verstraeten, Brigitte Van De Cotte, Kris Gevaert,
    and Ive De Smet. “Temperature-Induced Changes in the Wheat Phosphoproteome Reveal
    Temperature-Regulated Interconversion of Phosphoforms.” <i>Journal of Experimental
    Botany</i>. Oxford University Press, 2018. <a href="https://doi.org/10.1093/jxb/ery204">https://doi.org/10.1093/jxb/ery204</a>.
  ieee: L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, and I. De Smet,
    “Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated
    interconversion of phosphoforms,” <i>Journal of Experimental Botany</i>, vol.
    69, no. 19. Oxford University Press, pp. 4609–4624, 2018.
  ista: Vu L, Zhu T, Verstraeten I, Van De Cotte B, Gevaert K, De Smet I. 2018. Temperature-induced
    changes in the wheat phosphoproteome reveal temperature-regulated interconversion
    of phosphoforms. Journal of Experimental Botany. 69(19), 4609–4624.
  mla: Vu, Lam, et al. “Temperature-Induced Changes in the Wheat Phosphoproteome Reveal
    Temperature-Regulated Interconversion of Phosphoforms.” <i>Journal of Experimental
    Botany</i>, vol. 69, no. 19, Oxford University Press, 2018, pp. 4609–24, doi:<a
    href="https://doi.org/10.1093/jxb/ery204">10.1093/jxb/ery204</a>.
  short: L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, I. De Smet, Journal
    of Experimental Botany 69 (2018) 4609–4624.
date_created: 2018-12-11T11:44:17Z
date_published: 2018-08-31T00:00:00Z
date_updated: 2023-09-19T10:00:46Z
day: '31'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1093/jxb/ery204
external_id:
  isi:
  - '000443568700010'
file:
- access_level: open_access
  checksum: 34cb0a1611588b75bd6f4913fb4e30f1
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-18T09:47:51Z
  date_updated: 2020-07-14T12:46:13Z
  file_id: '5741'
  file_name: 2018_JournalExperimBotany_Vu.pdf
  file_size: 3359316
  relation: main_file
file_date_updated: 2020-07-14T12:46:13Z
has_accepted_license: '1'
intvolume: '        69'
isi: 1
issue: '19'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 4609 - 4624
publication: Journal of Experimental Botany
publication_status: published
publisher: Oxford University Press
publist_id: '8019'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated
  interconversion of phosphoforms
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 69
year: '2018'
...
---
_id: '37'
abstract:
- lang: eng
  text: Developmental processes are inherently dynamic and understanding them requires
    quantitative measurements of gene and protein expression levels in space and time.
    While live imaging is a powerful approach for obtaining such data, it is still
    a challenge to apply it over long periods of time to large tissues, such as the
    embryonic spinal cord in mouse and chick. Nevertheless, dynamics of gene expression
    and signaling activity patterns in this organ can be studied by collecting tissue
    sections at different developmental stages. In combination with immunohistochemistry,
    this allows for measuring the levels of multiple developmental regulators in a
    quantitative manner with high spatiotemporal resolution. The mean protein expression
    levels over time, as well as embryo-to-embryo variability can be analyzed. A key
    aspect of the approach is the ability to compare protein levels across different
    samples. This requires a number of considerations in sample preparation, imaging
    and data analysis. Here we present a protocol for obtaining time course data of
    dorsoventral expression patterns from mouse and chick neural tube in the first
    3 days of neural tube development. The described workflow starts from embryo dissection
    and ends with a processed dataset. Software scripts for data analysis are included.
    The protocol is adaptable and instructions that allow the user to modify different
    steps are provided. Thus, the procedure can be altered for analysis of time-lapse
    images and applied to systems other than the neural tube.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Marcin P
  full_name: Zagórski, Marcin P
  id: 343DA0DC-F248-11E8-B48F-1D18A9856A87
  last_name: Zagórski
  orcid: 0000-0001-7896-7762
- first_name: Anna
  full_name: Kicheva, Anna
  id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
  last_name: Kicheva
  orcid: 0000-0003-4509-4998
citation:
  ama: 'Zagórski MP, Kicheva A. Measuring dorsoventral pattern and morphogen signaling
    profiles in the growing neural tube. In: <i>Morphogen Gradients </i>. Vol 1863.
    MIMB. Springer Nature; 2018:47-63. doi:<a href="https://doi.org/10.1007/978-1-4939-8772-6_4">10.1007/978-1-4939-8772-6_4</a>'
  apa: Zagórski, M. P., &#38; Kicheva, A. (2018). Measuring dorsoventral pattern and
    morphogen signaling profiles in the growing neural tube. In <i>Morphogen Gradients
    </i> (Vol. 1863, pp. 47–63). Springer Nature. <a href="https://doi.org/10.1007/978-1-4939-8772-6_4">https://doi.org/10.1007/978-1-4939-8772-6_4</a>
  chicago: Zagórski, Marcin P, and Anna Kicheva. “Measuring Dorsoventral Pattern and
    Morphogen Signaling Profiles in the Growing Neural Tube.” In <i>Morphogen Gradients
    </i>, 1863:47–63. MIMB. Springer Nature, 2018. <a href="https://doi.org/10.1007/978-1-4939-8772-6_4">https://doi.org/10.1007/978-1-4939-8772-6_4</a>.
  ieee: M. P. Zagórski and A. Kicheva, “Measuring dorsoventral pattern and morphogen
    signaling profiles in the growing neural tube,” in <i>Morphogen Gradients </i>,
    vol. 1863, Springer Nature, 2018, pp. 47–63.
  ista: 'Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen
    signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods
    in Molecular Biology, vol. 1863, 47–63.'
  mla: Zagórski, Marcin P., and Anna Kicheva. “Measuring Dorsoventral Pattern and
    Morphogen Signaling Profiles in the Growing Neural Tube.” <i>Morphogen Gradients
    </i>, vol. 1863, Springer Nature, 2018, pp. 47–63, doi:<a href="https://doi.org/10.1007/978-1-4939-8772-6_4">10.1007/978-1-4939-8772-6_4</a>.
  short: M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018,
    pp. 47–63.
date_created: 2018-12-11T11:44:17Z
date_published: 2018-10-16T00:00:00Z
date_updated: 2021-01-12T07:49:03Z
day: '16'
ddc:
- '570'
department:
- _id: AnKi
doi: 10.1007/978-1-4939-8772-6_4
ec_funded: 1
file:
- access_level: open_access
  checksum: 2a97d0649fdcfcf1bdca7c8ad1dce71b
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-13T14:20:37Z
  date_updated: 2020-10-13T14:20:37Z
  file_id: '8656'
  file_name: 2018_MIMB_Zagorski.pdf
  file_size: 4906815
  relation: main_file
  success: 1
file_date_updated: 2020-10-13T14:20:37Z
has_accepted_license: '1'
intvolume: '      1863'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 47 - 63
project:
- _id: B6FC0238-B512-11E9-945C-1524E6697425
  call_identifier: H2020
  grant_number: '680037'
  name: Coordination of Patterning And Growth In the Spinal Cord
publication: 'Morphogen Gradients '
publication_identifier:
  isbn:
  - 978-1-4939-8771-9
  issn:
  - 1064-3745
publication_status: published
publisher: Springer Nature
publist_id: '8018'
quality_controlled: '1'
scopus_import: '1'
series_title: MIMB
status: public
title: Measuring dorsoventral pattern and morphogen signaling profiles in the growing
  neural tube
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1863
year: '2018'
...
---
_id: '38'
abstract:
- lang: eng
  text: 'Genomes of closely-related species or populations often display localized
    regions of enhanced relative sequence divergence, termed genomic islands. It has
    been proposed that these islands arise through selective sweeps and/or barriers
    to gene flow. Here, we genetically dissect a genomic island that controls flower
    color pattern differences between two subspecies of Antirrhinum majus, A.m.striatum
    and A.m.pseudomajus, and relate it to clinal variation across a natural hybrid
    zone. We show that selective sweeps likely raised relative divergence at two tightly-linked
    MYB-like transcription factors, leading to distinct flower patterns in the two
    subspecies. The two patterns provide alternate floral guides and create a strong
    barrier to gene flow where populations come into contact. This barrier affects
    the selected flower color genes and tightlylinked loci, but does not extend outside
    of this domain, allowing gene flow to lower relative divergence for the rest of
    the chromosome. Thus, both selective sweeps and barriers to gene flow play a role
    in shaping genomic islands: sweeps cause elevation in relative divergence, while
    heterogeneous gene flow flattens the surrounding "sea," making the island of divergence
    stand out. By showing how selective sweeps establish alternative adaptive phenotypes
    that lead to barriers to gene flow, our study sheds light on possible mechanisms
    leading to reproductive isolation and speciation.'
acknowledgement: ' ERC Grant 201252 (to N.H.B.)'
article_processing_charge: No
author:
- first_name: Hugo
  full_name: Tavares, Hugo
  last_name: Tavares
- first_name: Annabel
  full_name: Whitley, Annabel
  last_name: Whitley
- first_name: David
  full_name: Field, David
  id: 419049E2-F248-11E8-B48F-1D18A9856A87
  last_name: Field
  orcid: 0000-0002-4014-8478
- first_name: Desmond
  full_name: Bradley, Desmond
  last_name: Bradley
- first_name: Matthew
  full_name: Couchman, Matthew
  last_name: Couchman
- first_name: Lucy
  full_name: Copsey, Lucy
  last_name: Copsey
- first_name: Joane
  full_name: Elleouet, Joane
  last_name: Elleouet
- first_name: Monique
  full_name: Burrus, Monique
  last_name: Burrus
- first_name: Christophe
  full_name: Andalo, Christophe
  last_name: Andalo
- first_name: Miaomiao
  full_name: Li, Miaomiao
  last_name: Li
- first_name: Qun
  full_name: Li, Qun
  last_name: Li
- first_name: Yongbiao
  full_name: Xue, Yongbiao
  last_name: Xue
- first_name: Alexandra B
  full_name: Rebocho, Alexandra B
  last_name: Rebocho
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
- first_name: Enrico
  full_name: Coen, Enrico
  last_name: Coen
citation:
  ama: Tavares H, Whitley A, Field D, et al. Selection and gene flow shape genomic
    islands that control floral guides. <i>PNAS</i>. 2018;115(43):11006-11011. doi:<a
    href="https://doi.org/10.1073/pnas.1801832115">10.1073/pnas.1801832115</a>
  apa: Tavares, H., Whitley, A., Field, D., Bradley, D., Couchman, M., Copsey, L.,
    … Coen, E. (2018). Selection and gene flow shape genomic islands that control
    floral guides. <i>PNAS</i>. National Academy of Sciences. <a href="https://doi.org/10.1073/pnas.1801832115">https://doi.org/10.1073/pnas.1801832115</a>
  chicago: Tavares, Hugo, Annabel Whitley, David Field, Desmond Bradley, Matthew Couchman,
    Lucy Copsey, Joane Elleouet, et al. “Selection and Gene Flow Shape Genomic Islands
    That Control Floral Guides.” <i>PNAS</i>. National Academy of Sciences, 2018.
    <a href="https://doi.org/10.1073/pnas.1801832115">https://doi.org/10.1073/pnas.1801832115</a>.
  ieee: H. Tavares <i>et al.</i>, “Selection and gene flow shape genomic islands that
    control floral guides,” <i>PNAS</i>, vol. 115, no. 43. National Academy of Sciences,
    pp. 11006–11011, 2018.
  ista: Tavares H, Whitley A, Field D, Bradley D, Couchman M, Copsey L, Elleouet J,
    Burrus M, Andalo C, Li M, Li Q, Xue Y, Rebocho AB, Barton NH, Coen E. 2018. Selection
    and gene flow shape genomic islands that control floral guides. PNAS. 115(43),
    11006–11011.
  mla: Tavares, Hugo, et al. “Selection and Gene Flow Shape Genomic Islands That Control
    Floral Guides.” <i>PNAS</i>, vol. 115, no. 43, National Academy of Sciences, 2018,
    pp. 11006–11, doi:<a href="https://doi.org/10.1073/pnas.1801832115">10.1073/pnas.1801832115</a>.
  short: H. Tavares, A. Whitley, D. Field, D. Bradley, M. Couchman, L. Copsey, J.
    Elleouet, M. Burrus, C. Andalo, M. Li, Q. Li, Y. Xue, A.B. Rebocho, N.H. Barton,
    E. Coen, PNAS 115 (2018) 11006–11011.
date_created: 2018-12-11T11:44:18Z
date_published: 2018-10-23T00:00:00Z
date_updated: 2023-09-18T08:36:49Z
day: '23'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1073/pnas.1801832115
external_id:
  isi:
  - '000448040500065'
  pmid:
  - '30297406'
file:
- access_level: open_access
  checksum: d2305d0cc81dbbe4c1c677d64ad6f6d1
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T08:44:03Z
  date_updated: 2020-07-14T12:46:16Z
  file_id: '5683'
  file_name: 11006.full.pdf
  file_size: 1911302
  relation: main_file
file_date_updated: 2020-07-14T12:46:16Z
has_accepted_license: '1'
intvolume: '       115'
isi: 1
issue: '43'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 11006 - 11011
pmid: 1
publication: PNAS
publication_identifier:
  issn:
  - '00278424'
publication_status: published
publisher: National Academy of Sciences
publist_id: '8017'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Selection and gene flow shape genomic islands that control floral guides
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 115
year: '2018'
...
---
_id: '384'
abstract:
- lang: eng
  text: Can orthologous proteins differ in terms of their ability to be secreted?
    To answer this question, we investigated the distribution of signal peptides within
    the orthologous groups of Enterobacterales. Parsimony analysis and sequence comparisons
    revealed a large number of signal peptide gain and loss events, in which signal
    peptides emerge or disappear in the course of evolution. Signal peptide losses
    prevail over gains, an effect which is especially pronounced in the transition
    from the free-living or commensal to the endosymbiotic lifestyle. The disproportionate
    decline in the number of signal peptide-containing proteins in endosymbionts cannot
    be explained by the overall reduction of their genomes. Signal peptides can be
    gained and lost either by acquisition/elimination of the corresponding N-terminal
    regions or by gradual accumulation of mutations. The evolutionary dynamics of
    signal peptides in bacterial proteins represents a powerful mechanism of functional
    diversification.
acknowledgement: "his work was supported by the Deutsche Forschungsgemeinschaft  (grant
  \ number  FR  1411/9-1).  This work  was  supported  by  the  German  Research  Foundation
  (DFG) and the Technical University of Munich within the fund- ing programme Open
  Access Publish\r\nWe thank Goar Frishman for help with the annotation of the\r\nsymbiont
  status of the organisms and Michael Galperin for\r\nuseful comments. T"
article_processing_charge: No
author:
- first_name: Peter
  full_name: Hönigschmid, Peter
  last_name: Hönigschmid
- first_name: Nadya
  full_name: Bykova, Nadya
  last_name: Bykova
- first_name: René
  full_name: Schneider, René
  last_name: Schneider
- first_name: Dmitry
  full_name: Ivankov, Dmitry
  id: 49FF1036-F248-11E8-B48F-1D18A9856A87
  last_name: Ivankov
- first_name: Dmitrij
  full_name: Frishman, Dmitrij
  last_name: Frishman
citation:
  ama: Hönigschmid P, Bykova N, Schneider R, Ivankov D, Frishman D. Evolutionary interplay
    between symbiotic relationships and patterns of signal peptide gain and loss.
    <i>Genome Biology and Evolution</i>. 2018;10(3):928-938. doi:<a href="https://doi.org/10.1093/gbe/evy049">10.1093/gbe/evy049</a>
  apa: Hönigschmid, P., Bykova, N., Schneider, R., Ivankov, D., &#38; Frishman, D.
    (2018). Evolutionary interplay between symbiotic relationships and patterns of
    signal peptide gain and loss. <i>Genome Biology and Evolution</i>. Oxford University
    Press. <a href="https://doi.org/10.1093/gbe/evy049">https://doi.org/10.1093/gbe/evy049</a>
  chicago: Hönigschmid, Peter, Nadya Bykova, René Schneider, Dmitry Ivankov, and Dmitrij
    Frishman. “Evolutionary Interplay between Symbiotic Relationships and Patterns
    of Signal Peptide Gain and Loss.” <i>Genome Biology and Evolution</i>. Oxford
    University Press, 2018. <a href="https://doi.org/10.1093/gbe/evy049">https://doi.org/10.1093/gbe/evy049</a>.
  ieee: P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, and D. Frishman, “Evolutionary
    interplay between symbiotic relationships and patterns of signal peptide gain
    and loss,” <i>Genome Biology and Evolution</i>, vol. 10, no. 3. Oxford University
    Press, pp. 928–938, 2018.
  ista: Hönigschmid P, Bykova N, Schneider R, Ivankov D, Frishman D. 2018. Evolutionary
    interplay between symbiotic relationships and patterns of signal peptide gain
    and loss. Genome Biology and Evolution. 10(3), 928–938.
  mla: Hönigschmid, Peter, et al. “Evolutionary Interplay between Symbiotic Relationships
    and Patterns of Signal Peptide Gain and Loss.” <i>Genome Biology and Evolution</i>,
    vol. 10, no. 3, Oxford University Press, 2018, pp. 928–38, doi:<a href="https://doi.org/10.1093/gbe/evy049">10.1093/gbe/evy049</a>.
  short: P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome
    Biology and Evolution 10 (2018) 928–938.
date_created: 2018-12-11T11:46:10Z
date_published: 2018-03-01T00:00:00Z
date_updated: 2023-09-11T13:56:52Z
day: '01'
ddc:
- '576'
department:
- _id: FyKo
doi: 10.1093/gbe/evy049
external_id:
  isi:
  - '000429483700022'
file:
- access_level: open_access
  checksum: 458a7c2c2e79528567edfeb0f326cbe0
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:07Z
  date_updated: 2020-07-14T12:46:16Z
  file_id: '4667'
  file_name: IST-2018-999-v1+1_2018_Ivankov_Evolutionary_interplay.pdf
  file_size: 691602
  relation: main_file
file_date_updated: 2020-07-14T12:46:16Z
has_accepted_license: '1'
intvolume: '        10'
isi: 1
issue: '3'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 928 - 938
publication: Genome Biology and Evolution
publication_status: published
publisher: Oxford University Press
publist_id: '7445'
pubrep_id: '999'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evolutionary interplay between symbiotic relationships and patterns of signal
  peptide gain and loss
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10
year: '2018'
...
