---
_id: '5914'
abstract:
- lang: eng
  text: With the advent of optogenetics, it became possible to change the activity
    of a targeted population of neurons in a temporally controlled manner. To combine
    the advantages of 60-channel in vivo tetrode recording and laser-based optogenetics,
    we have developed a closed-loop recording system that allows for the actual electrophysiological
    signal to be used as a trigger for the laser light mediating the optogenetic intervention.
    We have optimized the weight, size, and shape of the corresponding implant to
    make it compatible with the size, force, and movements of a behaving mouse, and
    we have shown that the system can efficiently block sharp wave ripple (SWR) events
    using those events themselves as a trigger. To demonstrate the full potential
    of the optogenetic recording system we present a pilot study addressing the contribution
    of SWR events to learning in a complex behavioral task.
article_number: e0087
article_processing_charge: No
author:
- first_name: Dámaris K
  full_name: Rangel Guerrero, Dámaris K
  id: 4871BCE6-F248-11E8-B48F-1D18A9856A87
  last_name: Rangel Guerrero
  orcid: 0000-0002-8602-4374
- first_name: James G.
  full_name: Donnett, James G.
  last_name: Donnett
- first_name: Jozsef L
  full_name: Csicsvari, Jozsef L
  id: 3FA14672-F248-11E8-B48F-1D18A9856A87
  last_name: Csicsvari
  orcid: 0000-0002-5193-4036
- first_name: Krisztián
  full_name: Kovács, Krisztián
  id: 2AB5821E-F248-11E8-B48F-1D18A9856A87
  last_name: Kovács
  orcid: 0000-0001-6251-1007
citation:
  ama: 'Rangel Guerrero DK, Donnett JG, Csicsvari JL, Kovács K. Tetrode recording
    from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop
    optogenetics: A technique to study the contribution of Hippocampal SWR events
    to learning. <i>eNeuro</i>. 2018;5(4). doi:<a href="https://doi.org/10.1523/ENEURO.0087-18.2018">10.1523/ENEURO.0087-18.2018</a>'
  apa: 'Rangel Guerrero, D. K., Donnett, J. G., Csicsvari, J. L., &#38; Kovács, K.
    (2018). Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation
    closed-loop optogenetics: A technique to study the contribution of Hippocampal
    SWR events to learning. <i>ENeuro</i>. Society for Neuroscience. <a href="https://doi.org/10.1523/ENEURO.0087-18.2018">https://doi.org/10.1523/ENEURO.0087-18.2018</a>'
  chicago: 'Rangel Guerrero, Dámaris K, James G. Donnett, Jozsef L Csicsvari, and
    Krisztián Kovács. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled
    with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the
    Contribution of Hippocampal SWR Events to Learning.” <i>ENeuro</i>. Society for
    Neuroscience, 2018. <a href="https://doi.org/10.1523/ENEURO.0087-18.2018">https://doi.org/10.1523/ENEURO.0087-18.2018</a>.'
  ieee: 'D. K. Rangel Guerrero, J. G. Donnett, J. L. Csicsvari, and K. Kovács, “Tetrode
    recording from the hippocampus of behaving mice coupled with four-point-irradiation
    closed-loop optogenetics: A technique to study the contribution of Hippocampal
    SWR events to learning,” <i>eNeuro</i>, vol. 5, no. 4. Society for Neuroscience,
    2018.'
  ista: 'Rangel Guerrero DK, Donnett JG, Csicsvari JL, Kovács K. 2018. Tetrode recording
    from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop
    optogenetics: A technique to study the contribution of Hippocampal SWR events
    to learning. eNeuro. 5(4), e0087.'
  mla: 'Rangel Guerrero, Dámaris K., et al. “Tetrode Recording from the Hippocampus
    of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics:
    A Technique to Study the Contribution of Hippocampal SWR Events to Learning.”
    <i>ENeuro</i>, vol. 5, no. 4, e0087, Society for Neuroscience, 2018, doi:<a href="https://doi.org/10.1523/ENEURO.0087-18.2018">10.1523/ENEURO.0087-18.2018</a>.'
  short: D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
date_created: 2019-02-03T22:59:16Z
date_published: 2018-07-27T00:00:00Z
date_updated: 2026-08-10T22:30:58Z
day: '27'
ddc:
- '570'
department:
- _id: JoCs
doi: 10.1523/ENEURO.0087-18.2018
ec_funded: 1
external_id:
  isi:
  - '000443994700007'
file:
- access_level: open_access
  checksum: f4915d45fc7ad4648b7b7a13fdecca01
  content_type: application/pdf
  creator: dernst
  date_created: 2019-02-05T12:48:36Z
  date_updated: 2020-07-14T12:47:13Z
  file_id: '5921'
  file_name: 2018_ENeuro_Guerrero.pdf
  file_size: 3746884
  relation: main_file
file_date_updated: 2020-07-14T12:47:13Z
has_accepted_license: '1'
intvolume: '         5'
isi: 1
issue: '4'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: 257D4372-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I2072-B27
  name: Interneuron plasticity during spatial learning
publication: eNeuro
publication_status: published
publisher: Society for Neuroscience
quality_controlled: '1'
related_material:
  record:
  - id: '6849'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: 'Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation
  closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR
  events to learning'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2018'
...
---
_id: '66'
abstract:
- lang: eng
  text: 'Crypto-currencies are digital assets designed to work as a medium of exchange,
    e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants).
    A framework for the analysis of attacks in crypto-currencies requires (a) modeling
    of game-theoretic aspects to analyze incentives for deviation from honest behavior;
    (b) concurrent interactions between participants; and (c) analysis of long-term
    monetary gains. Traditional game-theoretic approaches for the analysis of security
    protocols consider either qualitative temporal properties such as safety and termination,
    or the very special class of one-shot (stateless) games. However, to analyze general
    attacks on protocols for crypto-currencies, both stateful analysis and quantitative
    objectives are necessary. In this work our main contributions are as follows:
    (a) we show how a class of concurrent mean-payo games, namely ergodic games, can
    model various attacks that arise naturally in crypto-currencies; (b) we present
    the first practical implementation of algorithms for ergodic games that scales
    to model realistic problems for crypto-currencies; and (c) we present experimental
    results showing that our framework can handle games with thousands of states and
    millions of transitions.'
alternative_title:
- LIPIcs
article_number: '11'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Amir
  full_name: Goharshady, Amir
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- 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: Yaron
  full_name: Velner, Yaron
  last_name: Velner
citation:
  ama: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. Ergodic mean-payoff
    games for the analysis of attacks in crypto-currencies. In: Vol 118. Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik; 2018. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">10.4230/LIPIcs.CONCUR.2018.11</a>'
  apa: 'Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &#38; Velner, Y. (2018).
    Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol.
    118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">https://doi.org/10.4230/LIPIcs.CONCUR.2018.11</a>'
  chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen,
    and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,”
    Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">https://doi.org/10.4230/LIPIcs.CONCUR.2018.11</a>.
  ieee: 'K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic
    mean-payoff games for the analysis of attacks in crypto-currencies,” presented
    at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.'
  ista: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff
    games for the analysis of attacks in crypto-currencies. CONCUR: Conference on
    Concurrency Theory, LIPIcs, vol. 118, 11.'
  mla: Chatterjee, Krishnendu, et al. <i>Ergodic Mean-Payoff Games for the Analysis
    of Attacks in Crypto-Currencies</i>. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2018, doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">10.4230/LIPIcs.CONCUR.2018.11</a>.
  short: K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
conference:
  end_date: 2018-09-07
  location: Beijing, China
  name: 'CONCUR: Conference on Concurrency Theory'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:27Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2026-08-10T22:31:00Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.CONCUR.2018.11
ec_funded: 1
external_id:
  arxiv:
  - '1806.03108'
file:
- access_level: open_access
  checksum: 68a055b1aaa241cc38375083cf832a7d
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T12:08:00Z
  date_updated: 2020-07-14T12:47:34Z
  file_id: '5696'
  file_name: 2018_CONCUR_Chatterjee.pdf
  file_size: 1078309
  relation: main_file
file_date_updated: 2020-07-14T12:47:34Z
has_accepted_license: '1'
intvolume: '       118'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _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: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
  name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
    Contracts
publication_identifier:
  isbn:
  - 978-3-95977-087-3
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7988'
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2018'
...
---
_id: '6340'
abstract:
- lang: eng
  text: We  present  a  secure  approach  for  maintaining  andreporting  credit  history  records  on  the  Blockchain.  Our  ap-proach  removes  third-parties  such  as  credit  reporting  agen-cies  from  the  lending  process  and  replaces  them  with  smartcontracts.  This  allows  customers  to  interact  directly  with  thelenders  or  banks  while  ensuring  the  integrity,  unmalleabilityand  privacy  of  their  credit  data.  Additionally,  each  customerhas  full  control  over  complete  or  selective  disclosure  of  hercredit
    records, eliminating the risk of privacy violations or databreaches. Moreover,
    our approach provides strong guaranteesfor the lenders as well. A lender can check
    both correctness andcompleteness of the credit data disclosed to her. This is
    the firstapproach  that  can  perform  all  credit  reporting  tasks  withouta  central  authority  or  changing  the  financial  mechanisms*.
article_processing_charge: No
arxiv: 1
author:
- first_name: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Ali
  full_name: Behrouz, Ali
  last_name: Behrouz
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
citation:
  ama: 'Goharshady AK, Behrouz A, Chatterjee K. Secure Credit Reporting on the Blockchain.
    In: <i>Proceedings of the IEEE International Conference on Blockchain</i>. IEEE;
    2018:1343-1348. doi:<a href="https://doi.org/10.1109/Cybermatics_2018.2018.00231">10.1109/Cybermatics_2018.2018.00231</a>'
  apa: 'Goharshady, A. K., Behrouz, A., &#38; Chatterjee, K. (2018). Secure Credit
    Reporting on the Blockchain. In <i>Proceedings of the IEEE International Conference
    on Blockchain</i> (pp. 1343–1348). Halifax, Canada: IEEE. <a href="https://doi.org/10.1109/Cybermatics_2018.2018.00231">https://doi.org/10.1109/Cybermatics_2018.2018.00231</a>'
  chicago: Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure
    Credit Reporting on the Blockchain.” In <i>Proceedings of the IEEE International
    Conference on Blockchain</i>, 1343–48. IEEE, 2018. <a href="https://doi.org/10.1109/Cybermatics_2018.2018.00231">https://doi.org/10.1109/Cybermatics_2018.2018.00231</a>.
  ieee: A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting
    on the Blockchain,” in <i>Proceedings of the IEEE International Conference on
    Blockchain</i>, Halifax, Canada, 2018, pp. 1343–1348.
  ista: Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the
    Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE
    International Conference on Blockchain, 1343–1348.
  mla: Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.”
    <i>Proceedings of the IEEE International Conference on Blockchain</i>, IEEE, 2018,
    pp. 1343–48, doi:<a href="https://doi.org/10.1109/Cybermatics_2018.2018.00231">10.1109/Cybermatics_2018.2018.00231</a>.
  short: A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE
    International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
conference:
  end_date: 2018-08-03
  location: Halifax, Canada
  name: IEEE International Conference on Blockchain
  start_date: 2018-07-30
date_created: 2019-04-18T10:37:35Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2026-08-10T22:31:00Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1109/Cybermatics_2018.2018.00231
ec_funded: 1
external_id:
  arxiv:
  - '1805.09104'
  isi:
  - '000481634500196'
file:
- access_level: open_access
  checksum: b25c9bb7cf6e7e6634e692d26d41ead8
  content_type: application/pdf
  creator: akafshda
  date_created: 2019-04-18T10:36:39Z
  date_updated: 2020-07-14T12:47:27Z
  file_id: '6341'
  file_name: blockchain2018.pdf
  file_size: 624338
  relation: main_file
