---
_id: '6454'
abstract:
- lang: eng
  text: 'Adult neural stem cells and multiciliated ependymalcells are glial cells
    essential for neurological func-tions. Together, they make up the adult neurogenicniche.
    Using both high-throughput clonal analysisand single-cell resolution of progenitor
    division pat-terns and fate, we show that these two componentsof the neurogenic
    niche are lineally related: adult neu-ral stem cells are sister cells to ependymal
    cells,whereas most ependymal cells arise from the termi-nal symmetric divisions
    of the lineage. Unexpectedly,we found that the antagonist regulators of DNA repli-cation,
    GemC1 and Geminin, can tune the proportionof neural stem cells and ependymal cells.
    Our find-ings reveal the controlled dynamic of the neurogenicniche ontogeny and
    identify the Geminin familymembers as key regulators of the initial pool of adultneural
    stem cells.'
article_processing_charge: No
author:
- first_name: G
  full_name: Ortiz-Álvarez, G
  last_name: Ortiz-Álvarez
- first_name: M
  full_name: Daclin, M
  last_name: Daclin
- first_name: A
  full_name: Shihavuddin, A
  last_name: Shihavuddin
- first_name: P
  full_name: Lansade, P
  last_name: Lansade
- first_name: A
  full_name: Fortoul, A
  last_name: Fortoul
- first_name: M
  full_name: Faucourt, M
  last_name: Faucourt
- first_name: S
  full_name: Clavreul, S
  last_name: Clavreul
- first_name: ME
  full_name: Lalioti, ME
  last_name: Lalioti
- first_name: S
  full_name: Taraviras, S
  last_name: Taraviras
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
- first_name: J
  full_name: Livet, J
  last_name: Livet
- first_name: A
  full_name: Meunier, A
  last_name: Meunier
- first_name: A
  full_name: Genovesio, A
  last_name: Genovesio
- first_name: N
  full_name: Spassky, N
  last_name: Spassky
citation:
  ama: Ortiz-Álvarez G, Daclin M, Shihavuddin A, et al. Adult neural stem cells and
    multiciliated ependymal cells share a common lineage regulated by the Geminin
    family members. <i>Neuron</i>. 2019;102(1):159-172.e7. doi:<a href="https://doi.org/10.1016/j.neuron.2019.01.051">10.1016/j.neuron.2019.01.051</a>
  apa: Ortiz-Álvarez, G., Daclin, M., Shihavuddin, A., Lansade, P., Fortoul, A., Faucourt,
    M., … Spassky, N. (2019). Adult neural stem cells and multiciliated ependymal
    cells share a common lineage regulated by the Geminin family members. <i>Neuron</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.neuron.2019.01.051">https://doi.org/10.1016/j.neuron.2019.01.051</a>
  chicago: Ortiz-Álvarez, G, M Daclin, A Shihavuddin, P Lansade, A Fortoul, M Faucourt,
    S Clavreul, et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells
    Share a Common Lineage Regulated by the Geminin Family Members.” <i>Neuron</i>.
    Elsevier, 2019. <a href="https://doi.org/10.1016/j.neuron.2019.01.051">https://doi.org/10.1016/j.neuron.2019.01.051</a>.
  ieee: G. Ortiz-Álvarez <i>et al.</i>, “Adult neural stem cells and multiciliated
    ependymal cells share a common lineage regulated by the Geminin family members,”
    <i>Neuron</i>, vol. 102, no. 1. Elsevier, p. 159–172.e7, 2019.
  ista: Ortiz-Álvarez G, Daclin M, Shihavuddin A, Lansade P, Fortoul A, Faucourt M,
    Clavreul S, Lalioti M, Taraviras S, Hippenmeyer S, Livet J, Meunier A, Genovesio
    A, Spassky N. 2019. Adult neural stem cells and multiciliated ependymal cells
    share a common lineage regulated by the Geminin family members. Neuron. 102(1),
    159–172.e7.
  mla: Ortiz-Álvarez, G., et al. “Adult Neural Stem Cells and Multiciliated Ependymal
    Cells Share a Common Lineage Regulated by the Geminin Family Members.” <i>Neuron</i>,
    vol. 102, no. 1, Elsevier, 2019, p. 159–172.e7, doi:<a href="https://doi.org/10.1016/j.neuron.2019.01.051">10.1016/j.neuron.2019.01.051</a>.
  short: G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt,
    S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A.
    Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.
date_created: 2019-05-14T13:06:30Z
date_published: 2019-04-03T00:00:00Z
date_updated: 2023-09-05T13:02:21Z
day: '03'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1016/j.neuron.2019.01.051
ec_funded: 1
external_id:
  isi:
  - '000463337900018'
  pmid:
  - '30824354'
file:
- access_level: open_access
  checksum: 1fb6e195c583eb0c5cabf26f69ff6675
  content_type: application/pdf
  creator: dernst
  date_created: 2019-05-15T09:28:41Z
  date_updated: 2020-07-14T12:47:30Z
  file_id: '6457'
  file_name: 2019_Neuron_Ortiz.pdf
  file_size: 7288572
  relation: main_file
file_date_updated: 2020-07-14T12:47:30Z
has_accepted_license: '1'
intvolume: '       102'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 159-172.e7
pmid: 1
project:
- _id: 260018B0-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '725780'
  name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
publication: Neuron
publication_identifier:
  eissn:
  - 1097-4199
  issn:
  - 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adult neural stem cells and multiciliated ependymal cells share a common lineage
  regulated by the Geminin family members
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 102
year: '2019'
...
---
_id: '6455'
abstract:
- lang: eng
  text: During corticogenesis, distinct subtypes of neurons are sequentially born
    from ventricular zone progenitors. How these cells are molecularly temporally
    patterned is poorly understood. We used single-cell RNA sequencing at high temporal
    resolution to trace the lineage of the molecular identities of successive generations
    of apical progenitors (APs) and their daughter neurons in mouse embryos. We identified
    a core set of evolutionarily conserved, temporally patterned genes that drive
    APs from internally driven to more exteroceptive states. We found that the Polycomb
    repressor complex 2 (PRC2) epigenetically regulates AP temporal progression. Embryonic
    age–dependent AP molecular states are transmitted to their progeny as successive
    ground states, onto which essentially conserved early postmitotic differentiation
    programs are applied, and are complemented by later-occurring environment-dependent
    signals. Thus, epigenetically regulated temporal molecular birthmarks present
    in progenitors act in their postmitotic progeny to seed adult neuronal diversity.
article_number: eaav2522
article_processing_charge: No
article_type: original
author:
- first_name: L
  full_name: Telley, L
  last_name: Telley
- first_name: G
  full_name: Agirman, G
  last_name: Agirman
- first_name: J
  full_name: Prados, J
  last_name: Prados
- first_name: Nicole
  full_name: Amberg, Nicole
  id: 4CD6AAC6-F248-11E8-B48F-1D18A9856A87
  last_name: Amberg
  orcid: 0000-0002-3183-8207
- first_name: S
  full_name: Fièvre, S
  last_name: Fièvre
- first_name: P
  full_name: Oberst, P
  last_name: Oberst
- first_name: G
  full_name: Bartolini, G
  last_name: Bartolini
- first_name: I
  full_name: Vitali, I
  last_name: Vitali
- first_name: C
  full_name: Cadilhac, C
  last_name: Cadilhac
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
- first_name: L
  full_name: Nguyen, L
  last_name: Nguyen
- first_name: A
  full_name: Dayer, A
  last_name: Dayer
- first_name: D
  full_name: Jabaudon, D
  last_name: Jabaudon
citation:
  ama: Telley L, Agirman G, Prados J, et al. Temporal patterning of apical progenitors
    and their daughter neurons in the developing neocortex. <i>Science</i>. 2019;364(6440).
    doi:<a href="https://doi.org/10.1126/science.aav2522">10.1126/science.aav2522</a>
  apa: Telley, L., Agirman, G., Prados, J., Amberg, N., Fièvre, S., Oberst, P., …
    Jabaudon, D. (2019). Temporal patterning of apical progenitors and their daughter
    neurons in the developing neocortex. <i>Science</i>. AAAS. <a href="https://doi.org/10.1126/science.aav2522">https://doi.org/10.1126/science.aav2522</a>
  chicago: Telley, L, G Agirman, J Prados, Nicole Amberg, S Fièvre, P Oberst, G Bartolini,
    et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in
    the Developing Neocortex.” <i>Science</i>. AAAS, 2019. <a href="https://doi.org/10.1126/science.aav2522">https://doi.org/10.1126/science.aav2522</a>.
  ieee: L. Telley <i>et al.</i>, “Temporal patterning of apical progenitors and their
    daughter neurons in the developing neocortex,” <i>Science</i>, vol. 364, no. 6440.
    AAAS, 2019.
  ista: Telley L, Agirman G, Prados J, Amberg N, Fièvre S, Oberst P, Bartolini G,
    Vitali I, Cadilhac C, Hippenmeyer S, Nguyen L, Dayer A, Jabaudon D. 2019. Temporal
    patterning of apical progenitors and their daughter neurons in the developing
    neocortex. Science. 364(6440), eaav2522.
  mla: Telley, L., et al. “Temporal Patterning of Apical Progenitors and Their Daughter
    Neurons in the Developing Neocortex.” <i>Science</i>, vol. 364, no. 6440, eaav2522,
    AAAS, 2019, doi:<a href="https://doi.org/10.1126/science.aav2522">10.1126/science.aav2522</a>.
  short: L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini,
    I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science
    364 (2019).
date_created: 2019-05-14T13:07:47Z
date_published: 2019-05-10T00:00:00Z
date_updated: 2023-09-05T11:51:09Z
day: '10'
department:
- _id: SiHi
doi: 10.1126/science.aav2522
ec_funded: 1
external_id:
  isi:
  - '000467631800034'
  pmid:
  - '31073041'
intvolume: '       364'
isi: 1
issue: '6440'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://orbi.uliege.be/bitstream/2268/239604/1/Telley_Agirman_Science2019.pdf
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260018B0-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '725780'
  name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
- _id: 268F8446-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: T0101031
  name: Role of Eed in neural stem cell lineage progression
publication: Science
publication_identifier:
  eissn:
  - 1095-9203
  issn:
  - 0036-8075
