---
_id: '7097'
abstract:
- lang: eng
  text: Early endosomes, also called sorting endosomes, are known to mature into late
    endosomesvia the Rab5-mediated endolysosomal trafficking pathway. Thus, early
    endosome existence isthought to be maintained by the continual fusion of transport
    vesicles from the plasmamembrane and thetrans-Golgi network (TGN). Here we show
    instead that endocytosis isdispensable and post-Golgi vesicle transport is crucial
    for the formation of endosomes andthe subsequent endolysosomal traffic regulated
    by yeast Rab5 Vps21p. Fittingly, all threeproteins required for endosomal nucleotide
    exchange on Vps21p arefirst recruited to theTGN  before  transport  to  the  endosome,  namely  the  GEF  Vps9p
    and  the  epsin-relatedadaptors Ent3/5p. The TGN recruitment of these components
    is distinctly controlled, withVps9p appearing to require the Arf1p GTPase, and
    the Rab11s, Ypt31p/32p. These resultsprovide a different view of endosome formation
    and identify the TGN as a critical location forregulating progress through the
    endolysosomal trafficking pathway.
article_number: '419'
article_processing_charge: No
article_type: original
author:
- first_name: Makoto
  full_name: Nagano, Makoto
  last_name: Nagano
- first_name: Junko Y.
  full_name: Toshima, Junko Y.
  last_name: Toshima
- first_name: Daria E
  full_name: Siekhaus, Daria E
  id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
  last_name: Siekhaus
  orcid: 0000-0001-8323-8353
- first_name: Jiro
  full_name: Toshima, Jiro
  last_name: Toshima
citation:
  ama: Nagano M, Toshima JY, Siekhaus DE, Toshima J. Rab5-mediated endosome formation
    is regulated at the trans-Golgi network. <i>Communications Biology</i>. 2019;2(1).
    doi:<a href="https://doi.org/10.1038/s42003-019-0670-5">10.1038/s42003-019-0670-5</a>
  apa: Nagano, M., Toshima, J. Y., Siekhaus, D. E., &#38; Toshima, J. (2019). Rab5-mediated
    endosome formation is regulated at the trans-Golgi network. <i>Communications
    Biology</i>. Springer Nature. <a href="https://doi.org/10.1038/s42003-019-0670-5">https://doi.org/10.1038/s42003-019-0670-5</a>
  chicago: Nagano, Makoto, Junko Y. Toshima, Daria E Siekhaus, and Jiro Toshima. “Rab5-Mediated
    Endosome Formation Is Regulated at the Trans-Golgi Network.” <i>Communications
    Biology</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s42003-019-0670-5">https://doi.org/10.1038/s42003-019-0670-5</a>.
  ieee: M. Nagano, J. Y. Toshima, D. E. Siekhaus, and J. Toshima, “Rab5-mediated endosome
    formation is regulated at the trans-Golgi network,” <i>Communications Biology</i>,
    vol. 2, no. 1. Springer Nature, 2019.
  ista: Nagano M, Toshima JY, Siekhaus DE, Toshima J. 2019. Rab5-mediated endosome
    formation is regulated at the trans-Golgi network. Communications Biology. 2(1),
    419.
  mla: Nagano, Makoto, et al. “Rab5-Mediated Endosome Formation Is Regulated at the
    Trans-Golgi Network.” <i>Communications Biology</i>, vol. 2, no. 1, 419, Springer
    Nature, 2019, doi:<a href="https://doi.org/10.1038/s42003-019-0670-5">10.1038/s42003-019-0670-5</a>.
  short: M. Nagano, J.Y. Toshima, D.E. Siekhaus, J. Toshima, Communications Biology
    2 (2019).
date_created: 2019-11-25T07:55:01Z
date_published: 2019-11-15T00:00:00Z
date_updated: 2023-08-30T07:27:55Z
day: '15'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.1038/s42003-019-0670-5
external_id:
  isi:
  - '000496767800005'
file:
- access_level: open_access
  checksum: c63c69a264fc8a0e52f2b0d482f3bdae
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-25T07:58:05Z
  date_updated: 2020-07-14T12:47:49Z
  file_id: '7098'
  file_name: 2019_CommunicBiology_Nagano.pdf
  file_size: 2626069
  relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: '         2'
isi: 1
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '11'
oa: 1
oa_version: Published Version
publication: Communications Biology
publication_identifier:
  issn:
  - 2399-3642
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Rab5-mediated endosome formation is regulated at the trans-Golgi network
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 2
year: '2019'
...
---
_id: '7099'
acknowledgement: "The authors thank Gabi Schmid for excellent technical support. We
  also thank\r\nDr. H. Harada, Dr. W. Kaufmann, and Dr. B. Kapelari for testing the
  specificity\r\nof some of the antibodies used in this study on replicas. Funding
  was provided\r\nby the Austrian Science Fund (Fonds zur Fo¨ rderung der Wissenschaftlichen\r\nForschung)
  Sonderforschungsbereich grants F44-17 (to F.jF.), F44-10 and\r\nP25375-B24 (to N.S.),
  and P26680 (to G.S.) and by the Novartis Research\r\nFoundation and the Swiss National
  Science Foundation (to A.L). We also thank\r\nProf. M. Capogna for reading a previous
  version of the manuscript."
article_processing_charge: No
article_type: original
author:
- first_name: Yu
  full_name: Kasugai, Yu
  last_name: Kasugai
- first_name: Elisabeth
  full_name: Vogel, Elisabeth
  last_name: Vogel
- first_name: Heide
  full_name: Hörtnagl, Heide
  last_name: Hörtnagl
- first_name: Sabine
  full_name: Schönherr, Sabine
  last_name: Schönherr
- first_name: Enrica
  full_name: Paradiso, Enrica
  last_name: Paradiso
- first_name: Markus
  full_name: Hauschild, Markus
  last_name: Hauschild
- first_name: Georg
  full_name: Göbel, Georg
  last_name: Göbel
- first_name: Ivan
  full_name: Milenkovic, Ivan
  last_name: Milenkovic
- first_name: Yvan
  full_name: Peterschmitt, Yvan
  last_name: Peterschmitt
- first_name: Ramon
  full_name: Tasan, Ramon
  last_name: Tasan
- first_name: Günther
  full_name: Sperk, Günther
  last_name: Sperk
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Werner
  full_name: Sieghart, Werner
  last_name: Sieghart
- first_name: Nicolas
  full_name: Singewald, Nicolas
  last_name: Singewald
- first_name: Andreas
  full_name: Lüthi, Andreas
  last_name: Lüthi
- first_name: Francesco
  full_name: Ferraguti, Francesco
  last_name: Ferraguti
citation:
  ama: Kasugai Y, Vogel E, Hörtnagl H, et al. Structural and functional remodeling
    of amygdala GABAergic synapses in associative fear learning. <i>Neuron</i>. 2019;104(4):781-794.e4.
    doi:<a href="https://doi.org/10.1016/j.neuron.2019.08.013">10.1016/j.neuron.2019.08.013</a>
  apa: Kasugai, Y., Vogel, E., Hörtnagl, H., Schönherr, S., Paradiso, E., Hauschild,
    M., … Ferraguti, F. (2019). Structural and functional remodeling of amygdala GABAergic
    synapses in associative fear learning. <i>Neuron</i>. Elsevier. <a href="https://doi.org/10.1016/j.neuron.2019.08.013">https://doi.org/10.1016/j.neuron.2019.08.013</a>
  chicago: Kasugai, Yu, Elisabeth Vogel, Heide Hörtnagl, Sabine Schönherr, Enrica
    Paradiso, Markus Hauschild, Georg Göbel, et al. “Structural and Functional Remodeling
    of Amygdala GABAergic Synapses in Associative Fear Learning.” <i>Neuron</i>. Elsevier,
    2019. <a href="https://doi.org/10.1016/j.neuron.2019.08.013">https://doi.org/10.1016/j.neuron.2019.08.013</a>.
  ieee: Y. Kasugai <i>et al.</i>, “Structural and functional remodeling of amygdala
    GABAergic synapses in associative fear learning,” <i>Neuron</i>, vol. 104, no.
    4. Elsevier, p. 781–794.e4, 2019.
  ista: Kasugai Y, Vogel E, Hörtnagl H, Schönherr S, Paradiso E, Hauschild M, Göbel
    G, Milenkovic I, Peterschmitt Y, Tasan R, Sperk G, Shigemoto R, Sieghart W, Singewald
    N, Lüthi A, Ferraguti F. 2019. Structural and functional remodeling of amygdala
    GABAergic synapses in associative fear learning. Neuron. 104(4), 781–794.e4.
  mla: Kasugai, Yu, et al. “Structural and Functional Remodeling of Amygdala GABAergic
    Synapses in Associative Fear Learning.” <i>Neuron</i>, vol. 104, no. 4, Elsevier,
    2019, p. 781–794.e4, doi:<a href="https://doi.org/10.1016/j.neuron.2019.08.013">10.1016/j.neuron.2019.08.013</a>.
  short: Y. Kasugai, E. Vogel, H. Hörtnagl, S. Schönherr, E. Paradiso, M. Hauschild,
    G. Göbel, I. Milenkovic, Y. Peterschmitt, R. Tasan, G. Sperk, R. Shigemoto, W.
    Sieghart, N. Singewald, A. Lüthi, F. Ferraguti, Neuron 104 (2019) 781–794.e4.
date_created: 2019-11-25T08:02:39Z
date_published: 2019-11-20T00:00:00Z
date_updated: 2023-08-30T07:28:22Z
day: '20'
ddc:
- '571'
- '599'
department:
- _id: RySh
doi: 10.1016/j.neuron.2019.08.013
external_id:
  isi:
  - '000497963500017'
  pmid:
  - '31543297'
has_accepted_license: '1'
intvolume: '       104'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.neuron.2019.08.013
month: '11'
oa: 1
oa_version: Published Version
page: 781-794.e4
pmid: 1
publication: Neuron
publication_identifier:
  issn:
  - 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structural and functional remodeling of amygdala GABAergic synapses in associative
  fear learning
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 104
year: '2019'
...
---
_id: '7100'
abstract:
- lang: eng
  text: We present microscopic derivations of the defocusing two-dimensional cubic
    nonlinear Schrödinger equation and the Gross–Pitaevskii equation starting froman
    interacting N-particle system of bosons. We consider the interaction potential
    to be given either by Wβ(x)=N−1+2βW(Nβx), for any β>0, or to be given by VN(x)=e2NV(eNx),
    for some spherical symmetric, nonnegative and compactly supported W,V∈L∞(R2,R).
    In both cases we prove the convergence of the reduced density corresponding to
    the exact time evolution to the projector onto the solution of the corresponding
    nonlinear Schrödinger equation in trace norm. For the latter potential VN we show
    that it is crucial to take the microscopic structure of the condensate into account
    in order to obtain the correct dynamics.