file_date_updated: 2020-07-14T12:47:27Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '09'
oa: 1
oa_version: Submitted Version
page: 1343-1348
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
  name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
    Contracts
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Proceedings of the IEEE International Conference on Blockchain
publication_identifier:
  isbn:
  - '978-1-5386-7975-3 '
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Secure Credit Reporting on the Blockchain
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: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '311'
abstract:
- lang: eng
  text: 'Smart contracts are computer programs that are executed by a network of mutually
    distrusting agents, without the need of an external trusted authority. Smart contracts
    handle and transfer assets of considerable value (in the form of crypto-currency
    like Bitcoin). Hence, it is crucial that their implementation is bug-free. We
    identify the utility (or expected payoff) of interacting with such smart contracts
    as the basic and canonical quantitative property for such contracts. We present
    a framework for such quantitative analysis of smart contracts. Such a formal framework
    poses new and novel research challenges in programming languages, as it requires
    modeling of game-theoretic aspects to analyze incentives for deviation from honest
    behavior and modeling utilities which are not specified as standard temporal properties
    such as safety and termination. While game-theoretic incentives have been analyzed
    in the security community, their analysis has been restricted to the very special
    case of stateless games. However, to analyze smart contracts, stateful analysis
    is required as it must account for the different program states of the protocol.
    Our main contributions are as follows: we present (i)~a simplified programming
    language for smart contracts; (ii)~an automatic translation of the programs to
    state-based games; (iii)~an abstraction-refinement approach to solve such games;
    and (iv)~experimental results on real-world-inspired smart contracts.'
acknowledgement: 'The research was partially supported by Vienna Science and Technology
  Fund (WWTF) Project ICT15-003, Austrian Science Fund (FWF) NFN Grant No S11407-N23
  (RiSE/SHiNE), and ERC Starting grant (279307: Graph Games).'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Amir
  full_name: Goharshady, Amir
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Yaron
  full_name: Velner, Yaron
  last_name: Velner
citation:
  ama: 'Chatterjee K, Goharshady AK, Velner Y. Quantitative analysis of smart contracts.
    In: Vol 10801. Springer; 2018:739-767. doi:<a href="https://doi.org/10.1007/978-3-319-89884-1_26">10.1007/978-3-319-89884-1_26</a>'
  apa: 'Chatterjee, K., Goharshady, A. K., &#38; Velner, Y. (2018). Quantitative analysis
    of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European
    Symposium on Programming, Thessaloniki, Greece: Springer. <a href="https://doi.org/10.1007/978-3-319-89884-1_26">https://doi.org/10.1007/978-3-319-89884-1_26</a>'
  chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative
    Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-89884-1_26">https://doi.org/10.1007/978-3-319-89884-1_26</a>.
  ieee: 'K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of
    smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki,
    Greece, 2018, vol. 10801, pp. 739–767.'
  ista: 'Chatterjee K, Goharshady AK, Velner Y. 2018. Quantitative analysis of smart
    contracts. ESOP: European Symposium on Programming, LNCS, vol. 10801, 739–767.'
  mla: Chatterjee, Krishnendu, et al. <i>Quantitative Analysis of Smart Contracts</i>.
    Vol. 10801, Springer, 2018, pp. 739–67, doi:<a href="https://doi.org/10.1007/978-3-319-89884-1_26">10.1007/978-3-319-89884-1_26</a>.
  short: K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
conference:
  end_date: 2018-04-19
  location: Thessaloniki, Greece
  name: 'ESOP: European Symposium on Programming'
  start_date: 2018-04-16
date_created: 2018-12-11T11:45:45Z
date_published: 2018-04-01T00:00:00Z
date_updated: 2026-08-10T22:31:00Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-319-89884-1_26
ec_funded: 1
file:
- access_level: open_access
  checksum: 9c8a8338c571903b599b6ca93abd2cce
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T15:45:49Z
  date_updated: 2020-07-14T12:46:00Z
  file_id: '5716'
  file_name: 2018_ESOP_Chatterjee.pdf
  file_size: 1394993
  relation: main_file
file_date_updated: 2020-07-14T12:46:00Z
has_accepted_license: '1'
intvolume: '     10801'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 739 - 767
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication_status: published
publisher: Springer
publist_id: '7554'
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Quantitative analysis of smart contracts
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10801
year: '2018'
...
---
_id: '6009'
abstract:
- lang: eng
  text: "We study algorithmic questions wrt algebraic path properties in concurrent
    systems, where the transitions of the system are labeled from a complete, closed
    semiring. The algebraic path properties can model dataflow analysis problems,
    the shortest path problem, and many other natural problems that arise in program
    analysis. We consider that each component of the concurrent system is a graph
    with constant treewidth, a property satisfied by the controlflow graphs of most
    programs. We allow for multiple possible queries, which arise naturally in demand
    driven dataflow analysis. The study of multiple queries allows us to consider
    the tradeoff between the resource usage of the one-time preprocessing and for
    each individual query. The traditional approach constructs the product graph of
    all components and applies the best-known graph algorithm on the product. In this
    approach, even the answer to a single query requires the transitive closure (i.e.,
    the results of all possible queries), which provides no room for tradeoff between
    preprocessing and query time.\r\nOur main contributions are algorithms that significantly
    improve the worst-case running time of the traditional approach, and provide various
    tradeoffs depending on the number of queries. For example, in a concurrent system
    of two components, the traditional approach requires hexic time in the worst case
    for answering one query as well as computing the transitive closure, whereas we
    show that with one-time preprocessing in almost cubic time, each subsequent query
    can be answered in at most linear time, and even the transitive closure can be
    computed in almost quartic time. Furthermore, we establish conditional optimality
    results showing that the worst-case running time of our algorithms cannot be improved
    without achieving major breakthroughs in graph algorithms (i.e., improving the
    worst-case bound for the shortest path problem in general graphs). Preliminary
    experimental results show that our algorithms perform favorably on several benchmarks.\r\n"
article_number: '9'
article_processing_charge: No
arxiv: 1
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: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Andreas
  full_name: Pavlogiannis, Andreas
  id: 49704004-F248-11E8-B48F-1D18A9856A87
  last_name: Pavlogiannis
  orcid: 0000-0002-8943-0722
citation:
  ama: Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for
    algebraic path properties in concurrent systems of constant treewidth components.
    <i>ACM Transactions on Programming Languages and Systems</i>. 2018;40(3). doi:<a
    href="https://doi.org/10.1145/3210257">10.1145/3210257</a>
  apa: Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &#38; Pavlogiannis, A.
    (2018). Algorithms for algebraic path properties in concurrent systems of constant
    treewidth components. <i>ACM Transactions on Programming Languages and Systems</i>.
    Association for Computing Machinery. <a href="https://doi.org/10.1145/3210257">https://doi.org/10.1145/3210257</a>
  chicago: Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady,
    and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent
    Systems of Constant Treewidth Components.” <i>ACM Transactions on Programming
    Languages and Systems</i>. Association for Computing Machinery, 2018. <a href="https://doi.org/10.1145/3210257">https://doi.org/10.1145/3210257</a>.
  ieee: K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms
    for algebraic path properties in concurrent systems of constant treewidth components,”
    <i>ACM Transactions on Programming Languages and Systems</i>, vol. 40, no. 3.
    Association for Computing Machinery, 2018.
  ista: Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms
    for algebraic path properties in concurrent systems of constant treewidth components.
    ACM Transactions on Programming Languages and Systems. 40(3), 9.
  mla: Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in
    Concurrent Systems of Constant Treewidth Components.” <i>ACM Transactions on Programming
    Languages and Systems</i>, vol. 40, no. 3, 9, Association for Computing Machinery,
    2018, doi:<a href="https://doi.org/10.1145/3210257">10.1145/3210257</a>.
  short: K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions
    on Programming Languages and Systems 40 (2018).
corr_author: '1'
date_created: 2019-02-14T14:31:52Z
date_published: 2018-08-01T00:00:00Z
date_updated: 2026-08-10T22:31:00Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3210257
ec_funded: 1
external_id:
  arxiv:
  - '1510.07565'
  isi:
  - '000444694800001'
intvolume: '        40'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1510.07565
month: '08'
oa: 1
oa_version: Preprint
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
  issn:
  - 0164-0925
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
  record:
  - id: '5441'
    relation: earlier_version
    status: public
  - id: '5442'
    relation: earlier_version
    status: public
  - id: '1437'
    relation: earlier_version
    status: public
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Algorithms for algebraic path properties in concurrent systems of constant
  treewidth components
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 40
year: '2018'
...
---
_id: '5977'
abstract:
- lang: eng
  text: 'We consider the stochastic shortest path (SSP)problem for succinct Markov
    decision processes(MDPs), where the MDP consists of a set of vari-ables, and a
    set of nondeterministic rules that up-date the variables. First, we show that
    several ex-amples from the AI literature can be modeled assuccinct MDPs.  Then
    we present computationalapproaches for upper and lower bounds for theSSP problem:
    (a) for computing upper bounds, ourmethod is polynomial-time in the implicit descrip-tion
    of the MDP; (b) for lower bounds, we present apolynomial-time (in the size of
    the implicit descrip-tion) reduction to quadratic programming. Our ap-proach is
    applicable even to infinite-state MDPs.Finally, we present experimental results
    to demon-strate the effectiveness of our approach on severalclassical examples
    from the AI literature.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Hongfei
  full_name: Fu, Hongfei
  id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
  last_name: Fu
- first_name: Amir
  full_name: Goharshady, Amir
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Nastaran
  full_name: Okati, Nastaran
  last_name: Okati
citation:
  ama: 'Chatterjee K, Fu H, Goharshady AK, Okati N. Computational approaches for stochastic
    shortest path on succinct MDPs. In: <i>Proceedings of the Twenty-Seventh International
    Joint Conference on Artificial Intelligence</i>. Vol 2018. IJCAI; 2018:4700-4707.
    doi:<a href="https://doi.org/10.24963/ijcai.2018/653">10.24963/ijcai.2018/653</a>'
  apa: 'Chatterjee, K., Fu, H., Goharshady, A. K., &#38; Okati, N. (2018). Computational
    approaches for stochastic shortest path on succinct MDPs. In <i>Proceedings of
    the Twenty-Seventh International Joint Conference on Artificial Intelligence</i>
    (Vol. 2018, pp. 4700–4707). Stockholm, Sweden: IJCAI. <a href="https://doi.org/10.24963/ijcai.2018/653">https://doi.org/10.24963/ijcai.2018/653</a>'
  chicago: Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran
    Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.”
    In <i>Proceedings of the Twenty-Seventh International Joint Conference on Artificial
    Intelligence</i>, 2018:4700–4707. IJCAI, 2018. <a href="https://doi.org/10.24963/ijcai.2018/653">https://doi.org/10.24963/ijcai.2018/653</a>.
  ieee: K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches
    for stochastic shortest path on succinct MDPs,” in <i>Proceedings of the Twenty-Seventh
    International Joint Conference on Artificial Intelligence</i>, Stockholm, Sweden,
    2018, vol. 2018, pp. 4700–4707.
  ista: 'Chatterjee K, Fu H, Goharshady AK, Okati N. 2018. Computational approaches
    for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh
    International Joint Conference on Artificial Intelligence. IJCAI: International
    Joint Conference on Artificial Intelligence vol. 2018, 4700–4707.'
  mla: Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest
    Path on Succinct MDPs.” <i>Proceedings of the Twenty-Seventh International Joint
    Conference on Artificial Intelligence</i>, vol. 2018, IJCAI, 2018, pp. 4700–07,
    doi:<a href="https://doi.org/10.24963/ijcai.2018/653">10.24963/ijcai.2018/653</a>.
  short: K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the
    Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI,
    2018, pp. 4700–4707.
