---
_id: '15027'
abstract:
- lang: eng
  text: 'This data repository underpins the paper, published in PNAS (doi pending)
    and bioarxiv (doi: https://doi.org/10.1101/2023.07.05.547777).'
article_processing_charge: No
author:
- first_name: Samo
  full_name: Curk, Samo
  id: 031eff0d-d481-11ee-8508-cd12a7a86e5b
  last_name: Curk
  orcid: 0000-0001-6160-9766
citation:
  ama: Curk S. aggregation_data. 2023.
  apa: Curk, S. (2023). aggregation_data. Figshare.
  chicago: Curk, Samo. “Aggregation_data.” Figshare, 2023.
  ieee: S. Curk, “aggregation_data.” Figshare, 2023.
  ista: Curk S. 2023. aggregation_data, Figshare.
  mla: Curk, Samo. <i>Aggregation_data</i>. Figshare, 2023.
  short: S. Curk, (2023).
date_created: 2024-02-26T08:37:57Z
date_published: 2023-12-13T00:00:00Z
date_updated: 2024-02-26T08:45:55Z
day: '13'
ddc:
- '570'
department:
- _id: AnSa
has_accepted_license: '1'
main_file_link:
- open_access: '1'
  url: https://figshare.com/s/85798bba4ebc68d822ed
month: '12'
oa: 1
oa_version: Published Version
publisher: Figshare
related_material:
  record:
  - id: '15001'
    relation: used_in_publication
    status: public
status: public
title: aggregation_data
tmp:
  image: /images/cc_0.png
  legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
  name: Creative Commons Public Domain Dedication (CC0 1.0)
  short: CC0 (1.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '15035'
abstract:
- lang: eng
  text: "This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties
    With Prefix Transducers accepted at RV'23, and give further pointers to implementation
    of prefix transducers.\r\nIt has two parts: a pre-compiled docker image and sources
    that one can use to compile (locally or in docker) the software and run the experiments."
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers.
    2023. doi:<a href="https://doi.org/10.5281/ZENODO.8191723">10.5281/ZENODO.8191723</a>
  apa: Chalupa, M., &#38; Henzinger, T. A. (2023). Monitoring hyperproperties with
    prefix transducers. Zenodo. <a href="https://doi.org/10.5281/ZENODO.8191723">https://doi.org/10.5281/ZENODO.8191723</a>
  chicago: Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with
    Prefix Transducers.” Zenodo, 2023. <a href="https://doi.org/10.5281/ZENODO.8191723">https://doi.org/10.5281/ZENODO.8191723</a>.
  ieee: M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.”
    Zenodo, 2023.
  ista: Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers,
    Zenodo, <a href="https://doi.org/10.5281/ZENODO.8191723">10.5281/ZENODO.8191723</a>.
  mla: Chalupa, Marek, and Thomas A. Henzinger. <i>Monitoring Hyperproperties with
    Prefix Transducers</i>. Zenodo, 2023, doi:<a href="https://doi.org/10.5281/ZENODO.8191723">10.5281/ZENODO.8191723</a>.
  short: M. Chalupa, T.A. Henzinger, (2023).
date_created: 2024-02-28T07:34:34Z
date_published: 2023-07-28T00:00:00Z
date_updated: 2024-02-28T12:33:09Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.5281/ZENODO.8191723
ec_funded: 1
has_accepted_license: '1'
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.8191722
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publisher: Zenodo
related_material:
  record:
  - id: '14076'
    relation: used_in_publication
    status: public
status: public
title: Monitoring hyperproperties with prefix transducers
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '15039'
abstract:
- lang: eng
  text: 'A crucial property for achieving secure, trustworthy and interpretable deep
    learning systems is their robustness: small changes to a system''s inputs should
    not result in large changes to its outputs. Mathematically, this means one strives
    for networks with a small Lipschitz constant. Several recent works have focused
    on how to construct such Lipschitz networks, typically by imposing constraints
    on the weight matrices. In this work, we study an orthogonal aspect, namely the
    role of the activation function. We show that commonly used activation functions,
    such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily
    restrict the class of representable functions, even in the simplest one-dimensional
    setting. We furthermore introduce the new N-activation function that is provably
    more expressive than currently popular activation functions. We provide code at
    this https URL.'
article_number: '2311.06103'
article_processing_charge: No
arxiv: 1
author:
- first_name: Bernd
  full_name: Prach, Bernd
  id: 2D561D42-C427-11E9-89B4-9C1AE6697425
  last_name: Prach
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations.
    <i>arXiv</i>. doi:<a href="https://doi.org/10.48550/ARXIV.2311.06103">10.48550/ARXIV.2311.06103</a>
  apa: Prach, B., &#38; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive
    with N-activations. <i>arXiv</i>. <a href="https://doi.org/10.48550/ARXIV.2311.06103">https://doi.org/10.48550/ARXIV.2311.06103</a>
  chicago: Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More
    Expressive with N-Activations.” <i>ArXiv</i>, n.d. <a href="https://doi.org/10.48550/ARXIV.2311.06103">https://doi.org/10.48550/ARXIV.2311.06103</a>.
  ieee: B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive
    with N-activations,” <i>arXiv</i>. .
  ista: Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations.
    arXiv, 2311.06103.
  mla: Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More
    Expressive with N-Activations.” <i>ArXiv</i>, 2311.06103, doi:<a href="https://doi.org/10.48550/ARXIV.2311.06103">10.48550/ARXIV.2311.06103</a>.
  short: B. Prach, C. Lampert, ArXiv (n.d.).
date_created: 2024-02-28T17:59:32Z
date_published: 2023-11-10T00:00:00Z
date_updated: 2024-03-04T07:02:39Z
day: '10'
department:
- _id: GradSch
- _id: ChLa
doi: 10.48550/ARXIV.2311.06103
external_id:
  arxiv:
  - '2311.06103'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2311.06103
month: '11'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: 1-Lipschitz neural networks are more expressive with N-activations
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13053'
abstract:
- lang: eng
  text: 'Deep neural networks (DNNs) often have to be compressed, via pruning and/or
    quantization, before they can be deployed in practical settings. In this work
    we propose a new compression-aware minimizer dubbed CrAM that modifies the optimization
    step in a principled way, in order to produce models whose local loss behavior
    is stable under compression operations such as pruning. Thus, dense models trained
    via CrAM should be compressible post-training, in a single step, without significant
    accuracy loss. Experimental results on standard benchmarks, such as residual networks
    for ImageNet classification and BERT models for language modelling, show that
    CrAM produces dense models that can be more accurate than the standard SGD/Adam-based
    baselines, but which are stable under weight pruning: specifically, we can prune
    models in one-shot to 70-80% sparsity with almost no accuracy loss, and to 90%
    with reasonable (∼1%) accuracy loss, which is competitive with gradual compression
    methods. Additionally, CrAM can produce sparse models which perform well for transfer
    learning, and it also works for semi-structured 2:4 pruning patterns supported
    by GPU hardware. The code for reproducing the results is available at this https
    URL .'
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "AP, EK, DA received funding from the European Research Council (ERC)
  under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant
  agreement No 805223 ScaleML). AV acknowledges the support of the French Agence Nationale
  de la Recherche (ANR), under grant ANR-21-CE48-0016 (project COMCOPT). We further
  acknowledge the support from the Scientific Service Units (SSU) of ISTA through
  resources provided by Scientific Computing (SciComp)-"
article_processing_charge: No
arxiv: 1
author:
- first_name: Elena-Alexandra
  full_name: Peste, Elena-Alexandra
  id: 32D78294-F248-11E8-B48F-1D18A9856A87
  last_name: Peste
- first_name: Adrian
  full_name: Vladu, Adrian
  last_name: Vladu
- first_name: Eldar
  full_name: Kurtic, Eldar
  id: 47beb3a5-07b5-11eb-9b87-b108ec578218
  last_name: Kurtic
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
citation:
  ama: 'Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware
    Minimizer. In: <i>11th International Conference on Learning Representations </i>.'
  apa: 'Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., &#38; Alistarh, D.-A. (n.d.).
    CrAM: A Compression-Aware Minimizer. In <i>11th International Conference on Learning
    Representations </i>. Kigali, Rwanda .'
  chicago: 'Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert,
    and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In <i>11th International
    Conference on Learning Representations </i>, n.d.'
  ieee: 'E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM:
    A Compression-Aware Minimizer,” in <i>11th International Conference on Learning
    Representations </i>, Kigali, Rwanda .'
  ista: 'Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware
    Minimizer. 11th International Conference on Learning Representations . ICLR: International
    Conference on Learning Representations.'
  mla: 'Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” <i>11th
    International Conference on Learning Representations </i>.'
  short: E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International
    Conference on Learning Representations , n.d.
conference:
  end_date: 2023-05-05
  location: 'Kigali, Rwanda '
  name: 'ICLR: International Conference on Learning Representations'
  start_date: 2023-05-01
date_created: 2023-05-23T11:36:18Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2023-06-01T12:54:45Z
department:
- _id: GradSch
- _id: DaAl
- _id: ChLa
ec_funded: 1
external_id:
  arxiv:
  - '2207.14200'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://openreview.net/pdf?id=_eTZBs-yedr
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '805223'
  name: Elastic Coordination for Scalable Machine Learning
publication: '11th International Conference on Learning Representations '
publication_status: accepted
quality_controlled: '1'
related_material:
  record:
  - id: '13074'
    relation: dissertation_contains
    status: public
status: public
title: 'CrAM: A Compression-Aware Minimizer'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13074'
abstract:
- lang: eng
  text: "Deep learning has become an integral part of a large number of important
    applications, and many of the recent breakthroughs have been enabled by the ability
    to train very large models, capable to capture complex patterns and relationships
    from the data. At the same time, the massive sizes of modern deep learning models
    have made their deployment to smaller devices more challenging; this is particularly
    important, as in many applications the users rely on accurate deep learning predictions,
    but they only have access to devices with limited memory and compute power. One
    solution to this problem is to prune neural networks, by setting as many of their
    parameters as possible to zero, to obtain accurate sparse models with lower memory
    footprint. Despite the great research progress in obtaining sparse models that
    preserve accuracy, while satisfying memory and computational constraints, there
    are still many challenges associated with efficiently training sparse models,
    as well as understanding their generalization properties.\r\n\r\nThe focus of
    this thesis is to investigate how the training process of sparse models can be
    made more efficient, and to understand the differences between sparse and dense
    models in terms of how well they can generalize to changes in the data distribution.
    We first study a method for co-training sparse and dense models, at a lower cost
    compared to regular training. With our method we can obtain very accurate sparse
    networks, and dense models that can recover the baseline accuracy. Furthermore,
    we are able to more easily analyze the differences, at prediction level, between
    the sparse-dense model pairs. Next, we investigate the generalization properties
    of sparse neural networks in more detail, by studying how well different sparse
    models trained on a larger task can adapt to smaller, more specialized tasks,
    in a transfer learning scenario. Our analysis across multiple pruning methods
    and sparsity levels reveals that sparse models provide features that can transfer
    similarly to or better than the dense baseline. However, the choice of the pruning
    method plays an important role, and can influence the results when the features
    are fixed (linear finetuning), or when they are allowed to adapt to the new task
    (full finetuning). Using sparse models with fixed masks for finetuning on new
    tasks has an important practical advantage, as it enables training neural networks
    on smaller devices. However, one drawback of current pruning methods is that the
    entire training cycle has to be repeated to obtain the initial sparse model, for
    every sparsity target; in consequence, the entire training process is costly and
    also multiple models need to be stored. In the last part of the thesis we propose
    a method that can train accurate dense models that are compressible in a single
    step, to multiple sparsity levels, without additional finetuning. Our method results
    in sparse models that can be competitive with existing pruning methods, and which
    can also successfully generalize to new tasks."
acknowledged_ssus:
- _id: ScienComp
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Elena-Alexandra
  full_name: Peste, Elena-Alexandra
  id: 32D78294-F248-11E8-B48F-1D18A9856A87
  last_name: Peste
citation:
  ama: Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:<a
    href="https://doi.org/10.15479/at:ista:13074">10.15479/at:ista:13074</a>
  apa: Peste, E.-A. (2023). <i>Efficiency and generalization of sparse neural networks</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:13074">https://doi.org/10.15479/at:ista:13074</a>
  chicago: Peste, Elena-Alexandra. “Efficiency and Generalization of Sparse Neural
    Networks.” Institute of Science and Technology Austria, 2023. <a href="https://doi.org/10.15479/at:ista:13074">https://doi.org/10.15479/at:ista:13074</a>.
  ieee: E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute
    of Science and Technology Austria, 2023.
  ista: Peste E-A. 2023. Efficiency and generalization of sparse neural networks.
    Institute of Science and Technology Austria.
  mla: Peste, Elena-Alexandra. <i>Efficiency and Generalization of Sparse Neural Networks</i>.
    Institute of Science and Technology Austria, 2023, doi:<a href="https://doi.org/10.15479/at:ista:13074">10.15479/at:ista:13074</a>.
  short: E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute
    of Science and Technology Austria, 2023.
date_created: 2023-05-23T17:07:53Z
date_published: 2023-05-23T00:00:00Z
date_updated: 2023-08-04T10:33:27Z
day: '23'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: GradSch
- _id: DaAl
- _id: ChLa
doi: 10.15479/at:ista:13074
ec_funded: 1
file:
- access_level: open_access
  checksum: 6b3354968403cb9d48cc5a83611fb571
  content_type: application/pdf
  creator: epeste
  date_created: 2023-05-24T16:11:16Z
  date_updated: 2023-05-24T16:11:16Z
  file_id: '13087'
  file_name: PhD_Thesis_Alexandra_Peste_final.pdf
  file_size: 2152072
  relation: main_file
  success: 1
- access_level: closed
  checksum: 8d0df94bbcf4db72c991f22503b3fd60
  content_type: application/zip
  creator: epeste
  date_created: 2023-05-24T16:12:59Z
  date_updated: 2023-05-24T16:12:59Z
  file_id: '13088'
  file_name: PhD_Thesis_APeste.zip
  file_size: 1658293
  relation: source_file
file_date_updated: 2023-05-24T16:12:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '147'
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '805223'
  name: Elastic Coordination for Scalable Machine Learning
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '11458'
    relation: part_of_dissertation
    status: public
  - id: '13053'
    relation: part_of_dissertation
    status: public
  - id: '12299'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
title: Efficiency and generalization of sparse neural networks
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '13081'
abstract:
- lang: eng
  text: During development, tissues undergo changes in size and shape to form functional
    organs. Distinct cellular processes such as cell division and cell rearrangements
    underlie tissue morphogenesis. Yet how the distinct processes are controlled and
    coordinated, and how they contribute to morphogenesis is poorly understood. In
    our study, we addressed these questions using the developing mouse neural tube.
    This epithelial organ transforms from a flat epithelial sheet to an epithelial
    tube while increasing in size and undergoing morpho-gen-mediated patterning. The
    extent and mechanism of neural progenitor rearrangement within the developing
    mouse neuroepithelium is unknown. To investigate this, we per-formed high resolution
    lineage tracing analysis to quantify the extent of epithelial rear-rangement at
    different stages of neural tube development. We quantitatively described the relationship
    between apical cell size with cell cycle dependent interkinetic nuclear migra-tions
    (IKNM) and performed high cellular resolution live imaging of the neuroepithelium
    to study the dynamics of junctional remodeling.  Furthermore, developed a vertex
    model of the neuroepithelium to investigate the quantitative contribution of cell
    proliferation, cell differentiation and mechanical properties to the epithelial
    rearrangement dynamics and validated the model predictions through functional
    experiments. Our analysis revealed that at early developmental stages, the apical
    cell area kinetics driven by IKNM induce high lev-els of cell rearrangements in
    a regime of high junctional tension and contractility. After E9.5, there is a
    sharp decline in the extent of cell rearrangements, suggesting that the epi-thelium
    transitions from a fluid-like to a solid-like state. We found that this transition
    is regulated by the growth rate of the tissue, rather than by changes in cell-cell
    adhesion and contractile forces. Overall, our study provides a quantitative description
    of the relationship between tissue growth, cell cycle dynamics, epithelia rearrangements
    and the emergent tissue material properties, and novel insights on how epithelial
    cell dynamics influences tissue morphogenesis.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Laura
  full_name: Bocanegra, Laura
  id: 4896F754-F248-11E8-B48F-1D18A9856A87
  last_name: Bocanegra
citation:
  ama: Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023.
    doi:<a href="https://doi.org/10.15479/at:ista:13081">10.15479/at:ista:13081</a>
  apa: Bocanegra, L. (2023). <i>Epithelial dynamics during mouse neural tube development</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:13081">https://doi.org/10.15479/at:ista:13081</a>
  chicago: Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.”
    Institute of Science and Technology Austria, 2023. <a href="https://doi.org/10.15479/at:ista:13081">https://doi.org/10.15479/at:ista:13081</a>.
  ieee: L. Bocanegra, “Epithelial dynamics during mouse neural tube development,”
    Institute of Science and Technology Austria, 2023.
  ista: Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development.
    Institute of Science and Technology Austria.
  mla: Bocanegra, Laura. <i>Epithelial Dynamics during Mouse Neural Tube Development</i>.
    Institute of Science and Technology Austria, 2023, doi:<a href="https://doi.org/10.15479/at:ista:13081">10.15479/at:ista:13081</a>.
  short: L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute
    of Science and Technology Austria, 2023.
date_created: 2023-05-23T19:10:42Z
date_published: 2023-05-23T00:00:00Z
date_updated: 2023-10-04T11:14:04Z
day: '23'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: AnKi
doi: 10.15479/at:ista:13081
file:
- access_level: closed
  checksum: 74f3f89e59a0189bee53ebfad9c1b9af
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: lbocaneg
  date_created: 2023-05-25T06:32:12Z
  date_updated: 2023-05-25T06:32:12Z
  file_id: '13089'
  file_name: Thesis_final_LauraBocanegra.docx
  file_size: 25615534
  relation: source_file
- access_level: closed
  checksum: c6cdef6323eacfb4b7a8af20f32eae97
  content_type: application/pdf
  creator: lbocaneg
  date_created: 2023-05-25T06:32:16Z
  date_updated: 2023-05-25T06:32:16Z
  embargo: 2024-05-31
  embargo_to: open_access
  file_id: '13090'
  file_name: TotalFinal_Thesis_LauraBocanegraArx.pdf
  file_size: 12386046
  relation: main_file
file_date_updated: 2023-05-25T06:32:16Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa_version: Published Version
page: '93'
publication_identifier:
  issn:
  - 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '9349'
    relation: part_of_dissertation
    status: public
  - id: '12837'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Anna
  full_name: Kicheva, Anna
  id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
  last_name: Kicheva
  orcid: 0000-0003-4509-4998
title: Epithelial dynamics during mouse neural tube development
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: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '13091'
abstract:
- lang: eng
  text: We use a function field version of the Hardy–Littlewood circle method to study
    the locus of free rational curves on an arbitrary smooth projective hypersurface
    of sufficiently low degree. On the one hand this allows us to bound the dimension
    of the singular locus of the moduli space of rational curves on such hypersurfaces
    and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin
    conjecture in terms of slopes with respect to the tangent bundle.
acknowledgement: The authors are grateful to Paul Nelson, Per Salberger and Jason
  Starr for useful comments. While working on this paper the first author was supported
  by EPRSC grant EP/P026710/1. The research was partially conducted during the period
  the second author served as a Clay Research Fellow, and partially conducted during
  the period he was supported by Dr. Max Rössler, the Walter Haefner Foundation and
  the ETH Zurich Foundation.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Will
  full_name: Sawin, Will
  last_name: Sawin
citation:
  ama: Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and
    the circle method. <i>Algebra and Number Theory</i>. 2023;17(3):719-748. doi:<a
    href="https://doi.org/10.2140/ant.2023.17.719">10.2140/ant.2023.17.719</a>
  apa: Browning, T. D., &#38; Sawin, W. (2023). Free rational curves on low degree
    hypersurfaces and the circle method. <i>Algebra and Number Theory</i>. Mathematical
    Sciences Publishers. <a href="https://doi.org/10.2140/ant.2023.17.719">https://doi.org/10.2140/ant.2023.17.719</a>
  chicago: Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree
    Hypersurfaces and the Circle Method.” <i>Algebra and Number Theory</i>. Mathematical
    Sciences Publishers, 2023. <a href="https://doi.org/10.2140/ant.2023.17.719">https://doi.org/10.2140/ant.2023.17.719</a>.
  ieee: T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces
    and the circle method,” <i>Algebra and Number Theory</i>, vol. 17, no. 3. Mathematical
    Sciences Publishers, pp. 719–748, 2023.
  ista: Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces
    and the circle method. Algebra and Number Theory. 17(3), 719–748.
  mla: Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces
    and the Circle Method.” <i>Algebra and Number Theory</i>, vol. 17, no. 3, Mathematical
    Sciences Publishers, 2023, pp. 719–48, doi:<a href="https://doi.org/10.2140/ant.2023.17.719">10.2140/ant.2023.17.719</a>.
  short: T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
date_created: 2023-05-28T22:01:02Z
date_published: 2023-04-12T00:00:00Z
date_updated: 2023-08-01T14:51:57Z
day: '12'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.2140/ant.2023.17.719
external_id:
  arxiv:
  - '1810.06882'
  isi:
  - '000996014700004'
file:
- access_level: open_access
  checksum: 5d5d67b235905650e33cf7065d7583b4
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T08:05:22Z
  date_updated: 2023-05-30T08:05:22Z
  file_id: '13101'
  file_name: 2023_AlgebraNumberTheory_Browning.pdf
  file_size: 1430719
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T08:05:22Z
has_accepted_license: '1'
intvolume: '        17'
isi: 1
issue: '3'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 719-748
project:
- _id: 26A8D266-B435-11E9-9278-68D0E5697425
  grant_number: EP-P026710-2
  name: Between rational and integral points
publication: Algebra and Number Theory
publication_identifier:
  eissn:
  - 1944-7833
  issn:
  - 1937-0652
publication_status: published
publisher: Mathematical Sciences Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Free rational curves on low degree hypersurfaces and the circle method
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: 17
year: '2023'
...
---
_id: '13092'
abstract:
- lang: eng
  text: There is a need for the development of lead-free thermoelectric materials
    for medium-/high-temperature applications. Here, we report a thiol-free tin telluride
    (SnTe) precursor that can be thermally decomposed to produce SnTe crystals with
    sizes ranging from tens to several hundreds of nanometers. We further engineer
    SnTe–Cu2SnTe3 nanocomposites with a homogeneous phase distribution by decomposing
    the liquid SnTe precursor containing a dispersion of Cu1.5Te colloidal nanoparticles.
    The presence of Cu within the SnTe and the segregated semimetallic Cu2SnTe3 phase
    effectively improves the electrical conductivity of SnTe while simultaneously
    reducing the lattice thermal conductivity without compromising the Seebeck coefficient.
    Overall, power factors up to 3.63 mW m–1 K–2 and thermoelectric figures of merit
    up to 1.04 are obtained at 823 K, which represent a 167% enhancement compared
    with pristine SnTe.
acknowledgement: Open Access is funded by the Austrian Science Fund (FWF). We thank
  Generalitat de Catalunya AGAUR─2021 SGR 01581 for financial support. B.F.N., K.X.,
  and L.L.Y. thank the China Scholarship Council (CSC) for the scholarship support.
  C.C. acknowledges funding from the FWF “Lise Meitner Fellowship” grant agreement
  M 2889-N. J.S.L is grateful to the Science and Technology Department of Sichuan
  Province for the project no. 22NSFSC0966. K.H.L. was supported by the Institute
  of Zhejiang University-Quzhou (IZQ2021RCZX003). M.I. acknowledges the financial
  support from IST Austria.
article_processing_charge: No
article_type: original
author:
- first_name: Bingfei
  full_name: Nan, Bingfei
  last_name: 'Nan'
- first_name: Xuan
  full_name: Song, Xuan
  last_name: Song
- first_name: Cheng
  full_name: Chang, Cheng
  id: 9E331C2E-9F27-11E9-AE48-5033E6697425
  last_name: Chang
  orcid: 0000-0002-9515-4277
- first_name: Ke
  full_name: Xiao, Ke
  last_name: Xiao
- first_name: Yu
  full_name: Zhang, Yu
  last_name: Zhang
- first_name: Linlin
  full_name: Yang, Linlin
  last_name: Yang
- first_name: Sharona
  full_name: Horta, Sharona
  id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
  last_name: Horta
- first_name: Junshan
  full_name: Li, Junshan
  last_name: Li
- first_name: Khak Ho
  full_name: Lim, Khak Ho
  last_name: Lim
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric
    composites. <i>ACS Applied Materials and Interfaces</i>. 2023;15(19):23380–23389.
    doi:<a href="https://doi.org/10.1021/acsami.3c00625">10.1021/acsami.3c00625</a>
  apa: Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023).
    Bottom-up synthesis of SnTe-based thermoelectric composites. <i>ACS Applied Materials
    and Interfaces</i>. American Chemical Society. <a href="https://doi.org/10.1021/acsami.3c00625">https://doi.org/10.1021/acsami.3c00625</a>
  chicago: Nan, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona
    Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” <i>ACS
    Applied Materials and Interfaces</i>. American Chemical Society, 2023. <a href="https://doi.org/10.1021/acsami.3c00625">https://doi.org/10.1021/acsami.3c00625</a>.
  ieee: B. Nan <i>et al.</i>, “Bottom-up synthesis of SnTe-based thermoelectric composites,”
    <i>ACS Applied Materials and Interfaces</i>, vol. 15, no. 19. American Chemical
    Society, pp. 23380–23389, 2023.
  ista: Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez
    M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites.
    ACS Applied Materials and Interfaces. 15(19), 23380–23389.
  mla: Nan, Bingfei, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.”
    <i>ACS Applied Materials and Interfaces</i>, vol. 15, no. 19, American Chemical
    Society, 2023, pp. 23380–23389, doi:<a href="https://doi.org/10.1021/acsami.3c00625">10.1021/acsami.3c00625</a>.
  short: B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H.
    Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2023-08-01T14:50:09Z