acknowledgement: OA fund by IST Austria
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Maximilian
  full_name: Jeblick, Maximilian
  last_name: Jeblick
- first_name: Nikolai K
  full_name: Leopold, Nikolai K
  id: 4BC40BEC-F248-11E8-B48F-1D18A9856A87
  last_name: Leopold
  orcid: 0000-0002-0495-6822
- first_name: Peter
  full_name: Pickl, Peter
  last_name: Pickl
citation:
  ama: Jeblick M, Leopold NK, Pickl P. Derivation of the time dependent Gross–Pitaevskii
    equation in two dimensions. <i>Communications in Mathematical Physics</i>. 2019;372(1):1-69.
    doi:<a href="https://doi.org/10.1007/s00220-019-03599-x">10.1007/s00220-019-03599-x</a>
  apa: Jeblick, M., Leopold, N. K., &#38; Pickl, P. (2019). Derivation of the time
    dependent Gross–Pitaevskii equation in two dimensions. <i>Communications in Mathematical
    Physics</i>. Springer Nature. <a href="https://doi.org/10.1007/s00220-019-03599-x">https://doi.org/10.1007/s00220-019-03599-x</a>
  chicago: Jeblick, Maximilian, Nikolai K Leopold, and Peter Pickl. “Derivation of
    the Time Dependent Gross–Pitaevskii Equation in Two Dimensions.” <i>Communications
    in Mathematical Physics</i>. Springer Nature, 2019. <a href="https://doi.org/10.1007/s00220-019-03599-x">https://doi.org/10.1007/s00220-019-03599-x</a>.
  ieee: M. Jeblick, N. K. Leopold, and P. Pickl, “Derivation of the time dependent
    Gross–Pitaevskii equation in two dimensions,” <i>Communications in Mathematical
    Physics</i>, vol. 372, no. 1. Springer Nature, pp. 1–69, 2019.
  ista: Jeblick M, Leopold NK, Pickl P. 2019. Derivation of the time dependent Gross–Pitaevskii
    equation in two dimensions. Communications in Mathematical Physics. 372(1), 1–69.
  mla: Jeblick, Maximilian, et al. “Derivation of the Time Dependent Gross–Pitaevskii
    Equation in Two Dimensions.” <i>Communications in Mathematical Physics</i>, vol.
    372, no. 1, Springer Nature, 2019, pp. 1–69, doi:<a href="https://doi.org/10.1007/s00220-019-03599-x">10.1007/s00220-019-03599-x</a>.
  short: M. Jeblick, N.K. Leopold, P. Pickl, Communications in Mathematical Physics
    372 (2019) 1–69.
date_created: 2019-11-25T08:08:02Z
date_published: 2019-11-08T00:00:00Z
date_updated: 2023-09-06T10:47:43Z
day: '08'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1007/s00220-019-03599-x
ec_funded: 1
external_id:
  isi:
  - '000495193700002'
file:
- access_level: open_access
  checksum: cd283b475dd739e04655315abd46f528
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-25T08:11:11Z
  date_updated: 2020-07-14T12:47:49Z
  file_id: '7101'
  file_name: 2019_CommMathPhys_Jeblick.pdf
  file_size: 884469
  relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: '       372'
isi: 1
issue: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 1-69
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Communications in Mathematical Physics
publication_identifier:
  eissn:
  - 1432-0916
  issn:
  - 0010-3616
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Derivation of the time dependent Gross–Pitaevskii equation in two dimensions
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: 372
year: '2019'
...
---
_id: '7103'
abstract:
- lang: eng
  text: Origin and functions of intermittent transitions among sleep stages, including
    short awakenings and arousals, constitute a challenge to the current homeostatic
    framework for sleep regulation, focusing on factors modulating sleep over large
    time scales. Here we propose that the complex micro-architecture characterizing
    the sleep-wake cycle results from an underlying non-equilibrium critical dynamics,
    bridging collective behaviors across spatio-temporal scales. We investigate θ
    and δ wave dynamics in control rats and in rats with lesions of sleep-promoting
    neurons in the parafacial zone. We demonstrate that intermittent bursts in θ and
    δ rhythms exhibit a complex temporal organization, with long-range power-law correlations
    and a robust duality of power law (θ-bursts, active phase) and exponential-like
    (δ-bursts, quiescent phase) duration distributions, typical features of non-equilibrium
    systems self-organizing at criticality. Crucially, such temporal organization
    relates to anti-correlated coupling between θ- and δ-bursts, and is independent
    of the dominant physiologic state and lesions, a solid indication of a basic principle
    in sleep dynamics.
article_number: e1007268
article_processing_charge: No
article_type: original
author:
- first_name: Jilin W. J. L.
  full_name: Wang, Jilin W. J. L.
  last_name: Wang
- first_name: Fabrizio
  full_name: Lombardi, Fabrizio
  id: A057D288-3E88-11E9-986D-0CF4E5697425
  last_name: Lombardi
  orcid: 0000-0003-2623-5249
- first_name: Xiyun
  full_name: Zhang, Xiyun
  last_name: Zhang
- first_name: Christelle
  full_name: Anaclet, Christelle
  last_name: Anaclet
- first_name: Plamen Ch.
  full_name: Ivanov, Plamen Ch.
  last_name: Ivanov
citation:
  ama: Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. Non-equilibrium critical
    dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and
    wake micro-architecture. <i>PLoS Computational Biology</i>. 2019;15(11). doi:<a
    href="https://doi.org/10.1371/journal.pcbi.1007268">10.1371/journal.pcbi.1007268</a>
  apa: Wang, J. W. J. L., Lombardi, F., Zhang, X., Anaclet, C., &#38; Ivanov, P. C.
    (2019). Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental
    characteristic of sleep and wake micro-architecture. <i>PLoS Computational Biology</i>.
    Public Library of Science. <a href="https://doi.org/10.1371/journal.pcbi.1007268">https://doi.org/10.1371/journal.pcbi.1007268</a>
  chicago: Wang, Jilin W. J. L., Fabrizio Lombardi, Xiyun Zhang, Christelle Anaclet,
    and Plamen Ch. Ivanov. “Non-Equilibrium Critical Dynamics of Bursts in θ and δ
    Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.” <i>PLoS
    Computational Biology</i>. Public Library of Science, 2019. <a href="https://doi.org/10.1371/journal.pcbi.1007268">https://doi.org/10.1371/journal.pcbi.1007268</a>.
  ieee: J. W. J. L. Wang, F. Lombardi, X. Zhang, C. Anaclet, and P. C. Ivanov, “Non-equilibrium
    critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of
    sleep and wake micro-architecture,” <i>PLoS Computational Biology</i>, vol. 15,
    no. 11. Public Library of Science, 2019.
  ista: Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. 2019. Non-equilibrium
    critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of
    sleep and wake micro-architecture. PLoS Computational Biology. 15(11), e1007268.
  mla: Wang, Jilin W. J. L., et al. “Non-Equilibrium Critical Dynamics of Bursts in
    θ and δ Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.”
    <i>PLoS Computational Biology</i>, vol. 15, no. 11, e1007268, Public Library of
    Science, 2019, doi:<a href="https://doi.org/10.1371/journal.pcbi.1007268">10.1371/journal.pcbi.1007268</a>.
  short: J.W.J.L. Wang, F. Lombardi, X. Zhang, C. Anaclet, P.C. Ivanov, PLoS Computational
    Biology 15 (2019).
date_created: 2019-11-25T08:20:47Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2023-10-17T12:30:07Z
day: '01'
ddc:
- '570'
- '000'
department:
- _id: GaTk
doi: 10.1371/journal.pcbi.1007268
ec_funded: 1
external_id:
  isi:
  - '000500976100014'
  pmid:
  - '31725712'
file:
- access_level: open_access
  checksum: 2a096a9c6dcc6eaa94077b2603bc6c12
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-25T08:24:01Z
  date_updated: 2020-07-14T12:47:49Z
  file_id: '7104'
  file_name: 2019_PLOSComBio_Wang.pdf
  file_size: 3982516
  relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: '        15'
isi: 1
issue: '11'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: PLoS Computational Biology
publication_identifier:
  issn:
  - 1553-7358
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental
  characteristic of sleep and wake micro-architecture
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: 15
year: '2019'
...
---
_id: '7105'
abstract:
- lang: eng
  text: Cell migration is hypothesized to involve a cycle of behaviours beginning
    with leading edge extension. However, recent evidence suggests that the leading
    edge may be dispensable for migration, raising the question of what actually controls
    cell directionality. Here, we exploit the embryonic migration of Drosophila macrophages
    to bridge the different temporal scales of the behaviours controlling motility.
    This approach reveals that edge fluctuations during random motility are not persistent
    and are weakly correlated with motion. In contrast, flow of the actin network
    behind the leading edge is highly persistent. Quantification of actin flow structure
    during migration reveals a stable organization and asymmetry in the cell-wide
    flowfield that strongly correlates with cell directionality. This organization
    is regulated by a gradient of actin network compression and destruction, which
    is controlled by myosin contraction and cofilin-mediated disassembly. It is this
    stable actin-flow polarity, which integrates rapid fluctuations of the leading
    edge, that controls inherent cellular persistence.
article_processing_charge: No
article_type: original
author:
- first_name: Lawrence
  full_name: Yolland, Lawrence
  last_name: Yolland
- first_name: Mubarik
  full_name: Burki, Mubarik
  last_name: Burki
- first_name: Stefania
  full_name: Marcotti, Stefania
  last_name: Marcotti
- first_name: Andrei
  full_name: Luchici, Andrei
  last_name: Luchici
- first_name: Fiona N.
  full_name: Kenny, Fiona N.
  last_name: Kenny
- first_name: John Robert
  full_name: Davis, John Robert
  last_name: Davis
- first_name: Eduardo
  full_name: Serna-Morales, Eduardo
  last_name: Serna-Morales
- first_name: Jan
  full_name: Müller, Jan
  id: AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D
  last_name: Müller
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
- first_name: Andrew
  full_name: Davidson, Andrew
  last_name: Davidson
- first_name: Will
  full_name: Wood, Will
  last_name: Wood