conference:
  end_date: 2018-07-19
  location: Stockholm, Sweden
  name: 'IJCAI: International Joint Conference on Artificial Intelligence'
  start_date: 2018-07-13
date_created: 2019-02-13T13:26:27Z
date_published: 2018-07-17T00:00:00Z
date_updated: 2026-08-10T22:31:00Z
day: '17'
department:
- _id: KrCh
doi: 10.24963/ijcai.2018/653
ec_funded: 1
external_id:
  arxiv:
  - '1804.08984'
  isi:
  - '000764175404118'
intvolume: '      2018'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1804.08984
month: '07'
oa: 1
oa_version: Preprint
page: 4700-4707
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication: Proceedings of the Twenty-Seventh International Joint Conference on Artificial
  Intelligence
publication_identifier:
  isbn:
  - '9780999241127'
  issn:
  - 1045-0823
publication_status: published
publisher: IJCAI
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Computational approaches for stochastic shortest path on succinct MDPs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2018
year: '2018'
...
---
_id: '402'
abstract:
- lang: eng
  text: During metastasis, malignant cells escape the primary tumor, intravasate lymphatic
    vessels, and reach draining sentinel lymph nodes before they colonize distant
    organs via the blood circulation. Although lymph node metastasis in cancer patients
    correlates with poor prognosis, evidence is lacking as to whether and how tumor
    cells enter the bloodstream via lymph nodes. To investigate this question, we
    delivered carcinoma cells into the lymph nodes of mice by microinfusing the cells
    into afferent lymphatic vessels. We found that tumor cells rapidly infiltrated
    the lymph node parenchyma, invaded blood vessels, and seeded lung metastases without
    involvement of the thoracic duct. These results suggest that the lymph node blood
    vessels can serve as an exit route for systemic dissemination of cancer cells
    in experimental mouse models. Whether this form of tumor cell spreading occurs
    in cancer patients remains to be determined.
acknowledged_ssus:
- _id: Bio
acknowledgement: "M.B. was supported by the Cell Communication in Health and Disease
  graduate study program of the Austrian Science Fund (FWF) and the Medical University
  of Vienna. M.S. was supported by the European Research Council (grant ERC GA 281556)
  and an FWF START award.\r\nWe thank C. Moussion for establishing the intralymphatic
  injection at IST Austria and for providing anti-PNAd hybridoma supernatant, R. Förster
  and A. Braun for sharing the intralymphatic injection technology, K. Vaahtomeri
  for the lentiviral constructs, M. Hons for establishing in vivo multiphoton imaging,
  the Sixt lab for intellectual input, M. Schunn for help with the design of the in
  vivo experiments, F. Langer for technical assistance with the in vivo experiments,
  the bioimaging facility of IST Austria for support, and R. Efferl for providing
  the CT26 cell line."
article_processing_charge: No
article_type: original
author:
- first_name: Markus
  full_name: Brown, Markus
  id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87
  last_name: Brown
- first_name: Frank P
  full_name: Assen, Frank P
  id: 3A8E7F24-F248-11E8-B48F-1D18A9856A87
  last_name: Assen
  orcid: 0000-0003-3470-6119
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
- first_name: Jun
  full_name: Abe, Jun
  last_name: Abe
- first_name: Helga
  full_name: Schachner, Helga
  last_name: Schachner
- first_name: Gabriele
  full_name: Asfour, Gabriele
  last_name: Asfour
- first_name: Zsuzsanna
  full_name: Bagó Horváth, Zsuzsanna
  last_name: Bagó Horváth
- first_name: Jens
  full_name: Stein, Jens
  last_name: Stein
- first_name: Pavel
  full_name: Uhrin, Pavel
  last_name: Uhrin
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
- first_name: Dontscho
  full_name: Kerjaschki, Dontscho
  last_name: Kerjaschki
citation:
  ama: Brown M, Assen FP, Leithner AF, et al. Lymph node blood vessels provide exit
    routes for metastatic tumor cell dissemination in mice. <i>Science</i>. 2018;359(6382):1408-1411.
    doi:<a href="https://doi.org/10.1126/science.aal3662">10.1126/science.aal3662</a>
  apa: Brown, M., Assen, F. P., Leithner, A. F., Abe, J., Schachner, H., Asfour, G.,
    … Kerjaschki, D. (2018). Lymph node blood vessels provide exit routes for metastatic
    tumor cell dissemination in mice. <i>Science</i>. American Association for the
    Advancement of Science. <a href="https://doi.org/10.1126/science.aal3662">https://doi.org/10.1126/science.aal3662</a>
  chicago: Brown, Markus, Frank P Assen, Alexander F Leithner, Jun Abe, Helga Schachner,
    Gabriele Asfour, Zsuzsanna Bagó Horváth, et al. “Lymph Node Blood Vessels Provide
    Exit Routes for Metastatic Tumor Cell Dissemination in Mice.” <i>Science</i>.
    American Association for the Advancement of Science, 2018. <a href="https://doi.org/10.1126/science.aal3662">https://doi.org/10.1126/science.aal3662</a>.
  ieee: M. Brown <i>et al.</i>, “Lymph node blood vessels provide exit routes for
    metastatic tumor cell dissemination in mice,” <i>Science</i>, vol. 359, no. 6382.
    American Association for the Advancement of Science, pp. 1408–1411, 2018.
  ista: Brown M, Assen FP, Leithner AF, Abe J, Schachner H, Asfour G, Bagó Horváth
    Z, Stein J, Uhrin P, Sixt MK, Kerjaschki D. 2018. Lymph node blood vessels provide
    exit routes for metastatic tumor cell dissemination in mice. Science. 359(6382),
    1408–1411.
  mla: Brown, Markus, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic
    Tumor Cell Dissemination in Mice.” <i>Science</i>, vol. 359, no. 6382, American
    Association for the Advancement of Science, 2018, pp. 1408–11, doi:<a href="https://doi.org/10.1126/science.aal3662">10.1126/science.aal3662</a>.
  short: M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z.
    Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018)
    1408–1411.
corr_author: '1'
date_created: 2018-12-11T11:46:16Z
date_published: 2018-03-23T00:00:00Z
date_updated: 2026-08-10T22:31:02Z
day: '23'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1126/science.aal3662
ec_funded: 1
external_id:
  isi:
  - '000428043600047'
  pmid:
  - '29567714'
intvolume: '       359'
isi: 1
issue: '6382'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1126/science.aal3662
month: '03'
oa: 1
oa_version: Published Version
page: 1408 - 1411
pmid: 1
project:
- _id: 25A8E5EA-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Y 564-B12
  name: Cytoskeletal force generation and force transduction of migrating leukocytes
- _id: 25A603A2-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '281556'
  name: Cytoskeletal force generation and force transduction of migrating leukocytes
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7428'
quality_controlled: '1'
related_material:
  record:
  - id: '6947'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination
  in mice
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 359
year: '2018'
...
---
_id: '612'
abstract:
- lang: eng
  text: Metabotropic GABAB receptors mediate slow inhibitory effects presynaptically
    and postsynaptically through the modulation of different effector signalling pathways.
    Here, we analysed the distribution of GABAB receptors using highly sensitive SDS-digested
    freeze-fracture replica labelling in mouse cerebellar Purkinje cells. Immunoreactivity
    for GABAB1 was observed on presynaptic and, more abundantly, on postsynaptic compartments,
    showing both scattered and clustered distribution patterns. Quantitative analysis
    of immunoparticles revealed a somato-dendritic gradient, with the density of immunoparticles
    increasing 26-fold from somata to dendritic spines. To understand the spatial
    relationship of GABAB receptors with two key effector ion channels, the G protein-gated
    inwardly rectifying K+ (GIRK/Kir3) channel and the voltage-dependent Ca2+ channel,
    biochemical and immunohistochemical approaches were performed. Co-immunoprecipitation
    analysis demonstrated that GABAB receptors co-assembled with GIRK and CaV2.1 channels
    in the cerebellum. Using double-labelling immunoelectron microscopic techniques,
    co-clustering between GABAB1 and GIRK2 was detected in dendritic spines, whereas
    they were mainly segregated in the dendritic shafts. In contrast, co-clustering
    of GABAB1 and CaV2.1 was detected in dendritic shafts but not spines. Presynaptically,
    although no significant co-clustering of GABAB1 and GIRK2 or CaV2.1 channels was
    detected, inter-cluster distance for GABAB1 and GIRK2 was significantly smaller
    in the active zone than in the dendritic shafts, and that for GABAB1 and CaV2.1
    was significantly smaller in the active zone than in the dendritic shafts and
    spines. Thus, GABAB receptors are associated with GIRK and CaV2.1 channels in
    different subcellular compartments. These data provide a better framework for
    understanding the different roles played by GABAB receptors and their effector
    ion channels in the cerebellar network.
article_processing_charge: No
article_type: original
author:
- first_name: Rafael
  full_name: Luján, Rafael
  last_name: Luján
- first_name: Carolina
  full_name: Aguado, Carolina
  last_name: Aguado
- first_name: Francisco
  full_name: Ciruela, Francisco
  last_name: Ciruela
- first_name: Javier
  full_name: Cózar, Javier
  last_name: Cózar
- first_name: David
  full_name: Kleindienst, David
  id: 42E121A4-F248-11E8-B48F-1D18A9856A87
  last_name: Kleindienst
- first_name: Luis
  full_name: De La Ossa, Luis
  last_name: De La Ossa
- first_name: Bernhard
  full_name: Bettler, Bernhard
  last_name: Bettler
- first_name: Kevin
  full_name: Wickman, Kevin
  last_name: Wickman
- first_name: Masahiko
  full_name: Watanabe, Masahiko
  last_name: Watanabe
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Yugo
  full_name: Fukazawa, Yugo
  last_name: Fukazawa
citation:
  ama: Luján R, Aguado C, Ciruela F, et al. Differential association of GABAB receptors
    with their effector ion channels in Purkinje cells. <i>Brain Structure and Function</i>.
    2018;223(3):1565-1587. doi:<a href="https://doi.org/10.1007/s00429-017-1568-y">10.1007/s00429-017-1568-y</a>
  apa: Luján, R., Aguado, C., Ciruela, F., Cózar, J., Kleindienst, D., De La Ossa,
    L., … Fukazawa, Y. (2018). Differential association of GABAB receptors with their
    effector ion channels in Purkinje cells. <i>Brain Structure and Function</i>.
    Springer. <a href="https://doi.org/10.1007/s00429-017-1568-y">https://doi.org/10.1007/s00429-017-1568-y</a>
  chicago: Luján, Rafael, Carolina Aguado, Francisco Ciruela, Javier Cózar, David
    Kleindienst, Luis De La Ossa, Bernhard Bettler, et al. “Differential Association
    of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.” <i>Brain
    Structure and Function</i>. Springer, 2018. <a href="https://doi.org/10.1007/s00429-017-1568-y">https://doi.org/10.1007/s00429-017-1568-y</a>.
  ieee: R. Luján <i>et al.</i>, “Differential association of GABAB receptors with
    their effector ion channels in Purkinje cells,” <i>Brain Structure and Function</i>,
    vol. 223, no. 3. Springer, pp. 1565–1587, 2018.
  ista: Luján R, Aguado C, Ciruela F, Cózar J, Kleindienst D, De La Ossa L, Bettler
    B, Wickman K, Watanabe M, Shigemoto R, Fukazawa Y. 2018. Differential association
    of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure
    and Function. 223(3), 1565–1587.
  mla: Luján, Rafael, et al. “Differential Association of GABAB Receptors with Their
    Effector Ion Channels in Purkinje Cells.” <i>Brain Structure and Function</i>,
    vol. 223, no. 3, Springer, 2018, pp. 1565–87, doi:<a href="https://doi.org/10.1007/s00429-017-1568-y">10.1007/s00429-017-1568-y</a>.
  short: R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa,
    B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure
    and Function 223 (2018) 1565–1587.