day: '04'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/acsami.3c00625
external_id:
  isi:
  - '000985497900001'
  pmid:
  - '37141543'
file:
- access_level: open_access
  checksum: 23893be46763c4c78daacddd019de821
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T07:38:44Z
  date_updated: 2023-05-30T07:38:44Z
  file_id: '13099'
  file_name: 2023_ACSAppliedMaterials_Nan.pdf
  file_size: 5640829
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T07:38:44Z
has_accepted_license: '1'
intvolume: '        15'
isi: 1
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 23380–23389
pmid: 1
project:
- _id: 9B8804FC-BA93-11EA-9121-9846C619BF3A
  grant_number: M02889
  name: Bottom-up Engineering for Thermoelectric Applications
publication: ACS Applied Materials and Interfaces
publication_identifier:
  eissn:
  - 1944-8252
  issn:
  - 1944-8244
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bottom-up synthesis of SnTe-based thermoelectric composites
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: 15
year: '2023'
...
---
_id: '13093'
abstract:
- lang: eng
  text: The direct, solid state, and reversible conversion between heat and electricity
    using thermoelectric devices finds numerous potential uses, especially around
    room temperature. However, the relatively high material processing cost limits
    their real applications. Silver selenide (Ag2Se) is one of the very few n-type
    thermoelectric (TE) materials for room-temperature applications. Herein, we report
    a room temperature, fast, and aqueous-phase synthesis approach to produce Ag2Se,
    which can be extended to other metal chalcogenides. These materials reach TE figures
    of merit (zT) of up to 0.76 at 380 K. To improve these values, bismuth sulfide
    (Bi2S3) particles also prepared in an aqueous solution are incorporated into the
    Ag2Se matrix. In this way, a series of Ag2Se/Bi2S3 composites with Bi2S3 wt %
    of 0.5, 1.0, and 1.5 are prepared by solution blending and hot-press sintering.
    The presence of Bi2S3 significantly improves the Seebeck coefficient and power
    factor while at the same time decreasing the thermal conductivity with no apparent
    drop in electrical conductivity. Thus, a maximum zT value of 0.96 is achieved
    in the composites with 1.0 wt % Bi2S3 at 370 K. Furthermore, a high average zT
    value (zTave) of 0.93 in the 300–390 K range is demonstrated.