publication_status: published
publisher: AAAS
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/how-to-generate-a-brain-of-correct-size-and-composition/
scopus_import: '1'
status: public
title: Temporal patterning of apical progenitors and their daughter neurons in the
  developing neocortex
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 364
year: '2019'
...
---
_id: '6462'
abstract:
- lang: eng
  text: A controller is a device that interacts with a plant. At each time point,it
    reads the plant’s state and issues commands with the goal that the plant oper-ates
    optimally. Constructing optimal controllers is a fundamental and challengingproblem.
    Machine learning techniques have recently been successfully applied totrain controllers,
    yet they have limitations. Learned controllers are monolithic andhard to reason
    about. In particular, it is difficult to add features without retraining,to guarantee
    any level of performance, and to achieve acceptable performancewhen encountering
    untrained scenarios. These limitations can be addressed bydeploying quantitative
    run-timeshieldsthat serve as a proxy for the controller.At each time point, the
    shield reads the command issued by the controller andmay choose to alter it before
    passing it on to the plant. We show how optimalshields that interfere as little
    as possible while guaranteeing a desired level ofcontroller performance, can be
    generated systematically and automatically usingreactive  synthesis.  First,  we  abstract  the  plant  by  building  a  stochastic  model.Second,
    we consider the learned controller to be a black box. Third, we mea-surecontroller
    performanceandshield interferenceby two quantitative run-timemeasures that are
    formally defined using weighted automata. Then, the problemof constructing a shield
    that guarantees maximal performance with minimal inter-ference is the problem
    of finding an optimal strategy in a stochastic2-player game“controller versus
    shield” played on the abstract state space of the plant with aquantitative objective
    obtained from combining the performance and interferencemeasures. We illustrate
    the effectiveness of our approach by automatically con-structing lightweight shields
    for learned traffic-light controllers in various roadnetworks. The shields we
    generate avoid liveness bugs, improve controller per-formance in untrained and
    changing traffic situations, and add features to learnedcontrollers, such as giving
    priority to emergency vehicles.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Guy
  full_name: Avni, Guy
  id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Avni
  orcid: 0000-0001-5588-8287
- first_name: Roderick
  full_name: Bloem, Roderick
  last_name: Bloem
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Bettina
  full_name: Konighofer, Bettina
  last_name: Konighofer
- first_name: Stefan
  full_name: Pranger, Stefan
  last_name: Pranger