date_created: 2018-12-11T11:47:29Z
date_published: 2018-04-01T00:00:00Z
date_updated: 2026-08-10T22:31:06Z
day: '01'
ddc:
- '571'
department:
- _id: RySh
doi: 10.1007/s00429-017-1568-y
ec_funded: 1
external_id:
  isi:
  - '000428419500030'
file:
- access_level: open_access
  checksum: a55b3103476ecb5f4f983d8801807e8b
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:15:36Z
  date_updated: 2020-07-14T12:47:20Z
  file_id: '5157'
  file_name: IST-2018-1013-v1+1_2018_Kleindienst_Differential.pdf
  file_size: 5542926
  relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: '       223'
isi: 1
issue: '3'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 1565 - 1587
project:
- _id: 25CBA828-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '720270'
  name: Human Brain Project Specific Grant Agreement 1
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Brain Structure and Function
publication_status: published
publisher: Springer
publist_id: '7192'
pubrep_id: '1013'
quality_controlled: '1'
related_material:
  record:
  - id: '9562'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Differential association of GABAB receptors with their effector ion channels
  in Purkinje cells
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 223
year: '2018'
...
---
OA_place: publisher
_id: '6263'
abstract:
- lang: eng
  text: 'Antibiotic  resistance  can  emerge  spontaneously  through  genomic  mutation  and  render
    treatment   ineffective.   To   counteract   this process, in   addition   to   the   discovery   and
    description of resistance mechanisms,a deeper understanding of resistanceevolvabilityand
    its  determinantsis  needed. To address  this challenge,  this  thesisuncoversnew  genetic
    determinants   of   resistance   evolvability   using   a   customized   robotic   setup,
    exploressystematic   ways   in   which   resistance   evolution   is   perturbed   due   to
    dose-responsecharacteristics  of  drugs and  mutation  rate  differences,and  mathematically  investigates
    the evolutionary fate of one specific type of evolvability modifier -a stress-induced
    mutagenesis allele.We  find  severalgenes  which  strongly  inhibit  or  potentiate  resistance  evolution.  In  order
    to identify   them,   we   first developedan   automated   high-throughput   feedback-controlled
    protocol whichkeeps the population size and selection pressure approximately constant
    for hundreds  of  cultures  by  dynamically  re-diluting  the  cultures  and  adjusting  the  antibiotic
    concentration.  We  implementedthis  protocol  on  a  customized  liquid  handling  robot  and
    propagated  100  different  gene  deletion  strains  of Escherichia  coliin  triplicate  for  over  100
    generations  in  tetracycline  and  in  chloramphenicol,  and  comparedtheir  adaptation  rates.We  find  a  diminishing  returns  pattern,  where  initially  sensitive  strains  adapted  more
    compared to less sensitive ones.  Our data uncover that deletions of certain genes
    which do not  affect  mutation  rate,including  efflux  pump  components,  a  chaperone  and
    severalstructural  and regulatory  genes  can strongly  and  reproducibly  alterresistance  evolution.
    Sequencing   analysis of   evolved   populations   indicates   that   epistasis   with   resistance
    mutations  is  the  most  likelyexplanation. This  work  could  inspire  treatment  strategies  in
    which  targeted  inhibitors  of  evolvability  mechanisms  will  be  given  alongside  antibiotics  to
    slow down resistance evolution and extend theefficacy of antibiotics.We implemented  astochasticpopulation  genetics  model,
    toverifyways  in  which  general properties,  namely,  dose-response  characteristics  of  drugs  and  mutation  rates,  influence
    evolutionary  dynamics.  In  particular,  under  the  exposure  to  antibiotics  with  shallow  dose-response  curves,bacteria  have  narrower  distributions  of  fitness  effects  of  new  mutations.
    We  show  that in  silicothis  also  leads  to  slower  resistance  evolution.  We
    see and  confirm with experiments that increased mutation rates, apart from speeding
    up evolution, also leadto high reproducibility of phenotypic adaptation in a context
    of continually strong selection pressure.Knowledge  of  these  patterns  can  aid  in  predicting  the  dynamics  of  antibiotic
    resistance evolutionand adapting treatment schemes accordingly.Focusing on   a   previously   described   type   of   evolvability   modifier
    –a   stress-induced mutagenesis  allele –we  find  conditions  under  which  it  can  persist  in  a  population  under
    periodic  selectionakin  to  clinical  treatment. We  set  up  a  deterministic
    infinite  populationcontinuous  time  model  tracking  the  frequencies  of  a  mutator  and  resistance  allele  and
    evaluate  various  treatment  schemes  in  how  well  they  maintain  a stress-induced
    mutator allele. In particular,a high diversity  of stresses  is  crucial  for  the  persistence
    of the  mutator allele. This leads to a general trade-off where exactly those
    diversifying treatment schemes which  are  likely  to  decrease  levels  of  resistance  could  lead  to  stronger  selection  of  highly
    evolvable genotypes.In  the  long  run,  this  work  will  lead  to  a  deeper  understanding  of  the  genetic  and  cellular
    mechanisms involved in antibiotic resistance evolution and could inspire new strategies
    for slowing down its rate. '
acknowledged_ssus:
- _id: M-Shop
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Marta
  full_name: Lukacisinova, Marta
  id: 4342E402-F248-11E8-B48F-1D18A9856A87
  last_name: Lukacisinova
  orcid: 0000-0002-2519-8004
citation:
  ama: Lukacisinova M. Genetic determinants of antibiotic resistance evolution. 2018.
    doi:<a href="https://doi.org/10.15479/AT:ISTA:th1072">10.15479/AT:ISTA:th1072</a>
  apa: Lukacisinova, M. (2018). <i>Genetic determinants of antibiotic resistance evolution</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:th1072">https://doi.org/10.15479/AT:ISTA:th1072</a>
  chicago: Lukacisinova, Marta. “Genetic Determinants of Antibiotic Resistance Evolution.”
    Institute of Science and Technology Austria, 2018. <a href="https://doi.org/10.15479/AT:ISTA:th1072">https://doi.org/10.15479/AT:ISTA:th1072</a>.
  ieee: M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,”
    Institute of Science and Technology Austria, 2018.
  ista: Lukacisinova M. 2018. Genetic determinants of antibiotic resistance evolution.
    Institute of Science and Technology Austria.
  mla: Lukacisinova, Marta. <i>Genetic Determinants of Antibiotic Resistance Evolution</i>.
    Institute of Science and Technology Austria, 2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:th1072">10.15479/AT:ISTA:th1072</a>.
  short: M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution,
    Institute of Science and Technology Austria, 2018.
corr_author: '1'
date_created: 2019-04-09T13:57:15Z
date_published: 2018-12-28T00:00:00Z
date_updated: 2026-07-30T14:47:59Z
day: '28'
ddc:
- '570'
- '576'
- '579'
degree_awarded: PhD
department:
- _id: ToBo
- _id: GradSch
doi: 10.15479/AT:ISTA:th1072
doi_confirm: '1'
file:
- access_level: open_access
  checksum: fc60585c9eaad868ac007004ef130908
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-09T13:49:24Z
  date_updated: 2021-02-11T11:17:17Z
  embargo: 2020-01-25
  file_id: '6264'
  file_name: 2018_Thesis_Lukacisinova.pdf
  file_size: 5656866
  relation: main_file
- access_level: closed
  checksum: 264057ec0a92ab348cc83b41f021ba92
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-04-09T13:49:23Z
  date_updated: 2020-07-14T12:47:25Z
  embargo_to: open_access
  file_id: '6265'
  file_name: 2018_Thesis_Lukacisinova_source.docx
  file_size: 5168054
  relation: source_file
file_date_updated: 2021-02-11T11:17:17Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '91'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '1027'
    relation: part_of_dissertation
    status: public
  - id: '696'
    relation: part_of_dissertation
    status: public
  - id: '1619'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Tobias
  full_name: Bollenbach, Tobias
  id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
  last_name: Bollenbach
  orcid: 0000-0003-4398-476X
title: Genetic determinants of antibiotic resistance evolution
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '51'
abstract:
- lang: eng
  text: Asymmetries have long been known about in the central nervous system. From
    gross anatomical differences, such as the presence of the parapineal organ in
    only one hemisphere of the developing zebrafish, to more subtle differences in
    activity between both hemispheres, as seen in freely roaming animals or human
    participants under PET and fMRI imaging analysis. The presence of asymmetries
    has been demonstrated to have huge behavioural implications, with their disruption
    often leading to the generation of neurological disorders, memory problems, changes
    in personality, and in an organism's health and well-being. For my Ph.D. work
    I aimed to tackle two important avenues of research. The first being the process
    of input-side dependency in the hippocampus, with the goal of finding a key gene
    responsible for its development (Gene X). The second project was to do with experience-induced
    laterality formation in the hippocampus. Specifically, how laterality in the synapse
    density of the CA1 stratum radiatum (s.r.) could be induced purely through environmental
    enrichment. Through unilateral tracer injections into the CA3, I was able to selectively
    measure the properties of synapses within the CA1 and investigate how they differed
    based upon which hemisphere the presynaptic neurone originated. Having found the
    existence of a previously unreported reversed (left-isomerism) i.v. mutant, through
    morpholocal examination of labelled terminals in the CA1 s.r., I aimed to elucidate
    a key gene responsible for the process of left or right determination of inputs
    to the CA1 s.r.. This work relates to the previous finding of input-side dependent
    asymmetry in the wild-type rodent, where the origin of the projecting neurone
    to the CA1 will determine the morphology of a synapse, to a greater degree than
    the hemisphere in which the projection terminates. Using left- and right-isomerism
    i.v. mice, in combination with whole genome sequence analysis, I highlight Ena/VASP-like
    (Evl) as a potential target for Gene X. In relation to this topic, I also highlight
    my work in the recently published paper of how knockout of PirB can lead to a
    lack of input-side dependency in the murine hippocampus. For the second question,
    I show that the environmental enrichment paradigm will lead to an asymmetry in
    the synapse densities in the hippocampus of mice. I also highlight that the nature
    of the enrichment is of less consequence than the process of enrichment itself.
    I demonstrate that the CA3 region will dramatically alter its projection targets,
    in relation to environmental stimulation, with the asymmetry in synaptic density,
    caused by enrichment, relying heavily on commissural fibres. I also highlight
    the vital importance of input-side dependent asymmetry, as a necessary component
    of experience-dependent laterality formation in the CA1 s.r.. However, my results
    suggest that it isn't the only cause, as there appears to be a CA1 dependent mechanism
    also at play. Upon further investigation, I highlight the significant, and highly
    important, finding that the changes seen in the CA1 s.r. were predominantly caused
    through projections from the left-CA3, with the right-CA3 having less involvement
    in this mechanism.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Matthew J
  full_name: Case, Matthew J
  id: 44B7CA5A-F248-11E8-B48F-1D18A9856A87
  last_name: Case