acknowledgement: 'Open Access is funded by the Austrian Science Fund (FWF). B.N.,
  M.L., Y.Z., K.X., and X.H. thank the China Scholarship Council (CSC) for the scholarship
  support. C.C. received funding from the FWF “Lise Meitner Fellowship” grant agreement
  M 2889-N. M.I. acknowledges the financial support from ISTA and the Werner Siemens
  Foundation. ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457
  and project NANOGEN (PID2020-116093RB-C43) funded by MCIN/AEI/10.13039/501100011033/.
  ICN2 was supported by the Severo Ochoa program from Spanish MCIN/AEI (Grant No.:
  CEX2021-001214-S) and was funded by the CERCA Programme/Generalitat de Catalunya.
  J.L. is a Serra Húnter Fellow and is grateful to the ICREA Academia program and
  projects MICINN/FEDER PID2021-124572OB-C31 and 2021 SGR 01061. K.H.L. acknowledges
  support from the National Natural Science Foundation of China (22208293). This study
  is part of the Advanced Materials programme and was supported by MCIN with funding
  from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya.'
article_processing_charge: No
article_type: original
author:
- first_name: Bingfei
  full_name: Nan, Bingfei
  last_name: 'Nan'
- first_name: Mengyao
  full_name: Li, Mengyao
  last_name: Li
- first_name: Yu
  full_name: Zhang, Yu
  last_name: Zhang
- first_name: Ke
  full_name: Xiao, Ke
  last_name: Xiao
- first_name: Khak Ho
  full_name: Lim, Khak Ho
  last_name: Lim
- first_name: Cheng
  full_name: Chang, Cheng
  id: 9E331C2E-9F27-11E9-AE48-5033E6697425
  last_name: Chang
  orcid: 0000-0002-9515-4277
- first_name: Xu
  full_name: Han, Xu
  last_name: Han
- first_name: Yong
  full_name: Zuo, Yong
  last_name: Zuo
- first_name: Junshan
  full_name: Li, Junshan
  last_name: Li
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Jordi
  full_name: Llorca, Jordi
  last_name: Llorca
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Nan B, Li M, Zhang Y, et al. Engineering of thermoelectric composites based
    on silver selenide in aqueous solution and ambient temperature. <i>ACS Applied
    Electronic Materials</i>. 2023. doi:<a href="https://doi.org/10.1021/acsaelm.3c00055">10.1021/acsaelm.3c00055</a>
  apa: Nan, B., Li, M., Zhang, Y., Xiao, K., Lim, K. H., Chang, C., … Cabot, A. (2023).
    Engineering of thermoelectric composites based on silver selenide in aqueous solution
    and ambient temperature. <i>ACS Applied Electronic Materials</i>. American Chemical
    Society. <a href="https://doi.org/10.1021/acsaelm.3c00055">https://doi.org/10.1021/acsaelm.3c00055</a>
  chicago: Nan, Bingfei, Mengyao Li, Yu Zhang, Ke Xiao, Khak Ho Lim, Cheng Chang,
    Xu Han, et al. “Engineering of Thermoelectric Composites Based on Silver Selenide
    in Aqueous Solution and Ambient Temperature.” <i>ACS Applied Electronic Materials</i>.
    American Chemical Society, 2023. <a href="https://doi.org/10.1021/acsaelm.3c00055">https://doi.org/10.1021/acsaelm.3c00055</a>.
  ieee: B. Nan <i>et al.</i>, “Engineering of thermoelectric composites based on silver
    selenide in aqueous solution and ambient temperature,” <i>ACS Applied Electronic
    Materials</i>. American Chemical Society, 2023.
  ista: Nan B, Li M, Zhang Y, Xiao K, Lim KH, Chang C, Han X, Zuo Y, Li J, Arbiol
    J, Llorca J, Ibáñez M, Cabot A. 2023. Engineering of thermoelectric composites
    based on silver selenide in aqueous solution and ambient temperature. ACS Applied
    Electronic Materials.
  mla: Nan, Bingfei, et al. “Engineering of Thermoelectric Composites Based on Silver
    Selenide in Aqueous Solution and Ambient Temperature.” <i>ACS Applied Electronic
    Materials</i>, American Chemical Society, 2023, doi:<a href="https://doi.org/10.1021/acsaelm.3c00055">10.1021/acsaelm.3c00055</a>.
  short: B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J.
    Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials
    (2023).
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-05T00:00:00Z
date_updated: 2023-08-01T14:50:48Z
day: '05'
department:
- _id: MaIb
doi: 10.1021/acsaelm.3c00055
external_id:
  isi:
  - '000986859000001'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1021/acsaelm.3c00055
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 9B8804FC-BA93-11EA-9121-9846C619BF3A
  grant_number: M02889
  name: Bottom-up Engineering for Thermoelectric Applications
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
  name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
    Semiconductors for Waste Heat Recovery'
publication: ACS Applied Electronic Materials
publication_identifier:
  eissn:
  - 2637-6113
publication_status: epub_ahead
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Engineering of thermoelectric composites based on silver selenide in aqueous
  solution and ambient temperature
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2023'
...
---
_id: '13094'
abstract:
- lang: eng
  text: 'Endocytosis is a key cellular process involved in the uptake of nutrients,
    pathogens, or the therapy of diseases. Most studies have focused on spherical
    objects, whereas biologically relevant shapes can be highly anisotropic. In this
    letter, we use an experimental model system based on Giant Unilamellar Vesicles
    (GUVs) and dumbbell-shaped colloidal particles to mimic and investigate the first
    stage of the passive endocytic process: engulfment of an anisotropic object by
    the membrane. Our model has specific ligand–receptor interactions realized by
    mobile receptors on the vesicles and immobile ligands on the particles. Through
    a series of experiments, theory, and molecular dynamics simulations, we quantify
    the wrapping process of anisotropic dumbbells by GUVs and identify distinct stages
    of the wrapping pathway. We find that the strong curvature variation in the neck
    of the dumbbell as well as membrane tension are crucial in determining both the
    speed of wrapping and the final states.'
acknowledgement: We sincerely thank Casper van der Wel for providing open-source packages
  for tracking, as well as Yogesh Shelke for his assistance with PAA coverslip preparation
  and Rachel Doherty for her assistance with particle functionalization. We are grateful
  to Felix Frey for useful discussions on the theory of membrane wrapping. B.M. and
  A.Š. acknowledge funding by the European Union’s Horizon 2020 research and innovation
  programme (ERC Starting Grant No. 802960).
article_processing_charge: No
article_type: letter_note
author:
- first_name: Ali
  full_name: Azadbakht, Ali
  last_name: Azadbakht
- first_name: Billie
  full_name: Meadowcroft, Billie
  id: a4725fd6-932b-11ed-81e2-c098c7f37ae1
  last_name: Meadowcroft
- first_name: Thijs
  full_name: Varkevisser, Thijs
  last_name: Varkevisser
- first_name: Anđela
  full_name: Šarić, Anđela
  id: bf63d406-f056-11eb-b41d-f263a6566d8b
  last_name: Šarić
  orcid: 0000-0002-7854-2139
- first_name: Daniela J.
  full_name: Kraft, Daniela J.
  last_name: Kraft
citation:
  ama: Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. Wrapping pathways
    of anisotropic dumbbell particles by Giant Unilamellar Vesicles. <i>Nano Letters</i>.
    2023;23(10):4267–4273. doi:<a href="https://doi.org/10.1021/acs.nanolett.3c00375">10.1021/acs.nanolett.3c00375</a>
  apa: Azadbakht, A., Meadowcroft, B., Varkevisser, T., Šarić, A., &#38; Kraft, D.
    J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar
    Vesicles. <i>Nano Letters</i>. American Chemical Society. <a href="https://doi.org/10.1021/acs.nanolett.3c00375">https://doi.org/10.1021/acs.nanolett.3c00375</a>
  chicago: Azadbakht, Ali, Billie Meadowcroft, Thijs Varkevisser, Anđela Šarić, and
    Daniela J. Kraft. “Wrapping Pathways of Anisotropic Dumbbell Particles by Giant
    Unilamellar Vesicles.” <i>Nano Letters</i>. American Chemical Society, 2023. <a
    href="https://doi.org/10.1021/acs.nanolett.3c00375">https://doi.org/10.1021/acs.nanolett.3c00375</a>.
  ieee: A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, and D. J. Kraft, “Wrapping
    pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles,” <i>Nano
    Letters</i>, vol. 23, no. 10. American Chemical Society, pp. 4267–4273, 2023.
  ista: Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. 2023. Wrapping
    pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano
    Letters. 23(10), 4267–4273.
  mla: Azadbakht, Ali, et al. “Wrapping Pathways of Anisotropic Dumbbell Particles
    by Giant Unilamellar Vesicles.” <i>Nano Letters</i>, vol. 23, no. 10, American
    Chemical Society, 2023, pp. 4267–4273, doi:<a href="https://doi.org/10.1021/acs.nanolett.3c00375">10.1021/acs.nanolett.3c00375</a>.
  short: A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, D.J. Kraft, Nano
    Letters 23 (2023) 4267–4273.
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2023-08-01T14:51:25Z
day: '04'
ddc:
- '540'
department:
- _id: AnSa
doi: 10.1021/acs.nanolett.3c00375
ec_funded: 1
external_id:
  isi:
  - '000985481400001'
  pmid:
  - '37141427'
