---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '8402'
abstract:
- lang: eng
  text: "Background: The mitochondrial pyruvate carrier (MPC) plays a central role
    in energy metabolism by transporting pyruvate across the inner mitochondrial membrane.
    Its heterodimeric composition and homology to SWEET and semiSWEET transporters
    set the MPC apart from the canonical mitochondrial carrier family (named MCF or
    SLC25). The import of the canonical carriers is mediated by the carrier translocase
    of the inner membrane (TIM22) pathway and is dependent on their structure, which
    features an even number of transmembrane segments and both termini in the intermembrane
    space. The import pathway of MPC proteins has not been elucidated. The odd number
    of transmembrane segments and positioning of the N-terminus in the matrix argues
    against an import via the TIM22 carrier pathway but favors an import via the flexible
    presequence pathway.\r\nResults: Here, we systematically analyzed the import pathways
    of Mpc2 and Mpc3 and report that, contrary to an expected import via the flexible
    presequence pathway, yeast MPC proteins with an odd number of transmembrane segments
    and matrix-exposed N-terminus are imported by the carrier pathway, using the receptor
    Tom70, small TIM chaperones, and the TIM22 complex. The TIM9·10 complex chaperones
    MPC proteins through the mitochondrial intermembrane space using conserved hydrophobic
    motifs that are also required for the interaction with canonical carrier proteins.\r\nConclusions:
    The carrier pathway can import paired and non-paired transmembrane helices and
    translocate N-termini to either side of the mitochondrial inner membrane, revealing
    an unexpected versatility of the mitochondrial import pathway for non-cleavable
    inner membrane proteins."
article_number: '2'
article_processing_charge: No
article_type: original
author:
- first_name: Heike
  full_name: Rampelt, Heike
  last_name: Rampelt
- first_name: Iva
  full_name: Sucec, Iva
  last_name: Sucec
- first_name: Beate
  full_name: Bersch, Beate
  last_name: Bersch
- first_name: Patrick
  full_name: Horten, Patrick
  last_name: Horten
- first_name: Inge
  full_name: Perschil, Inge
  last_name: Perschil
- first_name: Jean-Claude
  full_name: Martinou, Jean-Claude
  last_name: Martinou
- first_name: Martin
  full_name: van der Laan, Martin
  last_name: van der Laan
- first_name: Nils
  full_name: Wiedemann, Nils
  last_name: Wiedemann
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Nikolaus
  full_name: Pfanner, Nikolaus
  last_name: Pfanner
citation:
  ama: Rampelt H, Sucec I, Bersch B, et al. The mitochondrial carrier pathway transports
    non-canonical substrates with an odd number of transmembrane segments. <i>BMC
    Biology</i>. 2020;18. doi:<a href="https://doi.org/10.1186/s12915-019-0733-6">10.1186/s12915-019-0733-6</a>
  apa: Rampelt, H., Sucec, I., Bersch, B., Horten, P., Perschil, I., Martinou, J.-C.,
    … Pfanner, N. (2020). The mitochondrial carrier pathway transports non-canonical
    substrates with an odd number of transmembrane segments. <i>BMC Biology</i>. Springer
    Nature. <a href="https://doi.org/10.1186/s12915-019-0733-6">https://doi.org/10.1186/s12915-019-0733-6</a>
  chicago: Rampelt, Heike, Iva Sucec, Beate Bersch, Patrick Horten, Inge Perschil,
    Jean-Claude Martinou, Martin van der Laan, Nils Wiedemann, Paul Schanda, and Nikolaus
    Pfanner. “The Mitochondrial Carrier Pathway Transports Non-Canonical Substrates
    with an Odd Number of Transmembrane Segments.” <i>BMC Biology</i>. Springer Nature,
    2020. <a href="https://doi.org/10.1186/s12915-019-0733-6">https://doi.org/10.1186/s12915-019-0733-6</a>.
  ieee: H. Rampelt <i>et al.</i>, “The mitochondrial carrier pathway transports non-canonical
    substrates with an odd number of transmembrane segments,” <i>BMC Biology</i>,
    vol. 18. Springer Nature, 2020.
  ista: Rampelt H, Sucec I, Bersch B, Horten P, Perschil I, Martinou J-C, van der
    Laan M, Wiedemann N, Schanda P, Pfanner N. 2020. The mitochondrial carrier pathway
    transports non-canonical substrates with an odd number of transmembrane segments.
    BMC Biology. 18, 2.
  mla: Rampelt, Heike, et al. “The Mitochondrial Carrier Pathway Transports Non-Canonical
    Substrates with an Odd Number of Transmembrane Segments.” <i>BMC Biology</i>,
    vol. 18, 2, Springer Nature, 2020, doi:<a href="https://doi.org/10.1186/s12915-019-0733-6">10.1186/s12915-019-0733-6</a>.
  short: H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou,
    M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).
date_created: 2020-09-17T10:26:53Z
date_published: 2020-01-06T00:00:00Z
date_updated: 2024-10-15T13:23:11Z
day: '06'
doi: 10.1186/s12915-019-0733-6
extern: '1'
external_id:
  pmid:
  - '31907035'
intvolume: '        18'
keyword:
- Biotechnology
- Plant Science
- General Biochemistry
- Genetics and Molecular Biology
- Developmental Biology
- Cell Biology
- Physiology
- Ecology
- Evolution
- Behavior and Systematics
- Structural Biology
- General Agricultural and Biological Sciences
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1186/s12915-019-0733-6
month: '01'
oa: 1
oa_version: Published Version
pmid: 1
publication: BMC Biology
publication_identifier:
  issn:
  - 1741-7007
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: The mitochondrial carrier pathway transports non-canonical substrates with
  an odd number of transmembrane segments
type: journal_article
user_id: 0043cee0-e5fc-11ee-9736-f83bc23afbf0
volume: 18
year: '2020'
...
---
_id: '8568'
abstract:
- lang: eng
  text: Aqueous iodine based electrochemical energy storage is considered a potential
    candidate to improve sustainability and performance of current battery and supercapacitor
    technology. It harnesses the redox activity of iodide, iodine, and polyiodide
    species in the confined geometry of nanoporous carbon electrodes. However, current
    descriptions of the electrochemical reaction mechanism to interconvert these species
    are elusive. Here we show that electrochemical oxidation of iodide in nanoporous
    carbons forms persistent solid iodine deposits. Confinement slows down dissolution
    into triiodide and pentaiodide, responsible for otherwise significant self-discharge
    via shuttling. The main tools for these insights are in situ Raman spectroscopy
    and in situ small and wide-angle X-ray scattering (in situ SAXS/WAXS). In situ
    Raman confirms the reversible formation of triiodide and pentaiodide. In situ
    SAXS/WAXS indicates remarkable amounts of solid iodine deposited in the carbon
    nanopores. Combined with stochastic modeling, in situ SAXS allows quantifying
    the solid iodine volume fraction and visualizing the iodine structure on 3D lattice
    models at the sub-nanometer scale. Based on the derived mechanism, we demonstrate
    strategies for improved iodine pore filling capacity and prevention of self-discharge,
    applicable to hybrid supercapacitors and batteries.
article_number: '4838'
article_processing_charge: No
article_type: original
author:
- first_name: Christian
  full_name: Prehal, Christian
  last_name: Prehal
- first_name: Harald
  full_name: Fitzek, Harald
  last_name: Fitzek
- first_name: Gerald
  full_name: Kothleitner, Gerald
  last_name: Kothleitner
- first_name: Volker
  full_name: Presser, Volker
  last_name: Presser
- first_name: Bernhard
  full_name: Gollas, Bernhard
  last_name: Gollas
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
- first_name: Qamar
  full_name: Abbas, Qamar
  last_name: Abbas
citation:
  ama: Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine
    electrodeposition in nanoporous carbons. <i>Nature Communications</i>. 2020;11.
    doi:<a href="https://doi.org/10.1038/s41467-020-18610-6">10.1038/s41467-020-18610-6</a>
  apa: Prehal, C., Fitzek, H., Kothleitner, G., Presser, V., Gollas, B., Freunberger,
    S. A., &#38; Abbas, Q. (2020). Persistent and reversible solid iodine electrodeposition
    in nanoporous carbons. <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-020-18610-6">https://doi.org/10.1038/s41467-020-18610-6</a>
  chicago: Prehal, Christian, Harald Fitzek, Gerald Kothleitner, Volker Presser, Bernhard
    Gollas, Stefan Alexander Freunberger, and Qamar Abbas. “Persistent and Reversible
    Solid Iodine Electrodeposition in Nanoporous Carbons.” <i>Nature Communications</i>.
    Springer Nature, 2020. <a href="https://doi.org/10.1038/s41467-020-18610-6">https://doi.org/10.1038/s41467-020-18610-6</a>.
  ieee: C. Prehal <i>et al.</i>, “Persistent and reversible solid iodine electrodeposition
    in nanoporous carbons,” <i>Nature Communications</i>, vol. 11. Springer Nature,
    2020.
  ista: Prehal C, Fitzek H, Kothleitner G, Presser V, Gollas B, Freunberger SA, Abbas
    Q. 2020. Persistent and reversible solid iodine electrodeposition in nanoporous
    carbons. Nature Communications. 11, 4838.
  mla: Prehal, Christian, et al. “Persistent and Reversible Solid Iodine Electrodeposition
    in Nanoporous Carbons.” <i>Nature Communications</i>, vol. 11, 4838, Springer
    Nature, 2020, doi:<a href="https://doi.org/10.1038/s41467-020-18610-6">10.1038/s41467-020-18610-6</a>.
  short: C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger,
    Q. Abbas, Nature Communications 11 (2020).
corr_author: '1'
date_created: 2020-09-25T07:23:13Z
date_published: 2020-09-24T00:00:00Z
date_updated: 2025-06-12T06:58:51Z
day: '24'
ddc:
- '530'
department:
- _id: StFr
doi: 10.1038/s41467-020-18610-6
external_id:
  isi:
  - '000573756600004'
  pmid:
  - '32973214'
file:
- access_level: open_access
  checksum: eada7bc8dd16a49390137cff882ef328
  content_type: application/pdf
  creator: dernst
  date_created: 2020-09-28T13:16:15Z
  date_updated: 2020-09-28T13:16:15Z
  file_id: '8585'
  file_name: 2020_NatureComm_Prehal.pdf
  file_size: 1822469
  relation: main_file
  success: 1
file_date_updated: 2020-09-28T13:16:15Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
keyword:
- General Biochemistry
- Genetics and Molecular Biology
- General Physics and Astronomy
- General Chemistry
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41467-020-19720-x
scopus_import: '1'
status: public
title: Persistent and reversible solid iodine electrodeposition in nanoporous carbons
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2020'
...
---
_id: '8973'
abstract:
- lang: eng
  text: We consider the symmetric simple exclusion process in Zd with quenched bounded
    dynamic random conductances and prove its hydrodynamic limit in path space. The
    main tool is the connection, due to the self-duality of the process, between the
    invariance principle for single particles starting from all points and the macroscopic
    behavior of the density field. While the hydrodynamic limit at fixed macroscopic
    times is obtained via a generalization to the time-inhomogeneous context of the
    strategy introduced in [41], in order to prove tightness for the sequence of empirical
    density fields we develop a new criterion based on the notion of uniform conditional
    stochastic continuity, following [50]. In conclusion, we show that uniform elliptic
    dynamic conductances provide an example of environments in which the so-called
    arbitrary starting point invariance principle may be derived from the invariance
    principle of a single particle starting from the origin. Therefore, our hydrodynamics
    result applies to the examples of quenched environments considered in, e.g., [1],
    [3], [6] in combination with the hypothesis of uniform ellipticity.
acknowledgement: "We warmly thank S.R.S. Varadhan for many enlightening discussions
  at an early stage of this work. We are indebted to Francesca Collet for fruitful
  discussions and constant support all throughout this work. We thank Simone Floreani\r\nand
  Alberto Chiarini for helpful conversations on the final part of this paper as well
  as both referees for their careful reading and for raising relevant issues on some
  weak points contained in a previous version of this manuscript; we believe this
  helped us to improve it.\r\nPart of this work was done during the authors’ stay
  at the Institut Henri Poincaré (UMS 5208 CNRS-Sorbonne Université) – Centre Emile
  Borel during the trimester Stochastic Dynamics Out of Equilibrium. The authors thank
  this institution for hospitality and support (through LabEx CARMIN, ANR-10-LABX-59-01).
  F.S. thanks laboratoire\r\nMAP5 of Université de Paris, and E.S. thanks Delft University,
  for financial support and hospitality. F.S. acknowledges NWO for financial support
  via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon
  2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement
  No. 754411. This research has been conducted within the FP2M federation (CNRS FR
  2036)."
