---
_id: '9946'
abstract:
- lang: eng
  text: We argue that the time is ripe to investigate differential monitoring, in
    which the specification of a program's behavior is implicitly given by a second
    program implementing the same informal specification. Similar ideas have been
    proposed before, and are currently implemented in restricted form for testing
    and specialized run-time analyses, aspects of which we combine. We discuss the
    challenges of implementing differential monitoring as a general-purpose, black-box
    run-time monitoring framework, and present promising results of a preliminary
    implementation, showing low monitoring overheads for diverse programs.
acknowledgement: The authors would like to thank Borzoo Bonakdarpour, Derek Dreyer,
  Adrian Francalanza, Owolabi Legunsen, Matthew Milano, Manuel Rigger, Cesar Sanchez,
  and the members of the IST Verification Seminar for their helpful comments and insights
  on various stages of this work, as well as the reviewers of RV’21 for their helpful
  suggestions on the actual paper.
alternative_title:
- IST Austria Technical Report
article_processing_charge: No
author:
- first_name: Fabian
  full_name: Mühlböck, Fabian
  id: 6395C5F6-89DF-11E9-9C97-6BDFE5697425
  last_name: Mühlböck
  orcid: 0000-0003-1548-0177
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: Mühlböck F, Henzinger TA. <i>Differential Monitoring</i>. IST Austria; 2021.
    doi:<a href="https://doi.org/10.15479/AT:ISTA:9946">10.15479/AT:ISTA:9946</a>
  apa: Mühlböck, F., &#38; Henzinger, T. A. (2021). <i>Differential monitoring</i>.
    IST Austria. <a href="https://doi.org/10.15479/AT:ISTA:9946">https://doi.org/10.15479/AT:ISTA:9946</a>
  chicago: Mühlböck, Fabian, and Thomas A Henzinger. <i>Differential Monitoring</i>.
    IST Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9946">https://doi.org/10.15479/AT:ISTA:9946</a>.
  ieee: F. Mühlböck and T. A. Henzinger, <i>Differential monitoring</i>. IST Austria,
    2021.
  ista: Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
  mla: Mühlböck, Fabian, and Thomas A. Henzinger. <i>Differential Monitoring</i>.
    IST Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9946">10.15479/AT:ISTA:9946</a>.
  short: F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
date_created: 2021-08-20T20:00:37Z
date_published: 2021-09-01T00:00:00Z
date_updated: 2023-08-14T07:20:29Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.15479/AT:ISTA:9946
file:
- access_level: open_access
  checksum: 0f9aafd59444cb6bdca6925d163ab946
  content_type: application/pdf
  creator: fmuehlbo
  date_created: 2021-08-20T19:59:44Z
  date_updated: 2021-09-03T12:34:28Z
  file_id: '9948'
  file_name: differentialmonitoring-techreport.pdf
  file_size: '320453'
  relation: main_file
file_date_updated: 2021-09-03T12:34:28Z
has_accepted_license: '1'
keyword:
- run-time verification
- software engineering
- implicit specification
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '17'
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
related_material:
  record:
  - id: '9281'
    relation: other
    status: public
  - id: '10108'
    relation: shorter_version
    status: public
status: public
title: Differential monitoring
type: technical_report
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '9949'
article_processing_charge: No
author:
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
citation:
  ama: Vicoso B. Data from Hyulmans et al 2021, “Transitions to asexuality and evolution
    of gene expression in Artemia brine shrimp.” 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:9949">10.15479/AT:ISTA:9949</a>
  apa: Vicoso, B. (2021). Data from Hyulmans et al 2021, “Transitions to asexuality
    and evolution of gene expression in Artemia brine shrimp.” Institute of Science
    and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:9949">https://doi.org/10.15479/AT:ISTA:9949</a>
  chicago: Vicoso, Beatriz. “Data from Hyulmans et Al 2021, ‘Transitions to Asexuality
    and Evolution of Gene Expression in Artemia Brine Shrimp.’” Institute of Science
    and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9949">https://doi.org/10.15479/AT:ISTA:9949</a>.
  ieee: B. Vicoso, “Data from Hyulmans et al 2021, ‘Transitions to asexuality and
    evolution of gene expression in Artemia brine shrimp.’” Institute of Science and
    Technology Austria, 2021.
  ista: Vicoso B. 2021. Data from Hyulmans et al 2021, ‘Transitions to asexuality
    and evolution of gene expression in Artemia brine shrimp’, Institute of Science
    and Technology Austria, <a href="https://doi.org/10.15479/AT:ISTA:9949">10.15479/AT:ISTA:9949</a>.
  mla: Vicoso, Beatriz. <i>Data from Hyulmans et Al 2021, “Transitions to Asexuality
    and Evolution of Gene Expression in Artemia Brine Shrimp.”</i> Institute of Science
    and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9949">10.15479/AT:ISTA:9949</a>.
  short: B. Vicoso, (2021).
date_created: 2021-08-21T13:44:22Z
date_published: 2021-08-24T00:00:00Z
date_updated: 2024-02-21T12:40:30Z
day: '24'
department:
- _id: BeVi
doi: 10.15479/AT:ISTA:9949
file:
- access_level: open_access
  checksum: 90461837eed66beac6fa302993cf0ca9
  content_type: application/zip
  creator: bvicoso
  date_created: 2021-08-21T13:43:59Z
  date_updated: 2021-08-21T13:43:59Z
  file_id: '9950'
  file_name: Data.zip
  file_size: 139188306
  relation: main_file
  success: 1
file_date_updated: 2021-08-21T13:43:59Z
has_accepted_license: '1'
license: https://creativecommons.org/licenses/by/4.0/
month: '08'
oa: 1
oa_version: None
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '10166'
    relation: used_in_publication
    status: public
status: public
title: Data from Hyulmans et al 2021, "Transitions to asexuality and evolution of
  gene expression in Artemia brine shrimp"
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9951'
abstract:
- lang: eng
  text: "There has recently been a surge of interest in the computational and complexity
    properties of the population model, which assumes n anonymous, computationally-bounded
    nodes, interacting at random, with the goal of jointly computing global predicates.
    Significant work has gone towards investigating majority or consensus dynamics
    in this model: that is, assuming that every node is initially in one of two states
    X or Y, determine which state had higher initial count.\r\n\r\nIn this paper,
    we consider a natural generalization of majority/consensus, which we call comparison
    : in its simplest formulation, we are given two baseline states, X and Y, present
    in any initial configuration in fixed, but possibly small counts. One of these
    states has higher count than the other: we will assume |X_0| > C |Y_0| for some
    constant C > 1. The challenge is to design a protocol by which nodes can quickly
    and reliably decide on which of the baseline states X_0 and Y_0 has higher initial
    count. We begin by analyzing a simple and general dynamics solving the above comparison
    problem, which uses O( log n ) states per node, and converges in O(log n) (parallel)
    time, with high probability, to a state where the whole population votes on opinions
    X or Y at rates proportional to the initial concentrations of |X_0| vs. |Y_0|.
    We then describe how this procedure can be bootstrapped to solve comparison, i.e.
    have every node in the population reach the \"correct'' decision, with probability
    1 - o(1), at the cost of O (log log n) additional states. Further, we prove that
    this dynamics is self-stabilizing, in the sense that it converges to the correct
    decision from arbitrary initial states, and leak-robust, in the sense that it
    can withstand spurious faulty reactions, which are known to occur in practical
    implementations of population protocols. Our analysis is based on a new martingale
    concentration result relating the discrete-time evolution of a population protocol
    to its expected (steady-state) analysis, which should be a useful tool when analyzing
    opinion dynamics and epidemic dissemination in the population model."
acknowledgement: We would like to thank Rati Gelashvili for very useful discussions,
  and the PODC anonymous reviewers for their careful reading of our paper, and for
  their useful remarks. This work is partially supported by the Polish National Science
  Center (NCN) grant UMO2017/25/B/ST6/02010.
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Martin
  full_name: Töpfer, Martin
  id: 4B865388-F248-11E8-B48F-1D18A9856A87
  last_name: Töpfer
- first_name: Przemysław
  full_name: Uznański, Przemysław
  last_name: Uznański
citation:
  ama: 'Alistarh D-A, Töpfer M, Uznański P. Comparison dynamics in population protocols.
    In: <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i>.
    Association for Computing Machinery; 2021:55-65. doi:<a href="https://doi.org/10.1145/3465084.3467915">10.1145/3465084.3467915</a>'
  apa: 'Alistarh, D.-A., Töpfer, M., &#38; Uznański, P. (2021). Comparison dynamics
    in population protocols. In <i>Proceedings of the 2021 ACM Symposium on Principles
    of Distributed Computing</i> (pp. 55–65). Virtual, Italy: Association for Computing
    Machinery. <a href="https://doi.org/10.1145/3465084.3467915">https://doi.org/10.1145/3465084.3467915</a>'
  chicago: Alistarh, Dan-Adrian, Martin Töpfer, and Przemysław Uznański. “Comparison
    Dynamics in Population Protocols.” In <i>Proceedings of the 2021 ACM Symposium
    on Principles of Distributed Computing</i>, 55–65. Association for Computing Machinery,
    2021. <a href="https://doi.org/10.1145/3465084.3467915">https://doi.org/10.1145/3465084.3467915</a>.
  ieee: D.-A. Alistarh, M. Töpfer, and P. Uznański, “Comparison dynamics in population
    protocols,” in <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed
    Computing</i>, Virtual, Italy, 2021, pp. 55–65.
  ista: 'Alistarh D-A, Töpfer M, Uznański P. 2021. Comparison dynamics in population
    protocols. Proceedings of the 2021 ACM Symposium on Principles of Distributed
    Computing. PODC: Symposium on Principles of Distributed Computing, 55–65.'
  mla: Alistarh, Dan-Adrian, et al. “Comparison Dynamics in Population Protocols.”
    <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i>,
    Association for Computing Machinery, 2021, pp. 55–65, doi:<a href="https://doi.org/10.1145/3465084.3467915">10.1145/3465084.3467915</a>.
  short: D.-A. Alistarh, M. Töpfer, P. Uznański, in:, Proceedings of the 2021 ACM
    Symposium on Principles of Distributed Computing, Association for Computing Machinery,
    2021, pp. 55–65.
conference:
  end_date: 2021-07-30
  location: Virtual, Italy
  name: 'PODC: Symposium on Principles of Distributed Computing'
  start_date: 2021-07-26
date_created: 2021-08-22T22:01:20Z
date_published: 2021-07-21T00:00:00Z
date_updated: 2023-08-11T10:56:04Z
day: '21'
department:
- _id: DaAl
doi: 10.1145/3465084.3467915
external_id:
  isi:
  - '000744439800005'
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
page: 55-65
publication: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing
publication_identifier:
  isbn:
  - '9781450385480'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Comparison dynamics in population protocols
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9952'
abstract:
- lang: eng
  text: Proper control of division orientation and symmetry, largely determined by
    spindle positioning, is essential to development and homeostasis. Spindle positioning
    has been extensively studied in cells dividing in two-dimensional (2D) environments
    and in epithelial tissues, where proteins such as NuMA (also known as NUMA1) orient
    division along the interphase long axis of the cell. However, little is known
    about how cells control spindle positioning in three-dimensional (3D) environments,
    such as early mammalian embryos and a variety of adult tissues. Here, we use mouse
    embryonic stem cells (ESCs), which grow in 3D colonies, as a model to investigate
    division in 3D. We observe that, at the periphery of 3D colonies, ESCs display
    high spindle mobility and divide asymmetrically. Our data suggest that enhanced
    spindle movements are due to unequal distribution of the cell–cell junction protein
    E-cadherin between future daughter cells. Interestingly, when cells progress towards
    differentiation, division becomes more symmetric, with more elongated shapes in
    metaphase and enhanced cortical NuMA recruitment in anaphase. Altogether, this
    study suggests that in 3D contexts, the geometry of the cell and its contacts
    with neighbors control division orientation and symmetry.
acknowledgement: We would like to thank the entire Paluch and Baum laboratories at
  the MRC-LMCB and the Chalut lab at the Cambridge SCI for discussions and feedback
  throughout the project, and the MRC-LMCB microscopy platform, in particular Andrew
  Vaughan, for technical support.
article_number: jcs255018
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Agathe
  full_name: Chaigne, Agathe
  last_name: Chaigne
- first_name: Matthew B.
  full_name: Smith, Matthew B.
  last_name: Smith
- first_name: R. L.
  full_name: Cavestany, R. L.
  last_name: Cavestany
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
- first_name: Kevin J.
  full_name: Chalut, Kevin J.
  last_name: Chalut
