---
_id: '1172'
abstract:
- lang: eng
  text: A central issue in cell biology is the physico-chemical basis of organelle
    biogenesis in intracellular trafficking pathways, its most impressive manifestation
    being the biogenesis of Golgi cisternae. At a basic level, such morphologically
    and chemically distinct compartments should arise from an interplay between the
    molecular transport and chemical maturation. Here, we formulate analytically tractable,
    minimalist models, that incorporate this interplay between transport and chemical
    progression in physical space, and explore the conditions for de novo biogenesis
    of distinct cisternae. We propose new quantitative measures that can discriminate
    between the various models of transport in a qualitative manner-this includes
    measures of the dynamics in steady state and the dynamical response to perturbations
    of the kind amenable to live-cell imaging.
acknowledgement: H.S. thanks NCBS for hospitality. We thank Vivek Malhotra and Mukund
  Thattai for critical discussions and suggestions.
article_number: '38840'
author:
- first_name: Himani
  full_name: Sachdeva, Himani
  id: 42377A0A-F248-11E8-B48F-1D18A9856A87
  last_name: Sachdeva
- first_name: Mustansir
  full_name: Barma, Mustansir
  last_name: Barma
- first_name: Madan
  full_name: Rao, Madan
  last_name: Rao
citation:
  ama: Sachdeva H, Barma M, Rao M. Nonequilibrium description of de novo biogenesis
    and transport through Golgi-like cisternae. <i>Scientific Reports</i>. 2016;6.
    doi:<a href="https://doi.org/10.1038/srep38840">10.1038/srep38840</a>
  apa: Sachdeva, H., Barma, M., &#38; Rao, M. (2016). Nonequilibrium description of
    de novo biogenesis and transport through Golgi-like cisternae. <i>Scientific Reports</i>.
    Nature Publishing Group. <a href="https://doi.org/10.1038/srep38840">https://doi.org/10.1038/srep38840</a>
  chicago: Sachdeva, Himani, Mustansir Barma, and Madan Rao. “Nonequilibrium Description
    of de Novo Biogenesis and Transport through Golgi-like Cisternae.” <i>Scientific
    Reports</i>. Nature Publishing Group, 2016. <a href="https://doi.org/10.1038/srep38840">https://doi.org/10.1038/srep38840</a>.
  ieee: H. Sachdeva, M. Barma, and M. Rao, “Nonequilibrium description of de novo
    biogenesis and transport through Golgi-like cisternae,” <i>Scientific Reports</i>,
    vol. 6. Nature Publishing Group, 2016.
  ista: Sachdeva H, Barma M, Rao M. 2016. Nonequilibrium description of de novo biogenesis
    and transport through Golgi-like cisternae. Scientific Reports. 6, 38840.
  mla: Sachdeva, Himani, et al. “Nonequilibrium Description of de Novo Biogenesis
    and Transport through Golgi-like Cisternae.” <i>Scientific Reports</i>, vol. 6,
    38840, Nature Publishing Group, 2016, doi:<a href="https://doi.org/10.1038/srep38840">10.1038/srep38840</a>.
  short: H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
date_created: 2018-12-11T11:50:32Z
date_published: 2016-12-19T00:00:00Z
date_updated: 2021-01-12T06:48:50Z
day: '19'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1038/srep38840
file:
- access_level: open_access
  checksum: cb378732da885ea4959ec5b845fb6e52
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:56Z
  date_updated: 2020-07-14T12:44:37Z
  file_id: '4977'
  file_name: IST-2017-737-v1+1_srep38840.pdf
  file_size: 760967
  relation: main_file
file_date_updated: 2020-07-14T12:44:37Z
has_accepted_license: '1'
intvolume: '         6'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '12'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '6183'
pubrep_id: '737'
quality_controlled: '1'
scopus_import: 1
status: public
title: Nonequilibrium description of de novo biogenesis and transport through Golgi-like
  cisternae
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2016'
...
---
_id: '1177'
abstract:
- lang: eng
  text: Boldyreva, Palacio and Warinschi introduced a multiple forking game as an
    extension of general forking. The notion of (multiple) forking is a useful abstraction
    from the actual simulation of cryptographic scheme to the adversary in a security
    reduction, and is achieved through the intermediary of a so-called wrapper algorithm.
    Multiple forking has turned out to be a useful tool in the security argument of
    several cryptographic protocols. However, a reduction employing multiple forking
    incurs a significant degradation of (Formula presented.) , where (Formula presented.)
    denotes the upper bound on the underlying random oracle calls and (Formula presented.)
    , the number of forkings. In this work we take a closer look at the reasons for
    the degradation with a tighter security bound in mind. We nail down the exact
    set of conditions for success in the multiple forking game. A careful analysis
    of the cryptographic schemes and corresponding security reduction employing multiple
    forking leads to the formulation of ‘dependence’ and ‘independence’ conditions
    pertaining to the output of the wrapper in different rounds. Based on the (in)dependence
    conditions we propose a general framework of multiple forking and a General Multiple
    Forking Lemma. Leveraging (in)dependence to the full allows us to improve the
    degradation factor in the multiple forking game by a factor of (Formula presented.).
    By implication, the cost of a single forking involving two random oracles (augmented
    forking) matches that involving a single random oracle (elementary forking). Finally,
    we study the effect of these observations on the concrete security of existing
    schemes employing multiple forking. We conclude that by careful design of the
    protocol (and the wrapper in the security reduction) it is possible to harness
    our observations to the full extent.
acknowledgement: "We are grateful to the anonymous reviewers for their insightful
  comments. The\r\ndetailed reports helped us a lot to address the technical mistakes
  as well as to improve the overall presentation of the paper."
author:
- first_name: Chethan
  full_name: Kamath Hosdurg, Chethan
  id: 4BD3F30E-F248-11E8-B48F-1D18A9856A87
  last_name: Kamath Hosdurg
- first_name: Sanjit
  full_name: Chatterjee, Sanjit
  last_name: Chatterjee
citation:
  ama: 'Kamath Hosdurg C, Chatterjee S. A closer look at multiple-forking: Leveraging
    (in)dependence for a tighter bound. <i>Algorithmica</i>. 2016;74(4):1321-1362.
    doi:<a href="https://doi.org/10.1007/s00453-015-9997-6">10.1007/s00453-015-9997-6</a>'
  apa: 'Kamath Hosdurg, C., &#38; Chatterjee, S. (2016). A closer look at multiple-forking:
    Leveraging (in)dependence for a tighter bound. <i>Algorithmica</i>. Springer.
    <a href="https://doi.org/10.1007/s00453-015-9997-6">https://doi.org/10.1007/s00453-015-9997-6</a>'
  chicago: 'Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking:
    Leveraging (in)Dependence for a Tighter Bound.” <i>Algorithmica</i>. Springer,
    2016. <a href="https://doi.org/10.1007/s00453-015-9997-6">https://doi.org/10.1007/s00453-015-9997-6</a>.'
  ieee: 'C. Kamath Hosdurg and S. Chatterjee, “A closer look at multiple-forking:
    Leveraging (in)dependence for a tighter bound,” <i>Algorithmica</i>, vol. 74,
    no. 4. Springer, pp. 1321–1362, 2016.'
  ista: 'Kamath Hosdurg C, Chatterjee S. 2016. A closer look at multiple-forking:
    Leveraging (in)dependence for a tighter bound. Algorithmica. 74(4), 1321–1362.'
  mla: 'Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking:
    Leveraging (in)Dependence for a Tighter Bound.” <i>Algorithmica</i>, vol. 74,
    no. 4, Springer, 2016, pp. 1321–62, doi:<a href="https://doi.org/10.1007/s00453-015-9997-6">10.1007/s00453-015-9997-6</a>.'
  short: C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
date_created: 2018-12-11T11:50:33Z
date_published: 2016-04-01T00:00:00Z
date_updated: 2021-01-12T06:48:52Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/s00453-015-9997-6
intvolume: '        74'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://eprint.iacr.org/2013/651
month: '04'
oa: 1
oa_version: Submitted Version
page: 1321 - 1362
publication: Algorithmica
publication_status: published
publisher: Springer
publist_id: '6177'
quality_controlled: '1'
status: public
title: 'A closer look at multiple-forking: Leveraging (in)dependence for a tighter
  bound'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 74
year: '2016'
...
---
_id: '1179'
abstract:
- lang: eng
  text: "Computational notions of entropy have recently found many applications, including
    leakage-resilient cryptography, deterministic encryption or memory delegation.
    The two main types of results which make computational notions so useful are (1)
    Chain rules, which quantify by how much the computational entropy of a variable
    decreases if conditioned on some other variable (2) Transformations, which quantify
    to which extend one type of entropy implies another.\r\n\r\nSuch chain rules and
    transformations typically lose a significant amount in quality of the entropy,
    and are the reason why applying these results one gets rather weak quantitative
    security bounds. In this paper we for the first time prove lower bounds in this
    context, showing that existing results for transformations are, unfortunately,
    basically optimal for non-adaptive black-box reductions (and it’s hard to imagine
    how non black-box reductions or adaptivity could be useful here.)\r\n\r\nA variable
    X has k bits of HILL entropy of quality (ϵ,s)\r\nif there exists a variable Y
    with k bits min-entropy which cannot be distinguished from X with advantage ϵ\r\n\r\nby
    distinguishing circuits of size s. A weaker notion is Metric entropy, where we
    switch quantifiers, and only require that for every distinguisher of size s, such
    a Y exists.\r\n\r\nWe first describe our result concerning transformations. By
    definition, HILL implies Metric without any loss in quality. Metric entropy often
    comes up in applications, but must be transformed to HILL for meaningful security
    guarantees. The best known result states that if a variable X has k bits of Metric
    entropy of quality (ϵ,s)\r\n, then it has k bits of HILL with quality (2ϵ,s⋅ϵ2).
    We show that this loss of a factor Ω(ϵ−2)\r\n\r\nin circuit size is necessary.
    In fact, we show the stronger result that this loss is already necessary when
    transforming so called deterministic real valued Metric entropy to randomised
    boolean Metric (both these variants of Metric entropy are implied by HILL without
    loss in quality).\r\n\r\nThe chain rule for HILL entropy states that if X has
    k bits of HILL entropy of quality (ϵ,s)\r\n, then for any variable Z of length
    m, X conditioned on Z has k−m bits of HILL entropy with quality (ϵ,s⋅ϵ2/2m). We
    show that a loss of Ω(2m/ϵ) in circuit size necessary here. Note that this still
    leaves a gap of ϵ between the known bound and our lower bound."
acknowledgement: "K. Pietrzak—Supported by the European Research Council consolidator
  grant (682815-TOCNeT).\r\nM. Skórski—Supported by the National Science Center, Poland
  (2015/17/N/ST6/03564)."
alternative_title:
- LNCS
author:
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
- first_name: Skorski
  full_name: Maciej, Skorski
  last_name: Maciej