article_number: '138'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Frank
  full_name: Redig, Frank
  last_name: Redig
- first_name: Ellen
  full_name: Saada, Ellen
  last_name: Saada
- first_name: Federico
  full_name: Sau, Federico
  id: E1836206-9F16-11E9-8814-AEFDE5697425
  last_name: Sau
citation:
  ama: 'Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment:
    Hydrodynamics. <i>Electronic Journal of Probability</i>. 2020;25. doi:<a href="https://doi.org/10.1214/20-EJP536">10.1214/20-EJP536</a>'
  apa: 'Redig, F., Saada, E., &#38; Sau, F. (2020). Symmetric simple exclusion process
    in dynamic environment: Hydrodynamics. <i>Electronic Journal of Probability</i>.  Institute
    of Mathematical Statistics. <a href="https://doi.org/10.1214/20-EJP536">https://doi.org/10.1214/20-EJP536</a>'
  chicago: 'Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion
    Process in Dynamic Environment: Hydrodynamics.” <i>Electronic Journal of Probability</i>.  Institute
    of Mathematical Statistics, 2020. <a href="https://doi.org/10.1214/20-EJP536">https://doi.org/10.1214/20-EJP536</a>.'
  ieee: 'F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic
    environment: Hydrodynamics,” <i>Electronic Journal of Probability</i>, vol. 25.  Institute
    of Mathematical Statistics, 2020.'
  ista: 'Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic
    environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.'
  mla: 'Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment:
    Hydrodynamics.” <i>Electronic Journal of Probability</i>, vol. 25, 138,  Institute
    of Mathematical Statistics, 2020, doi:<a href="https://doi.org/10.1214/20-EJP536">10.1214/20-EJP536</a>.'
  short: F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
date_created: 2020-12-27T23:01:17Z
date_published: 2020-10-21T00:00:00Z
date_updated: 2025-04-14T07:43:50Z
day: '21'
ddc:
- '510'
department:
- _id: JaMa
doi: 10.1214/20-EJP536
ec_funded: 1
external_id:
  arxiv:
  - '1811.01366'
  isi:
  - '000591737500001'
file:
- access_level: open_access
  checksum: d75359b9814e78d57c0a481b7cde3751
  content_type: application/pdf
  creator: dernst
  date_created: 2020-12-28T08:24:08Z
  date_updated: 2020-12-28T08:24:08Z
  file_id: '8976'
  file_name: 2020_ElectronJProbab_Redig.pdf
  file_size: 696653
  relation: main_file
  success: 1
file_date_updated: 2020-12-28T08:24:08Z
has_accepted_license: '1'
intvolume: '        25'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: Electronic Journal of Probability
publication_identifier:
  eissn:
  - 1083-6489
publication_status: published
publisher: ' Institute of Mathematical Statistics'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Symmetric simple exclusion process in dynamic environment: Hydrodynamics'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2020'
...
---
_id: '9040'
abstract:
- lang: eng
  text: Machine learning and formal methods have complimentary benefits and drawbacks.
    In this work, we address the controller-design problem with a combination of techniques
    from both fields. The use of black-box neural networks in deep reinforcement learning
    (deep RL) poses a challenge for such a combination. Instead of reasoning formally
    about the output of deep RL, which we call the wizard, we extract from it a decision-tree
    based model, which we refer to as the magic book. Using the extracted model as
    an intermediary, we are able to handle problems that are infeasible for either
    deep RL or formal methods by themselves. First, we suggest, for the first time,
    a synthesis procedure that is based on a magic book. We synthesize a stand-alone
    correct-by-design controller that enjoys the favorable performance of RL. Second,
    we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows
    us to find numerous traces of the plant under the control of the wizard, which
    a user can use to increase the trustworthiness of the wizard and direct further
    training.
acknowledgement: This research was supported in part by the Austrian Science Fund
  (FWF) under grant Z211-N23 (Wittgenstein Award).
article_processing_charge: No
author:
- first_name: Par Alizadeh
  full_name: Alamdari, Par Alizadeh
  last_name: Alamdari
- first_name: Guy
  full_name: Avni, Guy
  id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Avni
  orcid: 0000-0001-5588-8287
- 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: Anna
  full_name: Lukina, Anna
  id: CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425
  last_name: Lukina
citation:
  ama: 'Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of
    magic. In: <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided
    Design</i>. TU Wien Academic Press; 2020:138-147. doi:<a href="https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21">10.34727/2020/isbn.978-3-85448-042-6_21</a>'
  apa: 'Alamdari, P. A., Avni, G., Henzinger, T. A., &#38; Lukina, A. (2020). Formal
    methods with a touch of magic. In <i>Proceedings of the 20th Conference on Formal
    Methods in Computer-Aided Design</i> (pp. 138–147). Online Conference: TU Wien
    Academic Press. <a href="https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>'
  chicago: Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina.
    “Formal Methods with a Touch of Magic.” In <i>Proceedings of the 20th Conference
    on Formal Methods in Computer-Aided Design</i>, 138–47. TU Wien Academic Press,
    2020. <a href="https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>.
  ieee: P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with
    a touch of magic,” in <i>Proceedings of the 20th Conference on Formal Methods
    in Computer-Aided Design</i>, Online Conference, 2020, pp. 138–147.
  ista: 'Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a
    touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided
    Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.'
  mla: Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” <i>Proceedings
    of the 20th Conference on Formal Methods in Computer-Aided Design</i>, TU Wien
    Academic Press, 2020, pp. 138–47, doi:<a href="https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21">10.34727/2020/isbn.978-3-85448-042-6_21</a>.
  short: P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the
    20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press,
    2020, pp. 138–147.
conference:
  end_date: 2020-09-24
  location: Online Conference
  name: 'FMCAD: Formal Methods in Computer-Aided Design'
  start_date: 2020-09-21
date_created: 2021-01-24T23:01:10Z
date_published: 2020-09-21T00:00:00Z
date_updated: 2025-07-10T12:01:32Z
day: '21'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.34727/2020/isbn.978-3-85448-042-6_21
file:
- access_level: open_access
  checksum: d616d549a0ade78606b16f8a9540820f
  content_type: application/pdf
  creator: dernst
  date_created: 2021-02-09T09:39:02Z
  date_updated: 2021-02-09T09:39:02Z
  file_id: '9109'
  file_name: 2020_FMCAD_Alamdari.pdf
  file_size: 990999
  relation: main_file
  success: 1
file_date_updated: 2021-02-09T09:39:02Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 138-147
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
publication: Proceedings of the 20th Conference on Formal Methods in Computer-Aided
  Design
publication_identifier:
  eissn:
  - 2708-7824
  isbn:
  - '9783854480426'
publication_status: published
publisher: TU Wien Academic Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Formal methods with a touch of magic
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '7207'
abstract:
- lang: eng
  text: The hippocampus plays key roles in learning and memory and is a main target
    of Alzheimer's disease (AD), which causes progressive memory impairments. Despite
    numerous investigations about the processes required for the normal hippocampal
    functions, the neurotransmitter receptors involved in the synaptic deficits by
    which AD disables the hippocampus are not yet characterized. By combining histoblots,
    western blots, immunohistochemistry and high‐resolution immunoelectron microscopic
    methods for GABAB receptors, this study provides a quantitative description of
    the expression and the subcellular localization of GABAB1 in the hippocampus in
    a mouse model of AD at 1, 6 and 12 months of age. Western blots and histoblots
    showed that the total amount of protein and the laminar expression pattern of
    GABAB1 were similar in APP/PS1 mice and in age‐matched wild‐type mice. In contrast,
    immunoelectron microscopic techniques showed that the subcellular localization
    of GABAB1 subunit did not change significantly in APP/PS1 mice at 1 month of age,
    was significantly reduced in the stratum lacunosum‐moleculare of CA1 pyramidal
    cells at 6 months of age and significantly reduced at the membrane surface of
    CA1 pyramidal cells at 12 months of age. This reduction of plasma membrane GABAB1
    was paralleled by a significant increase of the subunit at the intracellular sites.
    We further observed a decrease of membrane‐targeted GABAB receptors in axon terminals
    contacting CA1 pyramidal cells. Our data demonstrate compartment‐ and age‐dependent
    reduction of plasma membrane‐targeted GABAB receptors in the CA1 region of the
    hippocampus, suggesting that this decrease might be enough to alter the GABAB‐mediated
    synaptic transmission taking place in AD.
article_processing_charge: No
article_type: original
author:
- first_name: Alejandro
  full_name: Martín-Belmonte, Alejandro
  last_name: Martín-Belmonte
- first_name: Carolina
  full_name: Aguado, Carolina
  last_name: Aguado
- first_name: Rocío
  full_name: Alfaro-Ruíz, Rocío
  last_name: Alfaro-Ruíz
- first_name: Ana Esther
  full_name: Moreno-Martínez, Ana Esther
  last_name: Moreno-Martínez
- first_name: Luis
  full_name: De La Ossa, Luis
  last_name: De La Ossa
- first_name: José
  full_name: Martínez-Hernández, José
  last_name: Martínez-Hernández
- first_name: Alain
  full_name: Buisson, Alain
  last_name: Buisson
- first_name: Simon
  full_name: Früh, Simon
  last_name: Früh
- first_name: Bernhard
  full_name: Bettler, Bernhard
  last_name: Bettler
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Yugo
  full_name: Fukazawa, Yugo
  last_name: Fukazawa
- first_name: Rafael
  full_name: Luján, Rafael
  last_name: Luján
citation:
  ama: Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, et al. Reduction in the neuronal
    surface of post and presynaptic GABA&#62;B&#60; receptors in the hippocampus in
    a mouse model of Alzheimer’s disease. <i>Brain Pathology</i>. 2020;30(3):554-575.
    doi:<a href="https://doi.org/10.1111/bpa.12802">10.1111/bpa.12802</a>
  apa: Martín-Belmonte, A., Aguado, C., Alfaro-Ruíz, R., Moreno-Martínez, A. E., De
    La Ossa, L., Martínez-Hernández, J., … Luján, R. (2020). Reduction in the neuronal
    surface of post and presynaptic GABA&#62;B&#60; receptors in the hippocampus in
    a mouse model of Alzheimer’s disease. <i>Brain Pathology</i>. Wiley. <a href="https://doi.org/10.1111/bpa.12802">https://doi.org/10.1111/bpa.12802</a>
  chicago: Martín-Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro-Ruíz, Ana Esther
    Moreno-Martínez, Luis De La Ossa, José Martínez-Hernández, Alain Buisson, et al.
    “Reduction in the Neuronal Surface of Post and Presynaptic GABA&#62;B&#60; Receptors
    in the Hippocampus in a Mouse Model of Alzheimer’s Disease.” <i>Brain Pathology</i>.
    Wiley, 2020. <a href="https://doi.org/10.1111/bpa.12802">https://doi.org/10.1111/bpa.12802</a>.
  ieee: A. Martín-Belmonte <i>et al.</i>, “Reduction in the neuronal surface of post
    and presynaptic GABA&#62;B&#60; receptors in the hippocampus in a mouse model
    of Alzheimer’s disease,” <i>Brain Pathology</i>, vol. 30, no. 3. Wiley, pp. 554–575,
    2020.
  ista: Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, Moreno-Martínez AE, De La Ossa
    L, Martínez-Hernández J, Buisson A, Früh S, Bettler B, Shigemoto R, Fukazawa Y,
    Luján R. 2020. Reduction in the neuronal surface of post and presynaptic GABA&#62;B&#60;
    receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology.
    30(3), 554–575.
  mla: Martín-Belmonte, Alejandro, et al. “Reduction in the Neuronal Surface of Post
    and Presynaptic GABA&#62;B&#60; Receptors in the Hippocampus in a Mouse Model
    of Alzheimer’s Disease.” <i>Brain Pathology</i>, vol. 30, no. 3, Wiley, 2020,
    pp. 554–75, doi:<a href="https://doi.org/10.1111/bpa.12802">10.1111/bpa.12802</a>.
  short: A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De
    La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto,
    Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
date_created: 2019-12-22T23:00:43Z
date_published: 2020-05-01T00:00:00Z
date_updated: 2025-07-10T11:54:22Z
day: '01'
ddc:
- '570'
department:
- _id: RySh
doi: 10.1111/bpa.12802
ec_funded: 1
external_id:
  isi:
  - '000502270900001'
  pmid:
  - '31729777'
file:
- access_level: open_access
  checksum: 549cc1b18f638a21d17a939ba5563fa9
  content_type: application/pdf
  creator: dernst
  date_created: 2020-09-22T09:47:19Z
  date_updated: 2020-09-22T09:47:19Z
  file_id: '8554'
  file_name: 2020_BrainPathology_MartinBelmonte.pdf
  file_size: 4220935
  relation: main_file
  success: 1
