---
_id: '1215'
abstract:
- lang: eng
  text: "Two generalizations of Itô formula to infinite-dimensional spaces are given.\r\nThe
    first one, in Hilbert spaces, extends the classical one by taking advantage of\r\ncancellations
    when they occur in examples and it is applied to the case of a group\r\ngenerator.
    The second one, based on the previous one and a limit procedure, is an Itô\r\nformula
    in a special class of Banach spaces having a product structure with the noise\r\nin
    a Hilbert component; again the key point is the extension due to a cancellation.
    This\r\nextension to Banach spaces and in particular the specific cancellation
    are motivated\r\nby path-dependent Itô calculus."
acknowledgement: Open access funding provided by Institute of Science and Technology
  (IST Austria). The second named author benefited partially from the support of the
  “FMJH Program Gaspard Monge in Optimization and Operations Research” (Project 2014-1607H).
  He is also grateful for the invitation to the Department of Mathematics of the University
  of Pisa. The third named author is grateful for the invitation to ENSTA.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Franco
  full_name: Flandoli, Franco
  last_name: Flandoli
- first_name: Francesco
  full_name: Russo, Francesco
  last_name: Russo
- first_name: Giovanni A
  full_name: Zanco, Giovanni A
  id: 47491882-F248-11E8-B48F-1D18A9856A87
  last_name: Zanco
citation:
  ama: Flandoli F, Russo F, Zanco GA. Infinite-dimensional calculus under weak spatial
    regularity of the processes. <i>Journal of Theoretical Probability</i>. 2018;31(2):789-826.
    doi:<a href="https://doi.org/10.1007/s10959-016-0724-2">10.1007/s10959-016-0724-2</a>
  apa: Flandoli, F., Russo, F., &#38; Zanco, G. A. (2018). Infinite-dimensional calculus
    under weak spatial regularity of the processes. <i>Journal of Theoretical Probability</i>.
    Springer. <a href="https://doi.org/10.1007/s10959-016-0724-2">https://doi.org/10.1007/s10959-016-0724-2</a>
  chicago: Flandoli, Franco, Francesco Russo, and Giovanni A Zanco. “Infinite-Dimensional
    Calculus under Weak Spatial Regularity of the Processes.” <i>Journal of Theoretical
    Probability</i>. Springer, 2018. <a href="https://doi.org/10.1007/s10959-016-0724-2">https://doi.org/10.1007/s10959-016-0724-2</a>.
  ieee: F. Flandoli, F. Russo, and G. A. Zanco, “Infinite-dimensional calculus under
    weak spatial regularity of the processes,” <i>Journal of Theoretical Probability</i>,
    vol. 31, no. 2. Springer, pp. 789–826, 2018.
  ista: Flandoli F, Russo F, Zanco GA. 2018. Infinite-dimensional calculus under weak
    spatial regularity of the processes. Journal of Theoretical Probability. 31(2),
    789–826.
  mla: Flandoli, Franco, et al. “Infinite-Dimensional Calculus under Weak Spatial
    Regularity of the Processes.” <i>Journal of Theoretical Probability</i>, vol.
    31, no. 2, Springer, 2018, pp. 789–826, doi:<a href="https://doi.org/10.1007/s10959-016-0724-2">10.1007/s10959-016-0724-2</a>.
  short: F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31
    (2018) 789–826.
date_created: 2018-12-11T11:50:45Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2021-01-12T06:49:09Z
day: '01'
ddc:
- '519'
department:
- _id: JaMa
doi: 10.1007/s10959-016-0724-2
file:
- access_level: open_access
  checksum: 47686d58ec21c164540f1a980ff2163f
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:13Z
  date_updated: 2020-07-14T12:44:39Z
  file_id: '5266'
  file_name: IST-2016-712-v1+1_s10959-016-0724-2.pdf
  file_size: 671125
  relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: '        31'
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '06'
oa: 1
oa_version: Published Version
page: 789-826
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Journal of Theoretical Probability
publication_status: published
publisher: Springer
publist_id: '6119'
pubrep_id: '712'
quality_controlled: '1'
scopus_import: 1
status: public
title: Infinite-dimensional calculus under weak spatial regularity of the processes
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 31
year: '2018'
...
---
_id: '13'
abstract:
- lang: eng
  text: We propose a new method for fabricating digital objects through reusable silicone
    molds. Molds are generated by casting liquid silicone into custom 3D printed containers
    called metamolds. Metamolds automatically define the cuts that are needed to extract
    the cast object from the silicone mold. The shape of metamolds is designed through
    a novel segmentation technique, which takes into account both geometric and topological
    constraints involved in the process of mold casting. Our technique is simple,
    does not require changing the shape or topology of the input objects, and only
    requires off-the- shelf materials and technologies. We successfully tested our
    method on a set of challenging examples with complex shapes and rich geometric
    detail. © 2018 Association for Computing Machinery.
article_number: '136'
article_processing_charge: No
author:
- first_name: Thomas
  full_name: Alderighi, Thomas
  last_name: Alderighi
- first_name: Luigi
  full_name: Malomo, Luigi
  last_name: Malomo
- first_name: Daniela
  full_name: Giorgi, Daniela
  last_name: Giorgi
- first_name: Nico
  full_name: Pietroni, Nico
  last_name: Pietroni
- first_name: Bernd
  full_name: Bickel, Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Paolo
  full_name: Cignoni, Paolo
  last_name: Cignoni
citation:
  ama: 'Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds:
    Computational design of silicone molds. <i>ACM Trans Graph</i>. 2018;37(4). doi:<a
    href="https://doi.org/10.1145/3197517.3201381">10.1145/3197517.3201381</a>'
  apa: 'Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., &#38; Cignoni,
    P. (2018). Metamolds: Computational design of silicone molds. <i>ACM Trans. Graph.</i>
    ACM. <a href="https://doi.org/10.1145/3197517.3201381">https://doi.org/10.1145/3197517.3201381</a>'
  chicago: 'Alderighi, Thomas, Luigi Malomo, Daniela Giorgi, Nico Pietroni, Bernd
    Bickel, and Paolo Cignoni. “Metamolds: Computational Design of Silicone Molds.”
    <i>ACM Trans. Graph.</i> ACM, 2018. <a href="https://doi.org/10.1145/3197517.3201381">https://doi.org/10.1145/3197517.3201381</a>.'
  ieee: 'T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni,
    “Metamolds: Computational design of silicone molds,” <i>ACM Trans. Graph.</i>,
    vol. 37, no. 4. ACM, 2018.'
  ista: 'Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. 2018. Metamolds:
    Computational design of silicone molds. ACM Trans. Graph. 37(4), 136.'
  mla: 'Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.”
    <i>ACM Trans. Graph.</i>, vol. 37, no. 4, 136, ACM, 2018, doi:<a href="https://doi.org/10.1145/3197517.3201381">10.1145/3197517.3201381</a>.'
  short: T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM
    Trans. Graph. 37 (2018).
date_created: 2018-12-11T11:44:09Z
date_published: 2018-08-04T00:00:00Z
date_updated: 2023-09-13T08:56:07Z
day: '04'
ddc:
- '004'
department:
- _id: BeBi
doi: 10.1145/3197517.3201381
ec_funded: 1
external_id:
  isi:
  - '000448185000097'
file:
- access_level: open_access
  checksum: 61d46273dca4de626accef1d17a0aaad
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:18:52Z
  date_updated: 2020-07-14T12:44:43Z
  file_id: '5374'
  file_name: IST-2018-1038-v1+1_metamolds_authorversion.pdf
  file_size: 91939066
  relation: main_file
file_date_updated: 2020-07-14T12:44:43Z
has_accepted_license: '1'
intvolume: '        37'
isi: 1
issue: '4'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715767'
  name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
    Modeling'
publication: ACM Trans. Graph.
publication_status: published
publisher: ACM
publist_id: '8043'
pubrep_id: '1038'
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/metamolds-molding-a-mold/
scopus_import: '1'
status: public
title: 'Metamolds: Computational design of silicone molds'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 37
year: '2018'
...
---
_id: '13055'
abstract:
- lang: eng
  text: "Dataset for manuscript 'Social network plasticity decreases disease transmission
    in a eusocial insect'\r\nCompared to previous versions: - raw image files added\r\n
    \                                                    - correction of URLs within
    README.txt file\r\n"
article_processing_charge: No
author:
- first_name: Nathalie
  full_name: Stroeymeyt, Nathalie
  last_name: Stroeymeyt
- first_name: Anna V
  full_name: Grasse, Anna V
  id: 406F989C-F248-11E8-B48F-1D18A9856A87
  last_name: Grasse
- first_name: Alessandro
  full_name: Crespi, Alessandro
  last_name: Crespi
- first_name: Danielle
  full_name: Mersch, Danielle
  last_name: Mersch
- first_name: Sylvia
  full_name: Cremer, Sylvia
  id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
  last_name: Cremer
  orcid: 0000-0002-2193-3868
- first_name: Laurent
  full_name: Keller, Laurent
  last_name: Keller
citation:
  ama: Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. Social network
    plasticity decreases disease transmission in a eusocial insect. 2018. doi:<a href="https://doi.org/10.5281/ZENODO.1322669">10.5281/ZENODO.1322669</a>
  apa: Stroeymeyt, N., Grasse, A. V., Crespi, A., Mersch, D., Cremer, S., &#38; Keller,
    L. (2018). Social network plasticity decreases disease transmission in a eusocial
    insect. Zenodo. <a href="https://doi.org/10.5281/ZENODO.1322669">https://doi.org/10.5281/ZENODO.1322669</a>
  chicago: Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch,
    Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease
    Transmission in a Eusocial Insect.” Zenodo, 2018. <a href="https://doi.org/10.5281/ZENODO.1322669">https://doi.org/10.5281/ZENODO.1322669</a>.
  ieee: N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller,
    “Social network plasticity decreases disease transmission in a eusocial insect.”
    Zenodo, 2018.
  ista: Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. 2018. Social
    network plasticity decreases disease transmission in a eusocial insect, Zenodo,
    <a href="https://doi.org/10.5281/ZENODO.1322669">10.5281/ZENODO.1322669</a>.
  mla: Stroeymeyt, Nathalie, et al. <i>Social Network Plasticity Decreases Disease
    Transmission in a Eusocial Insect</i>. Zenodo, 2018, doi:<a href="https://doi.org/10.5281/ZENODO.1322669">10.5281/ZENODO.1322669</a>.
  short: N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
date_created: 2023-05-23T13:24:51Z
date_published: 2018-10-23T00:00:00Z
date_updated: 2023-10-17T11:50:04Z
day: '23'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.5281/ZENODO.1322669
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.1480665
month: '10'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '7'
    relation: used_in_publication
    status: public