- first_name: Ewa K.
  full_name: Paluch, Ewa K.
  last_name: Paluch
citation:
  ama: Chaigne A, Smith MB, Cavestany RL, Hannezo EB, Chalut KJ, Paluch EK. Three-dimensional
    geometry controls division symmetry in stem cell colonies. <i>Journal of Cell
    Science</i>. 2021;134(14). doi:<a href="https://doi.org/10.1242/jcs.255018">10.1242/jcs.255018</a>
  apa: Chaigne, A., Smith, M. B., Cavestany, R. L., Hannezo, E. B., Chalut, K. J.,
    &#38; Paluch, E. K. (2021). Three-dimensional geometry controls division symmetry
    in stem cell colonies. <i>Journal of Cell Science</i>. The Company of Biologists.
    <a href="https://doi.org/10.1242/jcs.255018">https://doi.org/10.1242/jcs.255018</a>
  chicago: Chaigne, Agathe, Matthew B. Smith, R. L. Cavestany, Edouard B Hannezo,
    Kevin J. Chalut, and Ewa K. Paluch. “Three-Dimensional Geometry Controls Division
    Symmetry in Stem Cell Colonies.” <i>Journal of Cell Science</i>. The Company of
    Biologists, 2021. <a href="https://doi.org/10.1242/jcs.255018">https://doi.org/10.1242/jcs.255018</a>.
  ieee: A. Chaigne, M. B. Smith, R. L. Cavestany, E. B. Hannezo, K. J. Chalut, and
    E. K. Paluch, “Three-dimensional geometry controls division symmetry in stem cell
    colonies,” <i>Journal of Cell Science</i>, vol. 134, no. 14. The Company of Biologists,
    2021.
  ista: Chaigne A, Smith MB, Cavestany RL, Hannezo EB, Chalut KJ, Paluch EK. 2021.
    Three-dimensional geometry controls division symmetry in stem cell colonies. Journal
    of Cell Science. 134(14), jcs255018.
  mla: Chaigne, Agathe, et al. “Three-Dimensional Geometry Controls Division Symmetry
    in Stem Cell Colonies.” <i>Journal of Cell Science</i>, vol. 134, no. 14, jcs255018,
    The Company of Biologists, 2021, doi:<a href="https://doi.org/10.1242/jcs.255018">10.1242/jcs.255018</a>.
  short: A. Chaigne, M.B. Smith, R.L. Cavestany, E.B. Hannezo, K.J. Chalut, E.K. Paluch,
    Journal of Cell Science 134 (2021).
date_created: 2021-08-22T22:01:20Z
date_published: 2021-07-01T00:00:00Z
date_updated: 2023-08-11T10:55:36Z
day: '01'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1242/jcs.255018
external_id:
  isi:
  - '000681395800008'
file:
- access_level: open_access
  checksum: f086f9d7cb63b2474c01921cb060c513
  content_type: application/pdf
  creator: asandaue
  date_created: 2021-08-23T07:32:20Z
  date_updated: 2021-08-23T07:32:20Z
  file_id: '9954'
  file_name: 2021_JournalOfCellScience_Chaigne.pdf
  file_size: 8651724
  relation: main_file
  success: 1
file_date_updated: 2021-08-23T07:32:20Z
has_accepted_license: '1'
intvolume: '       134'
isi: 1
issue: '14'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: Journal of Cell Science
publication_identifier:
  eissn:
  - '14779137'
  issn:
  - '00219533'
publication_status: published
publisher: The Company of Biologists
quality_controlled: '1'
scopus_import: '1'
status: public
title: Three-dimensional geometry controls division symmetry in stem cell colonies
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 134
year: '2021'
...
---
_id: '9953'
abstract:
- lang: eng
  text: Chronic psychological stress is one of the most important triggers and environmental
    risk factors for neuropsychiatric disorders. Chronic stress can influence all
    organs via the secretion of stress hormones, including glucocorticoids by the
    adrenal glands, which coordinate the stress response across the body. In the brain,
    glucocorticoid receptors (GR) are expressed by various cell types including microglia,
    which are its resident immune cells regulating stress-induced inflammatory processes.
    To study the roles of microglial GR under normal homeostatic conditions and following
    chronic stress, we generated a mouse model in which the GR gene is depleted in
    microglia specifically at adulthood to prevent developmental confounds. We first
    confirmed that microglia were depleted in GR in our model in males and females
    among the cingulate cortex and the hippocampus, both stress-sensitive brain regions.
    Then, cohorts of microglial-GR depleted and wild-type (WT) adult female mice were
    housed for 3 weeks in a standard or stressful condition, using a chronic unpredictable
    mild stress (CUMS) paradigm. CUMS induced stress-related behavior in both microglial-GR
    depleted and WT animals as demonstrated by a decrease of both saccharine preference
    and progressive ratio breakpoint. Nevertheless, the hippocampal microglial and
    neural mechanisms underlying the adaptation to stress occurred differently between
    the two genotypes. Upon CUMS exposure, microglial morphology was altered in the
    WT controls, without any apparent effect in microglial-GR depleted mice. Furthermore,
    in the standard environment condition, GR depleted-microglia showed increased
    expression of pro-inflammatory genes, and genes involved in microglial homeostatic
    functions (such as Trem2, Cx3cr1 and Mertk). On the contrary, in CUMS condition,
    GR depleted-microglia showed reduced expression levels of pro-inflammatory genes
    and increased neuroprotective as well as anti-inflammatory genes compared to WT-microglia.
    Moreover, in microglial-GR depleted mice, but not in WT mice, CUMS led to a significant
    reduction of CA1 long-term potentiation and paired-pulse ratio. Lastly, differences
    in adult hippocampal neurogenesis were observed between the genotypes during normal
    homeostatic conditions, with microglial-GR deficiency increasing the formation
    of newborn neurons in the dentate gyrus subgranular zone independently from stress
    exposure. Together, these findings indicate that, although the deletion of microglial
    GR did not prevent the animal’s ability to respond to stress, it contributed to
    modulating hippocampal functions in both standard and stressful conditions, notably
    by shaping the microglial response to chronic stress.
acknowledgement: We acknowledge that Université Laval stands on the traditional and
  unceded land of the Huron-Wendat peoples; and that the University of Victoria exists
  on the territory of the Lekwungen peoples and that the Songhees, Esquimalt and WSÁNEÆ
  peoples have relationships to this land. We thank Emmanuel Planel for the access
  to the epifluorescence microscope and Julie-Christine Lévesque at the Bioimaging
  Platform of CRCHU de Québec-Université Laval for technical assistance. We also thank
  the Centre for Advanced Materials and Related Technology for the access to the confocal
  microscope with Airyscan. K.P. was supported by a doctoral scholarship from Fonds
  de Recherche du Québec – Santé (FRQS), an excellence award from Fondation du CHU
  de Québec, as well as from Centre Thématique de Recherche en Neurosciences and from
  Fondation Famille-Choquette. K.B. was supported by excellence scholarships from
  Université Laval and Fondation du CHU de Québec. S.G. is supported by FIRC-AIRC
  fellowship for Italy 22329/2018 and by Pilot ARISLA NKINALS 2019. C.W.H. and J.C.S.
  were supported by postdoctoral fellowships from FRQS. This study was funded by a
  Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery grant
  (RGPIN-2014-05308) awarded to M.E.T., by ERANET neuron 2017 MicroSynDep to M.E.T.
  and I.B., and by the Italian Ministry of Health, grant RF-2018-12367249 to I.B,
  by PRIN 2017, AIRC 2019 and Ministero della Salute RF2018 to C.L. M.E.T. is a Tier
  II Canada Research Chair in Neurobiology of Aging and Cognition.
article_processing_charge: No
article_type: original
author:
- first_name: Katherine
  full_name: Picard, Katherine
  last_name: Picard
- first_name: Kanchan
  full_name: Bisht, Kanchan
  last_name: Bisht
- first_name: Silvia
  full_name: Poggini, Silvia
  last_name: Poggini
- first_name: Stefano
  full_name: Garofalo, Stefano
  last_name: Garofalo
- first_name: Maria Teresa
  full_name: Golia, Maria Teresa
  last_name: Golia
- first_name: Bernadette
  full_name: Basilico, Bernadette
  id: 36035796-5ACA-11E9-A75E-7AF2E5697425
  last_name: Basilico
  orcid: 0000-0003-1843-3173
- first_name: Fatima
  full_name: Abdallah, Fatima
  last_name: Abdallah
- first_name: Naomi
  full_name: Ciano Albanese, Naomi
  last_name: Ciano Albanese
- first_name: Irmgard
  full_name: Amrein, Irmgard
  last_name: Amrein
- first_name: Nathalie
  full_name: Vernoux, Nathalie
  last_name: Vernoux
- first_name: Kaushik
  full_name: Sharma, Kaushik
  last_name: Sharma
- first_name: Chin Wai
  full_name: Hui, Chin Wai
  last_name: Hui
- first_name: Julie
  full_name: C. Savage, Julie
  last_name: C. Savage
- first_name: Cristina
  full_name: Limatola, Cristina
  last_name: Limatola
- first_name: Davide
  full_name: Ragozzino, Davide
  last_name: Ragozzino
- first_name: Laura
  full_name: Maggi, Laura
  last_name: Maggi
- first_name: Igor
  full_name: Branchi, Igor
  last_name: Branchi
- first_name: Marie Ève
  full_name: Tremblay, Marie Ève
  last_name: Tremblay
citation:
  ama: Picard K, Bisht K, Poggini S, et al. Microglial-glucocorticoid receptor depletion
    alters the response of hippocampal microglia and neurons in a chronic unpredictable
    mild stress paradigm in female mice. <i>Brain, Behavior, and Immunity</i>. 2021;97:423-439.
    doi:<a href="https://doi.org/10.1016/j.bbi.2021.07.022">10.1016/j.bbi.2021.07.022</a>
  apa: Picard, K., Bisht, K., Poggini, S., Garofalo, S., Golia, M. T., Basilico, B.,
    … Tremblay, M. È. (2021). Microglial-glucocorticoid receptor depletion alters
    the response of hippocampal microglia and neurons in a chronic unpredictable mild
    stress paradigm in female mice. <i>Brain, Behavior, and Immunity</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.bbi.2021.07.022">https://doi.org/10.1016/j.bbi.2021.07.022</a>
  chicago: Picard, Katherine, Kanchan Bisht, Silvia Poggini, Stefano Garofalo, Maria
    Teresa Golia, Bernadette Basilico, Fatima Abdallah, et al. “Microglial-Glucocorticoid
    Receptor Depletion Alters the Response of Hippocampal Microglia and Neurons in
    a Chronic Unpredictable Mild Stress Paradigm in Female Mice.” <i>Brain, Behavior,
    and Immunity</i>. Elsevier, 2021. <a href="https://doi.org/10.1016/j.bbi.2021.07.022">https://doi.org/10.1016/j.bbi.2021.07.022</a>.
  ieee: K. Picard <i>et al.</i>, “Microglial-glucocorticoid receptor depletion alters
    the response of hippocampal microglia and neurons in a chronic unpredictable mild
    stress paradigm in female mice,” <i>Brain, Behavior, and Immunity</i>, vol. 97.
    Elsevier, pp. 423–439, 2021.
  ista: Picard K, Bisht K, Poggini S, Garofalo S, Golia MT, Basilico B, Abdallah F,
    Ciano Albanese N, Amrein I, Vernoux N, Sharma K, Hui CW, C. Savage J, Limatola
    C, Ragozzino D, Maggi L, Branchi I, Tremblay MÈ. 2021. Microglial-glucocorticoid
    receptor depletion alters the response of hippocampal microglia and neurons in
    a chronic unpredictable mild stress paradigm in female mice. Brain, Behavior,
    and Immunity. 97, 423–439.
  mla: Picard, Katherine, et al. “Microglial-Glucocorticoid Receptor Depletion Alters
    the Response of Hippocampal Microglia and Neurons in a Chronic Unpredictable Mild
    Stress Paradigm in Female Mice.” <i>Brain, Behavior, and Immunity</i>, vol. 97,
    Elsevier, 2021, pp. 423–39, doi:<a href="https://doi.org/10.1016/j.bbi.2021.07.022">10.1016/j.bbi.2021.07.022</a>.
  short: K. Picard, K. Bisht, S. Poggini, S. Garofalo, M.T. Golia, B. Basilico, F.
    Abdallah, N. Ciano Albanese, I. Amrein, N. Vernoux, K. Sharma, C.W. Hui, J. C.
    Savage, C. Limatola, D. Ragozzino, L. Maggi, I. Branchi, M.È. Tremblay, Brain,
    Behavior, and Immunity 97 (2021) 423–439.