citation:
  ama: 'Pietrzak KZ, Maciej S. Pseudoentropy: Lower-bounds for chain rules and transformations.
    In: Vol 9985. Springer; 2016:183-203. doi:<a href="https://doi.org/10.1007/978-3-662-53641-4_8">10.1007/978-3-662-53641-4_8</a>'
  apa: 'Pietrzak, K. Z., &#38; Maciej, S. (2016). Pseudoentropy: Lower-bounds for
    chain rules and transformations (Vol. 9985, pp. 183–203). Presented at the TCC:
    Theory of Cryptography Conference, Beijing, China: Springer. <a href="https://doi.org/10.1007/978-3-662-53641-4_8">https://doi.org/10.1007/978-3-662-53641-4_8</a>'
  chicago: 'Pietrzak, Krzysztof Z, and Skorski Maciej. “Pseudoentropy: Lower-Bounds
    for Chain Rules and Transformations,” 9985:183–203. Springer, 2016. <a href="https://doi.org/10.1007/978-3-662-53641-4_8">https://doi.org/10.1007/978-3-662-53641-4_8</a>.'
  ieee: 'K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules
    and transformations,” presented at the TCC: Theory of Cryptography Conference,
    Beijing, China, 2016, vol. 9985, pp. 183–203.'
  ista: 'Pietrzak KZ, Maciej S. 2016. Pseudoentropy: Lower-bounds for chain rules
    and transformations. TCC: Theory of Cryptography Conference, LNCS, vol. 9985,
    183–203.'
  mla: 'Pietrzak, Krzysztof Z., and Skorski Maciej. <i>Pseudoentropy: Lower-Bounds
    for Chain Rules and Transformations</i>. Vol. 9985, Springer, 2016, pp. 183–203,
    doi:<a href="https://doi.org/10.1007/978-3-662-53641-4_8">10.1007/978-3-662-53641-4_8</a>.'
  short: K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
conference:
  end_date: 2016-11-03
  location: Beijing, China
  name: 'TCC: Theory of Cryptography Conference'
  start_date: 2016-10-31
date_created: 2018-12-11T11:50:34Z
date_published: 2016-10-22T00:00:00Z
date_updated: 2021-01-12T06:48:53Z
day: '22'
department:
- _id: KrPi
doi: 10.1007/978-3-662-53641-4_8
ec_funded: 1
intvolume: '      9985'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2016/159
month: '10'
oa: 1
oa_version: Preprint
page: 183 - 203
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '682815'
  name: Teaching Old Crypto New Tricks
publication_status: published
publisher: Springer
publist_id: '6175'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Pseudoentropy: Lower-bounds for chain rules and transformations'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9985
year: '2016'
...
---
_id: '1181'
abstract:
- lang: eng
  text: 'This review accompanies a 2016 SFN mini-symposium presenting examples of
    current studies that address a central question: How do neural stem cells (NSCs)
    divide in different ways to produce heterogeneous daughter types at the right
    time and in proper numbers to build a cerebral cortex with the appropriate size
    and structure? We will focus on four aspects of corticogenesis: cytokinesis events
    that follow apical mitoses of NSCs; coordinating abscission with delamination
    from the apical membrane; timing of neurogenesis and its indirect regulation through
    emergence of intermediate progenitors; and capacity of single NSCs to generate
    the correct number and laminar fate of cortical neurons. Defects in these mechanisms
    can cause microcephaly and other brain malformations, and understanding them is
    critical to designing diagnostic tools and preventive and corrective therapies.'
acknowledgement: This work was supported by National Institutes of Health Grants R01NS089795
  and R01NS098370 to H.T.G., R01NS076640 to N.D.D., and R01MH094589 and R01NS089777
  to B.C., Academia Sinica AS-104-TPB09-2 to S.-J.C, European Union FP7-CIG618444
  and Human Frontiers Science Program RGP0053 to S.H., and Fonds Léon Fredericq, from
  the Fondation Médicale Reine Elisabeth, and from the Fonation Simone et Pierre Clerdent
  to L.N. The authors apologize to colleagues whose work could not be cited due to
  space limitations.
author:
- first_name: Noelle
  full_name: Dwyer, Noelle
  last_name: Dwyer
- first_name: Bin
  full_name: Chen, Bin
  last_name: Chen
- first_name: Shen
  full_name: Chou, Shen
  last_name: Chou
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
- first_name: Laurent
  full_name: Nguyen, Laurent
  last_name: Nguyen
- first_name: Troy
  full_name: Ghashghaei, Troy
  last_name: Ghashghaei
citation:
  ama: 'Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. Neural stem
    cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and
    productivity. <i>Journal of Neuroscience</i>. 2016;36(45):11394-11401. doi:<a
    href="https://doi.org/10.1523/JNEUROSCI.2359-16.2016">10.1523/JNEUROSCI.2359-16.2016</a>'
  apa: 'Dwyer, N., Chen, B., Chou, S., Hippenmeyer, S., Nguyen, L., &#38; Ghashghaei,
    T. (2016). Neural stem cells to cerebral cortex: Emerging mechanisms regulating
    progenitor behavior and productivity. <i>Journal of Neuroscience</i>. Society
    for Neuroscience. <a href="https://doi.org/10.1523/JNEUROSCI.2359-16.2016">https://doi.org/10.1523/JNEUROSCI.2359-16.2016</a>'
  chicago: 'Dwyer, Noelle, Bin Chen, Shen Chou, Simon Hippenmeyer, Laurent Nguyen,
    and Troy Ghashghaei. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms
    Regulating Progenitor Behavior and Productivity.” <i>Journal of Neuroscience</i>.
    Society for Neuroscience, 2016. <a href="https://doi.org/10.1523/JNEUROSCI.2359-16.2016">https://doi.org/10.1523/JNEUROSCI.2359-16.2016</a>.'
  ieee: 'N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, and T. Ghashghaei,
    “Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor
    behavior and productivity,” <i>Journal of Neuroscience</i>, vol. 36, no. 45. Society
    for Neuroscience, pp. 11394–11401, 2016.'
  ista: 'Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. 2016. Neural
    stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior
    and productivity. Journal of Neuroscience. 36(45), 11394–11401.'
  mla: 'Dwyer, Noelle, et al. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms
    Regulating Progenitor Behavior and Productivity.” <i>Journal of Neuroscience</i>,
    vol. 36, no. 45, Society for Neuroscience, 2016, pp. 11394–401, doi:<a href="https://doi.org/10.1523/JNEUROSCI.2359-16.2016">10.1523/JNEUROSCI.2359-16.2016</a>.'
  short: N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, T. Ghashghaei, Journal
    of Neuroscience 36 (2016) 11394–11401.
date_created: 2018-12-11T11:50:35Z
date_published: 2016-11-09T00:00:00Z
date_updated: 2021-01-12T06:48:54Z
day: '09'
department:
- _id: SiHi
doi: 10.1523/JNEUROSCI.2359-16.2016
intvolume: '        36'
issue: '45'
language:
- iso: eng
month: '11'
oa_version: None
page: 11394 - 11401
project:
- _id: 25D7962E-B435-11E9-9278-68D0E5697425
  grant_number: RGP0053/2014
  name: Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal
    Level
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '6172'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor
  behavior and productivity'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 36
year: '2016'
...
---
_id: '1182'
abstract:
- lang: eng
  text: 'Balanced knockout tournaments are ubiquitous in sports competitions and are
    also used in decisionmaking and elections. The traditional computational question,
    that asks to compute a draw (optimal draw) that maximizes the winning probability
    for a distinguished player, has received a lot of attention. Previous works consider
    the problem where the pairwise winning probabilities are known precisely, while
    we study how robust is the winning probability with respect to small errors in
    the pairwise winning probabilities. First, we present several illuminating examples
    to establish: (a) there exist deterministic tournaments (where the pairwise winning
    probabilities are 0 or 1) where one optimal draw is much more robust than the
    other; and (b) in general, there exist tournaments with slightly suboptimal draws
    that are more robust than all the optimal draws. The above examples motivate the
    study of the computational problem of robust draws that guarantee a specified
    winning probability. Second, we present a polynomial-time algorithm for approximating
    the robustness of a draw for sufficiently small errors in pairwise winning probabilities,
    and obtain that the stated computational problem is NP-complete. We also show
    that two natural cases of deterministic tournaments where the optimal draw could
    be computed in polynomial time also admit polynomial-time algorithms to compute
    robust optimal draws.'
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Rasmus
  full_name: Ibsen-Jensen, Rasmus
  id: 3B699956-F248-11E8-B48F-1D18A9856A87
  last_name: Ibsen-Jensen
  orcid: 0000-0003-4783-0389
- first_name: Josef
  full_name: Tkadlec, Josef
  id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
  last_name: Tkadlec
  orcid: 0000-0002-1097-9684
citation:
  ama: 'Chatterjee K, Ibsen-Jensen R, Tkadlec J. Robust draws in balanced knockout
    tournaments. In: Vol 2016-January. AAAI Press; 2016:172-179.'
  apa: 'Chatterjee, K., Ibsen-Jensen, R., &#38; Tkadlec, J. (2016). Robust draws in
    balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the
    IJCAI: International Joint Conference on Artificial Intelligence, New York, NY,
    USA: AAAI Press.'
  chicago: Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Josef Tkadlec. “Robust
    Draws in Balanced Knockout Tournaments,” 2016–January:172–79. AAAI Press, 2016.
  ieee: 'K. Chatterjee, R. Ibsen-Jensen, and J. Tkadlec, “Robust draws in balanced
    knockout tournaments,” presented at the IJCAI: International Joint Conference
    on Artificial Intelligence, New York, NY, USA, 2016, vol. 2016–January, pp. 172–179.'
  ista: 'Chatterjee K, Ibsen-Jensen R, Tkadlec J. 2016. Robust draws in balanced knockout
    tournaments. IJCAI: International Joint Conference on Artificial Intelligence
    vol. 2016–January, 172–179.'
  mla: Chatterjee, Krishnendu, et al. <i>Robust Draws in Balanced Knockout Tournaments</i>.
    Vol. 2016–January, AAAI Press, 2016, pp. 172–79.
  short: K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.
conference:
  end_date: 2016-07-15
  location: New York, NY, USA
  name: 'IJCAI: International Joint Conference on Artificial Intelligence'
  start_date: 2016-07-09
date_created: 2018-12-11T11:50:35Z
date_published: 2016-01-01T00:00:00Z
date_updated: 2023-02-21T10:04:26Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1604.05090v1
month: '01'
oa: 1
oa_version: Preprint
page: 172 - 179
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
publication_status: published
publisher: AAAI Press
publist_id: '6171'
quality_controlled: '1'
related_material:
  link:
  - relation: table_of_contents
    url: https://www.ijcai.org/proceedings/2016
scopus_import: 1
status: public
title: Robust draws in balanced knockout tournaments
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2016-January
year: '2016'
...
---
_id: '1183'
abstract:
- lang: eng
  text: Autism spectrum disorders (ASD) are a group of genetic disorders often overlapping
    with other neurological conditions. We previously described abnormalities in the
    branched-chain amino acid (BCAA) catabolic pathway as a cause of ASD. Here, we
    show that the solute carrier transporter 7a5 (SLC7A5), a large neutral amino acid
    transporter localized at the blood brain barrier (BBB), has an essential role
    in maintaining normal levels of brain BCAAs. In mice, deletion of Slc7a5 from
    the endothelial cells of the BBB leads to atypical brain amino acid profile, abnormal
    mRNA translation, and severe neurological abnormalities. Furthermore, we identified
    several patients with autistic traits and motor delay carrying deleterious homozygous
    mutations in the SLC7A5 gene. Finally, we demonstrate that BCAA intracerebroventricular
    administration ameliorates abnormal behaviors in adult mutant mice. Our data elucidate
    a neurological syndrome defined by SLC7A5 mutations and support an essential role
    for the BCAA in human brain function.