citation:
  ama: 'Case MJ. From the left to the right: A tale of asymmetries, environments,
    and hippocampal development. 2018. doi:<a href="https://doi.org/10.15479/AT:ISTA:th_1032">10.15479/AT:ISTA:th_1032</a>'
  apa: 'Case, M. J. (2018). <i>From the left to the right: A tale of asymmetries,
    environments, and hippocampal development</i>. Institute of Science and Technology
    Austria. <a href="https://doi.org/10.15479/AT:ISTA:th_1032">https://doi.org/10.15479/AT:ISTA:th_1032</a>'
  chicago: 'Case, Matthew J. “From the Left to the Right: A Tale of Asymmetries, Environments,
    and Hippocampal Development.” Institute of Science and Technology Austria, 2018.
    <a href="https://doi.org/10.15479/AT:ISTA:th_1032">https://doi.org/10.15479/AT:ISTA:th_1032</a>.'
  ieee: 'M. J. Case, “From the left to the right: A tale of asymmetries, environments,
    and hippocampal development,” Institute of Science and Technology Austria, 2018.'
  ista: 'Case MJ. 2018. From the left to the right: A tale of asymmetries, environments,
    and hippocampal development. Institute of Science and Technology Austria.'
  mla: 'Case, Matthew J. <i>From the Left to the Right: A Tale of Asymmetries, Environments,
    and Hippocampal Development</i>. Institute of Science and Technology Austria,
    2018, doi:<a href="https://doi.org/10.15479/AT:ISTA:th_1032">10.15479/AT:ISTA:th_1032</a>.'
  short: 'M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments,
    and Hippocampal Development, Institute of Science and Technology Austria, 2018.'
corr_author: '1'
date_created: 2018-12-11T11:44:22Z
date_published: 2018-06-27T00:00:00Z
date_updated: 2026-07-31T09:40:17Z
day: '27'
ddc:
- '571'
- '576'
degree_awarded: PhD
department:
- _id: RySh
- _id: GradSch
doi: 10.15479/AT:ISTA:th_1032
doi_confirm: '1'
file:
- access_level: closed
  checksum: dcc7b55619d8509dd62b8e99d6cdee44
  content_type: application/msword
  creator: dernst
  date_created: 2019-04-09T07:16:26Z
  date_updated: 2021-02-11T23:30:13Z
  embargo_to: open_access
  file_id: '6251'
  file_name: 2018_Thesis_Case_Source.doc
  file_size: 141270528
  relation: source_file
- access_level: open_access
  checksum: f69fdd5c8709c4e618aa8c1a1221153d
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-09T07:16:23Z
  date_updated: 2021-02-11T11:17:14Z
  embargo: 2019-07-05
  file_id: '6252'
  file_name: 2018_Thesis_Case.pdf
  file_size: 15193621
  relation: main_file
file_date_updated: 2021-02-11T23:30:13Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '186'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8003'
pubrep_id: '1032'
related_material:
  record:
  - id: '682'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
title: 'From the left to the right: A tale of asymmetries, environments, and hippocampal
  development'
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '10'
abstract:
- lang: eng
  text: Genomic imprinting is an epigenetic process that leads to parent of origin-specific
    gene expression in a subset of genes. Imprinted genes are essential for brain
    development, and deregulation of imprinting is associated with neurodevelopmental
    diseases and the pathogenesis of psychiatric disorders. However, the cell-type
    specificity of imprinting at single cell resolution, and how imprinting and thus
    gene dosage regulates neuronal circuit assembly is still largely unknown. Here,
    MADM (Mosaic Analysis with Double Markers) technology was employed to assess genomic
    imprinting at single cell level. By visualizing MADM-induced uniparental disomies
    (UPDs) in distinct colors at single cell level in genetic mosaic animals, this
    experimental paradigm provides a unique quantitative platform to systematically
    assay the UPD-mediated imbalances in imprinted gene expression at unprecedented
    resolution. An experimental pipeline based on FACS, RNA-seq and bioinformatics
    analysis was established and applied to systematically map cell-type-specific
    ‘imprintomes’ in the mouse brain. The results revealed that parental-specific
    expression of imprinted genes per se is rarely cell-type-specific even at the
    individual cell level. Conversely, when we extended the comparison to downstream
    responses resulting from imbalanced imprinted gene expression, we discovered an
    unexpectedly high degree of cell-type specificity. Furthermore, we determined
    a novel function of genomic imprinting in cortical astrocyte production and in
    olfactory bulb (OB) granule cell generation. These results suggest important functional
    implication of genomic imprinting for generating cell-type diversity in the brain.
    In addition, MADM provides a powerful tool to study candidate genes by concomitant
    genetic manipulation and fluorescent labelling of single cells. MADM-based candidate
    gene approach was utilized to identify potential imprinted genes involved in the
    generation of cortical astrocytes and OB granule cells. We investigated p57Kip2,
    a maternally expressed gene and known cell cycle regulator. Although we found
    that p57Kip2 does not play a role in these processes, we detected an unexpected
    function of the paternal allele previously thought to be silent. Finally, we took
    advantage of a key property of MADM which is to allow unambiguous investigation
    of environmental impact on single cells. The experimental pipeline based on FACS
    and RNA-seq analysis of MADM-labeled cells was established to probe the functional
    differences of single cell loss of gene function compared to global loss of function
    on a transcriptional level. With this method, both common and distinct responses
    were isolated due to cell-autonomous and non-autonomous effects acting on genotypically
    identical cells. As a result, transcriptional changes were identified which result
    solely from the surrounding environment. Using the MADM technology to study genomic
    imprinting at single cell resolution, we have identified cell-type-specific gene
    expression, novel gene function and the impact of environment on single cell transcriptomes.
    Together, these provide important insights to the understanding of mechanisms
    regulating cell-type specificity and thus diversity in the brain.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Susanne
  full_name: Laukoter, Susanne
  id: 2D6B7A9A-F248-11E8-B48F-1D18A9856A87
  last_name: Laukoter
  orcid: 0000-0002-7903-3010
citation:
  ama: Laukoter S. Role of genomic imprinting in cerebral cortex development. 2018:1-139.
    doi:<a href="https://doi.org/10.15479/AT:ISTA:th1057">10.15479/AT:ISTA:th1057</a>
  apa: Laukoter, S. (2018). <i>Role of genomic imprinting in cerebral cortex development</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:th1057">https://doi.org/10.15479/AT:ISTA:th1057</a>
  chicago: Laukoter, Susanne. “Role of Genomic Imprinting in Cerebral Cortex Development.”
    Institute of Science and Technology Austria, 2018. <a href="https://doi.org/10.15479/AT:ISTA:th1057">https://doi.org/10.15479/AT:ISTA:th1057</a>.
  ieee: S. Laukoter, “Role of genomic imprinting in cerebral cortex development,”
    Institute of Science and Technology Austria, 2018.
  ista: Laukoter S. 2018. Role of genomic imprinting in cerebral cortex development.
    Institute of Science and Technology Austria.
  mla: Laukoter, Susanne. <i>Role of Genomic Imprinting in Cerebral Cortex Development</i>.
    Institute of Science and Technology Austria, 2018, pp. 1–139, doi:<a href="https://doi.org/10.15479/AT:ISTA:th1057">10.15479/AT:ISTA:th1057</a>.
  short: S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute
    of Science and Technology Austria, 2018.
corr_author: '1'
date_created: 2018-12-11T11:44:08Z
date_published: 2018-11-21T00:00:00Z
date_updated: 2026-07-29T13:40:27Z
day: '21'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: SiHi
- _id: GradSch
doi: 10.15479/AT:ISTA:th1057
doi_confirm: '1'
file:
- access_level: closed
  checksum: 41fdbf5fdce312802935d88a8ad9932c
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-05-10T07:47:04Z
  date_updated: 2019-11-23T23:30:03Z
  embargo_to: open_access
  file_id: '6396'
  file_name: Thesis_LaukoterSusanne_FINAL.docx
  file_size: 17949175
  relation: source_file
- access_level: open_access
  checksum: 53001a9a0c9e570e598d861bb0af28aa
  content_type: application/pdf
  creator: dernst
  date_created: 2019-05-10T07:47:04Z
  date_updated: 2021-02-11T11:17:16Z
  embargo: 2019-11-21
  file_id: '6397'
  file_name: Thesis_LaukoterSusanne_FINAL.pdf
  file_size: 21187245
  relation: main_file
file_date_updated: 2021-02-11T11:17:16Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 1 - 139
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8046'
pubrep_id: '1057'
status: public
supervisor:
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
title: Role of genomic imprinting in cerebral cortex development
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '539'
abstract:
- lang: eng
  text: The whole life cycle of plants as well as their responses to environmental
    stimuli is governed by a complex network of hormonal regulations. A number of
    studies have demonstrated an essential role of both auxin and cytokinin in the
    regulation of many aspects of plant growth and development including embryogenesis,
    postembryonic organogenic processes such as root, and shoot branching, root and
    shoot apical meristem activity and phyllotaxis. Over the last decades essential
    knowledge on the key molecular factors and pathways that spatio-temporally define
    auxin and cytokinin activities in the plant body has accumulated. However, how
    both hormonal pathways are interconnected by a complex network of interactions
    and feedback circuits that determines the final outcome of the individual hormone
    actions is still largely unknown. Root system architecture establishment and in
    particular formation of lateral organs is prime example of developmental process
    at whose regulation both auxin and cytokinin pathways converge. To dissect convergence
    points and pathways that tightly balance auxin - cytokinin antagonistic activities
    that determine the root branching pattern transcriptome profiling was applied.
    Genome wide expression analyses of the xylem pole pericycle, a tissue giving rise
    to lateral roots, led to identification of genes that are highly responsive to
    combinatorial auxin and cytokinin treatments and play an essential function in
    the auxin-cytokinin regulated root branching. SYNERGISTIC AUXIN CYTOKININ 1 (SYAC1)
    gene, which encodes for a protein of unknown function, was detected among the
    top candidate genes of which expression was synergistically up-regulated by simultaneous
    hormonal treatment. Plants with modulated SYAC1 activity exhibit severe defects
    in the root system establishment and attenuate developmental responses to both
    auxin and cytokinin. To explore the biological function of the SYAC1, we employed
    different strategies including expression pattern analysis, subcellular localization
    and phenotypic analyses of the syac1 loss-of-function and gain-of-function transgenic
    lines along with the identification of the SYAC1 interaction partners. Detailed
    functional characterization revealed that SYAC1 acts as a developmentally specific
    regulator of the secretory pathway to control deposition of cell wall components
    and thereby rapidly fine tune elongation growth.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Andrej
  full_name: Hurny, Andrej
  id: 4DC4AF46-F248-11E8-B48F-1D18A9856A87
  last_name: Hurny
  orcid: 0000-0003-3638-1426
citation:
  ama: Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk
    components. 2018. doi:<a href="https://doi.org/10.15479/AT:ISTA:th_930">10.15479/AT:ISTA:th_930</a>
  apa: Hurny, A. (2018). <i>Identification and characterization of novel auxin-cytokinin
    cross-talk components</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:th_930">https://doi.org/10.15479/AT:ISTA:th_930</a>
  chicago: Hurny, Andrej. “Identification and Characterization of Novel Auxin-Cytokinin
    Cross-Talk Components.” Institute of Science and Technology Austria, 2018. <a
    href="https://doi.org/10.15479/AT:ISTA:th_930">https://doi.org/10.15479/AT:ISTA:th_930</a>.
  ieee: A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk
    components,” Institute of Science and Technology Austria, 2018.
  ista: Hurny A. 2018. Identification and characterization of novel auxin-cytokinin
    cross-talk components. Institute of Science and Technology Austria.
  mla: Hurny, Andrej. <i>Identification and Characterization of Novel Auxin-Cytokinin
    Cross-Talk Components</i>. Institute of Science and Technology Austria, 2018,
    doi:<a href="https://doi.org/10.15479/AT:ISTA:th_930">10.15479/AT:ISTA:th_930</a>.
  short: A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk
    Components, Institute of Science and Technology Austria, 2018.