- first_name: Linus J.
  full_name: Schumacher, Linus J.
  last_name: Schumacher
- first_name: Robert G.
  full_name: Endres, Robert G.
  last_name: Endres
- first_name: Mark
  full_name: Miodownik, Mark
  last_name: Miodownik
- first_name: Brian M.
  full_name: Stramer, Brian M.
  last_name: Stramer
citation:
  ama: Yolland L, Burki M, Marcotti S, et al. Persistent and polarized global actin
    flow is essential for directionality during cell migration. <i>Nature Cell Biology</i>.
    2019;21(11):1370-1381. doi:<a href="https://doi.org/10.1038/s41556-019-0411-5">10.1038/s41556-019-0411-5</a>
  apa: Yolland, L., Burki, M., Marcotti, S., Luchici, A., Kenny, F. N., Davis, J.
    R., … Stramer, B. M. (2019). Persistent and polarized global actin flow is essential
    for directionality during cell migration. <i>Nature Cell Biology</i>. Springer
    Nature. <a href="https://doi.org/10.1038/s41556-019-0411-5">https://doi.org/10.1038/s41556-019-0411-5</a>
  chicago: Yolland, Lawrence, Mubarik Burki, Stefania Marcotti, Andrei Luchici, Fiona
    N. Kenny, John Robert Davis, Eduardo Serna-Morales, et al. “Persistent and Polarized
    Global Actin Flow Is Essential for Directionality during Cell Migration.” <i>Nature
    Cell Biology</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41556-019-0411-5">https://doi.org/10.1038/s41556-019-0411-5</a>.
  ieee: L. Yolland <i>et al.</i>, “Persistent and polarized global actin flow is essential
    for directionality during cell migration,” <i>Nature Cell Biology</i>, vol. 21,
    no. 11. Springer Nature, pp. 1370–1381, 2019.
  ista: Yolland L, Burki M, Marcotti S, Luchici A, Kenny FN, Davis JR, Serna-Morales
    E, Müller J, Sixt MK, Davidson A, Wood W, Schumacher LJ, Endres RG, Miodownik
    M, Stramer BM. 2019. Persistent and polarized global actin flow is essential for
    directionality during cell migration. Nature Cell Biology. 21(11), 1370–1381.
  mla: Yolland, Lawrence, et al. “Persistent and Polarized Global Actin Flow Is Essential
    for Directionality during Cell Migration.” <i>Nature Cell Biology</i>, vol. 21,
    no. 11, Springer Nature, 2019, pp. 1370–81, doi:<a href="https://doi.org/10.1038/s41556-019-0411-5">10.1038/s41556-019-0411-5</a>.
  short: L. Yolland, M. Burki, S. Marcotti, A. Luchici, F.N. Kenny, J.R. Davis, E.
    Serna-Morales, J. Müller, M.K. Sixt, A. Davidson, W. Wood, L.J. Schumacher, R.G.
    Endres, M. Miodownik, B.M. Stramer, Nature Cell Biology 21 (2019) 1370–1381.
date_created: 2019-11-25T08:55:00Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2023-09-06T11:08:52Z
day: '01'
department:
- _id: MiSi
doi: 10.1038/s41556-019-0411-5
external_id:
  isi:
  - '000495888300009'
  pmid:
  - '31685997'
intvolume: '        21'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7025891
month: '11'
oa: 1
oa_version: Submitted Version
page: 1370-1381
pmid: 1
publication: Nature Cell Biology
publication_identifier:
  eissn:
  - 1476-4679
  issn:
  - 1465-7392
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Persistent and polarized global actin flow is essential for directionality
  during cell migration
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 21
year: '2019'
...
---
_id: '7106'
abstract:
- lang: eng
  text: PIN-FORMED (PIN) transporters mediate directional, intercellular movement
    of the phytohormone auxin in land plants. To elucidate the evolutionary origins
    of this developmentally crucial mechanism, we analysed the single PIN homologue
    of a simple green alga Klebsormidium flaccidum. KfPIN functions as a plasma membrane-localized
    auxin exporter in land plants and heterologous models. While its role in algae
    remains unclear, PIN-driven auxin export is probably an ancient and conserved
    trait within streptophytes.
article_processing_charge: No
article_type: original
author:
- first_name: Roman
  full_name: Skokan, Roman
  last_name: Skokan
- first_name: Eva
  full_name: Medvecká, Eva
  last_name: Medvecká
- first_name: Tom
  full_name: Viaene, Tom
  last_name: Viaene
- first_name: Stanislav
  full_name: Vosolsobě, Stanislav
  last_name: Vosolsobě
- first_name: Marta
  full_name: Zwiewka, Marta
  last_name: Zwiewka
- first_name: Karel
  full_name: Müller, Karel
  last_name: Müller
- first_name: Petr
  full_name: Skůpa, Petr
  last_name: Skůpa
- first_name: Michal
  full_name: Karady, Michal
  last_name: Karady
- first_name: Yuzhou
  full_name: Zhang, Yuzhou
  last_name: Zhang
- first_name: Dorina P.
  full_name: Janacek, Dorina P.
  last_name: Janacek
- first_name: Ulrich Z.
  full_name: Hammes, Ulrich Z.
  last_name: Hammes
- first_name: Karin
  full_name: Ljung, Karin
  last_name: Ljung
- first_name: Tomasz
  full_name: Nodzyński, Tomasz
  last_name: Nodzyński
- first_name: Jan
  full_name: Petrášek, Jan
  last_name: Petrášek
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Skokan R, Medvecká E, Viaene T, et al. PIN-driven auxin transport emerged early
    in streptophyte evolution. <i>Nature Plants</i>. 2019;5(11):1114-1119. doi:<a
    href="https://doi.org/10.1038/s41477-019-0542-5">10.1038/s41477-019-0542-5</a>
  apa: Skokan, R., Medvecká, E., Viaene, T., Vosolsobě, S., Zwiewka, M., Müller, K.,
    … Friml, J. (2019). PIN-driven auxin transport emerged early in streptophyte evolution.
    <i>Nature Plants</i>. Springer Nature. <a href="https://doi.org/10.1038/s41477-019-0542-5">https://doi.org/10.1038/s41477-019-0542-5</a>
  chicago: Skokan, Roman, Eva Medvecká, Tom Viaene, Stanislav Vosolsobě, Marta Zwiewka,
    Karel Müller, Petr Skůpa, et al. “PIN-Driven Auxin Transport Emerged Early in
    Streptophyte Evolution.” <i>Nature Plants</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41477-019-0542-5">https://doi.org/10.1038/s41477-019-0542-5</a>.
  ieee: R. Skokan <i>et al.</i>, “PIN-driven auxin transport emerged early in streptophyte
    evolution,” <i>Nature Plants</i>, vol. 5, no. 11. Springer Nature, pp. 1114–1119,
    2019.
  ista: Skokan R, Medvecká E, Viaene T, Vosolsobě S, Zwiewka M, Müller K, Skůpa P,
    Karady M, Zhang Y, Janacek DP, Hammes UZ, Ljung K, Nodzyński T, Petrášek J, Friml
    J. 2019. PIN-driven auxin transport emerged early in streptophyte evolution. Nature
    Plants. 5(11), 1114–1119.
  mla: Skokan, Roman, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte
    Evolution.” <i>Nature Plants</i>, vol. 5, no. 11, Springer Nature, 2019, pp. 1114–19,
    doi:<a href="https://doi.org/10.1038/s41477-019-0542-5">10.1038/s41477-019-0542-5</a>.
  short: R. Skokan, E. Medvecká, T. Viaene, S. Vosolsobě, M. Zwiewka, K. Müller, P.
    Skůpa, M. Karady, Y. Zhang, D.P. Janacek, U.Z. Hammes, K. Ljung, T. Nodzyński,
    J. Petrášek, J. Friml, Nature Plants 5 (2019) 1114–1119.
date_created: 2019-11-25T09:08:04Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2023-09-06T11:09:49Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1038/s41477-019-0542-5
ec_funded: 1
external_id:
  isi:
  - '000496526100010'
  pmid:
  - '31712756'
file:
- access_level: open_access
  checksum: 94e0426856aad9a9bd0135d5436efbf1
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-14T08:54:49Z
  date_updated: 2020-10-14T08:54:49Z
  file_id: '8660'
  file_name: 2019_NaturePlants_Skokan_accepted.pdf
  file_size: 1980851
  relation: main_file
  success: 1
file_date_updated: 2020-10-14T08:54:49Z
has_accepted_license: '1'
intvolume: '         5'
isi: 1
issue: '11'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 1114-1119
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '742985'
  name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication: Nature Plants
publication_identifier:
  issn:
  - 2055-0278
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: PIN-driven auxin transport emerged early in streptophyte evolution
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 5
year: '2019'
...
---
_id: '7108'
abstract:
- lang: eng
  text: We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial
    complex is shellable is NP-hard, hence NP-complete. This resolves a question raised,
    e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d
    ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable
    is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible
    pure d-dimensional complexes. Another simple corollary of our result is that it
    is NP-hard to decide whether a given poset is CL-shellable.
article_number: '21'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Xavier
  full_name: Goaoc, Xavier
  last_name: Goaoc
- first_name: Pavel
  full_name: Patak, Pavel
  id: B593B804-1035-11EA-B4F1-947645A5BB83
  last_name: Patak
- first_name: Zuzana
  full_name: Patakova, Zuzana
  id: 48B57058-F248-11E8-B48F-1D18A9856A87
  last_name: Patakova
  orcid: 0000-0002-3975-1683
- first_name: Martin
  full_name: Tancer, Martin
  last_name: Tancer
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete.
    <i>Journal of the ACM</i>. 2019;66(3). doi:<a href="https://doi.org/10.1145/3314024">10.1145/3314024</a>
  apa: Goaoc, X., Patak, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2019). Shellability
    is NP-complete. <i>Journal of the ACM</i>. ACM. <a href="https://doi.org/10.1145/3314024">https://doi.org/10.1145/3314024</a>
  chicago: Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner.
    “Shellability Is NP-Complete.” <i>Journal of the ACM</i>. ACM, 2019. <a href="https://doi.org/10.1145/3314024">https://doi.org/10.1145/3314024</a>.
  ieee: X. Goaoc, P. Patak, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is
    NP-complete,” <i>Journal of the ACM</i>, vol. 66, no. 3. ACM, 2019.
  ista: Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete.
    Journal of the ACM. 66(3), 21.
  mla: Goaoc, Xavier, et al. “Shellability Is NP-Complete.” <i>Journal of the ACM</i>,
    vol. 66, no. 3, 21, ACM, 2019, doi:<a href="https://doi.org/10.1145/3314024">10.1145/3314024</a>.
  short: X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM
    66 (2019).