acknowledgement: "This work was supported by NICHD (P01HD070494) and SFARI (grant
  275275) to J.G.G., and FWF (SFB35_3523) to G.N.\r\nWe thank A.C. Manzano, Mike Liu,
  and F. Marr for technical assistance, and R. Shigemoto and the IST Austria Electron
  Microscopy (EM) Facility for assistance. We acknowledge support from CIDR for genome-wide
  SNP analysis (X01HG008823) and Broad Institute Center for Mendelian Disorders (UM1HG008900
  to D. MacArthur), the Yale Center for Mendelian Disorders (U54HG006504 to M.G.),
  the Gregory M. Kiez and Mehmet Kutman Foundation (M.G.), Italian Ministry of Instruction
  University and Research (PON01_00937 to C.I.), and NIH (R01-GM108911 to A.S.). This
  work was supported by NICHD (P01HD070494) and SFARI (grant 275275) to J.G.G., and
  FWF (SFB35_3523) to G.N.\r\n\r\n#EMFacility"
article_processing_charge: No
article_type: original
author:
- first_name: Dora-Clara
  full_name: Tarlungeanu, Dora-Clara
  id: 2ABCE612-F248-11E8-B48F-1D18A9856A87
  last_name: Tarlungeanu
- first_name: Elena
  full_name: Deliu, Elena
  id: 37A40D7E-F248-11E8-B48F-1D18A9856A87
  last_name: Deliu
  orcid: 0000-0002-7370-5293
- first_name: Christoph
  full_name: Dotter, Christoph
  id: 4C66542E-F248-11E8-B48F-1D18A9856A87
  last_name: Dotter
  orcid: 0000-0002-9033-9096
- first_name: Majdi
  full_name: Kara, Majdi
  last_name: Kara
- first_name: Philipp
  full_name: Janiesch, Philipp
  last_name: Janiesch
- first_name: Mariafrancesca
  full_name: Scalise, Mariafrancesca
  last_name: Scalise
- first_name: Michele
  full_name: Galluccio, Michele
  last_name: Galluccio
- first_name: Mateja
  full_name: Tesulov, Mateja
  last_name: Tesulov
- first_name: Emanuela
  full_name: Morelli, Emanuela
  id: 3F4D1282-F248-11E8-B48F-1D18A9856A87
  last_name: Morelli
- first_name: Fatma
  full_name: Sönmez, Fatma
  last_name: Sönmez
- first_name: Kaya
  full_name: Bilgüvar, Kaya
  last_name: Bilgüvar
- first_name: Ryuichi
  full_name: Ohgaki, Ryuichi
  last_name: Ohgaki
- first_name: Yoshikatsu
  full_name: Kanai, Yoshikatsu
  last_name: Kanai
- first_name: Anide
  full_name: Johansen, Anide
  last_name: Johansen
- first_name: Seham
  full_name: Esharif, Seham
  last_name: Esharif
- first_name: Tawfeg
  full_name: Ben Omran, Tawfeg
  last_name: Ben Omran
- first_name: Meral
  full_name: Topcu, Meral
  last_name: Topcu
- first_name: Avner
  full_name: Schlessinger, Avner
  last_name: Schlessinger
- first_name: Cesare
  full_name: Indiveri, Cesare
  last_name: Indiveri
- first_name: Kent
  full_name: Duncan, Kent
  last_name: Duncan
- first_name: Ahmet
  full_name: Caglayan, Ahmet
  last_name: Caglayan
- first_name: Murat
  full_name: Günel, Murat
  last_name: Günel
- first_name: Joseph
  full_name: Gleeson, Joseph
  last_name: Gleeson
- first_name: Gaia
  full_name: Novarino, Gaia
  id: 3E57A680-F248-11E8-B48F-1D18A9856A87
  last_name: Novarino
  orcid: 0000-0002-7673-7178
citation:
  ama: Tarlungeanu D-C, Deliu E, Dotter C, et al. Impaired amino acid transport at
    the blood brain barrier is a cause of autism spectrum disorder. <i>Cell</i>. 2016;167(6):1481-1494.
    doi:<a href="https://doi.org/10.1016/j.cell.2016.11.013">10.1016/j.cell.2016.11.013</a>
  apa: Tarlungeanu, D.-C., Deliu, E., Dotter, C., Kara, M., Janiesch, P., Scalise,
    M., … Novarino, G. (2016). Impaired amino acid transport at the blood brain barrier
    is a cause of autism spectrum disorder. <i>Cell</i>. Cell Press. <a href="https://doi.org/10.1016/j.cell.2016.11.013">https://doi.org/10.1016/j.cell.2016.11.013</a>
  chicago: Tarlungeanu, Dora-Clara, Elena Deliu, Christoph Dotter, Majdi Kara, Philipp
    Janiesch, Mariafrancesca Scalise, Michele Galluccio, et al. “Impaired Amino Acid
    Transport at the Blood Brain Barrier Is a Cause of Autism Spectrum Disorder.”
    <i>Cell</i>. Cell Press, 2016. <a href="https://doi.org/10.1016/j.cell.2016.11.013">https://doi.org/10.1016/j.cell.2016.11.013</a>.
  ieee: D.-C. Tarlungeanu <i>et al.</i>, “Impaired amino acid transport at the blood
    brain barrier is a cause of autism spectrum disorder,” <i>Cell</i>, vol. 167,
    no. 6. Cell Press, pp. 1481–1494, 2016.
  ista: Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio
    M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A,
    Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan
    A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the
    blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
  mla: Tarlungeanu, Dora-Clara, et al. “Impaired Amino Acid Transport at the Blood
    Brain Barrier Is a Cause of Autism Spectrum Disorder.” <i>Cell</i>, vol. 167,
    no. 6, Cell Press, 2016, pp. 1481–94, doi:<a href="https://doi.org/10.1016/j.cell.2016.11.013">10.1016/j.cell.2016.11.013</a>.
  short: D.-C. Tarlungeanu, E. Deliu, C. Dotter, M. Kara, P. Janiesch, M. Scalise,
    M. Galluccio, M. Tesulov, E. Morelli, F. Sönmez, K. Bilgüvar, R. Ohgaki, Y. Kanai,
    A. Johansen, S. Esharif, T. Ben Omran, M. Topcu, A. Schlessinger, C. Indiveri,
    K. Duncan, A. Caglayan, M. Günel, J. Gleeson, G. Novarino, Cell 167 (2016) 1481–1494.
date_created: 2018-12-11T11:50:35Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2024-03-25T23:30:07Z
day: '01'
ddc:
- '576'
- '616'
department:
- _id: GaNo
doi: 10.1016/j.cell.2016.11.013
file:
- access_level: open_access
  checksum: 7fe01ab12a6610d3db421e0136db2f77
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:44Z
  date_updated: 2020-07-14T12:44:37Z
  file_id: '5030'
  file_name: IST-2017-771-v1+1_Tarlungeanu_et_al._Final_edited.pdf
  file_size: 73907957
  relation: main_file
file_date_updated: 2020-07-14T12:44:37Z
has_accepted_license: '1'
intvolume: '       167'
issue: '6'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Submitted Version
page: 1481 - 1494
project:
- _id: 25473368-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: F03523
  name: Transmembrane Transporters in Health and Disease
publication: Cell
publication_status: published
publisher: Cell Press
publist_id: '6170'
pubrep_id: '771'
quality_controlled: '1'
related_material:
  record:
  - id: '395'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Impaired amino acid transport at the blood brain barrier is a cause of autism
  spectrum disorder
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 167
year: '2016'
...
---
_id: '1184'
abstract:
- lang: eng
  text: Across multicellular organisms, the costs of reproduction and self-maintenance
    result in a life history trade-off between fecundity and longevity. Queens of
    perennial social Hymenoptera are both highly fertile and long-lived, and thus,
    this fundamental trade-off is lacking. Whether social insect males similarly evade
    the fecundity/longevity trade-off remains largely unstudied. Wingless males of
    the ant genus Cardiocondyla stay in their natal colonies throughout their relatively
    long lives and mate with multiple female sexuals. Here, we show that Cardiocondyla
    obscurior males that were allowed to mate with large numbers of female sexuals
    had a shortened life span compared to males that mated at a low frequency or virgin
    males. Although frequent mating negatively affects longevity, males clearly benefit
    from a “live fast, die young strategy” by inseminating as many female sexuals
    as possible at a cost to their own survival.
acknowledgement: 'German Science Foundation. Grant Number: SCHR 1135/2-1. We thank
  M. Adam for handling part of the setups and J. Zoellner for behavioral observations.'
author:
- first_name: Sina
  full_name: Metzler, Sina
  id: 48204546-F248-11E8-B48F-1D18A9856A87
  last_name: Metzler
- first_name: Jürgen
  full_name: Heinze, Jürgen
  last_name: Heinze
- first_name: Alexandra
  full_name: Schrempf, Alexandra
  last_name: Schrempf
citation:
  ama: Metzler S, Heinze J, Schrempf A. Mating and longevity in ant males. <i>Ecology
    and Evolution</i>. 2016;6(24):8903-8906. doi:<a href="https://doi.org/10.1002/ece3.2474">10.1002/ece3.2474</a>
  apa: Metzler, S., Heinze, J., &#38; Schrempf, A. (2016). Mating and longevity in
    ant males. <i>Ecology and Evolution</i>. Wiley-Blackwell. <a href="https://doi.org/10.1002/ece3.2474">https://doi.org/10.1002/ece3.2474</a>
  chicago: Metzler, Sina, Jürgen Heinze, and Alexandra Schrempf. “Mating and Longevity
    in Ant Males.” <i>Ecology and Evolution</i>. Wiley-Blackwell, 2016. <a href="https://doi.org/10.1002/ece3.2474">https://doi.org/10.1002/ece3.2474</a>.
  ieee: S. Metzler, J. Heinze, and A. Schrempf, “Mating and longevity in ant males,”
    <i>Ecology and Evolution</i>, vol. 6, no. 24. Wiley-Blackwell, pp. 8903–8906,
    2016.
  ista: Metzler S, Heinze J, Schrempf A. 2016. Mating and longevity in ant males.
    Ecology and Evolution. 6(24), 8903–8906.
  mla: Metzler, Sina, et al. “Mating and Longevity in Ant Males.” <i>Ecology and Evolution</i>,
    vol. 6, no. 24, Wiley-Blackwell, 2016, pp. 8903–06, doi:<a href="https://doi.org/10.1002/ece3.2474">10.1002/ece3.2474</a>.
  short: S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
date_created: 2018-12-11T11:50:36Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2021-01-12T06:48:55Z
day: '01'
ddc:
- '576'
- '592'
department:
- _id: SyCr
doi: 10.1002/ece3.2474
file:
- access_level: open_access
  checksum: 789026eb9e1be2a0da08376f29f569cf
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:14:12Z
  date_updated: 2020-07-14T12:44:37Z
  file_id: '5062'
  file_name: IST-2017-736-v1+1_Metzler_et_al-2016-Ecology_and_Evolution.pdf
  file_size: 328414
  relation: main_file