corr_author: '1'
date_created: 2018-12-11T11:47:03Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2026-07-29T13:30:01Z
day: '01'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: EvBe
- _id: GradSch
doi: 10.15479/AT:ISTA:th_930
doi_confirm: '1'
file:
- access_level: closed
  checksum: 0c9d6d1c80d9857e6e545213467bbcb2
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-04-05T09:37:56Z
  date_updated: 2020-12-02T23:30:08Z
  embargo_to: open_access
  file_id: '6226'
  file_name: 2018_Hurny_thesis_source.docx
  file_size: 28112114
  relation: source_file
- access_level: open_access
  checksum: ecbe481a1413d270bd501b872c7ed54f
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-05T09:37:55Z
  date_updated: 2020-12-02T09:52:16Z
  embargo: 2019-07-10
  file_id: '6227'
  file_name: 2018_Hurny_thesis.pdf
  file_size: 12524427
  relation: main_file
file_date_updated: 2020-12-02T23:30:08Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '147'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7277'
pubrep_id: '930'
related_material:
  record:
  - id: '1024'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
title: Identification and characterization of novel auxin-cytokinin cross-talk components
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
_id: '1084'
abstract:
- lang: eng
  text: 'BceRS and PsdRS are paralogous two-component systems in Bacillus subtilis
    controlling the response to antimicrobial peptides. In the presence of extracellular
    bacitracin and nisin, respectively, the two response regulators (RRs) bind their
    target promoters, PbceA or PpsdA, resulting in a strong up-regulation of target
    gene expression and ultimately antibiotic resistance. Despite high sequence similarity
    between the RRs BceR and PsdR and their known binding sites, no cross-regulation
    has been observed between them. We therefore investigated the specificity determinants
    of PbceA and PpsdA that ensure the insulation of these two paralogous pathways
    at the RR–promoter interface. In vivo and in vitro analyses demonstrate that the
    regulatory regions within these two promoters contain three important elements:
    in addition to the known (main) binding site, we identified a linker region and
    a secondary binding site that are crucial for functionality. Initial binding to
    the high-affinity, low-specificity main binding site is a prerequisite for the
    subsequent highly specific binding of a second RR dimer to the low-affinity secondary
    binding site. In addition to this hierarchical cooperative binding, discrimination
    requires a competition of the two RRs for their respective binding site mediated
    by only slight differences in binding affinities.'
article_processing_charge: No
author:
- first_name: Chong
  full_name: Fang, Chong
  last_name: Fang
- first_name: Anna A
  full_name: Nagy-Staron, Anna A
  id: 3ABC5BA6-F248-11E8-B48F-1D18A9856A87
  last_name: Nagy-Staron
  orcid: 0000-0002-1391-8377
- first_name: Martin
  full_name: Grafe, Martin
  last_name: Grafe
- first_name: Ralf
  full_name: Heermann, Ralf
  last_name: Heermann
- first_name: Kirsten
  full_name: Jung, Kirsten
  last_name: Jung
- first_name: Susanne
  full_name: Gebhard, Susanne
  last_name: Gebhard
- first_name: Thorsten
  full_name: Mascher, Thorsten
  last_name: Mascher
citation:
  ama: Fang C, Nagy-Staron AA, Grafe M, et al. Insulation and wiring specificity of
    BceR like response regulators and their target promoters in Bacillus subtilis.
    <i>Molecular Microbiology</i>. 2017;104(1):16-31. doi:<a href="https://doi.org/10.1111/mmi.13597">10.1111/mmi.13597</a>
  apa: Fang, C., Nagy-Staron, A. A., Grafe, M., Heermann, R., Jung, K., Gebhard, S.,
    &#38; Mascher, T. (2017). Insulation and wiring specificity of BceR like response
    regulators and their target promoters in Bacillus subtilis. <i>Molecular Microbiology</i>.
    Wiley-Blackwell. <a href="https://doi.org/10.1111/mmi.13597">https://doi.org/10.1111/mmi.13597</a>
  chicago: Fang, Chong, Anna A Nagy-Staron, Martin Grafe, Ralf Heermann, Kirsten Jung,
    Susanne Gebhard, and Thorsten Mascher. “Insulation and Wiring Specificity of BceR
    like Response Regulators and Their Target Promoters in Bacillus Subtilis.” <i>Molecular
    Microbiology</i>. Wiley-Blackwell, 2017. <a href="https://doi.org/10.1111/mmi.13597">https://doi.org/10.1111/mmi.13597</a>.
  ieee: C. Fang <i>et al.</i>, “Insulation and wiring specificity of BceR like response
    regulators and their target promoters in Bacillus subtilis,” <i>Molecular Microbiology</i>,
    vol. 104, no. 1. Wiley-Blackwell, pp. 16–31, 2017.
  ista: Fang C, Nagy-Staron AA, Grafe M, Heermann R, Jung K, Gebhard S, Mascher T.
    2017. Insulation and wiring specificity of BceR like response regulators and their
    target promoters in Bacillus subtilis. Molecular Microbiology. 104(1), 16–31.
  mla: Fang, Chong, et al. “Insulation and Wiring Specificity of BceR like Response
    Regulators and Their Target Promoters in Bacillus Subtilis.” <i>Molecular Microbiology</i>,
    vol. 104, no. 1, Wiley-Blackwell, 2017, pp. 16–31, doi:<a href="https://doi.org/10.1111/mmi.13597">10.1111/mmi.13597</a>.
  short: C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T.
    Mascher, Molecular Microbiology 104 (2017) 16–31.
date_created: 2018-12-11T11:50:03Z
date_published: 2017-04-01T00:00:00Z
date_updated: 2026-04-16T09:56:09Z
day: '01'
department:
- _id: CaGu
doi: 10.1111/mmi.13597
external_id:
  isi:
  - '000398059200002'
intvolume: '       104'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa_version: None
page: 16 - 31
publication: Molecular Microbiology
publication_identifier:
  issn:
  - ' 0950-382X'
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6294'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Insulation and wiring specificity of BceR like response regulators and their
  target promoters in Bacillus subtilis
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 104
year: '2017'
...
---
_id: '1085'
abstract:
- lang: eng
  text: Sex chromosomes evolve once recombination is halted between a homologous pair
    of chromosomes. The dominant model of sex chromosome evolution posits that recombination
    is suppressed between emerging X and Y chromosomes in order to resolve sexual
    conflict. Here we test this model using whole genome and transcriptome resequencing
    data in the guppy, a model for sexual selection with many Y-linked colour traits.
    We show that although the nascent Y chromosome encompasses nearly half of the
    linkage group, there has been no perceptible degradation of Y chromosome gene
    content or activity. Using replicate wild populations with differing levels of
    sexually antagonistic selection for colour, we also show that sexual selection
    leads to greater expansion of the non-recombining region and increased Y chromosome
    divergence. These results provide empirical support for longstanding models of
    sex chromosome catalysis, and suggest an important role for sexual selection and
    sexual conflict in genome evolution.
article_number: '14251'
article_processing_charge: No
author:
- first_name: Alison
  full_name: Wright, Alison
  last_name: Wright
- first_name: Iulia
  full_name: Darolti, Iulia
  last_name: Darolti
- first_name: Natasha
  full_name: Bloch, Natasha
  last_name: Bloch
- first_name: Vicencio
  full_name: Oostra, Vicencio
  last_name: Oostra
- first_name: Benjamin
  full_name: Sandkam, Benjamin
  last_name: Sandkam
- first_name: Séverine
  full_name: Buechel, Séverine
  last_name: Buechel
- first_name: Niclas
  full_name: Kolm, Niclas
  last_name: Kolm
- first_name: Felix
  full_name: Breden, Felix
  last_name: Breden
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
- first_name: Judith
  full_name: Mank, Judith
  last_name: Mank
citation:
  ama: Wright A, Darolti I, Bloch N, et al. Convergent recombination suppression suggests
    role of sexual selection in guppy sex chromosome formation. <i>Nature Communications</i>.
    2017;8. doi:<a href="https://doi.org/10.1038/ncomms14251">10.1038/ncomms14251</a>
  apa: Wright, A., Darolti, I., Bloch, N., Oostra, V., Sandkam, B., Buechel, S., …
    Mank, J. (2017). Convergent recombination suppression suggests role of sexual
    selection in guppy sex chromosome formation. <i>Nature Communications</i>. Nature
    Publishing Group. <a href="https://doi.org/10.1038/ncomms14251">https://doi.org/10.1038/ncomms14251</a>
  chicago: Wright, Alison, Iulia Darolti, Natasha Bloch, Vicencio Oostra, Benjamin
    Sandkam, Séverine Buechel, Niclas Kolm, Felix Breden, Beatriz Vicoso, and Judith
    Mank. “Convergent Recombination Suppression Suggests Role of Sexual Selection
    in Guppy Sex Chromosome Formation.” <i>Nature Communications</i>. Nature Publishing
    Group, 2017. <a href="https://doi.org/10.1038/ncomms14251">https://doi.org/10.1038/ncomms14251</a>.
  ieee: A. Wright <i>et al.</i>, “Convergent recombination suppression suggests role
    of sexual selection in guppy sex chromosome formation,” <i>Nature Communications</i>,
    vol. 8. Nature Publishing Group, 2017.
  ista: Wright A, Darolti I, Bloch N, Oostra V, Sandkam B, Buechel S, Kolm N, Breden
    F, Vicoso B, Mank J. 2017. Convergent recombination suppression suggests role
    of sexual selection in guppy sex chromosome formation. Nature Communications.
    8, 14251.
  mla: Wright, Alison, et al. “Convergent Recombination Suppression Suggests Role
    of Sexual Selection in Guppy Sex Chromosome Formation.” <i>Nature Communications</i>,
    vol. 8, 14251, Nature Publishing Group, 2017, doi:<a href="https://doi.org/10.1038/ncomms14251">10.1038/ncomms14251</a>.
  short: A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm,
    F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
date_created: 2018-12-11T11:50:04Z
date_published: 2017-01-31T00:00:00Z
date_updated: 2025-07-10T11:50:01Z
day: '31'
ddc:
- '570'
- '576'
department:
- _id: BeVi
doi: 10.1038/ncomms14251
external_id:
  isi:
  - '000392953700001'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:15:22Z
  date_updated: 2018-12-12T10:15:22Z
  file_id: '5141'
  file_name: IST-2017-791-v1+1_ncomms14251.pdf
  file_size: 955256
  relation: main_file
file_date_updated: 2018-12-12T10:15:22Z
has_accepted_license: '1'
intvolume: '         8'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Nature Publishing Group
publist_id: '6292'
pubrep_id: '791'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Convergent recombination suppression suggests role of sexual selection in guppy
  sex chromosome formation
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2017'
...
---
_id: '1087'
abstract:
- lang: eng
  text: Using extensive direct numerical simulations, the dynamics of laminar-turbulent
    fronts in pipe flow is investigated for Reynolds numbers between and 5500. We
    here investigate the physical distinction between the fronts of weak and strong
    slugs both by analysing the turbulent kinetic energy budget and by comparing the
    downstream front motion to the advection speed of bulk turbulent structures. Our
    study shows that weak downstream fronts travel slower than turbulent structures
    in the bulk and correspond to decaying turbulence at the front. At the downstream
    front speed becomes faster than the advection speed, marking the onset of strong
    fronts. In contrast to weak fronts, turbulent eddies are generated at strong fronts
    by feeding on the downstream laminar flow. Our study also suggests that temporal
    fluctuations of production and dissipation at the downstream laminar-turbulent
    front drive the dynamical switches between the two types of front observed up
    to.
acknowledged_ssus:
- _id: ScienComp
article_processing_charge: No
arxiv: 1
author:
- first_name: Baofang
  full_name: Song, Baofang
  last_name: Song