date_created: 2021-08-22T22:01:21Z
date_published: 2021-10-01T00:00:00Z
date_updated: 2023-10-03T09:49:18Z
day: '01'
department:
- _id: GaNo
doi: 10.1016/j.bbi.2021.07.022
external_id:
  isi:
  - '000702878400007'
  pmid:
  - '34343616'
intvolume: '        97'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.zora.uzh.ch/id/eprint/208855/1/ZORA208855.pdf
month: '10'
oa: 1
oa_version: Submitted Version
page: 423-439
pmid: 1
publication: Brain, Behavior, and Immunity
publication_identifier:
  issn:
  - 0889-1591
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Microglial-glucocorticoid receptor depletion alters the response of hippocampal
  microglia and neurons in a chronic unpredictable mild stress paradigm in female
  mice
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 97
year: '2021'
...
---
_id: '9957'
abstract:
- lang: eng
  text: The reflectance field of a face describes the reflectance properties responsible
    for complex lighting effects including diffuse, specular, inter-reflection and
    self shadowing. Most existing methods for estimating the face reflectance from
    a monocular image assume faces to be diffuse with very few approaches adding a
    specular component. This still leaves out important perceptual aspects of reflectance
    as higher-order global illumination effects and self-shadowing are not modeled.
    We present a new neural representation for face reflectance where we can estimate
    all components of the reflectance responsible for the final appearance from a
    single monocular image. Instead of modeling each component of the reflectance
    separately using parametric models, our neural representation allows us to generate
    a basis set of faces in a geometric deformation-invariant space, parameterized
    by the input light direction, viewpoint and face geometry. We learn to reconstruct
    this reflectance field of a face just from a monocular image, which can be used
    to render the face from any viewpoint in any light condition. Our method is trained
    on a light-stage training dataset, which captures 300 people illuminated with
    150 light conditions from 8 viewpoints. We show that our method outperforms existing
    monocular reflectance reconstruction methods, in terms of photorealism due to
    better capturing of physical premitives, such as sub-surface scattering, specularities,
    self-shadows and other higher-order effects.
acknowledgement: "We thank Tarun Yenamandra and Duarte David for helping us with the
  comparisons. This work was supported by the\r\nERC Consolidator Grant 4DReply (770784).
  We also acknowledge support from InterDigital."
article_processing_charge: No
arxiv: 1
author:
- first_name: Mallikarjun
  full_name: B R, Mallikarjun
  last_name: B R
- first_name: Ayush
  full_name: Tewari, Ayush
  last_name: Tewari
- first_name: Tae-Hyun
  full_name: Oh, Tae-Hyun
  last_name: Oh
- first_name: Tim
  full_name: Weyrich, Tim
  last_name: Weyrich
- first_name: Bernd
  full_name: Bickel, Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Hans-Peter
  full_name: Seidel, Hans-Peter
  last_name: Seidel
- first_name: Hanspeter
  full_name: Pfister, Hanspeter
  last_name: Pfister
- first_name: Wojciech
  full_name: Matusik, Wojciech
  last_name: Matusik
- first_name: Mohamed
  full_name: Elgharib, Mohamed
  last_name: Elgharib
- first_name: Christian
  full_name: Theobalt, Christian
  last_name: Theobalt
citation:
  ama: 'B R M, Tewari A, Oh T-H, et al. Monocular reconstruction of neural face reflectance
    fields. In: <i>Proceedings of the IEEE Computer Society Conference on Computer
    Vision and Pattern Recognition</i>. IEEE; 2021:4791-4800. doi:<a href="https://doi.org/10.1109/CVPR46437.2021.00476">10.1109/CVPR46437.2021.00476</a>'
  apa: 'B R, M., Tewari, A., Oh, T.-H., Weyrich, T., Bickel, B., Seidel, H.-P., …
    Theobalt, C. (2021). Monocular reconstruction of neural face reflectance fields.
    In <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and
    Pattern Recognition</i> (pp. 4791–4800). Nashville, TN, United States; Virtual:
    IEEE. <a href="https://doi.org/10.1109/CVPR46437.2021.00476">https://doi.org/10.1109/CVPR46437.2021.00476</a>'
  chicago: B R, Mallikarjun, Ayush Tewari, Tae-Hyun Oh, Tim Weyrich, Bernd Bickel,
    Hans-Peter Seidel, Hanspeter Pfister, Wojciech Matusik, Mohamed Elgharib, and
    Christian Theobalt. “Monocular Reconstruction of Neural Face Reflectance Fields.”
    In <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and
    Pattern Recognition</i>, 4791–4800. IEEE, 2021. <a href="https://doi.org/10.1109/CVPR46437.2021.00476">https://doi.org/10.1109/CVPR46437.2021.00476</a>.
  ieee: M. B R <i>et al.</i>, “Monocular reconstruction of neural face reflectance
    fields,” in <i>Proceedings of the IEEE Computer Society Conference on Computer
    Vision and Pattern Recognition</i>, Nashville, TN, United States; Virtual, 2021,
    pp. 4791–4800.
  ista: 'B R M, Tewari A, Oh T-H, Weyrich T, Bickel B, Seidel H-P, Pfister H, Matusik
    W, Elgharib M, Theobalt C. 2021. Monocular reconstruction of neural face reflectance
    fields. Proceedings of the IEEE Computer Society Conference on Computer Vision
    and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition,
    4791–4800.'
  mla: B R, Mallikarjun, et al. “Monocular Reconstruction of Neural Face Reflectance
    Fields.” <i>Proceedings of the IEEE Computer Society Conference on Computer Vision
    and Pattern Recognition</i>, IEEE, 2021, pp. 4791–800, doi:<a href="https://doi.org/10.1109/CVPR46437.2021.00476">10.1109/CVPR46437.2021.00476</a>.
  short: M. B R, A. Tewari, T.-H. Oh, T. Weyrich, B. Bickel, H.-P. Seidel, H. Pfister,
    W. Matusik, M. Elgharib, C. Theobalt, in:, Proceedings of the IEEE Computer Society
    Conference on Computer Vision and Pattern Recognition, IEEE, 2021, pp. 4791–4800.
conference:
  end_date: 2021-06-25
  location: Nashville, TN, United States; Virtual
  name: 'CVPR: Conference on Computer Vision and Pattern Recognition'
  start_date: 2021-06-20
date_created: 2021-08-24T06:03:00Z
date_published: 2021-09-01T00:00:00Z
date_updated: 2023-08-11T11:08:35Z
day: '01'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.1109/CVPR46437.2021.00476
external_id:
  arxiv:
  - '2008.10247'
  isi:
  - '000739917304096'
file:
- access_level: open_access
  checksum: 961db0bde76dd87cf833930080bb9f38
  content_type: application/pdf
  creator: bbickel
  date_created: 2021-08-24T06:02:15Z
  date_updated: 2021-08-24T06:02:15Z
  file_id: '9958'
  file_name: R_Monocular_Reconstruction_of_Neural_Face_Reflectance_Fields_CVPR_2021_paper[1].pdf
  file_size: 4746649
  relation: main_file
file_date_updated: 2021-08-24T06:02:15Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Preprint
page: 4791-4800
publication: Proceedings of the IEEE Computer Society Conference on Computer Vision
  and Pattern Recognition
publication_identifier:
  isbn:
  - 978-166544509-2
  issn:
  - 1063-6919
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monocular reconstruction of neural face reflectance fields
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9960'
abstract:
- lang: eng
  text: The control of many-body quantum dynamics in complex systems is a key challenge
    in the quest to reliably produce and manipulate large-scale quantum entangled
    states. Recently, quench experiments in Rydberg atom arrays [Bluvstein et al.
    Science 371, 1355 (2021)] demonstrated that coherent revivals associated with
    quantum many-body scars can be stabilized by periodic driving, generating stable
    subharmonic responses over a wide parameter regime. We analyze a simple, related
    model where these phenomena originate from spatiotemporal ordering in an effective
    Floquet unitary, corresponding to discrete time-crystalline behavior in a prethermal
    regime. Unlike conventional discrete time crystals, the subharmonic response exists
    only for Néel-like initial states, associated with quantum scars. We predict robustness
    to perturbations and identify emergent timescales that could be observed in future
    experiments. Our results suggest a route to controlling entanglement in interacting
    quantum systems by combining periodic driving with many-body scars.
acknowledgement: We thank Dmitry Abanin, Ehud Altman, Iris Cong, Sepehr Ebadi, Alex
  Keesling, Harry Levine, Ahmed Omran, Hannes Pichler, Rhine Samajdar, Guilia Semeghini,
  Tout Wang, Norman Yao, and Harry Zhou or stimulating discussions. We acknowledge
  support from the Center for Ultracold Atoms, the National Science Foundation, the
  Vannevar Bush Faculty Fellowship, the U.S. Department of Energy, the Army Research
  Office MURI, and the DARPA ONISQ program (M. L., N. M, W. W. H., D. B.); the European
  Research Council (ERC) under the European Union’s Horizon 2020 Research and Innovation
  Programme Grant Agreement No. 850899 (A. M. and M. S.); the Department of Energy
  Computational Science Graduate Fellowship under Awards No. DESC0021110 (N. M.);
  the Moore Foundation EPiQS initiative Grant No. GBMF4306, the National University
  of Singapore (NUS) Development Grant AY2019/2020 and the Stanford Institute for
  Theoretical Physics (W. W. H.); the NSF Graduate Research Fellowship Program (Grant
  No. DGE1745303) and The Fannie and John Hertz Foundation (D. B.); the Miller Institute
  for Basic Research in Science (S. C.); DOE Quantum Systems Accelerator – Contract
  No. 7568717; and DOE Programmable Quantum Simulators for Lattice Gauge Theories
  and Gauge-Gravity Correspondence – Grant No. DE-SC0021013.
article_number: '090602'
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: N.
  full_name: Maskara, N.
  last_name: Maskara
- first_name: Alexios
  full_name: Michailidis, Alexios
  id: 36EBAD38-F248-11E8-B48F-1D18A9856A87
  last_name: Michailidis
  orcid: 0000-0002-8443-1064
- first_name: W. W.
  full_name: Ho, W. W.
  last_name: Ho
- first_name: D.
  full_name: Bluvstein, D.
  last_name: Bluvstein
- first_name: S.
  full_name: Choi, S.
  last_name: Choi
- first_name: M. D.
  full_name: Lukin, M. D.
  last_name: Lukin
- first_name: Maksym
  full_name: Serbyn, Maksym
  id: 47809E7E-F248-11E8-B48F-1D18A9856A87
  last_name: Serbyn
  orcid: 0000-0002-2399-5827
citation:
  ama: 'Maskara N, Michailidis A, Ho WW, et al. Discrete time-crystalline order enabled
    by quantum many-body scars: Entanglement steering via periodic driving. <i>Physical
    Review Letters</i>. 2021;127(9). doi:<a href="https://doi.org/10.1103/PhysRevLett.127.090602">10.1103/PhysRevLett.127.090602</a>'
  apa: 'Maskara, N., Michailidis, A., Ho, W. W., Bluvstein, D., Choi, S., Lukin, M.
    D., &#38; Serbyn, M. (2021). Discrete time-crystalline order enabled by quantum
    many-body scars: Entanglement steering via periodic driving. <i>Physical Review
    Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevLett.127.090602">https://doi.org/10.1103/PhysRevLett.127.090602</a>'
  chicago: 'Maskara, N., Alexios Michailidis, W. W. Ho, D. Bluvstein, S. Choi, M.
    D. Lukin, and Maksym Serbyn. “Discrete Time-Crystalline Order Enabled by Quantum
    Many-Body Scars: Entanglement Steering via Periodic Driving.” <i>Physical Review
    Letters</i>. American Physical Society, 2021. <a href="https://doi.org/10.1103/PhysRevLett.127.090602">https://doi.org/10.1103/PhysRevLett.127.090602</a>.'
  ieee: 'N. Maskara <i>et al.</i>, “Discrete time-crystalline order enabled by quantum
    many-body scars: Entanglement steering via periodic driving,” <i>Physical Review
    Letters</i>, vol. 127, no. 9. American Physical Society, 2021.'
  ista: 'Maskara N, Michailidis A, Ho WW, Bluvstein D, Choi S, Lukin MD, Serbyn M.
    2021. Discrete time-crystalline order enabled by quantum many-body scars: Entanglement
    steering via periodic driving. Physical Review Letters. 127(9), 090602.'
  mla: 'Maskara, N., et al. “Discrete Time-Crystalline Order Enabled by Quantum Many-Body
    Scars: Entanglement Steering via Periodic Driving.” <i>Physical Review Letters</i>,
    vol. 127, no. 9, 090602, American Physical Society, 2021, doi:<a href="https://doi.org/10.1103/PhysRevLett.127.090602">10.1103/PhysRevLett.127.090602</a>.'
  short: N. Maskara, A. Michailidis, W.W. Ho, D. Bluvstein, S. Choi, M.D. Lukin, M.
    Serbyn, Physical Review Letters 127 (2021).