file_date_updated: 2020-07-14T12:44:37Z
has_accepted_license: '1'
intvolume: '         6'
issue: '24'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 8903 - 8906
publication: Ecology and Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6169'
pubrep_id: '736'
quality_controlled: '1'
scopus_import: 1
status: public
title: Mating and longevity in ant males
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2016'
...
---
_id: '1185'
abstract:
- lang: eng
  text: The developmental programme of the pistil is under the control of both auxin
    and cytokinin. Crosstalk between these factors converges on regulation of the
    auxin carrier PIN-FORMED 1 (PIN1). Here, we show that in the triple transcription
    factor mutant cytokinin response factor 2 (crf2) crf3 crf6 both pistil length
    and ovule number were reduced. PIN1 expression was also lower in the triple mutant
    and the phenotypes could not be rescued by exogenous cytokinin application. pin1
    complementation studies using genomic PIN1 constructs showed that the pistil phenotypes
    were only rescued when the PCRE1 domain, to which CRFs bind, was present. Without
    this domain, pin mutants resemble the crf2 crf3 crf6 triple mutant, indicating
    the pivotal role of CRFs in auxin-cytokinin crosstalk.
acknowledgement: M.C. was funded by a PhD fellowship from the Università degli Studi
  di Milano-Bicocca and from Ministero dell'Istruzione, dell'Università e della Ricerca
  (MIUR) [MIUR-PRIN 2012]. L.C. is also supported by MIUR [MIUR-PRIN 2012]. We would
  like to thank Andrew MacCabe and Edward Kiegle for editing the paper.
author:
- first_name: Mara
  full_name: Cucinotta, Mara
  last_name: Cucinotta
- first_name: Silvia
  full_name: Manrique, Silvia
  last_name: Manrique
- first_name: Andrea
  full_name: Guazzotti, Andrea
  last_name: Guazzotti
- first_name: Nadia
  full_name: Quadrelli, Nadia
  last_name: Quadrelli
- first_name: Marta
  full_name: Mendes, Marta
  last_name: Mendes
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Lucia
  full_name: Colombo, Lucia
  last_name: Colombo
citation:
  ama: Cucinotta M, Manrique S, Guazzotti A, et al. Cytokinin response factors integrate
    auxin and cytokinin pathways for female reproductive organ development. <i>Development</i>.
    2016;143(23):4419-4424. doi:<a href="https://doi.org/10.1242/dev.143545">10.1242/dev.143545</a>
  apa: Cucinotta, M., Manrique, S., Guazzotti, A., Quadrelli, N., Mendes, M., Benková,
    E., &#38; Colombo, L. (2016). Cytokinin response factors integrate auxin and cytokinin
    pathways for female reproductive organ development. <i>Development</i>. Company
    of Biologists. <a href="https://doi.org/10.1242/dev.143545">https://doi.org/10.1242/dev.143545</a>
  chicago: Cucinotta, Mara, Silvia Manrique, Andrea Guazzotti, Nadia Quadrelli, Marta
    Mendes, Eva Benková, and Lucia Colombo. “Cytokinin Response Factors Integrate
    Auxin and Cytokinin Pathways for Female Reproductive Organ Development.” <i>Development</i>.
    Company of Biologists, 2016. <a href="https://doi.org/10.1242/dev.143545">https://doi.org/10.1242/dev.143545</a>.
  ieee: M. Cucinotta <i>et al.</i>, “Cytokinin response factors integrate auxin and
    cytokinin pathways for female reproductive organ development,” <i>Development</i>,
    vol. 143, no. 23. Company of Biologists, pp. 4419–4424, 2016.
  ista: Cucinotta M, Manrique S, Guazzotti A, Quadrelli N, Mendes M, Benková E, Colombo
    L. 2016. Cytokinin response factors integrate auxin and cytokinin pathways for
    female reproductive organ development. Development. 143(23), 4419–4424.
  mla: Cucinotta, Mara, et al. “Cytokinin Response Factors Integrate Auxin and Cytokinin
    Pathways for Female Reproductive Organ Development.” <i>Development</i>, vol.
    143, no. 23, Company of Biologists, 2016, pp. 4419–24, doi:<a href="https://doi.org/10.1242/dev.143545">10.1242/dev.143545</a>.
  short: M. Cucinotta, S. Manrique, A. Guazzotti, N. Quadrelli, M. Mendes, E. Benková,
    L. Colombo, Development 143 (2016) 4419–4424.
date_created: 2018-12-11T11:50:36Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2021-01-12T06:48:56Z
day: '01'
department:
- _id: EvBe
doi: 10.1242/dev.143545
intvolume: '       143'
issue: '23'
language:
- iso: eng
month: '12'
oa_version: None
page: 4419 - 4424
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '6168'
quality_controlled: '1'
scopus_import: 1
status: public
title: Cytokinin response factors integrate auxin and cytokinin pathways for female
  reproductive organ development
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 143
year: '2016'
...
---
_id: '1186'
abstract:
- lang: eng
  text: The human pathogen Streptococcus pneumoniae is decorated with a special class
    of surface-proteins known as choline-binding proteins (CBPs) attached to phosphorylcholine
    (PCho) moieties from cell-wall teichoic acids. By a combination of X-ray crystallography,
    NMR, molecular dynamics techniques and in vivo virulence and phagocytosis studies,
    we provide structural information of choline-binding protein L (CbpL) and demonstrate
    its impact on pneumococcal pathogenesis and immune evasion. CbpL is a very elongated
    three-module protein composed of (i) an Excalibur Ca 2+ -binding domain -reported
    in this work for the very first time-, (ii) an unprecedented anchorage module
    showing alternate disposition of canonical and non-canonical choline-binding sites
    that allows vine-like binding of fully-PCho-substituted teichoic acids (with two
    choline moieties per unit), and (iii) a Ltp-Lipoprotein domain. Our structural
    and infection assays indicate an important role of the whole multimodular protein
    allowing both to locate CbpL at specific places on the cell wall and to interact
    with host components in order to facilitate pneumococcal lung infection and transmigration
    from nasopharynx to the lungs and blood. CbpL implication in both resistance against
    killing by phagocytes and pneumococcal pathogenesis further postulate this surface-protein
    as relevant among the pathogenic arsenal of the pneumococcus.
acknowledgement: We gratefully acknowledge Karsta Barnekow and Kristine Sievert-Giermann,
  for technical assistance and Lothar Petruschka for in silico analysis (all Dept.
  of Genetics, University of Greifswald). We are further grateful to the staff from
  SLS synchrotron beamline for help in data collection. This work was supported by
  grants from the Deutsche Forschungsgemeinschaft DFG GRK 1870 (to SH) and the Spanish
  Ministry of Economy and Competitiveness (BFU2014-59389-P to JAH, CTQ2014-52633-P
  to MB and SAF2012-39760-C02-02 to FG) and S2010/BMD-2457 (Community of Madrid to
  JAH and FG).
article_number: '38094'
author:
- first_name: Javier
  full_name: Gutierrez-Fernandez, Javier
  id: 3D9511BA-F248-11E8-B48F-1D18A9856A87
  last_name: Gutierrez-Fernandez
- first_name: Malek
  full_name: Saleh, Malek
  last_name: Saleh
- first_name: Martín
  full_name: Alcorlo, Martín
  last_name: Alcorlo
- first_name: Alejandro
  full_name: Gómez Mejóa, Alejandro
  last_name: Gómez Mejóa
- first_name: David
  full_name: Pantoja Uceda, David
  last_name: Pantoja Uceda
- first_name: Miguel
  full_name: Treviño, Miguel
  last_name: Treviño
- first_name: Franziska
  full_name: Vob, Franziska
  last_name: Vob
- first_name: Mohammed
  full_name: Abdullah, Mohammed
  last_name: Abdullah
- first_name: Sergio
  full_name: Galán Bartual, Sergio
  last_name: Galán Bartual
- first_name: Jolien
  full_name: Seinen, Jolien
  last_name: Seinen
- first_name: Pedro
  full_name: Sánchez Murcia, Pedro
  last_name: Sánchez Murcia
- first_name: Federico
  full_name: Gago, Federico
  last_name: Gago
- first_name: Marta
  full_name: Bruix, Marta
  last_name: Bruix
- first_name: Sven
  full_name: Hammerschmidt, Sven
  last_name: Hammerschmidt
- first_name: Juan
  full_name: Hermoso, Juan
  last_name: Hermoso
citation:
  ama: Gutierrez-Fernandez J, Saleh M, Alcorlo M, et al. Modular architecture and
    unique teichoic acid recognition features of choline-binding protein L CbpL contributing
    to pneumococcal pathogenesis. <i>Scientific Reports</i>. 2016;6. doi:<a href="https://doi.org/10.1038/srep38094">10.1038/srep38094</a>
  apa: Gutierrez-Fernandez, J., Saleh, M., Alcorlo, M., Gómez Mejóa, A., Pantoja Uceda,
    D., Treviño, M., … Hermoso, J. (2016). Modular architecture and unique teichoic
    acid recognition features of choline-binding protein L CbpL contributing to pneumococcal
    pathogenesis. <i>Scientific Reports</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/srep38094">https://doi.org/10.1038/srep38094</a>
  chicago: Gutierrez-Fernandez, Javier, Malek Saleh, Martín Alcorlo, Alejandro Gómez
    Mejóa, David Pantoja Uceda, Miguel Treviño, Franziska Vob, et al. “Modular Architecture
    and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL
    Contributing to Pneumococcal Pathogenesis.” <i>Scientific Reports</i>. Nature
    Publishing Group, 2016. <a href="https://doi.org/10.1038/srep38094">https://doi.org/10.1038/srep38094</a>.
  ieee: J. Gutierrez-Fernandez <i>et al.</i>, “Modular architecture and unique teichoic
    acid recognition features of choline-binding protein L CbpL contributing to pneumococcal
    pathogenesis,” <i>Scientific Reports</i>, vol. 6. Nature Publishing Group, 2016.
  ista: Gutierrez-Fernandez J, Saleh M, Alcorlo M, Gómez Mejóa A, Pantoja Uceda D,
    Treviño M, Vob F, Abdullah M, Galán Bartual S, Seinen J, Sánchez Murcia P, Gago
    F, Bruix M, Hammerschmidt S, Hermoso J. 2016. Modular architecture and unique
    teichoic acid recognition features of choline-binding protein L CbpL contributing
    to pneumococcal pathogenesis. Scientific Reports. 6, 38094.
  mla: Gutierrez-Fernandez, Javier, et al. “Modular Architecture and Unique Teichoic
    Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal
    Pathogenesis.” <i>Scientific Reports</i>, vol. 6, 38094, Nature Publishing Group,
    2016, doi:<a href="https://doi.org/10.1038/srep38094">10.1038/srep38094</a>.
  short: J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja
    Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez
    Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6
    (2016).
date_created: 2018-12-11T11:50:36Z
date_published: 2016-12-05T00:00:00Z
date_updated: 2021-01-12T06:48:56Z
day: '05'
ddc:
- '576'
- '610'
department:
- _id: LeSa
doi: 10.1038/srep38094
file:
- access_level: open_access
  checksum: e007d78b483bc59bf5ab98e9d42a6ec1
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:18Z
  date_updated: 2020-07-14T12:44:37Z
  file_id: '4804'
  file_name: IST-2017-735-v1+1_srep38094.pdf
  file_size: 2716045
  relation: main_file
