---
OA_place: publisher
_id: '20206'
abstract:
- lang: eng
  text: "The internal structure of biomolecules and their organization in higher-order
    arrangements are key factors governing the working principles of biological systems.
    Bioimaging has successfully revealed arrangements across relevant spatial scales.
    For example, cryo-electron tomography has become widely used for analyzing biomolecular
    structures in situ due to its comprehensive structural visualization of near-natively
    preserved samples, and its capability of sub-nm resolution via averaging. However,
    the identification of molecules within crowded cellular environments is often
    hindered by low contrast. Fluorescence microscopy, on the other hand, routinely
    visualizes specifically labeled targets at single-molecule contrast against essentially
    zero background. Moreover, it provides comparatively high throughput and is amenable
    to multiplexing. Due to this complementarity, combining datasets from both modalities
    acquired on the same region via correlative light and electron microscopy can
    reveal novel types of information. \r\nThe spatial scale at which information
    can be extracted depends on imaging resolution and correlation accuracy. Since
    diffraction of light limits the resolution of conventional fluorescence microscopy
    to few hundreds of nanometers, reaching the full potential of correlative imaging
    requires super-resolution approaches. Performing imaging at cryogenic temperature
    preserves structures in a near-native state and minimizes distortions between
    the fluorescence and the electron microscopy datasets. Implementations of this
    concept have achieved correlation on the scale of cellular organelles or bacterial
    domains.\r\nWe have worked towards pushing correlative imaging to the single-molecule
    scale by improving cryo-super-resolution microscopy, and devising a refined image
    correlation workflow. As part of this project, I constructed a microscopy setup
    and adopted it for super-resolution fluorescence microscopy at room temperature
    and cryogenic conditions. I explored different cryo-stages and acquisition strategies.
    Specifically, I developed a new scheme for correcting sample drift, thus increasing
    mechanical stability during microscopy acquisitions.\r\n"
acknowledged_ssus:
- _id: M-Shop
- _id: EM-Fac
- _id: Bio
acknowledgement: "The project was supported by CZI grant DAF2021-234754 and grant\r\nDOI:
  https://doi.org/10.37921/812628ebpcwg from the Chan Zuckerberg Initiative DAF, an\r\nadvised
  fund of Silicon Valley Community Foundation (funder\r\nDOI: https://doi.org/10.13039/100014989),
  as well as internal grants from ISTA’s Equipment\r\nInvestment Committee and Interdisciplinary
  Project Committee. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Jakob
  full_name: Vorlaufer, Jakob
  id: 937696FA-C996-11E9-8C7C-CF13E6697425
  last_name: Vorlaufer
  orcid: 0009-0000-7590-3501
citation:
  ama: Vorlaufer J. Construction of a cryo-super-resolution microscope to guide in
    situ structure analysis. 2025. doi:<a href="https://doi.org/10.15479/AT-ISTA-20206">10.15479/AT-ISTA-20206</a>
  apa: Vorlaufer, J. (2025). <i>Construction of a cryo-super-resolution microscope
    to guide in situ structure analysis</i>. Institute of Science and Technology Austria.
    <a href="https://doi.org/10.15479/AT-ISTA-20206">https://doi.org/10.15479/AT-ISTA-20206</a>
  chicago: Vorlaufer, Jakob. “Construction of a Cryo-Super-Resolution Microscope to
    Guide in Situ Structure Analysis.” Institute of Science and Technology Austria,
    2025. <a href="https://doi.org/10.15479/AT-ISTA-20206">https://doi.org/10.15479/AT-ISTA-20206</a>.
  ieee: J. Vorlaufer, “Construction of a cryo-super-resolution microscope to guide
    in situ structure analysis,” Institute of Science and Technology Austria, 2025.
  ista: Vorlaufer J. 2025. Construction of a cryo-super-resolution microscope to guide
    in situ structure analysis. Institute of Science and Technology Austria.
  mla: Vorlaufer, Jakob. <i>Construction of a Cryo-Super-Resolution Microscope to
    Guide in Situ Structure Analysis</i>. Institute of Science and Technology Austria,
    2025, doi:<a href="https://doi.org/10.15479/AT-ISTA-20206">10.15479/AT-ISTA-20206</a>.
  short: J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide
    in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-08-22T08:12:55Z
date_published: 2025-08-25T00:00:00Z
date_updated: 2026-04-07T11:48:07Z
day: '25'
ddc:
- '621'
- '535'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JoDa
doi: 10.15479/AT-ISTA-20206
file:
- access_level: closed
  checksum: 191db3367c19c9b32b65f4bc3a7c19de
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: jvorlauf
  date_created: 2025-08-25T13:49:55Z
  date_updated: 2025-08-25T13:49:55Z
  file_id: '20228'
  file_name: 2025_Vorlaufer_Jakob_Thesis.docx
  file_size: 39735535
  relation: source_file
- access_level: open_access
  checksum: 104400e6036921569610230c1d4899dc
  content_type: application/pdf
  creator: jvorlauf
  date_created: 2025-08-25T13:49:56Z
  date_updated: 2025-08-25T13:49:56Z
  file_id: '20229'
  file_name: 2025_Vorlaufer_Jakob_Thesis.pdf
  file_size: 10947446
  relation: main_file
  success: 1
file_date_updated: 2025-08-25T13:49:56Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '08'
oa: 1
oa_version: Published Version
page: '107'
project:
- _id: 62909c6f-2b32-11ec-9570-e1476aab5308
  grant_number: CZI01
  name: CryoMinflux-guided in-situ molecular census and structure determination
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '19795'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
title: Construction of a cryo-super-resolution microscope to guide in situ structure
  analysis
tmp:
  image: /images/cc_by_nc_sa.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
    BY-NC-SA 4.0)
  short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
_id: '20212'
acknowledged_ssus:
- _id: Bio
- _id: PreCl
acknowledgement: "I would also like to\r\nthank the Austrian Academy of Sciences for
  awarding me a 2-year DOC fellowship\r\n(DOC26253)."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Osvaldo
  full_name: Miranda, Osvaldo
  id: 862A3C56-A8BF-11E9-B4FA-D9E3E5697425
  last_name: Miranda
  orcid: 0000-0001-6618-6889
citation:
  ama: Miranda O. Unraveling the role of Pten in cortical stem cell lineage progression
    using MADM. 2025. doi:<a href="https://doi.org/10.15479/AT-ISTA-20212">10.15479/AT-ISTA-20212</a>
  apa: Miranda, O. (2025). <i>Unraveling the role of Pten in cortical stem cell lineage
    progression using MADM</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT-ISTA-20212">https://doi.org/10.15479/AT-ISTA-20212</a>
  chicago: Miranda, Osvaldo. “Unraveling the Role of Pten in Cortical Stem Cell Lineage
    Progression Using MADM.” Institute of Science and Technology Austria, 2025. <a
    href="https://doi.org/10.15479/AT-ISTA-20212">https://doi.org/10.15479/AT-ISTA-20212</a>.
  ieee: O. Miranda, “Unraveling the role of Pten in cortical stem cell lineage progression
    using MADM,” Institute of Science and Technology Austria, 2025.
  ista: Miranda O. 2025. Unraveling the role of Pten in cortical stem cell lineage
    progression using MADM. Institute of Science and Technology Austria.
  mla: Miranda, Osvaldo. <i>Unraveling the Role of Pten in Cortical Stem Cell Lineage
    Progression Using MADM</i>. Institute of Science and Technology Austria, 2025,
    doi:<a href="https://doi.org/10.15479/AT-ISTA-20212">10.15479/AT-ISTA-20212</a>.
  short: O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression
    Using MADM, Institute of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-08-22T14:07:00Z
date_published: 2025-08-22T00:00:00Z
date_updated: 2026-04-14T08:16:57Z
day: '22'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: SiHi
doi: 10.15479/AT-ISTA-20212
file:
- access_level: closed
  checksum: 3331f76bbef74ff4908e2d2c9262045c
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: omiranda
  date_created: 2025-08-26T09:03:50Z
  date_updated: 2025-08-26T09:03:50Z
  file_id: '20230'
  file_name: 2025_MirandaRomero_OsvaldoAntonio_Thesis.docx
  file_size: 32887334
  relation: source_file
- access_level: closed
  checksum: 02509d50cff8e35c5bcbf71e8d658176
  content_type: application/pdf
  creator: omiranda
  date_created: 2025-08-26T09:05:55Z
  date_updated: 2025-08-26T10:43:30Z
  embargo: 2026-08-26
  embargo_to: open_access
  file_id: '20231'
  file_name: 2025_MirandaRomero_OsvaldoAntonio_Thesis.pdf
  file_size: 28636240
  relation: main_file
file_date_updated: 2025-08-26T10:43:30Z
has_accepted_license: '1'
keyword:
- Pten
- mtor
- cortical development
- MADM
- Mapk
language:
- iso: eng
month: '08'
oa_version: Published Version
page: '119'
project:
- _id: 34c9fbcb-11ca-11ed-8bc3-98fa5658610d
  grant_number: '26253'
  name: Molecular Mechanisms Regulating Cortical Neural Stem Cell Lineage Progression
    and Astrocyte Development
publication_identifier:
  isbn:
  - 978-3-99078-063-3
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '17425'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
title: Unraveling the role of Pten in cortical stem cell lineage progression using
  MADM
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20217'
abstract:
- lang: eng
  text: "We present Virgil, a Mid-Infrared Instrument (MIRI) extremely red object
    detected with the F1000W filter as part of the MIRI Deep Imaging Survey observations
    of the Hubble Ultra Deep Field. Virgil is an Lyα emitter (LAE) at zspec = 6.6312
    ± 0.0019 (from the Very Large Telescope/MUSE) with a rest-frame UV-to-optical
    spectral energy distribution (SED) typical of LAEs at similar redshifts. However,
    MIRI observations reveal an unexpected extremely red color at rest-frame near-infrared
    (NIR) wavelengths, F444W − F1000W = 2.33 ± 0.06. Such a steep\r\nrise in the NIR,
    completely missed without MIRI imaging, is poorly reproduced by models including
    only stellar populations and hints toward the presence of an active galactic nucleus,
    although alternative explanations such as extreme dust obscuration and strong
    nebular continuum and emission lines contribution due to young stellar ages cannot
    be completely ruled out. According to the shape of its overall SED, Virgil belongs
    to the recently discovered\r\npopulation of little red dots but displays an extended
    rest-frame UV-optical wavelength morphology following a 2DSérsic profile with
    an average index of n = 0.93+0.85_0.31 and re = 0.49+0.05_0.11  pkpc. Only at
    MIRI wavelengths, Virgil is unresolved due to the coarser point-spread function.
    This discovery demonstrates the crucial importance of deep MIRI surveys to reveal
    the true nature and properties of high-z galaxies that otherwise would be misinterpreted
    and raises the question of how common Virgil-like objects could be in the early
    Universe."
acknowledgement: "The authors thank R. Cooper, G. Yang, V. Kokorev, D. Wen, C. Williams,
  and H. Übler for useful discussions and comments.\r\nE.I. and K.I.C. acknowledge
  funding from the Netherlands Research School for Astronomy (NOVA). K.I.C. acknowledges
  funding from the Dutch Research Council (NWO) through the award of the Vici grant
  VI.C.212.036. A.A.-H. acknowledges support from grant PID2021-124665NB-I00 funded
  by MCIN/AEI/10.13039/ 501100011033 and by “ERDF A way of making Europe.” P.G.P.-G.
  acknowledges support from grant PID2022-139567NB-I00 funded by the Spanish Ministerio
  de Ciencia e Innovación MCIN/AEI/10.13039/501100011033, FEDER Una manera de hacer
  Europa. J.A.-M., A.C.-G., and L.C. acknowledge support by grant PIB2021-127718NB-100
  from the Spanish Ministry of Science and Innovation/State Agency of Research MCIN/AEI/10.13039/501100011033
  and by “ERDF A way of making Europe.” L.C. thanks the support from the Cosmic Dawn
  Center received during visits to DAWN as an international associate. L.C. acknowledges
  support by grants PIB2021-127718NB-100 and PID2022-139567NB-I00 from the Spanish
  Ministry of Science and Innovation/State Agency of Research MCIN/AEI/10.13039/501100011033
  and by “ERDF A way of making Europe.” T.R.G. acknowledges support from the Carlsberg
  Foundation (grant No. CF20-0534). S.G. acknowledges financial support from the Cosmic
  Dawn Center (DAWN), funded by the Danish National Research Foundation (DNRF) under
  grant No. 140. This work was supported by research grants (VIL16599, VIL54489) from
  VILLUM FONDEN. J.P.P. and T.V.T. acknowledge financial support from the UK Science
  and Technology Facilities Council and the UK Space Agency.\r\n\r\nThis work is based
  on observations made with the NASA/ESA/CSA James Webb Space Telescope. The data
  were obtained from the MAST at the Space Telescope Science Institute, which is operated
  by the Association of Universities for Research in Astronomy, Inc., under NASA contract
  NAS 5-03127 for JWST. These observations are associated with programs GO #1963,
  GO #1895, and GTO #1283. The authors acknowledge the team led by co-PIs: C. Williams,
  M. Maseda, and S. Tacchella, and PI P. Oesch, for developing their respective observing
  programs with a zero-exclusive-access period. Also based on observations made with
  the NASA/ESA HST obtained from the Space Telescope Science Institute, which is operated
  by the Association of Universities for Research in Astronomy, Inc., under NASA contract
  NAS 5-26555. The work presented here is the effort of the entire MIRI team, and
  the enthusiasm within the MIRI partnership is a significant factor in its success.
  MIRI draws on the scientific and technical expertise of the following organizations:
  Ames Research Center, USA; Airbus Defence and Space, UK; CEA-Irfu, Saclay, France;
  Centre Spatial de Liège, Belgium; Consejo Superior de Investigaciones Científicas,
  Spain; Carl Zeiss Optronics, Germany; Chalmers University of Technology, Sweden;
  Danish Space Research Institute, Denmark; Dublin Institute for Advanced Studies,
  Ireland; European Space Agency, Netherlands; ETCA, Belgium; ETH Zurich, Switzerland;
  Goddard Space Flight Center, USA; Institute d’Astrophysique Spatiale, France; Instituto
  Nacional de Técnica Aeroespacial, Spain; Institute for Astronomy, Edinburgh, UK;
  Jet Propulsion Laboratory, USA; Laboratoire d’Astrophysique de Marseille (LAM),
  France; Leiden University, Netherlands; Lockheed Advanced Technology Center (USA);
  NOVA Opt-IR group at Dwingeloo, Netherlands; Northrop Grumman, USA; Max-Planck Institut
  für Astronomie (MPIA), Heidelberg, Germany; Laboratoire d’Etudes Spatiales et d’Instrumentation
  en Astrophysique (LESIA), France; Paul Scherrer Institut, Switzerland; Raytheon
  Vision Systems, USA; RUAG Aerospace, Switzerland; Rutherford Appleton Laboratory
  (RAL Space), UK; Space Telescope Science Institute, USA; Toegepast-Natuurwetenschappelijk
  Onderzoek (TNO-TPD), Netherlands; UK Astronomy Technology Centre, UK; University
  College London, UK; University of Amsterdam, Netherlands; University of Arizona,
  USA; University of Cardiff, UK; University of Cologne, Germany; University of Ghent;
  University of Groningen, Netherlands; University of Leicester, UK; University of
  Leuven, Belgium; University of Stockholm, Sweden; Utah State University, USA.\r\nFor
  the purpose of open access, the author has applied a Creative Commons Attribution
  (CC BY) licence to the Author Accepted Manuscript version arising from this submission."
