---
_id: '7724'
abstract:
- lang: eng
  text: Modern molecular genetic datasets, primarily collected to study the biology
    of human health and disease, can be used to directly measure the action of natural
    selection and reveal important features of contemporary human evolution. Here
    we leverage the UK Biobank data to test for the presence of linear and nonlinear
    natural selection in a contemporary population of the United Kingdom. We obtain
    phenotypic and genetic evidence consistent with the action of linear/directional
    selection. Phenotypic evidence suggests that stabilizing selection, which acts
    to reduce variance in the population without necessarily modifying the population
    mean, is widespread and relatively weak in comparison with estimates from other
    species.
article_processing_charge: No
article_type: original
author:
- first_name: Jaleal S.
  full_name: Sanjak, Jaleal S.
  last_name: Sanjak
- first_name: Julia
  full_name: Sidorenko, Julia
  last_name: Sidorenko
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: Kevin R.
  full_name: Thornton, Kevin R.
  last_name: Thornton
- first_name: Peter M.
  full_name: Visscher, Peter M.
  last_name: Visscher
citation:
  ama: Sanjak JS, Sidorenko J, Robinson MR, Thornton KR, Visscher PM. Evidence of
    directional and stabilizing selection in contemporary humans. <i>Proceedings of
    the National Academy of Sciences</i>. 2018;115(1):151-156. doi:<a href="https://doi.org/10.1073/pnas.1707227114">10.1073/pnas.1707227114</a>
  apa: Sanjak, J. S., Sidorenko, J., Robinson, M. R., Thornton, K. R., &#38; Visscher,
    P. M. (2018). Evidence of directional and stabilizing selection in contemporary
    humans. <i>Proceedings of the National Academy of Sciences</i>. Proceedings of
    the National Academy of Sciences. <a href="https://doi.org/10.1073/pnas.1707227114">https://doi.org/10.1073/pnas.1707227114</a>
  chicago: Sanjak, Jaleal S., Julia Sidorenko, Matthew Richard Robinson, Kevin R.
    Thornton, and Peter M. Visscher. “Evidence of Directional and Stabilizing Selection
    in Contemporary Humans.” <i>Proceedings of the National Academy of Sciences</i>.
    Proceedings of the National Academy of Sciences, 2018. <a href="https://doi.org/10.1073/pnas.1707227114">https://doi.org/10.1073/pnas.1707227114</a>.
  ieee: J. S. Sanjak, J. Sidorenko, M. R. Robinson, K. R. Thornton, and P. M. Visscher,
    “Evidence of directional and stabilizing selection in contemporary humans,” <i>Proceedings
    of the National Academy of Sciences</i>, vol. 115, no. 1. Proceedings of the National
    Academy of Sciences, pp. 151–156, 2018.
  ista: Sanjak JS, Sidorenko J, Robinson MR, Thornton KR, Visscher PM. 2018. Evidence
    of directional and stabilizing selection in contemporary humans. Proceedings of
    the National Academy of Sciences. 115(1), 151–156.
  mla: Sanjak, Jaleal S., et al. “Evidence of Directional and Stabilizing Selection
    in Contemporary Humans.” <i>Proceedings of the National Academy of Sciences</i>,
    vol. 115, no. 1, Proceedings of the National Academy of Sciences, 2018, pp. 151–56,
    doi:<a href="https://doi.org/10.1073/pnas.1707227114">10.1073/pnas.1707227114</a>.
  short: J.S. Sanjak, J. Sidorenko, M.R. Robinson, K.R. Thornton, P.M. Visscher, Proceedings
    of the National Academy of Sciences 115 (2018) 151–156.
date_created: 2020-04-30T10:45:43Z
date_published: 2018-01-02T00:00:00Z
date_updated: 2021-01-12T08:15:07Z
day: '02'
doi: 10.1073/pnas.1707227114
extern: '1'
intvolume: '       115'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 151-156
publication: Proceedings of the National Academy of Sciences
publication_identifier:
  issn:
  - 0027-8424
  - 1091-6490
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1073/pnas.1806837115
status: public
title: Evidence of directional and stabilizing selection in contemporary humans
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 115
year: '2018'
...
---
_id: '7754'
abstract:
- lang: eng
  text: Creating a selective gel that filters particles based on their interactions
    is a major goal of nanotechnology, with far-reaching implications from drug delivery
    to controlling assembly pathways. However, this is particularly difficult when
    the particles are larger than the gel’s characteristic mesh size because such
    particles cannot passively pass through the gel. Thus, filtering requires the
    interacting particles to transiently reorganize the gel’s internal structure.
    While significant advances, e.g., in DNA engineering, have enabled the design
    of nano-materials with programmable interactions, it is not clear what physical
    principles such a designer gel could exploit to achieve selective permeability.
    We present an equilibrium mechanism where crosslink binding dynamics are affected
    by interacting particles such that particle diffusion is enhanced. In addition
    to revealing specific design rules for manufacturing selective gels, our results
    have the potential to explain the origin of selective permeability in certain
    biological materials, including the nuclear pore complex.
article_number: '4348'
article_processing_charge: No
article_type: original
author:
- first_name: Carl Peter
  full_name: Goodrich, Carl Peter
  id: EB352CD2-F68A-11E9-89C5-A432E6697425
  last_name: Goodrich
  orcid: 0000-0002-1307-5074
- first_name: Michael P.
  full_name: Brenner, Michael P.
  last_name: Brenner
- first_name: Katharina
  full_name: Ribbeck, Katharina
  last_name: Ribbeck
citation:
  ama: Goodrich CP, Brenner MP, Ribbeck K. Enhanced diffusion by binding to the crosslinks
    of a polymer gel. <i>Nature Communications</i>. 2018;9. doi:<a href="https://doi.org/10.1038/s41467-018-06851-5">10.1038/s41467-018-06851-5</a>
  apa: Goodrich, C. P., Brenner, M. P., &#38; Ribbeck, K. (2018). Enhanced diffusion
    by binding to the crosslinks of a polymer gel. <i>Nature Communications</i>. Springer
    Nature. <a href="https://doi.org/10.1038/s41467-018-06851-5">https://doi.org/10.1038/s41467-018-06851-5</a>
  chicago: Goodrich, Carl Peter, Michael P. Brenner, and Katharina Ribbeck. “Enhanced
    Diffusion by Binding to the Crosslinks of a Polymer Gel.” <i>Nature Communications</i>.
    Springer Nature, 2018. <a href="https://doi.org/10.1038/s41467-018-06851-5">https://doi.org/10.1038/s41467-018-06851-5</a>.
  ieee: C. P. Goodrich, M. P. Brenner, and K. Ribbeck, “Enhanced diffusion by binding
    to the crosslinks of a polymer gel,” <i>Nature Communications</i>, vol. 9. Springer
    Nature, 2018.
  ista: Goodrich CP, Brenner MP, Ribbeck K. 2018. Enhanced diffusion by binding to
    the crosslinks of a polymer gel. Nature Communications. 9, 4348.
  mla: Goodrich, Carl Peter, et al. “Enhanced Diffusion by Binding to the Crosslinks
    of a Polymer Gel.” <i>Nature Communications</i>, vol. 9, 4348, Springer Nature,
    2018, doi:<a href="https://doi.org/10.1038/s41467-018-06851-5">10.1038/s41467-018-06851-5</a>.
  short: C.P. Goodrich, M.P. Brenner, K. Ribbeck, Nature Communications 9 (2018).
date_created: 2020-04-30T11:38:01Z
date_published: 2018-10-19T00:00:00Z
date_updated: 2021-01-12T08:15:18Z
day: '19'
doi: 10.1038/s41467-018-06851-5
extern: '1'
intvolume: '         9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41467-018-06851-5
month: '10'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Enhanced diffusion by binding to the crosslinks of a polymer gel
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2018'
...
---
_id: '7783'
abstract:
- lang: eng
  text: The Drosophila Genetic Reference Panel (DGRP) serves as a valuable resource
    to better understand the genetic landscapes underlying quantitative traits. However,
    such DGRP studies have so far only focused on nuclear genetic variants. To address
    this, we sequenced the mitochondrial genomes of >170 DGRP lines, identifying 229
    variants including 21 indels and 7 frameshifts. We used our mitochondrial variation
    data to identify 12 genetically distinct mitochondrial haplotypes, thus revealing
    important population structure at the mitochondrial level. We further examined
    whether this population structure was reflected on the nuclear genome by screening
    for the presence of potential mito-nuclear genetic incompatibilities in the form
    of significant genotype ratio distortions (GRDs) between mitochondrial and nuclear
    variants. In total, we detected a remarkable 1,845 mito-nuclear GRDs, with the
    highest enrichment observed in a 40 kb region around the gene Sex-lethal (Sxl).
    Intriguingly, downstream phenotypic analyses did not uncover major fitness effects
    associated with these GRDs, suggesting that a large number of mito-nuclear GRDs
    may reflect population structure at the mitochondrial level rather than actual
    genomic incompatibilities. This is further supported by the GRD landscape showing
    particular large genomic regions associated with a single mitochondrial haplotype.
    Next, we explored the functional relevance of the detected mitochondrial haplotypes
    through an association analysis on a set of 259 assembled, non-correlating DGRP
    phenotypes. We found multiple significant associations with stress- and metabolism-related
    phenotypes, including food intake in males. We validated the latter observation
    by reciprocal swapping of mitochondrial genomes from high food intake DGRP lines
    to low food intake ones. In conclusion, our study uncovered important mitochondrial
    population structure and haplotype-specific metabolic variation in the DGRP, thus
    demonstrating the significance of incorporating mitochondrial haplotypes in geno-phenotype
    relationship studies.
article_processing_charge: No
author:
- first_name: Roel P.J.
  full_name: Bevers, Roel P.J.
  last_name: Bevers
- first_name: Maria
  full_name: Litovchenko, Maria
  last_name: Litovchenko
- first_name: Adamandia
  full_name: Kapopoulou, Adamandia
  last_name: Kapopoulou
- first_name: Virginie S.
  full_name: Braman, Virginie S.
  last_name: Braman
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: Johan
  full_name: Auwerx, Johan
  last_name: Auwerx
- first_name: Brian
  full_name: Hollis, Brian
  last_name: Hollis
- first_name: Bart
  full_name: Deplancke, Bart
  last_name: Deplancke