date_created: 2021-08-28T08:08:58Z
date_published: 2021-08-27T00:00:00Z
date_updated: 2023-08-11T10:57:51Z
day: '27'
department:
- _id: MaSe
doi: 10.1103/PhysRevLett.127.090602
ec_funded: 1
external_id:
  arxiv:
  - '2102.13160'
  isi:
  - '000692200100002'
intvolume: '       127'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2102.13160
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
  call_identifier: H2020
  grant_number: '850899'
  name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review Letters
publication_identifier:
  eissn:
  - 1079-7114
  issn:
  - 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: 'Discrete time-crystalline order enabled by quantum many-body scars: Entanglement
  steering via periodic driving'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 127
year: '2021'
...
---
_id: '9961'
abstract:
- lang: eng
  text: The notion of Thouless energy plays a central role in the theory of Anderson
    localization. We investigate and compare the scaling of Thouless energy across
    the many-body localization (MBL) transition in a Floquet model. We use a combination
    of methods that are reliable on the ergodic side of the transition (e.g., spectral
    form factor) and methods that work on the MBL side (e.g., typical matrix elements
    of local operators) to obtain a complete picture of the Thouless energy behavior
    across the transition. On the ergodic side, Thouless energy decreases slowly with
    the system size, while at the transition it becomes comparable to the level spacing.
    Different probes yield consistent estimates of Thouless energy in their overlapping
    regime of applicability, giving the location of the transition point nearly free
    of finite-size drift. This work establishes a connection between different definitions
    of Thouless energy in a many-body setting and yields insights into the MBL transition
    in Floquet systems.
acknowledgement: "We thank S. Garratt for useful comments on the manuscript. This
  work was supported by the Swiss National Science Foundation (M. Sonner and D.A.A.)
  and by the European Research Council (ERC) under the European Union’s Horizon 2020
  research and innovation program (M. Serbyn, Grant Agreement No. 850899, and D.A.A.,
  Grant Agreement No. 864597). Z.P. acknowledges support from EPSRC Grant No. EP/R020612/1
  and from Leverhulme Trust Research Leadership Award No. RL-2019-015. The computations
  were performed on the Baobab cluster of the University\r\nof Geneva."
article_number: L081112
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: Michael
  full_name: Sonner, Michael
  last_name: Sonner
- first_name: Maksym
  full_name: Serbyn, Maksym
  id: 47809E7E-F248-11E8-B48F-1D18A9856A87
  last_name: Serbyn
  orcid: 0000-0002-2399-5827
- first_name: Zlatko
  full_name: Papić, Zlatko
  last_name: Papić
- first_name: Dmitry A.
  full_name: Abanin, Dmitry A.
  last_name: Abanin
citation:
  ama: Sonner M, Serbyn M, Papić Z, Abanin DA. Thouless energy across the many-body
    localization transition in Floquet systems. <i>Physical Review B</i>. 2021;104(8).
    doi:<a href="https://doi.org/10.1103/PhysRevB.104.L081112">10.1103/PhysRevB.104.L081112</a>
  apa: Sonner, M., Serbyn, M., Papić, Z., &#38; Abanin, D. A. (2021). Thouless energy
    across the many-body localization transition in Floquet systems. <i>Physical Review
    B</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevB.104.L081112">https://doi.org/10.1103/PhysRevB.104.L081112</a>
  chicago: Sonner, Michael, Maksym Serbyn, Zlatko Papić, and Dmitry A. Abanin. “Thouless
    Energy across the Many-Body Localization Transition in Floquet Systems.” <i>Physical
    Review B</i>. American Physical Society, 2021. <a href="https://doi.org/10.1103/PhysRevB.104.L081112">https://doi.org/10.1103/PhysRevB.104.L081112</a>.
  ieee: M. Sonner, M. Serbyn, Z. Papić, and D. A. Abanin, “Thouless energy across
    the many-body localization transition in Floquet systems,” <i>Physical Review
    B</i>, vol. 104, no. 8. American Physical Society, 2021.
  ista: Sonner M, Serbyn M, Papić Z, Abanin DA. 2021. Thouless energy across the many-body
    localization transition in Floquet systems. Physical Review B. 104(8), L081112.
  mla: Sonner, Michael, et al. “Thouless Energy across the Many-Body Localization
    Transition in Floquet Systems.” <i>Physical Review B</i>, vol. 104, no. 8, L081112,
    American Physical Society, 2021, doi:<a href="https://doi.org/10.1103/PhysRevB.104.L081112">10.1103/PhysRevB.104.L081112</a>.
  short: M. Sonner, M. Serbyn, Z. Papić, D.A. Abanin, Physical Review B 104 (2021).
date_created: 2021-08-28T16:44:55Z
date_published: 2021-08-15T00:00:00Z
date_updated: 2023-08-11T10:57:09Z
day: '15'
department:
- _id: MaSe
doi: 10.1103/PhysRevB.104.L081112
ec_funded: 1
external_id:
  arxiv:
  - '2012.15676'
  isi:
  - '000689734500009'
intvolume: '       104'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2012.15676
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
  call_identifier: H2020
  grant_number: '850899'
  name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review B
publication_identifier:
  eissn:
  - 2469-9969
  issn:
  - 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: Thouless energy across the many-body localization transition in Floquet systems
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 104
year: '2021'
...
---
_id: '9962'
abstract:
- lang: eng
  text: The brain is one of the largest and most complex organs and it is composed
    of billions of neurons that communicate together enabling e.g. consciousness.
    The cerebral cortex is the largest site of neural integration in the central nervous
    system. Concerted radial migration of newly born cortical projection neurons,
    from their birthplace to their final position, is a key step in the assembly of
    the cerebral cortex. The cellular and molecular mechanisms regulating radial neuronal
    migration in vivo are however still unclear. Recent evidence suggests that distinct
    signaling cues act cell-autonomously but differentially at certain steps during
    the overall migration process. Moreover, functional analysis of genetic mosaics
    (mutant neurons present in wild-type/heterozygote environment) using the MADM
    (Mosaic Analysis with Double Markers) analyses in comparison to global knockout
    also indicate a significant degree of non-cell-autonomous and/or community effects
    in the control of cortical neuron migration. The interactions of cell-intrinsic
    (cell-autonomous) and cell-extrinsic (non-cell-autonomous) components are largely
    unknown. In part of this thesis work we established a MADM-based experimental
    strategy for the quantitative analysis of cell-autonomous gene function versus
    non-cell-autonomous and/or community effects. The direct comparison of mutant
    neurons from the genetic mosaic (cell-autonomous) to mutant neurons in the conditional
    and/or global knockout (cell-autonomous + non-cell-autonomous) allows to quantitatively
    analyze non-cell-autonomous effects. Such analysis enable the high-resolution
    analysis of projection neuron migration dynamics in distinct environments with
    concomitant isolation of genomic and proteomic profiles. Using these experimental
    paradigms and in combination with computational modeling we show and characterize
    the nature of non-cell-autonomous effects to coordinate radial neuron migration.
    Furthermore, this thesis discusses recent developments in neurodevelopment with
    focus on neuronal polarization and non-cell-autonomous mechanisms in neuronal
    migration.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Andi H
  full_name: Hansen, Andi H
  id: 38853E16-F248-11E8-B48F-1D18A9856A87
  last_name: Hansen
citation:
  ama: Hansen AH. Cell-autonomous gene function and non-cell-autonomous effects in
    radial projection neuron migration. 2021. doi:<a href="https://doi.org/10.15479/at:ista:9962">10.15479/at:ista:9962</a>
  apa: Hansen, A. H. (2021). <i>Cell-autonomous gene function and non-cell-autonomous
    effects in radial projection neuron migration</i>. Institute of Science and Technology
    Austria. <a href="https://doi.org/10.15479/at:ista:9962">https://doi.org/10.15479/at:ista:9962</a>
  chicago: Hansen, Andi H. “Cell-Autonomous Gene Function and Non-Cell-Autonomous
    Effects in Radial Projection Neuron Migration.” Institute of Science and Technology
    Austria, 2021. <a href="https://doi.org/10.15479/at:ista:9962">https://doi.org/10.15479/at:ista:9962</a>.
  ieee: A. H. Hansen, “Cell-autonomous gene function and non-cell-autonomous effects
    in radial projection neuron migration,” Institute of Science and Technology Austria,
    2021.
  ista: Hansen AH. 2021. Cell-autonomous gene function and non-cell-autonomous effects
    in radial projection neuron migration. Institute of Science and Technology Austria.
  mla: Hansen, Andi H. <i>Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects
    in Radial Projection Neuron Migration</i>. Institute of Science and Technology
    Austria, 2021, doi:<a href="https://doi.org/10.15479/at:ista:9962">10.15479/at:ista:9962</a>.
  short: A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects
    in Radial Projection Neuron Migration, Institute of Science and Technology Austria,
    2021.
date_created: 2021-08-29T12:36:50Z
date_published: 2021-09-02T00:00:00Z
date_updated: 2023-09-22T09:58:30Z
day: '02'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: SiHi
doi: 10.15479/at:ista:9962
file:
- access_level: closed
  checksum: 66b56f5b988b233dc66a4f4b4fb2cdfe
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: ahansen
  date_created: 2021-08-30T09:17:39Z
  date_updated: 2022-09-03T22:30:04Z
  embargo_to: open_access
  file_id: '9971'
  file_name: Thesis_Hansen.docx
  file_size: 10629190
  relation: source_file
- access_level: open_access
  checksum: 204fa40321a1c6289b68c473634c4bf3
  content_type: application/pdf
  creator: ahansen
  date_created: 2021-08-30T09:29:44Z
  date_updated: 2022-09-03T22:30:04Z
  embargo: 2022-09-02
  file_id: '9972'
  file_name: Thesis_Hansen_PDFA-1a.pdf
  file_size: 13457469
  relation: main_file
file_date_updated: 2022-09-03T22:30:04Z
has_accepted_license: '1'
keyword:
- Neuronal migration
- Non-cell-autonomous
- Cell-autonomous
- Neurodevelopmental disease
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '182'
project:
- _id: 2625A13E-B435-11E9-9278-68D0E5697425
  grant_number: '24812'
  name: Molecular Mechanisms of Radial Neuronal Migration
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '8569'
    relation: part_of_dissertation
    status: public
  - id: '960'
    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: Cell-autonomous gene function and non-cell-autonomous effects in radial projection
  neuron migration
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9969'
abstract:
- lang: eng
  text: 'Payment channel networks are a promising approach to improve the scalability
    of cryptocurrencies: they allow to perform transactions in a peer-to-peer fashion,
    along multihop routes in the network, without requiring consensus on the blockchain.
    However, during the discovery of cost-efficient routes for the transaction, critical
    information may be revealed about the transacting entities. This paper initiates
    the study of privacy-preserving route discovery mechanisms for payment channel
    networks. In particular, we present LightPIR, an approach which allows a client
    to learn the shortest (or cheapest in terms of fees) path between two nodes without
    revealing any information about the endpoints of the transaction to the servers.
    The two main observations which allow for an efficient solution in LightPIR are
    that: (1) surprisingly, hub labelling algorithms – which were developed to preprocess
    “street network like” graphs so one can later efficiently compute shortest paths
    – also perform well for the graphs underlying payment channel networks, and that
    (2) hub labelling algorithms can be conveniently combined with private information
    retrieval. LightPIR relies on a simple hub labeling heuristic on top of existing
    hub labeling algorithms which leverages the specific topological features of cryptocurrency
    networks to further minimize storage and bandwidth overheads. In a case study
    considering the Lightning network, we show that our approach is an order of magnitude
    more efficient compared to a privacy-preserving baseline based on using private
    information retrieval on a database that stores all pairs shortest paths.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
- first_name: Iosif
  full_name: Salem, Iosif
  last_name: Salem
- first_name: Stefan
  full_name: Schmid, Stefan
  last_name: Schmid
- first_name: Michelle X
  full_name: Yeo, Michelle X
  id: 2D82B818-F248-11E8-B48F-1D18A9856A87
  last_name: Yeo