date_created: 2019-11-26T10:13:59Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2023-09-06T11:10:58Z
day: '01'
department:
- _id: UlWa
doi: 10.1145/3314024
external_id:
  arxiv:
  - '1711.08436'
  isi:
  - '000495406300007'
intvolume: '        66'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/pdf/1711.08436.pdf
month: '06'
oa: 1
oa_version: Preprint
publication: Journal of the ACM
publication_identifier:
  issn:
  - 0004-5411
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
  record:
  - id: '184'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Shellability is NP-complete
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 66
year: '2019'
...
---
_id: '7109'
abstract:
- lang: eng
  text: We show how to construct temporal testers for the logic MITL, a prominent
    linear-time logic for real-time systems. A temporal tester is a transducer that
    inputs a signal holding the Boolean value of atomic propositions and outputs the
    truth value of a formula along time. Here we consider testers over continuous-time
    Boolean signals that use clock variables to enforce duration constraints, as in
    timed automata. We first rewrite the MITL formula into a “simple” formula using
    a limited set of temporal modalities. We then build testers for these specific
    modalities and show how to compose testers for simple formulae into complex ones.
    Temporal testers can be turned into acceptors, yielding a compositional translation
    from MITL to timed automata. This construction is much simpler than previously
    known and remains asymptotically optimal. It supports both past and future operators
    and can easily be extended.
article_number: '19'
article_processing_charge: No
article_type: original
author:
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Dejan
  full_name: Ničković, Dejan
  last_name: Ničković
- first_name: Amir
  full_name: Pnueli, Amir
  last_name: Pnueli
citation:
  ama: Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata.
    <i>Journal of the ACM</i>. 2019;66(3). doi:<a href="https://doi.org/10.1145/3286976">10.1145/3286976</a>
  apa: Ferrere, T., Maler, O., Ničković, D., &#38; Pnueli, A. (2019). From real-time
    logic to timed automata. <i>Journal of the ACM</i>. ACM. <a href="https://doi.org/10.1145/3286976">https://doi.org/10.1145/3286976</a>
  chicago: Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time
    Logic to Timed Automata.” <i>Journal of the ACM</i>. ACM, 2019. <a href="https://doi.org/10.1145/3286976">https://doi.org/10.1145/3286976</a>.
  ieee: T. Ferrere, O. Maler, D. Ničković, and A. Pnueli, “From real-time logic to
    timed automata,” <i>Journal of the ACM</i>, vol. 66, no. 3. ACM, 2019.
  ista: Ferrere T, Maler O, Ničković D, Pnueli A. 2019. From real-time logic to timed
    automata. Journal of the ACM. 66(3), 19.
  mla: Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” <i>Journal
    of the ACM</i>, vol. 66, no. 3, 19, ACM, 2019, doi:<a href="https://doi.org/10.1145/3286976">10.1145/3286976</a>.
  short: T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
date_created: 2019-11-26T10:22:32Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2023-09-06T11:11:56Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/3286976
external_id:
  isi:
  - '000495406300005'
intvolume: '        66'
isi: 1
issue: '3'
language:
- iso: eng
month: '05'
oa_version: None
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Journal of the ACM
publication_identifier:
  issn:
  - 0004-5411
publication_status: published
publisher: ACM
quality_controlled: '1'
scopus_import: '1'
status: public
title: From real-time logic to timed automata
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 66
year: '2019'
...
---
_id: '7117'
abstract:
- lang: eng
  text: We propose a novel generic shape optimization method for CAD models based
    on the eXtended Finite Element Method (XFEM). Our method works directly on the
    intersection between the model and a regular simulation grid, without the need
    to mesh or remesh, thus removing a bottleneck of classical shape optimization
    strategies. This is made possible by a novel hierarchical integration scheme that
    accurately integrates finite element quantities with sub-element precision. For
    optimization, we efficiently compute analytical shape derivatives of the entire
    framework, from model intersection to integration rule generation and XFEM simulation.
    Moreover, we describe a differentiable projection of shape parameters onto a constraint
    manifold spanned by user-specified shape preservation, consistency, and manufacturability
    constraints. We demonstrate the utility of our approach by optimizing mass distribution,
    strength-to-weight ratio, and inverse elastic shape design objectives directly
    on parameterized 3D CAD models.
article_number: '157'
article_processing_charge: No
article_type: original
author:
- first_name: Christian
  full_name: Hafner, Christian
  id: 400429CC-F248-11E8-B48F-1D18A9856A87
  last_name: Hafner
- first_name: Christian
  full_name: Schumacher, Christian
  last_name: Schumacher
- first_name: Espen
  full_name: Knoop, Espen
  last_name: Knoop
- first_name: Thomas
  full_name: Auzinger, Thomas
  id: 4718F954-F248-11E8-B48F-1D18A9856A87
  last_name: Auzinger
  orcid: 0000-0002-1546-3265
- first_name: Bernd
  full_name: Bickel, Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Moritz
  full_name: Bächer, Moritz
  last_name: Bächer
citation:
  ama: 'Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. X-CAD: Optimizing
    CAD Models with Extended Finite Elements. <i>ACM Transactions on Graphics</i>.
    2019;38(6). doi:<a href="https://doi.org/10.1145/3355089.3356576">10.1145/3355089.3356576</a>'
  apa: 'Hafner, C., Schumacher, C., Knoop, E., Auzinger, T., Bickel, B., &#38; Bächer,
    M. (2019). X-CAD: Optimizing CAD Models with Extended Finite Elements. <i>ACM
    Transactions on Graphics</i>. ACM. <a href="https://doi.org/10.1145/3355089.3356576">https://doi.org/10.1145/3355089.3356576</a>'
  chicago: 'Hafner, Christian, Christian Schumacher, Espen Knoop, Thomas Auzinger,
    Bernd Bickel, and Moritz Bächer. “X-CAD: Optimizing CAD Models with Extended Finite
    Elements.” <i>ACM Transactions on Graphics</i>. ACM, 2019. <a href="https://doi.org/10.1145/3355089.3356576">https://doi.org/10.1145/3355089.3356576</a>.'
  ieee: 'C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, and M. Bächer,
    “X-CAD: Optimizing CAD Models with Extended Finite Elements,” <i>ACM Transactions
    on Graphics</i>, vol. 38, no. 6. ACM, 2019.'
  ista: 'Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. 2019. X-CAD:
    Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics.
    38(6), 157.'
  mla: 'Hafner, Christian, et al. “X-CAD: Optimizing CAD Models with Extended Finite
    Elements.” <i>ACM Transactions on Graphics</i>, vol. 38, no. 6, 157, ACM, 2019,
    doi:<a href="https://doi.org/10.1145/3355089.3356576">10.1145/3355089.3356576</a>.'
  short: C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM
    Transactions on Graphics 38 (2019).
date_created: 2019-11-26T14:22:09Z
date_published: 2019-11-06T00:00:00Z
date_updated: 2024-03-25T23:30:26Z
day: '06'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.1145/3355089.3356576
ec_funded: 1
external_id:
  isi:
  - '000498397300007'
file:
- access_level: open_access
  checksum: 56a2fb019adcb556d2b022f5e5acb68c
  content_type: application/pdf
  creator: bbickel
  date_created: 2019-11-26T14:24:26Z
  date_updated: 2020-07-14T12:47:49Z
  file_id: '7119'
  file_name: xcad_sup_mat_siga19.pdf
  file_size: 1673176
  relation: supplementary_material
  title: X-CAD Supplemental Material
- access_level: open_access
  checksum: 5f29d76aceb5102e766cbab9b17d776e
  content_type: application/pdf
  creator: bbickel
  date_created: 2019-11-26T14:24:27Z
  date_updated: 2020-07-14T12:47:49Z
  description: This is the author's version of the work.
  file_id: '7120'
  file_name: XCAD_authors_version.pdf
  file_size: 14563618
  relation: main_file
  title: 'X-CAD: Optimizing CAD Models with Extended Finite Elements'
- access_level: open_access
  checksum: 0d31e123286cbec9e28b2001c2bb0d55
  content_type: video/mp4
  creator: bbickel
  date_created: 2019-11-26T14:27:37Z
  date_updated: 2020-07-14T12:47:49Z
  file_id: '7121'
  file_name: XCAD_video.mp4
  file_size: 259979129
  relation: main_file
file_date_updated: 2020-07-14T12:47:49Z
has_accepted_license: '1'
intvolume: '        38'
isi: 1
issue: '6'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715767'
  name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
    Modeling'
publication: ACM Transactions on Graphics
publication_identifier:
  issn:
  - 0730-0301
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
  record:
  - id: '12897'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: 'X-CAD: Optimizing CAD Models with Extended Finite Elements'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 38
year: '2019'
...
---
_id: '7122'
abstract:
- lang: eng
  text: Data-rich applications in machine-learning and control have motivated an intense
    research on large-scale optimization. Novel algorithms have been proposed and
    shown to have optimal convergence rates in terms of iteration counts. However,
    their practical performance is severely degraded by the cost of exchanging high-dimensional
    gradient vectors between computing nodes. Several gradient compression heuristics
    have recently been proposed to reduce communications, but few theoretical results
    exist that quantify how they impact algorithm convergence. This paper establishes
    and strengthens the convergence guarantees for gradient descent under a family
    of gradient compression techniques. For convex optimization problems, we derive
    admissible step sizes and quantify both the number of iterations and the number
    of bits that need to be exchanged to reach a target accuracy. Finally, we validate
    the performance of different gradient compression techniques in simulations. The
    numerical results highlight the properties of different gradient compression algorithms
    and confirm that fast convergence with limited information exchange is possible.
article_number: '8619625'
article_processing_charge: No
author:
- first_name: Sarit
  full_name: Khirirat, Sarit
  last_name: Khirirat