file:
- access_level: open_access
  checksum: 9734d4c617bab3578ef62916b764547a
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T07:55:31Z
  date_updated: 2023-05-30T07:55:31Z
  file_id: '13100'
  file_name: 2023_NanoLetters_Azadbakht.pdf
  file_size: 3654910
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T07:55:31Z
has_accepted_license: '1'
intvolume: '        23'
isi: 1
issue: '10'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 4267–4273
pmid: 1
project:
- _id: eba2549b-77a9-11ec-83b8-a81e493eae4e
  call_identifier: H2020
  grant_number: '802960'
  name: 'Non-Equilibrium Protein Assembly: from Building Blocks to Biological Machines'
publication: Nano Letters
publication_identifier:
  eissn:
  - 1530-6992
  issn:
  - 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles
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: 23
year: '2023'
...
---
_id: '13095'
abstract:
- lang: eng
  text: Disulfide bond formation is fundamentally important for protein structure
    and constitutes a key mechanism by which cells regulate the intracellular oxidation
    state. Peroxiredoxins (PRDXs) eliminate reactive oxygen species such as hydrogen
    peroxide through a catalytic cycle of Cys oxidation and reduction. Additionally,
    upon Cys oxidation PRDXs undergo extensive conformational rearrangements that
    may underlie their presently structurally poorly defined functions as molecular
    chaperones. Rearrangements include high molecular-weight oligomerization, the
    dynamics of which are, however, poorly understood, as is the impact of disulfide
    bond formation on these properties. Here we show that formation of disulfide bonds
    along the catalytic cycle induces extensive μs time scale dynamics, as monitored
    by magic-angle spinning NMR of the 216 kDa-large Tsa1 decameric assembly and solution-NMR
    of a designed dimeric mutant. We ascribe the conformational dynamics to structural
    frustration, resulting from conflicts between the disulfide-constrained reduction
    of mobility and the desire to fulfill other favorable contacts.
acknowledgement: "We thank Albert A. Smith (Univ. Leipzig) for discussions and help
  with detectors analyses, Undina Guillerm (IST Austria) for gel electrophoresis experiments
  (Figure S7), and Jens\r\nLidman (Univ. Gothenburg) for a 3Q relaxation analysis
  script. Intramural funding from Institute of Science and Technology Austria is acknowledged.
  This work also used the platforms of\r\nthe Grenoble Instruct-ERIC center (ISBG;
  UMS 3518 CNRSCEA-UJF-EMBL) within the Grenoble Partnership for Structural Biology
  (PSB), as well as the Swedish NMR Centre\r\nof the University of Gothenburg. Both
  platforms provided excellent research infrastructures. B.M.B. gratefully acknowledges
  funding from the Swedish Research Council (Starting grant 2016-04721), the Swedish
  Cancer Foundation (2019-0415), and the Knut och Alice Wallenberg Foundation through
  a Wallenberg Academy Fellowship (2016.0163) as well as through the Wallenberg Centre
  for Molecular and Translational Medicine, University of Gothenburg, Sweden. "
article_processing_charge: No
article_type: original
author:
- first_name: Laura
  full_name: Troussicot, Laura
  id: 3d9cac31-413c-11eb-9514-d1ec2a7fb7f3
  last_name: Troussicot
- first_name: Alicia
  full_name: Vallet, Alicia
  last_name: Vallet
- first_name: Mikael
  full_name: Molin, Mikael
  last_name: Molin
- first_name: Björn M.
  full_name: Burmann, Björn M.
  last_name: Burmann
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
citation:
  ama: Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. Disulfide-bond-induced
    structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. <i>Journal
    of the American Chemical Society</i>. 2023;145(19):10700–10711. doi:<a href="https://doi.org/10.1021/jacs.3c01200">10.1021/jacs.3c01200</a>
  apa: Troussicot, L., Vallet, A., Molin, M., Burmann, B. M., &#38; Schanda, P. (2023).
    Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin
    from MAS NMR. <i>Journal of the American Chemical Society</i>. American Chemical
    Society. <a href="https://doi.org/10.1021/jacs.3c01200">https://doi.org/10.1021/jacs.3c01200</a>
  chicago: Troussicot, Laura, Alicia Vallet, Mikael Molin, Björn M. Burmann, and Paul
    Schanda. “Disulfide-Bond-Induced Structural Frustration and Dynamic Disorder in
    a Peroxiredoxin from MAS NMR.” <i>Journal of the American Chemical Society</i>.
    American Chemical Society, 2023. <a href="https://doi.org/10.1021/jacs.3c01200">https://doi.org/10.1021/jacs.3c01200</a>.
  ieee: L. Troussicot, A. Vallet, M. Molin, B. M. Burmann, and P. Schanda, “Disulfide-bond-induced
    structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR,”
    <i>Journal of the American Chemical Society</i>, vol. 145, no. 19. American Chemical
    Society, pp. 10700–10711, 2023.
  ista: Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. 2023. Disulfide-bond-induced
    structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal
    of the American Chemical Society. 145(19), 10700–10711.
  mla: Troussicot, Laura, et al. “Disulfide-Bond-Induced Structural Frustration and
    Dynamic Disorder in a Peroxiredoxin from MAS NMR.” <i>Journal of the American
    Chemical Society</i>, vol. 145, no. 19, American Chemical Society, 2023, pp. 10700–10711,
    doi:<a href="https://doi.org/10.1021/jacs.3c01200">10.1021/jacs.3c01200</a>.
  short: L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of
    the American Chemical Society 145 (2023) 10700–10711.
date_created: 2023-05-28T22:01:04Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2023-08-01T14:48:09Z
day: '04'
ddc:
- '540'
department:
- _id: PaSc
doi: 10.1021/jacs.3c01200
external_id:
  isi:
  - '000985907400001'
  pmid:
  - '37140345'
file:
- access_level: open_access
  checksum: 0758a930ef21c62fc91b14e657479f83
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T07:05:28Z
  date_updated: 2023-05-30T07:05:28Z
  file_id: '13098'
  file_name: 2023_JACS_Troussicot.pdf
  file_size: 6719299
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T07:05:28Z
has_accepted_license: '1'
intvolume: '       145'
isi: 1
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 10700–10711
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
  eissn:
  - 1520-5126
  issn:
  - 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
related_material:
  record:
  - id: '12820'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin
  from MAS NMR
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: 145
year: '2023'
...
---
_id: '13096'
abstract:
- lang: eng
  text: Eukaryotic cells can undergo different forms of programmed cell death, many
    of which culminate in plasma membrane rupture as the defining terminal event1,2,3,4,5,6,7.
    Plasma membrane rupture was long thought to be driven by osmotic pressure, but
    it has recently been shown to be in many cases an active process, mediated by
    the protein ninjurin-18 (NINJ1). Here we resolve the structure of NINJ1 and the
    mechanism by which it ruptures membranes. Super-resolution microscopy reveals
    that NINJ1 clusters into structurally diverse assemblies in the membranes of dying
    cells, in particular large, filamentous assemblies with branched morphology. A
    cryo-electron microscopy structure of NINJ1 filaments shows a tightly packed fence-like
    array of transmembrane α-helices. Filament directionality and stability is defined
    by two amphipathic α-helices that interlink adjacent filament subunits. The NINJ1
    filament features a hydrophilic side and a hydrophobic side, and molecular dynamics
    simulations show that it can stably cap membrane edges. The function of the resulting
    supramolecular arrangement was validated by site-directed mutagenesis. Our data
    thus suggest that, during lytic cell death, the extracellular α-helices of NINJ1
    insert into the plasma membrane to polymerize NINJ1 monomers into amphipathic
    filaments that rupture the plasma membrane. The membrane protein NINJ1 is therefore
    an interactive component of the eukaryotic cell membrane that functions as an
    in-built breaking point in response to activation of cell death.
acknowledged_ssus:
- _id: NMR
- _id: LifeSc
acknowledgement: "This work was supported by the Deutsche Forschungsgemeinschaft under
  Germany’s Excellence Strategy EXC 2075–390740016 and the Stuttgart Center for Simulation
  Science (SC SimTech) to K.P., by ERC-CoG 770988 (InflamCellDeath) and SNF Project
  funding (310030B_198005, 310030B_192523) to P.B., by the Swiss Nanoscience Institute
  and the Swiss National Science Foundation via the NCCR AntiResist (180541) to S.H.
  and the NCCR Molecular Systems Engineering (51NF40-205608) to D.J.M., by the Helmholtz
  Young Investigator Program of the Helmholtz Association to C.S., by the SNF Professorship
  funding (PP00P3_198903) to C.P., EMBO postdoctoral fellowship ALTF 27-2022 to E.H.
  and by the Scientific Service Units of IST Austria through resources provided by
  the NMR and Life Science Facilities to P.S. Molecular dynamics simulations were
  performed on the HoreKa supercomputer funded by the Ministry of Science, Research
  and the Arts Baden-Württemberg and by the Federal Ministry of Education and Research.
  The authors thank the BioEM Lab of the Biozentrum, University of Basel for support;
  V. Mack, K. Shkarina and J. Fricke for technical support; D. Ricklin and S. Vogt
  for peptide synthesis; P. Pelczar for support with animals; S.-J. Marrink and P.
  Telles de Souza for supply with Martini3 parameters and scripts; and P. Radler und
  M. Loose for help with QCM. Fig. 4g and Extended Data Fig. 1a were in part created
  with BioRender.com.\r\nOpen access funding provided by University of Basel."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Morris
  full_name: Degen, Morris
  last_name: Degen
- first_name: José Carlos
  full_name: Santos, José Carlos
  last_name: Santos
- first_name: Kristyna
  full_name: Pluhackova, Kristyna
  last_name: Pluhackova
- first_name: Gonzalo
  full_name: Cebrero, Gonzalo
  last_name: Cebrero
- first_name: Saray
  full_name: Ramos, Saray
  last_name: Ramos
- first_name: Gytis
  full_name: Jankevicius, Gytis
  last_name: Jankevicius
- first_name: Ella
  full_name: Hartenian, Ella
  last_name: Hartenian
- first_name: Undina
  full_name: Guillerm, Undina
  id: bb74f472-ae54-11eb-9835-bc9c22fb1183
  last_name: Guillerm
- first_name: Stefania A.
  full_name: Mari, Stefania A.
  last_name: Mari
- first_name: Bastian
  full_name: Kohl, Bastian
  last_name: Kohl
- first_name: Daniel J.
  full_name: Müller, Daniel J.
  last_name: Müller
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Timm
  full_name: Maier, Timm
  last_name: Maier
- first_name: Camilo
  full_name: Perez, Camilo
  last_name: Perez
- first_name: Christian
  full_name: Sieben, Christian
  last_name: Sieben
- first_name: Petr
  full_name: Broz, Petr
  last_name: Broz
- first_name: Sebastian
  full_name: Hiller, Sebastian
  last_name: Hiller
citation:
  ama: Degen M, Santos JC, Pluhackova K, et al. Structural basis of NINJ1-mediated
    plasma membrane rupture in cell death. <i>Nature</i>. 2023;618:1065-1071. doi:<a
    href="https://doi.org/10.1038/s41586-023-05991-z">10.1038/s41586-023-05991-z</a>
  apa: Degen, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius,
    G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture
    in cell death. <i>Nature</i>. Springer Nature. <a href="https://doi.org/10.1038/s41586-023-05991-z">https://doi.org/10.1038/s41586-023-05991-z</a>
  chicago: Degen, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero,
    Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated
    Plasma Membrane Rupture in Cell Death.” <i>Nature</i>. Springer Nature, 2023.
    <a href="https://doi.org/10.1038/s41586-023-05991-z">https://doi.org/10.1038/s41586-023-05991-z</a>.
  ieee: M. Degen <i>et al.</i>, “Structural basis of NINJ1-mediated plasma membrane
    rupture in cell death,” <i>Nature</i>, vol. 618. Springer Nature, pp. 1065–1071,
    2023.
  ista: Degen M, Santos JC, Pluhackova K, Cebrero G, Ramos S, Jankevicius G, Hartenian
    E, Guillerm U, Mari SA, Kohl B, Müller DJ, Schanda P, Maier T, Perez C, Sieben
    C, Broz P, Hiller S. 2023. Structural basis of NINJ1-mediated plasma membrane
    rupture in cell death. Nature. 618, 1065–1071.
  mla: Degen, Morris, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture
    in Cell Death.” <i>Nature</i>, vol. 618, Springer Nature, 2023, pp. 1065–71, doi:<a
    href="https://doi.org/10.1038/s41586-023-05991-z">10.1038/s41586-023-05991-z</a>.
  short: M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius,
    E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier,
    C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