file_date_updated: 2020-09-22T09:47:19Z
has_accepted_license: '1'
intvolume: '        30'
isi: 1
issue: '3'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 554-575
pmid: 1
project:
- _id: 25CBA828-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '720270'
  name: Human Brain Project Specific Grant Agreement 1
- _id: 26436750-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '785907'
  name: Human Brain Project Specific Grant Agreement 2
publication: Brain Pathology
publication_identifier:
  eissn:
  - 1750-3639
  issn:
  - 1015-6305
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Reduction in the neuronal surface of post and presynaptic GABA>B< receptors
  in the hippocampus in a mouse model of Alzheimer's disease
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2020'
...
---
_id: '7474'
abstract:
- lang: eng
  text: This booklet is a collection of abstracts presented at the AHPC conference.
article_processing_charge: No
citation:
  ama: 'Schlögl A, Kiss J, Elefante S, eds. <i>Austrian High-Performance-Computing
    Meeting (AHPC2020)</i>. Klosterneuburg, Austria: IST Austria; 2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:7474">10.15479/AT:ISTA:7474</a>'
  apa: 'Schlögl, A., Kiss, J., &#38; Elefante, S. (Eds.). (2020). <i>Austrian High-Performance-Computing
    meeting (AHPC2020)</i>. Presented at the AHPC: Austrian High-Performance-Computing
    Meeting, Klosterneuburg, Austria: IST Austria. <a href="https://doi.org/10.15479/AT:ISTA:7474">https://doi.org/10.15479/AT:ISTA:7474</a>'
  chicago: 'Schlögl, Alois, Janos Kiss, and Stefano Elefante, eds. <i>Austrian High-Performance-Computing
    Meeting (AHPC2020)</i>. Klosterneuburg, Austria: IST Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:7474">https://doi.org/10.15479/AT:ISTA:7474</a>.'
  ieee: 'A. Schlögl, J. Kiss, and S. Elefante, Eds., <i>Austrian High-Performance-Computing
    meeting (AHPC2020)</i>. Klosterneuburg, Austria: IST Austria, 2020.'
  ista: 'Schlögl A, Kiss J, Elefante S eds. 2020. Austrian High-Performance-Computing
    meeting (AHPC2020), Klosterneuburg, Austria: IST Austria, 72p.'
  mla: Schlögl, Alois, et al., editors. <i>Austrian High-Performance-Computing Meeting
    (AHPC2020)</i>. IST Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:7474">10.15479/AT:ISTA:7474</a>.
  short: A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing
    Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
conference:
  end_date: 2020-02-21
  location: Klosterneuburg, Austria
  name: 'AHPC: Austrian High-Performance-Computing Meeting'
  start_date: 2020-02-19
date_created: 2020-02-11T07:59:04Z
date_published: 2020-02-19T00:00:00Z
date_updated: 2023-05-16T07:48:28Z
day: '19'
ddc:
- '000'
department:
- _id: ScienComp
doi: 10.15479/AT:ISTA:7474
editor:
- first_name: Alois
  full_name: Schlögl, Alois
  id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
  last_name: Schlögl
  orcid: 0000-0002-5621-8100
- first_name: Janos
  full_name: Kiss, Janos
  id: 3D3A06F8-F248-11E8-B48F-1D18A9856A87
  last_name: Kiss
- first_name: Stefano
  full_name: Elefante, Stefano
  id: 490F40CE-F248-11E8-B48F-1D18A9856A87
  last_name: Elefante
file:
- access_level: open_access
  checksum: 49798edb9e57bbd6be18362d1d7b18a9
  content_type: application/pdf
  creator: schloegl
  date_created: 2020-02-19T06:53:38Z
  date_updated: 2020-07-14T12:47:59Z
  file_id: '7504'
  file_name: BOOKLET_AHPC2020.final.pdf
  file_size: 90899507
  relation: main_file
file_date_updated: 2020-07-14T12:47:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '72'
place: Klosterneuburg, Austria
publication_identifier:
  isbn:
  - 978-3-99078-004-6
publication_status: published
publisher: IST Austria
quality_controlled: '1'
status: public
title: Austrian High-Performance-Computing meeting (AHPC2020)
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: book_editor
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '7632'
abstract:
- lang: eng
  text: The posterior parietal cortex (PPC) and frontal motor areas comprise a cortical
    network supporting goal-directed behaviour, with functions including sensorimotor
    transformations and decision making. In primates, this network links performed
    and observed actions via mirror neurons, which fire both when individuals perform
    an action and when they observe the same action performed by a conspecific. Mirror
    neurons are believed to be important for social learning, but it is not known
    whether mirror-like neurons occur in similar networks in other social species,
    such as rodents, or if they can be measured in such models using paradigms where
    observers passively view a demonstrator. Therefore, we imaged Ca2+ responses in
    PPC and secondary motor cortex (M2) while mice performed and observed pellet-reaching
    and wheel-running tasks, and found that cell populations in both areas robustly
    encoded several naturalistic behaviours. However, neural responses to the same
    set of observed actions were absent, although we verified that observer mice were
    attentive to performers and that PPC neurons responded reliably to visual cues.
    Statistical modelling also indicated that executed actions outperformed observed
    actions in predicting neural responses. These results raise the possibility that
    sensorimotor action recognition in rodents could take place outside of the parieto-frontal
    circuit, and underscore that detecting socially-driven neural coding depends critically
    on the species and behavioural paradigm used.
article_number: '5559'
article_processing_charge: No
article_type: original
author:
- first_name: Tuce
  full_name: Tombaz, Tuce
  last_name: Tombaz
- first_name: Benjamin A.
  full_name: Dunn, Benjamin A.
  last_name: Dunn
- first_name: Karoline
  full_name: Hovde, Karoline
  last_name: Hovde
- first_name: Ryan J
  full_name: Cubero, Ryan J
  id: 850B2E12-9CD4-11E9-837F-E719E6697425
  last_name: Cubero
  orcid: 0000-0003-0002-1867
- first_name: Bartul
  full_name: Mimica, Bartul
  last_name: Mimica
- first_name: Pranav
  full_name: Mamidanna, Pranav
  last_name: Mamidanna
- first_name: Yasser
  full_name: Roudi, Yasser
  last_name: Roudi
- first_name: Jonathan R.
  full_name: Whitlock, Jonathan R.
  last_name: Whitlock
citation:
  ama: Tombaz T, Dunn BA, Hovde K, et al. Action representation in the mouse parieto-frontal
    network. <i>Scientific reports</i>. 2020;10(1). doi:<a href="https://doi.org/10.1038/s41598-020-62089-6">10.1038/s41598-020-62089-6</a>
  apa: Tombaz, T., Dunn, B. A., Hovde, K., Cubero, R. J., Mimica, B., Mamidanna, P.,
    … Whitlock, J. R. (2020). Action representation in the mouse parieto-frontal network.
    <i>Scientific Reports</i>. Springer Nature. <a href="https://doi.org/10.1038/s41598-020-62089-6">https://doi.org/10.1038/s41598-020-62089-6</a>
  chicago: Tombaz, Tuce, Benjamin A. Dunn, Karoline Hovde, Ryan J Cubero, Bartul Mimica,
    Pranav Mamidanna, Yasser Roudi, and Jonathan R. Whitlock. “Action Representation
    in the Mouse Parieto-Frontal Network.” <i>Scientific Reports</i>. Springer Nature,
    2020. <a href="https://doi.org/10.1038/s41598-020-62089-6">https://doi.org/10.1038/s41598-020-62089-6</a>.
  ieee: T. Tombaz <i>et al.</i>, “Action representation in the mouse parieto-frontal
    network,” <i>Scientific reports</i>, vol. 10, no. 1. Springer Nature, 2020.
  ista: Tombaz T, Dunn BA, Hovde K, Cubero RJ, Mimica B, Mamidanna P, Roudi Y, Whitlock
    JR. 2020. Action representation in the mouse parieto-frontal network. Scientific
    reports. 10(1), 5559.
  mla: Tombaz, Tuce, et al. “Action Representation in the Mouse Parieto-Frontal Network.”
    <i>Scientific Reports</i>, vol. 10, no. 1, 5559, Springer Nature, 2020, doi:<a
    href="https://doi.org/10.1038/s41598-020-62089-6">10.1038/s41598-020-62089-6</a>.
  short: T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y.
    Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
date_created: 2020-04-05T22:00:47Z
date_published: 2020-03-27T00:00:00Z
date_updated: 2026-04-02T14:23:52Z
day: '27'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1038/s41598-020-62089-6
external_id:
  isi:
  - '000560406800007'
file:
- access_level: open_access
  checksum: e6cfaaaf7986532132934400038b824a
  content_type: application/pdf
  creator: dernst
  date_created: 2020-04-06T10:44:23Z
  date_updated: 2020-07-14T12:48:01Z
  file_id: '7644'
  file_name: 2020_ScientificReports_Tombaz.pdf
  file_size: 2621249
  relation: main_file
file_date_updated: 2020-07-14T12:48:01Z
has_accepted_license: '1'
intvolume: '        10'
isi: 1
issue: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Scientific reports
publication_identifier:
  eissn:
  - 2045-2322
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Action representation in the mouse parieto-frontal network
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 10
year: '2020'
...
---
_id: '9885'
abstract:
- lang: eng
  text: Data obtained from the fine-grained simulations used in Figures 2-5, data
    obtained from the coarse-grained numerical calculations used in Figure 6, and
    a sample script for the fine-grained simulation as a Jupyter notebook (ZIP)
article_processing_charge: No
author:
- first_name: Mehmet C
  full_name: Ucar, Mehmet C
  id: 50B2A802-6007-11E9-A42B-EB23E6697425
  last_name: Ucar
  orcid: 0000-0003-0506-4217
- first_name: Reinhard
  full_name: Lipowsky, Reinhard
  last_name: Lipowsky
citation:
  ama: Ucar MC, Lipowsky R. MURL_Dataz. 2020. doi:<a href="https://doi.org/10.1021/acs.nanolett.9b04445.s002">10.1021/acs.nanolett.9b04445.s002</a>
  apa: Ucar, M. C., &#38; Lipowsky, R. (2020). MURL_Dataz. American Chemical Society
    . <a href="https://doi.org/10.1021/acs.nanolett.9b04445.s002">https://doi.org/10.1021/acs.nanolett.9b04445.s002</a>
  chicago: Ucar, Mehmet C, and Reinhard Lipowsky. “MURL_Dataz.” American Chemical
    Society , 2020. <a href="https://doi.org/10.1021/acs.nanolett.9b04445.s002">https://doi.org/10.1021/acs.nanolett.9b04445.s002</a>.
  ieee: M. C. Ucar and R. Lipowsky, “MURL_Dataz.” American Chemical Society , 2020.
  ista: Ucar MC, Lipowsky R. 2020. MURL_Dataz, American Chemical Society , <a href="https://doi.org/10.1021/acs.nanolett.9b04445.s002">10.1021/acs.nanolett.9b04445.s002</a>.
  mla: Ucar, Mehmet C., and Reinhard Lipowsky. <i>MURL_Dataz</i>. American Chemical
    Society , 2020, doi:<a href="https://doi.org/10.1021/acs.nanolett.9b04445.s002">10.1021/acs.nanolett.9b04445.s002</a>.
  short: M.C. Ucar, R. Lipowsky, (2020).
date_created: 2021-08-11T13:16:03Z
date_published: 2020-01-08T00:00:00Z
date_updated: 2026-06-18T19:17:32Z
day: '08'
department:
- _id: EdHa
doi: 10.1021/acs.nanolett.9b04445.s002
month: '01'
oa_version: Published Version
publisher: 'American Chemical Society '
related_material:
  record:
  - id: '7166'
    relation: used_in_publication
    status: public
status: public
title: MURL_Dataz
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2020'
...
---
_id: '8571'
abstract:
- lang: eng
  text: We present the results of a friendly competition for formal verification of
    continuous and hybrid systems with nonlinear continuous dynamics. The friendly
    competition took place as part of the workshop Applied Verification for Continuous
    and Hybrid Systems (ARCH) in 2020. This year, 6 tools Ariadne, CORA, DynIbex,
    Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. These
    tools are applied to solve reachability analysis problems on six benchmark problems,
    two of them featuring hybrid dynamics. We do not rank the tools based on the results,
    but show the current status and discover the potential advantages of different
    tools.
acknowledgement: Christian Schilling acknowledges support in part by the Austrian
  Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award) and the European Union’s
  Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie
  grant agreement No. 754411.