citation:
  ama: 'Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route
    discovery for payment channel networks. In: IEEE; 2021. doi:<a href="https://doi.org/10.23919/IFIPNetworking52078.2021.9472205">10.23919/IFIPNetworking52078.2021.9472205</a>'
  apa: 'Pietrzak, K. Z., Salem, I., Schmid, S., &#38; Yeo, M. X. (2021). LightPIR:
    Privacy-preserving route discovery for payment channel networks. Presented at
    the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland:
    IEEE. <a href="https://doi.org/10.23919/IFIPNetworking52078.2021.9472205">https://doi.org/10.23919/IFIPNetworking52078.2021.9472205</a>'
  chicago: 'Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo.
    “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE,
    2021. <a href="https://doi.org/10.23919/IFIPNetworking52078.2021.9472205">https://doi.org/10.23919/IFIPNetworking52078.2021.9472205</a>.'
  ieee: 'K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving
    route discovery for payment channel networks,” presented at the 2021 IFIP Networking
    Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.'
  ista: 'Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving
    route discovery for payment channel networks. 2021 IFIP Networking Conference
    (IFIP Networking).'
  mla: 'Pietrzak, Krzysztof Z., et al. <i>LightPIR: Privacy-Preserving Route Discovery
    for Payment Channel Networks</i>. IEEE, 2021, doi:<a href="https://doi.org/10.23919/IFIPNetworking52078.2021.9472205">10.23919/IFIPNetworking52078.2021.9472205</a>.'
  short: K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
conference:
  end_date: 2021-06-24
  location: Espoo and Helsinki, Finland
  name: 2021 IFIP Networking Conference (IFIP Networking)
  start_date: 2021-06-21
date_created: 2021-08-29T22:01:16Z
date_published: 2021-06-21T00:00:00Z
date_updated: 2023-11-30T10:54:50Z
day: '21'
department:
- _id: KrPi
doi: 10.23919/IFIPNetworking52078.2021.9472205
ec_funded: 1
external_id:
  arxiv:
  - '2104.04293'
  isi:
  - '000853016800008'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2104.04293
month: '06'
oa: 1
oa_version: Submitted Version
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '682815'
  name: Teaching Old Crypto New Tricks
publication_identifier:
  eisbn:
  - 978-3-9031-7639-3
  eissn:
  - 1861-2288
  isbn:
  - 978-1-6654-4501-6
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
  record:
  - id: '14506'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: 'LightPIR: Privacy-preserving route discovery for payment channel networks'
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9973'
abstract:
- lang: eng
  text: In this article we introduce a complete gradient estimate for symmetric quantum
    Markov semigroups on von Neumann algebras equipped with a normal faithful tracial
    state, which implies semi-convexity of the entropy with respect to the recently
    introduced noncommutative 2-Wasserstein distance. We show that this complete gradient
    estimate is stable under tensor products and free products and establish its validity
    for a number of examples. As an application we prove a complete modified logarithmic
    Sobolev inequality with optimal constant for Poisson-type semigroups on free group
    factors.
acknowledgement: Both authors would like to thank Jan Maas for fruitful discussions
  and helpful comments.
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Melchior
  full_name: Wirth, Melchior
  id: 88644358-0A0E-11EA-8FA5-49A33DDC885E
  last_name: Wirth
  orcid: 0000-0002-0519-4241
- first_name: Haonan
  full_name: Zhang, Haonan
  id: D8F41E38-9E66-11E9-A9E2-65C2E5697425
  last_name: Zhang
citation:
  ama: Wirth M, Zhang H. Complete gradient estimates of quantum Markov semigroups.
    <i>Communications in Mathematical Physics</i>. 2021;387:761–791. doi:<a href="https://doi.org/10.1007/s00220-021-04199-4">10.1007/s00220-021-04199-4</a>
  apa: Wirth, M., &#38; Zhang, H. (2021). Complete gradient estimates of quantum Markov
    semigroups. <i>Communications in Mathematical Physics</i>. Springer Nature. <a
    href="https://doi.org/10.1007/s00220-021-04199-4">https://doi.org/10.1007/s00220-021-04199-4</a>
  chicago: Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum
    Markov Semigroups.” <i>Communications in Mathematical Physics</i>. Springer Nature,
    2021. <a href="https://doi.org/10.1007/s00220-021-04199-4">https://doi.org/10.1007/s00220-021-04199-4</a>.
  ieee: M. Wirth and H. Zhang, “Complete gradient estimates of quantum Markov semigroups,”
    <i>Communications in Mathematical Physics</i>, vol. 387. Springer Nature, pp.
    761–791, 2021.
  ista: Wirth M, Zhang H. 2021. Complete gradient estimates of quantum Markov semigroups.
    Communications in Mathematical Physics. 387, 761–791.
  mla: Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum
    Markov Semigroups.” <i>Communications in Mathematical Physics</i>, vol. 387, Springer
    Nature, 2021, pp. 761–791, doi:<a href="https://doi.org/10.1007/s00220-021-04199-4">10.1007/s00220-021-04199-4</a>.
  short: M. Wirth, H. Zhang, Communications in Mathematical Physics 387 (2021) 761–791.
date_created: 2021-08-30T10:07:44Z
date_published: 2021-08-30T00:00:00Z
date_updated: 2023-08-11T11:09:07Z
day: '30'
ddc:
- '621'
department:
- _id: JaMa
doi: 10.1007/s00220-021-04199-4
ec_funded: 1
external_id:
  arxiv:
  - '2007.13506'
  isi:
  - '000691214200001'
file:
- access_level: open_access
  checksum: 8a602f916b1c2b0dc1159708b7cb204b
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-08T07:34:24Z
  date_updated: 2021-09-08T09:46:34Z
  file_id: '9990'
  file_name: 2021_CommunMathPhys_Wirth.pdf
  file_size: 505971
  relation: main_file
file_date_updated: 2021-09-08T09:46:34Z
has_accepted_license: '1'
intvolume: '       387'
isi: 1
keyword:
- Mathematical Physics
- Statistical and Nonlinear Physics
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 761–791
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
  grant_number: F6504
  name: Taming Complexity in Partial Differential Systems
publication: Communications in Mathematical Physics
publication_identifier:
  eissn:
  - 1432-0916
  issn:
  - 0010-3616
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Complete gradient estimates of quantum Markov semigroups
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 387
year: '2021'
...
---
_id: '9978'
abstract:
- lang: eng
  text: Redox mediators could catalyse otherwise slow and energy-inefficient cycling
    of Li-S and Li-O 2 batteries by shuttling electrons/holes between the electrode
    and the solid insulating storage materials. For mediators to work efficiently
    they need to oxidize the solid with fast kinetics yet the lowest possible overpotential.
    Here, we found that when the redox potentials of mediators are tuned via, e.g.,
    Li + concentration in the electrolyte, they exhibit distinct threshold potentials,
    where the kinetics accelerate several-fold within a range as small as 10 mV. This
    phenomenon is independent of types of mediators and electrolyte. The acceleration
    originates from the overpotentials required to activate fast Li + /e – extraction
    and the following chemical step at specific abundant surface facets. Efficient
    redox catalysis at insulating solids requires therefore carefully considering
    the surface conditions of the storage materials and electrolyte-dependent redox
    potentials, which may be tuned by salt concentrations or solvents.
acknowledgement: 'This work was financially supported by the National Natural Science
  Foundation of China (51773092, 21975124, 11874254, 51802187, U2030206). S.A.F. is
  indebted to IST Austria for support. '
article_processing_charge: No
author:
- first_name: Deqing
  full_name: Cao, Deqing
  last_name: Cao
- first_name: Xiaoxiao
  full_name: Shen, Xiaoxiao
  last_name: Shen
- first_name: Aiping
  full_name: Wang, Aiping
  last_name: Wang
- first_name: Fengjiao
  full_name: Yu, Fengjiao
  last_name: Yu
- first_name: Yuping
  full_name: Wu, Yuping
  last_name: Wu
- first_name: Siqi
  full_name: Shi, Siqi
  last_name: Shi
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
- first_name: Yuhui
  full_name: Chen, Yuhui
  last_name: Chen
citation:
  ama: Cao D, Shen X, Wang A, et al. Sharp kinetic acceleration potentials during
    mediated redox catalysis of insulators. <i>Research Square</i>. doi:<a href="https://doi.org/10.21203/rs.3.rs-750965/v1">10.21203/rs.3.rs-750965/v1</a>
  apa: Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (n.d.). Sharp
    kinetic acceleration potentials during mediated redox catalysis of insulators.
    <i>Research Square</i>. Research Square. <a href="https://doi.org/10.21203/rs.3.rs-750965/v1">https://doi.org/10.21203/rs.3.rs-750965/v1</a>
  chicago: Cao, Deqing, Xiaoxiao Shen, Aiping Wang, Fengjiao Yu, Yuping Wu, Siqi Shi,
    Stefan Alexander Freunberger, and Yuhui Chen. “Sharp Kinetic Acceleration Potentials
    during Mediated Redox Catalysis of Insulators.” <i>Research Square</i>. Research
    Square, n.d. <a href="https://doi.org/10.21203/rs.3.rs-750965/v1">https://doi.org/10.21203/rs.3.rs-750965/v1</a>.
  ieee: D. Cao <i>et al.</i>, “Sharp kinetic acceleration potentials during mediated
    redox catalysis of insulators,” <i>Research Square</i>. Research Square.
  ista: Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. Sharp kinetic
    acceleration potentials during mediated redox catalysis of insulators. Research
    Square, <a href="https://doi.org/10.21203/rs.3.rs-750965/v1">10.21203/rs.3.rs-750965/v1</a>.
  mla: Cao, Deqing, et al. “Sharp Kinetic Acceleration Potentials during Mediated
    Redox Catalysis of Insulators.” <i>Research Square</i>, Research Square, doi:<a
    href="https://doi.org/10.21203/rs.3.rs-750965/v1">10.21203/rs.3.rs-750965/v1</a>.
  short: D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen,
    Research Square (n.d.).
date_created: 2021-08-31T12:54:16Z
date_published: 2021-08-18T00:00:00Z
date_updated: 2023-10-17T13:06:29Z
day: '18'
ddc:
- '541'
department:
- _id: StFr
doi: 10.21203/rs.3.rs-750965/v1
file:
- access_level: open_access
  checksum: 1878e91c29d5769ed5a827b0b7addf00
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-08-31T14:02:19Z
  date_updated: 2021-08-31T14:02:19Z
  file_id: '9979'
  file_name: 2021_ResearchSquare_Cao.pdf
  file_size: 1019662
  relation: main_file
  success: 1
file_date_updated: 2021-08-31T14:02:19Z
has_accepted_license: '1'
keyword:
- Catalysis
- Energy engineering
- Materials theory and modeling
language:
- iso: eng
month: '08'
oa: 1
oa_version: Preprint
page: '21'
publication: Research Square
publication_identifier:
  eissn:
  - 2693-5015
publication_status: submitted
publisher: Research Square
related_material:
  record:
  - id: '10813'
    relation: later_version
    status: public
status: public
title: Sharp kinetic acceleration potentials during mediated redox catalysis of insulators
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: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9980'
abstract:
- lang: eng
  text: Insufficient understanding of the mechanism that reversibly converts sulphur
    into lithium sulphide (Li2S) via soluble polysulphides (PS) hampers the realization
    of high performance lithium-sulphur cells. Typically Li2S formation is explained
    by direct electroreduction of a PS to Li2S; however, this is not consistent with
    the size of the insulating Li2S deposits. Here, we use in situ small and wide
    angle X-ray scattering (SAXS/WAXS) to track the growth and dissolution of crystalline
    and amorphous deposits from atomic to sub-micron scales during charge and discharge.
    Stochastic modelling based on the SAXS data allows quantification of the chemical
    phase evolution during discharge and charge. We show that Li2S deposits predominantly
    via disproportionation of transient, solid Li2S2 to form primary Li2S crystallites
    and solid Li2S4 particles. We further demonstrate that this process happens in
    reverse during charge. These findings show that the discharge capacity and rate
    capability in Li-S battery cathodes are therefore limited by mass transport through
    the increasingly tortuous network of Li2S / Li2S4 / carbon pores rather than electron
    transport through a passivating surface film.
acknowledgement: "This project has received funding from the European Union’s Horizon
  2020 research and innovation program under the Marie Skłodowska-Curie grant NanoEvolution,
  grant agreement No 894042. The authors acknowledge TU Graz for support through the
  Lead Project LP-03. Likewise, the use of SOMAPP Lab, a core facility supported by
  the Austrian Federal Ministry of Education, Science and Research, the Graz University\r\n6
  of Technology, the University of Graz, and Anton Paar GmbH is acknowledged. S.D.T,
  A.V. and R.D. acknowledge the financial support by the Slovenian Research Agency
  (ARRS) research core funding P2-0393. Furthermore, A.V. acknowledge the funding
  from the Slovenian Research Agency, research project Z2-1863. S.A.F. is indebted
  to IST Austria for support. "