- first_name: Mikael
  full_name: Johansson, Mikael
  last_name: Johansson
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
citation:
  ama: 'Khirirat S, Johansson M, Alistarh D-A. Gradient compression for communication-limited
    convex optimization. In: <i>2018 IEEE Conference on Decision and Control</i>.
    IEEE; 2019. doi:<a href="https://doi.org/10.1109/cdc.2018.8619625">10.1109/cdc.2018.8619625</a>'
  apa: 'Khirirat, S., Johansson, M., &#38; Alistarh, D.-A. (2019). Gradient compression
    for communication-limited convex optimization. In <i>2018 IEEE Conference on Decision
    and Control</i>. Miami Beach, FL, United States: IEEE. <a href="https://doi.org/10.1109/cdc.2018.8619625">https://doi.org/10.1109/cdc.2018.8619625</a>'
  chicago: Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression
    for Communication-Limited Convex Optimization.” In <i>2018 IEEE Conference on
    Decision and Control</i>. IEEE, 2019. <a href="https://doi.org/10.1109/cdc.2018.8619625">https://doi.org/10.1109/cdc.2018.8619625</a>.
  ieee: S. Khirirat, M. Johansson, and D.-A. Alistarh, “Gradient compression for communication-limited
    convex optimization,” in <i>2018 IEEE Conference on Decision and Control</i>,
    Miami Beach, FL, United States, 2019.
  ista: 'Khirirat S, Johansson M, Alistarh D-A. 2019. Gradient compression for communication-limited
    convex optimization. 2018 IEEE Conference on Decision and Control. CDC: Conference
    on Decision and Control, 8619625.'
  mla: Khirirat, Sarit, et al. “Gradient Compression for Communication-Limited Convex
    Optimization.” <i>2018 IEEE Conference on Decision and Control</i>, 8619625, IEEE,
    2019, doi:<a href="https://doi.org/10.1109/cdc.2018.8619625">10.1109/cdc.2018.8619625</a>.
  short: S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision
    and Control, IEEE, 2019.
conference:
  end_date: 2018-12-19
  location: Miami Beach, FL, United States
  name: 'CDC: Conference on Decision and Control'
  start_date: 2018-12-17
date_created: 2019-11-26T15:07:49Z
date_published: 2019-01-21T00:00:00Z
date_updated: 2023-09-06T11:14:55Z
day: '21'
department:
- _id: DaAl
doi: 10.1109/cdc.2018.8619625
external_id:
  isi:
  - '000458114800023'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
publication: 2018 IEEE Conference on Decision and Control
publication_identifier:
  isbn:
  - '9781538613955'
  issn:
  - 0743-1546
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Gradient compression for communication-limited convex optimization
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7132'
abstract:
- lang: eng
  text: "A major challenge in neuroscience research is to dissect the circuits that
    orchestrate behavior in health and disease. Proteins from a wide range of non-mammalian
    species, such as microbial opsins, have been successfully transplanted to specific
    neuronal targets to override their natural communication patterns. The goal of
    our work is to manipulate synaptic communication in a manner that closely incorporates
    the functional intricacies of synapses by preserving temporal encoding (i.e. the
    firing pattern of the presynaptic neuron) and connectivity (i.e. target specific
    synapses rather than specific neurons). Our strategy to achieve this goal builds
    on the use of non-mammalian transplants to create a synthetic synapse. The mode
    of modulation comes from pre-synaptic uptake of a synthetic neurotransmitter (SN)
    into synaptic vesicles by means of a genetically targeted transporter selective
    for the SN. Upon natural vesicular release, exposure of the SN to the synaptic
    cleft will modify the post-synaptic potential through an orthogonal ligand gated
    ion channel. To achieve this goal we have functionally characterized a mixed cationic
    methionine-gated ion channel from Arabidopsis thaliana, designed a method to functionally
    characterize a synthetic transporter in isolated synaptic vesicles without the
    need for transgenic animals, identified and extracted multiple prokaryotic uptake
    systems that are substrate specific for methionine (Met), and established a primary/cell
    line co-culture system that would allow future combinatorial testing of this orthogonal
    transmitter-transporter-channel trifecta.\r\nSynthetic synapses will provide a
    unique opportunity to manipulate synaptic communication while maintaining the
    electrophysiological integrity of the pre-synaptic cell. In this way, information
    may be preserved that was generated in upstream circuits and that could be essential
    for concerted function and information processing."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Catherine
  full_name: Mckenzie, Catherine
  id: 3EEDE19A-F248-11E8-B48F-1D18A9856A87
  last_name: Mckenzie
citation:
  ama: Mckenzie C. Design and characterization of methods and biological components
    to realize synthetic neurotransmission. 2019. doi:<a href="https://doi.org/10.15479/at:ista:7132">10.15479/at:ista:7132</a>
  apa: Mckenzie, C. (2019). <i>Design and characterization of methods and biological
    components to realize synthetic neurotransmission</i>. Institute of Science and
    Technology Austria. <a href="https://doi.org/10.15479/at:ista:7132">https://doi.org/10.15479/at:ista:7132</a>
  chicago: Mckenzie, Catherine. “Design and Characterization of Methods and Biological
    Components to Realize Synthetic Neurotransmission.” Institute of Science and Technology
    Austria, 2019. <a href="https://doi.org/10.15479/at:ista:7132">https://doi.org/10.15479/at:ista:7132</a>.
  ieee: C. Mckenzie, “Design and characterization of methods and biological components
    to realize synthetic neurotransmission,” Institute of Science and Technology Austria,
    2019.
  ista: Mckenzie C. 2019. Design and characterization of methods and biological components
    to realize synthetic neurotransmission. Institute of Science and Technology Austria.
  mla: Mckenzie, Catherine. <i>Design and Characterization of Methods and Biological
    Components to Realize Synthetic Neurotransmission</i>. Institute of Science and
    Technology Austria, 2019, doi:<a href="https://doi.org/10.15479/at:ista:7132">10.15479/at:ista:7132</a>.
  short: C. Mckenzie, Design and Characterization of Methods and Biological Components
    to Realize Synthetic Neurotransmission, Institute of Science and Technology Austria,
    2019.
date_created: 2019-11-27T09:07:14Z
date_published: 2019-06-27T00:00:00Z
date_updated: 2024-03-25T23:30:11Z
day: '27'
ddc:
- '571'
- '573'
degree_awarded: PhD
department:
- _id: HaJa
doi: 10.15479/at:ista:7132
file:
- access_level: closed
  checksum: 34d0fe0f6e0af97b5937205a3e350423
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-11-27T09:06:10Z
  date_updated: 2020-07-14T12:47:50Z
  file_id: '7133'
  file_name: McKenzie PhD Thesis August 2018 - Corrected Final.docx
  file_size: 5054633
  relation: source_file
- access_level: open_access
  checksum: 140dfb5e3df7edca34f4b6fcc55d876f
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-27T09:06:10Z
  date_updated: 2020-07-14T12:47:50Z
  file_id: '7134'
  file_name: McKenzie PhD Thesis August 2018 - Corrected Final.pdf
  file_size: 3231837
  relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '95'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '6266'
    relation: old_edition
    status: public
status: public
supervisor:
- first_name: Harald L
  full_name: Janovjak, Harald L
  id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
  last_name: Janovjak
  orcid: 0000-0002-8023-9315