article_processing_charge: No
author:
- first_name: Luca
  full_name: Geretti, Luca
  last_name: Geretti
- first_name: Julien
  full_name: Alexandre Dit Sandretto, Julien
  last_name: Alexandre Dit Sandretto
- first_name: Matthias
  full_name: Althoff, Matthias
  last_name: Althoff
- first_name: Luis
  full_name: Benet, Luis
  last_name: Benet
- first_name: Alexandre
  full_name: Chapoutot, Alexandre
  last_name: Chapoutot
- first_name: Xin
  full_name: Chen, Xin
  last_name: Chen
- first_name: Pieter
  full_name: Collins, Pieter
  last_name: Collins
- first_name: Marcelo
  full_name: Forets, Marcelo
  last_name: Forets
- first_name: Daniel
  full_name: Freire, Daniel
  last_name: Freire
- first_name: Fabian
  full_name: Immler, Fabian
  last_name: Immler
- first_name: Niklas
  full_name: Kochdumper, Niklas
  last_name: Kochdumper
- first_name: David
  full_name: Sanders, David
  last_name: Sanders
- first_name: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
citation:
  ama: 'Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category
    Report: Continuous and hybrid systems with nonlinear dynamics. In: <i>EPiC Series
    in Computing</i>. Vol 74. EasyChair; 2020:49-75. doi:<a href="https://doi.org/10.29007/zkf6">10.29007/zkf6</a>'
  apa: 'Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot,
    A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous
    and hybrid systems with nonlinear dynamics. In <i>EPiC Series in Computing</i>
    (Vol. 74, pp. 49–75). EasyChair. <a href="https://doi.org/10.29007/zkf6">https://doi.org/10.29007/zkf6</a>'
  chicago: 'Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis
    Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category
    Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In <i>EPiC Series
    in Computing</i>, 74:49–75. EasyChair, 2020. <a href="https://doi.org/10.29007/zkf6">https://doi.org/10.29007/zkf6</a>.'
  ieee: 'L. Geretti <i>et al.</i>, “ARCH-COMP20 Category Report: Continuous and hybrid
    systems with nonlinear dynamics,” in <i>EPiC Series in Computing</i>, 2020, vol.
    74, pp. 49–75.'
  ista: 'Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen
    X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling
    C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear
    dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification
    on Continuous and Hybrid Systems vol. 74, 49–75.'
  mla: 'Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid
    Systems with Nonlinear Dynamics.” <i>EPiC Series in Computing</i>, vol. 74, EasyChair,
    2020, pp. 49–75, doi:<a href="https://doi.org/10.29007/zkf6">10.29007/zkf6</a>.'
  short: L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot,
    X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders,
    C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
conference:
  end_date: 2020-07-12
  name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
    Systems'
  start_date: 2020-07-12
corr_author: '1'
date_created: 2020-09-26T14:41:29Z
date_published: 2020-09-25T00:00:00Z
date_updated: 2026-06-18T19:34:03Z
day: '25'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.29007/zkf6
ec_funded: 1
intvolume: '        74'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://easychair.org/publications/download/nrdD
month: '09'
oa: 1
oa_version: Published Version
page: 49-75
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
publication: EPiC Series in Computing
publication_status: published
publisher: EasyChair
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear
  dynamics'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 74
year: '2020'
...
---
_id: '7161'
abstract:
- lang: eng
  text: In this paper, we introduce an inertial projection-type method with different
    updating strategies for solving quasi-variational inequalities with strongly monotone
    and Lipschitz continuous operators in real Hilbert spaces. Under standard assumptions,
    we establish different strong convergence results for the proposed algorithm.
    Primary numerical experiments demonstrate the potential applicability of our scheme
    compared with some related methods in the literature.
acknowledgement: We are grateful to the anonymous referees and editor whose insightful
  comments helped to considerably improve an earlier version of this paper. The research
  of the first author is supported by an ERC Grant from the Institute of Science and
  Technology (IST).
article_processing_charge: No
article_type: original
author:
- first_name: Yekini
  full_name: Shehu, Yekini
  id: 3FC7CB58-F248-11E8-B48F-1D18A9856A87
  last_name: Shehu
  orcid: 0000-0001-9224-7139
- first_name: Aviv
  full_name: Gibali, Aviv
  last_name: Gibali
- first_name: Simone
  full_name: Sagratella, Simone
  last_name: Sagratella
citation:
  ama: Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving
    quasi-variational inequalities in real Hilbert spaces. <i>Journal of Optimization
    Theory and Applications</i>. 2020;184:877–894. doi:<a href="https://doi.org/10.1007/s10957-019-01616-6">10.1007/s10957-019-01616-6</a>
  apa: Shehu, Y., Gibali, A., &#38; Sagratella, S. (2020). Inertial projection-type
    methods for solving quasi-variational inequalities in real Hilbert spaces. <i>Journal
    of Optimization Theory and Applications</i>. Springer Nature. <a href="https://doi.org/10.1007/s10957-019-01616-6">https://doi.org/10.1007/s10957-019-01616-6</a>
  chicago: Shehu, Yekini, Aviv Gibali, and Simone Sagratella. “Inertial Projection-Type
    Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” <i>Journal
    of Optimization Theory and Applications</i>. Springer Nature, 2020. <a href="https://doi.org/10.1007/s10957-019-01616-6">https://doi.org/10.1007/s10957-019-01616-6</a>.
  ieee: Y. Shehu, A. Gibali, and S. Sagratella, “Inertial projection-type methods
    for solving quasi-variational inequalities in real Hilbert spaces,” <i>Journal
    of Optimization Theory and Applications</i>, vol. 184. Springer Nature, pp. 877–894,
    2020.
  ista: Shehu Y, Gibali A, Sagratella S. 2020. Inertial projection-type methods for
    solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization
    Theory and Applications. 184, 877–894.
  mla: Shehu, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational
    Inequalities in Real Hilbert Spaces.” <i>Journal of Optimization Theory and Applications</i>,
    vol. 184, Springer Nature, 2020, pp. 877–894, doi:<a href="https://doi.org/10.1007/s10957-019-01616-6">10.1007/s10957-019-01616-6</a>.
  short: Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications
    184 (2020) 877–894.
date_created: 2019-12-09T21:33:44Z
date_published: 2020-03-01T00:00:00Z
date_updated: 2024-11-04T13:52:44Z
day: '01'
ddc:
- '518'
- '510'
- '515'
department:
- _id: VlKo
doi: 10.1007/s10957-019-01616-6
ec_funded: 1
external_id:
  isi:
  - '000511805200009'
file:
- access_level: open_access
  checksum: 9f6dc6c6bf2b48cb3a2091a9ed5feaf2
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-12T10:40:27Z
  date_updated: 2021-03-16T23:30:04Z
  embargo: 2021-03-15
  file_id: '8647'
  file_name: 2020_JourOptimizationTheoryApplic_Shehu.pdf
  file_size: 332641
  relation: main_file
file_date_updated: 2021-03-16T23:30:04Z
has_accepted_license: '1'
intvolume: '       184'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 877–894
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '616160'
  name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication: Journal of Optimization Theory and Applications
publication_identifier:
  eissn:
  - 1573-2878
  issn:
  - 0022-3239
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inertial projection-type methods for solving quasi-variational inequalities
  in real Hilbert spaces
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 184
year: '2020'
...
---
_id: '11505'
abstract:
- lang: eng
  text: "Contact. This paper presents the results obtained with the Multi-Unit Spectroscopic
    Explorer (MUSE) at the ESO Very Large Telescope on the faint end of the Lyman-alpha
    luminosity function (LF) based on deep observations of four lensing clusters.
    The goal of our project is to set strong constraints on the relative contribution
    of the Lyman-alpha emitter (LAE) population to cosmic reionization.\r\n\r\nAims.
    The precise aim of the present study is to further constrain the abundance of
    LAEs by taking advantage of the magnification provided by lensing clusters to
    build a blindly selected sample of galaxies which is less biased than current
    blank field samples in redshift and luminosity. By construction, this sample of
    LAEs is complementary to those built from deep blank fields, whether observed
    by MUSE or by other facilities, and makes it possible to determine the shape of
    the LF at fainter levels, as well as its evolution with redshift.\r\n\r\nMethods.
    We selected a sample of 156 LAEs with redshifts between 2.9 ≤ z ≤ 6.7 and magnification-corrected
    luminosities in the range 39 ≲ log LLyα [erg s−1] ≲43. To properly take into account
    the individual differences in detection conditions between the LAEs when computing
    the LF, including lensing configurations, and spatial and spectral morphologies,
    the non-parametric 1/Vmax method was adopted. The price to pay to benefit from
    magnification is a reduction of the effective volume of the survey, together with
    a more complex analysis procedure to properly determine the effective volume Vmax
    for each galaxy. In this paper we present a complete procedure for the determination
    of the LF based on IFU detections in lensing clusters. This procedure, including
    some new methods for masking, effective volume integration and (individual) completeness
    determinations, has been fully automated when possible, and it can be easily generalized
    to the analysis of IFU observations in blank fields.\r\n\r\nResults. As a result
    of this analysis, the Lyman-alpha LF has been obtained in four different redshift
    bins: 2.9 <  z <  6, 7, 2.9 <  z <  4.0, 4.0 <  z <  5.0, and 5.0 <  z <  6.7
    with constraints down to log LLyα = 40.5. From our data only, no significant evolution
    of LF mean slope can be found. When performing a Schechter analysis also including
    data from the literature to complete the present sample towards the brightest
    luminosities, a steep faint end slope was measured varying from α = −1.69−0.08+0.08
    to α = −1.87−0.12+0.12 between the lowest and the highest redshift bins.\r\n\r\nConclusions.
    The contribution of the LAE population to the star formation rate density at z ∼ 6
    is ≲50% depending on the luminosity limit considered, which is of the same order
    as the Lyman-break galaxy (LBG) contribution. The evolution of the LAE contribution
    with redshift depends on the assumed escape fraction of Lyman-alpha photons, and
    appears to slightly increase with increasing redshift when this fraction is conservatively
    set to one. Depending on the intersection between the LAE/LBG populations, the
    contribution of the observed galaxies to the ionizing flux may suffice to keep
    the universe ionized at z ∼ 6."
acknowledgement: We thank the anonymous referee for their critical review and useful
  suggestions. This work has been carried out thanks to the support of the OCEVU Labex
  (ANR-11-LABX-0060) and the A*MIDEX project (ANR-11-IDEX-0001-02) funded by the “Investissements
  d’Avenir” French government programme managed by the ANR. Partially funded by the
  ERC starting grant CALENDS (JR, VP, BC, JM), the Agence Nationale de la recherche
  bearing the reference ANR-13-BS05-0010-02 (FOGHAR), and the “Programme National
  de Cosmologie and Galaxies” (PNCG) of CNRS/INSU, France. GdV, RP, JR, GM, JM, BC,
  and VP also acknowledge support by the Programa de Cooperacion Cientifica – ECOS
  SUD Program C16U02. NL acknowledges funding from the European Research Council (ERC)
  under the European Union’s Horizon 2020 research and innovation programme (grant
  agreement No 669253), ABD acknowledges support from the ERC advanced grant “Cosmic
  Gas”. LW acknowledges support by the Competitive Fund of the Leibniz Association
  through grant SAW-2015-AIP-2, and TG acknowledges support from the European Research
  Council under grant agreement ERC-stg-757258 (TRIPLE).. Based on observations made
  with ESO Telescopes at the La Silla Paranal Observatory under programme IDs 060.A-9345,
  094.A-0115, 095.A-0181, 096.A-0710, 097.A0269, 100.A-0249, and 294.A-5032. Also
  based on observations obtained with the NASA/ESA Hubble Space Telescope, retrieved
  from the Mikulski Archive for Space Telescopes (MAST) at the Space Telescope Science
  Institute (STScI). STScI is operated by the Association of Universities for Research
  in Astronomy, Inc. under NASA contract NAS 5-26555. This research made use of Astropy,
  a community-developed core Python package for Astronomy (Astropy Collaboration 2013).
  All plots in this paper were created using Matplotlib (Hunter 2007).
article_number: A3
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: G.
  full_name: de La Vieuville, G.
  last_name: de La Vieuville
- first_name: D.
  full_name: Bina, D.
  last_name: Bina
- first_name: R.
  full_name: Pello, R.
  last_name: Pello
- first_name: G.
  full_name: Mahler, G.
  last_name: Mahler
- first_name: J.
  full_name: Richard, J.
  last_name: Richard
- first_name: A. B.
  full_name: Drake, A. B.
  last_name: Drake
- first_name: E. C.
  full_name: Herenz, E. C.
  last_name: Herenz