article_processing_charge: No
author:
- first_name: Christian
  full_name: Prehal, Christian
  last_name: Prehal
- first_name: Sara Drvarič
  full_name: Talian, Sara Drvarič
  last_name: Talian
- first_name: Alen
  full_name: Vizintin, Alen
  last_name: Vizintin
- first_name: Heinz
  full_name: Amenitsch, Heinz
  last_name: Amenitsch
- first_name: Robert
  full_name: Dominko, Robert
  last_name: Dominko
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
- first_name: Vanessa
  full_name: Wood, Vanessa
  last_name: Wood
citation:
  ama: Prehal C, Talian SD, Vizintin A, et al. Mechanism of Li2S formation and dissolution
    in Lithium-Sulphur batteries. <i>Research Square</i>. doi:<a href="https://doi.org/10.21203/rs.3.rs-818607/v1">10.21203/rs.3.rs-818607/v1</a>
  apa: Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger,
    S. A., &#38; Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur
    batteries. <i>Research Square</i>. <a href="https://doi.org/10.21203/rs.3.rs-818607/v1">https://doi.org/10.21203/rs.3.rs-818607/v1</a>
  chicago: Prehal, Christian, Sara Drvarič Talian, Alen Vizintin, Heinz Amenitsch,
    Robert Dominko, Stefan Alexander Freunberger, and Vanessa Wood. “Mechanism of
    Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” <i>Research Square</i>,
    n.d. <a href="https://doi.org/10.21203/rs.3.rs-818607/v1">https://doi.org/10.21203/rs.3.rs-818607/v1</a>.
  ieee: C. Prehal <i>et al.</i>, “Mechanism of Li2S formation and dissolution in Lithium-Sulphur
    batteries,” <i>Research Square</i>. .
  ista: Prehal C, Talian SD, Vizintin A, Amenitsch H, Dominko R, Freunberger SA, Wood
    V. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research
    Square, <a href="https://doi.org/10.21203/rs.3.rs-818607/v1">10.21203/rs.3.rs-818607/v1</a>.
  mla: Prehal, Christian, et al. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur
    Batteries.” <i>Research Square</i>, doi:<a href="https://doi.org/10.21203/rs.3.rs-818607/v1">10.21203/rs.3.rs-818607/v1</a>.
  short: C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger,
    V. Wood, Research Square (n.d.).
date_created: 2021-09-02T08:45:00Z
date_published: 2021-08-16T00:00:00Z
date_updated: 2021-12-03T10:35:42Z
day: '16'
ddc:
- '621'
department:
- _id: StFr
doi: 10.21203/rs.3.rs-818607/v1
keyword:
- Li2S
- Lithium Sulphur Batteries
- SAXS
- WAXS
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.researchsquare.com/article/rs-818607/v1
month: '08'
oa: 1
oa_version: Preprint
page: '21'
publication: Research Square
publication_status: submitted
status: public
title: Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries
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: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '9981'
abstract:
- lang: eng
  text: "The numerical simulation of dynamical phenomena in interacting quantum systems
    is a notoriously hard problem. Although a number of promising numerical methods
    exist, they often have limited applicability due to the growth of entanglement
    or the presence of the so-called sign problem. In this work, we develop an importance
    sampling scheme for the simulation of quantum spin dynamics, building on a recent
    approach mapping quantum spin systems to classical stochastic processes. The importance
    sampling scheme is based on identifying the classical trajectory that yields the
    largest contribution to a given quantum observable. An exact transformation is
    then carried out to preferentially sample trajectories that are close to the dominant
    one. We demonstrate that this approach is capable of reducing the temporal growth
    of fluctuations in the stochastic quantities, thus extending the range of accessible
    times and system sizes compared to direct sampling. We discuss advantages and
    limitations of the proposed approach, outlining directions\r\nfor further developments."
article_number: '048'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Stefano
  full_name: De Nicola, Stefano
  id: 42832B76-F248-11E8-B48F-1D18A9856A87
  last_name: De Nicola
  orcid: 0000-0002-4842-6671
citation:
  ama: De Nicola S. Importance sampling scheme for the stochastic simulation of quantum
    spin dynamics. <i>SciPost Physics</i>. 2021;11(3). doi:<a href="https://doi.org/10.21468/scipostphys.11.3.048">10.21468/scipostphys.11.3.048</a>
  apa: De Nicola, S. (2021). Importance sampling scheme for the stochastic simulation
    of quantum spin dynamics. <i>SciPost Physics</i>. SciPost. <a href="https://doi.org/10.21468/scipostphys.11.3.048">https://doi.org/10.21468/scipostphys.11.3.048</a>
  chicago: De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation
    of Quantum Spin Dynamics.” <i>SciPost Physics</i>. SciPost, 2021. <a href="https://doi.org/10.21468/scipostphys.11.3.048">https://doi.org/10.21468/scipostphys.11.3.048</a>.
  ieee: S. De Nicola, “Importance sampling scheme for the stochastic simulation of
    quantum spin dynamics,” <i>SciPost Physics</i>, vol. 11, no. 3. SciPost, 2021.
  ista: De Nicola S. 2021. Importance sampling scheme for the stochastic simulation
    of quantum spin dynamics. SciPost Physics. 11(3), 048.
  mla: De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation
    of Quantum Spin Dynamics.” <i>SciPost Physics</i>, vol. 11, no. 3, 048, SciPost,
    2021, doi:<a href="https://doi.org/10.21468/scipostphys.11.3.048">10.21468/scipostphys.11.3.048</a>.
  short: S. De Nicola, SciPost Physics 11 (2021).
date_created: 2021-09-02T11:49:47Z
date_published: 2021-09-02T00:00:00Z
date_updated: 2023-08-11T10:59:29Z
day: '02'
ddc:
- '519'
department:
- _id: MaSe
doi: 10.21468/scipostphys.11.3.048
ec_funded: 1
external_id:
  arxiv:
  - '2103.16468'
  isi:
  - '000692534200001'
file:
- access_level: open_access
  checksum: e4ec69d893e31811efc6093cb6ea8eb7
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-02T14:05:43Z
  date_updated: 2021-09-02T14:05:43Z
  file_id: '9984'
  file_name: 2021_SciPostPhys_DeNicola.pdf
  file_size: 373833
  relation: main_file
  success: 1
file_date_updated: 2021-09-02T14:05:43Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
issue: '3'
keyword:
- General Physics and Astronomy
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: SciPost Physics
publication_identifier:
  eissn:
  - 2666-9366
  issn:
  - 2542-4653
publication_status: published
publisher: SciPost
quality_controlled: '1'
status: public
title: Importance sampling scheme for the stochastic simulation of quantum spin dynamics
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2021'
...
---
_id: '9985'
abstract:
- lang: eng
  text: AMPA receptor (AMPAR) abundance and positioning at excitatory synapses regulates
    the strength of transmission. Changes in AMPAR localisation can enact synaptic
    plasticity, allowing long-term information storage, and is therefore tightly controlled.
    Multiple mechanisms regulating AMPAR synaptic anchoring have been described, but
    with limited coherence or comparison between reports, our understanding of this
    process is unclear. Here, combining synaptic recordings from mouse hippocampal
    slices and super-resolution imaging in dissociated cultures, we compare the contributions
    of three AMPAR interaction domains controlling transmission at hippocampal CA1
    synapses. We show that the AMPAR C-termini play only a modulatory role, whereas
    the extracellular N-terminal domain (NTD) and PDZ interactions of the auxiliary
    subunit TARP γ8 are both crucial, and each is sufficient to maintain transmission.
    Our data support a model in which γ8 accumulates AMPARs at the postsynaptic density,
    where the NTD further tunes their positioning. This interplay between cytosolic
    (TARP γ8) and synaptic cleft (NTD) interactions provides versatility to regulate
    synaptic transmission and plasticity.
acknowledgement: The authors are very grateful to Andrew Penn for advice and discussions
  on surface receptor labelling in slice tissue, dissociated culture transfection,
  and for providing tdTomato and BirAER expression plasmids. This work would not have
  been possible without support from the Biological Services teams at both the Laboratory
  of Molecular Biology and Ares facilities. We are also very grateful to Nick Barry
  and Jerome Boulanger of the LMB Light Microscopy facility for support with confocal
  and STORM imaging and analysis, Junichi Takagi for providing scFv-Clasp expression
  constructs, Veronica Chang for assistance with scFv-Clasp protein production, and
  Nejc Kejzar for assistance with cluster analysis. We would like to thank Teru Nakagawa
  and Ole Paulsen for critical reading of the manuscript and constructive feedback.
  This work was supported by grants from the Medical Research Council (MC_U105174197)
  and BBSRC (BB/N002113/1).
article_number: '5083'
article_processing_charge: Yes
article_type: original
author:
- first_name: Jake
  full_name: Watson, Jake
  id: 63836096-4690-11EA-BD4E-32803DDC885E
  last_name: Watson
  orcid: 0000-0002-8698-3823
- first_name: Alexandra
  full_name: Pinggera, Alexandra
  last_name: Pinggera
- first_name: Hinze
  full_name: Ho, Hinze
  last_name: Ho
- first_name: Ingo H.
  full_name: Greger, Ingo H.
  last_name: Greger
citation:
  ama: Watson J, Pinggera A, Ho H, Greger IH. AMPA receptor anchoring at CA1 synapses
    is determined by N-terminal domain and TARP γ8 interactions. <i>Nature Communications</i>.
    2021;12(1). doi:<a href="https://doi.org/10.1038/s41467-021-25281-4">10.1038/s41467-021-25281-4</a>
  apa: Watson, J., Pinggera, A., Ho, H., &#38; Greger, I. H. (2021). AMPA receptor
    anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions.
    <i>Nature Communications</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41467-021-25281-4">https://doi.org/10.1038/s41467-021-25281-4</a>
  chicago: Watson, Jake, Alexandra Pinggera, Hinze Ho, and Ingo H. Greger. “AMPA Receptor
    Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.”
    <i>Nature Communications</i>. Nature Publishing Group, 2021. <a href="https://doi.org/10.1038/s41467-021-25281-4">https://doi.org/10.1038/s41467-021-25281-4</a>.
  ieee: J. Watson, A. Pinggera, H. Ho, and I. H. Greger, “AMPA receptor anchoring
    at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions,”
    <i>Nature Communications</i>, vol. 12, no. 1. Nature Publishing Group, 2021.
  ista: Watson J, Pinggera A, Ho H, Greger IH. 2021. AMPA receptor anchoring at CA1
    synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications.
    12(1), 5083.
  mla: Watson, Jake, et al. “AMPA Receptor Anchoring at CA1 Synapses Is Determined
    by N-Terminal Domain and TARP Γ8 Interactions.” <i>Nature Communications</i>,
    vol. 12, no. 1, 5083, Nature Publishing Group, 2021, doi:<a href="https://doi.org/10.1038/s41467-021-25281-4">10.1038/s41467-021-25281-4</a>.
  short: J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).
date_created: 2021-09-05T22:01:23Z
date_published: 2021-08-23T00:00:00Z
date_updated: 2023-08-11T11:07:51Z
day: '23'
ddc:
- '612'
department:
- _id: PeJo
doi: 10.1038/s41467-021-25281-4
external_id:
  isi:
  - '000687672000006'
  pmid:
  - '34426577 '
file:
- access_level: open_access
  checksum: 1bf4f6a561f96bc426d754de9cb57710
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-08T12:57:06Z
  date_updated: 2021-09-08T12:57:06Z
  file_id: '9991'
  file_name: 2021_NatureCommunications_Watson.pdf
  file_size: 18310502
  relation: main_file
  success: 1
file_date_updated: 2021-09-08T12:57:06Z
has_accepted_license: '1'
intvolume: '        12'
isi: 1
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain
  and TARP γ8 interactions
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12
year: '2021'
...
---
_id: '9986'
abstract:
- lang: eng
  text: Size control is a fundamental question in biology, showing incremental complexity
    in plants, whose cells possess a rigid cell wall. The phytohormone auxin is a
    vital growth regulator with central importance for differential growth control.
    Our results indicate that auxin-reliant growth programs affect the molecular complexity
    of xyloglucans, the major type of cell wall hemicellulose in eudicots. Auxin-dependent
    induction and repression of growth coincide with reduced and enhanced molecular
    complexity of xyloglucans, respectively. In agreement with a proposed function
    in growth control, genetic interference with xyloglucan side decorations distinctly
    modulates auxin-dependent differential growth rates. Our work proposes that auxin-dependent
    growth programs have a spatially defined effect on xyloglucan’s molecular structure,
    which in turn affects cell wall mechanics and specifies differential, gravitropic
    hypocotyl growth.