status: public
title: Social network plasticity decreases disease transmission in a eusocial insect
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '13059'
abstract:
- lang: eng
  text: "This dataset contains a GitHub repository containing all the data, analysis,
    Nextflow workflows and Jupyter notebooks to replicate the manuscript titled \"Fast
    and accurate large multiple sequence alignments with a root-to-leaf regressive
    method\".\r\nIt also contains the Multiple Sequence Alignments (MSAs) generated
    and well as the main figures and tables from the manuscript.\r\nThe repository
    is also available at GitHub (https://github.com/cbcrg/dpa-analysis) release `v1.2`.\r\nFor
    details on how to use the regressive alignment algorithm, see the T-Coffee software
    suite (https://github.com/cbcrg/tcoffee)."
article_processing_charge: No
author:
- first_name: Edgar
  full_name: Garriga, Edgar
  last_name: Garriga
- first_name: Paolo
  full_name: di Tommaso, Paolo
  last_name: di Tommaso
- first_name: Cedrik
  full_name: Magis, Cedrik
  last_name: Magis
- first_name: Ionas
  full_name: Erb, Ionas
  last_name: Erb
- first_name: Leila
  full_name: Mansouri, Leila
  last_name: Mansouri
- first_name: Athanasios
  full_name: Baltzis, Athanasios
  last_name: Baltzis
- first_name: Hafid
  full_name: Laayouni, Hafid
  last_name: Laayouni
- first_name: Fyodor
  full_name: Kondrashov, Fyodor
  id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
  last_name: Kondrashov
  orcid: 0000-0001-8243-4694
- first_name: Evan
  full_name: Floden, Evan
  last_name: Floden
- first_name: Cedric
  full_name: Notredame, Cedric
  last_name: Notredame
citation:
  ama: Garriga E, di Tommaso P, Magis C, et al. Fast and accurate large multiple sequence
    alignments with a root-to-leaf regressive method. 2018. doi:<a href="https://doi.org/10.5281/ZENODO.2025846">10.5281/ZENODO.2025846</a>
  apa: Garriga, E., di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A.,
    … Notredame, C. (2018). Fast and accurate large multiple sequence alignments with
    a root-to-leaf regressive method. Zenodo. <a href="https://doi.org/10.5281/ZENODO.2025846">https://doi.org/10.5281/ZENODO.2025846</a>
  chicago: Garriga, Edgar, Paolo di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri,
    Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric
    Notredame. “Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf
    Regressive Method.” Zenodo, 2018. <a href="https://doi.org/10.5281/ZENODO.2025846">https://doi.org/10.5281/ZENODO.2025846</a>.
  ieee: E. Garriga <i>et al.</i>, “Fast and accurate large multiple sequence alignments
    with a root-to-leaf regressive method.” Zenodo, 2018.
  ista: Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H,
    Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence
    alignments with a root-to-leaf regressive method, Zenodo, <a href="https://doi.org/10.5281/ZENODO.2025846">10.5281/ZENODO.2025846</a>.
  mla: Garriga, Edgar, et al. <i>Fast and Accurate Large Multiple Sequence Alignments
    with a Root-to-Leaf Regressive Method</i>. Zenodo, 2018, doi:<a href="https://doi.org/10.5281/ZENODO.2025846">10.5281/ZENODO.2025846</a>.
  short: E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H.
    Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
date_created: 2023-05-23T16:08:20Z
date_published: 2018-12-07T00:00:00Z
date_updated: 2023-09-06T14:32:51Z
day: '07'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.5281/ZENODO.2025846
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.3271452
month: '12'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '7181'
    relation: used_in_publication
    status: public
status: public
title: Fast and accurate large multiple sequence alignments with a root-to-leaf regressive
  method
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '131'
abstract:
- lang: eng
  text: 'XY systems usually show chromosome-wide compensation of X-linked genes, while
    in many ZW systems, compensation is restricted to a minority of dosage-sensitive
    genes. Why such differences arose is still unclear. Here, we combine comparative
    genomics, transcriptomics and proteomics to obtain a complete overview of the
    evolution of gene dosage on the Z-chromosome of Schistosoma parasites. We compare
    the Z-chromosome gene content of African (Schistosoma mansoni and S. haematobium)
    and Asian (S. japonicum) schistosomes and describe lineage-specific evolutionary
    strata. We use these to assess gene expression evolution following sex-linkage.
    The resulting patterns suggest a reduction in expression of Z-linked genes in
    females, combined with upregulation of the Z in both sexes, in line with the first
    step of Ohno’s classic model of dosage compensation evolution. Quantitative proteomics
    suggest that post-transcriptional mechanisms do not play a major role in balancing
    the expression of Z-linked genes. '
acknowledgement: We are grateful to Lu Dabing (Soochow University, Suzhou, China)
  for providing Schistosoma japonicum samples, to Ariana Macon (IST Austria) and Georgette
  Stovall (JLU Giessen) for technical assistance, to IT support at IST Austria for
  providing optimal environment to bioinformatic analyses, and to the Vicoso lab for
  comments on the manuscript.
article_number: e35684
article_processing_charge: No
article_type: original
author:
- first_name: Marion A
  full_name: Picard, Marion A
  id: 2C921A7A-F248-11E8-B48F-1D18A9856A87
  last_name: Picard
  orcid: 0000-0002-8101-2518
- first_name: Celine
  full_name: Cosseau, Celine
  last_name: Cosseau
- first_name: Sabrina
  full_name: Ferré, Sabrina
  last_name: Ferré
- first_name: Thomas
  full_name: Quack, Thomas
  last_name: Quack
- first_name: Christoph
  full_name: Grevelding, Christoph
  last_name: Grevelding
- first_name: Yohann
  full_name: Couté, Yohann
  last_name: Couté
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
citation:
  ama: Picard MAL, Cosseau C, Ferré S, et al. Evolution of gene dosage on the Z-chromosome
    of schistosome parasites. <i>eLife</i>. 2018;7. doi:<a href="https://doi.org/10.7554/eLife.35684">10.7554/eLife.35684</a>
  apa: Picard, M. A. L., Cosseau, C., Ferré, S., Quack, T., Grevelding, C., Couté,
    Y., &#38; Vicoso, B. (2018). Evolution of gene dosage on the Z-chromosome of schistosome
    parasites. <i>ELife</i>. eLife Sciences Publications. <a href="https://doi.org/10.7554/eLife.35684">https://doi.org/10.7554/eLife.35684</a>
  chicago: Picard, Marion A L, Celine Cosseau, Sabrina Ferré, Thomas Quack, Christoph
    Grevelding, Yohann Couté, and Beatriz Vicoso. “Evolution of Gene Dosage on the
    Z-Chromosome of Schistosome Parasites.” <i>ELife</i>. eLife Sciences Publications,
    2018. <a href="https://doi.org/10.7554/eLife.35684">https://doi.org/10.7554/eLife.35684</a>.
  ieee: M. A. L. Picard <i>et al.</i>, “Evolution of gene dosage on the Z-chromosome
    of schistosome parasites,” <i>eLife</i>, vol. 7. eLife Sciences Publications,
    2018.
  ista: Picard MAL, Cosseau C, Ferré S, Quack T, Grevelding C, Couté Y, Vicoso B.
    2018. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife.
    7, e35684.
  mla: Picard, Marion A. L., et al. “Evolution of Gene Dosage on the Z-Chromosome
    of Schistosome Parasites.” <i>ELife</i>, vol. 7, e35684, eLife Sciences Publications,
    2018, doi:<a href="https://doi.org/10.7554/eLife.35684">10.7554/eLife.35684</a>.
  short: M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B.
    Vicoso, ELife 7 (2018).
date_created: 2018-12-11T11:44:47Z
date_published: 2018-08-13T00:00:00Z
date_updated: 2024-02-21T13:45:12Z
day: '13'
ddc:
- '570'
department:
- _id: BeVi
doi: 10.7554/eLife.35684
external_id:
  isi:
  - '000441388200001'
file:
- access_level: open_access
  checksum: d6331d4385b1fffd6b47b45d5949d841
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T11:55:05Z
  date_updated: 2020-07-14T12:44:43Z
  file_id: '5695'
  file_name: 2018_eLife_Picard.pdf
  file_size: 3158125
  relation: main_file
file_date_updated: 2020-07-14T12:44:43Z
has_accepted_license: '1'
intvolume: '         7'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 250ED89C-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P28842-B22
  name: Sex chromosome evolution under male- and female- heterogamety
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '7792'
quality_controlled: '1'
related_material:
  record:
  - id: '5586'
    relation: popular_science
    status: public
scopus_import: '1'
status: public
title: Evolution of gene dosage on the Z-chromosome of schistosome parasites
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7
year: '2018'
...
---
_id: '132'
abstract:
- lang: eng
  text: Pancreas development involves a coordinated process in which an early phase
    of cell segregation is followed by a longer phase of lineage restriction, expansion,
    and tissue remodeling. By combining clonal tracing and whole-mount reconstruction
    with proliferation kinetics and single-cell transcriptional profiling, we define
    the functional basis of pancreas morphogenesis. We show that the large-scale organization
    of mouse pancreas can be traced to the activity of self-renewing precursors positioned
    at the termini of growing ducts, which act collectively to drive serial rounds
    of stochastic ductal bifurcation balanced by termination. During this phase of
    branching morphogenesis, multipotent precursors become progressively fate-restricted,
    giving rise to self-renewing acinar-committed precursors that are conveyed with
    growing ducts, as well as ductal progenitors that expand the trailing ducts and
    give rise to delaminating endocrine cells. These findings define quantitatively
    how the functional behavior and lineage progression of precursor pools determine
    the large-scale patterning of pancreatic sub-compartments.
acknowledgement: E.H. is funded by a Junior Research Fellowship from Trinity College,
  Cam-bridge, a Sir Henry Wellcome Fellowship from the Wellcome Trust, and theBettencourt-Schueller
  Young Researcher Prize for support.
article_processing_charge: No
article_type: original
author:
- first_name: Magdalena
  full_name: Sznurkowska, Magdalena
  last_name: Sznurkowska
- 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: Roberta
  full_name: Azzarelli, Roberta
  last_name: Azzarelli
- first_name: Steffen
  full_name: Rulands, Steffen
  last_name: Rulands
- first_name: Sonia
  full_name: Nestorowa, Sonia
  last_name: Nestorowa
- first_name: Christopher
  full_name: Hindley, Christopher
  last_name: Hindley
- first_name: Jennifer
  full_name: Nichols, Jennifer
  last_name: Nichols
- first_name: Berthold
  full_name: Göttgens, Berthold
  last_name: Göttgens
- first_name: Meritxell
  full_name: Huch, Meritxell
  last_name: Huch
- first_name: Anna
  full_name: Philpott, Anna
  last_name: Philpott
- first_name: Benjamin
  full_name: Simons, Benjamin
  last_name: Simons
citation:
  ama: Sznurkowska M, Hannezo EB, Azzarelli R, et al. Defining lineage potential and
    fate behavior of precursors during pancreas development. <i>Developmental Cell</i>.
    2018;46(3):360-375. doi:<a href="https://doi.org/10.1016/j.devcel.2018.06.028">10.1016/j.devcel.2018.06.028</a>
  apa: Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S.,
    Hindley, C., … Simons, B. (2018). Defining lineage potential and fate behavior
    of precursors during pancreas development. <i>Developmental Cell</i>. Cell Press.
    <a href="https://doi.org/10.1016/j.devcel.2018.06.028">https://doi.org/10.1016/j.devcel.2018.06.028</a>
  chicago: Sznurkowska, Magdalena, Edouard B Hannezo, Roberta Azzarelli, Steffen Rulands,
    Sonia Nestorowa, Christopher Hindley, Jennifer Nichols, et al. “Defining Lineage
    Potential and Fate Behavior of Precursors during Pancreas Development.” <i>Developmental
    Cell</i>. Cell Press, 2018. <a href="https://doi.org/10.1016/j.devcel.2018.06.028">https://doi.org/10.1016/j.devcel.2018.06.028</a>.
  ieee: M. Sznurkowska <i>et al.</i>, “Defining lineage potential and fate behavior
    of precursors during pancreas development,” <i>Developmental Cell</i>, vol. 46,
    no. 3. Cell Press, pp. 360–375, 2018.
  ista: Sznurkowska M, Hannezo EB, Azzarelli R, Rulands S, Nestorowa S, Hindley C,
    Nichols J, Göttgens B, Huch M, Philpott A, Simons B. 2018. Defining lineage potential
    and fate behavior of precursors during pancreas development. Developmental Cell.
    46(3), 360–375.
  mla: Sznurkowska, Magdalena, et al. “Defining Lineage Potential and Fate Behavior
    of Precursors during Pancreas Development.” <i>Developmental Cell</i>, vol. 46,
    no. 3, Cell Press, 2018, pp. 360–75, doi:<a href="https://doi.org/10.1016/j.devcel.2018.06.028">10.1016/j.devcel.2018.06.028</a>.
  short: M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C.
    Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental
    Cell 46 (2018) 360–375.
date_created: 2018-12-11T11:44:48Z
date_published: 2018-08-06T00:00:00Z
date_updated: 2023-09-11T12:52:41Z
day: '06'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1016/j.devcel.2018.06.028
external_id:
  isi:
  - '000441327300012'
file:
- access_level: open_access
  checksum: 78d2062b9e3c3b90fe71545aeb6d2f65
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T10:49:49Z
  date_updated: 2020-07-14T12:44:43Z
  file_id: '5694'
  file_name: 2018_DevelopmentalCell_Sznurkowska.pdf
  file_size: 8948384
  relation: main_file
file_date_updated: 2020-07-14T12:44:43Z
has_accepted_license: '1'
intvolume: '        46'
isi: 1
issue: '3'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 360 - 375
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '7791'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Defining lineage potential and fate behavior of precursors during pancreas
  development
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 46
year: '2018'
...
---
_id: '133'
abstract:
- lang: eng
  text: Synchronous programs are easy to specify because the side effects of an operation
    are finished by the time the invocation of the operation returns to the caller.
    Asynchronous programs, on the other hand, are difficult to specify because there
    are side effects due to pending computation scheduled as a result of the invocation
    of an operation. They are also difficult to verify because of the large number
    of possible interleavings of concurrent computation threads. We present synchronization,
    a new proof rule that simplifies the verification of asynchronous programs by
    introducing the fiction, for proof purposes, that asynchronous operations complete
    synchronously. Synchronization summarizes an asynchronous computation as immediate
    atomic effect. Modular verification is enabled via pending asynchronous calls
    in atomic summaries, and a complementary proof rule that eliminates pending asynchronous
    calls when components and their specifications are composed. We evaluate synchronization
    in the context of a multi-layer refinement verification methodology on a collection
    of benchmark programs.
alternative_title:
- LIPIcs
article_number: '21'
author:
- first_name: Bernhard
  full_name: Kragl, Bernhard
  id: 320FC952-F248-11E8-B48F-1D18A9856A87
  last_name: Kragl
  orcid: 0000-0001-7745-9117
- first_name: Shaz
  full_name: Qadeer, Shaz
  last_name: Qadeer
- 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: 'Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118.
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">10.4230/LIPIcs.CONCUR.2018.21</a>'
  apa: 'Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2018). Synchronizing the asynchronous
    (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory,
    Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">https://doi.org/10.4230/LIPIcs.CONCUR.2018.21</a>'
  chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the
    Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
    <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">https://doi.org/10.4230/LIPIcs.CONCUR.2018.21</a>.
  ieee: 'B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,”
    presented at the CONCUR: International Conference on Concurrency Theory, Beijing,
    China, 2018, vol. 118.'
  ista: 'Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR:
    International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.'
  mla: Kragl, Bernhard, et al. <i>Synchronizing the Asynchronous</i>. Vol. 118, 21,
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">10.4230/LIPIcs.CONCUR.2018.21</a>.
  short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2018.
conference:
  end_date: 2018-09-07
  location: Beijing, China
  name: 'CONCUR: International Conference on Concurrency Theory'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:48Z
date_published: 2018-08-13T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '13'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2018.21
file:
- access_level: open_access
  checksum: c90895f4c5fafc18ddc54d1c8848077e
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:18:46Z
  date_updated: 2020-07-14T12:44:44Z
  file_id: '5368'
  file_name: IST-2018-853-v2+2_concur2018.pdf
  file_size: 745438
  relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: '       118'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Rigorous Systems Engineering
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
publication_identifier:
  issn:
  - '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7790'
pubrep_id: '1039'
quality_controlled: '1'
related_material:
  record:
  - id: '6426'
    relation: earlier_version
    status: public
  - id: '8332'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: Synchronizing the asynchronous
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2018'
...
---
_id: '82'
abstract:
- lang: eng
  text: In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage,
    bacterial cells resistant to the phage commonly emerge and become the dominant
    population of bacteria. Following the ascent of resistant mutants, the densities
    of bacteria in these simple communities become limited by resources rather than
    the phage. Despite the evolution of resistant hosts, upon which the phage cannot
    replicate, the lytic phage population is most commonly maintained in an apparently
    stable state with the resistant bacteria. Several mechanisms have been put forward
    to account for this result. Here we report the results of population dynamic/evolution
    experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli
    in serial transfer cultures. We show that, following the ascent of λVIR-resistant
    bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal
    media and in all cases in nutrient-rich broth. Using mathematical models and experiments,
    we show that the dominant mechanism responsible for maintenance of λVIRin these
    resource-limited populations dominated by resistant E. coli is a high rate of
    either phenotypic or genetic transition from resistance to susceptibility—a hitherto
    undemonstrated mechanism we term &quot;leaky resistance.&quot; We discuss the
    implications of leaky resistance to our understanding of the conditions for the
    maintenance of phage in populations of bacteria—their “existence conditions.”.
article_number: '2005971'
article_processing_charge: Yes
author:
- first_name: Waqas
  full_name: Chaudhry, Waqas
  last_name: Chaudhry
- first_name: Maros
  full_name: Pleska, Maros
  id: 4569785E-F248-11E8-B48F-1D18A9856A87
  last_name: Pleska
  orcid: 0000-0001-7460-7479
- first_name: Nilang
  full_name: Shah, Nilang
  last_name: Shah
- first_name: Howard
  full_name: Weiss, Howard
  last_name: Weiss
- first_name: Ingrid
  full_name: Mccall, Ingrid
  last_name: Mccall
- first_name: Justin
  full_name: Meyer, Justin
  last_name: Meyer
- first_name: Animesh
  full_name: Gupta, Animesh
  last_name: Gupta
- first_name: Calin C
  full_name: Guet, Calin C
  id: 47F8433E-F248-11E8-B48F-1D18A9856A87
  last_name: Guet
  orcid: 0000-0001-6220-2052
- first_name: Bruce
  full_name: Levin, Bruce
  last_name: Levin
citation:
  ama: Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for
    the existence of lytic bacteriophage. <i>PLoS Biology</i>. 2018;16(8). doi:<a
    href="https://doi.org/10.1371/journal.pbio.2005971">10.1371/journal.pbio.2005971</a>
  apa: Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin,
    B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage.
    <i>PLoS Biology</i>. Public Library of Science. <a href="https://doi.org/10.1371/journal.pbio.2005971">https://doi.org/10.1371/journal.pbio.2005971</a>
  chicago: Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall,
    Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance
    and the Conditions for the Existence of Lytic Bacteriophage.” <i>PLoS Biology</i>.
    Public Library of Science, 2018. <a href="https://doi.org/10.1371/journal.pbio.2005971">https://doi.org/10.1371/journal.pbio.2005971</a>.
  ieee: W. Chaudhry <i>et al.</i>, “Leaky resistance and the conditions for the existence
    of lytic bacteriophage,” <i>PLoS Biology</i>, vol. 16, no. 8. Public Library of
    Science, 2018.
  ista: Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC,
    Levin B. 2018. Leaky resistance and the conditions for the existence of lytic
    bacteriophage. PLoS Biology. 16(8), 2005971.
  mla: Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence
    of Lytic Bacteriophage.” <i>PLoS Biology</i>, vol. 16, no. 8, 2005971, Public
    Library of Science, 2018, doi:<a href="https://doi.org/10.1371/journal.pbio.2005971">10.1371/journal.pbio.2005971</a>.
  short: W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta,
    C.C. Guet, B. Levin, PLoS Biology 16 (2018).
date_created: 2018-12-11T11:44:32Z
date_published: 2018-08-16T00:00:00Z
date_updated: 2023-09-13T08:45:41Z
day: '16'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1371/journal.pbio.2005971
external_id:
  isi:
  - '000443383300024'
file:
- access_level: open_access
  checksum: 527076f78265cd4ea192cd1569851587
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T12:55:31Z
  date_updated: 2020-07-14T12:48:10Z
  file_id: '5706'
  file_name: 2018_Plos_Chaudhry.pdf
  file_size: 4007095
  relation: main_file
file_date_updated: 2020-07-14T12:48:10Z
has_accepted_license: '1'
intvolume: '        16'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
publist_id: '7972'
quality_controlled: '1'
related_material:
  record:
  - id: '9810'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Leaky resistance and the conditions for the existence of lytic bacteriophage
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 16
year: '2018'
...
---
_id: '83'
abstract:
- lang: eng
  text: "A proof system is a protocol between a prover and a verifier over a common
    input in which an honest prover convinces the verifier of the validity of true
    statements. Motivated by the success of decentralized cryptocurrencies, exemplified
    by Bitcoin, the focus of this thesis will be on proof systems which found applications
    in some sustainable alternatives to Bitcoin, such as the Spacemint and Chia cryptocurrencies.
    In particular, we focus on proofs of space and proofs of sequential work.\r\nProofs
    of space (PoSpace) were suggested as more ecological, economical, and egalitarian
    alternative to the energy-wasteful proof-of-work mining of Bitcoin. However, the
    state-of-the-art constructions of PoSpace are based on sophisticated graph pebbling
    lower bounds, and are therefore complex. Moreover, when these PoSpace are used
    in cryptocurrencies like Spacemint, miners can only start mining after ensuring
    that a commitment to their space is already added in a special transaction to
    the blockchain. Proofs of sequential work (PoSW) are proof systems in which a
    prover, upon receiving a statement x and a time parameter T, computes a proof
    which convinces the verifier that T time units had passed since x was received.
    Whereas Spacemint assumes synchrony to retain some interesting Bitcoin dynamics,
    Chia requires PoSW with unique proofs, i.e., PoSW in which it is hard to come
    up with more than one accepting proof for any true statement. In this thesis we
    construct simple and practically-efficient PoSpace and PoSW. When using our PoSpace
    in cryptocurrencies, miners can start mining on the fly, like in Bitcoin, and
    unlike current constructions of PoSW, which either achieve efficient verification
    of sequential work, or faster-than-recomputing verification of correctness of
    proofs, but not both at the same time, ours achieve the best of these two worlds."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Hamza M
  full_name: Abusalah, Hamza M
  id: 40297222-F248-11E8-B48F-1D18A9856A87
  last_name: Abusalah
citation:
  ama: Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies.
    2018. doi:<a href="https://doi.org/10.15479/AT:ISTA:TH_1046">10.15479/AT:ISTA:TH_1046</a>
  apa: Abusalah, H. M. (2018). <i>Proof systems for sustainable decentralized cryptocurrencies</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:TH_1046">https://doi.org/10.15479/AT:ISTA:TH_1046</a>
  chicago: Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.”
    Institute of Science and Technology Austria, 2018. <a href="https://doi.org/10.15479/AT:ISTA:TH_1046">https://doi.org/10.15479/AT:ISTA:TH_1046</a>.
  ieee: H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,”
    Institute of Science and Technology Austria, 2018.
  ista: Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies.
    Institute of Science and Technology Austria.
  mla: Abusalah, Hamza M. <i>Proof Systems for Sustainable Decentralized Cryptocurrencies</i>.
    Institute of Science and Technology Austria, 2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:TH_1046">10.15479/AT:ISTA:TH_1046</a>.
  short: H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies,
    Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:44:32Z
date_published: 2018-09-05T00:00:00Z
date_updated: 2023-09-07T12:30:23Z
day: '05'
ddc:
- '004'
degree_awarded: PhD
department:
- _id: KrPi
doi: 10.15479/AT:ISTA:TH_1046
ec_funded: 1
file:
- access_level: open_access
  checksum: c4b5f7d111755d1396787f41886fc674
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-09T06:43:41Z
  date_updated: 2020-07-14T12:48:11Z
  file_id: '6245'
  file_name: 2018_Thesis_Abusalah.pdf
  file_size: 876241
  relation: main_file
- access_level: closed
  checksum: 0f382ac56b471c48fd907d63eb87dafe
  content_type: application/x-gzip
  creator: dernst
  date_created: 2019-04-09T06:43:41Z
  date_updated: 2020-07-14T12:48:11Z
  file_id: '6246'
  file_name: 2018_Thesis_Abusalah_source.tar.gz
  file_size: 2029190
  relation: source_file
file_date_updated: 2020-07-14T12:48:11Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '59'
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '259668'
  name: Provable Security for Physical Cryptography
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '682815'
  name: Teaching Old Crypto New Tricks
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7971'
pubrep_id: '1046'
related_material:
  record:
  - id: '1229'
    relation: part_of_dissertation
    status: public
  - id: '1235'
    relation: part_of_dissertation
    status: public
  - id: '1236'
    relation: part_of_dissertation
    status: public
  - id: '559'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
title: Proof systems for sustainable decentralized cryptocurrencies
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '85'
abstract:
- lang: eng
  text: Concurrent accesses to shared data structures must be synchronized to avoid
    data races. Coarse-grained synchronization, which locks the entire data structure,
    is easy to implement but does not scale. Fine-grained synchronization can scale
    well, but can be hard to reason about. Hand-over-hand locking, in which operations
    are pipelined as they traverse the data structure, combines fine-grained synchronization
    with ease of use. However, the traditional implementation suffers from inherent
    overheads. This paper introduces snapshot-based synchronization (SBS), a novel
    hand-over-hand locking mechanism. SBS decouples the synchronization state from
    the data, significantly improving cache utilization. Further, it relies on guarantees
    provided by pipelining to minimize synchronization that requires cross-thread
    communication. Snapshot-based synchronization thus scales much better than traditional
    hand-over-hand locking, while maintaining the same ease of use.
acknowledgement: Trevor Brown was supported in part by the ISF (grants 2005/17 & 1749/14)
  and by a NSERC post-doctoral fellowship.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Eran
  full_name: Gilad, Eran
  last_name: Gilad
- first_name: Trevor A
  full_name: Brown, Trevor A
  id: 3569F0A0-F248-11E8-B48F-1D18A9856A87
  last_name: Brown
- first_name: Mark
  full_name: Oskin, Mark
  last_name: Oskin
- first_name: Yoav
  full_name: Etsion, Yoav
  last_name: Etsion
citation:
  ama: 'Gilad E, Brown TA, Oskin M, Etsion Y. Snapshot based synchronization: A fast
    replacement for Hand-over-Hand locking. In: Vol 11014. Springer; 2018:465-479.
    doi:<a href="https://doi.org/10.1007/978-3-319-96983-1_33">10.1007/978-3-319-96983-1_33</a>'
  apa: 'Gilad, E., Brown, T. A., Oskin, M., &#38; Etsion, Y. (2018). Snapshot based
    synchronization: A fast replacement for Hand-over-Hand locking (Vol. 11014, pp.
    465–479). Presented at the Euro-Par: European Conference on Parallel Processing,
    Turin, Italy: Springer. <a href="https://doi.org/10.1007/978-3-319-96983-1_33">https://doi.org/10.1007/978-3-319-96983-1_33</a>'
  chicago: 'Gilad, Eran, Trevor A Brown, Mark Oskin, and Yoav Etsion. “Snapshot Based
    Synchronization: A Fast Replacement for Hand-over-Hand Locking,” 11014:465–79.
    Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-96983-1_33">https://doi.org/10.1007/978-3-319-96983-1_33</a>.'
  ieee: 'E. Gilad, T. A. Brown, M. Oskin, and Y. Etsion, “Snapshot based synchronization:
    A fast replacement for Hand-over-Hand locking,” presented at the Euro-Par: European
    Conference on Parallel Processing, Turin, Italy, 2018, vol. 11014, pp. 465–479.'
  ista: 'Gilad E, Brown TA, Oskin M, Etsion Y. 2018. Snapshot based synchronization:
    A fast replacement for Hand-over-Hand locking. Euro-Par: European Conference on
    Parallel Processing, LNCS, vol. 11014, 465–479.'
  mla: 'Gilad, Eran, et al. <i>Snapshot Based Synchronization: A Fast Replacement
    for Hand-over-Hand Locking</i>. Vol. 11014, Springer, 2018, pp. 465–79, doi:<a
    href="https://doi.org/10.1007/978-3-319-96983-1_33">10.1007/978-3-319-96983-1_33</a>.'
  short: E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
conference:
  end_date: 2018-08-31
  location: Turin, Italy
  name: 'Euro-Par: European Conference on Parallel Processing'
  start_date: 2018-08-27
date_created: 2018-12-11T11:44:33Z
date_published: 2018-08-01T00:00:00Z
date_updated: 2023-09-18T09:32:36Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1007/978-3-319-96983-1_33
external_id:
  isi:
  - '000851042300031'
file:
- access_level: open_access
  checksum: 13a3f250be8878405e791b53c19722ad
  content_type: application/pdf
  creator: dernst
  date_created: 2019-02-12T07:40:40Z
  date_updated: 2020-07-14T12:48:14Z
  file_id: '5954'
  file_name: 2018_Brown.pdf
  file_size: 665372
  relation: main_file
file_date_updated: 2020-07-14T12:48:14Z
has_accepted_license: '1'
intvolume: '     11014'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Preprint
page: 465 - 479
project:
- _id: 26450934-B435-11E9-9278-68D0E5697425
  name: NSERC Postdoctoral fellowship
publication_identifier:
  issn:
  - '03029743'
publication_status: published
publisher: Springer
publist_id: '7969'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Snapshot based synchronization: A fast replacement for Hand-over-Hand locking'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11014
year: '2018'
...
---
_id: '8547'
abstract:
- lang: eng
  text: The cerebral cortex contains multiple hierarchically organized areas with
    distinctive cytoarchitectonical patterns, but the cellular mechanisms underlying
    the emergence of this diversity remain unclear. Here, we have quantitatively investigated
    the neuronal output of individual progenitor cells in the ventricular zone of
    the developing mouse neocortex using a combination of methods that together circumvent
    the biases and limitations of individual approaches. We found that individual
    cortical progenitor cells show a high degree of stochasticity and generate pyramidal
    cell lineages that adopt a wide range of laminar configurations. Mathematical
    modelling these lineage data suggests that a small number of progenitor cell populations,
    each generating pyramidal cells following different stochastic developmental programs,
    suffice to generate the heterogenous complement of pyramidal cell lineages that
    collectively build the complex cytoarchitecture of the neocortex.
acknowledgement: We thank I. Andrew and S.E. Bae for excellent technical assistance,
  F. Gage for plasmids, and K. Nave (Nex-Cre) for mouse colonies. We thank members
  of the Marín and Rico laboratories for stimulating discussions and ideas. Our research
  on this topic is supported by grants from the European Research Council (ERC-2017-AdG
  787355 to O.M and ERC2016-CoG 725780 to S.H.) and Wellcome Trust (103714MA) to O.M.
  L.L. was the recipient of an EMBO long-term postdoctoral fellowship, R.B. received
  support from FWF Lise-Meitner program (M 2416) and F.K.W. was supported by an EMBO
  postdoctoral fellowship and is currently a Marie Skłodowska-Curie Fellow from the
  European Commission under the H2020 Programme.
article_processing_charge: No
author:
- first_name: Alfredo
  full_name: Llorca, Alfredo
  last_name: Llorca
- first_name: Gabriele
  full_name: Ciceri, Gabriele
  last_name: Ciceri
- first_name: Robert J
  full_name: Beattie, Robert J
  id: 2E26DF60-F248-11E8-B48F-1D18A9856A87
  last_name: Beattie
  orcid: 0000-0002-8483-8753
- first_name: Fong K.
  full_name: Wong, Fong K.
  last_name: Wong
- first_name: Giovanni
  full_name: Diana, Giovanni
  last_name: Diana
- first_name: Eleni
  full_name: Serafeimidou, Eleni
  last_name: Serafeimidou
- first_name: Marian
  full_name: Fernández-Otero, Marian
  last_name: Fernández-Otero
- first_name: Carmen
  full_name: Streicher, Carmen
  id: 36BCB99C-F248-11E8-B48F-1D18A9856A87
  last_name: Streicher
- first_name: Sebastian J.
  full_name: Arnold, Sebastian J.
  last_name: Arnold
- first_name: Martin
  full_name: Meyer, Martin
  last_name: Meyer
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
- first_name: Miguel
  full_name: Maravall, Miguel
  last_name: Maravall
- first_name: Oscar
  full_name: Marín, Oscar
  last_name: Marín
citation:
  ama: Llorca A, Ciceri G, Beattie RJ, et al. Heterogeneous progenitor cell behaviors
    underlie the assembly of neocortical cytoarchitecture. <i>bioRxiv</i>. doi:<a
    href="https://doi.org/10.1101/494088">10.1101/494088</a>
  apa: Llorca, A., Ciceri, G., Beattie, R. J., Wong, F. K., Diana, G., Serafeimidou,
    E., … Marín, O. (n.d.). Heterogeneous progenitor cell behaviors underlie the assembly
    of neocortical cytoarchitecture. <i>bioRxiv</i>. Cold Spring Harbor Laboratory.
    <a href="https://doi.org/10.1101/494088">https://doi.org/10.1101/494088</a>
  chicago: Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong K. Wong, Giovanni
    Diana, Eleni Serafeimidou, Marian Fernández-Otero, et al. “Heterogeneous Progenitor
    Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.” <i>BioRxiv</i>.
    Cold Spring Harbor Laboratory, n.d. <a href="https://doi.org/10.1101/494088">https://doi.org/10.1101/494088</a>.
  ieee: A. Llorca <i>et al.</i>, “Heterogeneous progenitor cell behaviors underlie
    the assembly of neocortical cytoarchitecture,” <i>bioRxiv</i>. Cold Spring Harbor
    Laboratory.
  ista: Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou E, Fernández-Otero
    M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. Heterogeneous
    progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture.
    bioRxiv, <a href="https://doi.org/10.1101/494088">10.1101/494088</a>.
  mla: Llorca, Alfredo, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the
    Assembly of Neocortical Cytoarchitecture.” <i>BioRxiv</i>, Cold Spring Harbor
    Laboratory, doi:<a href="https://doi.org/10.1101/494088">10.1101/494088</a>.
  short: A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou,
    M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall,
    O. Marín, BioRxiv (n.d.).
date_created: 2020-09-21T12:01:50Z
date_published: 2018-12-13T00:00:00Z
date_updated: 2021-01-12T08:20:00Z
day: '13'
department:
- _id: SiHi
doi: 10.1101/494088
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1101/494088
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 260018B0-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '725780'
  name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
- _id: 264E56E2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: M02416
  name: Molecular Mechanisms Regulating Gliogenesis in the Cerebral Cortex
publication: bioRxiv
publication_status: submitted
publisher: Cold Spring Harbor Laboratory
status: public
title: Heterogeneous progenitor cell behaviors underlie the assembly of neocortical
  cytoarchitecture
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '86'
abstract:
- lang: eng
  text: Responsiveness—the requirement that every request to a system be eventually
    handled—is one of the fundamental liveness properties of a reactive system. Average
    response time is a quantitative measure for the responsiveness requirement used
    commonly in performance evaluation. We show how average response time can be computed
    on state-transition graphs, on Markov chains, and on game graphs. In all three
    cases, we give polynomial-time algorithms.
acknowledgement: 'This research was supported in part by the Austrian Science Fund
  (FWF) under grants S11402-N23, S11407-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein
  Award), ERC Start grant (279307: Graph Games), Vienna Science and Technology Fund
  (WWTF) through project ICT15-003 and by the National Science Centre (NCN), Poland
  under grant 2014/15/D/ST6/04543.'
alternative_title:
- LNCS
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Jan
  full_name: Otop, Jan
  id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
  last_name: Otop
citation:
  ama: 'Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh
    M, Derler P, Sirjani M, eds. <i>Principles of Modeling</i>. Vol 10760. Springer;
    2018:143-161. doi:<a href="https://doi.org/10.1007/978-3-319-95246-8_9">10.1007/978-3-319-95246-8_9</a>'
  apa: Chatterjee, K., Henzinger, T. A., &#38; Otop, J. (2018). Computing average
    response time. In M. Lohstroh, P. Derler, &#38; M. Sirjani (Eds.), <i>Principles
    of Modeling</i> (Vol. 10760, pp. 143–161). Springer. <a href="https://doi.org/10.1007/978-3-319-95246-8_9">https://doi.org/10.1007/978-3-319-95246-8_9</a>
  chicago: Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average
    Response Time.” In <i>Principles of Modeling</i>, edited by Marten Lohstroh, Patricia
    Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-95246-8_9">https://doi.org/10.1007/978-3-319-95246-8_9</a>.
  ieee: K. Chatterjee, T. A. Henzinger, and J. Otop, “Computing average response time,”
    in <i>Principles of Modeling</i>, vol. 10760, M. Lohstroh, P. Derler, and M. Sirjani,
    Eds. Springer, 2018, pp. 143–161.
  ista: 'Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time.
    In: Principles of Modeling. LNCS, vol. 10760, 143–161.'
  mla: Chatterjee, Krishnendu, et al. “Computing Average Response Time.” <i>Principles
    of Modeling</i>, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018,
    pp. 143–61, doi:<a href="https://doi.org/10.1007/978-3-319-95246-8_9">10.1007/978-3-319-95246-8_9</a>.
  short: K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani
    (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
date_created: 2018-12-11T11:44:33Z
date_published: 2018-07-20T00:00:00Z
date_updated: 2021-01-12T08:20:14Z
day: '20'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-95246-8_9
ec_funded: 1
editor:
- first_name: Marten
  full_name: Lohstroh, Marten
  last_name: Lohstroh
- first_name: Patricia
  full_name: Derler, Patricia
  last_name: Derler
- first_name: Marjan
  full_name: Sirjani, Marjan
  last_name: Sirjani
file:
- access_level: open_access
  checksum: 9995c6ce6957333baf616fc4f20be597
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-19T08:22:18Z
  date_updated: 2020-07-14T12:48:14Z
  file_id: '7053'
  file_name: 2018_PrinciplesModeling_Chatterjee.pdf
  file_size: 516307
  relation: main_file
file_date_updated: 2020-07-14T12:48:14Z
has_accepted_license: '1'
intvolume: '     10760'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 143 - 161
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
publication: Principles of Modeling
publication_status: published
publisher: Springer
publist_id: '7968'
quality_controlled: '1'
scopus_import: 1
status: public
title: Computing average response time
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10760
year: '2018'
...
---
_id: '8618'
abstract:
- lang: eng
  text: The reversibly switchable fluorescent proteins (RSFPs) commonly used for RESOLFT
    nanoscopy have been developed from fluorescent proteins of the GFP superfamily.
    These proteins are bright, but exhibit several drawbacks such as relatively large
    size, oxygen-dependence, sensitivity to low pH, and limited switching speed. Therefore,
    RSFPs from other origins with improved properties need to be explored. Here, we
    report the development of two RSFPs based on the LOV domain of the photoreceptor
    protein YtvA from Bacillus subtilis. LOV domains obtain their fluorescence by
    association with the abundant cellular cofactor flavin mononucleotide (FMN). Under
    illumination with blue and ultraviolet light, they undergo a photocycle, making
    these proteins inherently photoswitchable. Our first improved variant, rsLOV1,
    can be used for RESOLFT imaging, whereas rsLOV2 proved useful for STED nanoscopy
    of living cells with a resolution of down to 50 nm. In addition to their smaller
    size compared to GFP-related proteins (17 kDa instead of 27 kDa) and their usability
    at low pH, rsLOV1 and rsLOV2 exhibit faster switching kinetics, switching on and
    off 3 times faster than rsEGFP2, the fastest-switching RSFP reported to date.
    Therefore, LOV-domain-based RSFPs have potential for applications where the switching
    speed of GFP-based proteins is limiting.
article_number: '2724'
article_processing_charge: No
article_type: original
author:
- first_name: Carola
  full_name: Gregor, Carola
  last_name: Gregor
- first_name: Sven C.
  full_name: Sidenstein, Sven C.
  last_name: Sidenstein
- first_name: Martin
  full_name: Andresen, Martin
  last_name: Andresen
- first_name: Steffen J.
  full_name: Sahl, Steffen J.
  last_name: Sahl
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
- first_name: Stefan W.
  full_name: Hell, Stefan W.
  last_name: Hell
citation:
  ama: Gregor C, Sidenstein SC, Andresen M, Sahl SJ, Danzl JG, Hell SW. Novel reversibly
    switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from
    the bacterial photoreceptor YtvA. <i>Scientific Reports</i>. 2018;8. doi:<a href="https://doi.org/10.1038/s41598-018-19947-1">10.1038/s41598-018-19947-1</a>
  apa: Gregor, C., Sidenstein, S. C., Andresen, M., Sahl, S. J., Danzl, J. G., &#38;
    Hell, S. W. (2018). Novel reversibly switchable fluorescent proteins for RESOLFT
    and STED nanoscopy engineered from the bacterial photoreceptor YtvA. <i>Scientific
    Reports</i>. Springer Nature. <a href="https://doi.org/10.1038/s41598-018-19947-1">https://doi.org/10.1038/s41598-018-19947-1</a>
  chicago: Gregor, Carola, Sven C. Sidenstein, Martin Andresen, Steffen J. Sahl, Johann
    G Danzl, and Stefan W. Hell. “Novel Reversibly Switchable Fluorescent Proteins
    for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.”
    <i>Scientific Reports</i>. Springer Nature, 2018. <a href="https://doi.org/10.1038/s41598-018-19947-1">https://doi.org/10.1038/s41598-018-19947-1</a>.
  ieee: C. Gregor, S. C. Sidenstein, M. Andresen, S. J. Sahl, J. G. Danzl, and S.
    W. Hell, “Novel reversibly switchable fluorescent proteins for RESOLFT and STED
    nanoscopy engineered from the bacterial photoreceptor YtvA,” <i>Scientific Reports</i>,
    vol. 8. Springer Nature, 2018.
  ista: Gregor C, Sidenstein SC, Andresen M, Sahl SJ, Danzl JG, Hell SW. 2018. Novel
    reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered
    from the bacterial photoreceptor YtvA. Scientific Reports. 8, 2724.
  mla: Gregor, Carola, et al. “Novel Reversibly Switchable Fluorescent Proteins for
    RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.”
    <i>Scientific Reports</i>, vol. 8, 2724, Springer Nature, 2018, doi:<a href="https://doi.org/10.1038/s41598-018-19947-1">10.1038/s41598-018-19947-1</a>.
  short: C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell,
    Scientific Reports 8 (2018).
date_created: 2020-10-06T16:33:37Z
date_published: 2018-02-09T00:00:00Z
date_updated: 2023-09-19T15:04:49Z
day: '09'
ddc:
- '570'
department:
- _id: JoDa
doi: 10.1038/s41598-018-19947-1
external_id:
  isi:
  - '000424630400037'
  pmid:
  - '29426833'
file:
- access_level: open_access
  checksum: e642080fcbde9584c63544f587c74f03
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-06T16:35:16Z
  date_updated: 2020-10-06T16:35:16Z
  file_id: '8619'
  file_name: 2018_ScientificReports_Gregor.pdf
  file_size: 2818077
  relation: main_file
  success: 1
file_date_updated: 2020-10-06T16:35:16Z
has_accepted_license: '1'
intvolume: '         8'
isi: 1
keyword:
- Multidisciplinary
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
pmid: 1
publication: Scientific Reports
publication_identifier:
  issn:
  - 2045-2322
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy
  engineered from the bacterial photoreceptor YtvA
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8
year: '2018'
...
---
_id: '87'
abstract:
- lang: eng
  text: Using the geodesic distance on the n-dimensional sphere, we study the expected
    radius function of the Delaunay mosaic of a random set of points. Specifically,
    we consider the partition of the mosaic into intervals of the radius function
    and determine the expected number of intervals whose radii are less than or equal
    to a given threshold. We find that the expectations are essentially the same as
    for the Poisson–Delaunay mosaic in n-dimensional Euclidean space. Assuming the
    points are not contained in a hemisphere, the Delaunay mosaic is isomorphic to
    the boundary complex of the convex hull in Rn+1, so we also get the expected number
    of faces of a random inscribed polytope. As proved in Antonelli et al. [Adv. in
    Appl. Probab. 9–12 (1977–1980)], an orthant section of the n-sphere is isometric
    to the standard n-simplex equipped with the Fisher information metric. It follows
    that the latter space has similar stochastic properties as the n-dimensional Euclidean
    space. Our results are therefore relevant in information geometry and in population
    genetics.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Anton
  full_name: Nikitenko, Anton
  id: 3E4FF1BA-F248-11E8-B48F-1D18A9856A87
  last_name: Nikitenko
  orcid: 0000-0002-0659-3201
citation:
  ama: Edelsbrunner H, Nikitenko A. Random inscribed polytopes have similar radius
    functions as Poisson-Delaunay mosaics. <i>Annals of Applied Probability</i>. 2018;28(5):3215-3238.
    doi:<a href="https://doi.org/10.1214/18-AAP1389">10.1214/18-AAP1389</a>
  apa: Edelsbrunner, H., &#38; Nikitenko, A. (2018). Random inscribed polytopes have
    similar radius functions as Poisson-Delaunay mosaics. <i>Annals of Applied Probability</i>.
    Institute of Mathematical Statistics. <a href="https://doi.org/10.1214/18-AAP1389">https://doi.org/10.1214/18-AAP1389</a>
  chicago: Edelsbrunner, Herbert, and Anton Nikitenko. “Random Inscribed Polytopes
    Have Similar Radius Functions as Poisson-Delaunay Mosaics.” <i>Annals of Applied
    Probability</i>. Institute of Mathematical Statistics, 2018. <a href="https://doi.org/10.1214/18-AAP1389">https://doi.org/10.1214/18-AAP1389</a>.
  ieee: H. Edelsbrunner and A. Nikitenko, “Random inscribed polytopes have similar
    radius functions as Poisson-Delaunay mosaics,” <i>Annals of Applied Probability</i>,
    vol. 28, no. 5. Institute of Mathematical Statistics, pp. 3215–3238, 2018.
  ista: Edelsbrunner H, Nikitenko A. 2018. Random inscribed polytopes have similar
    radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. 28(5),
    3215–3238.
  mla: Edelsbrunner, Herbert, and Anton Nikitenko. “Random Inscribed Polytopes Have
    Similar Radius Functions as Poisson-Delaunay Mosaics.” <i>Annals of Applied Probability</i>,
    vol. 28, no. 5, Institute of Mathematical Statistics, 2018, pp. 3215–38, doi:<a
    href="https://doi.org/10.1214/18-AAP1389">10.1214/18-AAP1389</a>.
  short: H. Edelsbrunner, A. Nikitenko, Annals of Applied Probability 28 (2018) 3215–3238.
date_created: 2018-12-11T11:44:33Z
date_published: 2018-10-01T00:00:00Z
date_updated: 2023-09-15T12:10:35Z
day: '01'
department:
- _id: HeEd
doi: 10.1214/18-AAP1389
external_id:
  arxiv:
  - '1705.02870'
  isi:
  - '000442893500018'
intvolume: '        28'
isi: 1
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1705.02870
month: '10'
oa: 1
oa_version: Preprint
page: 3215 - 3238
project:
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I02979-N35
  name: Persistence and stability of geometric complexes
publication: Annals of Applied Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '7967'
quality_controlled: '1'
related_material:
  record:
  - id: '6287'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Random inscribed polytopes have similar radius functions as Poisson-Delaunay
  mosaics
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 28
year: '2018'
...
---
_id: '9'
abstract:
- lang: eng
  text: 'Immune cells migrating to the sites of infection navigate through diverse
    tissue architectures and switch their migratory mechanisms upon demand. However,
    little is known about systemic regulators that could allow the acquisition of
    these mechanisms. We performed a genetic screen in Drosophila melanogaster to
    identify regulators of germband invasion by embryonic macrophages into the confined
    space between the ectoderm and mesoderm. We have found that bZIP circadian transcription
    factors (TFs) Kayak (dFos) and Vrille (dNFIL3) have opposite effects on macrophage
    germband infiltration: Kayak facilitated and Vrille inhibited it. These TFs are
    enriched in the macrophages during migration and genetically interact to control
    it. Kayak sets a less coordinated mode of migration of the macrophage group and
    increases the probability and length of Levy walks. Intriguingly, the motility
    of kayak mutant macrophages was also strongly affected during initial germband
    invasion but not along another less confined route. Inhibiting Rho1 signaling
    within the tail ectoderm partially rescued the Kayak mutant phenotype, strongly
    suggesting that migrating macrophages have to overcome a barrier imposed by the
    stiffness of the ectoderm. Also, Kayak appeared to be important for the maintenance
    of the round cell shape and the rear edge translocation of the macrophages invading
    the germband. Complementary to this, the cortical actin cytoskeleton of Kayak-
    deficient macrophages was strongly affected. RNA sequencing revealed the filamin
    Cheerio and tetraspanin TM4SF to be downstream of Kayak. Chromatin immunoprecipitation
    and immunostaining revealed that the formin Diaphanous is another downstream target
    of Kayak. Immunostaining revealed that the formin Diaphanous is another downstream
    target of Kayak. Indeed, Cheerio, TM4SF and Diaphanous are required within macrophages
    for germband invasion, and expression of constitutively active Diaphanous in macrophages
    was able to rescue the kayak mutant phenotype. Moreover, Cher and Diaphanous are
    also reduced in the macrophages overexpressing Vrille. We hypothesize that Kayak,
    through its targets, increases actin polymerization and cortical tension in macrophages
    and thus allows extra force generation necessary for macrophage dissemination
    and migration through confined stiff tissues, while Vrille counterbalances it.'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Vera
  full_name: Belyaeva, Vera
  id: 47F080FE-F248-11E8-B48F-1D18A9856A87
  last_name: Belyaeva
citation:
  ama: Belyaeva V. Transcriptional regulation of macrophage migration in the Drosophila
    melanogaster embryo . 2018. doi:<a href="https://doi.org/10.15479/AT:ISTA:th1064">10.15479/AT:ISTA:th1064</a>
  apa: Belyaeva, V. (2018). <i>Transcriptional regulation of macrophage migration
    in the Drosophila melanogaster embryo </i>. Institute of Science and Technology
    Austria. <a href="https://doi.org/10.15479/AT:ISTA:th1064">https://doi.org/10.15479/AT:ISTA:th1064</a>
  chicago: Belyaeva, Vera. “Transcriptional Regulation of Macrophage Migration in
    the Drosophila Melanogaster Embryo .” Institute of Science and Technology Austria,
    2018. <a href="https://doi.org/10.15479/AT:ISTA:th1064">https://doi.org/10.15479/AT:ISTA:th1064</a>.
  ieee: V. Belyaeva, “Transcriptional regulation of macrophage migration in the Drosophila
    melanogaster embryo ,” Institute of Science and Technology Austria, 2018.
  ista: Belyaeva V. 2018. Transcriptional regulation of macrophage migration in the
    Drosophila melanogaster embryo . Institute of Science and Technology Austria.
  mla: Belyaeva, Vera. <i>Transcriptional Regulation of Macrophage Migration in the
    Drosophila Melanogaster Embryo </i>. Institute of Science and Technology Austria,
    2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:th1064">10.15479/AT:ISTA:th1064</a>.
  short: V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila
    Melanogaster Embryo , Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:44:08Z
date_published: 2018-07-01T00:00:00Z
date_updated: 2023-09-07T12:43:10Z
day: '01'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: DaSi
doi: 10.15479/AT:ISTA:th1064
file:
- access_level: closed
  checksum: d27b2465cb70d0c9678a0381b9b6ced1
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-04-08T14:13:12Z
  date_updated: 2020-07-14T12:48:14Z
  embargo_to: open_access
  file_id: '6243'
  file_name: 2018_Thesis_Belyaeva_source.docx
  file_size: 102737483
  relation: source_file
- access_level: open_access
  checksum: a2939b61bde2de7b8ced77bbae0eaaed
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-08T14:14:08Z
  date_updated: 2021-02-11T11:17:16Z
  embargo: 2019-11-19
  file_id: '6244'
  file_name: 2018_Thesis_Belyaeva.pdf
  file_size: 88077843
  relation: main_file
file_date_updated: 2021-02-11T11:17:16Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '96'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8047'
pubrep_id: '1064'
status: public
supervisor:
- first_name: Daria E
  full_name: Siekhaus, Daria E
  id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
  last_name: Siekhaus
  orcid: 0000-0001-8323-8353
title: 'Transcriptional regulation of macrophage migration in the Drosophila melanogaster
  embryo '
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '913'
abstract:
- lang: eng
  text: Coordinated cell polarization in developing tissues is a recurrent theme in
    multicellular organisms. In plants, a directional distribution of the plant hormone
    auxin is at the core of many developmental programs. A feedback regulation of
    auxin on the polarized localization of PIN auxin transporters in individual cells
    has been proposed as a self-organizing mechanism for coordinated tissue polarization,
    but the molecular mechanisms linking auxin signalling to PIN-dependent auxin transport
    remain unknown. We performed a microarray-based approach to find regulators of
    the auxin-induced PIN relocation in the Arabidopsis thaliana root. We identified
    a subset of a family of phosphatidylinositol transfer proteins (PITP), the PATELLINs
    (PATL). Here, we show that PATLs are expressed in partially overlapping cells
    types in different tissues going through mitosis or initiating differentiation
    programs. PATLs are plasma membrane-associated proteins accumulated in Arabidopsis
    embryos, primary roots, lateral root primordia, and developing stomata. Higher
    order patl mutants display reduced PIN1 repolarization in response to auxin, shorter
    root apical meristem, and drastic defects in embryo and seedling development.
    This suggests PATLs redundantly play a crucial role in polarity and patterning
    in Arabidopsis.
article_number: jcs.204198
article_processing_charge: No
author:
- first_name: Ricardo
  full_name: Tejos, Ricardo
  last_name: Tejos
- first_name: Cecilia
  full_name: Rodríguez Furlán, Cecilia
  last_name: Rodríguez Furlán
- first_name: Maciek
  full_name: Adamowski, Maciek
  id: 45F536D2-F248-11E8-B48F-1D18A9856A87
  last_name: Adamowski
  orcid: 0000-0001-6463-5257
- first_name: Michael
  full_name: Sauer, Michael
  last_name: Sauer
- first_name: Lorena
  full_name: Norambuena, Lorena
  last_name: Norambuena
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Tejos R, Rodríguez Furlán C, Adamowski M, Sauer M, Norambuena L, Friml J. PATELLINS
    are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis
    thaliana. <i>Journal of Cell Science</i>. 2018;131(2). doi:<a href="https://doi.org/10.1242/jcs.204198">10.1242/jcs.204198</a>
  apa: Tejos, R., Rodríguez Furlán, C., Adamowski, M., Sauer, M., Norambuena, L.,
    &#38; Friml, J. (2018). PATELLINS are regulators of auxin mediated PIN1 relocation
    and plant development in Arabidopsis thaliana. <i>Journal of Cell Science</i>.
    Company of Biologists. <a href="https://doi.org/10.1242/jcs.204198">https://doi.org/10.1242/jcs.204198</a>
  chicago: Tejos, Ricardo, Cecilia Rodríguez Furlán, Maciek Adamowski, Michael Sauer,
    Lorena Norambuena, and Jiří Friml. “PATELLINS Are Regulators of Auxin Mediated
    PIN1 Relocation and Plant Development in Arabidopsis Thaliana.” <i>Journal of
    Cell Science</i>. Company of Biologists, 2018. <a href="https://doi.org/10.1242/jcs.204198">https://doi.org/10.1242/jcs.204198</a>.
  ieee: R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, and
    J. Friml, “PATELLINS are regulators of auxin mediated PIN1 relocation and plant
    development in Arabidopsis thaliana,” <i>Journal of Cell Science</i>, vol. 131,
    no. 2. Company of Biologists, 2018.
  ista: Tejos R, Rodríguez Furlán C, Adamowski M, Sauer M, Norambuena L, Friml J.
    2018. PATELLINS are regulators of auxin mediated PIN1 relocation and plant development
    in Arabidopsis thaliana. Journal of Cell Science. 131(2), jcs. 204198.
  mla: Tejos, Ricardo, et al. “PATELLINS Are Regulators of Auxin Mediated PIN1 Relocation
    and Plant Development in Arabidopsis Thaliana.” <i>Journal of Cell Science</i>,
    vol. 131, no. 2, jcs. 204198, Company of Biologists, 2018, doi:<a href="https://doi.org/10.1242/jcs.204198">10.1242/jcs.204198</a>.
  short: R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, J.
    Friml, Journal of Cell Science 131 (2018).
date_created: 2018-12-11T11:49:10Z
date_published: 2018-01-29T00:00:00Z
date_updated: 2025-05-07T11:12:29Z
day: '29'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1242/jcs.204198
ec_funded: 1
external_id:
  isi:
  - '000424842400019'
file:
- access_level: open_access
  checksum: bf156c20a4f117b4b932370d54cbac8c
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-12T08:46:32Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '6299'
  file_name: 2017_adamowski_PATELLINS_are.pdf
  file_size: 14925985
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '       131'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '282300'
  name: Polarity and subcellular dynamics in plants
publication: Journal of Cell Science
publication_identifier:
  issn:
  - '00219533'
publication_status: published
publisher: Company of Biologists
publist_id: '6530'
pubrep_id: '988'
quality_controlled: '1'
scopus_import: '1'
status: public
title: PATELLINS are regulators of auxin mediated PIN1 relocation and plant development
  in Arabidopsis thaliana
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 131
year: '2018'
...
---
_id: '9229'
alternative_title:
- Molecular and cellular neuroscience
article_processing_charge: No
article_type: letter_note
author:
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
citation:
  ama: Danzl JG. Diffraction-unlimited optical imaging for synaptic physiology. <i>Opera
    Medica et Physiologica</i>. 2018;4(S1):11. doi:<a href="https://doi.org/10.20388/omp2018.00s1.001">10.20388/omp2018.00s1.001</a>
  apa: Danzl, J. G. (2018). Diffraction-unlimited optical imaging for synaptic physiology.
    <i>Opera Medica et Physiologica</i>. Lobachevsky State University of Nizhny Novgorod.
    <a href="https://doi.org/10.20388/omp2018.00s1.001">https://doi.org/10.20388/omp2018.00s1.001</a>
  chicago: Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.”
    <i>Opera Medica et Physiologica</i>. Lobachevsky State University of Nizhny Novgorod,
    2018. <a href="https://doi.org/10.20388/omp2018.00s1.001">https://doi.org/10.20388/omp2018.00s1.001</a>.
  ieee: J. G. Danzl, “Diffraction-unlimited optical imaging for synaptic physiology,”
    <i>Opera Medica et Physiologica</i>, vol. 4, no. S1. Lobachevsky State University
    of Nizhny Novgorod, p. 11, 2018.
  ista: Danzl JG. 2018. Diffraction-unlimited optical imaging for synaptic physiology.
    Opera Medica et Physiologica. 4(S1), 11.
  mla: Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.”
    <i>Opera Medica et Physiologica</i>, vol. 4, no. S1, Lobachevsky State University
    of Nizhny Novgorod, 2018, p. 11, doi:<a href="https://doi.org/10.20388/omp2018.00s1.001">10.20388/omp2018.00s1.001</a>.
  short: J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
date_created: 2021-03-07T23:01:25Z
date_published: 2018-06-30T00:00:00Z
date_updated: 2021-12-03T07:31:05Z
day: '30'
department:
- _id: JoDa
doi: 10.20388/omp2018.00s1.001
intvolume: '         4'
issue: S1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://operamedphys.org/content/molecular-and-cellular-neuroscience
month: '06'
oa: 1
oa_version: Published Version
page: '11'
publication: Opera Medica et Physiologica
publication_identifier:
  eissn:
  - 2500-2295
  issn:
  - 2500-2287
publication_status: published
publisher: Lobachevsky State University of Nizhny Novgorod
quality_controlled: '1'
scopus_import: '1'
status: public
title: Diffraction-unlimited optical imaging for synaptic physiology
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 4
year: '2018'
...
---
_id: '691'
abstract:
- lang: eng
  text: "Background: Transport protein particle (TRAPP) is a multisubunit complex
    that regulates membrane trafficking through the Golgi apparatus. The clinical
    phenotype associated with mutations in various TRAPP subunits has allowed elucidation
    of their functions in specific tissues. The role of some subunits in human disease,
    however, has not been fully established, and their functions remain uncertain.\r\n\r\nObjective:
    We aimed to expand the range of neurodevelopmental disorders associated with mutations
    in TRAPP subunits by exome sequencing of consanguineous families.\r\n\r\nMethods:
    Linkage and homozygosity mapping and candidate gene analysis were used to identify
    homozygous mutations in families. Patient fibroblasts were used to study splicing
    defect and zebrafish to model the disease.\r\n\r\nResults: We identified six individuals
    from three unrelated families with a founder homozygous splice mutation in TRAPPC6B,
    encoding a core subunit of the complex TRAPP I. Patients manifested a neurodevelopmental
    disorder characterised by microcephaly, epilepsy and autistic features, and showed
    splicing defect. Zebrafish trappc6b morphants replicated the human phenotype,
    displaying decreased head size and neuronal hyperexcitability, leading to a lower
    seizure threshold.\r\n\r\nConclusion: This study provides clinical and functional
    evidence of the role of TRAPPC6B in brain development and function."
article_processing_charge: No
article_type: original
author:
- first_name: Isaac
  full_name: Marin Valencia, Isaac
  last_name: Marin Valencia
- first_name: Gaia
  full_name: Novarino, Gaia
  id: 3E57A680-F248-11E8-B48F-1D18A9856A87
  last_name: Novarino
  orcid: 0000-0002-7673-7178
- first_name: Anide
  full_name: Johansen, Anide
  last_name: Johansen
- first_name: Başak
  full_name: Rosti, Başak
  last_name: Rosti
- first_name: Mahmoud
  full_name: Issa, Mahmoud
  last_name: Issa
- first_name: Damir
  full_name: Musaev, Damir
  last_name: Musaev
- first_name: Gifty
  full_name: Bhat, Gifty
  last_name: Bhat
- first_name: Eric
  full_name: Scott, Eric
  last_name: Scott
- first_name: Jennifer
  full_name: Silhavy, Jennifer
  last_name: Silhavy
- first_name: Valentina
  full_name: Stanley, Valentina
  last_name: Stanley
- first_name: Rasim
  full_name: Rosti, Rasim
  last_name: Rosti
- first_name: Jeremy
  full_name: Gleeson, Jeremy
  last_name: Gleeson
- first_name: Farhad
  full_name: Imam, Farhad
  last_name: Imam
- first_name: Maha
  full_name: Zaki, Maha
  last_name: Zaki
- first_name: Joseph
  full_name: Gleeson, Joseph
  last_name: Gleeson
citation:
  ama: Marin Valencia I, Novarino G, Johansen A, et al. A homozygous founder mutation
    in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly
    epilepsy and autistic features. <i>Journal of Medical Genetics</i>. 2018;55(1):48-54.
    doi:<a href="https://doi.org/10.1136/jmedgenet-2017-104627">10.1136/jmedgenet-2017-104627</a>
  apa: Marin Valencia, I., Novarino, G., Johansen, A., Rosti, B., Issa, M., Musaev,
    D., … Gleeson, J. (2018). A homozygous founder mutation in TRAPPC6B associates
    with a neurodevelopmental disorder characterised by microcephaly epilepsy and
    autistic features. <i>Journal of Medical Genetics</i>. BMJ Publishing Group. <a
    href="https://doi.org/10.1136/jmedgenet-2017-104627">https://doi.org/10.1136/jmedgenet-2017-104627</a>
  chicago: Marin Valencia, Isaac, Gaia Novarino, Anide Johansen, Başak Rosti, Mahmoud
    Issa, Damir Musaev, Gifty Bhat, et al. “A Homozygous Founder Mutation in TRAPPC6B
    Associates with a Neurodevelopmental Disorder Characterised by Microcephaly Epilepsy
    and Autistic Features.” <i>Journal of Medical Genetics</i>. BMJ Publishing Group,
    2018. <a href="https://doi.org/10.1136/jmedgenet-2017-104627">https://doi.org/10.1136/jmedgenet-2017-104627</a>.
  ieee: I. Marin Valencia <i>et al.</i>, “A homozygous founder mutation in TRAPPC6B
    associates with a neurodevelopmental disorder characterised by microcephaly epilepsy
    and autistic features,” <i>Journal of Medical Genetics</i>, vol. 55, no. 1. BMJ
    Publishing Group, pp. 48–54, 2018.
  ista: Marin Valencia I, Novarino G, Johansen A, Rosti B, Issa M, Musaev D, Bhat
    G, Scott E, Silhavy J, Stanley V, Rosti R, Gleeson J, Imam F, Zaki M, Gleeson
    J. 2018. A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental
    disorder characterised by microcephaly epilepsy and autistic features. Journal
    of Medical Genetics. 55(1), 48–54.
  mla: Marin Valencia, Isaac, et al. “A Homozygous Founder Mutation in TRAPPC6B Associates
    with a Neurodevelopmental Disorder Characterised by Microcephaly Epilepsy and
    Autistic Features.” <i>Journal of Medical Genetics</i>, vol. 55, no. 1, BMJ Publishing
    Group, 2018, pp. 48–54, doi:<a href="https://doi.org/10.1136/jmedgenet-2017-104627">10.1136/jmedgenet-2017-104627</a>.
  short: I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev,
    G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki,
    J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
date_created: 2018-12-11T11:47:57Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2023-10-16T09:55:43Z
day: '01'
department:
- _id: GaNo
doi: 10.1136/jmedgenet-2017-104627
external_id:
  isi:
  - '000418199800007'
  pmid:
  - '28626029'
intvolume: '        55'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6056005/
month: '01'
oa: 1
oa_version: Submitted Version
page: 48 - 54
pmid: 1
project:
- _id: 254BA948-B435-11E9-9278-68D0E5697425
  grant_number: '401299'
  name: Probing development and reversibility of autism spectrum disorders
publication: Journal of Medical Genetics
publication_identifier:
  issn:
  - 0022-2593
publication_status: published
publisher: BMJ Publishing Group
publist_id: '7016'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental
  disorder characterised by microcephaly epilepsy and autistic features
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 55
year: '2018'
...
---
_id: '692'
abstract:
- lang: eng
  text: We consider families of confocal conics and two pencils of Apollonian circles
    having the same foci. We will show that these families of curves generate trivial
    3-webs and find the exact formulas describing them.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Arseniy
  full_name: Akopyan, Arseniy
  id: 430D2C90-F248-11E8-B48F-1D18A9856A87
  last_name: Akopyan
  orcid: 0000-0002-2548-617X
citation:
  ama: Akopyan A. 3-Webs generated by confocal conics and circles. <i>Geometriae Dedicata</i>.
    2018;194(1):55-64. doi:<a href="https://doi.org/10.1007/s10711-017-0265-6">10.1007/s10711-017-0265-6</a>
  apa: Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. <i>Geometriae
    Dedicata</i>. Springer. <a href="https://doi.org/10.1007/s10711-017-0265-6">https://doi.org/10.1007/s10711-017-0265-6</a>
  chicago: Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” <i>Geometriae
    Dedicata</i>. Springer, 2018. <a href="https://doi.org/10.1007/s10711-017-0265-6">https://doi.org/10.1007/s10711-017-0265-6</a>.
  ieee: A. Akopyan, “3-Webs generated by confocal conics and circles,” <i>Geometriae
    Dedicata</i>, vol. 194, no. 1. Springer, pp. 55–64, 2018.
  ista: Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae
    Dedicata. 194(1), 55–64.
  mla: Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” <i>Geometriae
    Dedicata</i>, vol. 194, no. 1, Springer, 2018, pp. 55–64, doi:<a href="https://doi.org/10.1007/s10711-017-0265-6">10.1007/s10711-017-0265-6</a>.
  short: A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
date_created: 2018-12-11T11:47:57Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-08T11:40:29Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/s10711-017-0265-6
ec_funded: 1
external_id:
  isi:
  - '000431418800004'
file:
- access_level: open_access
  checksum: 1febcfc1266486053a069e3425ea3713
  content_type: application/pdf
  creator: kschuh
  date_created: 2020-01-03T11:35:08Z
  date_updated: 2020-07-14T12:47:44Z
  file_id: '7222'
  file_name: 2018_Springer_Akopyan.pdf
  file_size: 1140860
  relation: main_file
file_date_updated: 2020-07-14T12:47:44Z
has_accepted_license: '1'
intvolume: '       194'
isi: 1
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 55 - 64
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Geometriae Dedicata
publication_status: published
publisher: Springer
publist_id: '7014'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 3-Webs generated by confocal conics and circles
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 194
year: '2018'
...
---
_id: '6941'
abstract:
- lang: eng
  text: "Bitcoin has become the most successful cryptocurrency ever deployed, and
    its most distinctive feature is that it is decentralized. Its underlying protocol
    (Nakamoto consensus) achieves this by using proof of work, which has the drawback
    that it causes the consumption of vast amounts of energy to maintain the ledger.
    Moreover, Bitcoin mining dynamics have become less distributed over time.\r\n\r\nTowards
    addressing these issues, we propose SpaceMint, a cryptocurrency based on proofs
    of space instead of proofs of work. Miners in SpaceMint dedicate disk space rather
    than computation. We argue that SpaceMint’s design solves or alleviates several
    of Bitcoin’s issues: most notably, its large energy consumption. SpaceMint also
    rewards smaller miners fairly according to their contribution to the network,
    thus incentivizing more distributed participation.\r\n\r\nThis paper adapts proof
    of space to enable its use in cryptocurrency, studies the attacks that can arise
    against a Bitcoin-like blockchain that uses proof of space, and proposes a new
    blockchain format and transaction types to address these attacks. Our prototype
    shows that initializing 1 TB for mining takes about a day (a one-off setup cost),
    and miners spend on average just a fraction of a second per block mined. Finally,
    we provide a game-theoretic analysis modeling SpaceMint as an extensive game (the
    canonical game-theoretic notion for games that take place over time) and show
    that this stylized game satisfies a strong equilibrium notion, thereby arguing
    for SpaceMint ’s stability and consensus."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sunoo
  full_name: Park, Sunoo
  last_name: Park
- first_name: Albert
  full_name: Kwon, Albert
  last_name: Kwon
- first_name: Georg
  full_name: Fuchsbauer, Georg
  id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
  last_name: Fuchsbauer
- first_name: Peter
  full_name: Gazi, Peter
  id: 3E0BFE38-F248-11E8-B48F-1D18A9856A87
  last_name: Gazi
- first_name: Joel F
  full_name: Alwen, Joel F
  id: 2A8DFA8C-F248-11E8-B48F-1D18A9856A87
  last_name: Alwen
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
citation:
  ama: 'Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. SpaceMint: A
    cryptocurrency based on proofs of space. In: <i>22nd International Conference
    on Financial Cryptography and Data Security</i>. Vol 10957. Springer Nature; 2018:480-499.
    doi:<a href="https://doi.org/10.1007/978-3-662-58387-6_26">10.1007/978-3-662-58387-6_26</a>'
  apa: 'Park, S., Kwon, A., Fuchsbauer, G., Gazi, P., Alwen, J. F., &#38; Pietrzak,
    K. Z. (2018). SpaceMint: A cryptocurrency based on proofs of space. In <i>22nd
    International Conference on Financial Cryptography and Data Security</i> (Vol.
    10957, pp. 480–499). Nieuwpoort, Curacao: Springer Nature. <a href="https://doi.org/10.1007/978-3-662-58387-6_26">https://doi.org/10.1007/978-3-662-58387-6_26</a>'
  chicago: 'Park, Sunoo, Albert Kwon, Georg Fuchsbauer, Peter Gazi, Joel F Alwen,
    and Krzysztof Z Pietrzak. “SpaceMint: A Cryptocurrency Based on Proofs of Space.”
    In <i>22nd International Conference on Financial Cryptography and Data Security</i>,
    10957:480–99. Springer Nature, 2018. <a href="https://doi.org/10.1007/978-3-662-58387-6_26">https://doi.org/10.1007/978-3-662-58387-6_26</a>.'
  ieee: 'S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J. F. Alwen, and K. Z. Pietrzak,
    “SpaceMint: A cryptocurrency based on proofs of space,” in <i>22nd International
    Conference on Financial Cryptography and Data Security</i>, Nieuwpoort, Curacao,
    2018, vol. 10957, pp. 480–499.'
  ista: 'Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. 2018. SpaceMint:
    A cryptocurrency based on proofs of space. 22nd International Conference on Financial
    Cryptography and Data Security. FC: Financial Cryptography and Data Security,
    LNCS, vol. 10957, 480–499.'
  mla: 'Park, Sunoo, et al. “SpaceMint: A Cryptocurrency Based on Proofs of Space.”
    <i>22nd International Conference on Financial Cryptography and Data Security</i>,
    vol. 10957, Springer Nature, 2018, pp. 480–99, doi:<a href="https://doi.org/10.1007/978-3-662-58387-6_26">10.1007/978-3-662-58387-6_26</a>.'
  short: S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:,
    22nd International Conference on Financial Cryptography and Data Security, Springer
    Nature, 2018, pp. 480–499.
conference:
  end_date: 2018-03-02
  location: Nieuwpoort, Curacao
  name: 'FC: Financial Cryptography and Data Security'
  start_date: 2018-02-26
date_created: 2019-10-14T06:35:38Z
date_published: 2018-12-07T00:00:00Z
date_updated: 2023-09-19T15:02:13Z
day: '07'
department:
- _id: KrPi
doi: 10.1007/978-3-662-58387-6_26
ec_funded: 1
external_id:
  isi:
  - '000540656400026'
intvolume: '     10957'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2015/528
month: '12'
oa: 1
oa_version: Submitted Version
page: 480-499
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '682815'
  name: Teaching Old Crypto New Tricks
publication: 22nd International Conference on Financial Cryptography and Data Security
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783662583869'
  - '9783662583876'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'SpaceMint: A cryptocurrency based on proofs of space'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10957
year: '2018'
...