date_created: 2023-05-28T22:01:04Z
date_published: 2023-06-29T00:00:00Z
date_updated: 2023-11-14T11:49:21Z
day: '29'
ddc:
- '570'
department:
- _id: PaSc
doi: 10.1038/s41586-023-05991-z
external_id:
  isi:
  - '000991386800011'
file:
- access_level: open_access
  checksum: 0fab69252453bff1de7f0e2eceb76d34
  content_type: application/pdf
  creator: dernst
  date_created: 2023-11-14T11:48:18Z
  date_updated: 2023-11-14T11:48:18Z
  file_id: '14533'
  file_name: 2023_Nature_Degen.pdf
  file_size: 12292188
  relation: main_file
  success: 1
file_date_updated: 2023-11-14T11:48:18Z
has_accepted_license: '1'
intvolume: '       618'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 1065-1071
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
  issn:
  - 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structural basis of NINJ1-mediated plasma membrane rupture in cell death
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 618
year: '2023'
...
---
_id: '13097'
abstract:
- lang: eng
  text: 'Vertebrate movement is orchestrated by spinal inter- and motor neurons that,
    together with sensory and cognitive input, produce dynamic motor behaviors. These
    behaviors vary from the simple undulatory swimming of fish and larval aquatic
    species to the highly coordinated running, reaching and grasping of mice, humans
    and other mammals. This variation raises the fundamental question of how spinal
    circuits have changed in register with motor behavior. In simple, undulatory fish,
    exemplified by the lamprey, two broad classes of interneurons shape motor neuron
    output: ipsilateral-projecting excitatory neurons, and commissural-projecting
    inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required
    to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates,
    a more complex spinal neuron composition is observed. In this review, we provide
    evidence that movement elaboration correlates with an increase and specialization
    of these three basic interneuron types into molecularly, anatomically, and functionally
    distinct subpopulations. We summarize recent work linking neuron types to movement-pattern
    generation across fish, amphibians, reptiles, birds and mammals.'
acknowledgement: 'This work was supported by the ERC Starting grant, ERC-2021-STG
  #101041551.'
article_number: '1146449'
article_processing_charge: Yes
article_type: original
author:
- first_name: Alexia C
  full_name: Wilson, Alexia C
  id: 5230e794-15b2-11ec-abd3-e2d5335ebd1d
  last_name: Wilson
- first_name: Lora Beatrice Jaeger
  full_name: Sweeney, Lora Beatrice Jaeger
  id: 56BE8254-C4F0-11E9-8E45-0B23E6697425
  last_name: Sweeney
  orcid: 0000-0001-9242-5601
citation:
  ama: 'Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species.
    <i>Frontiers in Neural Circuits</i>. 2023;17. doi:<a href="https://doi.org/10.3389/fncir.2023.1146449">10.3389/fncir.2023.1146449</a>'
  apa: 'Wilson, A. C., &#38; Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons
    across species. <i>Frontiers in Neural Circuits</i>. Frontiers. <a href="https://doi.org/10.3389/fncir.2023.1146449">https://doi.org/10.3389/fncir.2023.1146449</a>'
  chicago: 'Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons
    across Species.” <i>Frontiers in Neural Circuits</i>. Frontiers, 2023. <a href="https://doi.org/10.3389/fncir.2023.1146449">https://doi.org/10.3389/fncir.2023.1146449</a>.'
  ieee: 'A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons
    across species,” <i>Frontiers in Neural Circuits</i>, vol. 17. Frontiers, 2023.'
  ista: 'Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across
    species. Frontiers in Neural Circuits. 17, 1146449.'
  mla: 'Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons
    across Species.” <i>Frontiers in Neural Circuits</i>, vol. 17, 1146449, Frontiers,
    2023, doi:<a href="https://doi.org/10.3389/fncir.2023.1146449">10.3389/fncir.2023.1146449</a>.'
  short: A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
date_created: 2023-05-28T22:01:04Z
date_published: 2023-04-26T00:00:00Z
date_updated: 2024-01-31T10:15:53Z
day: '26'
ddc:
- '570'
department:
- _id: LoSw
doi: 10.3389/fncir.2023.1146449
external_id:
  isi:
  - '000984606200001'
  pmid:
  - '37180760'
file:
- access_level: open_access
  checksum: 7efd06de284a28e91e97127611a9c3fd
  content_type: application/pdf
  creator: dernst
  date_created: 2024-01-03T13:33:21Z
  date_updated: 2024-01-03T13:33:21Z
  file_id: '14729'
  file_name: 2023_FrontiersNeuralCircuits_Wilson.pdf
  file_size: 6667157
  relation: main_file
  success: 1
file_date_updated: 2024-01-03T13:33:21Z
has_accepted_license: '1'
intvolume: '        17'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae
  grant_number: '101041551'
  name: Development and Evolution of Tetrapod Motor Circuits
publication: Frontiers in Neural Circuits
publication_identifier:
  issn:
  - 1662-5110
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spinal cords: Symphonies of interneurons across species'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 17
year: '2023'
...
---
_id: '13106'
abstract:
- lang: eng
  text: Quantum entanglement is a key resource in currently developed quantum technologies.
    Sharing this fragile property between superconducting microwave circuits and optical
    or atomic systems would enable new functionalities, but this has been hindered
    by an energy scale mismatch of >104 and the resulting mutually imposed loss and
    noise. In this work, we created and verified entanglement between microwave and
    optical fields in a millikelvin environment. Using an optically pulsed superconducting
    electro-optical device, we show entanglement between propagating microwave and
    optical fields in the continuous variable domain. This achievement not only paves
    the way for entanglement between superconducting circuits and telecom wavelength
    light, but also has wide-ranging implications for hybrid quantum networks in the
    context of modularization, scaling, sensing, and cross-platform verification.
acknowledgement: This work was supported by the European Research Council (grant no.
  758053, ERC StG QUNNECT) and the European Union’s Horizon 2020 Research and Innovation
  Program (grant no. 899354, FETopen SuperQuLAN). L.Q. acknowledges generous support
  from the ISTFELLOW program. W.H. is the recipient of an ISTplus postdoctoral fellowship
  with funding from the European Union’s Horizon 2020 Research and Innovation Program
  (Marie Sklodowska-Curie grant no. 754411). G.A. is the recipient of a DOC fellowship
  of the Austrian Academy of Sciences at IST Austria. J.M.F. acknowledges support
  from the Austrian Science Fund (FWF) through BeyondC (grant no. F7105) and the European
  Union’s Horizon 2020 Research and Innovation Program (grant no. 862644, FETopen
  QUARTET).
article_processing_charge: No
arxiv: 1
author:
- first_name: Rishabh
  full_name: Sahu, Rishabh
  id: 47D26E34-F248-11E8-B48F-1D18A9856A87
  last_name: Sahu
  orcid: 0000-0001-6264-2162
- first_name: Liu
  full_name: Qiu, Liu
  id: 45e99c0d-1eb1-11eb-9b96-ed8ab2983cac
  last_name: Qiu
  orcid: 0000-0003-4345-4267
- first_name: William J
  full_name: Hease, William J
  id: 29705398-F248-11E8-B48F-1D18A9856A87
  last_name: Hease
  orcid: 0000-0001-9868-2166
- first_name: Georg M
  full_name: Arnold, Georg M
  id: 3770C838-F248-11E8-B48F-1D18A9856A87
  last_name: Arnold
  orcid: 0000-0003-1397-7876
- first_name: Y.
  full_name: Minoguchi, Y.
  last_name: Minoguchi
- first_name: P.
  full_name: Rabl, P.
  last_name: Rabl
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
citation:
  ama: Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. 2023;380:718-721.
    doi:<a href="https://doi.org/10.1126/science.adg3812">10.1126/science.adg3812</a>
  apa: Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., &#38;
    Fink, J. M. (2023). <i>Entangling microwaves with light</i>. American Association
    for the Advancement of Science. <a href="https://doi.org/10.1126/science.adg3812">https://doi.org/10.1126/science.adg3812</a>
  chicago: Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Y. Minoguchi,
    P. Rabl, and Johannes M Fink. “Entangling Microwaves with Light.” American Association
    for the Advancement of Science, 2023. <a href="https://doi.org/10.1126/science.adg3812">https://doi.org/10.1126/science.adg3812</a>.
  ieee: R. Sahu <i>et al.</i>, “Entangling microwaves with light,” American Association
    for the Advancement of Science, 2023.
  ista: Sahu R, Qiu L, Hease WJ, Arnold GM, Minoguchi Y, Rabl P, Fink JM. 2023. Entangling
    microwaves with light. American Association for the Advancement of Science.
  mla: Sahu, Rishabh, et al. <i>Entangling Microwaves with Light</i>. Vol. 380, American
    Association for the Advancement of Science, 2023, pp. 718–21, doi:<a href="https://doi.org/10.1126/science.adg3812">10.1126/science.adg3812</a>.
  short: R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink,
    Entangling Microwaves with Light, American Association for the Advancement of
    Science, 2023.
date_created: 2023-05-31T11:39:24Z
date_published: 2023-05-18T00:00:00Z
date_updated: 2025-07-15T09:17:40Z
day: '18'
degree_awarded: PhD
department:
- _id: JoFi
doi: 10.1126/science.adg3812
ec_funded: 1
external_id:
  arxiv:
  - '2301.03315'
  isi:
  - '000996515200004'
intvolume: '       380'
isi: 1
keyword:
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2301.03315
month: '05'
oa: 1
oa_version: Preprint
page: 718-721
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '758053'
  name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 9B868D20-BA93-11EA-9121-9846C619BF3A
  call_identifier: H2020
  grant_number: '899354'
  name: Quantum Local Area Networks with Superconducting Qubits
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: 26927A52-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: F07105
  name: Integrating superconducting quantum circuits
- _id: 237CBA6C-32DE-11EA-91FC-C7463DDC885E
  call_identifier: H2020
  grant_number: '862644'
  name: Quantum readout techniques and technologies
- _id: 2671EB66-B435-11E9-9278-68D0E5697425
  name: Coherent on-chip conversion of superconducting qubit signals from microwaves
    to optical frequencies
publication_identifier:
  eissn:
  - 1095-9203
  issn:
  - 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
related_material:
  link:
  - description: News on ISTA Website
    relation: press_release
    url: https://ista.ac.at/en/news/wiring-up-quantum-circuits-with-light/
  record:
  - id: '13122'
    relation: research_data
    status: public
status: public
title: Entangling microwaves with light
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 380
year: '2023'
...
---
_id: '13107'
abstract:
- lang: eng
  text: "Within the human body, the brain exhibits the highest rate of energy consumption
    amongst all organs, with the majority of generated ATP being utilized to sustain
    neuronal activity. Therefore, the metabolism of the mature cerebral cortex is
    geared towards preserving metabolic homeostasis whilst generating significant
    amounts of energy. This requires a precise interplay between diverse metabolic
    pathways, spanning from a tissue-wide scale to the level of individual neurons.
    Disturbances to this delicate metabolic equilibrium, such as those resulting from
    maternal malnutrition\r\nor mutations affecting metabolic enzymes, often result
    in neuropathological variants of neurodevelopment. For instance, mutations in
    SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs),
    have been associated with autism and microcephaly. However, despite recent progress
    in the field, the extent of metabolic restructuring that occurs within the developing
    brain and the corresponding alterations in nutrient demands during various critical
    periods remain largely unknown. To investigate this, we performed metabolomic
    profiling of the murine cerebral cortex to characterize the metabolic state of
    the forebrain at different developmental stages. We found that the developing
    cortex undergoes substantial metabolic reprogramming, with specific sets of metabolites
    displaying stage-specific changes. According to our observations, we determined
    a distinct temporal period in postnatal development during which the cortex displays
    heightened reliance on LNAAs. Hence, using a conditional knock-out mouse model,
    we deleted Slc7a5 in neural cells, allowing us to monitor the impact of a perturbed
    neuronal metabolic state across multiple developmental stages of corticogenesis.
    We found that manipulating the levels of essential LNAAs in cortical neurons in
    vivo affects one particular perinatal developmental period critical for cortical
    network refinement. Abnormally low intracellular LNAA levels result in cell-autonomous
    alterations in neuronal lipid metabolism, excitability, and survival during this
    particular time window. Although most of the effects of Slc7a5 deletion on neuronal
    physiology are transient, derailment of these processes during this brief but
    crucial window leads to long-term circuit dysfunction in mice. In conclusion,
    out data indicate that the cerebral cortex undergoes significant metabolic reorganization
    during development. This process involves the intricate integration of multiple
    metabolic pathways to ensure optimal neuronal function throughout different developmental
    stages. Our findings offer a paradigm for understanding how neurons synchronize
    the expression of nutrient-related genes with their activity to allow proper brain
    maturation. Further, our results demonstrate that disruptions in these precisely
    calibrated metabolic processes during critical periods of brain development may
    result in neuropathological outcomes in mice and in humans."