acknowledgement: "We are grateful to Paul Knox, Markus Pauly, Malcom O’Neill, and
  Ignacio Zarra for providing published material; the BOKU-VIBT Imaging Center for
  access and M. Debreczeny for expertise; J.I. Thaker and Georg Seifert for critical
  reading.\r\n"
article_number: '9222'
article_processing_charge: Yes
article_type: original
author:
- first_name: Silvia Melina
  full_name: Velasquez, Silvia Melina
  last_name: Velasquez
- first_name: Xiaoyuan
  full_name: Guo, Xiaoyuan
  last_name: Guo
- first_name: Marçal
  full_name: Gallemi, Marçal
  id: 460C6802-F248-11E8-B48F-1D18A9856A87
  last_name: Gallemi
  orcid: 0000-0003-4675-6893
- first_name: Bibek
  full_name: Aryal, Bibek
  last_name: Aryal
- first_name: Peter
  full_name: Venhuizen, Peter
  last_name: Venhuizen
- first_name: Elke
  full_name: Barbez, Elke
  last_name: Barbez
- first_name: Kai Alexander
  full_name: Dünser, Kai Alexander
  last_name: Dünser
- first_name: Martin
  full_name: Darino, Martin
  last_name: Darino
- first_name: Aleš
  full_name: Pӗnčík, Aleš
  last_name: Pӗnčík
- first_name: Ondřej
  full_name: Novák, Ondřej
  last_name: Novák
- first_name: Maria
  full_name: Kalyna, Maria
  last_name: Kalyna
- first_name: Gregory
  full_name: Mouille, Gregory
  last_name: Mouille
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Rishikesh P.
  full_name: Bhalerao, Rishikesh P.
  last_name: Bhalerao
- first_name: Jozef
  full_name: Mravec, Jozef
  last_name: Mravec
- first_name: Jürgen
  full_name: Kleine-Vehn, Jürgen
  last_name: Kleine-Vehn
citation:
  ama: Velasquez SM, Guo X, Gallemi M, et al. Xyloglucan remodeling defines auxin-dependent
    differential tissue expansion in plants. <i>International Journal of Molecular
    Sciences</i>. 2021;22(17). doi:<a href="https://doi.org/10.3390/ijms22179222">10.3390/ijms22179222</a>
  apa: Velasquez, S. M., Guo, X., Gallemi, M., Aryal, B., Venhuizen, P., Barbez, E.,
    … Kleine-Vehn, J. (2021). Xyloglucan remodeling defines auxin-dependent differential
    tissue expansion in plants. <i>International Journal of Molecular Sciences</i>.
    MDPI. <a href="https://doi.org/10.3390/ijms22179222">https://doi.org/10.3390/ijms22179222</a>
  chicago: Velasquez, Silvia Melina, Xiaoyuan Guo, Marçal Gallemi, Bibek Aryal, Peter
    Venhuizen, Elke Barbez, Kai Alexander Dünser, et al. “Xyloglucan Remodeling Defines
    Auxin-Dependent Differential Tissue Expansion in Plants.” <i>International Journal
    of Molecular Sciences</i>. MDPI, 2021. <a href="https://doi.org/10.3390/ijms22179222">https://doi.org/10.3390/ijms22179222</a>.
  ieee: S. M. Velasquez <i>et al.</i>, “Xyloglucan remodeling defines auxin-dependent
    differential tissue expansion in plants,” <i>International Journal of Molecular
    Sciences</i>, vol. 22, no. 17. MDPI, 2021.
  ista: Velasquez SM, Guo X, Gallemi M, Aryal B, Venhuizen P, Barbez E, Dünser KA,
    Darino M, Pӗnčík A, Novák O, Kalyna M, Mouille G, Benková E, Bhalerao RP, Mravec
    J, Kleine-Vehn J. 2021. Xyloglucan remodeling defines auxin-dependent differential
    tissue expansion in plants. International Journal of Molecular Sciences. 22(17),
    9222.
  mla: Velasquez, Silvia Melina, et al. “Xyloglucan Remodeling Defines Auxin-Dependent
    Differential Tissue Expansion in Plants.” <i>International Journal of Molecular
    Sciences</i>, vol. 22, no. 17, 9222, MDPI, 2021, doi:<a href="https://doi.org/10.3390/ijms22179222">10.3390/ijms22179222</a>.
  short: S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A.
    Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P.
    Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences
    22 (2021).
date_created: 2021-09-05T22:01:24Z
date_published: 2021-08-26T00:00:00Z
date_updated: 2023-10-31T19:29:38Z
day: '26'
ddc:
- '575'
department:
- _id: EvBe
doi: 10.3390/ijms22179222
external_id:
  isi:
  - '000694347100001'
  pmid:
  - '34502129'
file:
- access_level: open_access
  checksum: 6b7055cf89f1b7ed8594c3fdf56f000b
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-06T12:50:19Z
  date_updated: 2021-09-07T09:04:53Z
  file_id: '9988'
  file_name: 2021_IntJMolecularSciences_Velasquez.pdf
  file_size: 2162247
  relation: main_file
file_date_updated: 2021-09-07T09:04:53Z
has_accepted_license: '1'
intvolume: '        22'
isi: 1
issue: '17'
keyword:
- auxin
- growth
- cell wall
- xyloglucans
- hypocotyls
- gravitropism
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
  eissn:
  - 1422-0067
  issn:
  - 1661-6596
publication_status: published
publisher: MDPI
quality_controlled: '1'
scopus_import: '1'
status: public
title: Xyloglucan remodeling defines auxin-dependent differential tissue expansion
  in plants
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: 22
year: '2021'
...
---
_id: '9987'
abstract:
- lang: eng
  text: 'Stateless model checking (SMC) is one of the standard approaches to the verification
    of concurrent programs. As scheduling non-determinism creates exponentially large
    spaces of thread interleavings, SMC attempts to partition this space into equivalence
    classes and explore only a few representatives from each class. The efficiency
    of this approach depends on two factors: (a) the coarseness of the partitioning,
    and (b) the time to generate representatives in each class. For this reason, the
    search for coarse partitionings that are efficiently explorable is an active research
    challenge. In this work we present   RVF-SMC , a new SMC algorithm that uses a
    novel reads-value-from (RVF) partitioning. Intuitively, two interleavings are
    deemed equivalent if they agree on the value obtained in each read event, and
    read events induce consistent causal orderings between them. The RVF partitioning
    is provably coarser than recent approaches based on Mazurkiewicz and “reads-from”
    partitionings. Our experimental evaluation reveals that RVF is quite often a very
    effective equivalence, as the underlying partitioning is exponentially coarser
    than other approaches. Moreover,   RVF-SMC  generates representatives very efficiently,
    as the reduction in the partitioning is often met with significant speed-ups in
    the model checking task.'
acknowledgement: The research was partially funded by the ERC CoG 863818 (ForM-SMArt)
  and the Vienna Science and Technology Fund (WWTF) through project ICT15-003.
alternative_title:
- LNCS
article_processing_charge: Yes
arxiv: 1
author:
- first_name: Pratyush
  full_name: Agarwal, Pratyush
  last_name: Agarwal
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Shreya
  full_name: Pathak, Shreya
  last_name: Pathak
- first_name: Andreas
  full_name: Pavlogiannis, Andreas
  id: 49704004-F248-11E8-B48F-1D18A9856A87
  last_name: Pavlogiannis
  orcid: 0000-0002-8943-0722
- first_name: Viktor
  full_name: Toman, Viktor
  id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87
  last_name: Toman
  orcid: 0000-0001-9036-063X
citation:
  ama: 'Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model
    checking under a reads-value-from equivalence. In: <i>33rd International Conference
    on Computer-Aided Verification </i>. Vol 12759. Springer Nature; 2021:341-366.
    doi:<a href="https://doi.org/10.1007/978-3-030-81685-8_16">10.1007/978-3-030-81685-8_16</a>'
  apa: 'Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., &#38; Toman, V.
    (2021). Stateless model checking under a reads-value-from equivalence. In <i>33rd
    International Conference on Computer-Aided Verification </i> (Vol. 12759, pp.
    341–366). Virtual: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-81685-8_16">https://doi.org/10.1007/978-3-030-81685-8_16</a>'
  chicago: Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis,
    and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.”
    In <i>33rd International Conference on Computer-Aided Verification </i>, 12759:341–66.
    Springer Nature, 2021. <a href="https://doi.org/10.1007/978-3-030-81685-8_16">https://doi.org/10.1007/978-3-030-81685-8_16</a>.
  ieee: P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless
    model checking under a reads-value-from equivalence,” in <i>33rd International
    Conference on Computer-Aided Verification </i>, Virtual, 2021, vol. 12759, pp.
    341–366.
  ista: 'Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless
    model checking under a reads-value-from equivalence. 33rd International Conference
    on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol.
    12759, 341–366.'
  mla: Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from
    Equivalence.” <i>33rd International Conference on Computer-Aided Verification
    </i>, vol. 12759, Springer Nature, 2021, pp. 341–66, doi:<a href="https://doi.org/10.1007/978-3-030-81685-8_16">10.1007/978-3-030-81685-8_16</a>.
  short: P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd
    International Conference on Computer-Aided Verification , Springer Nature, 2021,
    pp. 341–366.
conference:
  end_date: 2021-07-23
  location: Virtual
  name: 'CAV: Computer Aided Verification '
  start_date: 2021-07-20
date_created: 2021-09-05T22:01:24Z
date_published: 2021-07-15T00:00:00Z
date_updated: 2025-07-14T09:10:15Z
day: '15'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-81685-8_16
ec_funded: 1
external_id:
  arxiv:
  - '2105.06424'
  isi:
  - '000698732400016'
file:
- access_level: open_access
  checksum: 4b346e5fbaa8b9bdf107819c7b2aadee
  content_type: application/pdf
  creator: dernst
  date_created: 2022-05-13T07:00:20Z
  date_updated: 2022-05-13T07:00:20Z
  file_id: '11368'
  file_name: 2021_LNCS_Agarwal.pdf
  file_size: 1516756
  relation: main_file
  success: 1
file_date_updated: 2022-05-13T07:00:20Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 341-366
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: '33rd International Conference on Computer-Aided Verification '
publication_identifier:
  eisbn:
  - 978-3-030-81685-8
  eissn:
  - 1611-3349
  isbn:
  - 978-3-030-81684-1
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '10199'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Stateless model checking under a reads-value-from equivalence
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: '12759 '
year: '2021'
...
---
_id: '9992'
abstract:
- lang: eng
  text: "Blood – this is what animals use to heal wounds fast and efficient. Plants
    do not have blood circulation and their cells cannot move. However, plants have
    evolved remarkable capacities to regenerate tissues and organs preventing further
    damage. In my PhD research, I studied the wound healing in the Arabidopsis root.
    I used a UV laser to ablate single cells in the root tip and observed the consequent
    wound healing. Interestingly, the inner adjacent cells induced a\r\ndivision plane
    switch and subsequently adopted the cell type of the killed cell to replace it.
    We termed this form of wound healing “restorative divisions”. This initial observation
    triggered the questions of my PhD studies: How and why do cells orient their division
    planes, how do they feel the wound and why does this happen only in inner adjacent
    cells.\r\nFor answering these questions, I used a quite simple experimental setup:
    5 day - old seedlings were stained with propidium iodide to visualize cell walls
    and dead cells; ablation was carried out using a special laser cutter and a confocal
    microscope. Adaptation of the novel vertical microscope system made it possible
    to observe wounds in real time. This revealed that restorative divisions occur
    at increased frequency compared to normal divisions. Additionally,\r\nthe major
    plant hormone auxin accumulates in wound adjacent cells and drives the expression
    of the wound-stress responsive transcription factor ERF115. Using this as a marker
    gene for wound responses, we found that an important part of wound signalling
    is the sensing of the collapse of the ablated cell. The collapse causes a radical
    pressure drop, which results in strong tissue deformations. These deformations
    manifest in an invasion of the now free spot specifically by the inner adjacent
    cells within seconds, probably because of higher pressure of the inner tissues.
    Long-term imaging revealed that those deformed cells continuously expand towards
    the wound hole and that this is crucial for the restorative division. These wound-expanding
    cells exhibit an abnormal, biphasic polarity of microtubule arrays\r\nbefore the
    division. Experiments inhibiting cell expansion suggest that it is the biphasic
    stretching that induces those MT arrays. Adapting the micromanipulator aspiration
    system from animal scientists at our institute confirmed the hypothesis that stretching
    influences microtubule stability. In conclusion, this shows that microtubules
    react to tissue deformation\r\nand this facilitates the observed division plane
    switch. This puts mechanical cues and tensions at the most prominent position
    for explaining the growth and wound healing properties of plants. Hence, it shines
    light onto the importance of understanding mechanical signal transduction. "
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Lukas
  full_name: Hörmayer, Lukas
  id: 2EEE7A2A-F248-11E8-B48F-1D18A9856A87
  last_name: Hörmayer
  orcid: 0000-0001-8295-2926