citation:
  ama: Bevers RPJ, Litovchenko M, Kapopoulou A, et al. Extensive mitochondrial population
    structure and haplotype-specific phenotypic variation in the Drosophila Genetic
    Reference Panel. <i>bioRxiv</i>. 2018.
  apa: Bevers, R. P. J., Litovchenko, M., Kapopoulou, A., Braman, V. S., Robinson,
    M. R., Auwerx, J., … Deplancke, B. (2018). Extensive mitochondrial population
    structure and haplotype-specific phenotypic variation in the Drosophila Genetic
    Reference Panel. <i>bioRxiv</i>. Cold Spring Harbor Laboratory.
  chicago: Bevers, Roel P.J., Maria Litovchenko, Adamandia Kapopoulou, Virginie S.
    Braman, Matthew Richard Robinson, Johan Auwerx, Brian Hollis, and Bart Deplancke.
    “Extensive Mitochondrial Population Structure and Haplotype-Specific Phenotypic
    Variation in the Drosophila Genetic Reference Panel.” <i>BioRxiv</i>. Cold Spring
    Harbor Laboratory, 2018.
  ieee: R. P. J. Bevers <i>et al.</i>, “Extensive mitochondrial population structure
    and haplotype-specific phenotypic variation in the Drosophila Genetic Reference
    Panel,” <i>bioRxiv</i>. Cold Spring Harbor Laboratory, 2018.
  ista: Bevers RPJ, Litovchenko M, Kapopoulou A, Braman VS, Robinson MR, Auwerx J,
    Hollis B, Deplancke B. 2018. Extensive mitochondrial population structure and
    haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel.
    bioRxiv, .
  mla: Bevers, Roel P. J., et al. “Extensive Mitochondrial Population Structure and
    Haplotype-Specific Phenotypic Variation in the Drosophila Genetic Reference Panel.”
    <i>BioRxiv</i>, Cold Spring Harbor Laboratory, 2018.
  short: R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson,
    J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).
date_created: 2020-04-30T13:09:37Z
date_published: 2018-11-09T00:00:00Z
date_updated: 2021-01-12T08:15:30Z
day: '09'
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: 'https://doi.org/10.1101/466771 '
month: '11'
oa: 1
oa_version: Preprint
page: '49'
publication: bioRxiv
publication_status: published
publisher: Cold Spring Harbor Laboratory
status: public
title: Extensive mitochondrial population structure and haplotype-specific phenotypic
  variation in the Drosophila Genetic Reference Panel
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '78'
abstract:
- lang: eng
  text: We provide a procedure for detecting the sub-segments of an incrementally
    observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern
    specification language, we use timed regular expressions, a formalism well-suited
    for expressing properties of concurrent asynchronous behaviors embedded in metric
    time. We construct a timed automaton accepting the timed language denoted by ϕ
    and modify it slightly for the purpose of matching. We then apply zone-based reachability
    computation to this automaton while it reads ω, and retrieve all the matching
    segments from the results. Since the procedure is automaton based, it can be applied
    to patterns specified by other formalisms such as timed temporal logics reducible
    to timed automata or directly encoded as timed automata. The procedure has been
    implemented and its performance on synthetic examples is demonstrated.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Alexey
  full_name: Bakhirkin, Alexey
  last_name: Bakhirkin
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Dejan
  full_name: Nickovic, Dejan
  last_name: Nickovic
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Eugene
  full_name: Asarin, Eugene
  last_name: Asarin
citation:
  ama: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern
    matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:<a href="https://doi.org/10.1007/978-3-030-00151-3_13">10.1007/978-3-030-00151-3_13</a>'
  apa: 'Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., &#38; Asarin, E. (2018).
    Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented
    at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China:
    Springer. <a href="https://doi.org/10.1007/978-3-030-00151-3_13">https://doi.org/10.1007/978-3-030-00151-3_13</a>'
  chicago: Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene
    Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer,
    2018. <a href="https://doi.org/10.1007/978-3-030-00151-3_13">https://doi.org/10.1007/978-3-030-00151-3_13</a>.
  ieee: 'A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed
    pattern matching using automata,” presented at the FORMATS: Formal Modeling and
    Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.'
  ista: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed
    pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed
    Systems, LNCS, vol. 11022, 215–232.'
  mla: Bakhirkin, Alexey, et al. <i>Online Timed Pattern Matching Using Automata</i>.
    Vol. 11022, Springer, 2018, pp. 215–32, doi:<a href="https://doi.org/10.1007/978-3-030-00151-3_13">10.1007/978-3-030-00151-3_13</a>.
  short: A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer,
    2018, pp. 215–232.
conference:
  end_date: 2018-09-06
  location: Bejing, China
  name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-26T00:00:00Z
date_updated: 2023-09-13T09:35:46Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_13
external_id:
  isi:
  - '000884993200013'
file:
- access_level: open_access
  checksum: 436b7574934324cfa7d1d3986fddc65b
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-14T11:34:34Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7831'
  file_name: 2018_LNCS_Bakhirkin.pdf
  file_size: 374851
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '     11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 215 - 232
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_identifier:
  isbn:
  - 978-3-030-00150-6
publication_status: published
publisher: Springer
publist_id: '7976'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Online timed pattern matching using automata
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...
---
_id: '7812'
abstract:
- lang: eng
  text: Deep neural networks (DNNs) continue to make significant advances, solving
    tasks from image classification to translation or reinforcement learning. One
    aspect of the field receiving considerable attention is efficiently executing
    deep models in resource-constrained environments, such as mobile or embedded devices.
    This paper focuses on this problem, and proposes two new compression methods,
    which jointly leverage weight quantization and distillation of larger teacher
    networks into smaller student networks. The first method we propose is called
    quantized distillation and leverages distillation during the training process,
    by incorporating distillation loss, expressed with respect to the teacher, into
    the training of a student network whose weights are quantized to a limited set
    of levels. The second method,  differentiable quantization, optimizes the location
    of quantization points through stochastic gradient descent, to better fit the
    behavior of the teacher model.  We validate both methods through experiments on
    convolutional and recurrent architectures. We show that quantized shallow students
    can reach similar accuracy levels to full-precision teacher models, while providing
    order of magnitude compression, and inference speedup that is linear in the depth
    reduction. In sum, our results enable DNNs for resource-constrained environments
    to leverage architecture and accuracy advances developed on more powerful devices.
article_processing_charge: No
arxiv: 1
author:
- first_name: Antonio
  full_name: Polino, Antonio
  last_name: Polino
- first_name: Razvan
  full_name: Pascanu, Razvan
  last_name: Pascanu
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
citation:
  ama: 'Polino A, Pascanu R, Alistarh D-A. Model compression via distillation and
    quantization. In: <i>6th International Conference on Learning Representations</i>.
    ; 2018.'
  apa: Polino, A., Pascanu, R., &#38; Alistarh, D.-A. (2018). Model compression via
    distillation and quantization. In <i>6th International Conference on Learning
    Representations</i>. Vancouver, Canada.
  chicago: Polino, Antonio, Razvan Pascanu, and Dan-Adrian Alistarh. “Model Compression
    via Distillation and Quantization.” In <i>6th International Conference on Learning
    Representations</i>, 2018.
  ieee: A. Polino, R. Pascanu, and D.-A. Alistarh, “Model compression via distillation
    and quantization,” in <i>6th International Conference on Learning Representations</i>,
    Vancouver, Canada, 2018.
  ista: 'Polino A, Pascanu R, Alistarh D-A. 2018. Model compression via distillation
    and quantization. 6th International Conference on Learning Representations. ICLR:
    International Conference on Learning Representations.'
  mla: Polino, Antonio, et al. “Model Compression via Distillation and Quantization.”
    <i>6th International Conference on Learning Representations</i>, 2018.
  short: A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference
    on Learning Representations, 2018.
conference:
  end_date: 2018-05-03
  location: Vancouver, Canada
  name: 'ICLR: International Conference on Learning Representations'
  start_date: 2018-04-30
date_created: 2020-05-10T22:00:51Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-02-23T13:18:41Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
external_id:
  arxiv:
  - '1802.05668'
file:
- access_level: open_access
  checksum: a4336c167978e81891970e4e4517a8c3
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-26T13:02:00Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7894'
  file_name: 2018_ICLR_Polino.pdf
  file_size: 308339
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: 6th International Conference on Learning Representations
publication_status: published
quality_controlled: '1'
scopus_import: 1
status: public
title: Model compression via distillation and quantization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '79'
abstract:
- lang: eng
  text: 'Markov Decision Processes (MDPs) are a popular class of models suitable for
    solving control decision problems in probabilistic reactive systems. We consider
    parametric MDPs (pMDPs) that include parameters in some of the transition probabilities
    to account for stochastic uncertainties of the environment such as noise or input
    disturbances. We study pMDPs with reachability objectives where the parameter
    values are unknown and impossible to measure directly during execution, but there
    is a probability distribution known over the parameter values. We study for the
    first time computing parameter-independent strategies that are expectation optimal,
    i.e., optimize the expected reachability probability under the probability distribution
    over the parameters. We present an encoding of our problem to partially observable
    MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies
    in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating
    (repeated) learner model; a series of benchmarks of varying configurations of
    a robot moving on a grid; and a consensus protocol.'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Sebastian
  full_name: Arming, Sebastian
  last_name: Arming
- first_name: Ezio
  full_name: Bartocci, Ezio
  last_name: Bartocci
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Joost P
  full_name: Katoen, Joost P
  id: 4524F760-F248-11E8-B48F-1D18A9856A87
  last_name: Katoen
- first_name: Ana
  full_name: Sokolova, Ana
  last_name: Sokolova