acknowledged_ssus:
- _id: PreCl
- _id: Bio
- _id: EM-Fac
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Lisa
  full_name: Knaus, Lisa
  id: 3B2ABCF4-F248-11E8-B48F-1D18A9856A87
  last_name: Knaus
citation:
  ama: 'Knaus L. The metabolism of the developing brain : How large neutral amino
    acids modulate perinatal neuronal excitability and survival. 2023. doi:<a href="https://doi.org/10.15479/at:ista:13107">10.15479/at:ista:13107</a>'
  apa: 'Knaus, L. (2023). <i>The metabolism of the developing brain : How large neutral
    amino acids modulate perinatal neuronal excitability and survival</i>. Institute
    of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:13107">https://doi.org/10.15479/at:ista:13107</a>'
  chicago: 'Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral
    Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute
    of Science and Technology Austria, 2023. <a href="https://doi.org/10.15479/at:ista:13107">https://doi.org/10.15479/at:ista:13107</a>.'
  ieee: 'L. Knaus, “The metabolism of the developing brain : How large neutral amino
    acids modulate perinatal neuronal excitability and survival,” Institute of Science
    and Technology Austria, 2023.'
  ista: 'Knaus L. 2023. The metabolism of the developing brain : How large neutral
    amino acids modulate perinatal neuronal excitability and survival. Institute of
    Science and Technology Austria.'
  mla: 'Knaus, Lisa. <i>The Metabolism of the Developing Brain : How Large Neutral
    Amino Acids Modulate Perinatal Neuronal Excitability and Survival</i>. Institute
    of Science and Technology Austria, 2023, doi:<a href="https://doi.org/10.15479/at:ista:13107">10.15479/at:ista:13107</a>.'
  short: 'L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino
    Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science
    and Technology Austria, 2023.'
date_created: 2023-06-01T09:05:24Z
date_published: 2023-05-31T00:00:00Z
date_updated: 2024-02-07T08:03:33Z
day: '31'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: GaNo
doi: 10.15479/at:ista:13107
ec_funded: 1
file:
- access_level: closed
  checksum: 4b69a4ac0bbf4163d59c0b58dcb4f2c3
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: lknaus
  date_created: 2023-06-01T13:48:41Z
  date_updated: 2023-06-01T13:48:41Z
  file_id: '13112'
  file_name: Thesis_Lisa Knaus_approved_final.docx
  file_size: 12991551
  relation: source_file
- access_level: open_access
  checksum: 6903d152aa01181d87a696085af31c83
  content_type: application/pdf
  creator: lknaus
  date_created: 2023-06-02T09:47:29Z
  date_updated: 2023-06-07T08:41:49Z
  file_id: '13114'
  file_name: Thesis_Lisa Knaus_approved_final_pdfa2b.pdf
  file_size: 9309015
  relation: main_file
file_date_updated: 2023-06-07T08:41:49Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '147'
project:
- _id: 25444568-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715508'
  name: Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo
    and in vitro Models
- _id: 2548AE96-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: W1232-B24
  name: Molecular Drug Targets
publication_identifier:
  issn:
  - 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '12802'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Gaia
  full_name: Novarino, Gaia
  id: 3E57A680-F248-11E8-B48F-1D18A9856A87
  last_name: Novarino
  orcid: 0000-0002-7673-7178
title: 'The metabolism of the developing brain : How large neutral amino acids modulate
  perinatal neuronal excitability and survival'
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '13116'
abstract:
- lang: eng
  text: 'The emergence of large-scale order in self-organized systems relies on local
    interactions between individual components. During bacterial cell division, FtsZ
    -- a prokaryotic homologue of the eukaryotic protein tubulin -- polymerizes into
    treadmilling filaments that further organize into a cytoskeletal ring. In vitro,
    FtsZ filaments can form dynamic chiral assemblies. However, how the active and
    passive properties of individual filaments relate to these large-scale self-organized
    structures remains poorly understood. Here, we connect single filament properties
    with the mesoscopic scale by combining minimal active matter simulations and biochemical
    reconstitution experiments. We show that density and flexibility of active chiral
    filaments define their global order. At intermediate densities, curved, flexible
    filaments organize into chiral rings and polar bands. An effectively nematic organization
    dominates for high densities and for straight, mutant filaments with increased
    rigidity. Our predicted phase diagram captures these features quantitatively,
    demonstrating how the flexibility, density and chirality of active filaments affect
    their collective behaviour. Our findings shed light on the fundamental properties
    of active chiral matter and explain how treadmilling FtsZ filaments organize during
    bacterial cell division. '
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
acknowledgement: 'This work was supported by the European Research Council through
  grant ERC 2015-StG-679239 and by the Austrian Science Fund (FWF) StandAlone P34607
  to M.L., B. P.M.  was also supported by the Kanazawa University WPI- NanoLSI Bio-SPM
  collaborative research program. Z.D. has received funding from Doctoral Programme
  of the Austrian Academy of Sciences (OeAW): Grant agreement 26360. We thank Jan
  Brugues (MPI CBG, Dresden, Germany), Andela Saric (ISTA, Klosterneuburg, Austria),
  Daniel Pearce (Uni Geneva, Switzerland) for valuable scientific input and comments
  on the manuscript. We are also thankful for the support by the Scientific Service
  Units (SSU) of IST Austria through resources provided by the Imaging and Optics
  Facility (IOF) and the Lab Support Facility (LSF). '
article_processing_charge: No
author:
- first_name: Zuzana
  full_name: Dunajova, Zuzana
  id: 4B39F286-F248-11E8-B48F-1D18A9856A87
  last_name: Dunajova
- first_name: Batirtze
  full_name: Prats Mateu, Batirtze
  id: 299FE892-F248-11E8-B48F-1D18A9856A87
  last_name: Prats Mateu
- first_name: Philipp
  full_name: Radler, Philipp
  id: 40136C2A-F248-11E8-B48F-1D18A9856A87
  last_name: Radler
  orcid: '0000-0001-9198-2182 '
- first_name: Keesiang
  full_name: Lim, Keesiang
  last_name: Lim
- first_name: Dörte
  full_name: Brandis, Dörte
  last_name: Brandis
- first_name: Philipp
  full_name: Velicky, Philipp
  id: 39BDC62C-F248-11E8-B48F-1D18A9856A87
  last_name: Velicky
  orcid: 0000-0002-2340-7431
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
- first_name: Richard W.
  full_name: Wong, Richard W.
  last_name: Wong
- first_name: Jens
  full_name: Elgeti, Jens
  last_name: Elgeti
- 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: Martin
  full_name: Loose, Martin
  id: 462D4284-F248-11E8-B48F-1D18A9856A87
  last_name: Loose
  orcid: 0000-0001-7309-9724
citation:
  ama: Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible
    active filaments. 2023. doi:<a href="https://doi.org/10.15479/AT:ISTA:13116">10.15479/AT:ISTA:13116</a>
  apa: Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P.,
    … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute
    of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:13116">https://doi.org/10.15479/AT:ISTA:13116</a>
  chicago: Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte
    Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of
    Flexible Active Filaments.” Institute of Science and Technology Austria, 2023.
    <a href="https://doi.org/10.15479/AT:ISTA:13116">https://doi.org/10.15479/AT:ISTA:13116</a>.
  ieee: Z. Dunajova <i>et al.</i>, “Chiral and nematic phases of flexible active filaments.”
    Institute of Science and Technology Austria, 2023.
  ista: Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG,
    Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible
    active filaments, Institute of Science and Technology Austria, <a href="https://doi.org/10.15479/AT:ISTA:13116">10.15479/AT:ISTA:13116</a>.
  mla: Dunajova, Zuzana, et al. <i>Chiral and Nematic Phases of Flexible Active Filaments</i>.
    Institute of Science and Technology Austria, 2023, doi:<a href="https://doi.org/10.15479/AT:ISTA:13116">10.15479/AT:ISTA:13116</a>.
  short: Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G.
    Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
date_created: 2023-06-02T12:30:40Z
date_published: 2023-07-26T00:00:00Z
date_updated: 2024-02-21T12:19:09Z
day: '26'
ddc:
- '539'
department:
- _id: MaLo
- _id: EdHa
- _id: JoDa
doi: 10.15479/AT:ISTA:13116
ec_funded: 1
file:
- access_level: open_access
  checksum: 4b4ec5d4df7672b3af5ba23b126b171b
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: pradler
  date_created: 2023-08-08T11:17:28Z
  date_updated: 2023-08-08T11:17:28Z
  file_id: '13983'
  file_name: ReadMe File.docx
  file_size: 13111
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 6f1673d6ae4f547cd49cfe7f87d9ab7e
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T06:55:43Z
  date_updated: 2023-07-25T06:55:43Z
  file_id: '13298'
  file_name: TIRF_FtsZ WT 0.625µM.7z.001
  file_size: 1499504777
  relation: main_file
  success: 1
- access_level: open_access
  checksum: bc0dea871af164f7419ac838a34a4162
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T08:31:07Z
  date_updated: 2023-07-25T08:31:07Z
  file_id: '13306'
  file_name: TIRF_FtsZ WT 0.900µM.7z.001
  file_size: 3986437211
  relation: main_file
  success: 1
- access_level: open_access
  checksum: dde91b799364a8456ac463dcba7bf37d
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T06:56:54Z
  date_updated: 2023-07-25T06:56:54Z
  file_id: '13299'
  file_name: TIRF_FtsZ WT 1.15µM.7z.001
  file_size: 1292391225
  relation: main_file
  success: 1
- access_level: open_access
  checksum: ba59f4e3f062b378f45e579ec28898ce
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T08:25:07Z
  date_updated: 2023-07-25T08:25:07Z
  file_id: '13305'
  file_name: TIRF_FtsZ WT 1.25µM.7z.001
  file_size: 4494279051
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 906e1fe2aaacd1a746c49ffe39bcca66
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T08:12:32Z
  date_updated: 2023-07-25T08:12:32Z
  file_id: '13303'
  file_name: TIRF_FtsZ WT 1.50µM.7z.001
  file_size: 4697620480
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 96e416494b129cb0139c8250246bfaff
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T08:18:54Z
  date_updated: 2023-07-25T08:18:54Z
  file_id: '13304'
  file_name: TIRF_FtsZ WT 1.50µM.7z.002
  file_size: 3548897162
  relation: main_file
  success: 1
- access_level: open_access
  checksum: f1dfdee3d833cf8d2c6b3ecbbee566f3
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T06:59:59Z
  date_updated: 2023-07-25T06:59:59Z
  file_id: '13300'
  file_name: TIRF_FtsZ WT 2.0µM.7z.001
  file_size: 1472947913
  relation: main_file
  success: 1
- access_level: open_access
  checksum: fe77296c7bfce8b95a67ecbbb07ced81
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T07:05:40Z
  date_updated: 2023-07-25T07:05:40Z
  file_id: '13301'
  file_name: TIRF_FtsZ WT 3.0µM.7z.001
  file_size: 1993549431
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 6bc6edb807f38b00528875b4e7070bbf
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T07:06:07Z
  date_updated: 2023-07-25T07:06:07Z
  file_id: '13302'
  file_name: TIRF_FtsZ WT 5.0µM.7z.001
  file_size: 1336984015
  relation: main_file
  success: 1
- access_level: open_access
  checksum: e46bbe73e90dc56e245ecda464930009
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T12:10:55Z
  date_updated: 2023-07-24T12:10:55Z
  file_id: '13281'
  file_name: STED experiments.7z.001
  file_size: 227620212
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 473aa9f1c097b8b03294b1f6d4f4aa04
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T09:16:06Z
  date_updated: 2023-07-25T09:16:06Z
  file_id: '13307'
  file_name: AFM_FtsZ WT.7z.001
  file_size: 3433349230
  relation: main_file
  success: 1
- access_level: open_access
  checksum: bc685a414d95bcd5bba4dcad0187e928
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T12:11:54Z
  date_updated: 2023-07-24T12:11:54Z
  file_id: '13282'
  file_name: TIRF_FtsZ WT and L169R intensity calibration.7z.001
  file_size: 1416013335
  relation: main_file
  success: 1
- access_level: open_access
  checksum: e6cac262a3cf5a6a45bf28edf1dac8cd
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T12:26:12Z
  date_updated: 2023-07-24T12:26:12Z
  file_id: '13285'
  file_name: TIRF_FtsZ L169R below 0.6µM.7z
  file_size: 2711456292
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 755179b242a7a4ee03133a15c5eab4ce
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T19:19:25Z
  date_updated: 2023-07-24T19:19:25Z
  file_id: '13296'
  file_name: TIRF_FtsZ L169R 0.625µM.7z
  file_size: 2272169467
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 7179ce242938a688381d7126b9a7ec45
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T13:02:04Z
  date_updated: 2023-07-24T13:02:04Z
  file_id: '13287'
  file_name: TIRF_FtsZ L169R 0.900µM.7z
  file_size: 2915542985
  relation: main_file
  success: 1