- first_name: Dwight
  full_name: Barkley, Dwight
  last_name: Barkley
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
- first_name: Marc
  full_name: Avila, Marc
  last_name: Avila
citation:
  ama: Song B, Barkley D, Hof B, Avila M. Speed and structure of turbulent fronts
    in pipe flow. <i>Journal of Fluid Mechanics</i>. 2017;813:1045-1059. doi:<a href="https://doi.org/10.1017/jfm.2017.14">10.1017/jfm.2017.14</a>
  apa: Song, B., Barkley, D., Hof, B., &#38; Avila, M. (2017). Speed and structure
    of turbulent fronts in pipe flow. <i>Journal of Fluid Mechanics</i>. Cambridge
    University Press. <a href="https://doi.org/10.1017/jfm.2017.14">https://doi.org/10.1017/jfm.2017.14</a>
  chicago: Song, Baofang, Dwight Barkley, Björn Hof, and Marc Avila. “Speed and Structure
    of Turbulent Fronts in Pipe Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge
    University Press, 2017. <a href="https://doi.org/10.1017/jfm.2017.14">https://doi.org/10.1017/jfm.2017.14</a>.
  ieee: B. Song, D. Barkley, B. Hof, and M. Avila, “Speed and structure of turbulent
    fronts in pipe flow,” <i>Journal of Fluid Mechanics</i>, vol. 813. Cambridge University
    Press, pp. 1045–1059, 2017.
  ista: Song B, Barkley D, Hof B, Avila M. 2017. Speed and structure of turbulent
    fronts in pipe flow. Journal of Fluid Mechanics. 813, 1045–1059.
  mla: Song, Baofang, et al. “Speed and Structure of Turbulent Fronts in Pipe Flow.”
    <i>Journal of Fluid Mechanics</i>, vol. 813, Cambridge University Press, 2017,
    pp. 1045–59, doi:<a href="https://doi.org/10.1017/jfm.2017.14">10.1017/jfm.2017.14</a>.
  short: B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017)
    1045–1059.
date_created: 2018-12-11T11:50:04Z
date_published: 2017-02-25T00:00:00Z
date_updated: 2025-06-04T08:35:11Z
day: '25'
department:
- _id: BjHo
doi: 10.1017/jfm.2017.14
ec_funded: 1
external_id:
  arxiv:
  - '1603.04077'
  isi:
  - '000394376400044'
intvolume: '       813'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1603.04077
month: '02'
oa: 1
oa_version: Submitted Version
page: 1045 - 1059
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '306589'
  name: Decoding the complexity of turbulence at its origin
publication: Journal of Fluid Mechanics
publication_identifier:
  issn:
  - 0022-1120
publication_status: published
publisher: Cambridge University Press
publist_id: '6290'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Speed and structure of turbulent fronts in pipe flow
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 813
year: '2017'
...
---
_id: '1089'
abstract:
- lang: eng
  text: We discuss properties of distributions that are multivariate totally positive
    of order two (MTP2) related to conditional independence. In particular, we show
    that any independence model generated by an MTP2 distribution is a compositional
    semigraphoid which is upward-stable and singleton-transitive. In addition, we
    prove that any MTP2 distribution satisfying an appropriate support condition is
    faithful to its concentration graph. Finally, we analyze factorization properties
    of MTP2 distributions and discuss ways of constructing MTP2 distributions; in
    particular we give conditions on the log-linear parameters of a discrete distribution
    which ensure MTP2 and characterize conditional Gaussian distributions which satisfy
    MTP2.
article_processing_charge: No
arxiv: 1
author:
- first_name: Shaun
  full_name: Fallat, Shaun
  last_name: Fallat
- first_name: Steffen
  full_name: Lauritzen, Steffen
  last_name: Lauritzen
- first_name: Kayvan
  full_name: Sadeghi, Kayvan
  last_name: Sadeghi
- first_name: Caroline
  full_name: Uhler, Caroline
  id: 49ADD78E-F248-11E8-B48F-1D18A9856A87
  last_name: Uhler
  orcid: 0000-0002-7008-0216
- first_name: Nanny
  full_name: Wermuth, Nanny
  last_name: Wermuth
- first_name: Piotr
  full_name: Zwiernik, Piotr
  last_name: Zwiernik
citation:
  ama: Fallat S, Lauritzen S, Sadeghi K, Uhler C, Wermuth N, Zwiernik P. Total positivity
    in Markov structures. <i>Annals of Statistics</i>. 2017;45(3):1152-1184. doi:<a
    href="https://doi.org/10.1214/16-AOS1478">10.1214/16-AOS1478</a>
  apa: Fallat, S., Lauritzen, S., Sadeghi, K., Uhler, C., Wermuth, N., &#38; Zwiernik,
    P. (2017). Total positivity in Markov structures. <i>Annals of Statistics</i>.
    Institute of Mathematical Statistics. <a href="https://doi.org/10.1214/16-AOS1478">https://doi.org/10.1214/16-AOS1478</a>
  chicago: Fallat, Shaun, Steffen Lauritzen, Kayvan Sadeghi, Caroline Uhler, Nanny
    Wermuth, and Piotr Zwiernik. “Total Positivity in Markov Structures.” <i>Annals
    of Statistics</i>. Institute of Mathematical Statistics, 2017. <a href="https://doi.org/10.1214/16-AOS1478">https://doi.org/10.1214/16-AOS1478</a>.
  ieee: S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, and P. Zwiernik,
    “Total positivity in Markov structures,” <i>Annals of Statistics</i>, vol. 45,
    no. 3. Institute of Mathematical Statistics, pp. 1152–1184, 2017.
  ista: Fallat S, Lauritzen S, Sadeghi K, Uhler C, Wermuth N, Zwiernik P. 2017. Total
    positivity in Markov structures. Annals of Statistics. 45(3), 1152–1184.
  mla: Fallat, Shaun, et al. “Total Positivity in Markov Structures.” <i>Annals of
    Statistics</i>, vol. 45, no. 3, Institute of Mathematical Statistics, 2017, pp.
    1152–84, doi:<a href="https://doi.org/10.1214/16-AOS1478">10.1214/16-AOS1478</a>.
  short: S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals
    of Statistics 45 (2017) 1152–1184.
corr_author: '1'
date_created: 2018-12-11T11:50:05Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2025-06-04T08:35:37Z
day: '01'
department:
- _id: CaUh
doi: 10.1214/16-AOS1478
external_id:
  arxiv:
  - '1510.01290'
  isi:
  - '000404395900008'
intvolume: '        45'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1510.01290
month: '06'
oa: 1
oa_version: Submitted Version
page: 1152 - 1184
project:
- _id: 2530CA10-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Y 903-N35
  name: 'Gaussian Graphical Models: Theory and Applications'
publication: Annals of Statistics
publication_identifier:
  issn:
  - 0090-5364
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '6288'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Total positivity in Markov structures
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 45
year: '2017'
...
---
_id: '1104'
abstract:
- lang: eng
  text: In the early visual system, cells of the same type perform the same computation
    in different places of the visual field. How these cells code together a complex
    visual scene is unclear. A common assumption is that cells of a single-type extract
    a single-stimulus feature to form a feature map, but this has rarely been observed
    directly. Using large-scale recordings in the rat retina, we show that a homogeneous
    population of fast OFF ganglion cells simultaneously encodes two radically different
    features of a visual scene. Cells close to a moving object code quasilinearly
    for its position, while distant cells remain largely invariant to the object's
    position and, instead, respond nonlinearly to changes in the object's speed. We
    develop a quantitative model that accounts for this effect and identify a disinhibitory
    circuit that mediates it. Ganglion cells of a single type thus do not code for
    one, but two features simultaneously. This richer, flexible neural map might also
    be present in other sensory systems.
article_number: '1964'
article_processing_charge: No
author:
- first_name: Stephane
  full_name: Deny, Stephane
  last_name: Deny
- first_name: Ulisse
  full_name: Ferrari, Ulisse
  last_name: Ferrari
- first_name: Emilie
  full_name: Mace, Emilie
  last_name: Mace
- first_name: Pierre
  full_name: Yger, Pierre
  last_name: Yger
- first_name: Romain
  full_name: Caplette, Romain
  last_name: Caplette
- first_name: Serge
  full_name: Picaud, Serge
  last_name: Picaud
- first_name: Gasper
  full_name: Tkacik, Gasper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkacik
  orcid: 0000-0002-6699-1455
- first_name: Olivier
  full_name: Marre, Olivier
  last_name: Marre
citation:
  ama: Deny S, Ferrari U, Mace E, et al. Multiplexed computations in retinal ganglion
    cells of a single type. <i>Nature Communications</i>. 2017;8(1). doi:<a href="https://doi.org/10.1038/s41467-017-02159-y">10.1038/s41467-017-02159-y</a>
  apa: Deny, S., Ferrari, U., Mace, E., Yger, P., Caplette, R., Picaud, S., … Marre,
    O. (2017). Multiplexed computations in retinal ganglion cells of a single type.
    <i>Nature Communications</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41467-017-02159-y">https://doi.org/10.1038/s41467-017-02159-y</a>
  chicago: Deny, Stephane, Ulisse Ferrari, Emilie Mace, Pierre Yger, Romain Caplette,
    Serge Picaud, Gašper Tkačik, and Olivier Marre. “Multiplexed Computations in Retinal
    Ganglion Cells of a Single Type.” <i>Nature Communications</i>. Nature Publishing
    Group, 2017. <a href="https://doi.org/10.1038/s41467-017-02159-y">https://doi.org/10.1038/s41467-017-02159-y</a>.
  ieee: S. Deny <i>et al.</i>, “Multiplexed computations in retinal ganglion cells
    of a single type,” <i>Nature Communications</i>, vol. 8, no. 1. Nature Publishing
    Group, 2017.
  ista: Deny S, Ferrari U, Mace E, Yger P, Caplette R, Picaud S, Tkačik G, Marre O.
    2017. Multiplexed computations in retinal ganglion cells of a single type. Nature
    Communications. 8(1), 1964.
  mla: Deny, Stephane, et al. “Multiplexed Computations in Retinal Ganglion Cells
    of a Single Type.” <i>Nature Communications</i>, vol. 8, no. 1, 1964, Nature Publishing
    Group, 2017, doi:<a href="https://doi.org/10.1038/s41467-017-02159-y">10.1038/s41467-017-02159-y</a>.
  short: S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik,
    O. Marre, Nature Communications 8 (2017).
date_created: 2018-12-11T11:50:10Z
date_published: 2017-12-06T00:00:00Z
date_updated: 2025-07-10T11:50:05Z
day: '06'
ddc:
- '571'
department:
- _id: GaTk
doi: 10.1038/s41467-017-02159-y
ec_funded: 1
external_id:
  isi:
  - '000417241200004'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:06Z
  date_updated: 2018-12-12T10:16:06Z
  file_id: '5191'
  file_name: IST-2018-921-v1+1_s41467-017-02159-y.pdf
  file_size: 2872887
  relation: main_file
file_date_updated: 2018-12-12T10:16:06Z
has_accepted_license: '1'
intvolume: '         8'
isi: 1
issue: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 25CD3DD2-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '604102'
  name: Localization of ion channels and receptors by two and three-dimensional immunoelectron
    microscopic approaches
- _id: 254D1A94-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 25651-N26
  name: Sensitivity to higher-order statistics in natural scenes
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Nature Publishing Group
publist_id: '6266'
pubrep_id: '921'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Multiplexed computations in retinal ganglion cells of a single type
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2017'
...
---
_id: '1108'
abstract:
- lang: eng
  text: In this work we study the learnability of stochastic processes with respect
    to the conditional risk, i.e. the existence of a learning algorithm that improves
    its next-step performance with the amount of observed data. We introduce a notion
    of pairwise discrepancy between conditional distributions at different times steps
    and show how certain properties of these discrepancies can be used to construct
    a successful learning algorithm. Our main results are two theorems that establish
    criteria for learnability for many classes of stochastic processes, including
    all special cases studied previously in the literature.