citation:
  ama: Hörmayer L. Wound healing in the Arabidopsis root meristem. 2021. doi:<a href="https://doi.org/10.15479/at:ista:9992">10.15479/at:ista:9992</a>
  apa: Hörmayer, L. (2021). <i>Wound healing in the Arabidopsis root meristem</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:9992">https://doi.org/10.15479/at:ista:9992</a>
  chicago: Hörmayer, Lukas. “Wound Healing in the Arabidopsis Root Meristem.” Institute
    of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/at:ista:9992">https://doi.org/10.15479/at:ista:9992</a>.
  ieee: L. Hörmayer, “Wound healing in the Arabidopsis root meristem,” Institute of
    Science and Technology Austria, 2021.
  ista: Hörmayer L. 2021. Wound healing in the Arabidopsis root meristem. Institute
    of Science and Technology Austria.
  mla: Hörmayer, Lukas. <i>Wound Healing in the Arabidopsis Root Meristem</i>. Institute
    of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/at:ista:9992">10.15479/at:ista:9992</a>.
  short: L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of
    Science and Technology Austria, 2021.
date_created: 2021-09-09T07:37:20Z
date_published: 2021-09-13T00:00:00Z
date_updated: 2023-09-07T13:38:33Z
day: '13'
ddc:
- '575'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JiFr
doi: 10.15479/at:ista:9992
ec_funded: 1
file:
- access_level: closed
  checksum: c763064adaa720e16066c1a4f9682bbb
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: lhoermaye
  date_created: 2021-09-09T07:29:48Z
  date_updated: 2021-09-15T22:30:26Z
  embargo_to: open_access
  file_id: '9993'
  file_name: Thesis_vupload.docx
  file_size: 25179004
  relation: source_file
- access_level: open_access
  checksum: 53911b06e93d7cdbbf4c7f4c162fa70f
  content_type: application/pdf
  creator: lhoermaye
  date_created: 2021-09-09T14:25:08Z
  date_updated: 2021-09-15T22:30:26Z
  embargo: 2021-09-09
  file_id: '9996'
  file_name: Thesis_vfinal_pdfa.pdf
  file_size: 6246900
  relation: main_file
file_date_updated: 2021-09-15T22:30:26Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '09'
oa: 1
oa_version: Published Version
page: '168'
project:
- _id: 262EF96E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P29988
  name: RNA-directed DNA methylation in plant development
- _id: 261099A6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '742985'
  name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '6351'
    relation: part_of_dissertation
    status: public
  - id: '6943'
    relation: part_of_dissertation
    status: public
  - id: '8002'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
title: Wound healing in the Arabidopsis root meristem
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9997'
abstract:
- lang: eng
  text: Indirect reciprocity is a mechanism for the evolution of cooperation based
    on social norms. This mechanism requires that individuals in a population observe
    and judge each other’s behaviors. Individuals with a good reputation are more
    likely to receive help from others. Previous work suggests that indirect reciprocity
    is only effective when all relevant information is reliable and publicly available.
    Otherwise, individuals may disagree on how to assess others, even if they all
    apply the same social norm. Such disagreements can lead to a breakdown of cooperation.
    Here we explore whether the predominantly studied ‘leading eight’ social norms
    of indirect reciprocity can be made more robust by equipping them with an element
    of generosity. To this end, we distinguish between two kinds of generosity. According
    to assessment generosity, individuals occasionally assign a good reputation to
    group members who would usually be regarded as bad. According to action generosity,
    individuals occasionally cooperate with group members with whom they would usually
    defect. Using individual-based simulations, we show that the two kinds of generosity
    have a very different effect on the resulting reputation dynamics. Assessment
    generosity tends to add to the overall noise and allows defectors to invade. In
    contrast, a limited amount of action generosity can be beneficial in a few cases.
    However, even when action generosity is beneficial, the respective simulations
    do not result in full cooperation. Our results suggest that while generosity can
    favor cooperation when individuals use the most simple strategies of reciprocity,
    it is disadvantageous when individuals use more complex social norms.
acknowledgement: 'This work was supported by the European Research Council CoG 863818
  (ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529:
  E-DIRECT (to C.H.). L.S. received additional partial support by the Austrian Science
  Fund (FWF) under Grant Z211-N23 (Wittgenstein Award).'
article_number: '17443'
article_processing_charge: Yes
article_type: original
author:
- first_name: Laura
  full_name: Schmid, Laura
  id: 38B437DE-F248-11E8-B48F-1D18A9856A87
  last_name: Schmid
  orcid: 0000-0002-6978-7329
- first_name: Pouya
  full_name: Shati, Pouya
  last_name: Shati
- first_name: Christian
  full_name: Hilbe, Christian
  last_name: Hilbe
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
citation:
  ama: Schmid L, Shati P, Hilbe C, Chatterjee K. The evolution of indirect reciprocity
    under action and assessment generosity. <i>Scientific Reports</i>. 2021;11(1).
    doi:<a href="https://doi.org/10.1038/s41598-021-96932-1">10.1038/s41598-021-96932-1</a>
  apa: Schmid, L., Shati, P., Hilbe, C., &#38; Chatterjee, K. (2021). The evolution
    of indirect reciprocity under action and assessment generosity. <i>Scientific
    Reports</i>. Springer Nature. <a href="https://doi.org/10.1038/s41598-021-96932-1">https://doi.org/10.1038/s41598-021-96932-1</a>
  chicago: Schmid, Laura, Pouya Shati, Christian Hilbe, and Krishnendu Chatterjee.
    “The Evolution of Indirect Reciprocity under Action and Assessment Generosity.”
    <i>Scientific Reports</i>. Springer Nature, 2021. <a href="https://doi.org/10.1038/s41598-021-96932-1">https://doi.org/10.1038/s41598-021-96932-1</a>.
  ieee: L. Schmid, P. Shati, C. Hilbe, and K. Chatterjee, “The evolution of indirect
    reciprocity under action and assessment generosity,” <i>Scientific Reports</i>,
    vol. 11, no. 1. Springer Nature, 2021.
  ista: Schmid L, Shati P, Hilbe C, Chatterjee K. 2021. The evolution of indirect
    reciprocity under action and assessment generosity. Scientific Reports. 11(1),
    17443.
  mla: Schmid, Laura, et al. “The Evolution of Indirect Reciprocity under Action and
    Assessment Generosity.” <i>Scientific Reports</i>, vol. 11, no. 1, 17443, Springer
    Nature, 2021, doi:<a href="https://doi.org/10.1038/s41598-021-96932-1">10.1038/s41598-021-96932-1</a>.
  short: L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
date_created: 2021-09-11T16:22:02Z
date_published: 2021-08-31T00:00:00Z
date_updated: 2025-07-14T09:10:09Z
day: '31'
ddc:
- '003'
department:
- _id: GradSch
- _id: KrCh
doi: 10.1038/s41598-021-96932-1
ec_funded: 1
external_id:
  isi:
  - '000692406400018'
  pmid:
  - '34465830'
file:
- access_level: open_access
  checksum: 19df8816cf958b272b85841565c73182
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-13T10:31:21Z
  date_updated: 2021-09-13T10:31:21Z
  file_id: '10006'
  file_name: 2021_ScientificReports_Schmid.pdf
  file_size: 2424943
  relation: main_file
  success: 1
file_date_updated: 2021-09-13T10:31:21Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
issue: '1'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Scientific Reports
publication_identifier:
  eissn:
  - 2045-2322
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '10293'
    relation: dissertation_contains
    status: public
status: public
title: The evolution of indirect reciprocity under action and assessment generosity
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2021'
...
---
_id: '9998'
abstract:
- lang: eng
  text: We define quantum equivariant K-theory of Nakajima quiver varieties. We discuss
    type A in detail as well as its connections with quantum XXZ spin chains and trigonometric
    Ruijsenaars-Schneider models. Finally we study a limit which produces a K-theoretic
    version of results of Givental and Kim, connecting quantum geometry of flag varieties
    and Toda lattice.
acknowledgement: 'First of all we would like to thank Andrei Okounkov for invaluable
  discussions, advises and sharing with us his fantastic viewpoint on modern quantum
  geometry. We are also grateful to D. Korb and Z. Zhou for their interest and comments.
  The work of A. Smirnov was supported in part by RFBR Grants under Numbers 15-02-04175
  and 15-01-04217 and in part by NSF Grant DMS–2054527. The work of P. Koroteev, A.M.
  Zeitlin and A. Smirnov is supported in part by AMS Simons travel Grant. A. M. Zeitlin
  is partially supported by Simons Collaboration Grant, Award ID: 578501. Open access
  funding provided by Institute of Science and Technology (IST Austria).'
article_number: '87'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Peter
  full_name: Koroteev, Peter
  last_name: Koroteev
- first_name: Petr
  full_name: Pushkar, Petr
  id: 151DCEB6-9EC3-11E9-8480-ABECE5697425
  last_name: Pushkar
- first_name: Andrey V.
  full_name: Smirnov, Andrey V.
  last_name: Smirnov
- first_name: Anton M.
  full_name: Zeitlin, Anton M.
  last_name: Zeitlin
citation:
  ama: Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. Quantum K-theory of quiver varieties
    and many-body systems. <i>Selecta Mathematica</i>. 2021;27(5). doi:<a href="https://doi.org/10.1007/s00029-021-00698-3">10.1007/s00029-021-00698-3</a>
  apa: Koroteev, P., Pushkar, P., Smirnov, A. V., &#38; Zeitlin, A. M. (2021). Quantum
    K-theory of quiver varieties and many-body systems. <i>Selecta Mathematica</i>.
    Springer Nature. <a href="https://doi.org/10.1007/s00029-021-00698-3">https://doi.org/10.1007/s00029-021-00698-3</a>
  chicago: Koroteev, Peter, Petr Pushkar, Andrey V. Smirnov, and Anton M. Zeitlin.
    “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” <i>Selecta Mathematica</i>.
    Springer Nature, 2021. <a href="https://doi.org/10.1007/s00029-021-00698-3">https://doi.org/10.1007/s00029-021-00698-3</a>.
  ieee: P. Koroteev, P. Pushkar, A. V. Smirnov, and A. M. Zeitlin, “Quantum K-theory
    of quiver varieties and many-body systems,” <i>Selecta Mathematica</i>, vol. 27,
    no. 5. Springer Nature, 2021.
  ista: Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver
    varieties and many-body systems. Selecta Mathematica. 27(5), 87.
  mla: Koroteev, Peter, et al. “Quantum K-Theory of Quiver Varieties and Many-Body
    Systems.” <i>Selecta Mathematica</i>, vol. 27, no. 5, 87, Springer Nature, 2021,
    doi:<a href="https://doi.org/10.1007/s00029-021-00698-3">10.1007/s00029-021-00698-3</a>.
  short: P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica
    27 (2021).
date_created: 2021-09-12T22:01:22Z
date_published: 2021-08-30T00:00:00Z
date_updated: 2023-08-14T06:34:14Z
day: '30'
ddc:
- '530'
department:
- _id: TaHa
doi: 10.1007/s00029-021-00698-3
external_id:
  isi:
  - '000692795200001'
file:
- access_level: open_access
  checksum: beadc5a722ffb48190e1e63ee2dbfee5
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-13T11:31:34Z
  date_updated: 2021-09-13T11:31:34Z
  file_id: '10010'
  file_name: 2021_SelectaMath_Koroteev.pdf
  file_size: 584648
  relation: main_file
  success: 1
file_date_updated: 2021-09-13T11:31:34Z
has_accepted_license: '1'
intvolume: '        27'
isi: 1
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Selecta Mathematica
publication_identifier:
  eissn:
  - 1420-9020
  issn:
  - 1022-1824
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantum K-theory of quiver varieties and many-body systems
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 27
year: '2021'
...