- first_name: F. E.
  full_name: Bauer, F. E.
  last_name: Bauer
- first_name: B.
  full_name: Clément, B.
  last_name: Clément
- first_name: D.
  full_name: Lagattuta, D.
  last_name: Lagattuta
- first_name: N.
  full_name: Laporte, N.
  last_name: Laporte
- first_name: J.
  full_name: Martinez, J.
  last_name: Martinez
- first_name: V.
  full_name: Patrício, V.
  last_name: Patrício
- first_name: L.
  full_name: Wisotzki, L.
  last_name: Wisotzki
- first_name: J.
  full_name: Zabl, J.
  last_name: Zabl
- first_name: R. J.
  full_name: Bouwens, R. J.
  last_name: Bouwens
- first_name: T.
  full_name: Contini, T.
  last_name: Contini
- first_name: T.
  full_name: Garel, T.
  last_name: Garel
- first_name: B.
  full_name: Guiderdoni, B.
  last_name: Guiderdoni
- first_name: R. A.
  full_name: Marino, R. A.
  last_name: Marino
- first_name: M. V.
  full_name: Maseda, M. V.
  last_name: Maseda
- first_name: Jorryt J
  full_name: Matthee, Jorryt J
  id: 7439a258-f3c0-11ec-9501-9df22fe06720
  last_name: Matthee
  orcid: 0000-0003-2871-127X
- first_name: J.
  full_name: Schaye, J.
  last_name: Schaye
- first_name: G.
  full_name: Soucail, G.
  last_name: Soucail
citation:
  ama: de La Vieuville G, Bina D, Pello R, et al. Faint end of the z ∼ 3–7 luminosity
    function of Lyman-alpha emitters behind lensing clusters observed with MUSE. <i>Astronomy
    &#38; Astrophysics</i>. 2019;628. doi:<a href="https://doi.org/10.1051/0004-6361/201834471">10.1051/0004-6361/201834471</a>
  apa: de La Vieuville, G., Bina, D., Pello, R., Mahler, G., Richard, J., Drake, A.
    B., … Soucail, G. (2019). Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha
    emitters behind lensing clusters observed with MUSE. <i>Astronomy &#38; Astrophysics</i>.
    EDP Sciences. <a href="https://doi.org/10.1051/0004-6361/201834471">https://doi.org/10.1051/0004-6361/201834471</a>
  chicago: La Vieuville, G. de, D. Bina, R. Pello, G. Mahler, J. Richard, A. B. Drake,
    E. C. Herenz, et al. “Faint End of the z ∼ 3–7 Luminosity Function of Lyman-Alpha
    Emitters behind Lensing Clusters Observed with MUSE.” <i>Astronomy &#38; Astrophysics</i>.
    EDP Sciences, 2019. <a href="https://doi.org/10.1051/0004-6361/201834471">https://doi.org/10.1051/0004-6361/201834471</a>.
  ieee: G. de La Vieuville <i>et al.</i>, “Faint end of the z ∼ 3–7 luminosity function
    of Lyman-alpha emitters behind lensing clusters observed with MUSE,” <i>Astronomy
    &#38; Astrophysics</i>, vol. 628. EDP Sciences, 2019.
  ista: de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz
    EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki
    L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV,
    Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function
    of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy
    &#38; Astrophysics. 628, A3.
  mla: de La Vieuville, G., et al. “Faint End of the z ∼ 3–7 Luminosity Function of
    Lyman-Alpha Emitters behind Lensing Clusters Observed with MUSE.” <i>Astronomy
    &#38; Astrophysics</i>, vol. 628, A3, EDP Sciences, 2019, doi:<a href="https://doi.org/10.1051/0004-6361/201834471">10.1051/0004-6361/201834471</a>.
  short: G. de La Vieuville, D. Bina, R. Pello, G. Mahler, J. Richard, A.B. Drake,
    E.C. Herenz, F.E. Bauer, B. Clément, D. Lagattuta, N. Laporte, J. Martinez, V.
    Patrício, L. Wisotzki, J. Zabl, R.J. Bouwens, T. Contini, T. Garel, B. Guiderdoni,
    R.A. Marino, M.V. Maseda, J.J. Matthee, J. Schaye, G. Soucail, Astronomy &#38;
    Astrophysics 628 (2019).
date_created: 2022-07-06T10:09:36Z
date_published: 2019-07-25T00:00:00Z
date_updated: 2022-07-19T09:36:31Z
day: '25'
doi: 10.1051/0004-6361/201834471
extern: '1'
external_id:
  arxiv:
  - '1905.13696'
intvolume: '       628'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
- 'gravitational lensing: strong / galaxies: high-redshift / dark ages'
- reionization
- 'first stars / galaxies: clusters: general / galaxies: luminosity function'
- mass function
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1905.13696
month: '07'
oa: 1
oa_version: Published Version
publication: Astronomy & Astrophysics
publication_identifier:
  eissn:
  - 1432-0746
  issn:
  - 0004-6361
publication_status: published
publisher: EDP Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind
  lensing clusters observed with MUSE
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 628
year: '2019'
...
---
_id: '11535'
abstract:
- lang: eng
  text: We investigate the clustering and halo properties of ∼5000 Ly α-selected emission-line
    galaxies (LAEs) from the Slicing COSMOS 4K (SC4K) and from archival NB497 imaging
    of SA22 split in 15 discrete redshift slices between z ∼ 2.5 and 6. We measure
    clustering lengths of r0 ∼ 3–6 h−1 Mpc and typical halo masses of ∼1011 M⊙ for
    our narrowband-selected LAEs with typical LLy α ∼ 1042–43 erg s−1. The intermediate-band-selected
    LAEs are observed to have r0 ∼ 3.5–15 h−1 Mpc with typical halo masses of ∼1011–12
    M⊙ and typical LLy α ∼ 1043–43.6 erg s−1. We find a strong, redshift-independent
    correlation between halo mass and Ly α luminosity normalized by the characteristic
    Ly α luminosity, L⋆(z). The faintest LAEs (L ∼ 0.1 L⋆(z)) typically identified
    by deep narrowband surveys are found in 1010 M⊙ haloes and the brightest LAEs
    (L ∼ 7 L⋆(z)) are found in ∼5 × 1012 M⊙ haloes. A dependency on the rest-frame
    1500 Å UV luminosity, MUV, is also observed where the halo masses increase from
    1011 to 1013 M⊙ for MUV ∼ −19 to −23.5 mag. Halo mass is also observed to increase
    from 109.8 to 1012 M⊙ for dust-corrected UV star formation rates from ∼0.6 to
    10 M⊙ yr−1 and continues to increase up to 1013 M⊙ in halo mass, where the majority
    of those sources are active galactic nuclei. All the trends we observe are found
    to be redshift independent. Our results reveal that LAEs are the likely progenitors
    of a wide range of galaxies depending on their luminosity, from dwarf-like, to
    Milky Way-type, to bright cluster galaxies. LAEs therefore provide unique insight
    into the early formation and evolution of the galaxies we observe in the local
    Universe.