alternative_title:
- PMLR
article_processing_charge: No
author:
- first_name: Alexander
  full_name: Zimin, Alexander
  id: 37099E9C-F248-11E8-B48F-1D18A9856A87
  last_name: Zimin
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Zimin A, Lampert C. Learning theory for conditional risk minimization. In:
    Vol 54. ML Research Press; 2017:213-222.'
  apa: 'Zimin, A., &#38; Lampert, C. (2017). Learning theory for conditional risk
    minimization (Vol. 54, pp. 213–222). Presented at the AISTATS: Artificial Intelligence
    and Statistics, Fort Lauderdale, FL, United States: ML Research Press.'
  chicago: Zimin, Alexander, and Christoph Lampert. “Learning Theory for Conditional
    Risk Minimization,” 54:213–22. ML Research Press, 2017.
  ieee: 'A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,”
    presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale,
    FL, United States, 2017, vol. 54, pp. 213–222.'
  ista: 'Zimin A, Lampert C. 2017. Learning theory for conditional risk minimization.
    AISTATS: Artificial Intelligence and Statistics, PMLR, vol. 54, 213–222.'
  mla: Zimin, Alexander, and Christoph Lampert. <i>Learning Theory for Conditional
    Risk Minimization</i>. Vol. 54, ML Research Press, 2017, pp. 213–22.
  short: A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
conference:
  end_date: 2017-04-22
  location: Fort Lauderdale, FL, United States
  name: 'AISTATS: Artificial Intelligence and Statistics'
  start_date: 2017-04-20
date_created: 2018-12-11T11:50:11Z
date_published: 2017-04-01T00:00:00Z
date_updated: 2025-04-15T07:10:22Z
day: '01'
department:
- _id: ChLa
ec_funded: 1
external_id:
  isi:
  - '000509368500024'
intvolume: '        54'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://proceedings.mlr.press/v54/zimin17a/zimin17a.pdf
month: '04'
oa: 1
oa_version: Submitted Version
page: 213 - 222
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '308036'
  name: Lifelong Learning of Visual Scene Understanding
publication_status: published
publisher: ML Research Press
publist_id: '6261'
quality_controlled: '1'
status: public
title: Learning theory for conditional risk minimization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2017'
...
---
_id: '1109'
abstract:
- lang: eng
  text: 'Rotation of molecules embedded in He nanodroplets is explored by a combination
    of fs laser-induced alignment experiments and angulon quasiparticle theory. We
    demonstrate that at low fluence of the fs alignment pulse, the molecule and its
    solvation shell can be set into coherent collective rotation lasting long enough
    to form revivals. With increasing fluence, however, the revivals disappear --
    instead, rotational dynamics as rapid as for an isolated molecule is observed
    during the first few picoseconds. Classical calculations trace this phenomenon
    to transient decoupling of the molecule from its He shell. Our results open novel
    opportunities for studying non-equilibrium solute-solvent dynamics and quantum
    thermalization. '
article_number: '203203'
article_processing_charge: No
arxiv: 1
author:
- first_name: Benjamin
  full_name: Shepperson, Benjamin
  last_name: Shepperson
- first_name: Anders
  full_name: Søndergaard, Anders
  last_name: Søndergaard
- first_name: Lars
  full_name: Christiansen, Lars
  last_name: Christiansen
- first_name: Jan
  full_name: Kaczmarczyk, Jan
  id: 46C405DE-F248-11E8-B48F-1D18A9856A87
  last_name: Kaczmarczyk
  orcid: 0000-0002-1629-3675
- first_name: Robert
  full_name: Zillich, Robert
  last_name: Zillich
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Henrik
  full_name: Stapelfeldt, Henrik
  last_name: Stapelfeldt
citation:
  ama: 'Shepperson B, Søndergaard A, Christiansen L, et al. Laser-induced rotation
    of iodine molecules in helium nanodroplets: Revivals and breaking-free. <i>Physical
    Review Letters</i>. 2017;118(20). doi:<a href="https://doi.org/10.1103/PhysRevLett.118.203203">10.1103/PhysRevLett.118.203203</a>'
  apa: 'Shepperson, B., Søndergaard, A., Christiansen, L., Kaczmarczyk, J., Zillich,
    R., Lemeshko, M., &#38; Stapelfeldt, H. (2017). Laser-induced rotation of iodine
    molecules in helium nanodroplets: Revivals and breaking-free. <i>Physical Review
    Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevLett.118.203203">https://doi.org/10.1103/PhysRevLett.118.203203</a>'
  chicago: 'Shepperson, Benjamin, Anders Søndergaard, Lars Christiansen, Jan Kaczmarczyk,
    Robert Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Laser-Induced Rotation
    of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” <i>Physical
    Review Letters</i>. American Physical Society, 2017. <a href="https://doi.org/10.1103/PhysRevLett.118.203203">https://doi.org/10.1103/PhysRevLett.118.203203</a>.'
  ieee: 'B. Shepperson <i>et al.</i>, “Laser-induced rotation of iodine molecules
    in helium nanodroplets: Revivals and breaking-free,” <i>Physical Review Letters</i>,
    vol. 118, no. 20. American Physical Society, 2017.'
  ista: 'Shepperson B, Søndergaard A, Christiansen L, Kaczmarczyk J, Zillich R, Lemeshko
    M, Stapelfeldt H. 2017. Laser-induced rotation of iodine molecules in helium nanodroplets:
    Revivals and breaking-free. Physical Review Letters. 118(20), 203203.'
  mla: 'Shepperson, Benjamin, et al. “Laser-Induced Rotation of Iodine Molecules in
    Helium Nanodroplets: Revivals and Breaking-Free.” <i>Physical Review Letters</i>,
    vol. 118, no. 20, 203203, American Physical Society, 2017, doi:<a href="https://doi.org/10.1103/PhysRevLett.118.203203">10.1103/PhysRevLett.118.203203</a>.'
  short: B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich,
    M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
date_created: 2018-12-11T11:50:12Z
date_published: 2017-05-19T00:00:00Z
date_updated: 2025-06-04T08:36:27Z
day: '19'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.118.203203
external_id:
  arxiv:
  - '1702.01977'
  isi:
  - '000401664000005'
intvolume: '       118'
isi: 1
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1702.01977
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P29902
  name: Quantum rotations in the presence of a many-body environment
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6260'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals
  and breaking-free'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2017'
...
---
_id: '1110'
abstract:
- lang: eng
  text: The phytohormone auxin is a major determinant and regulatory component important
    for plant development. Auxin transport between cells is mediated by a complex
    system of transporters such as AUX1/LAX, PIN, and ABCB proteins, and their localization
    and activity is thought to be influenced by phosphatases and kinases. Flavonols
    have been shown to alter auxin transport activity and changes in flavonol accumulation
    in the Arabidopsis thaliana rol1-2 mutant cause defects in auxin transport and
    seedling development. A new mutation in ROOTS CURL IN NPA 1 (RCN1), encoding a
    regulatory subunit of the phosphatase PP2A, was found to suppress the growth defects
    of rol1-2 without changing the flavonol content. rol1-2 rcn1-3 double mutants
    show wild type-like auxin transport activity while levels of free auxin are not
    affected by rcn1-3. In the rol1-2 mutant, PIN2 shows a flavonol-induced basal-to-apical
    shift in polar localization which is reversed in the rol1-2 rcn1-3 to basal localization.
    In vivo analysis of PINOID action, a kinase known to influence PIN protein localization
    in a PP2A-antagonistic manner, revealed a negative impact of flavonols on PINOID
    activity. Together, these data suggest that flavonols affect auxin transport by
    modifying the antagonistic kinase/phosphatase equilibrium.
acknowledgement: European Research Council (project ERC-2011-StG-20101109-PSDP), European
  Social Fund (CZ.1.07/2.3.00/20.0043) and the Czech Science Foundation (GA13-40637S)
  [JF].
article_number: '41906'
article_processing_charge: No
author:
- first_name: Benjamin
  full_name: Kuhn, Benjamin
  last_name: Kuhn
- first_name: Tomasz
  full_name: Nodzyński, Tomasz
  last_name: Nodzyński
- first_name: Sanae
  full_name: Errafi, Sanae
  last_name: Errafi
- first_name: Rahel
  full_name: Bucher, Rahel
  last_name: Bucher
- first_name: Shibu
  full_name: Gupta, Shibu
  last_name: Gupta
- first_name: Bibek
  full_name: Aryal, Bibek
  last_name: Aryal
- first_name: Petre
  full_name: Dobrev, Petre
  last_name: Dobrev
- first_name: Laurent
  full_name: Bigler, Laurent
  last_name: Bigler
- first_name: Markus
  full_name: Geisler, Markus
  last_name: Geisler
- first_name: Eva
  full_name: Zažímalová, Eva
  last_name: Zažímalová
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Christoph
  full_name: Ringli, Christoph
  last_name: Ringli
citation:
  ama: Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity
    and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase
    activity. <i>Scientific Reports</i>. 2017;7. doi:<a href="https://doi.org/10.1038/srep41906">10.1038/srep41906</a>
  apa: Kuhn, B., Nodzyński, T., Errafi, S., Bucher, R., Gupta, S., Aryal, B., … Ringli,
    C. (2017). Flavonol-induced changes in PIN2 polarity and auxin transport in the
    Arabidopsis thaliana rol1-2 mutant require phosphatase activity. <i>Scientific
    Reports</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/srep41906">https://doi.org/10.1038/srep41906</a>
  chicago: Kuhn, Benjamin, Tomasz Nodzyński, Sanae Errafi, Rahel Bucher, Shibu Gupta,
    Bibek Aryal, Petre Dobrev, et al. “Flavonol-Induced Changes in PIN2 Polarity and
    Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase
    Activity.” <i>Scientific Reports</i>. Nature Publishing Group, 2017. <a href="https://doi.org/10.1038/srep41906">https://doi.org/10.1038/srep41906</a>.
  ieee: B. Kuhn <i>et al.</i>, “Flavonol-induced changes in PIN2 polarity and auxin
    transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,”
    <i>Scientific Reports</i>, vol. 7. Nature Publishing Group, 2017.
  ista: Kuhn B, Nodzyński T, Errafi S, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler
    L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes
    in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant
    require phosphatase activity. Scientific Reports. 7, 41906.
  mla: Kuhn, Benjamin, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin
    Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.”
    <i>Scientific Reports</i>, vol. 7, 41906, Nature Publishing Group, 2017, doi:<a
    href="https://doi.org/10.1038/srep41906">10.1038/srep41906</a>.
  short: B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev,
    L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports
    7 (2017).
date_created: 2018-12-11T11:50:12Z
date_published: 2017-02-06T00:00:00Z
date_updated: 2025-07-10T11:50:06Z
day: '06'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1038/srep41906
ec_funded: 1
external_id:
  isi:
  - '000393367600001'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:18:09Z
  date_updated: 2018-12-12T10:18:09Z
  file_id: '5328'
  file_name: IST-2017-803-v1+1_srep41906.pdf
  file_size: 1654496
  relation: main_file
file_date_updated: 2018-12-12T10:18:09Z
has_accepted_license: '1'
intvolume: '         7'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '282300'
  name: Polarity and subcellular dynamics in plants
publication: Scientific Reports
publication_identifier:
  issn:
  - 2045-2322
publication_status: published
publisher: Nature Publishing Group
publist_id: '6258'
pubrep_id: '803'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis
  thaliana rol1-2 mutant require phosphatase activity
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2017'
...