article_number: '160'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Edoardo
  full_name: Iani, Edoardo
  id: 4053390a-6b68-11ef-9828-a3b8adef8d0a
  last_name: Iani
  orcid: 0000-0001-8386-3546
- first_name: Pierluigi
  full_name: Rinaldi, Pierluigi
  last_name: Rinaldi
- first_name: Karina I.
  full_name: Caputi, Karina I.
  last_name: Caputi
- first_name: Marianna
  full_name: Annunziatella, Marianna
  last_name: Annunziatella
- first_name: Danial
  full_name: Langeroodi, Danial
  last_name: Langeroodi
- first_name: Jens
  full_name: Melinder, Jens
  last_name: Melinder
- first_name: Pablo G.
  full_name: Pérez-González, Pablo G.
  last_name: Pérez-González
- first_name: Javier
  full_name: Álvarez-Márquez, Javier
  last_name: Álvarez-Márquez
- first_name: Leindert A.
  full_name: Boogaard, Leindert A.
  last_name: Boogaard
- first_name: Sarah E.I.
  full_name: Bosman, Sarah E.I.
  last_name: Bosman
- first_name: Luca
  full_name: Costantin, Luca
  last_name: Costantin
- first_name: Thibaud
  full_name: Moutard, Thibaud
  last_name: Moutard
- first_name: Luis
  full_name: Colina, Luis
  last_name: Colina
- first_name: Göran
  full_name: Östlin, Göran
  last_name: Östlin
- first_name: Thomas R.
  full_name: Greve, Thomas R.
  last_name: Greve
- first_name: Gillian
  full_name: Wright, Gillian
  last_name: Wright
- first_name: Almudena
  full_name: Alonso-Herrero, Almudena
  last_name: Alonso-Herrero
- first_name: Arjan
  full_name: Bik, Arjan
  last_name: Bik
- first_name: Steven
  full_name: Gillman, Steven
  last_name: Gillman
- first_name: Alejandro
  full_name: Crespo Gómez, Alejandro
  last_name: Crespo Gómez
- first_name: Jens
  full_name: Hjorth, Jens
  last_name: Hjorth
- first_name: Sarah
  full_name: Kendrew, Sarah
  last_name: Kendrew
- first_name: Alvaro
  full_name: Labiano, Alvaro
  last_name: Labiano
- first_name: John P.
  full_name: Pye, John P.
  last_name: Pye
- first_name: Tuomo V.
  full_name: Tikkanen, Tuomo V.
  last_name: Tikkanen
- first_name: Fabian
  full_name: Walter, Fabian
  last_name: Walter
- first_name: Manuel
  full_name: Güdel, Manuel
  last_name: Güdel
- first_name: Thomas
  full_name: Henning, Thomas
  last_name: Henning
- first_name: Paul P.
  full_name: Van Der Werf, Paul P.
  last_name: Van Der Werf
citation:
  ama: 'Iani E, Rinaldi P, Caputi KI, et al. MIDIS: MIRI uncovers Virgil, the first
    Little Red Dot with clear detection of its host galaxy at z ≃ 6.6. <i>The Astrophysical
    Journal</i>. 2025;989(2). doi:<a href="https://doi.org/10.3847/1538-4357/ade5a6">10.3847/1538-4357/ade5a6</a>'
  apa: 'Iani, E., Rinaldi, P., Caputi, K. I., Annunziatella, M., Langeroodi, D., Melinder,
    J., … Van Der Werf, P. P. (2025). MIDIS: MIRI uncovers Virgil, the first Little
    Red Dot with clear detection of its host galaxy at z ≃ 6.6. <i>The Astrophysical
    Journal</i>. IOP Publishing. <a href="https://doi.org/10.3847/1538-4357/ade5a6">https://doi.org/10.3847/1538-4357/ade5a6</a>'
  chicago: 'Iani, Edoardo, Pierluigi Rinaldi, Karina I. Caputi, Marianna Annunziatella,
    Danial Langeroodi, Jens Melinder, Pablo G. Pérez-González, et al. “MIDIS: MIRI
    Uncovers Virgil, the First Little Red Dot with Clear Detection of Its Host Galaxy
    at z ≃ 6.6.” <i>The Astrophysical Journal</i>. IOP Publishing, 2025. <a href="https://doi.org/10.3847/1538-4357/ade5a6">https://doi.org/10.3847/1538-4357/ade5a6</a>.'
  ieee: 'E. Iani <i>et al.</i>, “MIDIS: MIRI uncovers Virgil, the first Little Red
    Dot with clear detection of its host galaxy at z ≃ 6.6,” <i>The Astrophysical
    Journal</i>, vol. 989, no. 2. IOP Publishing, 2025.'
  ista: 'Iani E, Rinaldi P, Caputi KI, Annunziatella M, Langeroodi D, Melinder J,
    Pérez-González PG, Álvarez-Márquez J, Boogaard LA, Bosman SEI, Costantin L, Moutard
    T, Colina L, Östlin G, Greve TR, Wright G, Alonso-Herrero A, Bik A, Gillman S,
    Crespo Gómez A, Hjorth J, Kendrew S, Labiano A, Pye JP, Tikkanen TV, Walter F,
    Güdel M, Henning T, Van Der Werf PP. 2025. MIDIS: MIRI uncovers Virgil, the first
    Little Red Dot with clear detection of its host galaxy at z ≃ 6.6. The Astrophysical
    Journal. 989(2), 160.'
  mla: 'Iani, Edoardo, et al. “MIDIS: MIRI Uncovers Virgil, the First Little Red Dot
    with Clear Detection of Its Host Galaxy at z ≃ 6.6.” <i>The Astrophysical Journal</i>,
    vol. 989, no. 2, 160, IOP Publishing, 2025, doi:<a href="https://doi.org/10.3847/1538-4357/ade5a6">10.3847/1538-4357/ade5a6</a>.'
  short: E. Iani, P. Rinaldi, K.I. Caputi, M. Annunziatella, D. Langeroodi, J. Melinder,
    P.G. Pérez-González, J. Álvarez-Márquez, L.A. Boogaard, S.E.I. Bosman, L. Costantin,
    T. Moutard, L. Colina, G. Östlin, T.R. Greve, G. Wright, A. Alonso-Herrero, A.
    Bik, S. Gillman, A. Crespo Gómez, J. Hjorth, S. Kendrew, A. Labiano, J.P. Pye,
    T.V. Tikkanen, F. Walter, M. Güdel, T. Henning, P.P. Van Der Werf, The Astrophysical
    Journal 989 (2025).
date_created: 2025-08-24T22:01:29Z
date_published: 2025-08-20T00:00:00Z
date_updated: 2026-02-16T12:43:12Z
day: '20'
ddc:
- '520'
department:
- _id: JoMa
doi: 10.3847/1538-4357/ade5a6
external_id:
  arxiv:
  - '2406.18207'
  isi:
  - '001548132000001'
file:
- access_level: open_access
  checksum: 92196e8352dddb1f305c253da1996ab6
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T06:40:23Z
  date_updated: 2025-09-02T06:40:23Z
  file_id: '20268'
  file_name: 2025_AstrophysicalJour_Iani.pdf
  file_size: 5474992
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T06:40:23Z
has_accepted_license: '1'
intvolume: '       989'
isi: 1
issue: '2'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
  eissn:
  - 1538-4357
  issn:
  - 0004-637X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'MIDIS: MIRI uncovers Virgil, the first Little Red Dot with clear detection
  of its host galaxy at z ≃ 6.6'
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: 989
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20218'
abstract:
- lang: eng
  text: Humanity has long sought inspiration from nature to innovate materials and
    devices. As science advances, nature-inspired materials are becoming part of our
    lives. Animate materials, characterized by their activity, adaptability, and autonomy,
    emulate properties of living systems. While only biological materials fully embody
    these principles, artificial versions are advancing rapidly, promising transformative
    impacts in the circular economy, health and climate resilience within a generation.
    This roadmap presents authoritative perspectives on animate materials across different
    disciplines and scales, highlighting their interdisciplinary nature and potential
    applications in diverse fields including nanotechnology, robotics and the built
    environment. It underscores the need for concerted efforts to address shared challenges
    such as complexity management, scalability, evolvability, interdisciplinary collaboration,
    and ethical and environmental considerations. The framework defined by classifying
    materials based on their level of animacy can guide this emerging field to encourage
    cooperation and responsible development. By unravelling the mysteries of living
    matter and leveraging its principles, we can design materials and systems that
    will transform our world in a more sustainable manner.
acknowledgement: "Living Architecture is Funded by the EU Horizon 2020 Future Emerging
  Technologies Open programme (2016–2019) Grant Agreement 686585 a consortium of 6
  collaborating institutions—Newcastle University, University of Trento, University
  of the West of England, Spanish National Research Council, Explora Biotech and Liquifer
  Systems Group.\r\n\r\nThe Active Living Infrastructure: Controlled Environment (ALICE)
  project is funded by an EU Innovation Award for the development of a bio-digital
  ‘brick’ prototype, a collaboration between Newcastle University, Translating Nature,
  and the University of the West of England (2019–2021) under EU Grant Agreement No.
  851246.\r\n\r\nMicrobial Hydroponics: Circular Sustainable Electrobiosynthesis (Mi-Hy)
  is Funded by the European Union under Grant Agreement Number 101114746, which is
  a collaboration between Beneficiaries, KU Leuven (Belgium), the University of Southampton
  (UK), SONY Computer Science Laboratory (France), BioFaction KG (Austria), Spanish
  National Research Council (Spain), and Associated Partners, the University of the
  West of England (UK) and University of Southampton (UK). Mi-Hy is also supported
  through the interdisciplinary KU Leuven Institute for Cultural Heritage (HERKUL)."
article_number: '333501'
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Giorgio
  full_name: Volpe, Giorgio
  last_name: Volpe
- first_name: Nuno A.M.
  full_name: Araújo, Nuno A.M.
  last_name: Araújo
- first_name: Maria
  full_name: Guix, Maria
  last_name: Guix
- first_name: Mark
  full_name: Miodownik, Mark
  last_name: Miodownik
- first_name: Nicolas
  full_name: Martin, Nicolas
  last_name: Martin
- first_name: Laura
  full_name: Alvarez, Laura
  last_name: Alvarez
- first_name: Juliane
  full_name: Simmchen, Juliane
  last_name: Simmchen
- first_name: Roberto Di
  full_name: Leonardo, Roberto Di
  last_name: Leonardo
- first_name: Nicola
  full_name: Pellicciotta, Nicola
  last_name: Pellicciotta
- first_name: Quentin
  full_name: Martinet, Quentin
  id: b37485a8-d343-11eb-a0e9-df8c484ef8ab
  last_name: Martinet
  orcid: 0000-0002-2916-6632
- first_name: Jérémie A
  full_name: Palacci, Jérémie A
  id: 8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d
  last_name: Palacci
  orcid: 0000-0002-7253-9465
- first_name: Wai Kit
  full_name: Ng, Wai Kit
  last_name: Ng
- first_name: Dhruv
  full_name: Saxena, Dhruv
  last_name: Saxena
- first_name: Riccardo
  full_name: Sapienza, Riccardo
  last_name: Sapienza
- first_name: Sara
  full_name: Nadine, Sara
  last_name: Nadine
- first_name: João F.
  full_name: Mano, João F.
  last_name: Mano
- first_name: Reza
  full_name: Mahdavi, Reza
  last_name: Mahdavi
- first_name: Caroline
  full_name: Beck Adiels, Caroline
  last_name: Beck Adiels
- first_name: Joe
  full_name: Forth, Joe
  last_name: Forth
- first_name: Christian
  full_name: Santangelo, Christian
  last_name: Santangelo
- first_name: Stefano
  full_name: Palagi, Stefano
  last_name: Palagi
- first_name: Ji Min
  full_name: Seok, Ji Min
  last_name: Seok
- first_name: Victoria A.
  full_name: Webster-Wood, Victoria A.
  last_name: Webster-Wood
- first_name: Shuhong
  full_name: Wang, Shuhong
  last_name: Wang
- first_name: Lining
  full_name: Yao, Lining
  last_name: Yao
- first_name: Amirreza
  full_name: Aghakhani, Amirreza
  last_name: Aghakhani
- first_name: Thomas
  full_name: Barois, Thomas
  last_name: Barois
- first_name: Hamid
  full_name: Kellay, Hamid
  last_name: Kellay
- first_name: Corentin
  full_name: Coulais, Corentin
  last_name: Coulais
- first_name: Martin
  full_name: Van Hecke, Martin
  last_name: Van Hecke
- first_name: Christopher J.
  full_name: Pierce, Christopher J.
  last_name: Pierce
- first_name: Tianyu
  full_name: Wang, Tianyu
  last_name: Wang
- first_name: Baxi
  full_name: Chong, Baxi
  last_name: Chong
- first_name: Daniel I.
  full_name: Goldman, Daniel I.
  last_name: Goldman
- first_name: Andreagiovanni
  full_name: Reina, Andreagiovanni
  last_name: Reina
- first_name: Vito
  full_name: Trianni, Vito
  last_name: Trianni
- first_name: Giovanni
  full_name: Volpe, Giovanni
  last_name: Volpe
- first_name: Richard
  full_name: Beckett, Richard
  last_name: Beckett
- first_name: Sean P.
  full_name: Nair, Sean P.
  last_name: Nair
- first_name: Rachel
  full_name: Armstrong, Rachel
  last_name: Armstrong