- access_level: open_access
  checksum: a808996cbca0f795e00de85f1922b497
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T15:27:17Z
  date_updated: 2023-07-24T15:27:17Z
  file_id: '13294'
  file_name: TIRF_FtsZ L169R 1.15µM.7z
  file_size: 2769959727
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 9a42594d749e648a099fefd3e24108a8
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T19:22:29Z
  date_updated: 2023-07-24T19:22:29Z
  file_id: '13297'
  file_name: TIRF_FtsZ L169R 1.25uM.7z
  file_size: 4440142247
  relation: main_file
  success: 1
- access_level: open_access
  checksum: d8df3e458dbdb83622ab4dd6c9313a4e
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T15:27:09Z
  date_updated: 2023-07-24T15:27:09Z
  file_id: '13295'
  file_name: TIRF_FtsZ L169R 1.50µM.7z
  file_size: 2727119370
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 020db3ef1d1cbfb3cbe5bf49d6669849
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T12:12:41Z
  date_updated: 2023-07-24T12:12:41Z
  file_id: '13283'
  file_name: TIRF_FtsZ L169R 2.0µM.7z
  file_size: 1479677783
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 22f2aa112442fb767c0a58876d974ab0
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-24T12:13:51Z
  date_updated: 2023-07-24T12:13:51Z
  file_id: '13284'
  file_name: TIRF_FtsZ L169R 3.0µM.7z
  file_size: 1560846342
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 6fac58e020d7b30092945cb210100670
  content_type: application/octet-stream
  creator: pradler
  date_created: 2023-07-25T09:12:45Z
  date_updated: 2023-07-25T09:12:45Z
  file_id: '13308'
  file_name: AFM_FtsZ L169R.7z.001
  file_size: 2918160653
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 3cdbf4a61857cb940439473c999bdfa6
  content_type: text/csv
  creator: mloose
  date_created: 2023-08-03T19:50:52Z
  date_updated: 2023-08-03T19:50:52Z
  file_id: '13947'
  file_name: EDFig4p_F5.csv
  file_size: 77476061
  relation: main_file
  success: 1
- access_level: open_access
  checksum: a59d5b825b4fe830cdb8833b4851508d
  content_type: text/csv
  creator: mloose
  date_created: 2023-08-03T19:50:50Z
  date_updated: 2023-08-03T19:50:50Z
  file_id: '13948'
  file_name: EDFig4p_F40.csv
  file_size: 74938608
  relation: main_file
  success: 1
- access_level: open_access
  checksum: fe40a48ed7708260557faa1e7e8687d4
  content_type: text/csv
  creator: mloose
  date_created: 2023-08-03T19:51:14Z
  date_updated: 2023-08-03T19:51:14Z
  file_id: '13949'
  file_name: EDFig4p_F200.csv
  file_size: 81680327
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 30bebf102f03445445f3dd3c19209497
  content_type: text/csv
  creator: mloose
  date_created: 2023-08-03T19:51:45Z
  date_updated: 2023-08-03T19:51:45Z
  file_id: '13950'
  file_name: Fig3a_4b_F40.csv
  file_size: 169151538
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 29db5611c9e622710fbf7b1c83c621ec
  content_type: text/csv
  creator: mloose
  date_created: 2023-08-03T19:51:45Z
  date_updated: 2023-08-03T19:51:45Z
  file_id: '13951'
  file_name: Fig3a_F5.csv
  file_size: 94791496
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 848456b4230c086e8999f57d57dba7f1
  content_type: text/csv
  creator: mloose
  date_created: 2023-08-03T19:51:54Z
  date_updated: 2023-08-03T19:51:54Z
  file_id: '13952'
  file_name: Fig3a_F200.csv
  file_size: 59166206
  relation: main_file
  success: 1
file_date_updated: 2023-08-08T11:17:28Z
has_accepted_license: '1'
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 2595697A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '679239'
  name: Self-Organization of the Bacterial Cell
- _id: fc38323b-9c52-11eb-aca3-ff8afb4a011d
  grant_number: P34607
  name: "Understanding bacterial cell division by in vitro\r\nreconstitution"
- _id: 34d75525-11ca-11ed-8bc3-89b6307fee9d
  grant_number: '26360'
  name: Motile active matter models of migrating cells and chiral filaments
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '13314'
    relation: used_in_publication
    status: public
status: public
title: Chiral and nematic phases of flexible active filaments
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: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13117'
abstract:
- lang: eng
  text: The ability to control the direction of scattered light is crucial to provide
    flexibility and scalability for a wide range of on-chip applications, such as
    integrated photonics, quantum information processing, and nonlinear optics. Tunable
    directionality can be achieved by applying external magnetic fields that modify
    optical selection rules, by using nonlinear effects, or interactions with vibrations.
    However, these approaches are less suitable to control microwave photon propagation
    inside integrated superconducting quantum devices. Here, we demonstrate on-demand
    tunable directional scattering based on two periodically modulated transmon qubits
    coupled to a transmission line at a fixed distance. By changing the relative phase
    between the modulation tones, we realize unidirectional forward or backward photon
    scattering. Such an in-situ switchable mirror represents a versatile tool for
    intra- and inter-chip microwave photonic processors. In the future, a lattice
    of qubits can be used to realize topological circuits that exhibit strong nonreciprocity
    or chirality.
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
acknowledgement: The authors thank W.D. Oliver for discussions, L. Drmic and P. Zielinski
  for software development, and the MIBA workshop and the IST nanofabrication facility
  for technical support. This work was supported by the Austrian Science Fund (FWF)
  through BeyondC (F7105) and IST Austria. E.R. is the recipient of a DOC fellowship
  of the Austrian Academy of Sciences at IST Austria. J.M.F. and M.Z. acknowledge
  support from the European Research Council under grant agreement No 758053 (ERC
  StG QUNNECT) and a NOMIS foundation research grant. The work of A.N.P. and A.V.P.
  has been supported by the Russian Science Foundation under the grant No 20-12-00194.
article_number: '2998'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Elena
  full_name: Redchenko, Elena
  id: 2C21D6E8-F248-11E8-B48F-1D18A9856A87
  last_name: Redchenko
- first_name: Alexander V.
  full_name: Poshakinskiy, Alexander V.
  last_name: Poshakinskiy
- first_name: Riya
  full_name: Sett, Riya
  id: 2E6D040E-F248-11E8-B48F-1D18A9856A87
  last_name: Sett
- first_name: Martin
  full_name: Zemlicka, Martin
  id: 2DCF8DE6-F248-11E8-B48F-1D18A9856A87
  last_name: Zemlicka
- first_name: Alexander N.
  full_name: Poddubny, Alexander N.
  last_name: Poddubny
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
citation:
  ama: Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. Tunable
    directional photon scattering from a pair of superconducting qubits. <i>Nature
    Communications</i>. 2023;14. doi:<a href="https://doi.org/10.1038/s41467-023-38761-6">10.1038/s41467-023-38761-6</a>
  apa: Redchenko, E., Poshakinskiy, A. V., Sett, R., Zemlicka, M., Poddubny, A. N.,
    &#38; Fink, J. M. (2023). Tunable directional photon scattering from a pair of
    superconducting qubits. <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-023-38761-6">https://doi.org/10.1038/s41467-023-38761-6</a>
  chicago: Redchenko, Elena, Alexander V. Poshakinskiy, Riya Sett, Martin Zemlicka,
    Alexander N. Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering
    from a Pair of Superconducting Qubits.” <i>Nature Communications</i>. Springer
    Nature, 2023. <a href="https://doi.org/10.1038/s41467-023-38761-6">https://doi.org/10.1038/s41467-023-38761-6</a>.
  ieee: E. Redchenko, A. V. Poshakinskiy, R. Sett, M. Zemlicka, A. N. Poddubny, and
    J. M. Fink, “Tunable directional photon scattering from a pair of superconducting
    qubits,” <i>Nature Communications</i>, vol. 14. Springer Nature, 2023.
  ista: Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. 2023.
    Tunable directional photon scattering from a pair of superconducting qubits. Nature
    Communications. 14, 2998.
  mla: Redchenko, Elena, et al. “Tunable Directional Photon Scattering from a Pair
    of Superconducting Qubits.” <i>Nature Communications</i>, vol. 14, 2998, Springer
    Nature, 2023, doi:<a href="https://doi.org/10.1038/s41467-023-38761-6">10.1038/s41467-023-38761-6</a>.
  short: E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M.
    Fink, Nature Communications 14 (2023).
date_created: 2023-06-04T22:01:02Z
date_published: 2023-05-24T00:00:00Z
date_updated: 2024-08-07T07:11:50Z
day: '24'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1038/s41467-023-38761-6
ec_funded: 1
external_id:
  arxiv:
  - '2205.03293'
  isi:
  - '001001099700002'
file:
- access_level: open_access
  checksum: a857df40f0882859c48a1ff1e2001ec2
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-06T07:31:20Z
  date_updated: 2023-06-06T07:31:20Z
  file_id: '13123'
  file_name: 2023_NaturePhysics_Redchenko.pdf
  file_size: 1654389
  relation: main_file
  success: 1
file_date_updated: 2023-06-06T07:31:20Z
has_accepted_license: '1'
intvolume: '        14'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 26927A52-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: F07105
  name: Integrating superconducting quantum circuits
- _id: 26336814-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '758053'
  name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 26B354CA-B435-11E9-9278-68D0E5697425
  name: Controllable Collective States of Superconducting Qubit Ensembles
- _id: eb9b30ac-77a9-11ec-83b8-871f581d53d2
  name: Protected states of quantum matter
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '13124'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Tunable directional photon scattering from a pair of superconducting qubits
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: 14
year: '2023'
...
---
_id: '13118'
abstract:
- lang: eng
  text: Under high pressures and temperatures, molecular systems with substantial
    polarization charges, such as ammonia and water, are predicted to form superionic
    phases and dense fluid states with dissociating molecules and high electrical
    conductivity. This behaviour potentially plays a role in explaining the origin
    of the multipolar magnetic fields of Uranus and Neptune, whose mantles are thought
    to result from a mixture of H2O, NH3 and CH4 ices. Determining the stability domain,
    melting curve and electrical conductivity of these superionic phases is therefore
    crucial for modelling planetary interiors and dynamos. Here we report the melting
    curve of superionic ammonia up to 300 GPa from laser-driven shock compression
    of pre-compressed samples and atomistic calculations. We show that ammonia melts
    at lower temperatures than water above 100 GPa and that fluid ammonia’s electrical
    conductivity exceeds that of water at conditions predicted by hot, super-adiabatic
    models for Uranus and Neptune, and enhances the conductivity in their fluid water-rich
    dynamo layers.
acknowledgement: We acknowledge the crucial contribution of the LULI2000 laser and
  support teams to the success of the experiments. We also thank S. Brygoo and P.
  Loubeyre for useful discussions. This research was supported by the French National
  Research Agency (ANR) through the projects POMPEI (grant no. ANR-16-CE31-0008) and
  SUPER-ICES (grant ANR-15-CE30-008-01), and by the PLAS@PAR Federation. M.F. and
  R.R. gratefully acknowledge support by the DFG within the Research Unit FOR 2440.
  M.B. was supported by the European Union within the Marie Skłodowska-Curie actions
  (xICE grant 894725) and the NOMIS foundation. The DFT-MD calculations were performed
  at the North-German Supercomputing Alliance facilities.
article_processing_charge: No
article_type: original
author:
- first_name: J.-A.
  full_name: Hernandez, J.-A.
  last_name: Hernandez
- first_name: Mandy
  full_name: Bethkenhagen, Mandy
  id: 201939f4-803f-11ed-ab7e-d8da4bd1517f
  last_name: Bethkenhagen
  orcid: 0000-0002-1838-2129
- first_name: S.
  full_name: Ninet, S.
  last_name: Ninet
- first_name: M.
  full_name: French, M.
  last_name: French
- first_name: A.
  full_name: Benuzzi-Mounaix, A.
  last_name: Benuzzi-Mounaix
- first_name: F.
  full_name: Datchi, F.
  last_name: Datchi
- first_name: M.
  full_name: Guarguaglini, M.
  last_name: Guarguaglini
- first_name: F.
  full_name: Lefevre, F.
  last_name: Lefevre
- first_name: F.
  full_name: Occelli, F.
  last_name: Occelli