title: Design and characterization of methods and biological components to realize
  synthetic neurotransmission
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7136'
abstract:
- lang: eng
  text: "It is well established that the notion of min-entropy fails to satisfy the
    \\emph{chain rule} of the form H(X,Y)=H(X|Y)+H(Y), known for Shannon Entropy.
    Such a property would help to analyze how min-entropy is split among smaller blocks.
    Problems of this kind arise for example when constructing extractors and dispersers.\r\nWe
    show that any sequence of variables exhibits a very strong strong block-source
    structure (conditional distributions of blocks are nearly flat) when we \\emph{spoil
    few correlated bits}. This implies, conditioned on the spoiled bits, that \\emph{splitting-recombination
    properties} hold. In particular, we have many nice properties that min-entropy
    doesn't obey in general, for example strong chain rules, \"information can't hurt\"
    inequalities, equivalences of average and worst-case conditional entropy definitions
    and others. Quantitatively, for any sequence X1,…,Xt of random variables over
    an alphabet X we prove that, when conditioned on m=t⋅O(loglog|X|+loglog(1/ϵ)+logt)
    bits of auxiliary information, all conditional distributions of the form Xi|X<i
    are ϵ-close to be nearly flat (only a constant factor away). The argument is combinatorial
    (based on simplex coverings).\r\nThis result may be used as a generic tool for
    \\emph{exhibiting block-source structures}. We demonstrate this by reproving the
    fundamental converter due to Nisan and Zuckermann (\\emph{J. Computer and System
    Sciences, 1996}), which shows that sampling blocks from a min-entropy source roughly
    preserves the entropy rate. Our bound implies, only by straightforward chain rules,
    an additive loss of o(1) (for sufficiently many samples), which qualitatively
    meets the first tighter analysis of this problem due to Vadhan (\\emph{CRYPTO'03}),
    obtained by large deviation techniques. "
article_number: '8849240'
article_processing_charge: No
arxiv: 1
author:
- first_name: Maciej
  full_name: Skórski, Maciej
  id: EC09FA6A-02D0-11E9-8223-86B7C91467DD
  last_name: Skórski
citation:
  ama: 'Skórski M. Strong chain rules for min-entropy under few bits spoiled. In:
    <i>2019 IEEE International Symposium on Information Theory</i>. IEEE; 2019. doi:<a
    href="https://doi.org/10.1109/isit.2019.8849240">10.1109/isit.2019.8849240</a>'
  apa: 'Skórski, M. (2019). Strong chain rules for min-entropy under few bits spoiled.
    In <i>2019 IEEE International Symposium on Information Theory</i>. Paris, France:
    IEEE. <a href="https://doi.org/10.1109/isit.2019.8849240">https://doi.org/10.1109/isit.2019.8849240</a>'
  chicago: Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.”
    In <i>2019 IEEE International Symposium on Information Theory</i>. IEEE, 2019.
    <a href="https://doi.org/10.1109/isit.2019.8849240">https://doi.org/10.1109/isit.2019.8849240</a>.
  ieee: M. Skórski, “Strong chain rules for min-entropy under few bits spoiled,” in
    <i>2019 IEEE International Symposium on Information Theory</i>, Paris, France,
    2019.
  ista: 'Skórski M. 2019. Strong chain rules for min-entropy under few bits spoiled.
    2019 IEEE International Symposium on Information Theory. ISIT: International Symposium
    on Information Theory, 8849240.'
  mla: Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.”
    <i>2019 IEEE International Symposium on Information Theory</i>, 8849240, IEEE,
    2019, doi:<a href="https://doi.org/10.1109/isit.2019.8849240">10.1109/isit.2019.8849240</a>.
  short: M. Skórski, in:, 2019 IEEE International Symposium on Information Theory,
    IEEE, 2019.
conference:
  end_date: 2019-07-12
  location: Paris, France
  name: 'ISIT: International Symposium on Information Theory'
  start_date: 2019-07-07
date_created: 2019-11-28T10:19:21Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2023-09-06T11:15:41Z
day: '01'
department:
- _id: KrPi
doi: 10.1109/isit.2019.8849240
external_id:
  arxiv:
  - '1702.08476'
  isi:
  - '000489100301043'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1702.08476
month: '07'
oa: 1
oa_version: Preprint
publication: 2019 IEEE International Symposium on Information Theory
publication_identifier:
  isbn:
  - '9781538692912'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Strong chain rules for min-entropy under few bits spoiled
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7143'
abstract:
- lang: eng
  text: Roots grow downwards parallel to the gravity vector, to anchor a plant in
    soil and acquire water and nutrients, using a gravitropic mechanism dependent
    on the asymmetric distribution of the phytohormone auxin. Recently, Chang et al.
    demonstrate that asymmetric distribution of another phytohormone, cytokinin, directs
    root growth towards higher water content.
article_processing_charge: No
article_type: original
author:
- first_name: Scott A
  full_name: Sinclair, Scott A
  id: 2D99FE6A-F248-11E8-B48F-1D18A9856A87
  last_name: Sinclair
  orcid: 0000-0002-4566-0593
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: 'Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. <i>Cell
    Research</i>. 2019;29:965-966. doi:<a href="https://doi.org/10.1038/s41422-019-0254-4">10.1038/s41422-019-0254-4</a>'
  apa: 'Sinclair, S. A., &#38; Friml, J. (2019). Defying gravity: a plant’s quest
    for moisture. <i>Cell Research</i>. Springer Nature. <a href="https://doi.org/10.1038/s41422-019-0254-4">https://doi.org/10.1038/s41422-019-0254-4</a>'
  chicago: 'Sinclair, Scott A, and Jiří Friml. “Defying Gravity: A Plant’s Quest for
    Moisture.” <i>Cell Research</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41422-019-0254-4">https://doi.org/10.1038/s41422-019-0254-4</a>.'
  ieee: 'S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,”
    <i>Cell Research</i>, vol. 29. Springer Nature, pp. 965–966, 2019.'
  ista: 'Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture.
    Cell Research. 29, 965–966.'
  mla: 'Sinclair, Scott A., and Jiří Friml. “Defying Gravity: A Plant’s Quest for
    Moisture.” <i>Cell Research</i>, vol. 29, Springer Nature, 2019, pp. 965–66, doi:<a
    href="https://doi.org/10.1038/s41422-019-0254-4">10.1038/s41422-019-0254-4</a>.'
  short: S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
date_created: 2019-12-02T12:30:48Z
date_published: 2019-12-01T00:00:00Z
date_updated: 2023-09-06T11:20:58Z
day: '01'
department:
- _id: JiFr
doi: 10.1038/s41422-019-0254-4
external_id:
  isi:
  - '000500749600001'
  pmid:
  - '31745287'
intvolume: '        29'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41422-019-0254-4
month: '12'
oa: 1
oa_version: Published Version
page: 965-966
pmid: 1
publication: Cell Research
publication_identifier:
  eissn:
  - 1748-7838
  issn:
  - 1001-0602
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Defying gravity: a plant''s quest for moisture'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 29
year: '2019'
...
---
_id: '7145'
abstract:
- lang: eng
  text: End-to-end correlated bound states are investigated in superconductor-semiconductor
    hybrid nanowires at zero magnetic field. Peaks in subgap conductance are independently
    identified from each wire end, and a cross-correlation function is computed that
    counts end-to-end coincidences, averaging over thousands of subgap features. Strong
    correlations in a short, 300-nm device are reduced by a factor of 4 in a long,
    900-nm device. In addition, subgap conductance distributions are investigated,
    and correlations between the left and right distributions are identified based
    on their mutual information.
article_number: '205412'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: G. L. R.
  full_name: Anselmetti, G. L. R.
  last_name: Anselmetti
- first_name: E. A.
  full_name: Martinez, E. A.
  last_name: Martinez
- first_name: G. C.
  full_name: Ménard, G. C.
  last_name: Ménard
- first_name: D.
  full_name: Puglia, D.
  last_name: Puglia
- first_name: F. K.
  full_name: Malinowski, F. K.
  last_name: Malinowski
- first_name: J. S.
  full_name: Lee, J. S.
  last_name: Lee
- first_name: S.
  full_name: Choi, S.
  last_name: Choi
- first_name: M.
  full_name: Pendharkar, M.
  last_name: Pendharkar
- first_name: C. J.
  full_name: Palmstrøm, C. J.
  last_name: Palmstrøm
- first_name: C. M.
  full_name: Marcus, C. M.
  last_name: Marcus
- first_name: L.
  full_name: Casparis, L.
  last_name: Casparis
- first_name: Andrew P
  full_name: Higginbotham, Andrew P
  id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
  last_name: Higginbotham
  orcid: 0000-0003-2607-2363
citation:
  ama: Anselmetti GLR, Martinez EA, Ménard GC, et al. End-to-end correlated subgap
    states in hybrid nanowires. <i>Physical Review B</i>. 2019;100(20). doi:<a href="https://doi.org/10.1103/physrevb.100.205412">10.1103/physrevb.100.205412</a>
  apa: Anselmetti, G. L. R., Martinez, E. A., Ménard, G. C., Puglia, D., Malinowski,
    F. K., Lee, J. S., … Higginbotham, A. P. (2019). End-to-end correlated subgap
    states in hybrid nanowires. <i>Physical Review B</i>. American Physical Society.
    <a href="https://doi.org/10.1103/physrevb.100.205412">https://doi.org/10.1103/physrevb.100.205412</a>
  chicago: Anselmetti, G. L. R., E. A. Martinez, G. C. Ménard, D. Puglia, F. K. Malinowski,
    J. S. Lee, S. Choi, et al. “End-to-End Correlated Subgap States in Hybrid Nanowires.”
    <i>Physical Review B</i>. American Physical Society, 2019. <a href="https://doi.org/10.1103/physrevb.100.205412">https://doi.org/10.1103/physrevb.100.205412</a>.
  ieee: G. L. R. Anselmetti <i>et al.</i>, “End-to-end correlated subgap states in
    hybrid nanowires,” <i>Physical Review B</i>, vol. 100, no. 20. American Physical
    Society, 2019.
  ista: Anselmetti GLR, Martinez EA, Ménard GC, Puglia D, Malinowski FK, Lee JS, Choi
    S, Pendharkar M, Palmstrøm CJ, Marcus CM, Casparis L, Higginbotham AP. 2019. End-to-end
    correlated subgap states in hybrid nanowires. Physical Review B. 100(20), 205412.
  mla: Anselmetti, G. L. R., et al. “End-to-End Correlated Subgap States in Hybrid
    Nanowires.” <i>Physical Review B</i>, vol. 100, no. 20, 205412, American Physical
    Society, 2019, doi:<a href="https://doi.org/10.1103/physrevb.100.205412">10.1103/physrevb.100.205412</a>.
  short: G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski,
    J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P.
    Higginbotham, Physical Review B 100 (2019).
date_created: 2019-12-04T16:02:25Z
date_published: 2019-11-15T00:00:00Z
date_updated: 2024-02-28T13:13:51Z
day: '15'
department:
- _id: AnHi
doi: 10.1103/physrevb.100.205412
external_id:
  arxiv:
  - '1908.05549'
  isi:
  - '000495967500006'
intvolume: '       100'
isi: 1
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1908.05549
month: '11'
oa: 1
oa_version: Preprint
publication: Physical Review B
publication_identifier:
  eissn:
  - 2469-9969
  issn:
  - 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: End-to-end correlated subgap states in hybrid nanowires
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2019'
...
---
_id: '7146'
abstract:
- lang: eng
  text: Prevailing models of sex-chromosome evolution were largely inspired by the
    stable and highly differentiated XY pairs of model organisms, such as those of
    mammals and flies. Recent work has uncovered an incredible diversity of sex-determining
    systems, bringing some of the assumptions of these traditional models into question.
    One particular question that has arisen is what drives some sex chromosomes to
    be maintained over millions of years and differentiate fully, while others are
    replaced by new sex-determining chromosomes before differentiation has occurred.
    Here, I review recent data on the variability of sex-determining genes and sex
    chromosomes in different non-model vertebrates and invertebrates, and discuss
    some theoretical models that have been put forward to account for this diversity.
article_processing_charge: No
article_type: original
author:
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
citation:
  ama: Vicoso B. Molecular and evolutionary dynamics of animal sex-chromosome turnover.
    <i>Nature Ecology &#38; Evolution</i>. 2019;3(12):1632-1641. doi:<a href="https://doi.org/10.1038/s41559-019-1050-8">10.1038/s41559-019-1050-8</a>
  apa: Vicoso, B. (2019). Molecular and evolutionary dynamics of animal sex-chromosome
    turnover. <i>Nature Ecology &#38; Evolution</i>. Springer Nature. <a href="https://doi.org/10.1038/s41559-019-1050-8">https://doi.org/10.1038/s41559-019-1050-8</a>
  chicago: Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome
    Turnover.” <i>Nature Ecology &#38; Evolution</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41559-019-1050-8">https://doi.org/10.1038/s41559-019-1050-8</a>.
  ieee: B. Vicoso, “Molecular and evolutionary dynamics of animal sex-chromosome turnover,”
    <i>Nature Ecology &#38; Evolution</i>, vol. 3, no. 12. Springer Nature, pp. 1632–1641,
    2019.
  ista: Vicoso B. 2019. Molecular and evolutionary dynamics of animal sex-chromosome
    turnover. Nature Ecology &#38; Evolution. 3(12), 1632–1641.
  mla: Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome
    Turnover.” <i>Nature Ecology &#38; Evolution</i>, vol. 3, no. 12, Springer Nature,
    2019, pp. 1632–41, doi:<a href="https://doi.org/10.1038/s41559-019-1050-8">10.1038/s41559-019-1050-8</a>.
  short: B. Vicoso, Nature Ecology &#38; Evolution 3 (2019) 1632–1641.
date_created: 2019-12-04T16:05:25Z
date_published: 2019-11-25T00:00:00Z
date_updated: 2023-09-06T11:18:59Z
day: '25'
department:
- _id: BeVi
doi: 10.1038/s41559-019-1050-8
ec_funded: 1
external_id:
  isi:
  - '000500728800009'
intvolume: '         3'
isi: 1
issue: '12'
language:
- iso: eng
month: '11'
oa_version: None
page: 1632-1641
project:
- _id: 250BDE62-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715257'
  name: Prevalence and Influence of Sexual Antagonism on Genome Evolution
publication: Nature Ecology & Evolution
publication_identifier:
  issn:
  - 2397-334X
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular and evolutionary dynamics of animal sex-chromosome turnover
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2019'
...
---
_id: '7147'
abstract:
- lang: eng
  text: "The expression of a gene is characterised by its transcription factors and
    the function processing them. If the transcription factors are not affected by
    gene products, the regulating function is often represented as a combinational
    logic circuit, where the outputs (product) are determined by current input values
    (transcription factors) only, and are hence independent on their relative arrival
    times. However, the simultaneous arrival of transcription factors (TFs) in genetic
    circuits is a strong assumption, given that the processes of transcription and
    translation of a gene into a protein introduce intrinsic time delays and that
    there is no global synchronisation among the arrival times of different molecular
    species at molecular targets.\r\n\r\nIn this paper, we construct an experimentally
    implementable genetic circuit with two inputs and a single output, such that,
    in presence of small delays in input arrival, the circuit exhibits qualitatively
    distinct observable phenotypes. In particular, these phenotypes are long lived
    transients: they all converge to a single value, but so slowly, that they seem
    stable for an extended time period, longer than typical experiment duration. We
    used rule-based language to prototype our circuit, and we implemented a search
    for finding the parameter combinations raising the phenotypes of interest.\r\n\r\nThe
    behaviour of our prototype circuit has wide implications. First, it suggests that
    GRNs can exploit event timing to create phenotypes. Second, it opens the possibility
    that GRNs are using event timing to react to stimuli and memorise events, without
    explicit feedback in regulation. From the modelling perspective, our prototype
    circuit demonstrates the critical importance of analysing the transient dynamics
    at the promoter binding sites of the DNA, before applying rapid equilibrium assumptions."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Calin C
  full_name: Guet, Calin C
  id: 47F8433E-F248-11E8-B48F-1D18A9856A87
  last_name: Guet
  orcid: 0000-0001-6220-2052
- 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: Claudia
  full_name: Igler, Claudia
  id: 46613666-F248-11E8-B48F-1D18A9856A87
  last_name: Igler
- first_name: Tatjana
  full_name: Petrov, Tatjana
  id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
  last_name: Petrov
  orcid: 0000-0002-9041-0905
- first_name: Ali
  full_name: Sezgin, Ali
  id: 4C7638DA-F248-11E8-B48F-1D18A9856A87
  last_name: Sezgin
citation:
  ama: 'Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene
    regulation. In: <i>17th International Conference on Computational Methods in Systems
    Biology</i>. Vol 11773. Springer Nature; 2019:155-187. doi:<a href="https://doi.org/10.1007/978-3-030-31304-3_9">10.1007/978-3-030-31304-3_9</a>'
  apa: 'Guet, C. C., Henzinger, T. A., Igler, C., Petrov, T., &#38; Sezgin, A. (2019).
    Transient memory in gene regulation. In <i>17th International Conference on Computational
    Methods in Systems Biology</i> (Vol. 11773, pp. 155–187). Trieste, Italy: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-030-31304-3_9">https://doi.org/10.1007/978-3-030-31304-3_9</a>'
  chicago: Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali
    Sezgin. “Transient Memory in Gene Regulation.” In <i>17th International Conference
    on Computational Methods in Systems Biology</i>, 11773:155–87. Springer Nature,
    2019. <a href="https://doi.org/10.1007/978-3-030-31304-3_9">https://doi.org/10.1007/978-3-030-31304-3_9</a>.
  ieee: C. C. Guet, T. A. Henzinger, C. Igler, T. Petrov, and A. Sezgin, “Transient
    memory in gene regulation,” in <i>17th International Conference on Computational
    Methods in Systems Biology</i>, Trieste, Italy, 2019, vol. 11773, pp. 155–187.
  ista: 'Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. 2019. Transient memory
    in gene regulation. 17th International Conference on Computational Methods in
    Systems Biology. CMSB: Computational Methods in Systems Biology, LNCS, vol. 11773,
    155–187.'
  mla: Guet, Calin C., et al. “Transient Memory in Gene Regulation.” <i>17th International
    Conference on Computational Methods in Systems Biology</i>, vol. 11773, Springer
    Nature, 2019, pp. 155–87, doi:<a href="https://doi.org/10.1007/978-3-030-31304-3_9">10.1007/978-3-030-31304-3_9</a>.
  short: C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International
    Conference on Computational Methods in Systems Biology, Springer Nature, 2019,
    pp. 155–187.
conference:
  end_date: 2019-09-20
  location: Trieste, Italy
  name: 'CMSB: Computational Methods in Systems Biology'
  start_date: 2019-09-18
date_created: 2019-12-04T16:07:50Z
date_published: 2019-09-17T00:00:00Z
date_updated: 2023-09-06T11:18:08Z
day: '17'
department:
- _id: CaGu
- _id: ToHe
doi: 10.1007/978-3-030-31304-3_9
external_id:
  isi:
  - '000557875100009'
intvolume: '     11773'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 155-187
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 251EE76E-B435-11E9-9278-68D0E5697425
  grant_number: '24573'
  name: Design principles underlying genetic switch architecture
publication: 17th International Conference on Computational Methods in Systems Biology
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783030313036'
  - '9783030313043'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Transient memory in gene regulation
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11773
year: '2019'
...
---
_id: '7154'
article_processing_charge: No
author:
- first_name: Ruslan
  full_name: Guseinov, Ruslan
  id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87
  last_name: Guseinov
  orcid: 0000-0001-9819-5077
citation:
  ama: Guseinov R. Supplementary data for “Programming temporal morphing of self-actuated
    shells.” 2019. doi:<a href="https://doi.org/10.15479/AT:ISTA:7154">10.15479/AT:ISTA:7154</a>
  apa: Guseinov, R. (2019). Supplementary data for “Programming temporal morphing
    of self-actuated shells.” Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:7154">https://doi.org/10.15479/AT:ISTA:7154</a>
  chicago: Guseinov, Ruslan. “Supplementary Data for ‘Programming Temporal Morphing
    of Self-Actuated Shells.’” Institute of Science and Technology Austria, 2019.
    <a href="https://doi.org/10.15479/AT:ISTA:7154">https://doi.org/10.15479/AT:ISTA:7154</a>.
  ieee: R. Guseinov, “Supplementary data for ‘Programming temporal morphing of self-actuated
    shells.’” Institute of Science and Technology Austria, 2019.
  ista: Guseinov R. 2019. Supplementary data for ‘Programming temporal morphing of
    self-actuated shells’, Institute of Science and Technology Austria, <a href="https://doi.org/10.15479/AT:ISTA:7154">10.15479/AT:ISTA:7154</a>.
  mla: Guseinov, Ruslan. <i>Supplementary Data for “Programming Temporal Morphing
    of Self-Actuated Shells.”</i> Institute of Science and Technology Austria, 2019,
    doi:<a href="https://doi.org/10.15479/AT:ISTA:7154">10.15479/AT:ISTA:7154</a>.
  short: R. Guseinov, (2019).
contributor:
- first_name: Ruslan
  id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87
  last_name: Guseinov
  orcid: 0000-0001-9819-5077
- first_name: Connor
  last_name: McMahan
- first_name: Jesus
  id: 2DC83906-F248-11E8-B48F-1D18A9856A87
  last_name: Perez Rodriguez
- first_name: Chiara
  last_name: Daraio
- first_name: Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
date_created: 2019-12-09T07:52:46Z
date_published: 2019-12-06T00:00:00Z
date_updated: 2024-02-21T12:45:03Z
day: '06'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.15479/AT:ISTA:7154
ec_funded: 1
file:
- access_level: open_access
  checksum: 155133e6e188e85b3c0676a5e70b9341
  content_type: application/x-zip-compressed
  creator: dernst
  date_created: 2019-12-09T07:52:17Z
  date_updated: 2020-07-14T12:47:50Z
  file_id: '7155'
  file_name: temporal_morphing_supp_data.zip
  file_size: 65307107
  relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
has_accepted_license: '1'
license: https://creativecommons.org/publicdomain/zero/1.0/
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '8433'
    relation: used_in_publication
    status: deleted
  - id: '7262'
    relation: used_in_publication
    status: public
status: public
title: Supplementary data for "Programming temporal morphing of self-actuated shells"
tmp:
  image: /images/cc_0.png
  legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
  name: Creative Commons Public Domain Dedication (CC0 1.0)
  short: CC0 (1.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '7156'
abstract:
- lang: eng
  text: We propose an efficient microwave-photonic modulator as a resource for stationary
    entangled microwave-optical fields and develop the theory for deterministic entanglement
    generation and quantum state transfer in multi-resonant electro-optic systems.
    The device is based on a single crystal whispering gallery mode resonator integrated
    into a 3D-microwave cavity. The specific design relies on a new combination of
    thin-film technology and conventional machining that is optimized for the lowest
    dissipation rates in the microwave, optical, and mechanical domains. We extract
    important device properties from finite-element simulations and predict continuous
    variable entanglement generation rates on the order of a Mebit/s for optical pump
    powers of only a few tens of microwatts. We compare the quantum state transfer
    fidelities of coherent, squeezed, and non-Gaussian cat states for both teleportation
    and direct conversion protocols under realistic conditions. Combining the unique
    capabilities of circuit quantum electrodynamics with the resilience of fiber optic
    communication could facilitate long-distance solid-state qubit networks, new methods
    for quantum signal synthesis, quantum key distribution, and quantum enhanced detection,
    as well as more power-efficient classical sensing and modulation.
article_number: '108'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Alfredo R
  full_name: Rueda Sanchez, Alfredo R
  id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87
  last_name: Rueda Sanchez
  orcid: 0000-0001-6249-5860
- first_name: William J
  full_name: Hease, William J
  id: 29705398-F248-11E8-B48F-1D18A9856A87
  last_name: Hease
  orcid: 0000-0001-9868-2166
- first_name: Shabir
  full_name: Barzanjeh, Shabir
  id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
  last_name: Barzanjeh
  orcid: 0000-0003-0415-1423
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
citation:
  ama: Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. Electro-optic entanglement
    source for microwave to telecom quantum state transfer. <i>npj Quantum Information</i>.
    2019;5. doi:<a href="https://doi.org/10.1038/s41534-019-0220-5">10.1038/s41534-019-0220-5</a>
  apa: Rueda Sanchez, A. R., Hease, W. J., Barzanjeh, S., &#38; Fink, J. M. (2019).
    Electro-optic entanglement source for microwave to telecom quantum state transfer.
    <i>Npj Quantum Information</i>. Springer Nature. <a href="https://doi.org/10.1038/s41534-019-0220-5">https://doi.org/10.1038/s41534-019-0220-5</a>
  chicago: Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes
    M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State
    Transfer.” <i>Npj Quantum Information</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41534-019-0220-5">https://doi.org/10.1038/s41534-019-0220-5</a>.
  ieee: A. R. Rueda Sanchez, W. J. Hease, S. Barzanjeh, and J. M. Fink, “Electro-optic
    entanglement source for microwave to telecom quantum state transfer,” <i>npj Quantum
    Information</i>, vol. 5. Springer Nature, 2019.
  ista: Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement
    source for microwave to telecom quantum state transfer. npj Quantum Information.
    5, 108.
  mla: Rueda Sanchez, Alfredo R., et al. “Electro-Optic Entanglement Source for Microwave
    to Telecom Quantum State Transfer.” <i>Npj Quantum Information</i>, vol. 5, 108,
    Springer Nature, 2019, doi:<a href="https://doi.org/10.1038/s41534-019-0220-5">10.1038/s41534-019-0220-5</a>.
  short: A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information
    5 (2019).
date_created: 2019-12-09T08:18:56Z
date_published: 2019-12-01T00:00:00Z
date_updated: 2024-08-07T07:11:55Z
day: '01'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1038/s41534-019-0220-5
ec_funded: 1
external_id:
  arxiv:
  - '1909.01470'
  isi:
  - '000502996200003'
file:
- access_level: open_access
  checksum: 13e0ea1d4f9b5f5710780d9473364f58
  content_type: application/pdf
  creator: dernst
  date_created: 2019-12-09T08:25:06Z
  date_updated: 2020-07-14T12:47:50Z
  file_id: '7157'
  file_name: 2019_NPJ_Rueda.pdf
  file_size: 1580132
  relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
has_accepted_license: '1'
intvolume: '         5'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '758053'
  name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 258047B6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '707438'
  name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination
    with cavity Optomechanics SUPEREOM'
- _id: 257EB838-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '732894'
  name: Hybrid Optomechanical Technologies
- _id: 26927A52-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: F07105
  name: Integrating superconducting quantum circuits
publication: npj Quantum Information
publication_identifier:
  issn:
  - 2056-6387
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Electro-optic entanglement source for microwave to telecom quantum state transfer
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: 5
year: '2019'
...
---
_id: '7158'
abstract:
- lang: eng
  text: "Interprocedural analysis is at the heart of numerous applications in programming
    languages, such as alias analysis, constant propagation, and so on. Recursive
    state machines (RSMs) are standard models for interprocedural analysis. We consider
    a general framework with RSMs where the transitions are labeled from a semiring
    and path properties are algebraic with semiring operations. RSMs with algebraic
    path properties can model interprocedural dataflow analysis problems, the shortest
    path problem, the most probable path problem, and so on. The traditional algorithms
    for interprocedural analysis focus on path properties where the starting point
    is fixed as the entry point of a specific method. In this work, we consider possible
    multiple queries as required in many applications such as in alias analysis. The
    study of multiple queries allows us to bring in an important algorithmic distinction
    between the resource usage of the one-time preprocessing vs for each individual
    query. The second aspect we consider is that the control flow graphs for most
    programs have constant treewidth.\r\n\r\nOur main contributions are simple and
    implementable algorithms that support multiple queries for algebraic path properties
    for RSMs that have constant treewidth. Our theoretical results show that our algorithms
    have small additional one-time preprocessing but can answer subsequent queries
    significantly faster as compared to the current algorithmic solutions for interprocedural
    dataflow analysis. We have also implemented our algorithms and evaluated their
    performance for performing on-demand interprocedural dataflow analysis on various
    domains, such as for live variable analysis and reaching definitions, on a standard
    benchmark set. Our experimental results align with our theoretical statements
    and show that after a lightweight preprocessing, on-demand queries are answered
    much faster than the standard existing algorithmic approaches.\r\n"
article_number: '23'
article_processing_charge: No
article_type: original
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Prateesh
  full_name: Goyal, Prateesh
  last_name: Goyal
- first_name: Rasmus
  full_name: Ibsen-Jensen, Rasmus
  id: 3B699956-F248-11E8-B48F-1D18A9856A87
  last_name: Ibsen-Jensen
  orcid: 0000-0003-4783-0389
- first_name: Andreas
  full_name: Pavlogiannis, Andreas
  id: 49704004-F248-11E8-B48F-1D18A9856A87
  last_name: Pavlogiannis
  orcid: 0000-0002-8943-0722
citation:
  ama: Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster
    algorithms for dynamic algebraic queries in basic RSMs with constant treewidth.
    <i>ACM Transactions on Programming Languages and Systems</i>. 2019;41(4). doi:<a
    href="https://doi.org/10.1145/3363525">10.1145/3363525</a>
  apa: Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., &#38; Pavlogiannis,
    A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with
    constant treewidth. <i>ACM Transactions on Programming Languages and Systems</i>.
    ACM. <a href="https://doi.org/10.1145/3363525">https://doi.org/10.1145/3363525</a>
  chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus
    Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic
    Queries in Basic RSMs with Constant Treewidth.” <i>ACM Transactions on Programming
    Languages and Systems</i>. ACM, 2019. <a href="https://doi.org/10.1145/3363525">https://doi.org/10.1145/3363525</a>.
  ieee: K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis,
    “Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,”
    <i>ACM Transactions on Programming Languages and Systems</i>, vol. 41, no. 4.
    ACM, 2019.
  ista: Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. 2019.
    Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth.
    ACM Transactions on Programming Languages and Systems. 41(4), 23.
  mla: Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries
    in Basic RSMs with Constant Treewidth.” <i>ACM Transactions on Programming Languages
    and Systems</i>, vol. 41, no. 4, 23, ACM, 2019, doi:<a href="https://doi.org/10.1145/3363525">10.1145/3363525</a>.
  short: K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis,
    ACM Transactions on Programming Languages and Systems 41 (2019).
date_created: 2019-12-09T08:33:33Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2024-03-25T23:30:19Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3363525
ec_funded: 1
external_id:
  isi:
  - '000564108400004'
file:
- access_level: open_access
  checksum: 291cc86a07bd010d4815e177dac57b70
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-08T12:58:10Z
  date_updated: 2020-10-08T12:58:10Z
  file_id: '8632'
  file_name: 2019_ACMTransactions_Chatterjee.pdf
  file_size: 667357
  relation: main_file
  success: 1
file_date_updated: 2020-10-08T12:58:10Z
has_accepted_license: '1'
intvolume: '        41'
isi: 1
issue: '4'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
  issn:
  - 0164-0925
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Faster algorithms for dynamic algebraic queries in basic RSMs with constant
  treewidth
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 41
year: '2019'
...
---
_id: '7159'
abstract:
- lang: eng
  text: 'Cyber-physical systems (CPS) and the Internet-of-Things (IoT) result in a
    tremendous amount of generated, measured and recorded time-series data. Extracting
    temporal segments that encode patterns with useful information out of these huge
    amounts of data is an extremely difficult problem. We propose shape expressions
    as a declarative formalism for specifying, querying and extracting sophisticated
    temporal patterns from possibly noisy data. Shape expressions are regular expressions
    with arbitrary (linear, exponential, sinusoidal, etc.) shapes with parameters
    as atomic predicates and additional constraints on these parameters. We equip
    shape expressions with a novel noisy semantics that combines regular expression
    matching semantics with statistical regression. We characterize essential properties
    of the formalism and propose an efficient approximate shape expression matching
    procedure. We demonstrate the wide applicability of this technique on two case
    studies. '
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dejan
  full_name: Ničković, Dejan
  last_name: Ničković
- first_name: Xin
  full_name: Qin, Xin
  last_name: Qin
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Cristinel
  full_name: Mateis, Cristinel
  last_name: Mateis
- first_name: Jyotirmoy
  full_name: Deshmukh, Jyotirmoy
  last_name: Deshmukh
citation:
  ama: 'Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for
    specifying and extracting signal features. In: <i>19th International Conference
    on Runtime Verification</i>. Vol 11757. Springer Nature; 2019:292-309. doi:<a
    href="https://doi.org/10.1007/978-3-030-32079-9_17">10.1007/978-3-030-32079-9_17</a>'
  apa: 'Ničković, D., Qin, X., Ferrere, T., Mateis, C., &#38; Deshmukh, J. (2019).
    Shape expressions for specifying and extracting signal features. In <i>19th International
    Conference on Runtime Verification</i> (Vol. 11757, pp. 292–309). Porto, Portugal:
    Springer Nature. <a href="https://doi.org/10.1007/978-3-030-32079-9_17">https://doi.org/10.1007/978-3-030-32079-9_17</a>'
  chicago: Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy
    Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In
    <i>19th International Conference on Runtime Verification</i>, 11757:292–309. Springer
    Nature, 2019. <a href="https://doi.org/10.1007/978-3-030-32079-9_17">https://doi.org/10.1007/978-3-030-32079-9_17</a>.
  ieee: D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions
    for specifying and extracting signal features,” in <i>19th International Conference
    on Runtime Verification</i>, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
  ista: 'Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions
    for specifying and extracting signal features. 19th International Conference on
    Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757, 292–309.'
  mla: Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal
    Features.” <i>19th International Conference on Runtime Verification</i>, vol.
    11757, Springer Nature, 2019, pp. 292–309, doi:<a href="https://doi.org/10.1007/978-3-030-32079-9_17">10.1007/978-3-030-32079-9_17</a>.
  short: D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International
    Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
conference:
  end_date: 2019-10-11
  location: Porto, Portugal
  name: 'RV: Runtime Verification'
  start_date: 2019-10-08
date_created: 2019-12-09T08:47:55Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-09-06T11:24:10Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-030-32079-9_17
external_id:
  isi:
  - '000570006300017'
intvolume: '     11757'
isi: 1
language:
- iso: eng
month: '10'
oa_version: None
page: 292-309
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Rigorous Systems Engineering
publication: 19th International Conference on Runtime Verification
publication_identifier:
  isbn:
  - '9783030320782'
  - '9783030320799'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Shape expressions for specifying and extracting signal features
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11757
year: '2019'
...