citation:
  ama: 'Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time
    optimization for learned controllers through quantitative games. In: <i>31st International
    Conference on Computer-Aided Verification</i>. Vol 11561. Springer; 2019:630-649.
    doi:<a href="https://doi.org/10.1007/978-3-030-25540-4_36">10.1007/978-3-030-25540-4_36</a>'
  apa: 'Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., &#38;
    Pranger, S. (2019). Run-time optimization for learned controllers through quantitative
    games. In <i>31st International Conference on Computer-Aided Verification</i>
    (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. <a href="https://doi.org/10.1007/978-3-030-25540-4_36">https://doi.org/10.1007/978-3-030-25540-4_36</a>'
  chicago: Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina
    Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers
    through Quantitative Games.” In <i>31st International Conference on Computer-Aided
    Verification</i>, 11561:630–49. Springer, 2019. <a href="https://doi.org/10.1007/978-3-030-25540-4_36">https://doi.org/10.1007/978-3-030-25540-4_36</a>.
  ieee: G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger,
    “Run-time optimization for learned controllers through quantitative games,” in
    <i>31st International Conference on Computer-Aided Verification</i>, New York,
    NY, United States, 2019, vol. 11561, pp. 630–649.
  ista: 'Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019.
    Run-time optimization for learned controllers through quantitative games. 31st
    International Conference on Computer-Aided Verification. CAV: Computer Aided Verification,
    LNCS, vol. 11561, 630–649.'
  mla: Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative
    Games.” <i>31st International Conference on Computer-Aided Verification</i>, vol.
    11561, Springer, 2019, pp. 630–49, doi:<a href="https://doi.org/10.1007/978-3-030-25540-4_36">10.1007/978-3-030-25540-4_36</a>.
  short: G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger,
    in:, 31st International Conference on Computer-Aided Verification, Springer, 2019,
    pp. 630–649.
conference:
  end_date: 2019-07-18
  location: New York, NY, United States
  name: 'CAV: Computer Aided Verification'
  start_date: 2019-07-13
date_created: 2019-05-16T11:22:30Z
date_published: 2019-07-12T00:00:00Z
date_updated: 2023-08-25T10:33:27Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1007/978-3-030-25540-4_36
external_id:
  isi:
  - '000491468000036'
file:
- access_level: open_access
  checksum: c231579f2485c6fd4df17c9443a4d80b
  content_type: application/pdf
  creator: dernst
  date_created: 2019-08-14T09:35:24Z
  date_updated: 2020-07-14T12:47:31Z
  file_id: '6816'
  file_name: 2019_CAV_Avni.pdf
  file_size: 659766
  relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: '     11561'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 630-649
project:
- _id: 264B3912-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: M02369
  name: Formal Methods meets Algorithmic Game Theory
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: 31st International Conference on Computer-Aided Verification
publication_identifier:
  isbn:
  - '9783030255398'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Run-time optimization for learned controllers through quantitative games
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11561
year: '2019'
...
---
_id: '6465'
abstract:
- lang: eng
  text: Tight control over protein degradation is a fundamental requirement for cells
    to respond rapidly to various stimuli and adapt to a fluctuating environment.
    Here we develop a versatile, easy-to-handle library of destabilizing tags (degrons)
    for the precise regulation of protein expression profiles in mammalian cells by
    modulating target protein half-lives in a predictable manner. Using the well-established
    tetracycline gene-regulation system as a model, we show that the dynamics of protein
    expression can be tuned by fusing appropriate degron tags to gene regulators.
    Next, we apply this degron library to tune a synthetic pulse-generating circuit
    in mammalian cells. With this toolbox we establish a set of pulse generators with
    tailored pulse lengths and magnitudes of protein expression. This methodology
    will prove useful in the functional roles of essential proteins, fine-tuning of
    gene-expression systems, and enabling a higher complexity in the design of synthetic
    biological systems in mammalian cells.
article_number: '2013'
article_processing_charge: No
author:
- first_name: Hélène
  full_name: Chassin, Hélène
  last_name: Chassin
- first_name: Marius
  full_name: Müller, Marius
  last_name: Müller
- first_name: Marcel
  full_name: Tigges, Marcel
  last_name: Tigges
- first_name: Leo
  full_name: Scheller, Leo
  last_name: Scheller
- first_name: Moritz
  full_name: Lang, Moritz
  id: 29E0800A-F248-11E8-B48F-1D18A9856A87
  last_name: Lang
- first_name: Martin
  full_name: Fussenegger, Martin
  last_name: Fussenegger
citation:
  ama: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. A modular
    degron library for synthetic circuits in mammalian cells. <i>Nature Communications</i>.
    2019;10(1). doi:<a href="https://doi.org/10.1038/s41467-019-09974-5">10.1038/s41467-019-09974-5</a>
  apa: Chassin, H., Müller, M., Tigges, M., Scheller, L., Lang, M., &#38; Fussenegger,
    M. (2019). A modular degron library for synthetic circuits in mammalian cells.
    <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-019-09974-5">https://doi.org/10.1038/s41467-019-09974-5</a>
  chicago: Chassin, Hélène, Marius Müller, Marcel Tigges, Leo Scheller, Moritz Lang,
    and Martin Fussenegger. “A Modular Degron Library for Synthetic Circuits in Mammalian
    Cells.” <i>Nature Communications</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41467-019-09974-5">https://doi.org/10.1038/s41467-019-09974-5</a>.
  ieee: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger,
    “A modular degron library for synthetic circuits in mammalian cells,” <i>Nature
    Communications</i>, vol. 10, no. 1. Springer Nature, 2019.
  ista: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A
    modular degron library for synthetic circuits in mammalian cells. Nature Communications.
    10(1), 2013.
  mla: Chassin, Hélène, et al. “A Modular Degron Library for Synthetic Circuits in
    Mammalian Cells.” <i>Nature Communications</i>, vol. 10, no. 1, 2013, Springer
    Nature, 2019, doi:<a href="https://doi.org/10.1038/s41467-019-09974-5">10.1038/s41467-019-09974-5</a>.
  short: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature
    Communications 10 (2019).
date_created: 2019-05-19T21:59:14Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2023-08-25T10:33:51Z
day: '01'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1038/s41467-019-09974-5
external_id:
  isi:
  - '000466338600006'
file:
- access_level: open_access
  checksum: e214d3e4f8c81e35981583c4569b51b8
  content_type: application/pdf
  creator: dernst
  date_created: 2019-05-20T07:33:54Z
  date_updated: 2020-07-14T12:47:31Z
  file_id: '6471'
  file_name: 2019_NatureComm_Chassin.pdf
  file_size: 1191827
  relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: '        10'
isi: 1
issue: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
  eissn:
  - '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41467-023-36111-0
scopus_import: '1'
status: public
title: A modular degron library for synthetic circuits in mammalian cells
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: 10
year: '2019'
...
---
_id: '6466'
abstract:
- lang: eng
  text: "One of the most striking and consistent results in speciation genomics is
    the heterogeneous divergence observed across the genomes of closely related species.
    This pattern was initially attributed to different levels of gene exchange—with
    divergence preserved at loci generating a barrier to gene flow but homogenized
    at unlinked neutral loci. Although there is evidence to support this model, it
    is now recognized that interpreting patterns of divergence across genomes is not
    so straightforward. One \r\nproblem is that heterogenous divergence between populations
    can also be generated by other processes (e.g. recurrent selective sweeps or background
    selection) without any involvement of differential gene flow. Thus, integrated
    studies that identify which loci are likely subject to divergent selection are
    required to shed light on the interplay between selection and gene flow during
    the early phases of speciation. In this issue of Molecular Ecology, Rifkin et
    al. (2019) confront this challenge using a pair of sister morning glory species.
    They wisely design their sampling to take the geographic context of individuals
    into account, including geographically isolated (allopatric) and co‐occurring
    (sympatric) populations. This enabled them to show that individuals are phenotypically
    less differentiated in sympatry. They also found that the loci that resist introgression
    are enriched for those most differentiated in allopatry and loci that exhibit
    signals of divergent selection. One great strength of the \r\nstudy is the combination
    of methods from population genetics and molecular evolution, including the development
    of a model to simultaneously infer admixture proportions and selfing rates."
article_processing_charge: No
author:
- first_name: David
  full_name: Field, David
  id: 419049E2-F248-11E8-B48F-1D18A9856A87
  last_name: Field
  orcid: 0000-0002-4014-8478
- first_name: Christelle
  full_name: Fraisse, Christelle
  id: 32DF5794-F248-11E8-B48F-1D18A9856A87
  last_name: Fraisse
  orcid: 0000-0001-8441-5075
citation:
  ama: Field D, Fraisse C. Breaking down barriers in morning glories. <i>Molecular
    ecology</i>. 2019;28(7):1579-1581. doi:<a href="https://doi.org/10.1111/mec.15048">10.1111/mec.15048</a>
  apa: Field, D., &#38; Fraisse, C. (2019). Breaking down barriers in morning glories.
    <i>Molecular Ecology</i>. Wiley. <a href="https://doi.org/10.1111/mec.15048">https://doi.org/10.1111/mec.15048</a>
  chicago: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning
    Glories.” <i>Molecular Ecology</i>. Wiley, 2019. <a href="https://doi.org/10.1111/mec.15048">https://doi.org/10.1111/mec.15048</a>.
  ieee: D. Field and C. Fraisse, “Breaking down barriers in morning glories,” <i>Molecular
    ecology</i>, vol. 28, no. 7. Wiley, pp. 1579–1581, 2019.
  ista: Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular
    ecology. 28(7), 1579–1581.
  mla: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.”
    <i>Molecular Ecology</i>, vol. 28, no. 7, Wiley, 2019, pp. 1579–81, doi:<a href="https://doi.org/10.1111/mec.15048">10.1111/mec.15048</a>.
  short: D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
date_created: 2019-05-19T21:59:15Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2023-08-25T10:37:30Z
day: '01'
ddc:
- '580'
- '576'
department:
- _id: NiBa
doi: 10.1111/mec.15048
external_id:
  isi:
  - '000474808300001'
file:
- access_level: open_access
  checksum: 521e3aff3e9263ddf2ffbfe0b6157715
  content_type: application/pdf
  creator: dernst
  date_created: 2019-05-20T11:49:06Z
  date_updated: 2020-07-14T12:47:31Z
  file_id: '6472'
  file_name: 2019_MolecularEcology_Field.pdf
  file_size: 367711
  relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: '        28'
isi: 1
issue: '7'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 1579-1581
publication: Molecular ecology
publication_identifier:
  eissn:
  - 1365294X
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Breaking down barriers in morning glories
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: 28
year: '2019'
...
---
_id: '6467'
abstract:
- lang: eng
  text: Fitness interactions between mutations can influence a population’s evolution
    in many different ways. While epistatic effects are difficult to measure precisely,
    important information is captured by the mean and variance of log fitnesses for
    individuals carrying different numbers of mutations. We derive predictions for
    these quantities from a class of simple fitness landscapes, based on models of
    optimizing selection on quantitative traits. We also explore extensions to the
    models, including modular pleiotropy, variable effect sizes, mutational bias and
    maladaptation of the wild type. We illustrate our approach by reanalysing a large
    dataset of mutant effects in a yeast snoRNA (small nucleolar RNA). Though characterized
    by some large epistatic effects, these data give a good overall fit to the non-epistatic
    null model, suggesting that epistasis might have limited influence on the evolutionary
    dynamics in this system. We also show how the amount of epistasis depends on both
    the underlying fitness landscape and the distribution of mutations, and so is
    expected to vary in consistent ways between new mutations, standing variation
    and fixed mutations.
article_number: '0881'
article_processing_charge: No
article_type: original
author:
- first_name: Christelle
  full_name: Fraisse, Christelle
  id: 32DF5794-F248-11E8-B48F-1D18A9856A87
  last_name: Fraisse
  orcid: 0000-0001-8441-5075
- first_name: John J.
  full_name: Welch, John J.
  last_name: Welch
citation:
  ama: Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes.
    <i>Biology Letters</i>. 2019;15(4). doi:<a href="https://doi.org/10.1098/rsbl.2018.0881">10.1098/rsbl.2018.0881</a>
  apa: Fraisse, C., &#38; Welch, J. J. (2019). The distribution of epistasis on simple
    fitness landscapes. <i>Biology Letters</i>. Royal Society of London. <a href="https://doi.org/10.1098/rsbl.2018.0881">https://doi.org/10.1098/rsbl.2018.0881</a>
  chicago: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis
    on Simple Fitness Landscapes.” <i>Biology Letters</i>. Royal Society of London,
    2019. <a href="https://doi.org/10.1098/rsbl.2018.0881">https://doi.org/10.1098/rsbl.2018.0881</a>.
  ieee: C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness
    landscapes,” <i>Biology Letters</i>, vol. 15, no. 4. Royal Society of London,
    2019.
  ista: Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness
    landscapes. Biology Letters. 15(4), 0881.
  mla: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple
    Fitness Landscapes.” <i>Biology Letters</i>, vol. 15, no. 4, 0881, Royal Society
    of London, 2019, doi:<a href="https://doi.org/10.1098/rsbl.2018.0881">10.1098/rsbl.2018.0881</a>.
  short: C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
date_created: 2019-05-19T21:59:15Z
date_published: 2019-04-03T00:00:00Z
date_updated: 2023-08-25T10:34:41Z
day: '03'
department:
- _id: BeVi
- _id: NiBa
doi: 10.1098/rsbl.2018.0881
ec_funded: 1
external_id:
  isi:
  - '000465405300010'
  pmid:
  - '31014191'
intvolume: '        15'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1098/rsbl.2018.0881
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Biology Letters
publication_identifier:
  eissn:
  - 1744957X
  issn:
  - '17449561'
publication_status: published
publisher: Royal Society of London
quality_controlled: '1'
related_material:
  link:
  - relation: supplementary_material
    url: https://dx.doi.org/10.6084/m9.figshare.c.4461008
  record:
  - id: '9798'
    relation: research_data
    status: public
  - id: '9799'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: The distribution of epistasis on simple fitness landscapes
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 15
year: '2019'
...
---
_id: '6470'
abstract:
- lang: eng
  text: 'Investigating neuronal activity using genetically encoded Ca2+ indicators
    in behaving animals is hampered by inaccuracies in spike inference from fluorescent
    tracers. Here we combine two‐photon [Ca2+] imaging with cell‐attached recordings,
    followed by post hoc determination of the expression level of GCaMP6f, to explore
    how it affects the amplitude, kinetics and temporal summation of somatic [Ca2+]
    transients in mouse hippocampal pyramidal cells (PCs). The amplitude of unitary
    [Ca2+] transients (evoked by a single action potential) negatively correlates
    with GCaMP6f expression, but displays large variability even among PCs with similarly
    low expression levels. The summation of fluorescence signals is frequency‐dependent,
    supralinear and also shows remarkable cell‐to‐cell variability. We performed experimental
    data‐based simulations and found that spike inference error rates using MLspike
    depend strongly on unitary peak amplitudes and GCaMP6f expression levels. We provide
    simple methods for estimating the unitary [Ca2+] transients in individual weakly
    GCaMP6f‐expressing PCs, with which we achieve spike inference error rates of ∼5%. '
article_processing_charge: No
article_type: original
author:
- first_name: Tímea
  full_name: Éltes, Tímea
  last_name: Éltes
- first_name: Miklos
  full_name: Szoboszlay, Miklos
  last_name: Szoboszlay
- first_name: Margit Katalin
  full_name: Szigeti, Margit Katalin
  id: 44F4BDC0-F248-11E8-B48F-1D18A9856A87
  last_name: Szigeti
  orcid: 0000-0001-9500-8758
- first_name: Zoltan
  full_name: Nusser, Zoltan
  last_name: Nusser
citation:
  ama: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy
    by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing
    hippocampal pyramidal cells. <i>Journal of Physiology</i>. 2019;597(11):2925–2947.
    doi:<a href="https://doi.org/10.1113/JP277681">10.1113/JP277681</a>
  apa: Éltes, T., Szoboszlay, M., Szigeti, M. K., &#38; Nusser, Z. (2019). Improved
    spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients
    in weakly GCaMP6f-expressing hippocampal pyramidal cells. <i>Journal of Physiology</i>.
    Wiley. <a href="https://doi.org/10.1113/JP277681">https://doi.org/10.1113/JP277681</a>
  chicago: Éltes, Tímea, Miklos Szoboszlay, Margit Katalin Szigeti, and Zoltan Nusser.
    “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary
    [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” <i>Journal
    of Physiology</i>. Wiley, 2019. <a href="https://doi.org/10.1113/JP277681">https://doi.org/10.1113/JP277681</a>.
  ieee: T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference
    accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly
    GCaMP6f-expressing hippocampal pyramidal cells,” <i>Journal of Physiology</i>,
    vol. 597, no. 11. Wiley, pp. 2925–2947, 2019.
  ista: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference
    accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly
    GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11),
    2925–2947.
  mla: Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak
    Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal
    Pyramidal Cells.” <i>Journal of Physiology</i>, vol. 597, no. 11, Wiley, 2019,
    pp. 2925–2947, doi:<a href="https://doi.org/10.1113/JP277681">10.1113/JP277681</a>.
  short: T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597
    (2019) 2925–2947.
date_created: 2019-05-19T21:59:17Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2023-08-25T10:34:15Z
day: '01'
department:
- _id: GaNo
doi: 10.1113/JP277681
external_id:
  isi:
  - '000470780400013'
  pmid:
  - '31006863'
intvolume: '       597'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1113/JP277681
month: '06'
oa: 1
oa_version: Published Version
page: 2925–2947
pmid: 1
publication: Journal of Physiology
publication_identifier:
  eissn:
  - '14697793'
  issn:
  - '00223751'
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Improved spike inference accuracy by estimating the peak amplitude of unitary
  [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 597
year: '2019'
...
---
_id: '6473'
abstract:
- lang: eng
  text: "Single cells are constantly interacting with their environment and each other,
    more importantly, the accurate perception of environmental cues is crucial for
    growth, survival, and reproduction. This communication between cells and their
    environment can be formalized in mathematical terms and be quantified as the information
    flow between them, as prescribed by information theory. \r\nThe recent availability
    of real–time dynamical patterns of signaling molecules in single cells has allowed
    us to identify encoding about the identity of the environment in the time–series.
    However, efficient estimation of the information transmitted by these signals
    has been a data–analysis challenge due to the high dimensionality of the trajectories
    and the limited number of samples. In the first part of this thesis, we develop
    and evaluate decoding–based estimation methods to lower bound the mutual information
    and derive model–based precise information estimates for biological reaction networks
    governed by the chemical master equation. This is followed by applying the decoding-based
    methods to study the intracellular representation of extracellular changes in
    budding yeast, by observing the transient dynamics of nuclear translocation of
    10 transcription factors in response to 3 stress conditions. Additionally, we
    apply these estimators to previously published data on ERK and Ca2+ signaling
    and yeast stress response. We argue that this single cell decoding-based measure
    of information provides an unbiased, quantitative and interpretable measure for
    the fidelity of biological signaling processes. \r\nFinally, in the last section,
    we deal with gene regulation which is primarily controlled by transcription factors
    (TFs) that bind to the DNA to activate gene expression. The possibility that non-cognate
    TFs activate transcription diminishes the accuracy of regulation with potentially
    disastrous effects for the cell. This ’crosstalk’ acts as a previously unexplored
    source of noise in biochemical networks and puts a strong constraint on their
    performance. To mitigate erroneous initiation we propose an out of equilibrium
    scheme that implements kinetic proofreading. We show that such architectures are
    favored  over their equilibrium counterparts for complex organisms despite introducing
    noise in gene expression. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sarah A
  full_name: Cepeda Humerez, Sarah A
  id: 3DEE19A4-F248-11E8-B48F-1D18A9856A87
  last_name: Cepeda Humerez
citation:
  ama: Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:<a
    href="https://doi.org/10.15479/AT:ISTA:6473">10.15479/AT:ISTA:6473</a>
  apa: Cepeda Humerez, S. A. (2019). <i>Estimating information flow in single cells</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:6473">https://doi.org/10.15479/AT:ISTA:6473</a>
  chicago: Cepeda Humerez, Sarah A. “Estimating Information Flow in Single Cells.”
    Institute of Science and Technology Austria, 2019. <a href="https://doi.org/10.15479/AT:ISTA:6473">https://doi.org/10.15479/AT:ISTA:6473</a>.
  ieee: S. A. Cepeda Humerez, “Estimating information flow in single cells,” Institute
    of Science and Technology Austria, 2019.
  ista: Cepeda Humerez SA. 2019. Estimating information flow in single cells. Institute
    of Science and Technology Austria.
  mla: Cepeda Humerez, Sarah A. <i>Estimating Information Flow in Single Cells</i>.
    Institute of Science and Technology Austria, 2019, doi:<a href="https://doi.org/10.15479/AT:ISTA:6473">10.15479/AT:ISTA:6473</a>.
  short: S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute
    of Science and Technology Austria, 2019.
date_created: 2019-05-21T00:11:23Z
date_published: 2019-05-23T00:00:00Z
date_updated: 2025-05-28T11:57:00Z
day: '23'
ddc:
- '004'
degree_awarded: PhD
department:
- _id: GaTk
doi: 10.15479/AT:ISTA:6473
file:
- access_level: closed
  checksum: 75f9184c1346e10a5de5f9cc7338309a
  content_type: application/zip
  creator: scepeda
  date_created: 2019-05-23T11:18:16Z
  date_updated: 2020-07-14T12:47:31Z
  file_id: '6480'
  file_name: Thesis_Cepeda.zip
  file_size: 23937464
  relation: source_file
- access_level: open_access
  checksum: afdc0633ddbd71d5b13550d7fb4f4454
  content_type: application/pdf
  creator: scepeda
  date_created: 2019-05-23T11:18:13Z
  date_updated: 2020-07-14T12:47:31Z
  file_id: '6481'
  file_name: CepedaThesis.pdf
  file_size: 16646985
  relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
keyword:
- Information estimation
- Time-series
- data analysis
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '135'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '6900'
    relation: dissertation_contains
    status: public
  - id: '281'
    relation: dissertation_contains
    status: public
  - id: '2016'
    relation: dissertation_contains
    status: public
  - id: '1576'
    relation: dissertation_contains
    status: public
status: public
supervisor:
- first_name: Gašper
  full_name: Tkačik, Gašper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkačik
  orcid: 0000-0002-6699-1455
title: Estimating information flow in single cells
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '6477'
abstract:
- lang: eng
  text: 'Thermalizing quantum systems are conventionallydescribed by statistical mechanics
    at equilib-rium. However, not all systems fall into this category, with many-body
    localization providinga generic mechanism for thermalization to fail in strongly
    disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators
    at nonzero temperature, which do notthermalize and therefore cannot be describedusing
    statistical mechanics. This Colloquiumreviews recent theoretical and experimental
    advances in studies of MBL systems, focusing onthe new perspective provided by
    entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically,
    MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal
    integrals of motion emerges, which provides an intuitive explanationof the breakdown
    of thermalization. A description based on quasilocal integrals of motion isused
    to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement,
    the behavior of local observables, and the response to external dissipativeprocesses.
    Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden
    in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing
    of the quantum-to-classical transitionbetween many-body localized and ergodic
    phasesand anomalous transport in the vicinity of that transition. Experimentally,
    synthetic quantumsystems, which are well isolated from an external thermal reservoir,
    provide natural platforms forrealizing the MBL phase. Recent experiments with
    ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in
    which different signatures of many-body localization have beenobserved, are reviewed.
    This Colloquium concludes by listing outstanding challenges andpromising future
    research directions.'
article_number: '021001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Dmitry A.
  full_name: Abanin, Dmitry A.
  last_name: Abanin
- first_name: Ehud
  full_name: Altman, Ehud
  last_name: Altman
- first_name: Immanuel
  full_name: Bloch, Immanuel
  last_name: Bloch
- first_name: Maksym
  full_name: Serbyn, Maksym
  id: 47809E7E-F248-11E8-B48F-1D18A9856A87
  last_name: Serbyn
  orcid: 0000-0002-2399-5827
citation:
  ama: 'Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization,
    thermalization, and entanglement. <i>Reviews of Modern Physics</i>. 2019;91(2).
    doi:<a href="https://doi.org/10.1103/revmodphys.91.021001">10.1103/revmodphys.91.021001</a>'
  apa: 'Abanin, D. A., Altman, E., Bloch, I., &#38; Serbyn, M. (2019). Colloquium:
    Many-body localization, thermalization, and entanglement. <i>Reviews of Modern
    Physics</i>. American Physical Society. <a href="https://doi.org/10.1103/revmodphys.91.021001">https://doi.org/10.1103/revmodphys.91.021001</a>'
  chicago: 'Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium:
    Many-Body Localization, Thermalization, and Entanglement.” <i>Reviews of Modern
    Physics</i>. American Physical Society, 2019. <a href="https://doi.org/10.1103/revmodphys.91.021001">https://doi.org/10.1103/revmodphys.91.021001</a>.'
  ieee: 'D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body
    localization, thermalization, and entanglement,” <i>Reviews of Modern Physics</i>,
    vol. 91, no. 2. American Physical Society, 2019.'
  ista: 'Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization,
    thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.'
  mla: 'Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization,
    and Entanglement.” <i>Reviews of Modern Physics</i>, vol. 91, no. 2, 021001, American
    Physical Society, 2019, doi:<a href="https://doi.org/10.1103/revmodphys.91.021001">10.1103/revmodphys.91.021001</a>.'
  short: D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91
    (2019).
date_created: 2019-05-23T07:38:43Z
date_published: 2019-05-22T00:00:00Z
date_updated: 2023-08-25T10:37:56Z
day: '22'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/revmodphys.91.021001
external_id:
  arxiv:
  - '1804.11065'
  isi:
  - '000469046900001'
file:
- access_level: open_access
  checksum: 4aec0e6662b09f6e0f828cd30ff2c3a6
  content_type: application/pdf
  creator: mserbyn
  date_created: 2019-05-23T07:39:05Z
  date_updated: 2020-07-14T12:47:31Z
  file_id: '6478'
  file_name: RevModPhys.91.021001.pdf
  file_size: 1695677
  relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: '        91'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Reviews of Modern Physics
publication_identifier:
  eissn:
  - 0034-6861
  issn:
  - 1539-0756
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Colloquium: Many-body localization, thermalization, and entanglement'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 91
year: '2019'
...
---
_id: '6482'
abstract:
- lang: eng
  text: 'Computer vision systems for automatic image categorization have become accurate
    and reliable enough that they can run continuously for days or even years as components
    of real-world commercial applications. A major open problem in this context, however,
    is quality control. Good classification performance can only be expected if systems
    run under the specific conditions, in particular data distributions, that they
    were trained for. Surprisingly, none of the currently used deep network architectures
    have a built-in functionality that could detect if a network operates on data
    from a distribution it was not trained for, such that potentially a warning to
    the human users could be triggered. In this work, we describe KS(conf), a procedure
    for detecting such outside of specifications (out-of-specs) operation, based on
    statistical testing of the network outputs. We show by extensive experiments using
    the ImageNet, AwA2 and DAVIS datasets on a variety of ConvNets architectures that
    KS(conf) reliably detects out-of-specs situations. It furthermore has a number
    of properties that make it a promising candidate for practical deployment: it
    is easy to implement, adds almost no overhead to the system, works with all networks,
    including pretrained ones, and requires no a priori knowledge of how the data
    distribution could change. '
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Rémy
  full_name: Sun, Rémy
  last_name: Sun
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside
    of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:<a href="https://doi.org/10.1007/978-3-030-12939-2_18">10.1007/978-3-030-12939-2_18</a>'
  apa: 'Sun, R., &#38; Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet
    operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at
    the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature.
    <a href="https://doi.org/10.1007/978-3-030-12939-2_18">https://doi.org/10.1007/978-3-030-12939-2_18</a>'
  chicago: 'Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a
    ConvNet Operates Outside of Its Specifications,” 11269:244–59. Springer Nature,
    2019. <a href="https://doi.org/10.1007/978-3-030-12939-2_18">https://doi.org/10.1007/978-3-030-12939-2_18</a>.'
  ieee: 'R. Sun and C. Lampert, “KS(conf): A light-weight test if a ConvNet operates
    outside of Its specifications,” presented at the GCPR: Conference on Pattern Recognition,
    Stuttgart, Germany, 2019, vol. 11269, pp. 244–259.'
  ista: 'Sun R, Lampert C. 2019. KS(conf): A light-weight test if a ConvNet operates
    outside of Its specifications. GCPR: Conference on Pattern Recognition, LNCS,
    vol. 11269, 244–259.'
  mla: 'Sun, Rémy, and Christoph Lampert. <i>KS(Conf): A Light-Weight Test If a ConvNet
    Operates Outside of Its Specifications</i>. Vol. 11269, Springer Nature, 2019,
    pp. 244–59, doi:<a href="https://doi.org/10.1007/978-3-030-12939-2_18">10.1007/978-3-030-12939-2_18</a>.'
  short: R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
conference:
  end_date: 2018-10-12
  location: Stuttgart, Germany
  name: 'GCPR: Conference on Pattern Recognition'
  start_date: 2018-10-09
date_created: 2019-05-24T09:48:36Z
date_published: 2019-02-14T00:00:00Z
date_updated: 2024-02-22T14:57:29Z
day: '14'
department:
- _id: ChLa
doi: 10.1007/978-3-030-12939-2_18
ec_funded: 1
external_id:
  arxiv:
  - '1804.04171'
intvolume: '     11269'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1804.04171
month: '02'
oa: 1
oa_version: Preprint
page: 244-259
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '308036'
  name: Lifelong Learning of Visual Scene Understanding
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783030129385'
  - '9783030129392'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '6944'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: 'KS(conf): A light-weight test if a ConvNet operates outside of Its specifications'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11269
year: '2019'
...
---
_id: '6485'
abstract:
- lang: eng
  text: Traditional concurrent programming involves manipulating shared mutable state.
    Alternatives to this programming style are communicating sequential processes
    (CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous
    channelis the common abstraction for communication between several processes,
    where senders and receivers perform a rendezvous handshake as a part of their
    protocol (senders wait for receivers and vice versa). Additionally to this, channels
    support the select expression. In this work, we present the first efficient lock-free
    channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations.
article_processing_charge: No
author:
- first_name: Nikita
  full_name: Koval, Nikita
  id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87
  last_name: Koval
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Roman
  full_name: Elizarov, Roman
  last_name: Elizarov
citation:
  ama: Koval N, Alistarh D-A, Elizarov R. <i>Lock-Free Channels for Programming via
    Communicating Sequential Processes</i>. ACM Press; 2019:417-418. doi:<a href="https://doi.org/10.1145/3293883.3297000">10.1145/3293883.3297000</a>
  apa: 'Koval, N., Alistarh, D.-A., &#38; Elizarov, R. (2019). <i>Lock-free channels
    for programming via communicating sequential processes</i>. <i>Proceedings of
    the 24th Symposium on Principles and Practice of Parallel Programming</i> (pp.
    417–418). Washington, NY, United States: ACM Press. <a href="https://doi.org/10.1145/3293883.3297000">https://doi.org/10.1145/3293883.3297000</a>'
  chicago: Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. <i>Lock-Free Channels
    for Programming via Communicating Sequential Processes</i>. <i>Proceedings of
    the 24th Symposium on Principles and Practice of Parallel Programming</i>. ACM
    Press, 2019. <a href="https://doi.org/10.1145/3293883.3297000">https://doi.org/10.1145/3293883.3297000</a>.
  ieee: N. Koval, D.-A. Alistarh, and R. Elizarov, <i>Lock-free channels for programming
    via communicating sequential processes</i>. ACM Press, 2019, pp. 417–418.
  ista: Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming
    via communicating sequential processes, ACM Press,p.
  mla: Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating
    Sequential Processes.” <i>Proceedings of the 24th Symposium on Principles and
    Practice of Parallel Programming</i>, ACM Press, 2019, pp. 417–18, doi:<a href="https://doi.org/10.1145/3293883.3297000">10.1145/3293883.3297000</a>.
  short: N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming
    via Communicating Sequential Processes, ACM Press, 2019.
conference:
  end_date: 2019-02-20
  location: Washington, NY, United States
  name: 'PPoPP: Principles and Practice of Parallel Programming'
  start_date: 2019-02-16
date_created: 2019-05-24T10:09:12Z
date_published: 2019-02-01T00:00:00Z
date_updated: 2023-08-25T10:41:20Z
day: '01'
department:
- _id: DaAl
doi: 10.1145/3293883.3297000
external_id:
  isi:
  - '000587604600044'
isi: 1
language:
- iso: eng
month: '02'
oa_version: None
page: 417-418
publication: Proceedings of the 24th Symposium on Principles and Practice of Parallel
  Programming
publication_identifier:
  isbn:
  - '9781450362252'
publication_status: published
publisher: ACM Press
quality_controlled: '1'
status: public
title: Lock-free channels for programming via communicating sequential processes
type: conference_poster
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2019'
...
---
_id: '6486'
abstract:
- lang: eng
  text: Based on a novel control scheme, where a steady modification of the streamwise
    velocity profile leads to complete relaminarization of initially fully turbulent
    pipe flow, we investigate the applicability and usefulness of custom-shaped honeycombs
    for such control. The custom-shaped honeycombs are used as stationary flow management
    devices which generate specific modifications of the streamwise velocity profile.
    Stereoscopic particle image velocimetry and pressure drop measurements are used
    to investigate and capture the development of the relaminarizing flow downstream
    these devices. We compare the performance of straight (constant length across
    the radius of the pipe) honeycombs with custom-shaped ones (variable length across
    the radius) and try to determine the optimal shape for maximal relaminarization
    at minimal pressure loss. The optimally modified streamwise velocity profile is
    found to be M-shaped, and the maximum attainable Reynolds number for total relaminarization
    is found to be of the order of 10,000. Consequently, the respective reduction
    in skin friction downstream of the device is almost by a factor of 5. The break-even
    point, where the additional pressure drop caused by the device is balanced by
    the savings due to relaminarization and a net gain is obtained, corresponds to
    a downstream stretch of distances as low as approximately 100 pipe diameters of
    laminar flow.
acknowledged_ssus:
- _id: M-Shop
article_number: '111105'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jakob
  full_name: Kühnen, Jakob
  id: 3A47AE32-F248-11E8-B48F-1D18A9856A87
  last_name: Kühnen
  orcid: 0000-0003-4312-0179
- first_name: Davide
  full_name: Scarselli, Davide
  id: 40315C30-F248-11E8-B48F-1D18A9856A87
  last_name: Scarselli
  orcid: 0000-0001-5227-4271
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
citation:
  ama: Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed
    shaped honeycombs. <i>Journal of Fluids Engineering</i>. 2019;141(11). doi:<a
    href="https://doi.org/10.1115/1.4043494">10.1115/1.4043494</a>
  apa: Kühnen, J., Scarselli, D., &#38; Hof, B. (2019). Relaminarization of pipe flow
    by means of 3D-printed shaped honeycombs. <i>Journal of Fluids Engineering</i>.
    ASME. <a href="https://doi.org/10.1115/1.4043494">https://doi.org/10.1115/1.4043494</a>
  chicago: Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe
    Flow by Means of 3D-Printed Shaped Honeycombs.” <i>Journal of Fluids Engineering</i>.
    ASME, 2019. <a href="https://doi.org/10.1115/1.4043494">https://doi.org/10.1115/1.4043494</a>.
  ieee: J. Kühnen, D. Scarselli, and B. Hof, “Relaminarization of pipe flow by means
    of 3D-printed shaped honeycombs,” <i>Journal of Fluids Engineering</i>, vol. 141,
    no. 11. ASME, 2019.
  ista: Kühnen J, Scarselli D, Hof B. 2019. Relaminarization of pipe flow by means
    of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 141(11), 111105.
  mla: Kühnen, Jakob, et al. “Relaminarization of Pipe Flow by Means of 3D-Printed
    Shaped Honeycombs.” <i>Journal of Fluids Engineering</i>, vol. 141, no. 11, 111105,
    ASME, 2019, doi:<a href="https://doi.org/10.1115/1.4043494">10.1115/1.4043494</a>.
  short: J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
date_created: 2019-05-26T21:59:13Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2024-03-25T23:30:20Z
day: '01'
department:
- _id: BjHo
doi: 10.1115/1.4043494
ec_funded: 1
external_id:
  arxiv:
  - '1809.07625'
  isi:
  - '000487748600005'
intvolume: '       141'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1809.07625
month: '11'
oa: 1
oa_version: Preprint
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '306589'
  name: Decoding the complexity of turbulence at its origin
publication: Journal of Fluids Engineering
publication_identifier:
  eissn:
  - 1528901X
  issn:
  - '00982202'
publication_status: published
publisher: ASME
quality_controlled: '1'
related_material:
  record:
  - id: '7258'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 141
year: '2019'
...
---
_id: '6490'
abstract:
- lang: eng
  text: "Smart contracts are programs that are stored and executed on the Blockchain
    and can receive, manage and transfer money (cryptocurrency units). Two important
    problems regarding smart contracts are formal analysis and compiler optimization.
    Formal analysis is extremely important, because smart contracts hold funds worth
    billions of dollars and their code is immutable after deployment. Hence, an undetected
    bug can cause significant financial losses. Compiler optimization is also crucial,
    because every action of a smart contract has to be executed by every node in the
    Blockchain network. Therefore, optimizations in compiling smart contracts can
    lead to significant savings in computation, time and energy.\r\n\r\nTwo classical
    approaches in program analysis and compiler optimization are intraprocedural and
    interprocedural analysis. In intraprocedural analysis, each function is analyzed
    separately, while interprocedural analysis considers the entire program. In both
    cases, the analyses are usually reduced to graph problems over the control flow
    graph (CFG) of the program. These graph problems are often computationally expensive.
    Hence, there has been ample research on exploiting structural properties of CFGs
    for efficient algorithms. One such well-studied property is the treewidth, which
    is a measure of tree-likeness of graphs. It is known that intraprocedural CFGs
    of structured programs have treewidth at most 6, whereas the interprocedural treewidth
    cannot be bounded. This result has been used as a basis for many efficient intraprocedural
    analyses.\r\n\r\nIn this paper, we explore the idea of exploiting the treewidth
    of smart contracts for formal analysis and compiler optimization. First, similar
    to classical programs, we show that the intraprocedural treewidth of structured
    Solidity and Vyper smart contracts is at most 9. Second, for global analysis,
    we prove that the interprocedural treewidth of structured smart contracts is bounded
    by 10 and, in sharp contrast with classical programs, treewidth-based algorithms
    can be easily applied for interprocedural analysis. Finally, we supplement our
    theoretical results with experiments using a tool we implemented for computing
    treewidth of smart contracts and show that the treewidth is much lower in practice.
    We use 36,764 real-world Ethereum smart contracts as benchmarks and find that
    they have an average treewidth of at most 3.35 for the intraprocedural case and
    3.65 for the interprocedural case.\r\n"
article_processing_charge: No
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: Ehsan Kafshdar
  full_name: Goharshady, Ehsan Kafshdar
  last_name: Goharshady
citation:
  ama: 'Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts.
    In: <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>. Vol Part
    F147772. ACM; :400-408. doi:<a href="https://doi.org/10.1145/3297280.3297322">10.1145/3297280.3297322</a>'
  apa: 'Chatterjee, K., Goharshady, A. K., &#38; Goharshady, E. K. (n.d.). The treewidth
    of smart contracts. In <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>
    (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. <a href="https://doi.org/10.1145/3297280.3297322">https://doi.org/10.1145/3297280.3297322</a>'
  chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady.
    “The Treewidth of Smart Contracts.” In <i>Proceedings of the 34th ACM Symposium
    on Applied Computing</i>, Part F147772:400–408. ACM, n.d. <a href="https://doi.org/10.1145/3297280.3297322">https://doi.org/10.1145/3297280.3297322</a>.
  ieee: K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart
    contracts,” in <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>,
    Limassol, Cyprus, vol. Part F147772, pp. 400–408.
  ista: 'Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts.
    Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium on
    Applied Computing vol. Part F147772, 400–408.'
  mla: Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” <i>Proceedings
    of the 34th ACM Symposium on Applied Computing</i>, vol. Part F147772, ACM, pp.
    400–08, doi:<a href="https://doi.org/10.1145/3297280.3297322">10.1145/3297280.3297322</a>.
  short: K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the
    34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
conference:
  end_date: 2019-04-12
  location: Limassol, Cyprus
  name: 'SAC: Symposium on Applied Computing'
  start_date: 2019-04-08
date_created: 2019-05-26T21:59:15Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2024-03-25T23:30:18Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3297280.3297322
external_id:
  isi:
  - '000474685800052'
file:
- access_level: open_access
  checksum: dddc20f6d9881f23b8755eb720ec9d6f
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-14T09:50:11Z
  date_updated: 2020-07-14T12:47:32Z
  file_id: '7827'
  file_name: 2019_ACM_Chatterjee.pdf
  file_size: 6937138
  relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 400-408
publication: Proceedings of the 34th ACM Symposium on Applied Computing
publication_identifier:
  isbn:
  - '9781450359337'
publication_status: submitted
publisher: ACM
pubrep_id: '1070'
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: The treewidth of smart contracts
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: Part F147772
year: '2019'
...
---
_id: '6493'
abstract:
- lang: eng
  text: We present two algorithmic approaches for synthesizing linear hybrid automata
    from experimental data. Unlike previous approaches, our algorithms work without
    a template and generate an automaton with nondeterministic guards and invariants,
    and with an arbitrary number and topology of modes. They thus construct a succinct
    model from the data and provide formal guarantees. In particular, (1) the generated
    automaton can reproduce the data up to a specified tolerance and (2) the automaton
    is tight, given the first guarantee. Our first approach encodes the synthesis
    problem as a logical formula in the theory of linear arithmetic, which can then
    be solved by an SMT solver. This approach minimizes the number of modes in the
    resulting model but is only feasible for limited data sets. To address scalability,
    we propose a second approach that does not enforce to find a minimal model. The
    algorithm constructs an initial automaton and then iteratively extends the automaton
    based on processing new data. Therefore the algorithm is well-suited for online
    and synthesis-in-the-loop applications. The core of the algorithm is a membership
    query that checks whether, within the specified tolerance, a given data set can
    result from the execution of a given automaton. We solve this membership problem
    for linear hybrid automata by repeated reachability computations. We demonstrate
    the effectiveness of the algorithm on synthetic data sets and on cardiac-cell
    measurements.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Miriam
  full_name: Garcia Soto, Miriam
  id: 4B3207F6-F248-11E8-B48F-1D18A9856A87
  last_name: Garcia Soto
  orcid: 0000−0003−2936−5719
- 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: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
- first_name: Luka
  full_name: Zeleznik, Luka
  id: 3ADCA2E4-F248-11E8-B48F-1D18A9856A87
  last_name: Zeleznik
citation:
  ama: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis
    of linear hybrid automata. In: <i>31st International Conference on Computer-Aided
    Verification</i>. Vol 11561. Springer; 2019:297-314. doi:<a href="https://doi.org/10.1007/978-3-030-25540-4_16">10.1007/978-3-030-25540-4_16</a>'
  apa: 'Garcia Soto, M., Henzinger, T. A., Schilling, C., &#38; Zeleznik, L. (2019).
    Membership-based synthesis of linear hybrid automata. In <i>31st International
    Conference on Computer-Aided Verification</i> (Vol. 11561, pp. 297–314). New York
    City, NY, USA: Springer. <a href="https://doi.org/10.1007/978-3-030-25540-4_16">https://doi.org/10.1007/978-3-030-25540-4_16</a>'
  chicago: Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka
    Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In <i>31st International
    Conference on Computer-Aided Verification</i>, 11561:297–314. Springer, 2019.
    <a href="https://doi.org/10.1007/978-3-030-25540-4_16">https://doi.org/10.1007/978-3-030-25540-4_16</a>.
  ieee: M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based
    synthesis of linear hybrid automata,” in <i>31st International Conference on Computer-Aided
    Verification</i>, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
  ista: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based
    synthesis of linear hybrid automata. 31st International Conference on Computer-Aided
    Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.'
  mla: Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.”
    <i>31st International Conference on Computer-Aided Verification</i>, vol. 11561,
    Springer, 2019, pp. 297–314, doi:<a href="https://doi.org/10.1007/978-3-030-25540-4_16">10.1007/978-3-030-25540-4_16</a>.
  short: M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International
    Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
conference:
  end_date: 2019-07-18
  location: New York City, NY, USA
  name: 'CAV: Computer-Aided Verification'
  start_date: 2019-07-15
date_created: 2019-05-27T07:09:53Z
date_published: 2019-07-12T00:00:00Z
date_updated: 2023-08-25T10:40:41Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-25540-4_16
ec_funded: 1
external_id:
  isi:
  - '000491468000016'
file:
- access_level: open_access
  checksum: 1f1d61b83a151031745ef70a501da3d6
  content_type: application/pdf
  creator: dernst
  date_created: 2019-08-14T11:05:30Z
  date_updated: 2020-07-14T12:47:32Z
  file_id: '6817'
  file_name: 2019_CAV_GarciaSoto.pdf
  file_size: 674795
  relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
intvolume: '     11561'
isi: 1
keyword:
- Synthesis
- Linear hybrid automaton
- Membership
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 297-314
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _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: 31st International Conference on Computer-Aided Verification
publication_identifier:
  isbn:
  - '9783030255398'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Membership-based synthesis of linear hybrid automata
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11561
year: '2019'
...
---
_id: '65'
abstract:
- lang: eng
  text: We provide an entropy formulation for porous medium-type equations with a
    stochastic, non-linear, spatially inhomogeneous forcing. Well-posedness and L1-contraction
    is obtained in the class of entropy solutions. Our scope allows for porous medium
    operators Δ(|u|m−1u) for all m∈(1,∞), and Hölder continuous diffusion nonlinearity
    with exponent 1/2.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Konstantinos
  full_name: Dareiotis, Konstantinos
  last_name: Dareiotis
- first_name: Mate
  full_name: Gerencser, Mate
  id: 44ECEDF2-F248-11E8-B48F-1D18A9856A87
  last_name: Gerencser
- first_name: Benjamin
  full_name: Gess, Benjamin
  last_name: Gess
citation:
  ama: Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media
    equations. <i>Journal of Differential Equations</i>. 2019;266(6):3732-3763. doi:<a
    href="https://doi.org/10.1016/j.jde.2018.09.012">10.1016/j.jde.2018.09.012</a>
  apa: Dareiotis, K., Gerencser, M., &#38; Gess, B. (2019). Entropy solutions for
    stochastic porous media equations. <i>Journal of Differential Equations</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.jde.2018.09.012">https://doi.org/10.1016/j.jde.2018.09.012</a>
  chicago: Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions
    for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>.
    Elsevier, 2019. <a href="https://doi.org/10.1016/j.jde.2018.09.012">https://doi.org/10.1016/j.jde.2018.09.012</a>.
  ieee: K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic
    porous media equations,” <i>Journal of Differential Equations</i>, vol. 266, no.
    6. Elsevier, pp. 3732–3763, 2019.
  ista: Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous
    media equations. Journal of Differential Equations. 266(6), 3732–3763.
  mla: Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media
    Equations.” <i>Journal of Differential Equations</i>, vol. 266, no. 6, Elsevier,
    2019, pp. 3732–63, doi:<a href="https://doi.org/10.1016/j.jde.2018.09.012">10.1016/j.jde.2018.09.012</a>.
  short: K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266
    (2019) 3732–3763.
date_created: 2018-12-11T11:44:26Z
date_published: 2019-03-05T00:00:00Z
date_updated: 2023-08-24T14:30:16Z
day: '5'
department:
- _id: JaMa
doi: 10.1016/j.jde.2018.09.012
external_id:
  arxiv:
  - '1803.06953'
  isi:
  - '000456332500026'
intvolume: '       266'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1803.06953
month: '03'
oa: 1
oa_version: Preprint
page: 3732-3763
publication: Journal of Differential Equations
publication_status: published
publisher: Elsevier
publist_id: '7989'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Entropy solutions for stochastic porous media equations
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 266
year: '2019'
...
---
_id: '6504'
abstract:
- lang: eng
  text: "Root gravitropism is one of the most important processes allowing plant adaptation
    to the land environment. Auxin plays a central role in mediating root gravitropism,
    but how auxin contributes to gravitational perception and the subsequent response
    is still unclear.\r\n\r\nHere, we showed that the local auxin maximum/gradient
    within the root apex, which is generated by the PIN directional auxin transporters,
    regulates the expression of three key starch granule synthesis genes, SS4, PGM
    and ADG1, which in turn influence the accumulation of starch granules that serve
    as a statolith perceiving gravity.\r\n\r\nMoreover, using the cvxIAA‐ccvTIR1 system,
    we also showed that TIR1‐mediated auxin signaling is required for starch granule
    formation and gravitropic response within root tips. In addition, axr3 mutants
    showed reduced auxin‐mediated starch granule accumulation and disruption of gravitropism
    within the root apex.\r\n\r\nOur results indicate that auxin‐mediated statolith
    production relies on the TIR1/AFB‐AXR3‐mediated auxin signaling pathway. In summary,
    we propose a dual role for auxin in gravitropism: the regulation of both gravity
    perception and response."
article_processing_charge: No
article_type: original
author:
- first_name: Yuzhou
  full_name: Zhang, Yuzhou
  id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
  last_name: Zhang
  orcid: 0000-0003-2627-6956
- first_name: P
  full_name: He, P
  last_name: He
- first_name: X
  full_name: Ma, X
  last_name: Ma
- first_name: Z
  full_name: Yang, Z
  last_name: Yang
- first_name: C
  full_name: Pang, C
  last_name: Pang
- first_name: J
  full_name: Yu, J
  last_name: Yu
- first_name: G
  full_name: Wang, G
  last_name: Wang
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: G
  full_name: Xiao, G
  last_name: Xiao
citation:
  ama: Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism.
    <i>New Phytologist</i>. 2019;224(2):761-774. doi:<a href="https://doi.org/10.1111/nph.15932">10.1111/nph.15932</a>
  apa: Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated
    statolith production for root gravitropism. <i>New Phytologist</i>. Wiley. <a
    href="https://doi.org/10.1111/nph.15932">https://doi.org/10.1111/nph.15932</a>
  chicago: Zhang, Yuzhou, P He, X Ma, Z Yang, C Pang, J Yu, G Wang, Jiří Friml, and
    G Xiao. “Auxin-Mediated Statolith Production for Root Gravitropism.” <i>New Phytologist</i>.
    Wiley, 2019. <a href="https://doi.org/10.1111/nph.15932">https://doi.org/10.1111/nph.15932</a>.
  ieee: Y. Zhang <i>et al.</i>, “Auxin-mediated statolith production for root gravitropism,”
    <i>New Phytologist</i>, vol. 224, no. 2. Wiley, pp. 761–774, 2019.
  ista: Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019.
    Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2),
    761–774.
  mla: Zhang, Yuzhou, et al. “Auxin-Mediated Statolith Production for Root Gravitropism.”
    <i>New Phytologist</i>, vol. 224, no. 2, Wiley, 2019, pp. 761–74, doi:<a href="https://doi.org/10.1111/nph.15932">10.1111/nph.15932</a>.
  short: Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao,
    New Phytologist 224 (2019) 761–774.
date_created: 2019-05-28T14:33:26Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-08-28T08:40:13Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/nph.15932
external_id:
  isi:
  - '000487184200024'
  pmid:
  - '31111487'
file:
- access_level: open_access
  checksum: 6488243334538f5c39099a701cbf76b9
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-14T08:59:33Z
  date_updated: 2020-10-14T08:59:33Z
  file_id: '8661'
  file_name: 2019_NewPhytologist_Zhang_accepted.pdf
  file_size: 1099061
  relation: main_file
  success: 1
file_date_updated: 2020-10-14T08:59:33Z
has_accepted_license: '1'
intvolume: '       224'
isi: 1
issue: '2'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 761-774
pmid: 1
publication: New Phytologist
publication_identifier:
  eissn:
  - 1469-8137
  issn:
  - 0028-646x
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin-mediated statolith production for root gravitropism
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 224
year: '2019'
...
---
_id: '6506'
abstract:
- lang: eng
  text: How does environmental complexity affect the evolution of single genes? Here,
    we measured the effects of a set of Bacillus subtilis glutamate dehydrogenase
    mutants across 19 different environments—from phenotypically homogeneous single-cell
    populations in liquid media to heterogeneous biofilms, plant roots and soil populations.
    The effects of individual gene mutations on organismal fitness were highly reproducible
    in liquid cultures. However, 84% of the tested alleles showed opposing fitness
    effects under different growth conditions (sign environmental pleiotropy). In
    colony biofilms and soil samples, different alleles dominated in parallel replica
    experiments. Accordingly, we found that in these heterogeneous cell populations
    the fate of mutations was dictated by a combination of selection and drift. The
    latter relates to programmed prophage excisions that occurred during biofilm development.
    Overall, for each condition, a wide range of glutamate dehydrogenase mutations
    persisted and sometimes fixated as a result of the combined action of selection,
    pleiotropy and chance. However, over longer periods and in multiple environments,
    nearly all of this diversity would be lost—across all the environments and conditions
    that we tested, the wild type was the fittest allele.
article_processing_charge: No
article_type: original
author:
- first_name: Lianet
  full_name: Noda-García, Lianet
  last_name: Noda-García
- first_name: Dan
  full_name: Davidi, Dan
  last_name: Davidi
- first_name: Elisa
  full_name: Korenblum, Elisa
  last_name: Korenblum
- first_name: Assaf
  full_name: Elazar, Assaf
  last_name: Elazar
- first_name: Ekaterina
  full_name: Putintseva, Ekaterina
  id: 2EF67C84-F248-11E8-B48F-1D18A9856A87
  last_name: Putintseva
- first_name: Asaph
  full_name: Aharoni, Asaph
  last_name: Aharoni
- first_name: Dan S.
  full_name: Tawfik, Dan S.
  last_name: Tawfik
citation:
  ama: Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate
    genetic diversity in complex bacterial environments. <i>Nature Microbiology</i>.
    2019;4(7):1221–1230. doi:<a href="https://doi.org/10.1038/s41564-019-0412-y">10.1038/s41564-019-0412-y</a>
  apa: Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni,
    A., &#38; Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity
    in complex bacterial environments. <i>Nature Microbiology</i>. Springer Nature.
    <a href="https://doi.org/10.1038/s41564-019-0412-y">https://doi.org/10.1038/s41564-019-0412-y</a>
  chicago: Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina
    Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate
    Genetic Diversity in Complex Bacterial Environments.” <i>Nature Microbiology</i>.
    Springer Nature, 2019. <a href="https://doi.org/10.1038/s41564-019-0412-y">https://doi.org/10.1038/s41564-019-0412-y</a>.
  ieee: L. Noda-García <i>et al.</i>, “Chance and pleiotropy dominate genetic diversity
    in complex bacterial environments,” <i>Nature Microbiology</i>, vol. 4, no. 7.
    Springer Nature, pp. 1221–1230, 2019.
  ista: Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik
    DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial
    environments. Nature Microbiology. 4(7), 1221–1230.
  mla: Noda-García, Lianet, et al. “Chance and Pleiotropy Dominate Genetic Diversity
    in Complex Bacterial Environments.” <i>Nature Microbiology</i>, vol. 4, no. 7,
    Springer Nature, 2019, pp. 1221–1230, doi:<a href="https://doi.org/10.1038/s41564-019-0412-y">10.1038/s41564-019-0412-y</a>.
  short: L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni,
    D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.
date_created: 2019-05-29T13:03:30Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2023-08-28T08:39:47Z
day: '01'
department:
- _id: FyKo
doi: 10.1038/s41564-019-0412-y
external_id:
  isi:
  - '000480348200017'
intvolume: '         4'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.biorxiv.org/content/10.1101/340828v2
month: '07'
oa: 1
oa_version: Preprint
page: 1221–1230
publication: Nature Microbiology
publication_identifier:
  issn:
  - 2058-5276
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Chance and pleiotropy dominate genetic diversity in complex bacterial environments
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 4
year: '2019'
...
---
_id: '6508'
abstract:
- lang: eng
  text: Segregation of maternal determinants within the oocyte constitutes the first
    step in embryo patterning. In zebrafish oocytes, extensive ooplasmic streaming
    leads to the segregation of ooplasm from yolk granules along the animal-vegetal
    axis of the oocyte. Here, we show that this process does not rely on cortical
    actin reorganization, as previously thought, but instead on a cell-cycle-dependent
    bulk actin polymerization wave traveling from the animal to the vegetal pole of
    the oocyte. This wave functions in segregation by both pulling ooplasm animally
    and pushing yolk granules vegetally. Using biophysical experimentation and theory,
    we show that ooplasm pulling is mediated by bulk actin network flows exerting
    friction forces on the ooplasm, while yolk granule pushing is achieved by a mechanism
    closely resembling actin comet formation on yolk granules. Our study defines a
    novel role of cell-cycle-controlled bulk actin polymerization waves in oocyte
    polarization via ooplasmic segregation.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
acknowledgement: We would like to thank Pierre Recho, Guillaume Salbreux, and Silvia
  Grigolon for advice on the theory, Lila Solnica-Krezel for kindly providing us with
  zebrafish dachsous mutants, members of the Heisenberg and Hannezo groups for fruitful
  discussions, and the Bioimaging and zebrafish facilities at IST Austria for their
  continuous support. This project has received funding from the European Union (European
  Research Council Advanced Grant 742573 to C.P.H.) and from the Austrian Science
  Fund (FWF) (P 31639 to E.H.).
article_processing_charge: No
article_type: original
author:
- first_name: Shayan
  full_name: Shamipour, Shayan
  id: 40B34FE2-F248-11E8-B48F-1D18A9856A87
  last_name: Shamipour
- first_name: Roland
  full_name: Kardos, Roland
  id: 4039350E-F248-11E8-B48F-1D18A9856A87
  last_name: Kardos
- first_name: Shi-lei
  full_name: Xue, Shi-lei
  id: 31D2C804-F248-11E8-B48F-1D18A9856A87
  last_name: Xue
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
citation:
  ama: Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. Bulk actin
    dynamics drive phase segregation in zebrafish oocytes. <i>Cell</i>. 2019;177(6):1463-1479.e18.
    doi:<a href="https://doi.org/10.1016/j.cell.2019.04.030">10.1016/j.cell.2019.04.030</a>
  apa: Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., &#38; Heisenberg,
    C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes.
    <i>Cell</i>. Elsevier. <a href="https://doi.org/10.1016/j.cell.2019.04.030">https://doi.org/10.1016/j.cell.2019.04.030</a>
  chicago: Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo,
    and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in
    Zebrafish Oocytes.” <i>Cell</i>. Elsevier, 2019. <a href="https://doi.org/10.1016/j.cell.2019.04.030">https://doi.org/10.1016/j.cell.2019.04.030</a>.
  ieee: S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg,
    “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” <i>Cell</i>,
    vol. 177, no. 6. Elsevier, p. 1463–1479.e18, 2019.
  ista: Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. 2019. Bulk
    actin dynamics drive phase segregation in zebrafish oocytes. Cell. 177(6), 1463–1479.e18.
  mla: Shamipour, Shayan, et al. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish
    Oocytes.” <i>Cell</i>, vol. 177, no. 6, Elsevier, 2019, p. 1463–1479.e18, doi:<a
    href="https://doi.org/10.1016/j.cell.2019.04.030">10.1016/j.cell.2019.04.030</a>.
  short: S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg,
    Cell 177 (2019) 1463–1479.e18.
date_created: 2019-06-02T21:59:12Z
date_published: 2019-05-30T00:00:00Z
date_updated: 2024-03-25T23:30:21Z
day: '30'
ddc:
- '570'
department:
- _id: CaHe
- _id: EdHa
- _id: BjHo
doi: 10.1016/j.cell.2019.04.030
ec_funded: 1
external_id:
  isi:
  - '000469415100013'
  pmid:
  - '31080065'
file:
- access_level: open_access
  checksum: aea43726d80e35ce3885073a5f05c3e3
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-21T07:22:34Z
  date_updated: 2020-10-21T07:22:34Z
  file_id: '8686'
  file_name: 2019_Cell_Shamipour_accepted.pdf
  file_size: 3356292
  relation: main_file
  success: 1
file_date_updated: 2020-10-21T07:22:34Z
has_accepted_license: '1'
intvolume: '       177'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.cell.2019.04.030
month: '05'
oa: 1
oa_version: Published Version
page: 1463-1479.e18
pmid: 1
project:
- _id: 260F1432-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '742573'
  name: Interaction and feedback between cell mechanics and fate specification in
    vertebrate gastrulation
- _id: 268294B6-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P31639
  name: Active mechano-chemical description of the cell cytoskeleton
publication: Cell
publication_identifier:
  eissn:
  - '10974172'
  issn:
  - '00928674'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/how-the-cytoplasm-separates-from-the-yolk/
  record:
  - id: '8350'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Bulk actin dynamics drive phase segregation in zebrafish oocytes
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 177
year: '2019'
...
---
_id: '6511'
abstract:
- lang: eng
  text: Let U and V be two independent N by N random matrices that are distributed
    according to Haar measure on U(N). Let Σ be a nonnegative deterministic N by N
    matrix. The single ring theorem [Ann. of Math. (2) 174 (2011) 1189–1217] asserts
    that the empirical eigenvalue distribution of the matrix X:=UΣV∗ converges weakly,
    in the limit of large N, to a deterministic measure which is supported on a single
    ring centered at the origin in ℂ. Within the bulk regime, that is, in the interior
    of the single ring, we establish the convergence of the empirical eigenvalue distribution
    on the optimal local scale of order N−1/2+ε and establish the optimal convergence
    rate. The same results hold true when U and V are Haar distributed on O(N).
article_processing_charge: No
arxiv: 1
author:
- first_name: Zhigang
  full_name: Bao, Zhigang
  id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
  last_name: Bao
  orcid: 0000-0003-3036-1475
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Kevin
  full_name: Schnelli, Kevin
  id: 434AD0AE-F248-11E8-B48F-1D18A9856A87
  last_name: Schnelli
  orcid: 0000-0003-0954-3231
citation:
  ama: Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. <i>Annals
    of Probability</i>. 2019;47(3):1270-1334. doi:<a href="https://doi.org/10.1214/18-AOP1284">10.1214/18-AOP1284</a>
  apa: Bao, Z., Erdös, L., &#38; Schnelli, K. (2019). Local single ring theorem on
    optimal scale. <i>Annals of Probability</i>. Institute of Mathematical Statistics.
    <a href="https://doi.org/10.1214/18-AOP1284">https://doi.org/10.1214/18-AOP1284</a>
  chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem
    on Optimal Scale.” <i>Annals of Probability</i>. Institute of Mathematical Statistics,
    2019. <a href="https://doi.org/10.1214/18-AOP1284">https://doi.org/10.1214/18-AOP1284</a>.
  ieee: Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,”
    <i>Annals of Probability</i>, vol. 47, no. 3. Institute of Mathematical Statistics,
    pp. 1270–1334, 2019.
  ista: Bao Z, Erdös L, Schnelli K. 2019. Local single ring theorem on optimal scale.
    Annals of Probability. 47(3), 1270–1334.
  mla: Bao, Zhigang, et al. “Local Single Ring Theorem on Optimal Scale.” <i>Annals
    of Probability</i>, vol. 47, no. 3, Institute of Mathematical Statistics, 2019,
    pp. 1270–334, doi:<a href="https://doi.org/10.1214/18-AOP1284">10.1214/18-AOP1284</a>.
  short: Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
date_created: 2019-06-02T21:59:13Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2023-08-28T09:32:29Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/18-AOP1284
ec_funded: 1
external_id:
  arxiv:
  - '1612.05920'
  isi:
  - '000466616100003'
intvolume: '        47'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1612.05920
month: '05'
oa: 1
oa_version: Preprint
page: 1270-1334
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '338804'
  name: Random matrices, universality and disordered quantum systems
publication: Annals of Probability
publication_identifier:
  issn:
  - '00911798'
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local single ring theorem on optimal scale
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 47
year: '2019'
...
---
_id: '6513'
abstract:
- lang: eng
  text: Adult intestinal stem cells are located at the bottom of crypts of Lieberkühn,
    where they express markers such as LGR5 1,2 and fuel the constant replenishment
    of the intestinal epithelium1. Although fetal LGR5-expressing cells can give rise
    to adult intestinal stem cells3,4, it remains unclear whether this population
    in the patterned epithelium represents unique intestinal stem-cell precursors.
    Here we show, using unbiased quantitative lineage-tracing approaches, biophysical
    modelling and intestinal transplantation, that all cells of the mouse intestinal
    epithelium—irrespective of their location and pattern of LGR5 expression in the
    fetal gut tube—contribute actively to the adult intestinal stem cell pool. Using
    3D imaging, we find that during fetal development the villus undergoes gross remodelling
    and fission. This brings epithelial cells from the non-proliferative villus into
    the proliferative intervillus region, which enables them to contribute to the
    adult stem-cell niche. Our results demonstrate that large-scale remodelling of
    the intestinal wall and cell-fate specification are closely linked. Moreover,
    these findings provide a direct link between the observed plasticity and cellular
    reprogramming of differentiating cells in adult tissues following damage5,6,7,8,9,
    revealing that stem-cell identity is an induced rather than a hardwired property.
article_processing_charge: No
article_type: original
author:
- first_name: Jordi
  full_name: Guiu, Jordi
  last_name: Guiu
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
- first_name: Shiro
  full_name: Yui, Shiro
  last_name: Yui
- first_name: Samuel
  full_name: Demharter, Samuel
  last_name: Demharter
- first_name: Svetlana
  full_name: Ulyanchenko, Svetlana
  last_name: Ulyanchenko
- first_name: Martti
  full_name: Maimets, Martti
  last_name: Maimets
- first_name: Anne
  full_name: Jørgensen, Anne
  last_name: Jørgensen
- first_name: Signe
  full_name: Perlman, Signe
  last_name: Perlman
- first_name: Lene
  full_name: Lundvall, Lene
  last_name: Lundvall
- first_name: Linn Salto
  full_name: Mamsen, Linn Salto
  last_name: Mamsen
- first_name: Agnete
  full_name: Larsen, Agnete
  last_name: Larsen
- first_name: Rasmus H.
  full_name: Olesen, Rasmus H.
  last_name: Olesen
- first_name: Claus Yding
  full_name: Andersen, Claus Yding
  last_name: Andersen
- first_name: Lea Langhoff
  full_name: Thuesen, Lea Langhoff
  last_name: Thuesen
- first_name: Kristine Juul
  full_name: Hare, Kristine Juul
  last_name: Hare
- first_name: Tune H.
  full_name: Pers, Tune H.
  last_name: Pers
- first_name: Konstantin
  full_name: Khodosevich, Konstantin
  last_name: Khodosevich
- first_name: Benjamin D.
  full_name: Simons, Benjamin D.
  last_name: Simons
- first_name: Kim B.
  full_name: Jensen, Kim B.
  last_name: Jensen
citation:
  ama: Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem
    cells. <i>Nature</i>. 2019;570:107-111. doi:<a href="https://doi.org/10.1038/s41586-019-1212-5">10.1038/s41586-019-1212-5</a>
  apa: Guiu, J., Hannezo, E. B., Yui, S., Demharter, S., Ulyanchenko, S., Maimets,
    M., … Jensen, K. B. (2019). Tracing the origin of adult intestinal stem cells.
    <i>Nature</i>. Springer Nature. <a href="https://doi.org/10.1038/s41586-019-1212-5">https://doi.org/10.1038/s41586-019-1212-5</a>
  chicago: Guiu, Jordi, Edouard B Hannezo, Shiro Yui, Samuel Demharter, Svetlana Ulyanchenko,
    Martti Maimets, Anne Jørgensen, et al. “Tracing the Origin of Adult Intestinal
    Stem Cells.” <i>Nature</i>. Springer Nature, 2019. <a href="https://doi.org/10.1038/s41586-019-1212-5">https://doi.org/10.1038/s41586-019-1212-5</a>.
  ieee: J. Guiu <i>et al.</i>, “Tracing the origin of adult intestinal stem cells,”
    <i>Nature</i>, vol. 570. Springer Nature, pp. 107–111, 2019.
  ista: Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen
    A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen
    LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin
    of adult intestinal stem cells. Nature. 570, 107–111.
  mla: Guiu, Jordi, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” <i>Nature</i>,
    vol. 570, Springer Nature, 2019, pp. 107–11, doi:<a href="https://doi.org/10.1038/s41586-019-1212-5">10.1038/s41586-019-1212-5</a>.
  short: J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets,
    A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y.
    Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B.
    Jensen, Nature 570 (2019) 107–111.
date_created: 2019-06-02T21:59:14Z
date_published: 2019-06-06T00:00:00Z
date_updated: 2023-08-28T09:30:23Z
day: '06'
department:
- _id: EdHa
doi: 10.1038/s41586-019-1212-5
external_id:
  isi:
  - '000470149000048'
  pmid:
  - '31092921'
intvolume: '       570'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6986928
month: '06'
oa: 1
oa_version: Submitted Version
page: 107-111
pmid: 1
publication: Nature
publication_identifier:
  eissn:
  - '14764687'
  issn:
  - '00280836'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tracing the origin of adult intestinal stem cells
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 570
year: '2019'
...