file_date_updated: 2020-07-14T12:44:37Z
has_accepted_license: '1'
intvolume: '         6'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '6167'
pubrep_id: '735'
quality_controlled: '1'
scopus_import: 1
status: public
title: Modular architecture and unique teichoic acid recognition features of choline-binding
  protein L CbpL contributing to pneumococcal pathogenesis
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2016'
...
---
_id: '1188'
abstract:
- lang: eng
  text: "We consider a population dynamics model coupling cell growth to a diffusion
    in the space of metabolic phenotypes as it can be obtained from realistic constraints-based
    modelling. \r\nIn the asymptotic regime of slow\r\ndiffusion, that coincides with
    the relevant experimental range, the resulting\r\nnon-linear Fokker–Planck equation
    is solved for the steady state in the WKB\r\napproximation that maps it into the
    ground state of a quantum particle in an\r\nAiry potential plus a centrifugal
    term. We retrieve scaling laws for growth rate\r\nfluctuations and time response
    with respect to the distance from the maximum\r\ngrowth rate suggesting that suboptimal
    populations can have a faster response\r\nto perturbations."
acknowledgement: D De Martino is supported by the People Programme (Marie Curie Actions)
  of the European Union's Seventh Framework Programme (FP7/2007–2013) under REA grant
  agreement no. [291734]. D Masoero is supported by the FCT scholarship, number SFRH/BPD/75908/2011.
  D De Martino thanks the Grupo de Física Matemática of the Universidade de Lisboa
  for the kind hospitality. We also wish to thank Matteo Osella, Vincenzo Vitagliano
  and Vera Luz Masoero for useful discussions, also late at night.
article_number: '123502'
author:
- first_name: Daniele
  full_name: De Martino, Daniele
  id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
  last_name: De Martino
  orcid: 0000-0002-5214-4706
- first_name: Davide
  full_name: Masoero, Davide
  last_name: Masoero
citation:
  ama: 'De Martino D, Masoero D. Asymptotic analysis of noisy fitness maximization,
    applied to metabolism &#38;amp; growth. <i> Journal of Statistical Mechanics:
    Theory and Experiment</i>. 2016;2016(12). doi:<a href="https://doi.org/10.1088/1742-5468/aa4e8f">10.1088/1742-5468/aa4e8f</a>'
  apa: 'De Martino, D., &#38; Masoero, D. (2016). Asymptotic analysis of noisy fitness
    maximization, applied to metabolism &#38;amp; growth. <i> Journal of Statistical
    Mechanics: Theory and Experiment</i>. IOPscience. <a href="https://doi.org/10.1088/1742-5468/aa4e8f">https://doi.org/10.1088/1742-5468/aa4e8f</a>'
  chicago: 'De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy
    Fitness Maximization, Applied to Metabolism &#38;amp; Growth.” <i> Journal of
    Statistical Mechanics: Theory and Experiment</i>. IOPscience, 2016. <a href="https://doi.org/10.1088/1742-5468/aa4e8f">https://doi.org/10.1088/1742-5468/aa4e8f</a>.'
  ieee: 'D. De Martino and D. Masoero, “Asymptotic analysis of noisy fitness maximization,
    applied to metabolism &#38;amp; growth,” <i> Journal of Statistical Mechanics:
    Theory and Experiment</i>, vol. 2016, no. 12. IOPscience, 2016.'
  ista: 'De Martino D, Masoero D. 2016. Asymptotic analysis of noisy fitness maximization,
    applied to metabolism &#38;amp; growth.  Journal of Statistical Mechanics: Theory
    and Experiment. 2016(12), 123502.'
  mla: 'De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness
    Maximization, Applied to Metabolism &#38;amp; Growth.” <i> Journal of Statistical
    Mechanics: Theory and Experiment</i>, vol. 2016, no. 12, 123502, IOPscience, 2016,
    doi:<a href="https://doi.org/10.1088/1742-5468/aa4e8f">10.1088/1742-5468/aa4e8f</a>.'
  short: 'D. De Martino, D. Masoero,  Journal of Statistical Mechanics: Theory and
    Experiment 2016 (2016).'
date_created: 2018-12-11T11:50:37Z
date_published: 2016-12-30T00:00:00Z
date_updated: 2021-01-12T06:48:57Z
day: '30'
department:
- _id: GaTk
doi: 10.1088/1742-5468/aa4e8f
ec_funded: 1
intvolume: '      2016'
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1606.09048
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: ' Journal of Statistical Mechanics: Theory and Experiment'
publication_status: published
publisher: IOPscience
publist_id: '6165'
quality_controlled: '1'
scopus_import: 1
status: public
title: Asymptotic analysis of noisy fitness maximization, applied to metabolism &amp;
  growth
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 2016
year: '2016'
...
---
_id: '1193'
abstract:
- lang: eng
  text: We consider the recent formulation of the Algorithmic Lovász Local Lemma [1],
    [2] for finding objects that avoid &quot;bad features&quot;, or &quot;flaws&quot;.
    It extends the Moser-Tardos resampling algorithm [3] to more general discrete
    spaces. At each step the method picks a flaw present in the current state and
    &quot;resamples&quot; it using a &quot;resampling oracle&quot; provided by the
    user. However, it is less flexible than the Moser-Tardos method since [1], [2]
    require a specific flaw selection rule, whereas [3] allows an arbitrary rule (and
    thus can potentially be implemented more efficiently). We formulate a new &quot;commutativity&quot;
    condition, and prove that it is sufficient for an arbitrary rule to work. It also
    enables an efficient parallelization under an additional assumption. We then show
    that existing resampling oracles for perfect matchings and permutations do satisfy
    this condition. Finally, we generalize the precondition in [2] (in the case of
    symmetric potential causality graphs). This unifies special cases that previously
    were treated separately.
acknowledgement: European Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant
  agreement no 616160
article_number: '7782993'
article_processing_charge: No
arxiv: 1
author:
- first_name: Vladimir
  full_name: Kolmogorov, Vladimir
  id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
  last_name: Kolmogorov
citation:
  ama: 'Kolmogorov V. Commutativity in the algorithmic Lovasz local lemma. In: <i>Proceedings
    - Annual IEEE Symposium on Foundations of Computer Science</i>. Vol 2016-December.
    IEEE; 2016. doi:<a href="https://doi.org/10.1109/FOCS.2016.88">10.1109/FOCS.2016.88</a>'
  apa: 'Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma.
    In <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>
    (Vol. 2016–December). New Brunswick, NJ, USA : IEEE. <a href="https://doi.org/10.1109/FOCS.2016.88">https://doi.org/10.1109/FOCS.2016.88</a>'
  chicago: Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.”
    In <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>,
    Vol. 2016–December. IEEE, 2016. <a href="https://doi.org/10.1109/FOCS.2016.88">https://doi.org/10.1109/FOCS.2016.88</a>.
  ieee: V. Kolmogorov, “Commutativity in the algorithmic Lovasz local lemma,” in <i>Proceedings
    - Annual IEEE Symposium on Foundations of Computer Science</i>, New Brunswick,
    NJ, USA , 2016, vol. 2016–December.
  ista: 'Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma.
    Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS:
    Foundations of Computer Science vol. 2016–December, 7782993.'
  mla: Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.”
    <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>,
    vol. 2016–December, 7782993, IEEE, 2016, doi:<a href="https://doi.org/10.1109/FOCS.2016.88">10.1109/FOCS.2016.88</a>.
  short: V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of
    Computer Science, IEEE, 2016.
conference:
  end_date: 2016-09-11
  location: 'New Brunswick, NJ, USA '
  name: 'FOCS: Foundations of Computer Science'
  start_date: 2016-09-09
date_created: 2018-12-11T11:50:38Z
date_published: 2016-12-15T00:00:00Z
date_updated: 2023-09-19T14:24:57Z
day: '15'
department:
- _id: VlKo
doi: 10.1109/FOCS.2016.88
ec_funded: 1
external_id:
  arxiv:
  - '1506.08547'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1506.08547v7
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '616160'
  name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication: Proceedings - Annual IEEE Symposium on Foundations of Computer Science
publication_status: published
publisher: IEEE
publist_id: '6158'
quality_controlled: '1'
related_material:
  record:
  - id: '5975'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Commutativity in the algorithmic Lovasz local lemma
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2016-December
year: '2016'
...
---
_id: '1195'
abstract:
- lang: eng
  text: 'The genetic analysis of experimentally evolving populations typically relies
    on short reads from pooled individuals (Pool-Seq). While this method provides
    reliable allele frequency estimates, the underlying haplotype structure remains
    poorly characterized. With small population sizes and adaptive variants that start
    from low frequencies, the interpretation of selection signatures in most Evolve
    and Resequencing studies remains challenging. To facilitate the characterization
    of selection targets, we propose a new approach that reconstructs selected haplotypes
    from replicated time series, using Pool-Seq data. We identify selected haplotypes
    through the correlated frequencies of alleles carried by them. Computer simulations
    indicate that selected haplotype-blocks of several Mb can be reconstructed with
    high confidence and low error rates, even when allele frequencies change only
    by 20% across three replicates. Applying this method to real data from D. melanogaster
    populations adapting to a hot environment, we identify a selected haplotype-block
    of 6.93 Mb. We confirm the presence of this haplotype-block in evolved populations
    by experimental haplotyping, demonstrating the power and accuracy of our haplotype
    reconstruction from Pool-Seq data. We propose that the combination of allele frequency
    estimates with haplotype information will provide the key to understanding the
    dynamics of adaptive alleles. '
acknowledgement: "The authors thank all members of the Institute of Population\r\nGenetics
  for discussion and support on the project and par-\r\nticularly N. Barghi for helpful
  comments on earlier versions of\r\nthe  manuscript.  This  work  was  supported
  \ by  the  European\r\nResearch Council (ERC) grants “ArchAdapt” and “250152”."
author:
- first_name: Susan
  full_name: Franssen, Susan
  last_name: Franssen
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
- first_name: Christian
  full_name: Schlötterer, Christian
  last_name: Schlötterer
citation:
  ama: Franssen S, Barton NH, Schlötterer C. Reconstruction of haplotype-blocks selected
    during experimental evolution. <i>Molecular Biology and Evolution</i>. 2016;34(1):174-184.
    doi:<a href="https://doi.org/10.1093/molbev/msw210">10.1093/molbev/msw210</a>
  apa: Franssen, S., Barton, N. H., &#38; Schlötterer, C. (2016). Reconstruction of
    haplotype-blocks selected during experimental evolution. <i>Molecular Biology
    and Evolution</i>. Oxford University Press. <a href="https://doi.org/10.1093/molbev/msw210">https://doi.org/10.1093/molbev/msw210</a>
  chicago: Franssen, Susan, Nicholas H Barton, and Christian Schlötterer. “Reconstruction
    of Haplotype-Blocks Selected during Experimental Evolution.” <i>Molecular Biology
    and Evolution</i>. Oxford University Press, 2016. <a href="https://doi.org/10.1093/molbev/msw210">https://doi.org/10.1093/molbev/msw210</a>.
  ieee: S. Franssen, N. H. Barton, and C. Schlötterer, “Reconstruction of haplotype-blocks
    selected during experimental evolution.,” <i>Molecular Biology and Evolution</i>,
    vol. 34, no. 1. Oxford University Press, pp. 174–184, 2016.
  ista: Franssen S, Barton NH, Schlötterer C. 2016. Reconstruction of haplotype-blocks
    selected during experimental evolution. Molecular Biology and Evolution. 34(1),
    174–184.
  mla: Franssen, Susan, et al. “Reconstruction of Haplotype-Blocks Selected during
    Experimental Evolution.” <i>Molecular Biology and Evolution</i>, vol. 34, no.
    1, Oxford University Press, 2016, pp. 174–84, doi:<a href="https://doi.org/10.1093/molbev/msw210">10.1093/molbev/msw210</a>.
  short: S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution
    34 (2016) 174–184.