citation:
  ama: Volpe G, Araújo NAM, Guix M, et al. Roadmap for animate matter. <i>Journal
    of Physics Condensed Matter</i>. 2025;37(33). doi:<a href="https://doi.org/10.1088/1361-648X/adebd3">10.1088/1361-648X/adebd3</a>
  apa: Volpe, G., Araújo, N. A. M., Guix, M., Miodownik, M., Martin, N., Alvarez,
    L., … Armstrong, R. (2025). Roadmap for animate matter. <i>Journal of Physics
    Condensed Matter</i>. IOP Publishing. <a href="https://doi.org/10.1088/1361-648X/adebd3">https://doi.org/10.1088/1361-648X/adebd3</a>
  chicago: Volpe, Giorgio, Nuno A.M. Araújo, Maria Guix, Mark Miodownik, Nicolas Martin,
    Laura Alvarez, Juliane Simmchen, et al. “Roadmap for Animate Matter.” <i>Journal
    of Physics Condensed Matter</i>. IOP Publishing, 2025. <a href="https://doi.org/10.1088/1361-648X/adebd3">https://doi.org/10.1088/1361-648X/adebd3</a>.
  ieee: G. Volpe <i>et al.</i>, “Roadmap for animate matter,” <i>Journal of Physics
    Condensed Matter</i>, vol. 37, no. 33. IOP Publishing, 2025.
  ista: Volpe G, Araújo NAM, Guix M, Miodownik M, Martin N, Alvarez L, Simmchen J,
    Leonardo RD, Pellicciotta N, Martinet Q, Palacci JA, Ng WK, Saxena D, Sapienza
    R, Nadine S, Mano JF, Mahdavi R, Beck Adiels C, Forth J, Santangelo C, Palagi
    S, Seok JM, Webster-Wood VA, Wang S, Yao L, Aghakhani A, Barois T, Kellay H, Coulais
    C, Van Hecke M, Pierce CJ, Wang T, Chong B, Goldman DI, Reina A, Trianni V, Volpe
    G, Beckett R, Nair SP, Armstrong R. 2025. Roadmap for animate matter. Journal
    of Physics Condensed Matter. 37(33), 333501.
  mla: Volpe, Giorgio, et al. “Roadmap for Animate Matter.” <i>Journal of Physics
    Condensed Matter</i>, vol. 37, no. 33, 333501, IOP Publishing, 2025, doi:<a href="https://doi.org/10.1088/1361-648X/adebd3">10.1088/1361-648X/adebd3</a>.
  short: G. Volpe, N.A.M. Araújo, M. Guix, M. Miodownik, N. Martin, L. Alvarez, J.
    Simmchen, R.D. Leonardo, N. Pellicciotta, Q. Martinet, J.A. Palacci, W.K. Ng,
    D. Saxena, R. Sapienza, S. Nadine, J.F. Mano, R. Mahdavi, C. Beck Adiels, J. Forth,
    C. Santangelo, S. Palagi, J.M. Seok, V.A. Webster-Wood, S. Wang, L. Yao, A. Aghakhani,
    T. Barois, H. Kellay, C. Coulais, M. Van Hecke, C.J. Pierce, T. Wang, B. Chong,
    D.I. Goldman, A. Reina, V. Trianni, G. Volpe, R. Beckett, S.P. Nair, R. Armstrong,
    Journal of Physics Condensed Matter 37 (2025).
date_created: 2025-08-24T22:01:30Z
date_published: 2025-08-18T00:00:00Z
date_updated: 2025-09-30T14:25:12Z
day: '18'
ddc:
- '530'
department:
- _id: JePa
doi: 10.1088/1361-648X/adebd3
external_id:
  arxiv:
  - '2407.10623'
  isi:
  - '001550090200001'
file:
- access_level: open_access
  checksum: 7309274f78bed785b158bd290337f456
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T07:22:48Z
  date_updated: 2025-09-02T07:22:48Z
  file_id: '20271'
  file_name: 2025_CondensedMatter_Volpe.pdf
  file_size: 8997829
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T07:22:48Z
has_accepted_license: '1'
intvolume: '        37'
isi: 1
issue: '33'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: Journal of Physics Condensed Matter
publication_identifier:
  eissn:
  - 1361-648X
  issn:
  - 0953-8984
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Roadmap for animate matter
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 37
year: '2025'
...
---
OA_type: closed access
_id: '20219'
abstract:
- lang: eng
  text: Reproduction is a fundamental biological process, with organisms reproducing
    sexually, asexually, and, in some cases, utilizing both modes of reproduction
    within the same population. Does the ability to reproduce through a combination
    of asexual and sexual modes offer an evolutionary advantage over relying on either
    mode alone? Here, we introduce an empirically driven theoretical model to examine
    the dynamics and interplay between sexual and asexual reproduction in stick insect
    populations. We analyse it using a novel phase transition approach and corroborate
    it using published experimental data. We find that the presence of males can either
    increase or decrease the overall population size. However, maintaining an optimal
    ratio of parthenogenetic to sexual reproduction is crucial for male resilience,
    effectively delaying male extinction. Conversely, extreme levels of parthenogenetic
    reproduction—whether too high or too low—can lead to male extinction, emphasizing
    the need for a balanced number of virgin females to ensure the persistence of
    males. Our model also explains male absence in Carausius morosus and persistence
    in Extatosoma tiaratum. Our findings provide valuable insights into the interplay
    of reproductive strategies and contribute to broader discussions on the transitions
    between sexual and asexual reproduction.
acknowledgement: We acknowledge Prof. Uri Alon for introducing us to the topic of
  systems biology during the graduate course at the Weizmann Institute of Science,
  whose insights and teachings have greatly inspired this work.
article_number: '20250202'
article_processing_charge: No
article_type: original
author:
- first_name: Oran
  full_name: Ayalon, Oran
  last_name: Ayalon
- first_name: Harikrishnan
  full_name: Rajendran, Harikrishnan
  id: 876b6b34-8ff4-11ec-97c9-8d95a7aae416
  last_name: Rajendran
citation:
  ama: Ayalon O, Rajendran H. Interplay of asexual and sexual reproduction in bifunctional
    insects. <i>Journal of the Royal Society Interface</i>. 2025;22(229). doi:<a href="https://doi.org/10.1098/rsif.2025.0202">10.1098/rsif.2025.0202</a>
  apa: Ayalon, O., &#38; Rajendran, H. (2025). Interplay of asexual and sexual reproduction
    in bifunctional insects. <i>Journal of the Royal Society Interface</i>. The Royal
    Society. <a href="https://doi.org/10.1098/rsif.2025.0202">https://doi.org/10.1098/rsif.2025.0202</a>
  chicago: Ayalon, Oran, and Harikrishnan Rajendran. “Interplay of Asexual and Sexual
    Reproduction in Bifunctional Insects.” <i>Journal of the Royal Society Interface</i>.
    The Royal Society, 2025. <a href="https://doi.org/10.1098/rsif.2025.0202">https://doi.org/10.1098/rsif.2025.0202</a>.
  ieee: O. Ayalon and H. Rajendran, “Interplay of asexual and sexual reproduction
    in bifunctional insects,” <i>Journal of the Royal Society Interface</i>, vol.
    22, no. 229. The Royal Society, 2025.
  ista: Ayalon O, Rajendran H. 2025. Interplay of asexual and sexual reproduction
    in bifunctional insects. Journal of the Royal Society Interface. 22(229), 20250202.
  mla: Ayalon, Oran, and Harikrishnan Rajendran. “Interplay of Asexual and Sexual
    Reproduction in Bifunctional Insects.” <i>Journal of the Royal Society Interface</i>,
    vol. 22, no. 229, 20250202, The Royal Society, 2025, doi:<a href="https://doi.org/10.1098/rsif.2025.0202">10.1098/rsif.2025.0202</a>.
  short: O. Ayalon, H. Rajendran, Journal of the Royal Society Interface 22 (2025).
corr_author: '1'
date_created: 2025-08-24T22:01:30Z
date_published: 2025-08-13T00:00:00Z
date_updated: 2025-09-30T14:24:40Z
day: '13'
department:
- _id: SyCr
doi: 10.1098/rsif.2025.0202
external_id:
  isi:
  - '001548084900001'
  pmid:
  - '40799050'
intvolume: '        22'
isi: 1
issue: '229'
language:
- iso: eng
month: '08'
oa_version: None
pmid: 1
publication: Journal of the Royal Society Interface
publication_identifier:
  eissn:
  - 1742-5662
  issn:
  - 1742-5689
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Interplay of asexual and sexual reproduction in bifunctional insects
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 22
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '20220'
abstract:
- lang: eng
  text: Stress granules (SG) are biomolecular condensates that represent an adaptive
    response of cells to various stresses, including heat. However, the cell type–specific
    function and relevance of SG formation, especially during reproductive development,
    are largely not understood. Here, we show that the meiotic A-type cyclin TARDY
    ASYNCHRONOUS MEIOSIS (TAM) is recruited to SGs in male meiocytes of Arabidopsis
    after exposure to heat. We find that the amino terminus of TAM is necessary and
    sufficient for the localization of proteins to meiotic SGs. Swapping the amino
    terminus of TAM with the one of its sister protein CYCA1;1 resulted in a separation-of-function
    allele of TAM, which prevents the partitioning of TAM to SGs while restoring a
    wild-type phenotype in a tam mutant background under nonheat stress conditions.
    Notably, plants expressing this TAM version prematurely terminate meiosis under
    heat resulting in unreduced gametes. Thus, the formation of TAM-containing SGs
    is necessary for genome stability under heat stress.
acknowledged_ssus:
- _id: Bio
acknowledgement: "We thank L. Strader (Duke University, Durham) and A. Holehouse (Washington
  University, Saint Louis) for discussion and input in LLPS. We thank T. Nakagawa
  (Shimane University, Matsue) for providing the pGWB604 Gateway vector containing
  bar gene identified by Meiji Seika Kaisha Ltd. We thank M. Heese (Hamburg University)
  for the critical reading and comments on this manuscript. We further thank J. Mehrmann
  (Hamburg University) for technical assistance. We thank the ISTA imaging facility
  for assistance for microscopy.\r\nThis project has received funding from JST-PRESTO
  (JPMJPR18H7), JST-CREST (JPMJCR18H4), European Union’s Horizon 2020 under MSCA grant
  101034413, and a federal grant from the state of Hamburg (LFF-BiCon)."
article_processing_charge: Yes
article_type: original
author:
- first_name: Joke G
  full_name: De Jaeger-Braet, Joke G
  id: 26bd38d3-c59a-11ee-a1af-d7a988cafcc5
  last_name: De Jaeger-Braet
- first_name: Merle
  full_name: Hartmann, Merle
  last_name: Hartmann
- first_name: Lev
  full_name: Böttger, Lev
  last_name: Böttger
- first_name: Chao
  full_name: Yang, Chao
  id: 082e3e6e-8069-11ed-8390-c8cce7b1aaca
  last_name: Yang
- first_name: Takahiro
  full_name: Hamada, Takahiro
  last_name: Hamada
- first_name: Stefan
  full_name: Hoth, Stefan
  last_name: Hoth
- first_name: Xiaoqi
  full_name: Feng, Xiaoqi
  id: e0164712-22ee-11ed-b12a-d80fcdf35958
  last_name: Feng
  orcid: 0000-0002-4008-1234
- first_name: Magdalena
  full_name: Weingartner, Magdalena
  last_name: Weingartner
- first_name: Arp
  full_name: Schnittger, Arp
  last_name: Schnittger
citation:
  ama: De Jaeger-Braet JG, Hartmann M, Böttger L, et al. The recruitment of the A-type
    cyclin TAM to stress granules is crucial for meiotic fidelity under heat. <i>Science
    Advances</i>. 2025;11(32):eadr5694. doi:<a href="https://doi.org/10.1126/sciadv.adr5694">10.1126/sciadv.adr5694</a>
  apa: De Jaeger-Braet, J. G., Hartmann, M., Böttger, L., Yang, C., Hamada, T., Hoth,
    S., … Schnittger, A. (2025). The recruitment of the A-type cyclin TAM to stress
    granules is crucial for meiotic fidelity under heat. <i>Science Advances</i>.
    AAAS. <a href="https://doi.org/10.1126/sciadv.adr5694">https://doi.org/10.1126/sciadv.adr5694</a>
  chicago: De Jaeger-Braet, Joke G, Merle Hartmann, Lev Böttger, Chao Yang, Takahiro
    Hamada, Stefan Hoth, Xiaoqi Feng, Magdalena Weingartner, and Arp Schnittger. “The
    Recruitment of the A-Type Cyclin TAM to Stress Granules Is Crucial for Meiotic
    Fidelity under Heat.” <i>Science Advances</i>. AAAS, 2025. <a href="https://doi.org/10.1126/sciadv.adr5694">https://doi.org/10.1126/sciadv.adr5694</a>.
  ieee: J. G. De Jaeger-Braet <i>et al.</i>, “The recruitment of the A-type cyclin
    TAM to stress granules is crucial for meiotic fidelity under heat,” <i>Science
    Advances</i>, vol. 11, no. 32. AAAS, p. eadr5694, 2025.
  ista: De Jaeger-Braet JG, Hartmann M, Böttger L, Yang C, Hamada T, Hoth S, Feng
    X, Weingartner M, Schnittger A. 2025. The recruitment of the A-type cyclin TAM
    to stress granules is crucial for meiotic fidelity under heat. Science Advances.
    11(32), eadr5694.
  mla: De Jaeger-Braet, Joke G., et al. “The Recruitment of the A-Type Cyclin TAM
    to Stress Granules Is Crucial for Meiotic Fidelity under Heat.” <i>Science Advances</i>,
    vol. 11, no. 32, AAAS, 2025, p. eadr5694, doi:<a href="https://doi.org/10.1126/sciadv.adr5694">10.1126/sciadv.adr5694</a>.
  short: J.G. De Jaeger-Braet, M. Hartmann, L. Böttger, C. Yang, T. Hamada, S. Hoth,
    X. Feng, M. Weingartner, A. Schnittger, Science Advances 11 (2025) eadr5694.
date_created: 2025-08-24T22:01:30Z
date_published: 2025-08-08T00:00:00Z
date_updated: 2025-09-30T14:24:10Z
day: '08'
ddc:
- '580'
department:
- _id: XiFe
doi: 10.1126/sciadv.adr5694
ec_funded: 1
external_id:
  isi:
  - '001549102600016'
file:
- access_level: open_access
  checksum: 0f1ae246acc9b075f01bf4afe382c8ba
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T07:05:37Z
  date_updated: 2025-09-02T07:05:37Z
  file_id: '20270'
  file_name: 2025_ScienceAdvance_DeJaegerBraet.pdf
  file_size: 10876817
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T07:05:37Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
issue: '32'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: eadr5694
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
publication: Science Advances
publication_identifier:
  eissn:
  - 2375-2548