citation:
  ama: 'Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. Parameter-independent
    strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:<a href="https://doi.org/10.1007/978-3-319-99154-2_4">10.1007/978-3-319-99154-2_4</a>'
  apa: 'Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., &#38; Sokolova, A.
    (2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp.
    53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China:
    Springer. <a href="https://doi.org/10.1007/978-3-319-99154-2_4">https://doi.org/10.1007/978-3-319-99154-2_4</a>'
  chicago: Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen,
    and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70.
    Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-99154-2_4">https://doi.org/10.1007/978-3-319-99154-2_4</a>.
  ieee: 'S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent
    strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation
    of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.'
  ista: 'Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent
    strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS,
    vol. 11024, 53–70.'
  mla: Arming, Sebastian, et al. <i>Parameter-Independent Strategies for PMDPs via
    POMDPs</i>. Vol. 11024, Springer, 2018, pp. 53–70, doi:<a href="https://doi.org/10.1007/978-3-319-99154-2_4">10.1007/978-3-319-99154-2_4</a>.
  short: S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer,
    2018, pp. 53–70.
conference:
  end_date: 2018-09-07
  location: Beijing, China
  name: 'QEST: Quantitative Evaluation of Systems'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-15T00:00:00Z
date_updated: 2023-09-13T09:38:28Z
day: '15'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-99154-2_4
external_id:
  arxiv:
  - '1806.05126'
  isi:
  - '000548912200004'
intvolume: '     11024'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1806.05126
month: '08'
oa: 1
oa_version: Preprint
page: 53-70
publication_status: published
publisher: Springer
publist_id: '7975'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Parameter-independent strategies for pMDPs via POMDPs
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11024
year: '2018'
...
---
_id: '7983'
abstract:
- lang: ger
  text: 'Feste Alkalicarbonate sind universelle Bestandteile von Passivierungsschichten
    an Materialien für Interkalationsbatterien, übliche Nebenprodukte in Metall‐O2‐Batterien,
    und es wird angenommen, dass sie sich reversibel in Metall‐O2 /CO2‐Zellen bilden
    und zersetzen. In all diesen Kathoden zersetzt sich Li2CO3 zu CO2, sobald es Spannungen
    >3.8 V vs. Li/Li+ ausgesetzt wird. Beachtenswert ist, dass keine O2‐Entwicklung
    detektiert wird, wie gemäß der Zersetzungsreaktion 2 Li2CO3 → 4 Li+ + 4 e− + 2 CO2
    + O2 zu erwarten wäre. Deswegen war der Verbleib eines der O‐Atome ungeklärt und
    wurde nicht identifizierten parasitären Reaktionen zugerechnet. Hier zeigen wir,
    dass hochreaktiver Singulett‐Sauerstoff (1O2) bei der Oxidation von Li2CO3 in
    einem aprotischen Elektrolyten gebildet und daher nicht als O2 freigesetzt wird.
    Diese Ergebnisse haben weitreichende Auswirkungen auf die langfristige Zyklisierbarkeit
    von Batterien: sie untermauern die Wichtigkeit, 1O2 in Metall‐O2‐Batterien zu
    verhindern, stellen die Möglichkeit einer reversiblen Metall‐O2 /CO2‐Batterie
    basierend auf einem Carbonat‐Entladeprodukt in Frage und helfen, Grenzflächenreaktivität
    von Übergangsmetallkathoden mit Li2CO3‐Resten zu erklären.'
article_processing_charge: No
article_type: original
author:
- first_name: Nika
  full_name: Mahne, Nika
  last_name: Mahne
- first_name: Sara E.
  full_name: Renfrew, Sara E.
  last_name: Renfrew
- first_name: Bryan D.
  full_name: McCloskey, Bryan D.
  last_name: McCloskey
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
citation:
  ama: Mahne N, Renfrew SE, McCloskey BD, Freunberger SA. Elektrochemische Oxidation
    von Lithiumcarbonat generiert Singulett-Sauerstoff. <i>Angewandte Chemie</i>.
    2018;130(19):5627-5631. doi:<a href="https://doi.org/10.1002/ange.201802277">10.1002/ange.201802277</a>
  apa: Mahne, N., Renfrew, S. E., McCloskey, B. D., &#38; Freunberger, S. A. (2018).
    Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff.
    <i>Angewandte Chemie</i>. Wiley. <a href="https://doi.org/10.1002/ange.201802277">https://doi.org/10.1002/ange.201802277</a>
  chicago: Mahne, Nika, Sara E. Renfrew, Bryan D. McCloskey, and Stefan Alexander
    Freunberger. “Elektrochemische Oxidation von Lithiumcarbonat Generiert Singulett-Sauerstoff.”
    <i>Angewandte Chemie</i>. Wiley, 2018. <a href="https://doi.org/10.1002/ange.201802277">https://doi.org/10.1002/ange.201802277</a>.
  ieee: N. Mahne, S. E. Renfrew, B. D. McCloskey, and S. A. Freunberger, “Elektrochemische
    Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff,” <i>Angewandte Chemie</i>,
    vol. 130, no. 19. Wiley, pp. 5627–5631, 2018.
  ista: Mahne N, Renfrew SE, McCloskey BD, Freunberger SA. 2018. Elektrochemische
    Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff. Angewandte Chemie.
    130(19), 5627–5631.
  mla: Mahne, Nika, et al. “Elektrochemische Oxidation von Lithiumcarbonat Generiert
    Singulett-Sauerstoff.” <i>Angewandte Chemie</i>, vol. 130, no. 19, Wiley, 2018,
    pp. 5627–31, doi:<a href="https://doi.org/10.1002/ange.201802277">10.1002/ange.201802277</a>.
  short: N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie
    130 (2018) 5627–5631.
date_created: 2020-06-19T08:33:24Z
date_published: 2018-05-04T00:00:00Z
date_updated: 2021-01-12T08:16:21Z
day: '04'
ddc:
- '540'
doi: 10.1002/ange.201802277
extern: '1'
file:
- access_level: open_access
  checksum: 81506e0f7079e1e3591f3cd9f626bf67
  content_type: application/pdf
  creator: dernst
  date_created: 2020-06-19T11:58:06Z
  date_updated: 2020-07-14T12:48:06Z
  file_id: '7988'
  file_name: 2018_AngChemieDT_Mahne.pdf
  file_size: 674789
  relation: main_file
file_date_updated: 2020-07-14T12:48:06Z
has_accepted_license: '1'
intvolume: '       130'
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 5627-5631
publication: Angewandte Chemie
publication_identifier:
  issn:
  - 0044-8249
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 130
year: '2018'
...
---
_id: '8015'
abstract:
- lang: eng
  text: 'The neural code of cortical processing remains uncracked; however, it must
    necessarily rely on faithful signal propagation between cortical areas. In this
    issue of Neuron, Joglekar et al. (2018) show that strong inter-areal excitation
    balanced by local inhibition can enable reliable signal propagation in data-constrained
    network models of macaque cortex. '
article_processing_charge: No
article_type: original
author:
- first_name: Jake P.
  full_name: Stroud, Jake P.
  last_name: Stroud
- first_name: Tim P
  full_name: Vogels, Tim P
  id: CB6FF8D2-008F-11EA-8E08-2637E6697425
  last_name: Vogels
  orcid: 0000-0003-3295-6181
citation:
  ama: 'Stroud JP, Vogels TP. Cortical signal propagation: Balance, amplify, transmit.
    <i>Neuron</i>. 2018;98(1):8-9. doi:<a href="https://doi.org/10.1016/j.neuron.2018.03.028">10.1016/j.neuron.2018.03.028</a>'
  apa: 'Stroud, J. P., &#38; Vogels, T. P. (2018). Cortical signal propagation: Balance,
    amplify, transmit. <i>Neuron</i>. Elsevier. <a href="https://doi.org/10.1016/j.neuron.2018.03.028">https://doi.org/10.1016/j.neuron.2018.03.028</a>'
  chicago: 'Stroud, Jake P., and Tim P Vogels. “Cortical Signal Propagation: Balance,
    Amplify, Transmit.” <i>Neuron</i>. Elsevier, 2018. <a href="https://doi.org/10.1016/j.neuron.2018.03.028">https://doi.org/10.1016/j.neuron.2018.03.028</a>.'
  ieee: 'J. P. Stroud and T. P. Vogels, “Cortical signal propagation: Balance, amplify,
    transmit,” <i>Neuron</i>, vol. 98, no. 1. Elsevier, pp. 8–9, 2018.'
  ista: 'Stroud JP, Vogels TP. 2018. Cortical signal propagation: Balance, amplify,
    transmit. Neuron. 98(1), 8–9.'
  mla: 'Stroud, Jake P., and Tim P. Vogels. “Cortical Signal Propagation: Balance,
    Amplify, Transmit.” <i>Neuron</i>, vol. 98, no. 1, Elsevier, 2018, pp. 8–9, doi:<a
    href="https://doi.org/10.1016/j.neuron.2018.03.028">10.1016/j.neuron.2018.03.028</a>.'
  short: J.P. Stroud, T.P. Vogels, Neuron 98 (2018) 8–9.
date_created: 2020-06-25T12:53:39Z
date_published: 2018-04-04T00:00:00Z
date_updated: 2021-01-12T08:16:31Z
day: '04'
doi: 10.1016/j.neuron.2018.03.028
extern: '1'
external_id:
  pmid:
  - '29621492'
intvolume: '        98'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.neuron.2018.03.028
month: '04'
oa: 1
oa_version: Published Version
page: 8-9
pmid: 1
publication: Neuron
publication_identifier:
  issn:
  - 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Cortical signal propagation: Balance, amplify, transmit'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 98
year: '2018'
...
---
_id: '806'
abstract:
- lang: eng
  text: Social insect colonies have evolved many collectively performed adaptations
    that reduce the impact of infectious disease and that are expected to maximize
    their fitness. This colony-level protection is termed social immunity, and it
    enhances the health and survival of the colony. In this review, we address how
    social immunity emerges from its mechanistic components to produce colony-level
    disease avoidance, resistance, and tolerance. To understand the evolutionary causes
    and consequences of social immunity, we highlight the need for studies that evaluate
    the effects of social immunity on colony fitness. We discuss the role that host
    life history and ecology have on predicted eco-evolutionary dynamics, which differ
    among the social insect lineages. Throughout the review, we highlight current
    gaps in our knowledge and promising avenues for future research, which we hope
    will bring us closer to an integrated understanding of socio-eco-evo-immunology.
article_processing_charge: No
author:
- first_name: Sylvia
  full_name: Cremer, Sylvia
  id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
  last_name: Cremer
  orcid: 0000-0002-2193-3868
- first_name: Christopher
  full_name: Pull, Christopher
  id: 3C7F4840-F248-11E8-B48F-1D18A9856A87
  last_name: Pull
  orcid: 0000-0003-1122-3982
- first_name: Matthias
  full_name: Fürst, Matthias
  id: 393B1196-F248-11E8-B48F-1D18A9856A87
  last_name: Fürst
  orcid: 0000-0002-3712-925X
citation:
  ama: 'Cremer S, Pull C, Fürst M. Social immunity: Emergence and evolution of colony-level
    disease protection. <i>Annual Review of Entomology</i>. 2018;63:105-123. doi:<a
    href="https://doi.org/10.1146/annurev-ento-020117-043110">10.1146/annurev-ento-020117-043110</a>'
  apa: 'Cremer, S., Pull, C., &#38; Fürst, M. (2018). Social immunity: Emergence and
    evolution of colony-level disease protection. <i>Annual Review of Entomology</i>.
    Annual Reviews. <a href="https://doi.org/10.1146/annurev-ento-020117-043110">https://doi.org/10.1146/annurev-ento-020117-043110</a>'
  chicago: 'Cremer, Sylvia, Christopher Pull, and Matthias Fürst. “Social Immunity:
    Emergence and Evolution of Colony-Level Disease Protection.” <i>Annual Review
    of Entomology</i>. Annual Reviews, 2018. <a href="https://doi.org/10.1146/annurev-ento-020117-043110">https://doi.org/10.1146/annurev-ento-020117-043110</a>.'
  ieee: 'S. Cremer, C. Pull, and M. Fürst, “Social immunity: Emergence and evolution
    of colony-level disease protection,” <i>Annual Review of Entomology</i>, vol.
    63. Annual Reviews, pp. 105–123, 2018.'
  ista: 'Cremer S, Pull C, Fürst M. 2018. Social immunity: Emergence and evolution
    of colony-level disease protection. Annual Review of Entomology. 63, 105–123.'
  mla: 'Cremer, Sylvia, et al. “Social Immunity: Emergence and Evolution of Colony-Level
    Disease Protection.” <i>Annual Review of Entomology</i>, vol. 63, Annual Reviews,
    2018, pp. 105–23, doi:<a href="https://doi.org/10.1146/annurev-ento-020117-043110">10.1146/annurev-ento-020117-043110</a>.'
  short: S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
date_created: 2018-12-11T11:48:36Z
date_published: 2018-01-07T00:00:00Z
date_updated: 2023-09-19T09:29:45Z
day: '07'
department:
- _id: SyCr
doi: 10.1146/annurev-ento-020117-043110
external_id:
  isi:
  - '000424633700008'
intvolume: '        63'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
page: 105 - 123
publication: Annual Review of Entomology
publication_identifier:
  issn:
  - 1545-4487
publication_status: published
publisher: Annual Reviews
publist_id: '6844'
quality_controlled: '1'
related_material:
  record:
  - id: '819'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: 'Social immunity: Emergence and evolution of colony-level disease protection'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 63
year: '2018'
...
---
_id: '8073'
abstract:
- lang: eng
  text: Motor cortex (M1) exhibits a rich repertoire of neuronal activities to support
    the generation of complex movements. Although recent neuronal-network models capture
    many qualitative aspects of M1 dynamics, they can generate only a few distinct
    movements. Additionally, it is unclear how M1 efficiently controls movements over
    a wide range of shapes and speeds. We demonstrate that modulation of neuronal
    input–output gains in recurrent neuronal-network models with a fixed architecture
    can dramatically reorganize neuronal activity and thus downstream muscle outputs.
    Consistent with the observation of diffuse neuromodulatory projections to M1,
    a relatively small number of modulatory control units provide sufficient flexibility
    to adjust high-dimensional network activity using a simple reward-based learning
    rule. Furthermore, it is possible to assemble novel movements from previously
    learned primitives, and one can separately change movement speed while preserving
    movement shape. Our results provide a new perspective on the role of modulatory
    systems in controlling recurrent cortical activity.
article_processing_charge: No
article_type: original
author:
- first_name: Jake P.
  full_name: Stroud, Jake P.
  last_name: Stroud
- first_name: Mason A.
  full_name: Porter, Mason A.
  last_name: Porter
- first_name: Guillaume
  full_name: Hennequin, Guillaume
  last_name: Hennequin
- first_name: Tim P
  full_name: Vogels, Tim P
  id: CB6FF8D2-008F-11EA-8E08-2637E6697425
  last_name: Vogels
  orcid: 0000-0003-3295-6181
citation:
  ama: Stroud JP, Porter MA, Hennequin G, Vogels TP. Motor primitives in space and
    time via targeted gain modulation in cortical networks. <i>Nature Neuroscience</i>.
    2018;21(12):1774-1783. doi:<a href="https://doi.org/10.1038/s41593-018-0276-0">10.1038/s41593-018-0276-0</a>
  apa: Stroud, J. P., Porter, M. A., Hennequin, G., &#38; Vogels, T. P. (2018). Motor
    primitives in space and time via targeted gain modulation in cortical networks.
    <i>Nature Neuroscience</i>. Springer Nature. <a href="https://doi.org/10.1038/s41593-018-0276-0">https://doi.org/10.1038/s41593-018-0276-0</a>
  chicago: Stroud, Jake P., Mason A. Porter, Guillaume Hennequin, and Tim P Vogels.
    “Motor Primitives in Space and Time via Targeted Gain Modulation in Cortical Networks.”
    <i>Nature Neuroscience</i>. Springer Nature, 2018. <a href="https://doi.org/10.1038/s41593-018-0276-0">https://doi.org/10.1038/s41593-018-0276-0</a>.
  ieee: J. P. Stroud, M. A. Porter, G. Hennequin, and T. P. Vogels, “Motor primitives
    in space and time via targeted gain modulation in cortical networks,” <i>Nature
    Neuroscience</i>, vol. 21, no. 12. Springer Nature, pp. 1774–1783, 2018.
  ista: Stroud JP, Porter MA, Hennequin G, Vogels TP. 2018. Motor primitives in space
    and time via targeted gain modulation in cortical networks. Nature Neuroscience.
    21(12), 1774–1783.
  mla: Stroud, Jake P., et al. “Motor Primitives in Space and Time via Targeted Gain
    Modulation in Cortical Networks.” <i>Nature Neuroscience</i>, vol. 21, no. 12,
    Springer Nature, 2018, pp. 1774–83, doi:<a href="https://doi.org/10.1038/s41593-018-0276-0">10.1038/s41593-018-0276-0</a>.
  short: J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience
    21 (2018) 1774–1783.
date_created: 2020-06-30T13:18:02Z
date_published: 2018-12-01T00:00:00Z
date_updated: 2021-01-12T08:16:46Z
day: '01'
doi: 10.1038/s41593-018-0276-0
extern: '1'
external_id:
  pmid:
  - '30482949'
intvolume: '        21'
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6276991/
month: '12'
oa: 1
oa_version: Submitted Version
page: 1774-1783
pmid: 1
publication: Nature Neuroscience
publication_identifier:
  issn:
  - 1097-6256
  - 1546-1726
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41593-018-0307-x
status: public
title: Motor primitives in space and time via targeted gain modulation in cortical
  networks
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 21
year: '2018'
...
---
_id: '81'
abstract:
- lang: eng
  text: We solve the offline monitoring problem for timed propositional temporal logic
    (TPTL), interpreted over dense-time Boolean signals. The variant of TPTL we consider
    extends linear temporal logic (LTL) with clock variables and reset quantifiers,
    providing a mechanism to specify real-time constraints. We first describe a general
    monitoring algorithm based on an exhaustive computation of the set of satisfying
    clock assignments as a finite union of zones. We then propose a specialized monitoring
    algorithm for the one-variable case using a partition of the time domain based
    on the notion of region equivalence, whose complexity is linear in the length
    of the signal, thereby generalizing a known result regarding the monitoring of
    metric temporal logic (MTL). The region and zone representations of time constraints
    are known from timed automata verification and can also be used in the discrete-time
    case. Our prototype implementation appears to outperform previous discrete-time
    implementations of TPTL monitoring,
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Adrian
  full_name: Elgyütt, Adrian
  id: 4A2E9DBA-F248-11E8-B48F-1D18A9856A87
  last_name: Elgyütt
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: 'Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables.
    In: Vol 11022. Springer; 2018:53-70. doi:<a href="https://doi.org/10.1007/978-3-030-00151-3_4">10.1007/978-3-030-00151-3_4</a>'
  apa: 'Elgyütt, A., Ferrere, T., &#38; Henzinger, T. A. (2018). Monitoring temporal
    logic with clock variables (Vol. 11022, pp. 53–70). Presented at the FORMATS:
    Formal Modeling and Analysis of Timed Systems, Beijing, China: Springer. <a href="https://doi.org/10.1007/978-3-030-00151-3_4">https://doi.org/10.1007/978-3-030-00151-3_4</a>'
  chicago: Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal
    Logic with Clock Variables,” 11022:53–70. Springer, 2018. <a href="https://doi.org/10.1007/978-3-030-00151-3_4">https://doi.org/10.1007/978-3-030-00151-3_4</a>.
  ieee: 'A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with
    clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed
    Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.'
  ista: 'Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with
    clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS,
    vol. 11022, 53–70.'
  mla: Elgyütt, Adrian, et al. <i>Monitoring Temporal Logic with Clock Variables</i>.
    Vol. 11022, Springer, 2018, pp. 53–70, doi:<a href="https://doi.org/10.1007/978-3-030-00151-3_4">10.1007/978-3-030-00151-3_4</a>.
  short: A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
conference:
  end_date: 2018-09-06
  location: Beijing, China
  name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-26T00:00:00Z
date_updated: 2023-09-13T08:58:34Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_4
external_id:
  isi:
  - '000884993200004'
file:
- access_level: open_access
  checksum: e5d81c9b50a6bd9d8a2c16953aad7e23
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-09T06:24:21Z
  date_updated: 2020-10-09T06:24:21Z
  file_id: '8638'
  file_name: 2018_LNCS_Elgyuett.pdf
  file_size: 537219
  relation: main_file
  success: 1
file_date_updated: 2020-10-09T06:24:21Z
has_accepted_license: '1'
intvolume: '     11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 53 - 70
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_status: published
publisher: Springer
publist_id: '7973'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitoring temporal logic with clock variables
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...
---
_id: '148'
abstract:
- lang: eng
  text: 'Land plants evolved from charophytic algae, among which Charophyceae possess
    the most complex body plans. We present the genome of Chara braunii; comparison
    of the genome to those of land plants identified evolutionary novelties for plant
    terrestrialization and land plant heritage genes. C. braunii employs unique xylan
    synthases for cell wall biosynthesis, a phragmoplast (cell separation) mechanism
    similar to that of land plants, and many phytohormones. C. braunii plastids are
    controlled via land-plant-like retrograde signaling, and transcriptional regulation
    is more elaborate than in other algae. The morphological complexity of this organism
    may result from expanded gene families, with three cases of particular note: genes
    effecting tolerance to reactive oxygen species (ROS), LysM receptor-like kinases,
    and transcription factors (TFs). Transcriptomic analysis of sexual reproductive
    structures reveals intricate control by TFs, activity of the ROS gene network,
    and the ancestral use of plant-like storage and stress protection proteins in
    the zygote.'
acknowledgement: In-Data-Review
article_processing_charge: No
author:
- first_name: Tomoaki
  full_name: Nishiyama, Tomoaki
  last_name: Nishiyama
- first_name: Hidetoshi
  full_name: Sakayama, Hidetoshi
  last_name: Sakayama
- first_name: Jan
  full_name: De Vries, Jan
  last_name: De Vries
- first_name: Henrik
  full_name: Buschmann, Henrik
  last_name: Buschmann
- first_name: Denis
  full_name: Saint Marcoux, Denis
  last_name: Saint Marcoux
- first_name: Kristian
  full_name: Ullrich, Kristian
  last_name: Ullrich
- first_name: Fabian
  full_name: Haas, Fabian
  last_name: Haas
- first_name: Lisa
  full_name: Vanderstraeten, Lisa
  last_name: Vanderstraeten
- first_name: Dirk
  full_name: Becker, Dirk
  last_name: Becker
- first_name: Daniel
  full_name: Lang, Daniel
  last_name: Lang
- first_name: Stanislav
  full_name: Vosolsobě, Stanislav
  last_name: Vosolsobě
- first_name: Stephane
  full_name: Rombauts, Stephane
  last_name: Rombauts
- first_name: Per
  full_name: Wilhelmsson, Per
  last_name: Wilhelmsson
- first_name: Philipp
  full_name: Janitza, Philipp
  last_name: Janitza
- first_name: Ramona
  full_name: Kern, Ramona
  last_name: Kern
- first_name: Alexander
  full_name: Heyl, Alexander
  last_name: Heyl
- first_name: Florian
  full_name: Rümpler, Florian
  last_name: Rümpler
- first_name: Luz
  full_name: Calderón Villalobos, Luz
  last_name: Calderón Villalobos
- first_name: John
  full_name: Clay, John
  last_name: Clay
- first_name: Roman
  full_name: Skokan, Roman
  last_name: Skokan
- first_name: Atsushi
  full_name: Toyoda, Atsushi
  last_name: Toyoda
- first_name: Yutaka
  full_name: Suzuki, Yutaka
  last_name: Suzuki
- first_name: Hiroshi
  full_name: Kagoshima, Hiroshi
  last_name: Kagoshima
- first_name: Elio
  full_name: Schijlen, Elio
  last_name: Schijlen
- first_name: Navindra
  full_name: Tajeshwar, Navindra
  last_name: Tajeshwar
- first_name: Bruno
  full_name: Catarino, Bruno
  last_name: Catarino
- first_name: Alexander
  full_name: Hetherington, Alexander
  last_name: Hetherington
- first_name: Assia
  full_name: Saltykova, Assia
  last_name: Saltykova
- first_name: Clemence
  full_name: Bonnot, Clemence
  last_name: Bonnot
- first_name: Holger
  full_name: Breuninger, Holger
  last_name: Breuninger
- first_name: Aikaterini
  full_name: Symeonidi, Aikaterini
  last_name: Symeonidi
- first_name: Guru
  full_name: Radhakrishnan, Guru
  last_name: Radhakrishnan
- first_name: Filip
  full_name: Van Nieuwerburgh, Filip
  last_name: Van Nieuwerburgh
- first_name: Dieter
  full_name: Deforce, Dieter
  last_name: Deforce
- first_name: Caren
  full_name: Chang, Caren
  last_name: Chang
- first_name: Kenneth
  full_name: Karol, Kenneth
  last_name: Karol
- first_name: Rainer
  full_name: Hedrich, Rainer
  last_name: Hedrich
- first_name: Peter
  full_name: Ulvskov, Peter
  last_name: Ulvskov
- first_name: Gernot
  full_name: Glöckner, Gernot
  last_name: Glöckner
- first_name: Charles
  full_name: Delwiche, Charles
  last_name: Delwiche
- first_name: Jan
  full_name: Petrášek, Jan
  last_name: Petrášek
- first_name: Yves
  full_name: Van De Peer, Yves
  last_name: Van De Peer
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Mary
  full_name: Beilby, Mary
  last_name: Beilby
- first_name: Liam
  full_name: Dolan, Liam
  last_name: Dolan
- first_name: Yuji
  full_name: Kohara, Yuji
  last_name: Kohara
- first_name: Sumio
  full_name: Sugano, Sumio
  last_name: Sugano
- first_name: Asao
  full_name: Fujiyama, Asao
  last_name: Fujiyama
- first_name: Pierre Marc
  full_name: Delaux, Pierre Marc
  last_name: Delaux
- first_name: Marcel
  full_name: Quint, Marcel
  last_name: Quint
- first_name: Gunter
  full_name: Theissen, Gunter
  last_name: Theissen
- first_name: Martin
  full_name: Hagemann, Martin
  last_name: Hagemann
- first_name: Jesper
  full_name: Harholt, Jesper
  last_name: Harholt
- first_name: Christophe
  full_name: Dunand, Christophe
  last_name: Dunand
- first_name: Sabine
  full_name: Zachgo, Sabine
  last_name: Zachgo
- first_name: Jane
  full_name: Langdale, Jane
  last_name: Langdale
- first_name: Florian
  full_name: Maumus, Florian
  last_name: Maumus
- first_name: Dominique
  full_name: Van Der Straeten, Dominique
  last_name: Van Der Straeten
- first_name: Sven B
  full_name: Gould, Sven B
  last_name: Gould
- first_name: Stefan
  full_name: Rensing, Stefan
  last_name: Rensing
citation:
  ama: 'Nishiyama T, Sakayama H, De Vries J, et al. The Chara genome: Secondary complexity
    and implications for plant terrestrialization. <i>Cell</i>. 2018;174(2):448-464.e24.
    doi:<a href="https://doi.org/10.1016/j.cell.2018.06.033">10.1016/j.cell.2018.06.033</a>'
  apa: 'Nishiyama, T., Sakayama, H., De Vries, J., Buschmann, H., Saint Marcoux, D.,
    Ullrich, K., … Rensing, S. (2018). The Chara genome: Secondary complexity and
    implications for plant terrestrialization. <i>Cell</i>. Cell Press. <a href="https://doi.org/10.1016/j.cell.2018.06.033">https://doi.org/10.1016/j.cell.2018.06.033</a>'
  chicago: 'Nishiyama, Tomoaki, Hidetoshi Sakayama, Jan De Vries, Henrik Buschmann,
    Denis Saint Marcoux, Kristian Ullrich, Fabian Haas, et al. “The Chara Genome:
    Secondary Complexity and Implications for Plant Terrestrialization.” <i>Cell</i>.
    Cell Press, 2018. <a href="https://doi.org/10.1016/j.cell.2018.06.033">https://doi.org/10.1016/j.cell.2018.06.033</a>.'
  ieee: 'T. Nishiyama <i>et al.</i>, “The Chara genome: Secondary complexity and implications
    for plant terrestrialization,” <i>Cell</i>, vol. 174, no. 2. Cell Press, p. 448–464.e24,
    2018.'
  ista: 'Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich
    K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson
    P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan
    R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington
    A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh
    F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C,
    Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama
    A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S,
    Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara
    genome: Secondary complexity and implications for plant terrestrialization. Cell.
    174(2), 448–464.e24.'
  mla: 'Nishiyama, Tomoaki, et al. “The Chara Genome: Secondary Complexity and Implications
    for Plant Terrestrialization.” <i>Cell</i>, vol. 174, no. 2, Cell Press, 2018,
    p. 448–464.e24, doi:<a href="https://doi.org/10.1016/j.cell.2018.06.033">10.1016/j.cell.2018.06.033</a>.'
  short: T. Nishiyama, H. Sakayama, J. De Vries, H. Buschmann, D. Saint Marcoux, K.
    Ullrich, F. Haas, L. Vanderstraeten, D. Becker, D. Lang, S. Vosolsobě, S. Rombauts,
    P. Wilhelmsson, P. Janitza, R. Kern, A. Heyl, F. Rümpler, L. Calderón Villalobos,
    J. Clay, R. Skokan, A. Toyoda, Y. Suzuki, H. Kagoshima, E. Schijlen, N. Tajeshwar,
    B. Catarino, A. Hetherington, A. Saltykova, C. Bonnot, H. Breuninger, A. Symeonidi,
    G. Radhakrishnan, F. Van Nieuwerburgh, D. Deforce, C. Chang, K. Karol, R. Hedrich,
    P. Ulvskov, G. Glöckner, C. Delwiche, J. Petrášek, Y. Van De Peer, J. Friml, M.
    Beilby, L. Dolan, Y. Kohara, S. Sugano, A. Fujiyama, P.M. Delaux, M. Quint, G.
    Theissen, M. Hagemann, J. Harholt, C. Dunand, S. Zachgo, J. Langdale, F. Maumus,
    D. Van Der Straeten, S.B. Gould, S. Rensing, Cell 174 (2018) 448–464.e24.
date_created: 2018-12-11T11:44:53Z
date_published: 2018-07-12T00:00:00Z
date_updated: 2023-09-19T10:02:47Z
day: '12'
department:
- _id: JiFr
doi: 10.1016/j.cell.2018.06.033
ec_funded: 1
external_id:
  isi:
  - '000438482800019'
  pmid:
  - '30007417'
intvolume: '       174'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/30007417
month: '07'
oa: 1
oa_version: Published Version
page: 448 - 464.e24
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '742985'
  name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication: Cell
publication_status: published
publisher: Cell Press
publist_id: '7774'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The Chara genome: Secondary complexity and implications for plant terrestrialization'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 174
year: '2018'
...
---
_id: '149'
abstract:
- lang: eng
  text: The eigenvalue density of many large random matrices is well approximated
    by a deterministic measure, the self-consistent density of states. In the present
    work, we show this behaviour for several classes of random matrices. In fact,
    we establish that, in each of these classes, the self-consistent density of states
    approximates the eigenvalue density of the random matrix on all scales slightly
    above the typical eigenvalue spacing. For large classes of random matrices, the
    self-consistent density of states exhibits several universal features. We prove
    that, under suitable assumptions, random Gram matrices and Hermitian random matrices
    with decaying correlations have a 1/3-Hölder continuous self-consistent density
    of states ρ on R, which is analytic, where it is positive, and has either a square
    root edge or a cubic root cusp, where it vanishes. We, thus, extend the validity
    of the corresponding result for Wigner-type matrices from [4, 5, 7]. We show that
    ρ is determined as the inverse Stieltjes transform of the normalized trace of
    the unique solution m(z) to the Dyson equation −m(z) −1 = z − a + S[m(z)] on C
    N×N with the constraint Im m(z) ≥ 0. Here, z lies in the complex upper half-plane,
    a is a self-adjoint element of C N×N and S is a positivity-preserving operator
    on C N×N encoding the first two moments of the random matrix. In order to analyze
    a possible limit of ρ for N → ∞ and address some applications in free probability
    theory, we also consider the Dyson equation on infinite dimensional von Neumann
    algebras. We present two applications to random matrices. We first establish that,
    under certain assumptions, large random matrices with independent entries have
    a rotationally symmetric self-consistent density of states which is supported
    on a centered disk in C. Moreover, it is infinitely often differentiable apart
    from a jump on the boundary of this disk. Second, we show edge universality at
    all regular (not necessarily extreme) spectral edges for Hermitian random matrices
    with decaying correlations.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Johannes
  full_name: Alt, Johannes
  id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87
  last_name: Alt
citation:
  ama: Alt J. Dyson equation and eigenvalue statistics of random matrices. 2018. doi:<a
    href="https://doi.org/10.15479/AT:ISTA:TH_1040">10.15479/AT:ISTA:TH_1040</a>
  apa: Alt, J. (2018). <i>Dyson equation and eigenvalue statistics of random matrices</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:TH_1040">https://doi.org/10.15479/AT:ISTA:TH_1040</a>
  chicago: Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.”
    Institute of Science and Technology Austria, 2018. <a href="https://doi.org/10.15479/AT:ISTA:TH_1040">https://doi.org/10.15479/AT:ISTA:TH_1040</a>.
  ieee: J. Alt, “Dyson equation and eigenvalue statistics of random matrices,” Institute
    of Science and Technology Austria, 2018.
  ista: Alt J. 2018. Dyson equation and eigenvalue statistics of random matrices.
    Institute of Science and Technology Austria.
  mla: Alt, Johannes. <i>Dyson Equation and Eigenvalue Statistics of Random Matrices</i>.
    Institute of Science and Technology Austria, 2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:TH_1040">10.15479/AT:ISTA:TH_1040</a>.
  short: J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute
    of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:44:53Z
date_published: 2018-07-12T00:00:00Z
date_updated: 2024-02-22T14:34:33Z
day: '12'
ddc:
- '515'
- '519'
degree_awarded: PhD
department:
- _id: LaEr
doi: 10.15479/AT:ISTA:TH_1040
ec_funded: 1
file:
- access_level: open_access
  checksum: d4dad55a7513f345706aaaba90cb1bb8
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-08T13:55:20Z
  date_updated: 2020-07-14T12:44:57Z
  file_id: '6241'
  file_name: 2018_thesis_Alt.pdf
  file_size: 5801709
  relation: main_file
- access_level: closed
  checksum: d73fcf46300dce74c403f2b491148ab4
  content_type: application/zip
  creator: dernst
  date_created: 2019-04-08T13:55:20Z
  date_updated: 2020-07-14T12:44:57Z
  file_id: '6242'
  file_name: 2018_thesis_Alt_source.zip
  file_size: 3802059
  relation: source_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '456'
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '338804'
  name: Random matrices, universality and disordered quantum systems
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7772'
pubrep_id: '1040'
related_material:
  record:
  - id: '1677'
    relation: part_of_dissertation
    status: public
  - id: '550'
    relation: part_of_dissertation
    status: public
  - id: '6183'
    relation: part_of_dissertation
    status: public
  - id: '566'
    relation: part_of_dissertation
    status: public
  - id: '1010'
    relation: part_of_dissertation
    status: public
  - id: '6240'
    relation: part_of_dissertation
    status: public
  - id: '6184'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
title: Dyson equation and eigenvalue statistics of random matrices
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '15'
abstract:
- lang: eng
  text: Although much is known about the physiological framework of T cell motility,
    and numerous rate-limiting molecules have been identified through loss-of-function
    approaches, an integrated functional concept of T cell motility is lacking. Here,
    we used in vivo precision morphometry together with analysis of cytoskeletal dynamics
    in vitro to deconstruct the basic mechanisms of T cell migration within lymphatic
    organs. We show that the contributions of the integrin LFA-1 and the chemokine
    receptor CCR7 are complementary rather than positioned in a linear pathway, as
    they are during leukocyte extravasation from the blood vasculature. Our data demonstrate
    that CCR7 controls cortical actin flows, whereas integrins mediate substrate friction
    that is sufficient to drive locomotion in the absence of considerable surface
    adhesions and plasma membrane flux.
acknowledged_ssus:
- _id: SSU
acknowledgement: This work was funded by grants from the European Research Council
  (ERC StG 281556 and CoG 724373) and the Austrian Science Foundation (FWF) to M.S.
  and by Swiss National Foundation (SNF) project grants 31003A_135649, 31003A_153457
  and CR23I3_156234 to J.V.S. F.G. received funding from the European Union’s Horizon
  2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement
  no. 747687, and J.R. was funded by an EMBO long-term fellowship (ALTF 1396-2014).
article_processing_charge: No
author:
- first_name: Miroslav
  full_name: Hons, Miroslav
  id: 4167FE56-F248-11E8-B48F-1D18A9856A87
  last_name: Hons
  orcid: 0000-0002-6625-3348
- first_name: Aglaja
  full_name: Kopf, Aglaja
  id: 31DAC7B6-F248-11E8-B48F-1D18A9856A87
  last_name: Kopf
  orcid: 0000-0002-2187-6656
- first_name: Robert
  full_name: Hauschild, Robert
  id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
  last_name: Hauschild
  orcid: 0000-0001-9843-3522
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
- first_name: Florian R
  full_name: Gärtner, Florian R
  id: 397A88EE-F248-11E8-B48F-1D18A9856A87
  last_name: Gärtner
  orcid: 0000-0001-6120-3723
- first_name: Jun
  full_name: Abe, Jun
  last_name: Abe
- first_name: Jörg
  full_name: Renkawitz, Jörg
  id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
  last_name: Renkawitz
  orcid: 0000-0003-2856-3369
- first_name: Jens
  full_name: Stein, Jens
  last_name: Stein
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: Hons M, Kopf A, Hauschild R, et al. Chemokines and integrins independently
    tune actin flow and substrate friction during intranodal migration of T cells.
    <i>Nature Immunology</i>. 2018;19(6):606-616. doi:<a href="https://doi.org/10.1038/s41590-018-0109-z">10.1038/s41590-018-0109-z</a>
  apa: Hons, M., Kopf, A., Hauschild, R., Leithner, A. F., Gärtner, F. R., Abe, J.,
    … Sixt, M. K. (2018). Chemokines and integrins independently tune actin flow and
    substrate friction during intranodal migration of T cells. <i>Nature Immunology</i>.
    Nature Publishing Group. <a href="https://doi.org/10.1038/s41590-018-0109-z">https://doi.org/10.1038/s41590-018-0109-z</a>
  chicago: Hons, Miroslav, Aglaja Kopf, Robert Hauschild, Alexander F Leithner, Florian
    R Gärtner, Jun Abe, Jörg Renkawitz, Jens Stein, and Michael K Sixt. “Chemokines
    and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal
    Migration of T Cells.” <i>Nature Immunology</i>. Nature Publishing Group, 2018.
    <a href="https://doi.org/10.1038/s41590-018-0109-z">https://doi.org/10.1038/s41590-018-0109-z</a>.
  ieee: M. Hons <i>et al.</i>, “Chemokines and integrins independently tune actin
    flow and substrate friction during intranodal migration of T cells,” <i>Nature
    Immunology</i>, vol. 19, no. 6. Nature Publishing Group, pp. 606–616, 2018.
  ista: Hons M, Kopf A, Hauschild R, Leithner AF, Gärtner FR, Abe J, Renkawitz J,
    Stein J, Sixt MK. 2018. Chemokines and integrins independently tune actin flow
    and substrate friction during intranodal migration of T cells. Nature Immunology.
    19(6), 606–616.
  mla: Hons, Miroslav, et al. “Chemokines and Integrins Independently Tune Actin Flow
    and Substrate Friction during Intranodal Migration of T Cells.” <i>Nature Immunology</i>,
    vol. 19, no. 6, Nature Publishing Group, 2018, pp. 606–16, doi:<a href="https://doi.org/10.1038/s41590-018-0109-z">10.1038/s41590-018-0109-z</a>.
  short: M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz,
    J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
date_created: 2018-12-11T11:44:10Z
date_published: 2018-05-18T00:00:00Z
date_updated: 2024-03-25T23:30:22Z
day: '18'
department:
- _id: MiSi
- _id: Bio
doi: 10.1038/s41590-018-0109-z
ec_funded: 1
external_id:
  isi:
  - '000433041500026'
  pmid:
  - '29777221'
intvolume: '        19'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/29777221
month: '05'
oa: 1
oa_version: Published Version
page: 606 - 616
pmid: 1
project:
- _id: 25FE9508-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '724373'
  name: Cellular navigation along spatial gradients
- _id: 260AA4E2-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '747687'
  name: Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells
- _id: 25A48D24-B435-11E9-9278-68D0E5697425
  grant_number: ALTF 1396-2014
  name: Molecular and system level view of immune cell migration
- _id: 25A603A2-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '281556'
  name: Cytoskeletal force generation and force transduction of migrating leukocytes
    (EU)
publication: Nature Immunology
publication_status: published
publisher: Nature Publishing Group
publist_id: '8040'
quality_controlled: '1'
related_material:
  record:
  - id: '6891'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Chemokines and integrins independently tune actin flow and substrate friction
  during intranodal migration of T cells
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 19
year: '2018'
...
---
_id: '150'
abstract:
- lang: eng
  text: A short, 14-amino-acid segment called SP1, located in the Gag structural protein1,
    has a critical role during the formation of the HIV-1 virus particle. During virus
    assembly, the SP1 peptide and seven preceding residues fold into a six-helix bundle,
    which holds together the Gag hexamer and facilitates the formation of a curved
    immature hexagonal lattice underneath the viral membrane2,3. Upon completion of
    assembly and budding, proteolytic cleavage of Gag leads to virus maturation, in
    which the immature lattice is broken down; the liberated CA domain of Gag then
    re-assembles into the mature conical capsid that encloses the viral genome and
    associated enzymes. Folding and proteolysis of the six-helix bundle are crucial
    rate-limiting steps of both Gag assembly and disassembly, and the six-helix bundle
    is an established target of HIV-1 inhibitors4,5. Here, using a combination of
    structural and functional analyses, we show that inositol hexakisphosphate (InsP6,
    also known as IP6) facilitates the formation of the six-helix bundle and assembly
    of the immature HIV-1 Gag lattice. IP6 makes ionic contacts with two rings of
    lysine residues at the centre of the Gag hexamer. Proteolytic cleavage then unmasks
    an alternative binding site, where IP6 interaction promotes the assembly of the
    mature capsid lattice. These studies identify IP6 as a naturally occurring small
    molecule that promotes both assembly and maturation of HIV-1.
article_processing_charge: No
article_type: original
author:
- first_name: Robert
  full_name: Dick, Robert
  last_name: Dick
- first_name: Kaneil K
  full_name: Zadrozny, Kaneil K
  last_name: Zadrozny
- first_name: Chaoyi
  full_name: Xu, Chaoyi
  last_name: Xu
- first_name: Florian
  full_name: Schur, Florian
  id: 48AD8942-F248-11E8-B48F-1D18A9856A87
  last_name: Schur
  orcid: 0000-0003-4790-8078
- first_name: Terri D
  full_name: Lyddon, Terri D
  last_name: Lyddon
- first_name: Clifton L
  full_name: Ricana, Clifton L
  last_name: Ricana
- first_name: Jonathan M
  full_name: Wagner, Jonathan M
  last_name: Wagner
- first_name: Juan R
  full_name: Perilla, Juan R
  last_name: Perilla
- first_name: Pornillos Barbie K
  full_name: Ganser, Pornillos Barbie K
  last_name: Ganser
- first_name: Marc C
  full_name: Johnson, Marc C
  last_name: Johnson
- first_name: Owen
  full_name: Pornillos, Owen
  last_name: Pornillos
- first_name: Volker
  full_name: Vogt, Volker
  last_name: Vogt
citation:
  ama: Dick R, Zadrozny KK, Xu C, et al. Inositol phosphates are assembly co-factors
    for HIV-1. <i>Nature</i>. 2018;560(7719):509–512. doi:<a href="https://doi.org/10.1038/s41586-018-0396-4">10.1038/s41586-018-0396-4</a>
  apa: Dick, R., Zadrozny, K. K., Xu, C., Schur, F. K., Lyddon, T. D., Ricana, C.
    L., … Vogt, V. (2018). Inositol phosphates are assembly co-factors for HIV-1.
    <i>Nature</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41586-018-0396-4">https://doi.org/10.1038/s41586-018-0396-4</a>
  chicago: Dick, Robert, Kaneil K Zadrozny, Chaoyi Xu, Florian KM Schur, Terri D Lyddon,
    Clifton L Ricana, Jonathan M Wagner, et al. “Inositol Phosphates Are Assembly
    Co-Factors for HIV-1.” <i>Nature</i>. Nature Publishing Group, 2018. <a href="https://doi.org/10.1038/s41586-018-0396-4">https://doi.org/10.1038/s41586-018-0396-4</a>.
  ieee: R. Dick <i>et al.</i>, “Inositol phosphates are assembly co-factors for HIV-1,”
    <i>Nature</i>, vol. 560, no. 7719. Nature Publishing Group, pp. 509–512, 2018.
  ista: Dick R, Zadrozny KK, Xu C, Schur FK, Lyddon TD, Ricana CL, Wagner JM, Perilla
    JR, Ganser PBK, Johnson MC, Pornillos O, Vogt V. 2018. Inositol phosphates are
    assembly co-factors for HIV-1. Nature. 560(7719), 509–512.
  mla: Dick, Robert, et al. “Inositol Phosphates Are Assembly Co-Factors for HIV-1.”
    <i>Nature</i>, vol. 560, no. 7719, Nature Publishing Group, 2018, pp. 509–512,
    doi:<a href="https://doi.org/10.1038/s41586-018-0396-4">10.1038/s41586-018-0396-4</a>.
  short: R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M.
    Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature
    560 (2018) 509–512.
date_created: 2018-12-11T11:44:53Z
date_published: 2018-08-29T00:00:00Z
date_updated: 2023-09-12T07:44:37Z
day: '29'
department:
- _id: FlSc
doi: 10.1038/s41586-018-0396-4
external_id:
  isi:
  - '000442483400046'
  pmid:
  - '30158708'
intvolume: '       560'
isi: 1
issue: '7719'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6242333/
month: '08'
oa: 1
oa_version: Submitted Version
page: 509–512
pmid: 1
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41586-018-0505-4
scopus_import: '1'
status: public
title: Inositol phosphates are assembly co-factors for HIV-1
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 560
year: '2018'
...
---
_id: '152'
abstract:
- lang: eng
  text: Complex I has an essential role in ATP production by coupling electron transfer
    from NADH to quinone with translocation of protons across the inner mitochondrial
    membrane. Isolated complex I deficiency is a frequent cause of mitochondrial inherited
    diseases. Complex I has also been implicated in cancer, ageing, and neurodegenerative
    conditions. Until recently, the understanding of complex I deficiency on the molecular
    level was limited due to the lack of high-resolution structures of the enzyme.
    However, due to developments in single particle cryo-electron microscopy (cryo-EM),
    recent studies have reported nearly atomic resolution maps and models of mitochondrial
    complex I. These structures significantly add to our understanding of complex
    I mechanism and assembly. The disease-causing mutations are discussed here in
    their structural context.
article_processing_charge: No
article_type: original
author:
- first_name: Karol
  full_name: Fiedorczuk, Karol
  id: 5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0
  last_name: Fiedorczuk
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
citation:
  ama: Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease
    causing mutations. <i>Trends in Cell Biology</i>. 2018;28(10):835-867. doi:<a
    href="https://doi.org/10.1016/j.tcb.2018.06.006">10.1016/j.tcb.2018.06.006</a>
  apa: Fiedorczuk, K., &#38; Sazanov, L. A. (2018). Mammalian mitochondrial complex
    I structure and disease causing mutations. <i>Trends in Cell Biology</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.tcb.2018.06.006">https://doi.org/10.1016/j.tcb.2018.06.006</a>
  chicago: Fiedorczuk, Karol, and Leonid A Sazanov. “Mammalian Mitochondrial Complex
    I Structure and Disease Causing Mutations.” <i>Trends in Cell Biology</i>. Elsevier,
    2018. <a href="https://doi.org/10.1016/j.tcb.2018.06.006">https://doi.org/10.1016/j.tcb.2018.06.006</a>.
  ieee: K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure
    and disease causing mutations,” <i>Trends in Cell Biology</i>, vol. 28, no. 10.
    Elsevier, pp. 835–867, 2018.
  ista: Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure
    and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.
  mla: Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex
    I Structure and Disease Causing Mutations.” <i>Trends in Cell Biology</i>, vol.
    28, no. 10, Elsevier, 2018, pp. 835–67, doi:<a href="https://doi.org/10.1016/j.tcb.2018.06.006">10.1016/j.tcb.2018.06.006</a>.
  short: K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
date_created: 2018-12-11T11:44:54Z
date_published: 2018-07-26T00:00:00Z
date_updated: 2023-09-13T08:51:56Z
day: '26'
ddc:
- '572'
department:
- _id: LeSa
doi: 10.1016/j.tcb.2018.06.006
external_id:
  isi:
  - '000445118200007'
file:
- access_level: open_access
  checksum: ef6d2b4e1fd63948539639242610bfa6
  content_type: application/pdf
  creator: lsazanov
  date_created: 2019-11-07T12:55:20Z
  date_updated: 2020-07-14T12:45:00Z
  file_id: '6994'
  file_name: SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf
  file_size: 2185385
  relation: main_file
file_date_updated: 2020-07-14T12:45:00Z
has_accepted_license: '1'
intvolume: '        28'
isi: 1
issue: '10'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 835 - 867
publication: Trends in Cell Biology
publication_status: published
publisher: Elsevier
publist_id: '7769'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mammalian mitochondrial complex I structure and disease causing mutations
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 28
year: '2018'
...
---
_id: '153'
abstract:
- lang: eng
  text: Cells migrating in multicellular organisms steadily traverse complex three-dimensional
    (3D) environments. To decipher the underlying cell biology, current experimental
    setups either use simplified 2D, tissue-mimetic 3D (e.g., collagen matrices) or
    in vivo environments. While only in vivo experiments are truly physiological,
    they do not allow for precise manipulation of environmental parameters. 2D in
    vitro experiments do allow mechanical and chemical manipulations, but increasing
    evidence demonstrates substantial differences of migratory mechanisms in 2D and
    3D. Here, we describe simple, robust, and versatile “pillar forests” to investigate
    cell migration in complex but fully controllable 3D environments. Pillar forests
    are polydimethylsiloxane-based setups, in which two closely adjacent surfaces
    are interconnected by arrays of micrometer-sized pillars. Changing the pillar
    shape, size, height and the inter-pillar distance precisely manipulates microenvironmental
    parameters (e.g., pore sizes, micro-geometry, micro-topology), while being easily
    combined with chemotactic cues, surface coatings, diverse cell types and advanced
    imaging techniques. Thus, pillar forests combine the advantages of 2D cell migration
    assays with the precise definition of 3D environmental parameters.
article_processing_charge: No
author:
- first_name: Jörg
  full_name: Renkawitz, Jörg
  id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
  last_name: Renkawitz
  orcid: 0000-0003-2856-3369
- first_name: Anne
  full_name: Reversat, Anne
  id: 35B76592-F248-11E8-B48F-1D18A9856A87
  last_name: Reversat
  orcid: 0000-0003-0666-8928
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
- first_name: Jack
  full_name: Merrin, Jack
  id: 4515C308-F248-11E8-B48F-1D18A9856A87
  last_name: Merrin
  orcid: 0000-0001-5145-4609
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: 'Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. Micro-engineered
    “pillar forests” to study cell migration in complex but controlled 3D environments.
    In: <i>Methods in Cell Biology</i>. Vol 147. Academic Press; 2018:79-91. doi:<a
    href="https://doi.org/10.1016/bs.mcb.2018.07.004">10.1016/bs.mcb.2018.07.004</a>'
  apa: Renkawitz, J., Reversat, A., Leithner, A. F., Merrin, J., &#38; Sixt, M. K.
    (2018). Micro-engineered “pillar forests” to study cell migration in complex but
    controlled 3D environments. In <i>Methods in Cell Biology</i> (Vol. 147, pp. 79–91).
    Academic Press. <a href="https://doi.org/10.1016/bs.mcb.2018.07.004">https://doi.org/10.1016/bs.mcb.2018.07.004</a>
  chicago: Renkawitz, Jörg, Anne Reversat, Alexander F Leithner, Jack Merrin, and
    Michael K Sixt. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in
    Complex but Controlled 3D Environments.” In <i>Methods in Cell Biology</i>, 147:79–91.
    Academic Press, 2018. <a href="https://doi.org/10.1016/bs.mcb.2018.07.004">https://doi.org/10.1016/bs.mcb.2018.07.004</a>.
  ieee: J. Renkawitz, A. Reversat, A. F. Leithner, J. Merrin, and M. K. Sixt, “Micro-engineered
    ‘pillar forests’ to study cell migration in complex but controlled 3D environments,”
    in <i>Methods in Cell Biology</i>, vol. 147, Academic Press, 2018, pp. 79–91.
  ista: 'Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. 2018.Micro-engineered
    “pillar forests” to study cell migration in complex but controlled 3D environments.
    In: Methods in Cell Biology. vol. 147, 79–91.'
  mla: Renkawitz, Jörg, et al. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration
    in Complex but Controlled 3D Environments.” <i>Methods in Cell Biology</i>, vol.
    147, Academic Press, 2018, pp. 79–91, doi:<a href="https://doi.org/10.1016/bs.mcb.2018.07.004">10.1016/bs.mcb.2018.07.004</a>.
  short: J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods
    in Cell Biology, Academic Press, 2018, pp. 79–91.
date_created: 2018-12-11T11:44:54Z
date_published: 2018-07-27T00:00:00Z
date_updated: 2023-09-13T08:56:35Z
day: '27'
department:
- _id: MiSi
- _id: NanoFab
doi: 10.1016/bs.mcb.2018.07.004
external_id:
  isi:
  - '000452412300006'
  pmid:
  - '30165964'
intvolume: '       147'
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
page: 79 - 91
pmid: 1
publication: Methods in Cell Biology
publication_identifier:
  issn:
  - 0091679X
publication_status: published
publisher: Academic Press
publist_id: '7768'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Micro-engineered “pillar forests” to study cell migration in complex but controlled
  3D environments
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 147
year: '2018'
...
---
_id: '154'
abstract:
- lang: eng
  text: We give a lower bound on the ground state energy of a system of two fermions
    of one species interacting with two fermions of another species via point interactions.
    We show that there is a critical mass ratio m2 ≈ 0.58 such that the system is
    stable, i.e., the energy is bounded from below, for m∈[m2,m2−1]. So far it was
    not known whether this 2 + 2 system exhibits a stable region at all or whether
    the formation of four-body bound states causes an unbounded spectrum for all mass
    ratios, similar to the Thomas effect. Our result gives further evidence for the
    stability of the more general N + M system.
acknowledgement: Open access funding provided by Austrian Science Fund (FWF).
article_number: '19'
article_processing_charge: No
article_type: original
author:
- first_name: Thomas
  full_name: Moser, Thomas
  id: 2B5FC9A4-F248-11E8-B48F-1D18A9856A87
  last_name: Moser
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Moser T, Seiringer R. Stability of the 2+2 fermionic system with point interactions.
    <i>Mathematical Physics Analysis and Geometry</i>. 2018;21(3). doi:<a href="https://doi.org/10.1007/s11040-018-9275-3">10.1007/s11040-018-9275-3</a>
  apa: Moser, T., &#38; Seiringer, R. (2018). Stability of the 2+2 fermionic system
    with point interactions. <i>Mathematical Physics Analysis and Geometry</i>. Springer.
    <a href="https://doi.org/10.1007/s11040-018-9275-3">https://doi.org/10.1007/s11040-018-9275-3</a>
  chicago: Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System
    with Point Interactions.” <i>Mathematical Physics Analysis and Geometry</i>. Springer,
    2018. <a href="https://doi.org/10.1007/s11040-018-9275-3">https://doi.org/10.1007/s11040-018-9275-3</a>.
  ieee: T. Moser and R. Seiringer, “Stability of the 2+2 fermionic system with point
    interactions,” <i>Mathematical Physics Analysis and Geometry</i>, vol. 21, no.
    3. Springer, 2018.
  ista: Moser T, Seiringer R. 2018. Stability of the 2+2 fermionic system with point
    interactions. Mathematical Physics Analysis and Geometry. 21(3), 19.
  mla: Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System
    with Point Interactions.” <i>Mathematical Physics Analysis and Geometry</i>, vol.
    21, no. 3, 19, Springer, 2018, doi:<a href="https://doi.org/10.1007/s11040-018-9275-3">10.1007/s11040-018-9275-3</a>.
  short: T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
date_created: 2018-12-11T11:44:55Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2023-09-19T09:31:15Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s11040-018-9275-3
ec_funded: 1
external_id:
  isi:
  - '000439639700001'
file:
- access_level: open_access
  checksum: 411c4db5700d7297c9cd8ebc5dd29091
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T16:49:02Z
  date_updated: 2020-07-14T12:45:01Z
  file_id: '5729'
  file_name: 2018_MathPhysics_Moser.pdf
  file_size: 496973
  relation: main_file
file_date_updated: 2020-07-14T12:45:01Z
has_accepted_license: '1'
intvolume: '        21'
isi: 1
issue: '3'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P27533_N27
  name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
- _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1
  call_identifier: FWF
  name: FWF Open Access Fund
publication: Mathematical Physics Analysis and Geometry
publication_identifier:
  eissn:
  - '15729656'
  issn:
  - '13850172'
publication_status: published
publisher: Springer
publist_id: '7767'
quality_controlled: '1'
related_material:
  record:
  - id: '52'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Stability of the 2+2 fermionic system with point interactions
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 21
year: '2018'
...
---
_id: '155'
abstract:
- lang: eng
  text: There is currently significant interest in operating devices in the quantum
    regime, where their behaviour cannot be explained through classical mechanics.
    Quantum states, including entangled states, are fragile and easily disturbed by
    excessive thermal noise. Here we address the question of whether it is possible
    to create non-reciprocal devices that encourage the flow of thermal noise towards
    or away from a particular quantum device in a network. Our work makes use of the
    cascaded systems formalism to answer this question in the affirmative, showing
    how a three-port device can be used as an effective thermal transistor, and illustrates
    how this formalism maps onto an experimentally-realisable optomechanical system.
    Our results pave the way to more resilient quantum devices and to the use of thermal
    noise as a resource.
alternative_title:
- Proceedings of SPIE
article_number: 106721N
article_processing_charge: No
arxiv: 1
author:
- first_name: André
  full_name: Xuereb, André
  last_name: Xuereb
- first_name: Matteo
  full_name: Aquilina, Matteo
  last_name: Aquilina
- first_name: Shabir
  full_name: Barzanjeh, Shabir
  id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
  last_name: Barzanjeh
  orcid: 0000-0003-0415-1423
citation:
  ama: 'Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks.
    In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:<a
    href="https://doi.org/10.1117/12.2309928">10.1117/12.2309928</a>'
  apa: 'Xuereb, A., Aquilina, M., &#38; Barzanjeh, S. (2018). Routing thermal noise
    through quantum networks. In D. L. Andrews, A. Ostendorf, A. J. Bain, &#38; J.
    M. Nunzi (Eds.) (Vol. 10672). Presented at the SPIE: The international society
    for optical engineering, Strasbourg, France: SPIE. <a href="https://doi.org/10.1117/12.2309928">https://doi.org/10.1117/12.2309928</a>'
  chicago: Xuereb, André, Matteo Aquilina, and Shabir Barzanjeh. “Routing Thermal
    Noise through Quantum Networks.” edited by D L Andrews, A Ostendorf, A J Bain,
    and J M Nunzi, Vol. 10672. SPIE, 2018. <a href="https://doi.org/10.1117/12.2309928">https://doi.org/10.1117/12.2309928</a>.
  ieee: 'A. Xuereb, M. Aquilina, and S. Barzanjeh, “Routing thermal noise through
    quantum networks,” presented at the SPIE: The international society for optical
    engineering, Strasbourg, France, 2018, vol. 10672.'
  ista: 'Xuereb A, Aquilina M, Barzanjeh S. 2018. Routing thermal noise through quantum
    networks. SPIE: The international society for optical engineering, Proceedings
    of SPIE, vol. 10672, 106721N.'
  mla: Xuereb, André, et al. <i>Routing Thermal Noise through Quantum Networks</i>.
    Edited by D L Andrews et al., vol. 10672, 106721N, SPIE, 2018, doi:<a href="https://doi.org/10.1117/12.2309928">10.1117/12.2309928</a>.
  short: A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J.
    Bain, J.M. Nunzi (Eds.), SPIE, 2018.
conference:
  end_date: 2018-04-26
  location: Strasbourg, France
  name: 'SPIE: The international society for optical engineering'
  start_date: 2018-04-22
date_created: 2018-12-11T11:44:55Z
date_published: 2018-05-04T00:00:00Z
date_updated: 2023-09-18T08:12:24Z
day: '04'
department:
- _id: JoFi
doi: 10.1117/12.2309928
editor:
- first_name: D L
  full_name: Andrews, D L
  last_name: Andrews
- first_name: A
  full_name: Ostendorf, A
  last_name: Ostendorf
- first_name: A J
  full_name: Bain, A J
  last_name: Bain
- first_name: J M
  full_name: Nunzi, J M
  last_name: Nunzi
external_id:
  arxiv:
  - '1806.01000'
  isi:
  - '000453298500019'
intvolume: '     10672'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1806.01000
month: '05'
oa: 1
oa_version: Preprint
publication_status: published
publisher: SPIE
publist_id: '7766'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Routing thermal noise through quantum networks
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10672
year: '2018'
...
---
_id: '156'
abstract:
- lang: eng
  text: 'Imprecision in timing can sometimes be beneficial: Metric interval temporal
    logic (MITL), disabling the expression of punctuality constraints, was shown to
    translate to timed automata, yielding an elementary decision procedure. We show
    how this principle extends to other forms of dense-time specification using regular
    expressions. By providing a clean, automaton-based formal framework for non-punctual
    languages, we are able to recover and extend several results in timed systems.
    Metric interval regular expressions (MIRE) are introduced, providing regular expressions
    with non-singular duration constraints. We obtain that MIRE are expressively complete
    relative to a class of one-clock timed automata, which can be determinized using
    additional clocks. Metric interval dynamic logic (MIDL) is then defined using
    MIRE as temporal modalities. We show that MIDL generalizes known extensions of
    MITL, while translating to timed automata at comparable cost.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
citation:
  ama: 'Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer;
    2018:147-164. doi:<a href="https://doi.org/10.1007/978-3-319-95582-7_9">10.1007/978-3-319-95582-7_9</a>'
  apa: 'Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951,
    pp. 147–164). Presented at the FM: International Symposium on Formal Methods,
    Oxford, UK: Springer. <a href="https://doi.org/10.1007/978-3-319-95582-7_9">https://doi.org/10.1007/978-3-319-95582-7_9</a>'
  chicago: Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64.
    Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-95582-7_9">https://doi.org/10.1007/978-3-319-95582-7_9</a>.
  ieee: 'T. Ferrere, “The compound interest in relaxing punctuality,” presented at
    the FM: International Symposium on Formal Methods, Oxford, UK, 2018, vol. 10951,
    pp. 147–164.'
  ista: 'Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International
    Symposium on Formal Methods, LNCS, vol. 10951, 147–164.'
  mla: Ferrere, Thomas. <i>The Compound Interest in Relaxing Punctuality</i>. Vol.
    10951, Springer, 2018, pp. 147–64, doi:<a href="https://doi.org/10.1007/978-3-319-95582-7_9">10.1007/978-3-319-95582-7_9</a>.
  short: T. Ferrere, in:, Springer, 2018, pp. 147–164.
conference:
  end_date: 2018-07-17
  location: Oxford, UK
  name: 'FM: International Symposium on Formal Methods'
  start_date: 2018-07-15
date_created: 2018-12-11T11:44:55Z
date_published: 2018-07-12T00:00:00Z
date_updated: 2023-09-19T10:05:37Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-95582-7_9
external_id:
  isi:
  - '000489765800009'
file:
- access_level: open_access
  checksum: a045c213c42c445f1889326f8db82a0a
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-09T06:22:41Z
  date_updated: 2020-10-09T06:22:41Z
  file_id: '8637'
  file_name: 2018_LNCS_Ferrere.pdf
  file_size: 485576
  relation: main_file
  success: 1
file_date_updated: 2020-10-09T06:22:41Z
has_accepted_license: '1'
intvolume: '     10951'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 147 - 164
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '7765'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The compound interest in relaxing punctuality
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10951
year: '2018'
...