date_created: 2018-12-11T11:50:39Z
date_published: 2016-10-03T00:00:00Z
date_updated: 2021-01-12T06:49:00Z
day: '03'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1093/molbev/msw210
ec_funded: 1
file:
- access_level: open_access
  checksum: 1e78d3aaffcb40dc8b02b7b4666019e0
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:35Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5223'
  file_name: IST-2017-770-v1+1_FranssenEtAl_nofigs-1.pdf
  file_size: 295274
  relation: main_file
- access_level: open_access
  checksum: e13171843283774404c936c581b4543e
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:36Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5224'
  file_name: IST-2017-770-v1+2_Fig1.pdf
  file_size: 10902625
  relation: main_file
- access_level: open_access
  checksum: 63bc6e6e61f347594d8c00c37f874a0b
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:37Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5225'
  file_name: IST-2017-770-v1+3_Fig2.pdf
  file_size: 21437
  relation: main_file
- access_level: open_access
  checksum: da87cc7c78808837f22a3dae1c8397f9
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:38Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5226'
  file_name: IST-2017-770-v1+4_Fig3.pdf
  file_size: 1172194
  relation: main_file
- access_level: open_access
  checksum: e47b2a0c32142f423b3100150c0294f8
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:38Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5227'
  file_name: IST-2017-770-v1+5_Fig4.pdf
  file_size: 50045
  relation: main_file
- access_level: open_access
  checksum: a5a7d6b32e7e17d35d337d7ec2a9f6c9
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:39Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5228'
  file_name: IST-2017-770-v1+6_Fig5.pdf
  file_size: 50705
  relation: main_file
file_date_updated: 2020-07-14T12:44:38Z
has_accepted_license: '1'
intvolume: '        34'
issue: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 174 - 184
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '250152'
  name: Limits to selection in biology and in evolutionary computation
publication: Molecular Biology and Evolution
publication_status: published
publisher: Oxford University Press
publist_id: '6155'
pubrep_id: '770'
quality_controlled: '1'
scopus_import: 1
status: public
title: Reconstruction of haplotype-blocks selected during experimental evolution.
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 34
year: '2016'
...
---
_id: '1197'
abstract:
- lang: eng
  text: Across the nervous system, certain population spiking patterns are observed
    far more frequently than others. A hypothesis about this structure is that these
    collective activity patterns function as population codewords–collective modes–carrying
    information distinct from that of any single cell. We investigate this phenomenon
    in recordings of ∼150 retinal ganglion cells, the retina’s output. We develop
    a novel statistical model that decomposes the population response into modes;
    it predicts the distribution of spiking activity in the ganglion cell population
    with high accuracy. We found that the modes represent localized features of the
    visual stimulus that are distinct from the features represented by single neurons.
    Modes form clusters of activity states that are readily discriminated from one
    another. When we repeated the same visual stimulus, we found that the same mode
    was robustly elicited. These results suggest that retinal ganglion cells’ collective
    signaling is endowed with a form of error-correcting code–a principle that may
    hold in brain areas beyond retina.