publication_status: published
publisher: AAAS
quality_controlled: '1'
scopus_import: '1'
status: public
title: The recruitment of the A-type cyclin TAM to stress granules is crucial for
  meiotic fidelity under heat
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
  short: CC BY-NC (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 11
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20221'
abstract:
- lang: eng
  text: We describe the design, synthesis, and single-molecule junction conductance
    of π-electron molecules bearing both radial and linear π-conjugation pathways,
    whereby cycloparaphenylene (CPP) radial cores are π-extended linearly with aryl
    alkyne substituents as models for previously reported CPP-arylene ethynylene conjugated
    polymers. Although radially and linearly conjugated molecules have been studied
    previously in isolation as junction-bridging molecular electronic units, this
    is the first study to examine molecules where both topologies are operative. Our
    results reveal that the presence of radial CPP components within the junction-spanning
    pathway leads to a reduction in the conductance of the backbone compared to model
    linear phenyl substituents. Through tight-binding and DFT-based calculations,
    we attribute this conductance change to intramolecular van der Waals (vdW) interactions
    between the CPP ring and the junction-spanning arylene-ethynylene molecular backbone.
    These interactions induce changes in the dihedral angles of the backbone, leading
    to a reduced overlap of π orbitals within the molecular junction.
acknowledgement: We thank Prof. Volker Blum for useful discussions. We thank the Department
  of Energy Office of Basic Energy Science (DE-SC0019017) and the National Science
  Foundation (NSF-DMR 2241180) for supporting this research. This work was supported
  in part by the Institute of Science and Technology Austria.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Wanzhuo
  full_name: Shi, Wanzhuo
  id: a3010425-87c8-11f0-8106-bec32bea74da
  last_name: Shi
- first_name: Mengjiao
  full_name: Wang, Mengjiao
  last_name: Wang
- first_name: Latha
  full_name: Venkataraman, Latha
  id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
  last_name: Venkataraman
  orcid: 0000-0002-6957-6089
- first_name: John D.
  full_name: Tovar, John D.
  last_name: Tovar
citation:
  ama: Shi W, Wang M, Venkataraman L, Tovar JD. Single-molecule conductance through
    hybrid radially and linearly π-conjugated macromolecules reveals an unusual intramolecular
    π-interaction. <i>Nano Letters</i>. 2025;25(31):12101-12106. doi:<a href="https://doi.org/10.1021/acs.nanolett.5c03693">10.1021/acs.nanolett.5c03693</a>
  apa: Shi, W., Wang, M., Venkataraman, L., &#38; Tovar, J. D. (2025). Single-molecule
    conductance through hybrid radially and linearly π-conjugated macromolecules reveals
    an unusual intramolecular π-interaction. <i>Nano Letters</i>. American Chemical
    Society. <a href="https://doi.org/10.1021/acs.nanolett.5c03693">https://doi.org/10.1021/acs.nanolett.5c03693</a>
  chicago: Shi, Wanzhuo, Mengjiao Wang, Latha Venkataraman, and John D. Tovar. “Single-Molecule
    Conductance through Hybrid Radially and Linearly π-Conjugated Macromolecules Reveals
    an Unusual Intramolecular π-Interaction.” <i>Nano Letters</i>. American Chemical
    Society, 2025. <a href="https://doi.org/10.1021/acs.nanolett.5c03693">https://doi.org/10.1021/acs.nanolett.5c03693</a>.
  ieee: W. Shi, M. Wang, L. Venkataraman, and J. D. Tovar, “Single-molecule conductance
    through hybrid radially and linearly π-conjugated macromolecules reveals an unusual
    intramolecular π-interaction,” <i>Nano Letters</i>, vol. 25, no. 31. American
    Chemical Society, pp. 12101–12106, 2025.
  ista: Shi W, Wang M, Venkataraman L, Tovar JD. 2025. Single-molecule conductance
    through hybrid radially and linearly π-conjugated macromolecules reveals an unusual
    intramolecular π-interaction. Nano Letters. 25(31), 12101–12106.
  mla: Shi, Wanzhuo, et al. “Single-Molecule Conductance through Hybrid Radially and
    Linearly π-Conjugated Macromolecules Reveals an Unusual Intramolecular π-Interaction.”
    <i>Nano Letters</i>, vol. 25, no. 31, American Chemical Society, 2025, pp. 12101–06,
    doi:<a href="https://doi.org/10.1021/acs.nanolett.5c03693">10.1021/acs.nanolett.5c03693</a>.
  short: W. Shi, M. Wang, L. Venkataraman, J.D. Tovar, Nano Letters 25 (2025) 12101–12106.
corr_author: '1'
date_created: 2025-08-24T22:01:30Z
date_published: 2025-07-24T00:00:00Z
date_updated: 2025-09-30T14:23:39Z
day: '24'
ddc:
- '540'
department:
- _id: LaVe
doi: 10.1021/acs.nanolett.5c03693
external_id:
  isi:
  - '001537145800001'
  pmid:
  - '40707400'
file:
- access_level: open_access
  checksum: bfc167d8904c0c47c3de2a8d0ec699d5
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T06:50:11Z
  date_updated: 2025-09-02T06:50:11Z
  file_id: '20269'
  file_name: 2025_NanoLetters_Shi.pdf
  file_size: 3212706
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T06:50:11Z
has_accepted_license: '1'
intvolume: '        25'
isi: 1
issue: '31'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 12101-12106
pmid: 1
publication: Nano Letters
publication_identifier:
  eissn:
  - 1530-6992
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Single-molecule conductance through hybrid radially and linearly π-conjugated
  macromolecules reveals an unusual intramolecular π-interaction
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 25
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20223'
abstract:
- lang: eng
  text: The first influential hypothesis for sex chromosome evolution was proposed
    in 1914 by H. J. Muller, who argued that once recombination was suppressed between
    the X and Y chromosomes, Y-linked genes become “sheltered” from selection, leading
    to accumulation of recessive loss-of-function (LOF) mutations and decay of Y-linked
    genes. The hypothesis fell out of favor in the 1970s because early mathematical
    models failed to support it and data on the dominance of lethal mutations were
    viewed as incompatible with the hypothesis. We reevaluate the main arguments against
    Muller's hypothesis and find that they do not conclusively exclude a role for
    sheltering in sex chromosome evolution. By relaxing restrictive assumptions of
    earlier models, we show that sheltering promotes fixation of LOF mutations with
    sexually dimorphic fitness effects, resulting in decay of X-linked genes that
    are exclusively expressed by males and Y-linked genes that are primarily, though
    not necessarily exclusively, expressed by females. We further show that drift
    and other processes contributing to Y degeneration (i.e. selective interference
    and regulatory evolution) expand conditions of Y-linked gene loss by sheltering.
    The actual contribution of sheltering to sex chromosome evolution hinges upon
    the distribution of dominance and sex-specific fitness effects of LOF mutations,
    which we discuss.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: We thank Filip Ruzicka, Colin Olito, Akane Uesugi, Melissa Toups,
  Daniel Jeffries, the Associate Editor, and anonymous reviewers, for comments and
  suggestions on earlier versions of the paper. We are particularly grateful to Deborah
  Charlesworth and Brian Charlesworth for extensive comments on two different drafts
  of the manuscript. We also thank Aneil Agrawal and Thomas Lenormand for email correspondence
  about the data on dominance and ways to interpret it. Technical support was provided
  by ISTA Scientific Computing Unit.
article_number: msaf177
article_processing_charge: Yes
article_type: original
author:
- first_name: Andrea
  full_name: Mrnjavac, Andrea
  id: 353FAC84-AE61-11E9-8BFC-00D3E5697425
  last_name: Mrnjavac
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
- first_name: Tim
  full_name: Connallon, Tim
  last_name: Connallon
citation:
  ama: Mrnjavac A, Vicoso B, Connallon T. An extension of Muller’s sheltering hypothesis
    for the evolution of sex chromosome gene content. <i>Molecular Biology and Evolution</i>.
    2025;42(8). doi:<a href="https://doi.org/10.1093/molbev/msaf177">10.1093/molbev/msaf177</a>
  apa: Mrnjavac, A., Vicoso, B., &#38; Connallon, T. (2025). An extension of Muller’s
    sheltering hypothesis for the evolution of sex chromosome gene content. <i>Molecular
    Biology and Evolution</i>. Oxford University Press. <a href="https://doi.org/10.1093/molbev/msaf177">https://doi.org/10.1093/molbev/msaf177</a>
  chicago: Mrnjavac, Andrea, Beatriz Vicoso, and Tim Connallon. “An Extension of Muller’s
    Sheltering Hypothesis for the Evolution of Sex Chromosome Gene Content.” <i>Molecular
    Biology and Evolution</i>. Oxford University Press, 2025. <a href="https://doi.org/10.1093/molbev/msaf177">https://doi.org/10.1093/molbev/msaf177</a>.
  ieee: A. Mrnjavac, B. Vicoso, and T. Connallon, “An extension of Muller’s sheltering
    hypothesis for the evolution of sex chromosome gene content,” <i>Molecular Biology
    and Evolution</i>, vol. 42, no. 8. Oxford University Press, 2025.
  ista: Mrnjavac A, Vicoso B, Connallon T. 2025. An extension of Muller’s sheltering
    hypothesis for the evolution of sex chromosome gene content. Molecular Biology
    and Evolution. 42(8), msaf177.
  mla: Mrnjavac, Andrea, et al. “An Extension of Muller’s Sheltering Hypothesis for
    the Evolution of Sex Chromosome Gene Content.” <i>Molecular Biology and Evolution</i>,
    vol. 42, no. 8, msaf177, Oxford University Press, 2025, doi:<a href="https://doi.org/10.1093/molbev/msaf177">10.1093/molbev/msaf177</a>.
  short: A. Mrnjavac, B. Vicoso, T. Connallon, Molecular Biology and Evolution 42
    (2025).
date_created: 2025-08-24T22:01:31Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-09-30T14:25:57Z
day: '01'
ddc:
- '570'
department:
- _id: BeVi
doi: 10.1093/molbev/msaf177
external_id:
  isi:
  - '001547617100001'
  pmid:
  - '40713898'
file:
- access_level: open_access
  checksum: f40abffa56cb1e9ff65800f2a7d7b39a
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T07:47:32Z
  date_updated: 2025-09-02T07:47:32Z
  file_id: '20274'
  file_name: 2025_MolecularBioEvolution_Mrnjavac.pdf
  file_size: 1239841
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T07:47:32Z
has_accepted_license: '1'
intvolume: '        42'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Molecular Biology and Evolution
publication_identifier:
  eissn:
  - 1537-1719
  issn:
  - 0737-4038
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
related_material:
  link:
  - relation: software
    url: https://git.ista.ac.at/bvicoso/xydegenerate
scopus_import: '1'
status: public
title: An extension of Muller's sheltering hypothesis for the evolution of sex chromosome
  gene content
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 42
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20224'
abstract:
- lang: eng
  text: "Traffic in datacenters may follow some pattern: some pairs of servers communicate
    more frequently than others. Demand-oblivious networks may perform poorly for
    such workloads, and demand-aware networks optimized for traffic should be used
    instead. Unfortunately, not all shapes of networks are feasible in real hardware.
    Practical limitations are usually provided in the form of a topology. For example,
    a network may be required to be a binary tree, a bounded-degree graph or a Fat
    tree.\r\nIn this work, we consider a topology of a binary tree, one of the most
    fundamental network topologies. We show that already finding an optimal demand-aware
    binary tree network is NP-hard. Then, we explore how various optimization techniques,
    including simple local searches, as well as deterministic mutation and crossover
    operators, cope with generating efficient tree networks on real-life and synthetic
    workloads."
acknowledgement: Research was supported by the German Research Foundation (DFG), grant
  470029389 (FlexNets).
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Pavel
  full_name: Martynov, Pavel
  last_name: Martynov
- first_name: Maxim
  full_name: Buzdalov, Maxim
  last_name: Buzdalov
- first_name: Sergei
  full_name: Pankratov, Sergei
  id: f773bf05-72ef-11ef-b75a-a383d22f454b
  last_name: Pankratov
- first_name: Vitaliy
  full_name: Aksenov, Vitaliy
  last_name: Aksenov
- first_name: Stefan
  full_name: Schmid, Stefan
  last_name: Schmid
citation:
  ama: 'Martynov P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. In the search of
    optimal tree networks: Hardness and heuristics. In: <i>Proceedings of the 2025
    Genetic and Evolutionary Computation Conference</i>. Association for Computing
    Machinery; 2025:249-257. doi:<a href="https://doi.org/10.1145/3712256.3726425">10.1145/3712256.3726425</a>'
  apa: 'Martynov, P., Buzdalov, M., Pankratov, S., Aksenov, V., &#38; Schmid, S. (2025).
    In the search of optimal tree networks: Hardness and heuristics. In <i>Proceedings
    of the 2025 Genetic and Evolutionary Computation Conference</i> (pp. 249–257).
    Malaga, Spain: Association for Computing Machinery. <a href="https://doi.org/10.1145/3712256.3726425">https://doi.org/10.1145/3712256.3726425</a>'
  chicago: 'Martynov, Pavel, Maxim Buzdalov, Sergei Pankratov, Vitaliy Aksenov, and
    Stefan Schmid. “In the Search of Optimal Tree Networks: Hardness and Heuristics.”
    In <i>Proceedings of the 2025 Genetic and Evolutionary Computation Conference</i>,
    249–57. Association for Computing Machinery, 2025. <a href="https://doi.org/10.1145/3712256.3726425">https://doi.org/10.1145/3712256.3726425</a>.'
  ieee: 'P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, and S. Schmid, “In the
    search of optimal tree networks: Hardness and heuristics,” in <i>Proceedings of
    the 2025 Genetic and Evolutionary Computation Conference</i>, Malaga, Spain, 2025,
    pp. 249–257.'
  ista: 'Martynov P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. 2025. In the search
    of optimal tree networks: Hardness and heuristics. Proceedings of the 2025 Genetic
    and Evolutionary Computation Conference. GECCO: Genetic and evolutionary computation
    conference, 249–257.'
  mla: 'Martynov, Pavel, et al. “In the Search of Optimal Tree Networks: Hardness
    and Heuristics.” <i>Proceedings of the 2025 Genetic and Evolutionary Computation
    Conference</i>, Association for Computing Machinery, 2025, pp. 249–57, doi:<a
    href="https://doi.org/10.1145/3712256.3726425">10.1145/3712256.3726425</a>.'
  short: P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings
    of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing
    Machinery, 2025, pp. 249–257.
conference:
  end_date: 2025-07-18
  location: Malaga, Spain
  name: 'GECCO: Genetic and evolutionary computation conference'
  start_date: 2025-07-14
date_created: 2025-08-24T22:01:31Z
date_published: 2025-07-13T00:00:00Z
date_updated: 2025-12-01T12:35:24Z
day: '13'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1145/3712256.3726425
external_id:
  isi:
  - '001556459900031'
file:
- access_level: open_access
  checksum: 7e513fa508cff7e8a0d33f50b1fe09af
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T07:41:13Z
  date_updated: 2025-09-02T07:41:13Z
  file_id: '20273'
  file_name: 2025_GECCO_Martynov.pdf
  file_size: 608996
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T07:41:13Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 249-257
publication: Proceedings of the 2025 Genetic and Evolutionary Computation Conference
publication_identifier:
  isbn:
  - '9798400714658'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'In the search of optimal tree networks: Hardness and heuristics'
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
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20225'
abstract:
- lang: eng
  text: "We present the first supermartingale certificate for quantitative \r\n-regular
    properties of discrete-time infinite-state stochastic systems. Our certificate
    is defined on the product of the stochastic system and a limit-deterministic Büchi
    automaton that specifies the property of interest; hence we call it a limit-deterministic
    Büchi supermartingale (LDBSM). Previously known supermartingale certificates applied
    only to quantitative reachability, safety, or reach-avoid properties, and to qualitative
    (i.e., probability 1) \r\n-regular properties.We also present fully automated
    algorithms for the template-based synthesis of LDBSMs, for the case when the stochastic
    system dynamics and the controller can be represented in terms of polynomial inequalities.
    Our experiments demonstrate the ability of our method to solve verification and
    control tasks for stochastic systems that were beyond the reach of previous supermartingale-based
    approaches."
acknowledgement: This work was supported in part by the Singapore Ministry of Education
  (MOE) Academic Research Fund (AcRF) Tier 1 grant (Project ID:22-SIS-SMU-100) and
  the ERC project ERC-2020-AdG 101020093.
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Kaushik
  full_name: Mallik, Kaushik
  id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
  last_name: Mallik
  orcid: 0000-0001-9864-7475
- first_name: Pouya
  full_name: Sadeghi, Pouya
  last_name: Sadeghi
- first_name: Dorde
  full_name: Zikelic, Dorde
  id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
  last_name: Zikelic
  orcid: 0000-0002-4681-1699
citation:
  ama: 'Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates
    for quantitative omega-regular verification and control. In: <i>37th International
    Conference on Computer Aided Verification</i>. Vol 15932. Springer Nature; 2025:29-55.
    doi:<a href="https://doi.org/10.1007/978-3-031-98679-6_2">10.1007/978-3-031-98679-6_2</a>'
  apa: 'Henzinger, T. A., Mallik, K., Sadeghi, P., &#38; Zikelic, D. (2025). Supermartingale
    certificates for quantitative omega-regular verification and control. In <i>37th
    International Conference on Computer Aided Verification</i> (Vol. 15932, pp. 29–55).
    Zagreb, Croatia: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-98679-6_2">https://doi.org/10.1007/978-3-031-98679-6_2</a>'
  chicago: Henzinger, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic.
    “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.”
    In <i>37th International Conference on Computer Aided Verification</i>, 15932:29–55.
    Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-98679-6_2">https://doi.org/10.1007/978-3-031-98679-6_2</a>.
  ieee: T. A. Henzinger, K. Mallik, P. Sadeghi, and D. Zikelic, “Supermartingale certificates
    for quantitative omega-regular verification and control,” in <i>37th International
    Conference on Computer Aided Verification</i>, Zagreb, Croatia, 2025, vol. 15932,
    pp. 29–55.
  ista: 'Henzinger TA, Mallik K, Sadeghi P, Zikelic D. 2025. Supermartingale certificates
    for quantitative omega-regular verification and control. 37th International Conference
    on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 15932,
    29–55.'
  mla: Henzinger, Thomas A., et al. “Supermartingale Certificates for Quantitative
    Omega-Regular Verification and Control.” <i>37th International Conference on Computer
    Aided Verification</i>, vol. 15932, Springer Nature, 2025, pp. 29–55, doi:<a href="https://doi.org/10.1007/978-3-031-98679-6_2">10.1007/978-3-031-98679-6_2</a>.
  short: T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International
    Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
conference:
  end_date: 2025-07-25
  location: Zagreb, Croatia
  name: 'CAV: Computer Aided Verification'
  start_date: 2025-07-23
date_created: 2025-08-24T22:01:31Z
date_published: 2025-07-22T00:00:00Z
date_updated: 2025-12-01T12:34:41Z
day: '22'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-98679-6_2
ec_funded: 1
external_id:
  arxiv:
  - '2505.18833'
  isi:
  - '001562506600002'
file:
- access_level: open_access
  checksum: beb1e2637de5b2268cc2262119439113
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-02T07:34:33Z
  date_updated: 2025-09-02T07:34:33Z
  file_id: '20272'
  file_name: 2025_CAV_HenzingerT.pdf
  file_size: 884831
  relation: main_file
  success: 1
file_date_updated: 2025-09-02T07:34:33Z
has_accepted_license: '1'
intvolume: '     15932'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 29-55
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: 37th International Conference on Computer Aided Verification
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031986789'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Supermartingale certificates for quantitative omega-regular verification and control
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: 15932
year: '2025'
...
---
_id: '20242'
abstract:
- lang: eng
  text: "This repository contains calculations of carbon footprints of NMR conferences,
    as described in the article by \r\nLucky N. Kapoor, Natalia Ruzickova, Predrag
    Živadinović, Valentin Leitner, Maria Anna Sisak, Cecelia Mweka, Jeroen Dobbelaere,
    Georgios Katsaros, and Paul Schanda\r\nPublished in Magnetic Resonance, 2025."
article_processing_charge: No
author:
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
citation:
  ama: 'Schanda P. Data of: “Quantifying the carbon footprint of conference travel:
    the case of NMR meetings.” 2025. doi:<a href="https://doi.org/10.15479/AT-ISTA-20242">10.15479/AT-ISTA-20242</a>'
  apa: 'Schanda, P. (2025). Data of: “Quantifying the carbon footprint of conference
    travel: the case of NMR meetings.” Institute of Science and Technology Austria.
    <a href="https://doi.org/10.15479/AT-ISTA-20242">https://doi.org/10.15479/AT-ISTA-20242</a>'
  chicago: 'Schanda, Paul. “Data of: ‘Quantifying the Carbon Footprint of Conference
    Travel: The Case of NMR Meetings.’” Institute of Science and Technology Austria,
    2025. <a href="https://doi.org/10.15479/AT-ISTA-20242">https://doi.org/10.15479/AT-ISTA-20242</a>.'
  ieee: 'P. Schanda, “Data of: ‘Quantifying the carbon footprint of conference travel:
    the case of NMR meetings.’” Institute of Science and Technology Austria, 2025.'
  ista: 'Schanda P. 2025. Data of: ‘Quantifying the carbon footprint of conference
    travel: the case of NMR meetings’, Institute of Science and Technology Austria,
    <a href="https://doi.org/10.15479/AT-ISTA-20242">10.15479/AT-ISTA-20242</a>.'
  mla: 'Schanda, Paul. <i>Data of: “Quantifying the Carbon Footprint of Conference
    Travel: The Case of NMR Meetings.”</i> Institute of Science and Technology Austria,
    2025, doi:<a href="https://doi.org/10.15479/AT-ISTA-20242">10.15479/AT-ISTA-20242</a>.'
  short: P. Schanda, (2025).
contributor:
- contributor_type: researcher
  first_name: Natalia
  id: D2761128-D73D-11E9-A1BF-BA0DE6697425
  last_name: Ruzickova
- contributor_type: researcher
  first_name: Lucky
  id: 84b9700b-15b2-11ec-abd3-831089e67615
  last_name: Kapoor
- contributor_type: researcher
  first_name: Valentin
  id: 4c665ce3-0016-11ec-bea0-e44de7a4fa3d
  last_name: Leitner
- contributor_type: researcher
  first_name: Predrag
  id: 68AA0E5A-AFDA-11E9-9994-141DE6697425
  last_name: Zivadinovic
- contributor_type: researcher
  first_name: Maria A
  id: 44A03D04-AEA4-11E9-B225-EA2DE6697425
  last_name: Sisak
- contributor_type: researcher
  first_name: Cecelia N
  id: 2a69ab4b-896a-11ed-bdf8-cb8641cf2b21
  last_name: Mweka
- contributor_type: supervisor
  first_name: Jeroen A
  id: c15a5412-de82-11ed-b809-8dc1aa996e40
  last_name: Dobbelaere
- contributor_type: supervisor
  first_name: Georgios
  id: 38DB5788-F248-11E8-B48F-1D18A9856A87
  last_name: Katsaros
  orcid: 0000-0001-8342-202X
corr_author: '1'
date_created: 2025-08-31T15:14:18Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2026-06-10T08:45:12Z
department:
- _id: PaSc
doi: 10.15479/AT-ISTA-20242
file:
- access_level: open_access
  checksum: 055044b03f835cb98c45d0504f1db96e
  content_type: application/zip
  creator: pschanda
  date_created: 2025-08-31T15:09:44Z
  date_updated: 2025-08-31T15:09:44Z
  file_id: '20244'
  file_name: Abstracts.zip
  file_size: 42368943
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 1492683af736ac65088b77e12b52c3b0
  content_type: application/zip
  creator: pschanda
  date_created: 2025-08-31T15:11:58Z
  date_updated: 2025-08-31T15:11:58Z
  file_id: '20245'
  file_name: data_CO2_conferences.zip
  file_size: 470659
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 8ac69071f7508e77b5ca91fa5018339a
  content_type: application/zip
  creator: pschanda
  date_created: 2025-08-31T15:12:03Z
  date_updated: 2025-08-31T15:12:03Z
  file_id: '20246'
  file_name: Figure6_predictions.zip
  file_size: 1138772
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 19b77db247feecdc36fbe6f68d94a76d
  content_type: text/x-python-script
  creator: pschanda
  date_created: 2025-08-31T15:12:07Z
  date_updated: 2025-08-31T15:12:07Z
  file_id: '20247'
  file_name: ExcelFileAnalysisCode.py
  file_size: 6558
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 39655e28c6df523f4f9662dc58c94623
  content_type: application/pdf
  creator: pschanda
  date_created: 2025-08-31T15:12:11Z
  date_updated: 2025-08-31T15:12:11Z
  file_id: '20248'
  file_name: emissions_spectrometers_and_Parisgoal.pdf
  file_size: 1107467
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 2e9a9460b3f2abe7e46179561a63492b
  content_type: application/octet-stream
  creator: pschanda
  date_created: 2025-09-01T11:05:27Z
  date_updated: 2025-09-01T11:05:27Z
  file_id: '20263'
  file_name: README
  file_size: 3994
  relation: main_file
  success: 1
file_date_updated: 2025-09-01T11:05:27Z
has_accepted_license: '1'
keyword:
- sustainability
- conference travel
month: '09'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '20664'
    relation: used_in_publication
    status: public
status: public
title: 'Data of: "Quantifying the carbon footprint of conference travel: the case
  of NMR meetings"'
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
  short: CC BY-NC (4.0)
type: research_data
user_id: 68b8ca59-c5b3-11ee-8790-cd641c68093d
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20250'
abstract:
- lang: eng
  text: "Population III stars are possible precursors to early supermassive black
    holes (BHs). The presence of soft UV Lyman–Werner (LW) background radiation can
    suppress Population III star formation in minihaloes and allow them to form in
    pristine atomic-cooling haloes. In the absence of molecular hydrogen (⁠H2⁠) cooling,
    atomic-cooling haloes enable rapid collapse with suppressed fragmentation. High
    background LW fluxes from preceding star-formation have been proposed to dissociate
    H2⁠. This flux can be supplemented by LW radiation from one or more Population
    III star(s) in the same halo, reducing the necessary background level. Here, we
    consider atomic-cooling haloes in which multiple protostellar cores form close
    to one another nearly simultaneously. We assess whether the first star’s LW radiation
    can dissociate nearby \r\n⁠, enabling rapid accretion on to a nearby protostellar
    core, and the prompt formation of a second, supermassive star (SMS) from warm,
    atomically-cooled gas. We use a set of hydrodynamical simulations with the code
    enzo, with identical LW backgrounds centred on a halo with two adjacent collapsing
    gas clumps. When an additional large local LW flux is introduced, we observe immediate
    reductions in both the accretion rates and the stellar masses that form within
    these clumps. While the LW flux reduces the H2 fraction and increases the gas
    temperature, the halo core’s potential well is too shallow to promptly heat the
    gas to >1000 K and increase the second protostar’s accretion rate. We conclude
    that this internal LW feedback scenario is unlikely to facilitate SMS or massive
    BH seed formation."
acknowledgement: We thank the anonymous referee for comments that helped us improve
  the clarity of this manuscript. We acknowledge support from the United States National
  Science Foundation (NSF) grant AST-2006176 and the National Aeronautics and Space
  Administration (NASA) grants 80NSSC24K0440 and 80NSSC22K0822 (ZH). We also acknowledge
  support from NSF grant AST-2009309, NASA Astrophysics Theory Program grant 80NSSC22K0629,
  and Space Telescope Science Institute grant JWST-AR-05238 (EV). The simulations
  in this work were run on Texas Advanced Computing Center’s Stampede2 and Stampede3
  systems. We used Stampede2 and Purdue University’s computing system Anvil for data
  analysis.
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: James
  full_name: Sullivan, James
  last_name: Sullivan
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
  orcid: 0000-0003-3633-5403
- first_name: Mihir
  full_name: Kulkarni, Mihir
  last_name: Kulkarni
- first_name: Eli
  full_name: Visbal, Eli
  last_name: Visbal
citation:
  ama: Sullivan J, Haiman Z, Kulkarni M, Visbal E. Can supermassive stars form in
    protogalaxies due to internal Lyman-Werner feedback? <i>Monthly Notices of the
    Royal Astronomical Society</i>. 2025;542(2):822-838. doi:<a href="https://doi.org/10.1093/mnras/staf1269">10.1093/mnras/staf1269</a>
  apa: Sullivan, J., Haiman, Z., Kulkarni, M., &#38; Visbal, E. (2025). Can supermassive
    stars form in protogalaxies due to internal Lyman-Werner feedback? <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/staf1269">https://doi.org/10.1093/mnras/staf1269</a>
  chicago: Sullivan, James, Zoltán Haiman, Mihir Kulkarni, and Eli Visbal. “Can Supermassive
    Stars Form in Protogalaxies Due to Internal Lyman-Werner Feedback?” <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press, 2025.
    <a href="https://doi.org/10.1093/mnras/staf1269">https://doi.org/10.1093/mnras/staf1269</a>.
  ieee: J. Sullivan, Z. Haiman, M. Kulkarni, and E. Visbal, “Can supermassive stars
    form in protogalaxies due to internal Lyman-Werner feedback?,” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 542, no. 2. Oxford University Press,
    pp. 822–838, 2025.
  ista: Sullivan J, Haiman Z, Kulkarni M, Visbal E. 2025. Can supermassive stars form
    in protogalaxies due to internal Lyman-Werner feedback? Monthly Notices of the
    Royal Astronomical Society. 542(2), 822–838.
  mla: Sullivan, James, et al. “Can Supermassive Stars Form in Protogalaxies Due to
    Internal Lyman-Werner Feedback?” <i>Monthly Notices of the Royal Astronomical
    Society</i>, vol. 542, no. 2, Oxford University Press, 2025, pp. 822–38, doi:<a
    href="https://doi.org/10.1093/mnras/staf1269">10.1093/mnras/staf1269</a>.
  short: J. Sullivan, Z. Haiman, M. Kulkarni, E. Visbal, Monthly Notices of the Royal
    Astronomical Society 542 (2025) 822–838.
date_created: 2025-08-31T22:01:31Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-09-30T14:28:05Z
day: '01'
ddc:
- '520'
department:
- _id: ZoHa
doi: 10.1093/mnras/staf1269
external_id:
  arxiv:
  - '2501.12986'
  isi:
  - '001553472000001'
file:
- access_level: open_access
  checksum: 2a06796b27da0b33d479dba170ba4b3f
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-03T05:44:47Z
  date_updated: 2025-09-03T05:44:47Z
  file_id: '20279'
  file_name: 2025_MonthlyNoticesRAS_Sullivan.pdf
  file_size: 2780496
  relation: main_file
  success: 1
file_date_updated: 2025-09-03T05:44:47Z
has_accepted_license: '1'
intvolume: '       542'
isi: 1
issue: '2'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 822-838
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  eissn:
  - 1365-2966
  issn:
  - 0035-8711
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback?
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 542
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20251'
abstract:
- lang: eng
  text: The Lane–Emden inequality controls (math. formular) in terms of the L^1 and
    L^p norms of p. We provide a remainder estimate for this inequality in terms of
    a suitable distance of p to the manifold of optimizers.
acknowledgement: We are grateful to Rupert Frank and Enno Lenzmann for helpful discussions.
article_number: '226'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Eric
  full_name: Carlen, Eric
  last_name: Carlen
- first_name: Mathieu
  full_name: Lewin, Mathieu
  last_name: Lewin
- first_name: Elliott H.
  full_name: Lieb, Elliott H.
  last_name: Lieb
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Carlen E, Lewin M, Lieb EH, Seiringer R. Stability estimate for the Lane–Emden
    inequality. <i>Calculus of Variations and Partial Differential Equations</i>.
    2025;64(7). doi:<a href="https://doi.org/10.1007/s00526-025-03062-x">10.1007/s00526-025-03062-x</a>
  apa: Carlen, E., Lewin, M., Lieb, E. H., &#38; Seiringer, R. (2025). Stability estimate
    for the Lane–Emden inequality. <i>Calculus of Variations and Partial Differential
    Equations</i>. Springer Nature. <a href="https://doi.org/10.1007/s00526-025-03062-x">https://doi.org/10.1007/s00526-025-03062-x</a>
  chicago: Carlen, Eric, Mathieu Lewin, Elliott H. Lieb, and Robert Seiringer. “Stability
    Estimate for the Lane–Emden Inequality.” <i>Calculus of Variations and Partial
    Differential Equations</i>. Springer Nature, 2025. <a href="https://doi.org/10.1007/s00526-025-03062-x">https://doi.org/10.1007/s00526-025-03062-x</a>.
  ieee: E. Carlen, M. Lewin, E. H. Lieb, and R. Seiringer, “Stability estimate for
    the Lane–Emden inequality,” <i>Calculus of Variations and Partial Differential
    Equations</i>, vol. 64, no. 7. Springer Nature, 2025.
  ista: Carlen E, Lewin M, Lieb EH, Seiringer R. 2025. Stability estimate for the
    Lane–Emden inequality. Calculus of Variations and Partial Differential Equations.
    64(7), 226.
  mla: Carlen, Eric, et al. “Stability Estimate for the Lane–Emden Inequality.” <i>Calculus
    of Variations and Partial Differential Equations</i>, vol. 64, no. 7, 226, Springer
    Nature, 2025, doi:<a href="https://doi.org/10.1007/s00526-025-03062-x">10.1007/s00526-025-03062-x</a>.
  short: E. Carlen, M. Lewin, E.H. Lieb, R. Seiringer, Calculus of Variations and
    Partial Differential Equations 64 (2025).
date_created: 2025-08-31T22:01:31Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-09-30T14:27:35Z
day: '01'
department:
- _id: RoSe
doi: 10.1007/s00526-025-03062-x
external_id:
  arxiv:
  - '2410.20113'
  isi:
  - '001558641300006'
intvolume: '        64'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2410.20113
month: '09'
oa: 1
oa_version: Preprint
publication: Calculus of Variations and Partial Differential Equations
publication_identifier:
  eissn:
  - 1432-0835
  issn:
  - 0944-2669
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Stability estimate for the Lane–Emden inequality
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 64
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20252'
abstract:
- lang: eng
  text: Zirconia nanocrystals (ZrO2 NCs) are a stable host material for lanthanides,
    but their performance lags behind that of the leading NaYF4 nanomaterials. Here,
    we leverage surface chemistry and core/shell architectures to uncover the contribution
    of dopants at the nanocrystal surface and of dopants in the nanocrystal bulk.
    We first assess the doping efficiency by ICP and find that, while Eu is almost
    quantitatively incorporated, the other lanthanides (La, Ce, Tb, Tm, Er, Yb) have
    about 50% incorporation efficiency over the studied doping range of 1–10%. We
    then determine the nanocrystal surface chemistry using NMR spectroscopy, despite
    the additional spectral line broadening caused by the paramagnetic lanthanide
    dopants. By varying the surface ligands and measuring the photoluminescence, we
    resolve the spectroscopic signals that are sensitive to a change in surface chemistry.
    Time-resolved emission spectra further reinforce the notion of a bulk component
    with a long luminescent lifetime and a surface component with a fast lifetime.
    Upon shelling Eu- or Tb-doped zirconia NCs with pure zirconia, the surface component
    disappears, and the photoluminescence quantum yield increases. We further functionalized
    the surface of the core/shell particles with oleylphosphonic acid ligands to obtain
    excellent dispersibility. These results show that lanthanide-doped zirconia NCs
    can be engineered to eliminate deactivation pathways.
acknowledged_ssus:
- _id: EM-Fac
acknowledgement: N.R. and C.S. thank the SNSF Eccellenza funding scheme (Project 194172)
  for funding. D.V.d.H. is supported by the Research Foundation Flanders (FWO) through
  a Senior Postdoctoral Research Fellowship (N° 1237825N). P.F.S. acknowledges the
  Special Research Fund at UGent (bof/baf/4y/2024/01/037). M.I. acknowledges financial
  support from ISTA and the Werner Siemens Foundation. This research was supported
  by the Scientific Service Units (SSU) of ISTA Austria through resources provided
  by the electron microscopy facility (EMF). We thank Tommaso Costanzo for providing
  assistance during STEM measurements. We acknowledge DESY (Hamburg, Germany), a member
  of the Helmholtz Association HGF, for the provision of experimental facilities.
  Parts of this research were carried out using beamline P21.1 at PETRA III, and the
  authors thank Ann-Christin Dippel, Jiatu Liu, and Fernando Igoa for assistance in
  using the beamline for PDF acquisition (Proposal I-20231114 EC). The authors thank
  Daniel Häussinger for help with the analysis of NMR spectra.
article_processing_charge: No
article_type: original
author:
- first_name: Nico
  full_name: Reichholf, Nico
  last_name: Reichholf
- first_name: Sharona
  full_name: Horta, Sharona
  id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
  last_name: Horta
- first_name: David
  full_name: Van Der Heggen, David
  last_name: Van Der Heggen
- first_name: Carlotta
  full_name: Seno, Carlotta
  last_name: Seno
- first_name: Jikson
  full_name: Pulparayil Mathew, Jikson
  last_name: Pulparayil Mathew
- 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: Philippe F.
  full_name: Smet, Philippe F.
  last_name: Smet
- first_name: Jonathan
  full_name: De Roo, Jonathan
  last_name: De Roo
citation:
  ama: Reichholf N, Horta S, Van Der Heggen D, et al. Identification and elimination
    of surface emission in lanthanide (Co)doped zirconia nanocrystals. <i>ACS Nano</i>.
    2025;19(33):30371-30382. doi:<a href="https://doi.org/10.1021/acsnano.5c09137">10.1021/acsnano.5c09137</a>
  apa: Reichholf, N., Horta, S., Van Der Heggen, D., Seno, C., Pulparayil Mathew,
    J., Ibáñez, M., … De Roo, J. (2025). Identification and elimination of surface
    emission in lanthanide (Co)doped zirconia nanocrystals. <i>ACS Nano</i>. American
    Chemical Society. <a href="https://doi.org/10.1021/acsnano.5c09137">https://doi.org/10.1021/acsnano.5c09137</a>
  chicago: Reichholf, Nico, Sharona Horta, David Van Der Heggen, Carlotta Seno, Jikson
    Pulparayil Mathew, Maria Ibáñez, Philippe F. Smet, and Jonathan De Roo. “Identification
    and Elimination of Surface Emission in Lanthanide (Co)Doped Zirconia Nanocrystals.”
    <i>ACS Nano</i>. American Chemical Society, 2025. <a href="https://doi.org/10.1021/acsnano.5c09137">https://doi.org/10.1021/acsnano.5c09137</a>.
  ieee: N. Reichholf <i>et al.</i>, “Identification and elimination of surface emission
    in lanthanide (Co)doped zirconia nanocrystals,” <i>ACS Nano</i>, vol. 19, no.
    33. American Chemical Society, pp. 30371–30382, 2025.
  ista: Reichholf N, Horta S, Van Der Heggen D, Seno C, Pulparayil Mathew J, Ibáñez
    M, Smet PF, De Roo J. 2025. Identification and elimination of surface emission
    in lanthanide (Co)doped zirconia nanocrystals. ACS Nano. 19(33), 30371–30382.
  mla: Reichholf, Nico, et al. “Identification and Elimination of Surface Emission
    in Lanthanide (Co)Doped Zirconia Nanocrystals.” <i>ACS Nano</i>, vol. 19, no.
    33, American Chemical Society, 2025, pp. 30371–82, doi:<a href="https://doi.org/10.1021/acsnano.5c09137">10.1021/acsnano.5c09137</a>.
  short: N. Reichholf, S. Horta, D. Van Der Heggen, C. Seno, J. Pulparayil Mathew,
    M. Ibáñez, P.F. Smet, J. De Roo, ACS Nano 19 (2025) 30371–30382.
date_created: 2025-08-31T22:01:31Z
date_published: 2025-08-26T00:00:00Z
date_updated: 2025-09-30T14:27:03Z
day: '26'
department:
- _id: MaIb
doi: 10.1021/acsnano.5c09137
external_id:
  isi:
  - '001550173000001'
intvolume: '        19'
isi: 1
issue: '33'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.26434/chemrxiv-2025-r1gw4
month: '08'
oa: 1
oa_version: Preprint
page: 30371-30382
project:
- _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 Nano
publication_identifier:
  eissn:
  - 1936-086X
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Identification and elimination of surface emission in lanthanide (Co)doped
  zirconia nanocrystals
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 19
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20253'
abstract:
- lang: eng
  text: "A quantitative word automaton (QWA) defines a function from infinite words
    to values. For example, every infinite run of a limit-average QWA \U0001D49C obtains
    a mean payoff, and every word w ∈ Σ^ω is assigned the maximal mean payoff obtained
    by nondeterministic runs of \U0001D49C over w. We introduce quantitative language
    automata (QLAs) that define functions from language generators (i.e., implementations)
    to values, where a language generator can be nonprobabilistic, defining a set
    of infinite words, or probabilistic, defining a probability measure over infinite
    words. A QLA consists of a QWA and an aggregator function. For example, given
    a QWA \U0001D49C, the infimum aggregator maps each language L ⊆ Σ^ω to the greatest
    lower bound assigned by \U0001D49C to any word in L. For boolean value sets, QWAs
    define boolean properties of traces, and QLAs define boolean properties of sets
    of traces, i.e., hyperproperties. For more general value sets, QLAs serve as a
    specification language for a generalization of hyperproperties, called quantitative
    hyperproperties. A nonprobabilistic (resp. probabilistic) quantitative hyperproperty
    assigns a value to each set (resp. distribution) G of traces, e.g., the minimal
    (resp. expected) average response time exhibited by the traces in G. We give several
    examples of quantitative hyperproperties and investigate three paradigmatic problems
    for QLAs: evaluation, nonemptiness, and universality. In the evaluation problem,
    given a QLA \U0001D538 and an implementation G, we ask for the value that \U0001D538
    assigns to G. In the nonemptiness (resp. universality) problem, given a QLA \U0001D538
    and a value k, we ask whether \U0001D538 assigns at least k to some (resp. every)
    language. We provide a comprehensive picture of decidability for these problems
    for QLAs with common aggregators as well as their restrictions to ω-regular languages
    and trace distributions generated by finite-state Markov chains."
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093.
alternative_title:
- LIPIcs
article_number: '21'
article_processing_charge: No
arxiv: 1
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Pavol
  full_name: Kebis, Pavol
  id: 2e0132b3-4e98-11ef-b275-cf7281c2802a
  last_name: Kebis
- first_name: Nicolas Adrien
  full_name: Mazzocchi, Nicolas Adrien
  id: b26baa86-3308-11ec-87b0-8990f34baa85
  last_name: Mazzocchi
- first_name: Naci E
  full_name: Sarac, Naci E
  id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
  last_name: Sarac
citation:
  ama: 'Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Quantitative language automata.
    In: <i>36th International Conference on Concurrency Theory</i>. Vol 348. Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2025.21">10.4230/LIPIcs.CONCUR.2025.21</a>'
  apa: 'Henzinger, T. A., Kebis, P., Mazzocchi, N. A., &#38; Sarac, N. E. (2025).
    Quantitative language automata. In <i>36th International Conference on Concurrency
    Theory</i> (Vol. 348). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für
    Informatik. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2025.21">https://doi.org/10.4230/LIPIcs.CONCUR.2025.21</a>'
  chicago: Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E
    Sarac. “Quantitative Language Automata.” In <i>36th International Conference on
    Concurrency Theory</i>, Vol. 348. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    2025. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2025.21">https://doi.org/10.4230/LIPIcs.CONCUR.2025.21</a>.
  ieee: T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Quantitative
    language automata,” in <i>36th International Conference on Concurrency Theory</i>,
    Aarhus, Denmark, 2025, vol. 348.
  ista: 'Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2025. Quantitative language
    automata. 36th International Conference on Concurrency Theory. CONCUR: Conference
    on Concurrency Theory, LIPIcs, vol. 348, 21.'
  mla: Henzinger, Thomas A., et al. “Quantitative Language Automata.” <i>36th International
    Conference on Concurrency Theory</i>, vol. 348, 21, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2025, doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2025.21">10.4230/LIPIcs.CONCUR.2025.21</a>.
  short: T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International
    Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    2025.
conference:
  end_date: 2025-08-29
  location: Aarhus, Denmark
  name: 'CONCUR: Conference on Concurrency Theory'
  start_date: 2025-08-26
corr_author: '1'
date_created: 2025-08-31T22:01:32Z
date_published: 2025-08-18T00:00:00Z
date_updated: 2025-12-01T12:36:52Z
day: '18'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2025.21
ec_funded: 1
external_id:
  arxiv:
  - '2506.0515'
  isi:
  - '001570540800021'
file:
- access_level: open_access
  checksum: 9d4054058757a73477e6015b10ed6996
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-03T10:01:53Z
  date_updated: 2025-09-03T10:01:53Z
  file_id: '20282'
  file_name: 2025_CONCUR_HenzingerT.pdf
  file_size: 1257397
  relation: main_file
  success: 1
file_date_updated: 2025-09-03T10:01:53Z
has_accepted_license: '1'
intvolume: '       348'
isi: 1
language:
- iso: eng
month: '08'
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
publication: 36th International Conference on Concurrency Theory
publication_identifier:
  isbn:
  - '9783959773898'
  issn:
  - 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative language automata
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 348
year: '2025'
...
---
APC_amount: 4493,27 EUR
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20254'
abstract:
- lang: eng
  text: 'We examine population structures for their ability to maintain diversity
    in neutral evolution. We use the general framework of evolutionary graph theory
    and consider birth–death (bd) and death–birth (db) updating. The population is
    of size N. Initially all individuals represent different types. The basic question
    is: what is the time TN until one type takes over the population? This time is
    known as consensus time in computer science and as total coalescent time in evolutionary
    biology. For the complete graph, it is known that TN is quadratic in N for db
    and bd. For the cycle, we prove that TN is cubic in N for db and bd. For the star,
    we prove that TN is cubic for bd and quasilinear (N log N) for db. For the double
    star, we show that TN is quartic for bd. We derive upper and lower bounds for
    all undirected graphs for bd and db. We also show the Pareto front of graphs (of
    size N = 8) that maintain diversity the longest for bd and db. Further, we show
    that some graphs that quickly homogenize can maintain high levels of diversity
    longer than graphs that slowly homogenize. For directed graphs, we give simple
    contracting star-like structures that have superexponential time scales for maintaining
    diversity.'
acknowledgement: J.S. and K.C. were supported by the European Research Council CoG
  863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12. J.T. was supported
  by GAČR grant 25-17377S and by Charles Univ. projects UNCE 24/SCI/008 and PRIMUS
  24/SCI/012.
article_number: pgaf252
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: David A.
  full_name: Brewster, David A.
  last_name: Brewster
- first_name: Jakub
  full_name: Svoboda, Jakub
  id: 130759D2-D7DD-11E9-87D2-DE0DE6697425
  last_name: Svoboda
  orcid: 0000-0002-1419-3267
- first_name: Dylan
  full_name: Roscow, Dylan
  last_name: Roscow
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Josef
  full_name: Tkadlec, Josef
  id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
  last_name: Tkadlec
  orcid: 0000-0002-1097-9684
- first_name: Martin A.
  full_name: Nowak, Martin A.
  last_name: Nowak
citation:
  ama: Brewster DA, Svoboda J, Roscow D, Chatterjee K, Tkadlec J, Nowak MA. Maintaining
    diversity in structured populations. <i>PNAS Nexus</i>. 2025;4(8). doi:<a href="https://doi.org/10.1093/pnasnexus/pgaf252">10.1093/pnasnexus/pgaf252</a>
  apa: Brewster, D. A., Svoboda, J., Roscow, D., Chatterjee, K., Tkadlec, J., &#38;
    Nowak, M. A. (2025). Maintaining diversity in structured populations. <i>PNAS
    Nexus</i>. Oxford University Press. <a href="https://doi.org/10.1093/pnasnexus/pgaf252">https://doi.org/10.1093/pnasnexus/pgaf252</a>
  chicago: Brewster, David A., Jakub Svoboda, Dylan Roscow, Krishnendu Chatterjee,
    Josef Tkadlec, and Martin A. Nowak. “Maintaining Diversity in Structured Populations.”
    <i>PNAS Nexus</i>. Oxford University Press, 2025. <a href="https://doi.org/10.1093/pnasnexus/pgaf252">https://doi.org/10.1093/pnasnexus/pgaf252</a>.
  ieee: D. A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, and M. A.
    Nowak, “Maintaining diversity in structured populations,” <i>PNAS Nexus</i>, vol.
    4, no. 8. Oxford University Press, 2025.
  ista: Brewster DA, Svoboda J, Roscow D, Chatterjee K, Tkadlec J, Nowak MA. 2025.
    Maintaining diversity in structured populations. PNAS Nexus. 4(8), pgaf252.
  mla: Brewster, David A., et al. “Maintaining Diversity in Structured Populations.”
    <i>PNAS Nexus</i>, vol. 4, no. 8, pgaf252, Oxford University Press, 2025, doi:<a
    href="https://doi.org/10.1093/pnasnexus/pgaf252">10.1093/pnasnexus/pgaf252</a>.
  short: D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak,
    PNAS Nexus 4 (2025).
date_created: 2025-08-31T22:01:32Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2026-06-11T09:11:17Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1093/pnasnexus/pgaf252
ec_funded: 1
external_id:
  arxiv:
  - '2503.09841'
file:
- access_level: open_access
  checksum: 8a5e82c6f842e3220ec96028c9374b69
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-03T06:20:08Z
  date_updated: 2025-09-03T06:20:08Z
  file_id: '20280'
  file_name: 2025_PNASNexus_Brewster.pdf
  file_size: 1086419
  relation: main_file
  success: 1
file_date_updated: 2025-09-03T06:20:08Z
has_accepted_license: '1'
intvolume: '         4'
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: PNAS Nexus
publication_identifier:
  eissn:
  - 2752-6542
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Maintaining diversity in structured populations
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: 4
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20255'
abstract:
- lang: eng
  text: With stunning clarity, the JWST has revealed the Universe’s first billion
    years. The scientific community is analysing a wealth of JWST imaging and spectroscopic
    data from that era, and is in the process of rewriting the astronomy textbooks.
    Here, as a result of the 2024 ISSI Breakthrough Workshop, we provide a snapshot
    of the great progress made towards understanding the initial chapters of our cosmic
    history 1.5 years into the JWST science mission. We present the current census
    of early galaxies, their luminosities, appearance, chemical composition, masses
    and formation histories as revealed by JWST. We relate the discovery of massive
    black holes in early galaxies and discuss their demographics and implications
    for their formations and growth. We conclude by describing the potential sources
    of reionization and our current understanding of how the Universe became fully
    ionized. Throughout the Perspective, we highlight discoveries and breakthroughs,
    topics and issues that are not yet understood, and questions that will be addressed
    in the coming years, as JWST continues its revolutionary observations of the early
    Universe.
acknowledgement: While this Perspective is written by a small number of authors, invited
  to ISSI Bern in March 2024 as part of the 2024 ISSI Breakthrough Workshop, we acknowledge
  the work of a large community that is advancing our collective understanding of
  the evolution of the early Universe. We thank ISSI for sponsoring the 2024 Breakthrough
  Workshop, and the ISSI staff for their wonderful welcome and support. We are grateful
  to the author collaborators, who made this paper possible. Collectively, we are
  grateful to the large group of committed scientists and engineers, worldwide, who
  designed, built and commissioned the JWST and made a decades-long astronomer dream
  a reality. R.P.N. is a NASA Hubble Fellow. We are grateful to M. Dickinson for a
  careful read of the final paper and to F. Crameri (ISSI) for his expert help designing
  the very best figures. We dedicate this paper to the 20,000 people who spent decades
  to make JWST an incredible discovery machine.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Angela
  full_name: Adamo, Angela
  last_name: Adamo
- first_name: Hakim
  full_name: Atek, Hakim
  last_name: Atek
- first_name: Micaela B.
  full_name: Bagley, Micaela B.
  last_name: Bagley
- first_name: Eduardo
  full_name: Bañados, Eduardo
  last_name: Bañados
- first_name: Kirk S.S.
  full_name: Barrow, Kirk S.S.
  last_name: Barrow
- first_name: Danielle A.
  full_name: Berg, Danielle A.
  last_name: Berg
- first_name: Rachel
  full_name: Bezanson, Rachel
  last_name: Bezanson
- first_name: Maruša
  full_name: Bradač, Maruša
  last_name: Bradač
- first_name: Gabriel
  full_name: Brammer, Gabriel
  last_name: Brammer
- first_name: Adam C.
  full_name: Carnall, Adam C.
  last_name: Carnall
- first_name: John
  full_name: Chisholm, John
  last_name: Chisholm
- first_name: Dan
  full_name: Coe, Dan
  last_name: Coe
- first_name: Pratika
  full_name: Dayal, Pratika
  last_name: Dayal
- first_name: Daniel J.
  full_name: Eisenstein, Daniel J.
  last_name: Eisenstein
- first_name: Jan J.
  full_name: Eldridge, Jan J.
  last_name: Eldridge
- first_name: Andrea
  full_name: Ferrara, Andrea
  last_name: Ferrara
- first_name: Seiji
  full_name: Fujimoto, Seiji
  last_name: Fujimoto
- first_name: Anna De
  full_name: Graaff, Anna De
  last_name: Graaff
- first_name: Melanie
  full_name: Habouzit, Melanie
  last_name: Habouzit
- first_name: Taylor A.
  full_name: Hutchison, Taylor A.
  last_name: Hutchison
- first_name: Jeyhan S.
  full_name: Kartaltepe, Jeyhan S.
  last_name: Kartaltepe
- first_name: Susan A.
  full_name: Kassin, Susan A.
  last_name: Kassin
- first_name: Mariska
  full_name: Kriek, Mariska
  last_name: Kriek
- first_name: Ivo
  full_name: Labbé, Ivo
  last_name: Labbé
- first_name: Roberto
  full_name: Maiolino, Roberto
  last_name: Maiolino
- first_name: Rui
  full_name: Marques-Chaves, Rui
  last_name: Marques-Chaves
- first_name: Michael V.
  full_name: Maseda, Michael V.
  last_name: Maseda
- first_name: Charlotte
  full_name: Mason, Charlotte
  last_name: Mason
- first_name: Jorryt J
  full_name: Matthee, Jorryt J
  id: 7439a258-f3c0-11ec-9501-9df22fe06720
  last_name: Matthee
  orcid: 0000-0003-2871-127X
- first_name: Kristen B.W.
  full_name: Mcquinn, Kristen B.W.
  last_name: Mcquinn
- first_name: Georges
  full_name: Meynet, Georges
  last_name: Meynet
- first_name: Rohan P.
  full_name: Naidu, Rohan P.
  last_name: Naidu
- first_name: Pascal A.
  full_name: Oesch, Pascal A.
  last_name: Oesch
- first_name: Laura
  full_name: Pentericci, Laura
  last_name: Pentericci
- first_name: Pablo G.
  full_name: Pérez-González, Pablo G.
  last_name: Pérez-González
- first_name: Jane R.
  full_name: Rigby, Jane R.
  last_name: Rigby
- first_name: Guido
  full_name: Roberts-Borsani, Guido
  last_name: Roberts-Borsani
- first_name: Daniel
  full_name: Schaerer, Daniel
  last_name: Schaerer
- first_name: Alice E.
  full_name: Shapley, Alice E.
  last_name: Shapley
- first_name: Daniel P.
  full_name: Stark, Daniel P.
  last_name: Stark
- first_name: Massimo
  full_name: Stiavelli, Massimo
  last_name: Stiavelli
- first_name: Allison L.
  full_name: Strom, Allison L.
  last_name: Strom
- first_name: Eros
  full_name: Vanzella, Eros
  last_name: Vanzella
- first_name: Feige
  full_name: Wang, Feige
  last_name: Wang
- first_name: Stephen M.
  full_name: Wilkins, Stephen M.
  last_name: Wilkins
- first_name: Christina C.
  full_name: Williams, Christina C.
  last_name: Williams
- first_name: Chris J.
  full_name: Willott, Chris J.
  last_name: Willott
- first_name: Dominika
  full_name: Wylezalek, Dominika
  last_name: Wylezalek
- first_name: Antonella
  full_name: Nota, Antonella
  last_name: Nota
citation:
  ama: Adamo A, Atek H, Bagley MB, et al. The first billion years according to JWST.
    <i>Nature Astronomy</i>. 2025;9(8):1134-1147. doi:<a href="https://doi.org/10.1038/s41550-025-02624-5">10.1038/s41550-025-02624-5</a>
  apa: Adamo, A., Atek, H., Bagley, M. B., Bañados, E., Barrow, K. S. S., Berg, D.
    A., … Nota, A. (2025). The first billion years according to JWST. <i>Nature Astronomy</i>.
    Springer Nature. <a href="https://doi.org/10.1038/s41550-025-02624-5">https://doi.org/10.1038/s41550-025-02624-5</a>
  chicago: Adamo, Angela, Hakim Atek, Micaela B. Bagley, Eduardo Bañados, Kirk S.S.
    Barrow, Danielle A. Berg, Rachel Bezanson, et al. “The First Billion Years According
    to JWST.” <i>Nature Astronomy</i>. Springer Nature, 2025. <a href="https://doi.org/10.1038/s41550-025-02624-5">https://doi.org/10.1038/s41550-025-02624-5</a>.
  ieee: A. Adamo <i>et al.</i>, “The first billion years according to JWST,” <i>Nature
    Astronomy</i>, vol. 9, no. 8. Springer Nature, pp. 1134–1147, 2025.
  ista: Adamo A, Atek H, Bagley MB, Bañados E, Barrow KSS, Berg DA, Bezanson R, Bradač
    M, Brammer G, Carnall AC, Chisholm J, Coe D, Dayal P, Eisenstein DJ, Eldridge
    JJ, Ferrara A, Fujimoto S, Graaff AD, Habouzit M, Hutchison TA, Kartaltepe JS,
    Kassin SA, Kriek M, Labbé I, Maiolino R, Marques-Chaves R, Maseda MV, Mason C,
    Matthee JJ, Mcquinn KBW, Meynet G, Naidu RP, Oesch PA, Pentericci L, Pérez-González
    PG, Rigby JR, Roberts-Borsani G, Schaerer D, Shapley AE, Stark DP, Stiavelli M,
    Strom AL, Vanzella E, Wang F, Wilkins SM, Williams CC, Willott CJ, Wylezalek D,
    Nota A. 2025. The first billion years according to JWST. Nature Astronomy. 9(8),
    1134–1147.
  mla: Adamo, Angela, et al. “The First Billion Years According to JWST.” <i>Nature
    Astronomy</i>, vol. 9, no. 8, Springer Nature, 2025, pp. 1134–47, doi:<a href="https://doi.org/10.1038/s41550-025-02624-5">10.1038/s41550-025-02624-5</a>.
  short: A. Adamo, H. Atek, M.B. Bagley, E. Bañados, K.S.S. Barrow, D.A. Berg, R.
    Bezanson, M. Bradač, G. Brammer, A.C. Carnall, J. Chisholm, D. Coe, P. Dayal,
    D.J. Eisenstein, J.J. Eldridge, A. Ferrara, S. Fujimoto, A.D. Graaff, M. Habouzit,
    T.A. Hutchison, J.S. Kartaltepe, S.A. Kassin, M. Kriek, I. Labbé, R. Maiolino,
    R. Marques-Chaves, M.V. Maseda, C. Mason, J.J. Matthee, K.B.W. Mcquinn, G. Meynet,
    R.P. Naidu, P.A. Oesch, L. Pentericci, P.G. Pérez-González, J.R. Rigby, G. Roberts-Borsani,
    D. Schaerer, A.E. Shapley, D.P. Stark, M. Stiavelli, A.L. Strom, E. Vanzella,
    F. Wang, S.M. Wilkins, C.C. Williams, C.J. Willott, D. Wylezalek, A. Nota, Nature
    Astronomy 9 (2025) 1134–1147.
date_created: 2025-08-31T22:01:32Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-09-30T14:28:42Z
day: '01'
department:
- _id: JoMa
doi: 10.1038/s41550-025-02624-5
external_id:
  arxiv:
  - '2405.21054'
  isi:
  - '001547681400001'
intvolume: '         9'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2405.21054
month: '08'
oa: 1
oa_version: Preprint
page: 1134-1147
publication: Nature Astronomy
publication_identifier:
  eissn:
  - 2397-3366
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The first billion years according to JWST
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 9
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20256'
abstract:
- lang: eng
  text: We study the problem of predictive runtime monitoring of black-box dynamical
    systems with quantitative safety properties. The black-box setting stipulates
    that the exact semantics of the dynamical system and the controller are unknown,
    and that we are only able to observe the state of the controlled (aka, closed-loop)
    system at finitely many time points. We present a novel framework for predicting
    future states of the system based on the states observed in the past. The numbers
    of past states and of predicted future states are parameters provided by the user.
    Our method is based on a combination of Taylor’s expansion and the backward difference
    operator for numerical differentiation. We also derive an upper bound on the prediction
    error under the assumption that the system dynamics and the controller are smooth.
    The predicted states are then used to predict safety violations ahead in time.
    Our experiments demonstrate practical applicability of our method for complex
    black-box systems, showing that it is computationally lightweight and yet significantly
    more accurate than the state-of-the-art predictive safety monitoring techniques.
acknowledgement: "This work was supported in part by the ERC project ERC-2020-AdG
  101020093.\r\n"
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Fabian
  full_name: Kresse, Fabian
  id: faff3c84-23f6-11ef-9085-e5187b51c604
  last_name: Kresse
- first_name: Kaushik
  full_name: Mallik, Kaushik
  id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
  last_name: Mallik
  orcid: 0000-0001-9864-7475
- first_name: Zhengqi
  full_name: Yu, Zhengqi
  id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342
  last_name: Yu
- first_name: Dorde
  full_name: Zikelic, Dorde
  id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
  last_name: Zikelic
  orcid: 0000-0002-4681-1699
citation:
  ama: 'Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of
    black-box dynamical systems. In: <i>7th Annual Learning for Dynamics &#38; Control
    Conference</i>. Vol 283. ML Research Press; 2025:804-816.'
  apa: 'Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., &#38; Zikelic, D. (2025).
    Predictive monitoring of black-box dynamical systems. In <i>7th Annual Learning
    for Dynamics &#38; Control Conference</i> (Vol. 283, pp. 804–816). Ann Arbor,
    MI, United States: ML Research Press.'
  chicago: Henzinger, Thomas A, Fabian Kresse, Kaushik Mallik, Emily Yu, and Dorde
    Zikelic. “Predictive Monitoring of Black-Box Dynamical Systems.” In <i>7th Annual
    Learning for Dynamics &#38; Control Conference</i>, 283:804–16. ML Research Press,
    2025.
  ieee: T. A. Henzinger, F. Kresse, K. Mallik, E. Yu, and D. Zikelic, “Predictive
    monitoring of black-box dynamical systems,” in <i>7th Annual Learning for Dynamics
    &#38; Control Conference</i>, Ann Arbor, MI, United States, 2025, vol. 283, pp.
    804–816.
  ista: 'Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. 2025. Predictive monitoring
    of black-box dynamical systems. 7th Annual Learning for Dynamics &#38; Control
    Conference. L4DC: Learning for Dynamics &#38; Control, PMLR, vol. 283, 804–816.'
  mla: Henzinger, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical
    Systems.” <i>7th Annual Learning for Dynamics &#38; Control Conference</i>, vol.
    283, ML Research Press, 2025, pp. 804–16.
  short: T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual
    Learning for Dynamics &#38; Control Conference, ML Research Press, 2025, pp. 804–816.
conference:
  end_date: 2025-06-06
  location: Ann Arbor, MI, United States
  name: 'L4DC: Learning for Dynamics & Control'
  start_date: 2025-06-04
corr_author: '1'
date_created: 2025-08-31T22:01:32Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-09-03T10:37:59Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
- _id: ChLa
ec_funded: 1
external_id:
  arxiv:
  - '2412.16564'
file:
- access_level: open_access
  checksum: d5236e561560635f5ae1d17de4903033
  content_type: application/pdf
  creator: dernst
  date_created: 2025-09-03T10:32:12Z
  date_updated: 2025-09-03T10:32:12Z
  file_id: '20283'
  file_name: 2025_L4DC_HenzingerT.pdf
  file_size: 489639
  relation: main_file
  success: 1
file_date_updated: 2025-09-03T10:32:12Z
has_accepted_license: '1'
intvolume: '       283'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 804-816
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: 7th Annual Learning for Dynamics & Control Conference
publication_identifier:
  eissn:
  - 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Predictive monitoring of black-box dynamical systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 283
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20258'
abstract:
- lang: eng
  text: The specific introduction of ^1H-^13C or ^1H-^15N moieties into otherwise
    deuterated proteins holds great potential for high-resolution solution and magic-angle
    spinning (MAS) NMR studies of protein structure and dynamics. Arginine residues
    play key roles for example at active sites of enzymes. Taking advantage of a chemically
    synthesized Arg with a ^13C-^1H2 group in an otherwise deuterated backbone, we
    demonstrate here the usefulness of proton-detected MAS NMR approaches to probe
    arginine dynamics. In experiments with crystalline ubiquitin and the 134 kDa tetrameric
    enzyme malate dehydrogenase we detected a wide range of motions, from sites that
    are rigid on time scales of at least tens of milliseconds to residues undergoing
    predominantly nanosecond motions. Spin-relaxation and dipolar-coupling measurements
    enabled quantitative determination of these dynamics. We observed microsecond
    dynamics of residue Arg54 in crystalline ubiquitin, whose backbone is known to
    sample different β-turn conformations on this time scale. The labeling scheme
    and experiments presented here expand the toolkit for high-resolution proton-detected
    MAS NMR.
acknowledged_ssus:
- _id: NMR
- _id: LifeSc
acknowledgement: This work was supported financially by the Austrian Science Fund
  (FWF, Grant No. I5812-B, “AlloSpace”). This research was supported by the Scientific
  Service Units (SSU) of Institute of Science and Technology Austria (ISTA) through
  resources provided by the Nuclear Magnetic Resonance Facility and the Lab Support
  Facility (LSF). We thank Petra Rovò and Margarita Valhondo Falcón for excellent
  support of the NMR facility.
article_number: '169379'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Darja
  full_name: Rohden, Darja
  id: 81dc668a-19fa-11f0-bf31-d56534059ef3
  last_name: Rohden
- first_name: Federico
  full_name: Napoli, Federico
  id: d42e08e7-f4fc-11eb-af0a-d71e26138f1b
  last_name: Napoli
  orcid: 0000-0002-9043-136X
- first_name: Anna
  full_name: Kapitonova, Anna
  id: 9fb2a840-89e1-11ee-a8b7-cc5c7ba62471
  last_name: Kapitonova
- first_name: Benjamin
  full_name: Tatman, Benjamin
  id: 71cda2f3-e604-11ee-a1df-da10587eda3f
  last_name: Tatman
- first_name: Roman J.
  full_name: Lichtenecker, Roman J.
  last_name: Lichtenecker
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
citation:
  ama: Rohden D, Napoli F, Kapitonova A, Tatman B, Lichtenecker RJ, Schanda P. Arginine
    dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme.
    <i>Journal of Molecular Biology</i>. 2025;437(23). doi:<a href="https://doi.org/10.1016/j.jmb.2025.169379">10.1016/j.jmb.2025.169379</a>
  apa: Rohden, D., Napoli, F., Kapitonova, A., Tatman, B., Lichtenecker, R. J., &#38;
    Schanda, P. (2025). Arginine dynamics probed by magic-angle spinning NMR with
    a specific isotope-labeling scheme. <i>Journal of Molecular Biology</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.jmb.2025.169379">https://doi.org/10.1016/j.jmb.2025.169379</a>
  chicago: Rohden, Darja, Federico Napoli, Anna Kapitonova, Benjamin Tatman, Roman
    J. Lichtenecker, and Paul Schanda. “Arginine Dynamics Probed by Magic-Angle Spinning
    NMR with a Specific Isotope-Labeling Scheme.” <i>Journal of Molecular Biology</i>.
    Elsevier, 2025. <a href="https://doi.org/10.1016/j.jmb.2025.169379">https://doi.org/10.1016/j.jmb.2025.169379</a>.
  ieee: D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R. J. Lichtenecker, and P.
    Schanda, “Arginine dynamics probed by magic-angle spinning NMR with a specific
    isotope-labeling scheme,” <i>Journal of Molecular Biology</i>, vol. 437, no. 23.
    Elsevier, 2025.
  ista: Rohden D, Napoli F, Kapitonova A, Tatman B, Lichtenecker RJ, Schanda P. 2025.
    Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling
    scheme. Journal of Molecular Biology. 437(23), 169379.
  mla: Rohden, Darja, et al. “Arginine Dynamics Probed by Magic-Angle Spinning NMR
    with a Specific Isotope-Labeling Scheme.” <i>Journal of Molecular Biology</i>,
    vol. 437, no. 23, 169379, Elsevier, 2025, doi:<a href="https://doi.org/10.1016/j.jmb.2025.169379">10.1016/j.jmb.2025.169379</a>.
  short: D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R.J. Lichtenecker, P. Schanda,
    Journal of Molecular Biology 437 (2025).
corr_author: '1'
date_created: 2025-08-31T22:01:33Z
date_published: 2025-12-01T00:00:00Z
date_updated: 2026-06-10T08:20:37Z
day: '01'
ddc:
- '540'
department:
- _id: PaSc
doi: 10.1016/j.jmb.2025.169379
external_id:
  isi:
  - '001618289100020'
file:
- access_level: open_access
  checksum: 90d50594d8ea9860ac5da41297992847
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-29T14:51:40Z
  date_updated: 2025-12-29T14:51:40Z
  file_id: '20876'
  file_name: 2025_JourMolecularBiology_Rohden.pdf
  file_size: 2270555
  relation: main_file
  success: 1
file_date_updated: 2025-12-29T14:51:40Z
has_accepted_license: '1'
intvolume: '       437'
isi: 1
issue: '23'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: eb9c82eb-77a9-11ec-83b8-aadd536561cf
  grant_number: I05812
  name: AlloSpace. The emergence and mechanisms of allostery
publication: Journal of Molecular Biology
publication_identifier:
  eissn:
  - 1089-8638
  issn:
  - 0022-2836
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
  record:
  - id: '19956'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling
  scheme
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: 437
year: '2025'
...
---
OA_type: closed access
_id: '20259'
abstract:
- lang: eng
  text: Cell migration in narrow microenvironments occurs in numerous physiological
    processes. It involves successive cycles of confinement and release that drive
    important morphological changes. However, it remains unclear whether migrating
    cells can retain a memory of their past morphological states that could potentially
    facilitate their navigation through confined spaces. We demonstrate that local
    geometry governs a switch between two cell morphologies, thereby facilitating
    cell passage through long and narrow gaps. We combined cell migration assays on
    standardized microsystems with biophysical modelling and biochemical perturbations
    to show that migrating cells have a long-term memory of past confinement events.
    The morphological cell states correlate across transitions through actin cortex
    remodelling. These findings indicate that mechanical memory in migrating cells
    plays an active role in their migratory potential in confined environments.
acknowledgement: We are grateful to members of S.G.’s laboratory for feedback and
  suggestions. We thank E. Hannezo, J. O. Rädler, M. Piel, O. du Roure and J. Heuvingh
  for inspiring discussions. Y.K. and S.G. acknowledge J. B. Braquenier from Nikon
  Instruments Belux and the Nikon BioImaging Lab in Leiden (the Netherlands) for their
  support with the Nikon Spatial Array Confocal enhanced-resolution confocal microscopy.
  We thank D. S. Herrador and M. Balland for their help in improving the microprinting
  method. D.B.B. was supported by the NOMIS Foundation as a NOMIS Fellow and by an
  EMBO Postdoctoral Fellowship (ALTF 343-2022). Y.K., M.L. and S.G. acknowledge funding
  from the University of Mons (FEDER Prostem Research Project no. 1510614, Wallonia
  DG06), the F.R.S.-FNRS (Epiforce Project no. T.0092.21, Cellsqueezer Project no.
  J.0061.23 and Optopattern Project no. U.NO26.22) and the Interreg projects ANTIRESI
  and MICROPLAITE, which are financially supported by Interreg France-Wallonie-Vlaanderen
  (Fonds Européen de Développement Régional). Y.K. and M.L. are financially supported
  by F.R.S.-FNRS as FRIA Grantee FNRS and Postdoctoral Fellow (Chargé de Recherches),
  respectively. Y.K. and S.G. acknowledge le Fonds pour la Recherche Médicale dans
  le Hainaut (FRMH). G.C. was supported by a grant from the Biotechnology and Biological
  Sciences Research Council (grant no. BB/V007483/1).
article_processing_charge: No
article_type: original
author:
- first_name: Yohalie
  full_name: Kalukula, Yohalie
  last_name: Kalukula
- first_name: Marine
  full_name: Luciano, Marine
  last_name: Luciano
- first_name: Gleb
  full_name: Simanov, Gleb
  last_name: Simanov
- first_name: Guillaume
  full_name: Charras, Guillaume
  last_name: Charras
- first_name: David
  full_name: Brückner, David
  id: e1e86031-6537-11eb-953a-f7ab92be508d
  last_name: Brückner
  orcid: 0000-0001-7205-2975
- first_name: Sylvain
  full_name: Gabriele, Sylvain
  last_name: Gabriele
citation:
  ama: Kalukula Y, Luciano M, Simanov G, Charras G, Brückner D, Gabriele S. The actin
    cortex acts as a mechanical memory of morphology in confined migrating cells.
    <i>Nature Physics</i>. 2025;21:1451-1461. doi:<a href="https://doi.org/10.1038/s41567-025-02980-z">10.1038/s41567-025-02980-z</a>
  apa: Kalukula, Y., Luciano, M., Simanov, G., Charras, G., Brückner, D., &#38; Gabriele,
    S. (2025). The actin cortex acts as a mechanical memory of morphology in confined
    migrating cells. <i>Nature Physics</i>. Springer Nature. <a href="https://doi.org/10.1038/s41567-025-02980-z">https://doi.org/10.1038/s41567-025-02980-z</a>
  chicago: Kalukula, Yohalie, Marine Luciano, Gleb Simanov, Guillaume Charras, David
    Brückner, and Sylvain Gabriele. “The Actin Cortex Acts as a Mechanical Memory
    of Morphology in Confined Migrating Cells.” <i>Nature Physics</i>. Springer Nature,
    2025. <a href="https://doi.org/10.1038/s41567-025-02980-z">https://doi.org/10.1038/s41567-025-02980-z</a>.
  ieee: Y. Kalukula, M. Luciano, G. Simanov, G. Charras, D. Brückner, and S. Gabriele,
    “The actin cortex acts as a mechanical memory of morphology in confined migrating
    cells,” <i>Nature Physics</i>, vol. 21. Springer Nature, pp. 1451–1461, 2025.
  ista: Kalukula Y, Luciano M, Simanov G, Charras G, Brückner D, Gabriele S. 2025.
    The actin cortex acts as a mechanical memory of morphology in confined migrating
    cells. Nature Physics. 21, 1451–1461.
  mla: Kalukula, Yohalie, et al. “The Actin Cortex Acts as a Mechanical Memory of
    Morphology in Confined Migrating Cells.” <i>Nature Physics</i>, vol. 21, Springer
    Nature, 2025, pp. 1451–61, doi:<a href="https://doi.org/10.1038/s41567-025-02980-z">10.1038/s41567-025-02980-z</a>.
  short: Y. Kalukula, M. Luciano, G. Simanov, G. Charras, D. Brückner, S. Gabriele,
    Nature Physics 21 (2025) 1451–1461.
corr_author: '1'
date_created: 2025-08-31T22:01:33Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-12-30T09:34:11Z
day: '01'
department:
- _id: EdHa
doi: 10.1038/s41567-025-02980-z
external_id:
  isi:
  - '001556019400001'
intvolume: '        21'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 1451-1461
project:
- _id: 34e2a5b5-11ca-11ed-8bc3-b2265616ef0b
  grant_number: ALTF 343-2022
  name: A mechano-chemical theory for stem cell fate decisions in organoid development
publication: Nature Physics
publication_identifier:
  eissn:
  - 1745-2481
  issn:
  - 1745-2473
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The actin cortex acts as a mechanical memory of morphology in confined migrating
  cells
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2025'
...