acknowledgement: We thank the anonymous referee for their useful comments and suggestions
  that helped improve this study. AAK acknowledges that this work was supported by
  NASA Headquarters under the NASA Earth and Space Science Fellowship Program – Grant
  NNX16AO92H. JM acknowledges support from the ETH Zwicky fellowship. RKC acknowledges
  funding from STFC via a studentship. APA acknowledges support from the Fundac¸ao
  para a Ci ˜ encia e a Tecnologia FCT through the fellowship PD/BD/52706/2014 and
  the research grant UID/FIS/04434/2013. JC and SS both acknowledge their support
  from the Lancaster University PhD Fellowship. We have benefited greatly from the
  publicly available programming language PYTHON, including the NUMPY, SCIPY, MATPLOTLIB,
  SCIKIT-LEARN, and ASTROPY packages, as well as the TOPCAT analysis program. The
  SC4K samples used in this paper are all publicly available for use by the community
  (Sobral et al. 2018a). The catalogue is also available on the COSMOS IPAC website
  (https://irsa.ipac.caltech.edu/data/COSMOS/overview.html).
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: A A
  full_name: Khostovan, A A
  last_name: Khostovan
- first_name: D
  full_name: Sobral, D
  last_name: Sobral
- first_name: B
  full_name: Mobasher, B
  last_name: Mobasher
- first_name: Jorryt J
  full_name: Matthee, Jorryt J
  id: 7439a258-f3c0-11ec-9501-9df22fe06720
  last_name: Matthee
  orcid: 0000-0003-2871-127X
- first_name: R K
  full_name: Cochrane, R K
  last_name: Cochrane
- first_name: N
  full_name: Chartab, N
  last_name: Chartab
- first_name: M
  full_name: Jafariyazani, M
  last_name: Jafariyazani
- first_name: A
  full_name: Paulino-Afonso, A
  last_name: Paulino-Afonso
- first_name: S
  full_name: Santos, S
  last_name: Santos
- first_name: J
  full_name: Calhau, J
  last_name: Calhau
citation:
  ama: 'Khostovan AA, Sobral D, Mobasher B, et al. The clustering of typical Ly α emitters
    from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities. <i>Monthly
    Notices of the Royal Astronomical Society</i>. 2019;489(1):555-573. doi:<a href="https://doi.org/10.1093/mnras/stz2149">10.1093/mnras/stz2149</a>'
  apa: 'Khostovan, A. A., Sobral, D., Mobasher, B., Matthee, J. J., Cochrane, R. K.,
    Chartab, N., … Calhau, J. (2019). The clustering of typical Ly α emitters from
    z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities. <i>Monthly Notices
    of the Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stz2149">https://doi.org/10.1093/mnras/stz2149</a>'
  chicago: 'Khostovan, A A, D Sobral, B Mobasher, Jorryt J Matthee, R K Cochrane,
    N Chartab, M Jafariyazani, A Paulino-Afonso, S Santos, and J Calhau. “The Clustering
    of Typical Ly α Emitters from z ∼ 2.5–6: Host Halo Masses Depend on Ly α and UV
    Luminosities.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford
    University Press, 2019. <a href="https://doi.org/10.1093/mnras/stz2149">https://doi.org/10.1093/mnras/stz2149</a>.'
  ieee: 'A. A. Khostovan <i>et al.</i>, “The clustering of typical Ly α emitters from
    z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities,” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 489, no. 1. Oxford University Press,
    pp. 555–573, 2019.'
  ista: 'Khostovan AA, Sobral D, Mobasher B, Matthee JJ, Cochrane RK, Chartab N, Jafariyazani
    M, Paulino-Afonso A, Santos S, Calhau J. 2019. The clustering of typical Ly α emitters
    from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities. Monthly Notices
    of the Royal Astronomical Society. 489(1), 555–573.'
  mla: 'Khostovan, A. A., et al. “The Clustering of Typical Ly α Emitters from z ∼
    2.5–6: Host Halo Masses Depend on Ly α and UV Luminosities.” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 489, no. 1, Oxford University Press,
    2019, pp. 555–73, doi:<a href="https://doi.org/10.1093/mnras/stz2149">10.1093/mnras/stz2149</a>.'
  short: A.A. Khostovan, D. Sobral, B. Mobasher, J.J. Matthee, R.K. Cochrane, N. Chartab,
    M. Jafariyazani, A. Paulino-Afonso, S. Santos, J. Calhau, Monthly Notices of the
    Royal Astronomical Society 489 (2019) 555–573.
date_created: 2022-07-07T13:01:03Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2022-08-19T06:38:42Z
day: '01'
doi: 10.1093/mnras/stz2149
extern: '1'
external_id:
  arxiv:
  - '1811.00556'
intvolume: '       489'
issue: '1'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
- 'galaxies: evolution'
- 'galaxies: haloes'
- 'galaxies: high-redshift'
- 'galaxies: star formation'
- 'cosmology: observations'
- large-scale structure of Universe
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1811.00556
month: '10'
oa: 1
oa_version: Preprint
page: 555-573
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  eissn:
  - 1365-2966
  issn:
  - 0035-8711
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The clustering of typical Ly α emitters from z ∼ 2.5–6: Host halo masses depend
  on Ly α and UV luminosities'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 489
year: '2019'
...
---
_id: '11850'
abstract:
- lang: eng
  text: 'Modern networked systems are increasingly reconfigurable, enabling demand-aware
    infrastructures whose resources can be adjusted according to the workload they
    currently serve. Such dynamic adjustments can be exploited to improve network
    utilization and hence performance, by moving frequently interacting communication
    partners closer, e.g., collocating them in the same server or datacenter. However,
    dynamically changing the embedding of workloads is algorithmically challenging:
    communication patterns are often not known ahead of time, but must be learned.
    During the learning process, overheads related to unnecessary moves (i.e., re-embeddings)
    should be minimized. This paper studies a fundamental model which captures the
    tradeoff between the benefits and costs of dynamically collocating communication
    partners on l servers, in an online manner. Our main contribution is a distributed
    online algorithm which is asymptotically almost optimal, i.e., almost matches
    the lower bound (also derived in this paper) on the competitive ratio of any (distributed
    or centralized) online algorithm.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Monika H
  full_name: Henzinger, Monika H
  id: 540c9bbd-f2de-11ec-812d-d04a5be85630
  last_name: Henzinger
  orcid: 0000-0002-5008-6530
- first_name: Stefan
  full_name: Neumann, Stefan
  last_name: Neumann
- first_name: Stefan
  full_name: Schmid, Stefan
  last_name: Schmid
citation:
  ama: 'Henzinger M, Neumann S, Schmid S. Efficient distributed workload (re-)embedding.
    In: <i>SIGMETRICS’19: International Conference on Measurement and Modeling of
    Computer Systems</i>. Association for Computing Machinery; 2019:43–44. doi:<a
    href="https://doi.org/10.1145/3309697.3331503">10.1145/3309697.3331503</a>'
  apa: 'Henzinger, M., Neumann, S., &#38; Schmid, S. (2019). Efficient distributed
    workload (re-)embedding. In <i>SIGMETRICS’19: International Conference on Measurement
    and Modeling of Computer Systems</i> (pp. 43–44). Phoenix, AZ, United States:
    Association for Computing Machinery. <a href="https://doi.org/10.1145/3309697.3331503">https://doi.org/10.1145/3309697.3331503</a>'
  chicago: 'Henzinger, Monika, Stefan Neumann, and Stefan Schmid. “Efficient Distributed
    Workload (Re-)Embedding.” In <i>SIGMETRICS’19: International Conference on Measurement
    and Modeling of Computer Systems</i>, 43–44. Association for Computing Machinery,
    2019. <a href="https://doi.org/10.1145/3309697.3331503">https://doi.org/10.1145/3309697.3331503</a>.'
  ieee: 'M. Henzinger, S. Neumann, and S. Schmid, “Efficient distributed workload
    (re-)embedding,” in <i>SIGMETRICS’19: International Conference on Measurement
    and Modeling of Computer Systems</i>, Phoenix, AZ, United States, 2019, pp. 43–44.'
  ista: 'Henzinger M, Neumann S, Schmid S. 2019. Efficient distributed workload (re-)embedding.
    SIGMETRICS’19: International Conference on Measurement and Modeling of Computer
    Systems. SIGMETRICS: International Conference on Measurement and Modeling of Computer
    Systems, 43–44.'
  mla: 'Henzinger, Monika, et al. “Efficient Distributed Workload (Re-)Embedding.”
    <i>SIGMETRICS’19: International Conference on Measurement and Modeling of Computer
    Systems</i>, Association for Computing Machinery, 2019, pp. 43–44, doi:<a href="https://doi.org/10.1145/3309697.3331503">10.1145/3309697.3331503</a>.'
  short: 'M. Henzinger, S. Neumann, S. Schmid, in:, SIGMETRICS’19: International Conference
    on Measurement and Modeling of Computer Systems, Association for Computing Machinery,
    2019, pp. 43–44.'
conference:
  end_date: 2019-06-28
  location: Phoenix, AZ, United States
  name: 'SIGMETRICS: International Conference on Measurement and Modeling of Computer
    Systems'
  start_date: 2019-06-24
date_created: 2022-08-16T07:14:57Z
date_published: 2019-06-20T00:00:00Z
date_updated: 2024-11-06T12:17:32Z
day: '20'
doi: 10.1145/3309697.3331503
extern: '1'
external_id:
  arxiv:
  - '1904.05474'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1904.05474
month: '06'
oa: 1
oa_version: Preprint
page: 43–44
publication: 'SIGMETRICS''19: International Conference on Measurement and Modeling
  of Computer Systems'
publication_identifier:
  isbn:
  - 978-1-4503-6678-6
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Efficient distributed workload (re-)embedding
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '11851'
abstract:
- lang: eng
  text: The minimum cut problem for an undirected edge-weighted graph asks us to divide
    its set of nodes into two blocks while minimizing the weighted sum of the cut
    edges. In this paper, we engineer the fastest known exact algorithm for the problem.
    State-of-the-art algorithms like the algorithm of Padberg and Rinaldi or the algorithm
    of Nagamochi, Ono and Ibaraki identify edges that can be contracted to reduce
    the graph size such that at least one minimum cut is maintained in the contracted
    graph. Our algorithm achieves improvements in running time over these algorithms
    by a multitude of techniques. First, we use a recently developed fast and parallel
    inexact minimum cut algorithm to obtain a better bound for the problem. Afterwards,
    we use reductions that depend on this bound to reduce the size of the graph much
    faster than previously possible. We use improved data structures to further lower
    the running time of our algorithm. Additionally, we parallelize the contraction
    routines of Nagamochi et al. . Overall, we arrive at a system that significantly
    outperforms the fastest state-of-the-art solvers for the exact minimum cut problem.
article_number: '8820968'
article_processing_charge: No
arxiv: 1
author:
- first_name: Monika H
  full_name: Henzinger, Monika H
  id: 540c9bbd-f2de-11ec-812d-d04a5be85630
  last_name: Henzinger
  orcid: 0000-0002-5008-6530
- first_name: Alexander
  full_name: Noe, Alexander
  last_name: Noe
- first_name: Christian
  full_name: Schulz, Christian
  last_name: Schulz
citation:
  ama: 'Henzinger M, Noe A, Schulz C. Shared-memory exact minimum cuts. In: <i>33rd
    International Parallel and Distributed Processing Symposium</i>. Institute of
    Electrical and Electronics Engineers; 2019. doi:<a href="https://doi.org/10.1109/ipdps.2019.00013">10.1109/ipdps.2019.00013</a>'
  apa: 'Henzinger, M., Noe, A., &#38; Schulz, C. (2019). Shared-memory exact minimum
    cuts. In <i>33rd International Parallel and Distributed Processing Symposium</i>.
    Rio de Janeiro, Brazil: Institute of Electrical and Electronics Engineers. <a
    href="https://doi.org/10.1109/ipdps.2019.00013">https://doi.org/10.1109/ipdps.2019.00013</a>'
  chicago: Henzinger, Monika, Alexander Noe, and Christian Schulz. “Shared-Memory
    Exact Minimum Cuts.” In <i>33rd International Parallel and Distributed Processing
    Symposium</i>. Institute of Electrical and Electronics Engineers, 2019. <a href="https://doi.org/10.1109/ipdps.2019.00013">https://doi.org/10.1109/ipdps.2019.00013</a>.
  ieee: M. Henzinger, A. Noe, and C. Schulz, “Shared-memory exact minimum cuts,” in
    <i>33rd International Parallel and Distributed Processing Symposium</i>, Rio de
    Janeiro, Brazil, 2019.
  ista: 'Henzinger M, Noe A, Schulz C. 2019. Shared-memory exact minimum cuts. 33rd
    International Parallel and Distributed Processing Symposium. IPDPS: International
    Parallel and Distributed Processing Symposium, 8820968.'
  mla: Henzinger, Monika, et al. “Shared-Memory Exact Minimum Cuts.” <i>33rd International
    Parallel and Distributed Processing Symposium</i>, 8820968, Institute of Electrical
    and Electronics Engineers, 2019, doi:<a href="https://doi.org/10.1109/ipdps.2019.00013">10.1109/ipdps.2019.00013</a>.
  short: M. Henzinger, A. Noe, C. Schulz, in:, 33rd International Parallel and Distributed
    Processing Symposium, Institute of Electrical and Electronics Engineers, 2019.
conference:
  end_date: 2019-05-24
  location: Rio de Janeiro, Brazil
  name: 'IPDPS: International Parallel and Distributed Processing Symposium'
  start_date: 2019-05-20
date_created: 2022-08-16T07:25:23Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2024-11-06T12:17:43Z
day: '01'
doi: 10.1109/ipdps.2019.00013
extern: '1'
external_id:
  arxiv:
  - '1808.05458'
language:
- iso: eng
main_file_link:
- url: https://arxiv.org/abs/1808.05458
month: '05'
oa_version: Preprint
publication: 33rd International Parallel and Distributed Processing Symposium
publication_identifier:
  eisbn:
  - 978-1-7281-1246-6
  eissn:
  - 1530-2075
  isbn:
  - 978-1-7281-1247-3
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
related_material:
  record:
  - id: '11851'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Shared-memory exact minimum cuts
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '17924'
abstract:
- lang: eng
  text: We demonstrate that imidazole based π–π stacked dimers form strong and efficient
    conductance pathways in single-molecule junctions using the scanning-tunneling
    microscope-break junction (STM-BJ) technique and density functional theory-based
    calculations. We first characterize an imidazole-gold contact by measuring the
    conductance of imidazolyl-terminated alkanes (im-N-im, N = 3–6). We show that
    the conductance of these alkanes decays exponentially with increasing length,
    indicating that the mechanism for electron transport is through tunneling or super-exchange.
    We also reveal that π–π stacked dimers can be formed between imidazoles and have
    better coupling than through-bond tunneling. These experimental results are rationalized
    by calculations of molecular junction transmission using non-equilibrium Green's
    function formalism. This study verifies the capability of imidazole as a Au-binding
    ligand to form stable single- and π-stacked molecule junctions at room temperature.
article_processing_charge: Yes
article_type: original
author:
- first_name: Tianren
  full_name: Fu, Tianren
  last_name: Fu
- first_name: Shanelle
  full_name: Smith, Shanelle
  last_name: Smith
- first_name: María
  full_name: Camarasa-Gómez, María
  last_name: Camarasa-Gómez
- first_name: Xiaofang
  full_name: Yu, Xiaofang
  last_name: Yu
- first_name: Jiayi
  full_name: Xue, Jiayi
  last_name: Xue
- first_name: Colin
  full_name: Nuckolls, Colin
  last_name: Nuckolls
- first_name: Ferdinand
  full_name: Evers, Ferdinand
  last_name: Evers
- first_name: Latha
  full_name: Venkataraman, Latha
  id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
  last_name: Venkataraman
  orcid: 0000-0002-6957-6089
- first_name: Sujun
  full_name: Wei, Sujun
  last_name: Wei
citation:
  ama: Fu T, Smith S, Camarasa-Gómez M, et al. Enhanced coupling through π-stacking
    in imidazole-based molecular junctions. <i>Chemical Science</i>. 2019;10(43):9998-10002.
    doi:<a href="https://doi.org/10.1039/c9sc03760h">10.1039/c9sc03760h</a>
  apa: Fu, T., Smith, S., Camarasa-Gómez, M., Yu, X., Xue, J., Nuckolls, C., … Wei,
    S. (2019). Enhanced coupling through π-stacking in imidazole-based molecular junctions.
    <i>Chemical Science</i>. Royal Society of Chemistry. <a href="https://doi.org/10.1039/c9sc03760h">https://doi.org/10.1039/c9sc03760h</a>
  chicago: Fu, Tianren, Shanelle Smith, María Camarasa-Gómez, Xiaofang Yu, Jiayi Xue,
    Colin Nuckolls, Ferdinand Evers, Latha Venkataraman, and Sujun Wei. “Enhanced
    Coupling through π-Stacking in Imidazole-Based Molecular Junctions.” <i>Chemical
    Science</i>. Royal Society of Chemistry, 2019. <a href="https://doi.org/10.1039/c9sc03760h">https://doi.org/10.1039/c9sc03760h</a>.
  ieee: T. Fu <i>et al.</i>, “Enhanced coupling through π-stacking in imidazole-based
    molecular junctions,” <i>Chemical Science</i>, vol. 10, no. 43. Royal Society
    of Chemistry, pp. 9998–10002, 2019.
  ista: Fu T, Smith S, Camarasa-Gómez M, Yu X, Xue J, Nuckolls C, Evers F, Venkataraman
    L, Wei S. 2019. Enhanced coupling through π-stacking in imidazole-based molecular
    junctions. Chemical Science. 10(43), 9998–10002.
  mla: Fu, Tianren, et al. “Enhanced Coupling through π-Stacking in Imidazole-Based
    Molecular Junctions.” <i>Chemical Science</i>, vol. 10, no. 43, Royal Society
    of Chemistry, 2019, pp. 9998–10002, doi:<a href="https://doi.org/10.1039/c9sc03760h">10.1039/c9sc03760h</a>.
  short: T. Fu, S. Smith, M. Camarasa-Gómez, X. Yu, J. Xue, C. Nuckolls, F. Evers,
    L. Venkataraman, S. Wei, Chemical Science 10 (2019) 9998–10002.
date_created: 2024-09-09T07:49:24Z
date_published: 2019-09-16T00:00:00Z
date_updated: 2024-12-11T08:08:34Z
day: '16'
doi: 10.1039/c9sc03760h
extern: '1'
external_id:
  pmid:
  - '32055356'
intvolume: '        10'
issue: '43'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/3.0/
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1039/C9SC03760H
month: '09'
oa: 1
oa_version: Published Version
page: 9998-10002
pmid: 1
publication: Chemical Science
publication_identifier:
  eissn:
  - 2041-6539
  issn:
  - 2041-6520
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Enhanced coupling through π-stacking in imidazole-based molecular junctions
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/3.0/legalcode
  name: Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
  short: CC BY-NC (3.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2019'
...
---
_id: '15230'
abstract:
- lang: eng
  text: 'We have searched the Gaia DR2 catalog for previously unknown hot white dwarfs
    in the direction of young open star clusters. The aim of this experiment was to
    try and extend the initial–final mass relation (IFMR) to somewhat higher masses,
    potentially challenging the Chandrasekhar limit currently thought to be around
    1.38 M⊙. We discovered a particularly interesting white dwarf in the direction
    of the young ∼150 Myr old cluster Messier 47 (NGC 2422). All Gaia indicators (proper
    motion, parallax, location in the Gaia color–magnitude diagram) suggest that it
    is a cluster member. Its spectrum, obtained from Gemini-South, yields a number
    of anomalies: it is a DB (helium-rich atmosphere) white dwarf, it has a large
    magnetic field (2.5 MG), is of high mass (∼1.06 M⊙), and its colors are very peculiar—particularly
    the redder ones (r, i, z and y), which suggests that it may have a late-type companion.
    This may be the only magnetized, detached binary white dwarf with a non-degenerate
    companion of any spectral type known in or out of a star cluster. If the white
    dwarf is a cluster member, as all indicators suggest, its progenitor had a mass
    just over 6 M⊙. It may, however, be telling an even more interesting story than
    the one related to the IFMR, one about the origin of stellar magnetic fields,
    SNe I, and gravitational waves from low-mass stellar systems.'
article_number: '75'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Harvey B.
  full_name: Richer, Harvey B.
  last_name: Richer
- first_name: Ronan
  full_name: Kerr, Ronan
  last_name: Kerr
- first_name: Jeremy
  full_name: Heyl, Jeremy
  last_name: Heyl
- first_name: Ilaria
  full_name: Caiazzo, Ilaria
  id: 8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d
  last_name: Caiazzo
  orcid: 0000-0002-4770-5388
- first_name: Jeffrey
  full_name: Cummings, Jeffrey
  last_name: Cummings
- first_name: Pierre
  full_name: Bergeron, Pierre
  last_name: Bergeron
- first_name: Patrick
  full_name: Dufour, Patrick
  last_name: Dufour
citation:
  ama: Richer HB, Kerr R, Heyl J, et al. A massive magnetic helium atmosphere white
    dwarf binary in a young star cluster. <i>The Astrophysical Journal</i>. 2019;880(2).
    doi:<a href="https://doi.org/10.3847/1538-4357/ab2874">10.3847/1538-4357/ab2874</a>
  apa: Richer, H. B., Kerr, R., Heyl, J., Caiazzo, I., Cummings, J., Bergeron, P.,
    &#38; Dufour, P. (2019). A massive magnetic helium atmosphere white dwarf binary
    in a young star cluster. <i>The Astrophysical Journal</i>. American Astronomical
    Society. <a href="https://doi.org/10.3847/1538-4357/ab2874">https://doi.org/10.3847/1538-4357/ab2874</a>
  chicago: Richer, Harvey B., Ronan Kerr, Jeremy Heyl, Ilaria Caiazzo, Jeffrey Cummings,
    Pierre Bergeron, and Patrick Dufour. “A Massive Magnetic Helium Atmosphere White
    Dwarf Binary in a Young Star Cluster.” <i>The Astrophysical Journal</i>. American
    Astronomical Society, 2019. <a href="https://doi.org/10.3847/1538-4357/ab2874">https://doi.org/10.3847/1538-4357/ab2874</a>.
  ieee: H. B. Richer <i>et al.</i>, “A massive magnetic helium atmosphere white dwarf
    binary in a young star cluster,” <i>The Astrophysical Journal</i>, vol. 880, no.
    2. American Astronomical Society, 2019.
  ista: Richer HB, Kerr R, Heyl J, Caiazzo I, Cummings J, Bergeron P, Dufour P. 2019.
    A massive magnetic helium atmosphere white dwarf binary in a young star cluster.
    The Astrophysical Journal. 880(2), 75.
  mla: Richer, Harvey B., et al. “A Massive Magnetic Helium Atmosphere White Dwarf
    Binary in a Young Star Cluster.” <i>The Astrophysical Journal</i>, vol. 880, no.
    2, 75, American Astronomical Society, 2019, doi:<a href="https://doi.org/10.3847/1538-4357/ab2874">10.3847/1538-4357/ab2874</a>.
  short: H.B. Richer, R. Kerr, J. Heyl, I. Caiazzo, J. Cummings, P. Bergeron, P. Dufour,
    The Astrophysical Journal 880 (2019).
date_created: 2024-03-26T10:37:01Z
date_published: 2019-07-26T00:00:00Z
date_updated: 2024-04-04T14:06:08Z
day: '26'
doi: 10.3847/1538-4357/ab2874
extern: '1'
external_id:
  arxiv:
  - '1906.04727'
intvolume: '       880'
issue: '2'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1906.04727
month: '07'
oa: 1
oa_version: Preprint
publication: The Astrophysical Journal
publication_identifier:
  eissn:
  - 1538-4357
  issn:
  - 0004-637X
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: A massive magnetic helium atmosphere white dwarf binary in a young star cluster
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 880
year: '2019'
...
---
_id: '10874'
abstract:
- lang: eng
  text: In this article we prove an analogue of a theorem of Lachaud, Ritzenthaler,
    and Zykin, which allows us to connect invariants of binary octics to Siegel modular
    forms of genus 3. We use this connection to show that certain modular functions,
    when restricted to the hyperelliptic locus, assume values whose denominators are
    products of powers of primes of bad reduction for the associated hyperelliptic
    curves. We illustrate our theorem with explicit computations. This work is motivated
    by the study of the values of these modular functions at CM points of the Siegel
    upper half-space, which, if their denominators are known, can be used to effectively
    compute models of (hyperelliptic, in our case) curves with CM.
acknowledgement: "The authors would like to thank the Lorentz Center in Leiden for
  hosting the Women in Numbers Europe 2 workshop and providing a productive and enjoyable
  environment for our initial work on this project. We are grateful to the organizers
  of WIN-E2, Irene Bouw, Rachel Newton and Ekin Ozman, for making this conference
  and this collaboration possible. We\r\nthank Irene Bouw and Christophe Ritzenhaler
  for helpful discussions. Ionica acknowledges support from the Thomas Jefferson Fund
  of the Embassy of France in the United States and the FACE Foundation. Most of Kılıçer’s
  work was carried out during her stay in Universiteit Leiden and Carl von Ossietzky
  Universität Oldenburg. Massierer was supported by the Australian Research Council
  (DP150101689). Vincent is supported by the National Science Foundation under Grant
  No. DMS-1802323 and by the Thomas Jefferson Fund of the Embassy of France in the
  United States and the FACE Foundation. "
article_number: '9'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sorina
  full_name: Ionica, Sorina
  last_name: Ionica
- first_name: Pınar
  full_name: Kılıçer, Pınar
  last_name: Kılıçer
- first_name: Kristin
  full_name: Lauter, Kristin
  last_name: Lauter
- first_name: Elisa
  full_name: Lorenzo García, Elisa
  last_name: Lorenzo García
- first_name: Maria-Adelina
  full_name: Manzateanu, Maria-Adelina
  id: be8d652e-a908-11ec-82a4-e2867729459c
  last_name: Manzateanu
- first_name: Maike
  full_name: Massierer, Maike
  last_name: Massierer
- first_name: Christelle
  full_name: Vincent, Christelle
  last_name: Vincent
citation:
  ama: Ionica S, Kılıçer P, Lauter K, et al. Modular invariants for genus 3 hyperelliptic
    curves. <i>Research in Number Theory</i>. 2019;5. doi:<a href="https://doi.org/10.1007/s40993-018-0146-6">10.1007/s40993-018-0146-6</a>
  apa: Ionica, S., Kılıçer, P., Lauter, K., Lorenzo García, E., Manzateanu, M.-A.,
    Massierer, M., &#38; Vincent, C. (2019). Modular invariants for genus 3 hyperelliptic
    curves. <i>Research in Number Theory</i>. Springer Nature. <a href="https://doi.org/10.1007/s40993-018-0146-6">https://doi.org/10.1007/s40993-018-0146-6</a>
  chicago: Ionica, Sorina, Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Maria-Adelina
    Manzateanu, Maike Massierer, and Christelle Vincent. “Modular Invariants for Genus
    3 Hyperelliptic Curves.” <i>Research in Number Theory</i>. Springer Nature, 2019.
    <a href="https://doi.org/10.1007/s40993-018-0146-6">https://doi.org/10.1007/s40993-018-0146-6</a>.
  ieee: S. Ionica <i>et al.</i>, “Modular invariants for genus 3 hyperelliptic curves,”
    <i>Research in Number Theory</i>, vol. 5. Springer Nature, 2019.
  ista: Ionica S, Kılıçer P, Lauter K, Lorenzo García E, Manzateanu M-A, Massierer
    M, Vincent C. 2019. Modular invariants for genus 3 hyperelliptic curves. Research
    in Number Theory. 5, 9.
  mla: Ionica, Sorina, et al. “Modular Invariants for Genus 3 Hyperelliptic Curves.”
    <i>Research in Number Theory</i>, vol. 5, 9, Springer Nature, 2019, doi:<a href="https://doi.org/10.1007/s40993-018-0146-6">10.1007/s40993-018-0146-6</a>.
  short: S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M.
    Massierer, C. Vincent, Research in Number Theory 5 (2019).
date_created: 2022-03-18T12:09:48Z
date_published: 2019-01-02T00:00:00Z
date_updated: 2023-09-05T15:39:31Z
day: '02'
department:
- _id: TiBr
doi: 10.1007/s40993-018-0146-6
external_id:
  arxiv:
  - '1807.08986'
intvolume: '         5'
keyword:
- Algebra and Number Theory
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1807.08986
month: '01'
oa: 1
oa_version: Preprint
publication: Research in Number Theory
publication_identifier:
  eissn:
  - 2363-9555
  issn:
  - 2522-0160
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modular invariants for genus 3 hyperelliptic curves
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 5
year: '2019'
...
---
_id: '170'
abstract:
- lang: eng
  text: Upper and lower bounds, of the expected order of magnitude, are obtained for
    the number of rational points of bounded height on any quartic del Pezzo surface
    over   ℚ  that contains a conic defined over   ℚ .
arxiv: 1
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Efthymios
  full_name: Sofos, Efthymios
  last_name: Sofos
citation:
  ama: Browning TD, Sofos E. Counting rational points on quartic del Pezzo surfaces
    with a rational conic. <i>Mathematische Annalen</i>. 2019;373(3-4):977-1016. doi:<a
    href="https://doi.org/10.1007/s00208-018-1716-6">10.1007/s00208-018-1716-6</a>
  apa: Browning, T. D., &#38; Sofos, E. (2019). Counting rational points on quartic
    del Pezzo surfaces with a rational conic. <i>Mathematische Annalen</i>. Springer
    Nature. <a href="https://doi.org/10.1007/s00208-018-1716-6">https://doi.org/10.1007/s00208-018-1716-6</a>
  chicago: Browning, Timothy D, and Efthymios Sofos. “Counting Rational Points on
    Quartic Del Pezzo Surfaces with a Rational Conic.” <i>Mathematische Annalen</i>.
    Springer Nature, 2019. <a href="https://doi.org/10.1007/s00208-018-1716-6">https://doi.org/10.1007/s00208-018-1716-6</a>.
  ieee: T. D. Browning and E. Sofos, “Counting rational points on quartic del Pezzo
    surfaces with a rational conic,” <i>Mathematische Annalen</i>, vol. 373, no. 3–4.
    Springer Nature, pp. 977–1016, 2019.
  ista: Browning TD, Sofos E. 2019. Counting rational points on quartic del Pezzo
    surfaces with a rational conic. Mathematische Annalen. 373(3–4), 977–1016.
  mla: Browning, Timothy D., and Efthymios Sofos. “Counting Rational Points on Quartic
    Del Pezzo Surfaces with a Rational Conic.” <i>Mathematische Annalen</i>, vol.
    373, no. 3–4, Springer Nature, 2019, pp. 977–1016, doi:<a href="https://doi.org/10.1007/s00208-018-1716-6">10.1007/s00208-018-1716-6</a>.
  short: T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
date_created: 2018-12-11T11:44:59Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2021-01-12T06:52:37Z
day: '01'
ddc:
- '510'
doi: 10.1007/s00208-018-1716-6
extern: '1'
external_id:
  arxiv:
  - '1609.09057'
file:
- access_level: open_access
  checksum: 4061dc2fe99bee25d9adf2d2018cf608
  content_type: application/pdf
  creator: dernst
  date_created: 2019-05-23T07:53:27Z
  date_updated: 2020-07-14T12:45:12Z
  file_id: '6479'
  file_name: 2019_MathAnnalen_Browning.pdf
  file_size: 712847
  relation: main_file
file_date_updated: 2020-07-14T12:45:12Z
has_accepted_license: '1'
intvolume: '       373'
issue: 3-4
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 977-1016
publication: Mathematische Annalen
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Counting rational points on quartic del Pezzo surfaces with a rational conic
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 373
year: '2019'
...
---
_id: '8228'
abstract:
- lang: eng
  text: "Background: Atopics have a lower risk for malignancies, and IgE targeted
    to tumors is superior to IgG in fighting cancer. Whether IgE-mediated innate or
    adaptive immune surveillance can confer protection against tumors remains unclear.\r\nObjective:
    We aimed to investigate the effects of active and passive immunotherapy to the
    tumor-associated antigen HER-2 in three murine models differing in Epsilon-B-cell-receptor
    expression affecting the levels of expressed IgE.\r\nMethods: We compared the
    levels of several serum specific anti-HER-2 antibodies (IgE, IgG1, IgG2a, IgG2b,
    IgA) and the survival rates in low-IgE ΔM1M2 mice lacking the transmembrane/cytoplasmic
    domain of Epsilon-B-cell-receptors expressing reduced IgE levels, high-IgE KN1
    mice expressing chimeric Epsilon-Gamma1-B-cell receptors with 4-6-fold elevated
    serum IgE levels, and wild type (WT) BALB/c. Prior engrafting mice with D2F2/E2
    mammary tumors overexpressing HER-2, mice were vaccinated with HER-2 or vehicle
    control PBS using the Th2-adjuvant Al(OH)3 (active immunotherapy), or treated
    with the murine anti-HER-2 IgG1 antibody 4D5 (passive immunotherapy).\r\nResults:
    Overall, among the three strains of mice, HER-2 vaccination induced significantly
    higher levels of HER-2 specific IgE and IgG1 in high-IgE KN1, while low-IgE ΔM1M2
    mice had higher IgG2a levels. HER-2 vaccination and passive immunotherapy prolonged
    the survival in tumor-grafted WT and low-IgE ΔM1M2 strains compared with treatment
    controls; active vaccination provided the highest benefit. Notably, untreated
    high-IgE KN1 mice displayed the longest survival of all strains, which could not
    be further extended by active or passive immunotherapy.\r\nConclusion: Active
    and passive immunotherapies prolong survival in wild type and low-IgE ΔM1M2 mice
    engrafted with mammary tumors. High-IgE KN1 mice have an innate survival benefit
    following tumor challenge."
article_number: '100044'
article_processing_charge: No
article_type: original
author:
- first_name: Josef
  full_name: Singer, Josef
  last_name: Singer
  orcid: 0000-0002-8701-2412
- first_name: Gertrude
  full_name: Achatz-Straussberger, Gertrude
  last_name: Achatz-Straussberger
- first_name: Anna
  full_name: Bentley-Lukschal, Anna
  last_name: Bentley-Lukschal
- first_name: Judit
  full_name: Fazekas-Singer, Judit
  id: 36432834-F248-11E8-B48F-1D18A9856A87
  last_name: Fazekas-Singer
  orcid: 0000-0002-8777-3502
- first_name: Gernot
  full_name: Achatz, Gernot
  last_name: Achatz
- first_name: Sophia N.
  full_name: Karagiannis, Sophia N.
  last_name: Karagiannis
- first_name: Erika
  full_name: Jensen-Jarolim, Erika
  last_name: Jensen-Jarolim
citation:
  ama: 'Singer J, Achatz-Straussberger G, Bentley-Lukschal A, et al. AllergoOncology:
    High innate IgE levels are decisive for the survival of cancer-bearing mice. <i>World
    Allergy Organization Journal</i>. 2019;12(7). doi:<a href="https://doi.org/10.1016/j.waojou.2019.100044">10.1016/j.waojou.2019.100044</a>'
  apa: 'Singer, J., Achatz-Straussberger, G., Bentley-Lukschal, A., Singer, J., Achatz,
    G., Karagiannis, S. N., &#38; Jensen-Jarolim, E. (2019). AllergoOncology: High
    innate IgE levels are decisive for the survival of cancer-bearing mice. <i>World
    Allergy Organization Journal</i>. Elsevier. <a href="https://doi.org/10.1016/j.waojou.2019.100044">https://doi.org/10.1016/j.waojou.2019.100044</a>'
  chicago: 'Singer, Josef, Gertrude Achatz-Straussberger, Anna Bentley-Lukschal, Judit
    Singer, Gernot Achatz, Sophia N. Karagiannis, and Erika Jensen-Jarolim. “AllergoOncology:
    High Innate IgE Levels Are Decisive for the Survival of Cancer-Bearing Mice.”
    <i>World Allergy Organization Journal</i>. Elsevier, 2019. <a href="https://doi.org/10.1016/j.waojou.2019.100044">https://doi.org/10.1016/j.waojou.2019.100044</a>.'
  ieee: 'J. Singer <i>et al.</i>, “AllergoOncology: High innate IgE levels are decisive
    for the survival of cancer-bearing mice,” <i>World Allergy Organization Journal</i>,
    vol. 12, no. 7. Elsevier, 2019.'
  ista: 'Singer J, Achatz-Straussberger G, Bentley-Lukschal A, Singer J, Achatz G,
    Karagiannis SN, Jensen-Jarolim E. 2019. AllergoOncology: High innate IgE levels
    are decisive for the survival of cancer-bearing mice. World Allergy Organization
    Journal. 12(7), 100044.'
  mla: 'Singer, Josef, et al. “AllergoOncology: High Innate IgE Levels Are Decisive
    for the Survival of Cancer-Bearing Mice.” <i>World Allergy Organization Journal</i>,
    vol. 12, no. 7, 100044, Elsevier, 2019, doi:<a href="https://doi.org/10.1016/j.waojou.2019.100044">10.1016/j.waojou.2019.100044</a>.'
  short: J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz,
    S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).
date_created: 2020-08-10T11:50:54Z
date_published: 2019-07-29T00:00:00Z
date_updated: 2021-01-12T08:17:36Z
day: '29'
doi: 10.1016/j.waojou.2019.100044
extern: '1'
intvolume: '        12'
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.waojou.2019.100044
month: '07'
oa: 1
oa_version: Published Version
publication: World Allergy Organization Journal
publication_identifier:
  issn:
  - 1939-4551
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing
  mice'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2019'
...
---
_id: '8263'
abstract:
- lang: eng
  text: "Background: The genus Streptococcus comprises pathogens that strongly influence
    the health of humans and animals. Genome sequencing of multiple Streptococcus
    strains demonstrated high variability in gene content and order even in closely
    related strains of the same species and created a newly emerged object for genomic
    analysis, the pan-genome. Here we analysed the genome evolution of 25 strains
    of Streptococcus suis, 50 strains of Streptococcus pyogenes and 28 strains of
    Streptococcus pneumoniae.\r\n\r\nResults: Fractions of the pan-genome, unique,
    periphery, and universal genes differ in size, functional composition, the level
    of nucleotide substitutions, and predisposition to horizontal gene transfer and
    genomic rearrangements. The density of substitutions in intergenic regions appears
    to be correlated with selection acting on adjacent genes, implying that more conserved
    genes tend to have more conserved regulatory regions.\r\nThe total pan-genome
    of the genus is open, but only due to strain-specific genes, whereas other pan-genome
    fractions reach saturation. We have identified the set of genes with phylogenies
    inconsistent with species and non-conserved location in the chromosome; these
    genes are rare in at least one species and have likely experienced recent horizontal
    transfer between species. The strain-specific fraction is enriched with mobile
    elements and hypothetical proteins, but also contains a number of candidate virulence-related
    genes, so it may have a strong impact on adaptability and pathogenicity.\r\nMapping
    the rearrangements to the phylogenetic tree revealed large parallel inversions
    in all species. A parallel inversion of length 15 kB with breakpoints formed by
    genes encoding surface antigen proteins PhtD and PhtB in S. pneumoniae leads to
    replacement of gene fragments that likely indicates the action of an antigen variation
    mechanism.\r\n\r\nConclusions: Members of genus Streptococcus have a highly dynamic,
    open pan-genome, that potentially confers them with the ability to adapt to changing
    environmental conditions, i.e. antibiotic resistance or transmission between different
    hosts. Hence, integrated analysis of all aspects of genome evolution is important
    for the identification of potential pathogens and design of drugs and vaccines."
article_number: '83'
article_processing_charge: No
article_type: original
author:
- first_name: Pavel V.
  full_name: Shelyakin, Pavel V.
  last_name: Shelyakin
  orcid: 0000-0003-0120-9319
- first_name: Olga
  full_name: Bochkareva, Olga
  id: C4558D3C-6102-11E9-A62E-F418E6697425
  last_name: Bochkareva
  orcid: 0000-0003-1006-6639
- first_name: Anna A.
  full_name: Karan, Anna A.
  last_name: Karan
- first_name: Mikhail S.
  full_name: Gelfand, Mikhail S.
  last_name: Gelfand
citation:
  ama: 'Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. Micro-evolution of three
    Streptococcus species: Selection, antigenic variation, and horizontal gene inflow.
    <i>BMC Evolutionary Biology</i>. 2019;19. doi:<a href="https://doi.org/10.1186/s12862-019-1403-6">10.1186/s12862-019-1403-6</a>'
  apa: 'Shelyakin, P. V., Bochkareva, O., Karan, A. A., &#38; Gelfand, M. S. (2019).
    Micro-evolution of three Streptococcus species: Selection, antigenic variation,
    and horizontal gene inflow. <i>BMC Evolutionary Biology</i>. Springer Nature.
    <a href="https://doi.org/10.1186/s12862-019-1403-6">https://doi.org/10.1186/s12862-019-1403-6</a>'
  chicago: 'Shelyakin, Pavel V., Olga Bochkareva, Anna A. Karan, and Mikhail S. Gelfand.
    “Micro-Evolution of Three Streptococcus Species: Selection, Antigenic Variation,
    and Horizontal Gene Inflow.” <i>BMC Evolutionary Biology</i>. Springer Nature,
    2019. <a href="https://doi.org/10.1186/s12862-019-1403-6">https://doi.org/10.1186/s12862-019-1403-6</a>.'
  ieee: 'P. V. Shelyakin, O. Bochkareva, A. A. Karan, and M. S. Gelfand, “Micro-evolution
    of three Streptococcus species: Selection, antigenic variation, and horizontal
    gene inflow,” <i>BMC Evolutionary Biology</i>, vol. 19. Springer Nature, 2019.'
  ista: 'Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. 2019. Micro-evolution of
    three Streptococcus species: Selection, antigenic variation, and horizontal gene
    inflow. BMC Evolutionary Biology. 19, 83.'
  mla: 'Shelyakin, Pavel V., et al. “Micro-Evolution of Three Streptococcus Species:
    Selection, Antigenic Variation, and Horizontal Gene Inflow.” <i>BMC Evolutionary
    Biology</i>, vol. 19, 83, Springer Nature, 2019, doi:<a href="https://doi.org/10.1186/s12862-019-1403-6">10.1186/s12862-019-1403-6</a>.'
  short: P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary
    Biology 19 (2019).
date_created: 2020-08-15T11:04:07Z
date_published: 2019-03-27T00:00:00Z
date_updated: 2023-02-23T13:28:54Z
day: '27'
doi: 10.1186/s12862-019-1403-6
extern: '1'
intvolume: '        19'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1186/s12862-019-1403-6
month: '03'
oa: 1
oa_version: Published Version
publication: BMC Evolutionary Biology
publication_identifier:
  issn:
  - 1471-2148
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: 'Micro-evolution of three Streptococcus species: Selection, antigenic variation,
  and horizontal gene inflow'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 19
year: '2019'
...