acknowledgement: JSP was supported by a C.V. Starr Fellowship from the Starr Foundation
  (http://www.starrfoundation.org/). GT was supported by Austrian Research Foundation
  (https://www.fwf.ac.at/en/) grant FWF P25651. MJB received support from National
  Eye Institute (https://nei.nih.gov/) grant EY 14196 and from the National Science
  Foundation grant 1504977. The authors thank Cristina Savin and Vicent Botella-Soler
  for helpful comments on the manuscript.
article_number: e1005855
author:
- first_name: Jason
  full_name: Prentice, Jason
  last_name: Prentice
- first_name: Olivier
  full_name: Marre, Olivier
  last_name: Marre
- first_name: Mark
  full_name: Ioffe, Mark
  last_name: Ioffe
- first_name: Adrianna
  full_name: Loback, Adrianna
  last_name: Loback
- first_name: Gasper
  full_name: Tkacik, Gasper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkacik
  orcid: 0000-0002-6699-1455
- first_name: Michael
  full_name: Berry, Michael
  last_name: Berry
citation:
  ama: Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. Error-robust modes
    of the retinal population code. <i>PLoS Computational Biology</i>. 2016;12(11).
    doi:<a href="https://doi.org/10.1371/journal.pcbi.1005148">10.1371/journal.pcbi.1005148</a>
  apa: Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., &#38; Berry, M.
    (2016). Error-robust modes of the retinal population code. <i>PLoS Computational
    Biology</i>. Public Library of Science. <a href="https://doi.org/10.1371/journal.pcbi.1005148">https://doi.org/10.1371/journal.pcbi.1005148</a>
  chicago: Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gašper Tkačik,
    and Michael Berry. “Error-Robust Modes of the Retinal Population Code.” <i>PLoS
    Computational Biology</i>. Public Library of Science, 2016. <a href="https://doi.org/10.1371/journal.pcbi.1005148">https://doi.org/10.1371/journal.pcbi.1005148</a>.
  ieee: J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Error-robust
    modes of the retinal population code,” <i>PLoS Computational Biology</i>, vol.
    12, no. 11. Public Library of Science, 2016.
  ista: Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2016. Error-robust
    modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.
  mla: Prentice, Jason, et al. “Error-Robust Modes of the Retinal Population Code.”
    <i>PLoS Computational Biology</i>, vol. 12, no. 11, e1005855, Public Library of
    Science, 2016, doi:<a href="https://doi.org/10.1371/journal.pcbi.1005148">10.1371/journal.pcbi.1005148</a>.
  short: J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational
    Biology 12 (2016).
date_created: 2018-12-11T11:50:40Z
date_published: 2016-11-17T00:00:00Z
date_updated: 2023-02-23T14:05:40Z
day: '17'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1371/journal.pcbi.1005148
file:
- access_level: open_access
  checksum: 47b08cbd4dbf32b25ba161f5f4b262cc
  content_type: application/pdf
  creator: kschuh
  date_created: 2019-01-25T10:35:00Z
  date_updated: 2020-07-14T12:44:38Z
  file_id: '5884'
  file_name: 2016_PLOS_Prentice.pdf
  file_size: 4492021
  relation: main_file
file_date_updated: 2020-07-14T12:44:38Z
has_accepted_license: '1'
intvolume: '        12'
issue: '11'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
project:
- _id: 254D1A94-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 25651-N26
  name: Sensitivity to higher-order statistics in natural scenes
publication: PLoS Computational Biology
publication_status: published
publisher: Public Library of Science
publist_id: '6153'
quality_controlled: '1'
related_material:
  record:
  - id: '9709'
    relation: research_data
    status: public
scopus_import: 1
status: public
title: Error-robust modes of the retinal population code
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2016'
...
---
_id: '1200'
acknowledgement: C.H. acknowledges generous support from the ISTFELLOW program.
author:
- first_name: Christian
  full_name: Hilbe, Christian
  id: 2FDF8F3C-F248-11E8-B48F-1D18A9856A87
  last_name: Hilbe
  orcid: 0000-0001-5116-955X
- first_name: Arne
  full_name: Traulsen, Arne
  last_name: Traulsen
citation:
  ama: 'Hilbe C, Traulsen A. Only the combination of mathematics and agent based simulations
    can leverage the full potential of evolutionary modeling: Comment on “Evolutionary
    game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze.
    <i>Physics of Life Reviews</i>. 2016;19:29-31. doi:<a href="https://doi.org/10.1016/j.plrev.2016.10.004">10.1016/j.plrev.2016.10.004</a>'
  apa: 'Hilbe, C., &#38; Traulsen, A. (2016). Only the combination of mathematics
    and agent based simulations can leverage the full potential of evolutionary modeling:
    Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J.
    Schossau and A. Hintze. <i>Physics of Life Reviews</i>. Elsevier. <a href="https://doi.org/10.1016/j.plrev.2016.10.004">https://doi.org/10.1016/j.plrev.2016.10.004</a>'
  chicago: 'Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics
    and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling:
    Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J.
    Schossau and A. Hintze.” <i>Physics of Life Reviews</i>. Elsevier, 2016. <a href="https://doi.org/10.1016/j.plrev.2016.10.004">https://doi.org/10.1016/j.plrev.2016.10.004</a>.'
  ieee: 'C. Hilbe and A. Traulsen, “Only the combination of mathematics and agent
    based simulations can leverage the full potential of evolutionary modeling: Comment
    on ‘Evolutionary game theory using agent-based methods’ by C. Adami, J. Schossau
    and A. Hintze,” <i>Physics of Life Reviews</i>, vol. 19. Elsevier, pp. 29–31,
    2016.'
  ista: 'Hilbe C, Traulsen A. 2016. Only the combination of mathematics and agent
    based simulations can leverage the full potential of evolutionary modeling: Comment
    on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau
    and A. Hintze. Physics of Life Reviews. 19, 29–31.'
  mla: 'Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics
    and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling:
    Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J.
    Schossau and A. Hintze.” <i>Physics of Life Reviews</i>, vol. 19, Elsevier, 2016,
    pp. 29–31, doi:<a href="https://doi.org/10.1016/j.plrev.2016.10.004">10.1016/j.plrev.2016.10.004</a>.'
  short: C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31.
date_created: 2018-12-11T11:50:40Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2021-01-12T06:49:03Z
day: '01'
ddc:
- '530'
department:
- _id: KrCh
doi: 10.1016/j.plrev.2016.10.004
ec_funded: 1
file:
- access_level: open_access
  checksum: 95e6dc78278334b99dacbf8822509364
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:11:02Z
  date_updated: 2020-07-14T12:44:39Z
  file_id: '4855'
  file_name: IST-2017-798-v1+1_comment_adami.pdf
  file_size: 171352
  relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: '        19'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '12'
oa: 1
oa_version: Submitted Version
page: 29 - 31
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Physics of Life Reviews
publication_status: published
publisher: Elsevier
publist_id: '6150'
pubrep_id: '798'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Only the combination of mathematics and agent based simulations can leverage
  the full potential of evolutionary modeling: Comment on “Evolutionary game theory
  using agent-based methods” by C. Adami, J. Schossau and A. Hintze'
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 19
year: '2016'
...
---
_id: '1201'
abstract:
- lang: eng
  text: In this issue of Cell, Skau et al. show that the formin FMN2 organizes a perinuclear
    actin cytoskeleton that protects the nucleus and its genomic content of migrating
    cells squeezing through small spaces.
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: 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, Sixt MK. Formin’ a nuclear protection. <i>Cell</i>. 2016;167(6):1448-1449.
    doi:<a href="https://doi.org/10.1016/j.cell.2016.11.024">10.1016/j.cell.2016.11.024</a>
  apa: Renkawitz, J., &#38; Sixt, M. K. (2016). Formin’ a nuclear protection. <i>Cell</i>.
    Cell Press. <a href="https://doi.org/10.1016/j.cell.2016.11.024">https://doi.org/10.1016/j.cell.2016.11.024</a>
  chicago: Renkawitz, Jörg, and Michael K Sixt. “Formin’ a Nuclear Protection.” <i>Cell</i>.
    Cell Press, 2016. <a href="https://doi.org/10.1016/j.cell.2016.11.024">https://doi.org/10.1016/j.cell.2016.11.024</a>.
  ieee: J. Renkawitz and M. K. Sixt, “Formin’ a nuclear protection,” <i>Cell</i>,
    vol. 167, no. 6. Cell Press, pp. 1448–1449, 2016.
  ista: Renkawitz J, Sixt MK. 2016. Formin’ a nuclear protection. Cell. 167(6), 1448–1449.
  mla: Renkawitz, Jörg, and Michael K. Sixt. “Formin’ a Nuclear Protection.” <i>Cell</i>,
    vol. 167, no. 6, Cell Press, 2016, pp. 1448–49, doi:<a href="https://doi.org/10.1016/j.cell.2016.11.024">10.1016/j.cell.2016.11.024</a>.
  short: J. Renkawitz, M.K. Sixt, Cell 167 (2016) 1448–1449.
date_created: 2018-12-11T11:50:41Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2021-01-12T06:49:03Z
day: '01'
department:
- _id: MiSi
doi: 10.1016/j.cell.2016.11.024
intvolume: '       167'
issue: '6'
language:
- iso: eng
month: '12'
oa_version: None
page: 1448 - 1449
publication: Cell
publication_status: published
publisher: Cell Press
publist_id: '6149'
quality_controlled: '1'
scopus_import: 1
status: public
title: Formin’ a nuclear protection
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 167
year: '2016'
...
---
_id: '1202'
acknowledgement: The authors thank Sophie A.O. Armitage and Jan N. Offenborn for helpful
  comments on the figures, and two anonymous reviewers for their helpful comments.
  The project was funded by the Deutsche Forschungsgemeinschaft (DFG, KU 1929/4-2)
  within the priority programme SPP 1399 “Host–Parasite Coevolution”.
author:
- first_name: Barbara
  full_name: Milutinovic, Barbara
  id: 2CDC32B8-F248-11E8-B48F-1D18A9856A87
  last_name: Milutinovic
  orcid: 0000-0002-8214-4758
- first_name: Robert
  full_name: Peuß, Robert
  last_name: Peuß
- first_name: Kevin
  full_name: Ferro, Kevin
  last_name: Ferro
- first_name: Joachim
  full_name: Kurtz, Joachim
  last_name: Kurtz
citation:
  ama: 'Milutinovic B, Peuß R, Ferro K, Kurtz J. Immune priming in arthropods: an
    update focusing on the red flour beetle. <i>Zoology </i>. 2016;119(4):254-261.
    doi:<a href="https://doi.org/10.1016/j.zool.2016.03.006">10.1016/j.zool.2016.03.006</a>'
  apa: 'Milutinovic, B., Peuß, R., Ferro, K., &#38; Kurtz, J. (2016). Immune priming
    in arthropods: an update focusing on the red flour beetle. <i>Zoology </i>. Elsevier.
    <a href="https://doi.org/10.1016/j.zool.2016.03.006">https://doi.org/10.1016/j.zool.2016.03.006</a>'
  chicago: 'Milutinovic, Barbara, Robert Peuß, Kevin Ferro, and Joachim Kurtz. “Immune
    Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” <i>Zoology
    </i>. Elsevier, 2016. <a href="https://doi.org/10.1016/j.zool.2016.03.006">https://doi.org/10.1016/j.zool.2016.03.006</a>.'
  ieee: 'B. Milutinovic, R. Peuß, K. Ferro, and J. Kurtz, “Immune priming in arthropods:
    an update focusing on the red flour beetle,” <i>Zoology </i>, vol. 119, no. 4.
    Elsevier, pp. 254–261, 2016.'
  ista: 'Milutinovic B, Peuß R, Ferro K, Kurtz J. 2016. Immune priming in arthropods:
    an update focusing on the red flour beetle. Zoology . 119(4), 254–261.'
  mla: 'Milutinovic, Barbara, et al. “Immune Priming in Arthropods: An Update Focusing
    on the Red Flour Beetle.” <i>Zoology </i>, vol. 119, no. 4, Elsevier, 2016, pp.
    254–61, doi:<a href="https://doi.org/10.1016/j.zool.2016.03.006">10.1016/j.zool.2016.03.006</a>.'
  short: B. Milutinovic, R. Peuß, K. Ferro, J. Kurtz, Zoology  119 (2016) 254–261.
date_created: 2018-12-11T11:50:41Z
date_published: 2016-08-01T00:00:00Z
date_updated: 2021-01-12T06:49:03Z
day: '01'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.1016/j.zool.2016.03.006
file:
- access_level: open_access
  checksum: 8396d5bd95f9c4295857162f902afabf
  content_type: application/pdf
  creator: kschuh
  date_created: 2019-01-25T13:00:20Z
  date_updated: 2020-07-14T12:44:39Z
  file_id: '5885'
  file_name: 2016_Elsevier_Milutinovic.pdf
  file_size: 1473211
  relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: '       119'
issue: '4'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 254 - 261
project:
- _id: 25DAF0B2-B435-11E9-9278-68D0E5697425
  grant_number: CR-118/3-1
  name: Host-Parasite Coevolution
publication: 'Zoology '
publication_status: published
publisher: Elsevier
publist_id: '6147'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Immune priming in arthropods: an update focusing on the red flour beetle'
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 119
year: '2016'
...
---
_id: '1203'
abstract:
- lang: eng
  text: Haemophilus haemolyticus has been recently discovered to have the potential
    to cause invasive disease. It is closely related to nontypeable Haemophilus influenzae
    (NT H. influenzae). NT H. influenzae and H. haemolyticus are often misidentified
    because none of the existing tests targeting the known phenotypes of H. haemolyticus
    are able to specifically identify H. haemolyticus. Through comparative genomic
    analysis of H. haemolyticus and NT H. influenzae, we identified genes unique to
    H. haemolyticus that can be used as targets for the identification of H. haemolyticus.
    A real-time PCR targeting purT (encoding phosphoribosylglycinamide formyltransferase
    2 in the purine synthesis pathway) was developed and evaluated. The lower limit
    of detection was 40 genomes/PCR; the sensitivity and specificity in detecting
    H. haemolyticus were 98.9% and 97%, respectively. To improve the discrimination
    of H. haemolyticus and NT H. influenzae, a testing scheme combining two targets
    (H. haemolyticus purT and H. influenzae hpd, encoding protein D lipoprotein) was
    also evaluated and showed 96.7% sensitivity and 98.2% specificity for the identification
    of H. haemolyticus and 92.8% sensitivity and 100% specificity for the identification
    of H. influenzae, respectively. The dual-target testing scheme can be used for
    the diagnosis and surveillance of infection and disease caused by H. haemolyticus
    and NT H. influenzae.
acknowledgement: We are grateful to ABCs for providing strains and the Bacterial Meningitis
  Laboratory for technical support.
author:
- first_name: Fang
  full_name: Hu, Fang
  last_name: Hu
- first_name: Lavanya
  full_name: Rishishwar, Lavanya
  last_name: Rishishwar
- first_name: Ambily
  full_name: Sivadas, Ambily
  last_name: Sivadas
- first_name: Gabriel
  full_name: Mitchell, Gabriel
  id: 315BCD80-F248-11E8-B48F-1D18A9856A87
  last_name: Mitchell
- first_name: Jordan
  full_name: King, Jordan
  last_name: King
- first_name: Timothy
  full_name: Murphy, Timothy
  last_name: Murphy
- first_name: Janet
  full_name: Gilsdorf, Janet
  last_name: Gilsdorf
- first_name: Leonard
  full_name: Mayer, Leonard
  last_name: Mayer
- first_name: Xin
  full_name: Wang, Xin
  last_name: Wang
citation:
  ama: Hu F, Rishishwar L, Sivadas A, et al. Comparative genomic analysis of Haemophilus
    haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for
    their discrimination. <i>Journal of Clinical Microbiology</i>. 2016;54(12):3010-3017.
    doi:<a href="https://doi.org/10.1128/JCM.01511-16">10.1128/JCM.01511-16</a>
  apa: Hu, F., Rishishwar, L., Sivadas, A., Mitchell, G., King, J., Murphy, T., …
    Wang, X. (2016). Comparative genomic analysis of Haemophilus haemolyticus and
    nontypeable Haemophilus influenzae and a new testing scheme for their discrimination.
    <i>Journal of Clinical Microbiology</i>. American Society for Microbiology. <a
    href="https://doi.org/10.1128/JCM.01511-16">https://doi.org/10.1128/JCM.01511-16</a>
  chicago: Hu, Fang, Lavanya Rishishwar, Ambily Sivadas, Gabriel Mitchell, Jordan
    King, Timothy Murphy, Janet Gilsdorf, Leonard Mayer, and Xin Wang. “Comparative
    Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae
    and a New Testing Scheme for Their Discrimination.” <i>Journal of Clinical Microbiology</i>.
    American Society for Microbiology, 2016. <a href="https://doi.org/10.1128/JCM.01511-16">https://doi.org/10.1128/JCM.01511-16</a>.
  ieee: F. Hu <i>et al.</i>, “Comparative genomic analysis of Haemophilus haemolyticus
    and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination,”
    <i>Journal of Clinical Microbiology</i>, vol. 54, no. 12. American Society for
    Microbiology, pp. 3010–3017, 2016.
  ista: Hu F, Rishishwar L, Sivadas A, Mitchell G, King J, Murphy T, Gilsdorf J, Mayer
    L, Wang X. 2016. Comparative genomic analysis of Haemophilus haemolyticus and
    nontypeable Haemophilus influenzae and a new testing scheme for their discrimination.
    Journal of Clinical Microbiology. 54(12), 3010–3017.
  mla: Hu, Fang, et al. “Comparative Genomic Analysis of Haemophilus Haemolyticus
    and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.”
    <i>Journal of Clinical Microbiology</i>, vol. 54, no. 12, American Society for
    Microbiology, 2016, pp. 3010–17, doi:<a href="https://doi.org/10.1128/JCM.01511-16">10.1128/JCM.01511-16</a>.
  short: F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf,
    L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.
date_created: 2018-12-11T11:50:41Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2021-01-12T06:49:04Z
day: '01'
department:
- _id: GaTk
doi: 10.1128/JCM.01511-16
intvolume: '        54'
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5121393/
month: '12'
oa: 1
oa_version: Submitted Version
page: 3010 - 3017
publication: Journal of Clinical Microbiology
publication_status: published
publisher: American Society for Microbiology
publist_id: '6146'
quality_controlled: '1'
scopus_import: 1
status: public
title: Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus
  influenzae and a new testing scheme for their discrimination
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2016'
...
---
_id: '1204'
abstract:
- lang: eng
  text: In science, as in life, &quot;surprises&quot; can be adequately appreciated
    only in the presence of a null model, what we expect a priori. In physics, theories
    sometimes express the values of dimensionless physical constants as combinations
    of mathematical constants like π or e. The inverse problem also arises, whereby
    the measured value of a physical constant admits a &quot;surprisingly&quot; simple
    approximation in terms of well-known mathematical constants. Can we estimate the
    probability for this to be a mere coincidence, rather than an inkling of some
    theory? We answer the question in the most naive form.
author:
- first_name: Ariel
  full_name: Amir, Ariel
  last_name: Amir
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Tadashi
  full_name: Tokieda, Tadashi
  last_name: Tokieda
citation:
  ama: Amir A, Lemeshko M, Tokieda T. Surprises in numerical expressions of physical
    constants. <i>American Mathematical Monthly</i>. 2016;123(6):609-612. doi:<a href="https://doi.org/10.4169/amer.math.monthly.123.6.609">10.4169/amer.math.monthly.123.6.609</a>
  apa: Amir, A., Lemeshko, M., &#38; Tokieda, T. (2016). Surprises in numerical expressions
    of physical constants. <i>American Mathematical Monthly</i>. Mathematical Association
    of America. <a href="https://doi.org/10.4169/amer.math.monthly.123.6.609">https://doi.org/10.4169/amer.math.monthly.123.6.609</a>
  chicago: Amir, Ariel, Mikhail Lemeshko, and Tadashi Tokieda. “Surprises in Numerical
    Expressions of Physical Constants.” <i>American Mathematical Monthly</i>. Mathematical
    Association of America, 2016. <a href="https://doi.org/10.4169/amer.math.monthly.123.6.609">https://doi.org/10.4169/amer.math.monthly.123.6.609</a>.
  ieee: A. Amir, M. Lemeshko, and T. Tokieda, “Surprises in numerical expressions
    of physical constants,” <i>American Mathematical Monthly</i>, vol. 123, no. 6.
    Mathematical Association of America, pp. 609–612, 2016.
  ista: Amir A, Lemeshko M, Tokieda T. 2016. Surprises in numerical expressions of
    physical constants. American Mathematical Monthly. 123(6), 609–612.
  mla: Amir, Ariel, et al. “Surprises in Numerical Expressions of Physical Constants.”
    <i>American Mathematical Monthly</i>, vol. 123, no. 6, Mathematical Association
    of America, 2016, pp. 609–12, doi:<a href="https://doi.org/10.4169/amer.math.monthly.123.6.609">10.4169/amer.math.monthly.123.6.609</a>.
  short: A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016)
    609–612.
date_created: 2018-12-11T11:50:42Z
date_published: 2016-06-01T00:00:00Z
date_updated: 2021-01-12T06:49:04Z
day: '01'
department:
- _id: MiLe
doi: 10.4169/amer.math.monthly.123.6.609
intvolume: '       123'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1603.00299
month: '06'
oa: 1
oa_version: Preprint
page: 609 - 612
publication: American Mathematical Monthly
publication_status: published
publisher: Mathematical Association of America
publist_id: '6143'
quality_controlled: '1'
scopus_import: 1
status: public
title: Surprises in numerical expressions of physical constants
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 123
year: '2016'
...
---
_id: '1205'
abstract:
- lang: eng
  text: In this paper, we present a formal model-driven engineering approach to establishing
    a safety-assured implementation of Multifunction vehicle bus controller (MVBC)
    based on the generic reference models and requirements described in the International
    Electrotechnical Commission (IEC) standard IEC-61375. First, the generic models
    described in IEC-61375 are translated into a network of timed automata, and some
    safety requirements tested in IEC-61375 are formalized as timed computation tree
    logic (TCTL) formulas. With the help of Uppaal, we check and debug whether the
    timed automata satisfy the formulas or not. Within this step, several logic inconsistencies
    in the original standard are detected and corrected. Then, we apply the tool Times
    to generate C code from the verified model, which was later synthesized into a
    real MVBC chip. Finally, the runtime verification tool RMOR is applied to verify
    some safety requirements at the implementation level. We set up a real platform
    with worldwide mostly used MVBC D113, and verify the correctness and the scalability
    of the synthesized MVBC chip more comprehensively. The errors in the standard
    has been confirmed and the resulted MVBC has been deployed in real train communication
    network.
acknowledgement: "This research is sponsored in part by NSFC Program (No. 91218302,
  No. 61527812), National Science and Technology Major Project (No. 2016ZX01038101),
  Tsinghua University Initiative Scientific Research Program (20131089331), MIIT IT
  funds (Research and application of TCN key technologies) of China, and the National
  Key Technology R&D Program (No. 2015BAG14B01-02), Austrian Science Fund (FWF) under
  grants S11402-N23 (RiSE/SHiNE) and Z211-N23.\r\n"
alternative_title:
- LNCS
author:
- first_name: Yu
  full_name: Jiang, Yu
  last_name: Jiang
- first_name: Han
  full_name: Liu, Han
  last_name: Liu
- first_name: Houbing
  full_name: Song, Houbing
  last_name: Song
- first_name: Hui
  full_name: Kong, Hui
  id: 3BDE25AA-F248-11E8-B48F-1D18A9856A87
  last_name: Kong
  orcid: 0000-0002-3066-6941
- first_name: Ming
  full_name: Gu, Ming
  last_name: Gu
- first_name: Jiaguang
  full_name: Sun, Jiaguang
  last_name: Sun
- first_name: Lui
  full_name: Sha, Lui
  last_name: Sha
citation:
  ama: 'Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of
    the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763.
    doi:<a href="https://doi.org/10.1007/978-3-319-48989-6_47">10.1007/978-3-319-48989-6_47</a>'
  apa: 'Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., &#38; Sha, L. (2016).
    Safety assured formal model driven design of the multifunction vehicle bus controller
    (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal
    Methods, Limassol, Cyprus: Springer. <a href="https://doi.org/10.1007/978-3-319-48989-6_47">https://doi.org/10.1007/978-3-319-48989-6_47</a>'
  chicago: Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and
    Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle
    Bus Controller,” 9995:757–63. Springer, 2016. <a href="https://doi.org/10.1007/978-3-319-48989-6_47">https://doi.org/10.1007/978-3-319-48989-6_47</a>.
  ieee: 'Y. Jiang <i>et al.</i>, “Safety assured formal model driven design of the
    multifunction vehicle bus controller,” presented at the FM: International Symposium
    on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.'
  ista: 'Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured
    formal model driven design of the multifunction vehicle bus controller. FM: International
    Symposium on Formal Methods, LNCS, vol. 9995, 757–763.'
  mla: Jiang, Yu, et al. <i>Safety Assured Formal Model Driven Design of the Multifunction
    Vehicle Bus Controller</i>. Vol. 9995, Springer, 2016, pp. 757–63, doi:<a href="https://doi.org/10.1007/978-3-319-48989-6_47">10.1007/978-3-319-48989-6_47</a>.
  short: Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer,
    2016, pp. 757–763.
conference:
  end_date: 2016-11-11
  location: Limassol, Cyprus
  name: 'FM: International Symposium on Formal Methods'
  start_date: 2016-11-09
date_created: 2018-12-11T11:50:42Z
date_published: 2016-11-08T00:00:00Z
date_updated: 2023-09-18T08:12:48Z
day: '08'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-319-48989-6_47
file:
- access_level: open_access
  checksum: fea0b3fae9a2a42e8bfec59840e30d8c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:13Z
  date_updated: 2020-07-14T12:44:39Z
  file_id: '4673'
  file_name: IST-2017-783-v1+1_FM-Safety-Assured-Development-of-MVBC.pdf
  file_size: 281501
  relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
has_accepted_license: '1'
intvolume: '      9995'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 757 - 763
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_status: published
publisher: Springer
publist_id: '6144'
pubrep_id: '783'
quality_controlled: '1'
related_material:
  record:
  - id: '434'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Safety assured formal model driven design of the multifunction vehicle bus
  controller
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9995
year: '2016'
...
---
_id: '1206'
abstract:
- lang: eng
  text: We study a polar molecule immersed in a superfluid environment, such as a
    helium nanodroplet or a Bose–Einstein condensate, in the presence of a strong
    electrostatic field. We show that coupling of the molecular pendular motion, induced
    by the field, to the fluctuating bath leads to formation of pendulons—spherical
    harmonic librators dressed by a field of many-particle excitations. We study the
    behavior of the pendulon in a broad range of molecule–bath and molecule–field
    interaction strengths, and reveal that its spectrum features a series of instabilities
    which are absent in the field-free case of the angulon quasiparticle. Furthermore,
    we show that an external field allows to fine-tune the positions of these instabilities
    in the molecular rotational spectrum. This opens the door to detailed experimental
    studies of redistribution of orbital angular momentum in many-particle systems.
    © 2016 Wiley-VCH Verlag GmbH &amp; Co. KGaA, Weinheim
author:
- first_name: Elena
  full_name: Redchenko, Elena
  id: 2C21D6E8-F248-11E8-B48F-1D18A9856A87
  last_name: Redchenko
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
citation:
  ama: Redchenko E, Lemeshko M. Libration of strongly oriented polar molecules inside
    a superfluid. <i>ChemPhysChem</i>. 2016;17(22):3649-3654. doi:<a href="https://doi.org/10.1002/cphc.201601042">10.1002/cphc.201601042</a>
  apa: Redchenko, E., &#38; Lemeshko, M. (2016). Libration of strongly oriented polar
    molecules inside a superfluid. <i>ChemPhysChem</i>. Wiley-Blackwell. <a href="https://doi.org/10.1002/cphc.201601042">https://doi.org/10.1002/cphc.201601042</a>
  chicago: Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented
    Polar Molecules inside a Superfluid.” <i>ChemPhysChem</i>. Wiley-Blackwell, 2016.
    <a href="https://doi.org/10.1002/cphc.201601042">https://doi.org/10.1002/cphc.201601042</a>.
  ieee: E. Redchenko and M. Lemeshko, “Libration of strongly oriented polar molecules
    inside a superfluid,” <i>ChemPhysChem</i>, vol. 17, no. 22. Wiley-Blackwell, pp.
    3649–3654, 2016.
  ista: Redchenko E, Lemeshko M. 2016. Libration of strongly oriented polar molecules
    inside a superfluid. ChemPhysChem. 17(22), 3649–3654.
  mla: Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar
    Molecules inside a Superfluid.” <i>ChemPhysChem</i>, vol. 17, no. 22, Wiley-Blackwell,
    2016, pp. 3649–54, doi:<a href="https://doi.org/10.1002/cphc.201601042">10.1002/cphc.201601042</a>.
  short: E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
date_created: 2018-12-11T11:50:43Z
date_published: 2016-09-18T00:00:00Z
date_updated: 2021-01-12T06:49:05Z
day: '18'
department:
- _id: JoFi
- _id: MiLe
doi: 10.1002/cphc.201601042
ec_funded: 1
intvolume: '        17'
issue: '22'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1609.08161
month: '09'
oa: 1
oa_version: Preprint
page: 3649 - 3654
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
publication: ChemPhysChem
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6140'
quality_controlled: '1'
scopus_import: 1
status: public
title: Libration of strongly oriented polar molecules inside a superfluid
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 17
year: '2016'
...