- first_name: R.
  full_name: Redmer, R.
  last_name: Redmer
- first_name: T.
  full_name: Vinci, T.
  last_name: Vinci
- first_name: A.
  full_name: Ravasio, A.
  last_name: Ravasio
citation:
  ama: Hernandez J-A, Bethkenhagen M, Ninet S, et al. Melting curve of superionic
    ammonia at planetary interior conditions. <i>Nature Physics</i>. 2023;19:1280-1285.
    doi:<a href="https://doi.org/10.1038/s41567-023-02074-8">10.1038/s41567-023-02074-8</a>
  apa: Hernandez, J.-A., Bethkenhagen, M., Ninet, S., French, M., Benuzzi-Mounaix,
    A., Datchi, F., … Ravasio, A. (2023). Melting curve of superionic ammonia at planetary
    interior conditions. <i>Nature Physics</i>. Springer Nature. <a href="https://doi.org/10.1038/s41567-023-02074-8">https://doi.org/10.1038/s41567-023-02074-8</a>
  chicago: Hernandez, J.-A., Mandy Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix,
    F. Datchi, M. Guarguaglini, et al. “Melting Curve of Superionic Ammonia at Planetary
    Interior Conditions.” <i>Nature Physics</i>. Springer Nature, 2023. <a href="https://doi.org/10.1038/s41567-023-02074-8">https://doi.org/10.1038/s41567-023-02074-8</a>.
  ieee: J.-A. Hernandez <i>et al.</i>, “Melting curve of superionic ammonia at planetary
    interior conditions,” <i>Nature Physics</i>, vol. 19. Springer Nature, pp. 1280–1285,
    2023.
  ista: Hernandez J-A, Bethkenhagen M, Ninet S, French M, Benuzzi-Mounaix A, Datchi
    F, Guarguaglini M, Lefevre F, Occelli F, Redmer R, Vinci T, Ravasio A. 2023. Melting
    curve of superionic ammonia at planetary interior conditions. Nature Physics.
    19, 1280–1285.
  mla: Hernandez, J. A., et al. “Melting Curve of Superionic Ammonia at Planetary
    Interior Conditions.” <i>Nature Physics</i>, vol. 19, Springer Nature, 2023, pp.
    1280–85, doi:<a href="https://doi.org/10.1038/s41567-023-02074-8">10.1038/s41567-023-02074-8</a>.
  short: J.-A. Hernandez, M. Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix,
    F. Datchi, M. Guarguaglini, F. Lefevre, F. Occelli, R. Redmer, T. Vinci, A. Ravasio,
    Nature Physics 19 (2023) 1280–1285.
date_created: 2023-06-04T22:01:02Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2023-11-14T12:58:31Z
day: '01'
department:
- _id: BiCh
doi: 10.1038/s41567-023-02074-8
external_id:
  isi:
  - '000996921200001'
intvolume: '        19'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 1280-1285
publication: Nature Physics
publication_identifier:
  eissn:
  - 1745-2481
  issn:
  - 1745-2473
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: 10.1038/s41567-023-02130-3
scopus_import: '1'
status: public
title: Melting curve of superionic ammonia at planetary interior conditions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 19
year: '2023'
...
---
_id: '13119'
abstract:
- lang: eng
  text: A density wave (DW) is a fundamental type of long-range order in quantum matter
    tied to self-organization into a crystalline structure. The interplay of DW order
    with superfluidity can lead to complex scenarios that pose a great challenge to
    theoretical analysis. In the past decades, tunable quantum Fermi gases have served
    as model systems for exploring the physics of strongly interacting fermions, including
    most notably magnetic ordering1, pairing and superfluidity2, and the crossover
    from a Bardeen–Cooper–Schrieffer superfluid to a Bose–Einstein condensate3. Here,
    we realize a Fermi gas featuring both strong, tunable contact interactions and
    photon-mediated, spatially structured long-range interactions in a transversely
    driven high-finesse optical cavity. Above a critical long-range interaction strength,
    DW order is stabilized in the system, which we identify via its superradiant light-scattering
    properties. We quantitatively measure the variation of the onset of DW order as
    the contact interaction is varied across the Bardeen–Cooper–Schrieffer superfluid
    and Bose–Einstein condensate crossover, in qualitative agreement with a mean-field
    theory. The atomic DW susceptibility varies over an order of magnitude upon tuning
    the strength and the sign of the long-range interactions below the self-ordering
    threshold, demonstrating independent and simultaneous control over the contact
    and long-range interactions. Therefore, our experimental setup provides a fully
    tunable and microscopically controllable platform for the experimental study of
    the interplay of superfluidity and DW order.
acknowledgement: Open access funding provided by EPFL Lausanne.We acknowledge discussions
  with T. Donner and T. Esslinger. We thank G. del Pace and T. Bühler for their assistance
  in the final stages of the experiment. We acknowledge funding from the European
  Research Council under the European Union Horizon 2020 Research and Innovation Programme
  (Grant no. 714309) and the Swiss National Science Foundation (Grant no. 184654).
  F.M. acknowledges financial support from the Austrian Science Fund (Stand-Alone
  Project P 35891-N).
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Victor
  full_name: Helson, Victor
  last_name: Helson
- first_name: Timo
  full_name: Zwettler, Timo
  last_name: Zwettler
- first_name: Farokh
  full_name: Mivehvar, Farokh
  last_name: Mivehvar
- first_name: Elvia
  full_name: Colella, Elvia
  last_name: Colella
- first_name: Kevin Etienne Robert
  full_name: Roux, Kevin Etienne Robert
  id: 53f93ea2-803f-11ed-ab7e-b283135794ef
  last_name: Roux
- first_name: Hideki
  full_name: Konishi, Hideki
  last_name: Konishi
- first_name: Helmut
  full_name: Ritsch, Helmut
  last_name: Ritsch
- first_name: Jean Philippe
  full_name: Brantut, Jean Philippe
  last_name: Brantut
citation:
  ama: Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary
    Fermi gas with photon-mediated interactions. <i>Nature</i>. 2023;618:716-720.
    doi:<a href="https://doi.org/10.1038/s41586-023-06018-3">10.1038/s41586-023-06018-3</a>
  apa: Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi,
    H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with
    photon-mediated interactions. <i>Nature</i>. Springer Nature. <a href="https://doi.org/10.1038/s41586-023-06018-3">https://doi.org/10.1038/s41586-023-06018-3</a>
  chicago: Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne
    Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave
    Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” <i>Nature</i>.
    Springer Nature, 2023. <a href="https://doi.org/10.1038/s41586-023-06018-3">https://doi.org/10.1038/s41586-023-06018-3</a>.
  ieee: V. Helson <i>et al.</i>, “Density-wave ordering in a unitary Fermi gas with
    photon-mediated interactions,” <i>Nature</i>, vol. 618. Springer Nature, pp. 716–720,
    2023.
  ista: Helson V, Zwettler T, Mivehvar F, Colella E, Roux KER, Konishi H, Ritsch H,
    Brantut JP. 2023. Density-wave ordering in a unitary Fermi gas with photon-mediated
    interactions. Nature. 618, 716–720.
  mla: Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated
    Interactions.” <i>Nature</i>, vol. 618, Springer Nature, 2023, pp. 716–20, doi:<a
    href="https://doi.org/10.1038/s41586-023-06018-3">10.1038/s41586-023-06018-3</a>.
  short: V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi,
    H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
date_created: 2023-06-04T22:01:03Z
date_published: 2023-06-22T00:00:00Z
date_updated: 2023-11-14T13:02:50Z
day: '22'
ddc:
- '530'
department:
- _id: GeKa
doi: 10.1038/s41586-023-06018-3
external_id:
  isi:
  - '001001139300008'
file:
- access_level: open_access
  checksum: 4887a296e3b6f54e8c0b946cbfd24f49
  content_type: application/pdf
  creator: dernst
  date_created: 2023-11-14T13:00:19Z
  date_updated: 2023-11-14T13:00:19Z
  file_id: '14534'
  file_name: 2023_Nature_Helson.pdf
  file_size: 8156497
  relation: main_file
  success: 1
file_date_updated: 2023-11-14T13:00:19Z
has_accepted_license: '1'
intvolume: '       618'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 716-720
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
  issn:
  - 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 618
year: '2023'
...
---
_id: '13120'
abstract:
- lang: eng
  text: 'We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant.
    We defined basic notions of rewrite rules and of words derived by a grammar, and
    used grammars to show closure of the class of type-0 languages under four operations:
    union, reversal, concatenation, and the Kleene star. The literature mostly focuses
    on Turing machine arguments, which are possibly more difficult to formalize. For
    the Kleene star, we could not follow the literature and came up with our own grammar-based
    construction.'
acknowledgement: "Jasmin Blanchette: This research has received funding from the Netherlands
  Organization\r\nfor Scientific Research (NWO) under the Vidi program (project No.
  016.Vidi.189.037, Lean Forward).\r\n__\r\nWe thank Vladimir Kolmogorov for making
  this collaboration possible. We\r\nthank Václav Končický for discussing ideas about
  the Kleene star construction. We thank Patrick Johnson, Floris van Doorn, and Damiano
  Testa for their small yet very valuable contributions to our code. We thank Eric
  Wieser for simplifying one of our proofs. We thank Mark Summerfield for suggesting
  textual improvements. We thank the anonymous reviewers for very helpful comments.
  Finally, we thank the Lean community for helping us with various technical issues
  and answering many questions. "
alternative_title:
- LIPIcs
article_number: '15'
article_processing_charge: No
arxiv: 1
author:
- first_name: Martin
  full_name: Dvorak, Martin
  id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425
  last_name: Dvorak
  orcid: 0000-0001-5293-214X
- first_name: Jasmin
  full_name: Blanchette, Jasmin
  last_name: Blanchette
citation:
  ama: 'Dvorak M, Blanchette J. Closure properties of general grammars - formally
    verified. In: <i>14th International Conference on Interactive Theorem Proving</i>.
    Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href="https://doi.org/10.4230/LIPIcs.ITP.2023.15">10.4230/LIPIcs.ITP.2023.15</a>'
  apa: 'Dvorak, M., &#38; Blanchette, J. (2023). Closure properties of general grammars
    - formally verified. In <i>14th International Conference on Interactive Theorem
    Proving</i> (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik. <a href="https://doi.org/10.4230/LIPIcs.ITP.2023.15">https://doi.org/10.4230/LIPIcs.ITP.2023.15</a>'
  chicago: Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars
    - Formally Verified.” In <i>14th International Conference on Interactive Theorem
    Proving</i>, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
    <a href="https://doi.org/10.4230/LIPIcs.ITP.2023.15">https://doi.org/10.4230/LIPIcs.ITP.2023.15</a>.
  ieee: M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally
    verified,” in <i>14th International Conference on Interactive Theorem Proving</i>,
    Bialystok, Poland, 2023, vol. 268.
  ista: 'Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally
    verified. 14th International Conference on Interactive Theorem Proving. ITP: International
    Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 15.'
  mla: Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars
    - Formally Verified.” <i>14th International Conference on Interactive Theorem
    Proving</i>, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    2023, doi:<a href="https://doi.org/10.4230/LIPIcs.ITP.2023.15">10.4230/LIPIcs.ITP.2023.15</a>.
  short: M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive
    Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
conference:
  end_date: 2023-08-04
  location: Bialystok, Poland
  name: 'ITP: International Conference on Interactive Theorem Proving'
  start_date: 2023-07-31
date_created: 2023-06-05T07:29:05Z
date_published: 2023-07-27T00:00:00Z
date_updated: 2023-09-25T11:04:29Z
day: '27'
ddc:
- '000'
department:
- _id: GradSch
- _id: VlKo
doi: 10.4230/LIPIcs.ITP.2023.15
external_id:
  arxiv:
  - '2302.06420'
file:
- access_level: open_access
  checksum: 773a0197f05b67feaa6cb1e17ec3642d
  content_type: application/pdf
  creator: dernst
  date_created: 2023-08-07T11:55:43Z
  date_updated: 2023-08-07T11:55:43Z
  file_id: '13982'
  file_name: 2023_LIPIcS_Dvorak.pdf
  file_size: 715976
  relation: main_file
  success: 1
file_date_updated: 2023-08-07T11:55:43Z
has_accepted_license: '1'
intvolume: '       268'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: 14th International Conference on Interactive Theorem Proving
publication_identifier:
  eissn:
  - 1868-8969
  isbn:
  - '9783959772846'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
related_material:
  link:
  - relation: software
    url: https://github.com/madvorak/grammars/tree/publish
scopus_import: '1'
status: public
title: Closure properties of general grammars - formally verified
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 268
year: '2023'
...
