---
_id: '959'
abstract:
- lang: eng
  text: In this work it is shown that scale-free tails in metabolic flux distributions
    inferred in stationary models are an artifact due to reactions involved in thermodynamically
    unfeasible cycles, unbounded by physical constraints and in principle able to
    perform work without expenditure of free energy. After implementing thermodynamic
    constraints by removing such loops, metabolic flux distributions scale meaningfully
    with the physical limiting factors, acquiring in turn a richer multimodal structure
    potentially leading to symmetry breaking while optimizing for objective functions.
article_processing_charge: No
author:
- first_name: Daniele
  full_name: De Martino, Daniele
  id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
  last_name: De Martino
  orcid: 0000-0002-5214-4706
citation:
  ama: De Martino D. Scales and multimodal flux distributions in stationary metabolic
    network models via thermodynamics. <i> Physical Review E Statistical Nonlinear
    and Soft Matter Physics </i>. 2017;95(6):062419. doi:<a href="https://doi.org/10.1103/PhysRevE.95.062419">10.1103/PhysRevE.95.062419</a>
  apa: De Martino, D. (2017). Scales and multimodal flux distributions in stationary
    metabolic network models via thermodynamics. <i> Physical Review E Statistical
    Nonlinear and Soft Matter Physics </i>. American Institute of Physics. <a href="https://doi.org/10.1103/PhysRevE.95.062419">https://doi.org/10.1103/PhysRevE.95.062419</a>
  chicago: De Martino, Daniele. “Scales and Multimodal Flux Distributions in Stationary
    Metabolic Network Models via Thermodynamics.” <i> Physical Review E Statistical
    Nonlinear and Soft Matter Physics </i>. American Institute of Physics, 2017. <a
    href="https://doi.org/10.1103/PhysRevE.95.062419">https://doi.org/10.1103/PhysRevE.95.062419</a>.
  ieee: D. De Martino, “Scales and multimodal flux distributions in stationary metabolic
    network models via thermodynamics,” <i> Physical Review E Statistical Nonlinear
    and Soft Matter Physics </i>, vol. 95, no. 6. American Institute of Physics, p.
    062419, 2017.
  ista: De Martino D. 2017. Scales and multimodal flux distributions in stationary
    metabolic network models via thermodynamics.  Physical Review E Statistical Nonlinear
    and Soft Matter Physics . 95(6), 062419.
  mla: De Martino, Daniele. “Scales and Multimodal Flux Distributions in Stationary
    Metabolic Network Models via Thermodynamics.” <i> Physical Review E Statistical
    Nonlinear and Soft Matter Physics </i>, vol. 95, no. 6, American Institute of
    Physics, 2017, p. 062419, doi:<a href="https://doi.org/10.1103/PhysRevE.95.062419">10.1103/PhysRevE.95.062419</a>.
  short: D. De Martino,  Physical Review E Statistical Nonlinear and Soft Matter Physics  95
    (2017) 062419.
date_created: 2018-12-11T11:49:25Z
date_published: 2017-06-28T00:00:00Z
date_updated: 2023-09-22T09:59:01Z
day: '28'
department:
- _id: GaTk
doi: 10.1103/PhysRevE.95.062419
ec_funded: 1
external_id:
  isi:
  - '000404546400004'
intvolume: '        95'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/pdf/1703.00853.pdf
month: '06'
oa: 1
oa_version: Submitted Version
page: '062419'
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: ' Physical Review E Statistical Nonlinear and Soft Matter Physics '
publication_identifier:
  issn:
  - '24700045'
publication_status: published
publisher: American Institute of Physics
publist_id: '6446'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Scales and multimodal flux distributions in stationary metabolic network models
  via thermodynamics
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 95
year: '2017'
...
---
_id: '960'
abstract:
- lang: eng
  text: The human cerebral cortex is the seat of our cognitive abilities and composed
    of an extraordinary number of neurons, organized in six distinct layers. The establishment
    of specific morphological and physiological features in individual neurons needs
    to be regulated with high precision. Impairments in the sequential developmental
    programs instructing corticogenesis lead to alterations in the cortical cytoarchitecture
    which is thought to represent the major underlying cause for several neurological
    disorders including neurodevelopmental and psychiatric diseases. In this review
    we discuss the role of cell polarity at sequential stages during cortex development.
    We first provide an overview of morphological cell polarity features in cortical
    neural stem cells and newly-born postmitotic neurons. We then synthesize a conceptual
    molecular and biochemical framework how cell polarity is established at the cellular
    level through a break in symmetry in nascent cortical projection neurons. Lastly
    we provide a perspective how the molecular mechanisms applying to single cells
    could be probed and integrated in an in vivo and tissue-wide context.
article_number: '176'
article_processing_charge: Yes
author:
- first_name: Andi H
  full_name: Hansen, Andi H
  id: 38853E16-F248-11E8-B48F-1D18A9856A87
  last_name: Hansen
- first_name: Christian F
  full_name: Düllberg, Christian F
  id: 459064DC-F248-11E8-B48F-1D18A9856A87
  last_name: Düllberg
  orcid: 0000-0001-6335-9748
- first_name: Christine
  full_name: Mieck, Christine
  id: 34CAE85C-F248-11E8-B48F-1D18A9856A87
  last_name: Mieck
  orcid: 0000-0003-1919-7416
- first_name: Martin
  full_name: Loose, Martin
  id: 462D4284-F248-11E8-B48F-1D18A9856A87
  last_name: Loose
  orcid: 0000-0001-7309-9724
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
citation:
  ama: Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral
    cortex development - cellular architecture shaped by biochemical networks. <i>Frontiers
    in Cellular Neuroscience</i>. 2017;11. doi:<a href="https://doi.org/10.3389/fncel.2017.00176">10.3389/fncel.2017.00176</a>
  apa: Hansen, A. H., Düllberg, C. F., Mieck, C., Loose, M., &#38; Hippenmeyer, S.
    (2017). Cell polarity in cerebral cortex development - cellular architecture shaped
    by biochemical networks. <i>Frontiers in Cellular Neuroscience</i>. Frontiers
    Research Foundation. <a href="https://doi.org/10.3389/fncel.2017.00176">https://doi.org/10.3389/fncel.2017.00176</a>
  chicago: Hansen, Andi H, Christian F Düllberg, Christine Mieck, Martin Loose, and
    Simon Hippenmeyer. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture
    Shaped by Biochemical Networks.” <i>Frontiers in Cellular Neuroscience</i>. Frontiers
    Research Foundation, 2017. <a href="https://doi.org/10.3389/fncel.2017.00176">https://doi.org/10.3389/fncel.2017.00176</a>.
  ieee: A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell
    polarity in cerebral cortex development - cellular architecture shaped by biochemical
    networks,” <i>Frontiers in Cellular Neuroscience</i>, vol. 11. Frontiers Research
    Foundation, 2017.
  ista: Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. 2017. Cell polarity
    in cerebral cortex development - cellular architecture shaped by biochemical networks.
    Frontiers in Cellular Neuroscience. 11, 176.
  mla: Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular
    Architecture Shaped by Biochemical Networks.” <i>Frontiers in Cellular Neuroscience</i>,
    vol. 11, 176, Frontiers Research Foundation, 2017, doi:<a href="https://doi.org/10.3389/fncel.2017.00176">10.3389/fncel.2017.00176</a>.
  short: A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers
    in Cellular Neuroscience 11 (2017).
date_created: 2018-12-11T11:49:25Z
date_published: 2017-06-28T00:00:00Z
date_updated: 2024-03-25T23:30:23Z
day: '28'
ddc:
- '570'
department:
- _id: SiHi
- _id: MaLo
doi: 10.3389/fncel.2017.00176
ec_funded: 1
external_id:
  isi:
  - '000404486700001'
file:
- access_level: open_access
  checksum: dc1f5a475b918d09a0f9f587400b1626
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:40Z
  date_updated: 2020-07-14T12:48:16Z
  file_id: '4764'
  file_name: IST-2017-830-v1+1_2017_Hansen_CellPolarity.pdf
  file_size: 2153858
  relation: main_file
file_date_updated: 2020-07-14T12:48:16Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 25D61E48-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '618444'
  name: Molecular Mechanisms of Cerebral Cortex Development
- _id: 25D7962E-B435-11E9-9278-68D0E5697425
  grant_number: RGP0053/2014
  name: Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal
    Level
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: 25985A36-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: T00817-B21
  name: The biochemical basis of PAR polarization
publication: Frontiers in Cellular Neuroscience
publication_identifier:
  issn:
  - '16625102'
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '6445'
pubrep_id: '830'
quality_controlled: '1'
related_material:
  record:
  - id: '9962'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Cell polarity in cerebral cortex development - cellular architecture shaped
  by biochemical networks
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: 11
year: '2017'
...
---
_id: '961'
abstract:
- lang: eng
  text: Cell-cell  contact  formation  constitutes  the  first  step  in  the  emergence  of  multicellularity  in
    evolution, thereby  allowing  the  differentiation  of  specialized  cell  types.  In  metazoan
    development, cell-cell contact formation is thought to influence cell fate specification,
    and cell   fate   specification   has   been   implicated   in   cell-cell  contact
    formation.   However, remarkably little is yet known about whether and how the
    interaction and feedback between cell-cell contact formation and cell fate specification
    affect development. Here we identify a positive  feedback  loop  between  cell-cell  contact  duration,  morphogen  signaling  and
    mesendoderm  cell  fate  specification  during  zebrafish  gastrulation.  We  show  that  long
    lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor
    cells to  respond  to  Nodal  signaling,  required  for  proper  ppl  cell  fate  specification.  We  further
    show  that  Nodal  signalling  romotes  ppl  cell-cell  contact  duration,  thereby  generating  an
    effective  positive  feedback  loop  between  ppl  cell-cell  contact  duration  and  cell  fate
    specification. Finally, by using a combination of theoretical modeling and experimentation,
    we  show  that  this  feedback  loop  determines  whether  anterior  axial  mesendoderm  cells
    become  ppl  progenitors  or,  instead,  turn  into  endoderm  progenitors.  Our  findings  reveal
    that  the  gene  regulatory  networks  leading  to  cell  fate  diversification  within  the  developing
    embryo  are  controlled  by  the  interdependent  activities  of  cell-cell  signaling  and  contact
    formation.
acknowledgement: "Many people accompanied me during this trip: I would not have reached
  my destination nor \r\nenjoyed the travelling without them. First of all, thanks
  to CP. Thanks for making me part of \r\nyour team, always full of diverse, interesting
  and incredibly competent people and thanks for \r\nall  the  good  science  I  witnessed
  \ and  participated  in.  It  has  been  a \r\nblast,  an  incredibly \r\nexciting
  \ one!  Thanks  to  JLo,  for  teaching  me  how  to  master  my  pipettes  and
  \ showing  me \r\nthat science is a lot of fun. Many, many thanks to Gabby for teaching
  me basically everything \r\nabout  zebrafish  and  being  always  there  to  advice,
  \ sugge\r\nst,  support...and  play  fussball! \r\nThank you to Julien, for the
  critical eye on things, Pedro, for all the invaluable feedback and \r\nthe amazing
  kicker matches, and Keisuke, for showing me the light, and to the three of them
  \r\ntogether  for  all  the  good  laughs  we\r\nhad.  My  start  in  Vienna  would
  \ have  been  a  lot  more \r\ndifficult  without  you  guys.  Also  it  would  not
  \ have  been  possible  without  Elena  and  Inês: \r\nthanks  for  helping  setting
  \ up  this  lab  and  for  the  dinners  in  Gugging.  Thanks  to  Martin,  for
  \r\nhelping  me  understand \r\nthe  physics  behind  biology.  Thanks  to  Philipp,
  \ for  the  interest  and \r\nadvice, and to Michael, for the Viennise take on things.
  Thanks to Julia, for putting up with \r\nbeing our technician and becoming a friend
  in the process. And now to the newest members \r\nof th\r\ne lab. Thanks to Daniel
  for the enthusiasm and the neverending energy and for all your \r\nhelp over the
  years: thank you! To Jana, for showing me that one doesn’t give up, no matter \r\nwhat.
  \ To  Shayan,  for  being  such  a  motivated  student.  To  Matt,  for  helping
  \ out\r\nwith  coding \r\nand for finding punk solutions to data analysis problems.
  Thanks to all the members of the \r\nlab, Verena, Hitoshi, Silvia, Conny, Karla,
  Nicoletta, Zoltan, Peng, Benoit, Roland, Yuuta and \r\nFeyza,  for  the  wonderful
  \ atmosphere  in  the  lab.  Many  than\r\nks  to  Koni  and  Deborah:  doing \r\nexperiments
  would have been much more difficult without your help. Special thanks to Katjia
  \r\nfor  setting  up  an  amazing  imaging  facility  and  for  building  the  best
  \ team,  Robert,  Nasser, \r\nAnna and Doreen: thank you for putting up w\r\nith
  all the late sortings and for helping with all \r\nthe technical problems. Thanks
  to Eva, Verena and Matthias for keeping the fish happy. Big \r\nthanks to Harald
  Janovjak for being a present and helpful committee member over the years \r\nand
  \ to  Patrick  Lemaire  f\r\nor  the  helpful  insight  and  extremely  interesting
  \ discussion  we  had \r\nabout  the  project.  Also,  this  journey  would  not
  \ have  been  the  same  without  all  the  friends \r\nthat I met in Dresden and
  then in Vienna: Daniele, Claire, Kuba, Steffi, Harold, Dejan, Irene, \r\nFab\r\nienne,
  Hande, Tiago, Marianne, Jon, Srdjan, Branca, Uli, Murat, Alex, Conny, Christoph,
  \r\nCaro, Simone, Barbara, Felipe, Dama, Jose, Hubert and many others that filled
  my days with \r\nfun and support. A special thank to my family, always close even
  if they are \r\nkilometers away. \r\nGrazie  ai  miei  fratelli,  Nunzio  e  William,
  \ e  alla  mia  mamma,  per  essermi  sempre  vicini  pur \r\nvivendo a chilometri
  di distanza. And, last but not least, thanks to Moritz, for putting up with \r\nthe
  crazy life of a scientist, the living apart for\r\nso long, never knowing when things
  are going \r\nto happen. Thanks for being a great partner and my number one fan!"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Vanessa
  full_name: Barone, Vanessa
  id: 419EECCC-F248-11E8-B48F-1D18A9856A87
  last_name: Barone
  orcid: 0000-0003-2676-3367
citation:
  ama: 'Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish
    gastrulation. 2017. doi:<a href="https://doi.org/10.15479/AT:ISTA:th_825">10.15479/AT:ISTA:th_825</a>'
  apa: 'Barone, V. (2017). <i>Cell adhesion and cell fate: An effective feedback loop
    during zebrafish gastrulation</i>. Institute of Science and Technology Austria.
    <a href="https://doi.org/10.15479/AT:ISTA:th_825">https://doi.org/10.15479/AT:ISTA:th_825</a>'
  chicago: 'Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop
    during Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2017.
    <a href="https://doi.org/10.15479/AT:ISTA:th_825">https://doi.org/10.15479/AT:ISTA:th_825</a>.'
  ieee: 'V. Barone, “Cell adhesion and cell fate: An effective feedback loop during
    zebrafish gastrulation,” Institute of Science and Technology Austria, 2017.'
  ista: 'Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during
    zebrafish gastrulation. Institute of Science and Technology Austria.'
  mla: 'Barone, Vanessa. <i>Cell Adhesion and Cell Fate: An Effective Feedback Loop
    during Zebrafish Gastrulation</i>. Institute of Science and Technology Austria,
    2017, doi:<a href="https://doi.org/10.15479/AT:ISTA:th_825">10.15479/AT:ISTA:th_825</a>.'
  short: 'V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during
    Zebrafish Gastrulation, Institute of Science and Technology Austria, 2017.'
date_created: 2018-12-11T11:49:25Z
date_published: 2017-03-01T00:00:00Z
date_updated: 2023-09-27T14:16:45Z
day: '01'
ddc:
- '570'
- '590'
degree_awarded: PhD
department:
- _id: CaHe
doi: 10.15479/AT:ISTA:th_825
file:
- access_level: closed
  checksum: 242f88c87f2cf267bf05049fa26a687b
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-04-05T08:36:52Z
  date_updated: 2020-07-14T12:48:16Z
  file_id: '6205'
  file_name: 2017_Barone_thesis_final.docx
  file_size: 14497822
  relation: source_file
- access_level: open_access
  checksum: ba5b0613ed8bade73a409acdd880fb8a
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-05T08:36:52Z
  date_updated: 2020-07-14T12:48:16Z
  file_id: '6206'
  file_name: 2017_Barone_thesis_.pdf
  file_size: 14995941
  relation: main_file
file_date_updated: 2020-07-14T12:48:16Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '109'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '6444'
pubrep_id: '825'
related_material:
  record:
  - id: '1100'
    relation: part_of_dissertation
    status: public
  - id: '1537'
    relation: part_of_dissertation
    status: public
  - id: '1912'
    relation: part_of_dissertation
    status: public
  - id: '2926'
    relation: part_of_dissertation
    status: public
  - id: '3246'
    relation: part_of_dissertation
    status: public
  - id: '676'
    relation: part_of_dissertation
    status: public
  - id: '735'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
title: 'Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2017'
...
---
_id: '962'
abstract:
- lang: eng
  text: 'We present a new algorithm for model counting of a class of string constraints.
    In addition to the classic operation of concatenation, our class includes some
    recursively defined operations such as Kleene closure, and replacement of substrings.
    Additionally, our class also includes length constraints on the string expressions,
    which means, by requiring reasoning about numbers, that we face a multi-sorted
    logic. In the end, our string constraints are motivated by their use in programming
    for web applications. Our algorithm comprises two novel features: the ability
    to use a technique of (1) partial derivatives for constraints that are already
    in a solved form, i.e. a form where its (string) satisfiability is clearly displayed,
    and (2) non-progression, where cyclic reasoning in the reduction process may be
    terminated (thus allowing for the algorithm to look elsewhere). Finally, we experimentally
    compare our model counter with two recent works on model counting of similar constraints,
    SMC [18] and ABC [5], to demonstrate its superior performance.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Minh
  full_name: Trinh, Minh
  last_name: Trinh
- first_name: Duc Hiep
  full_name: Chu, Duc Hiep
  id: 3598E630-F248-11E8-B48F-1D18A9856A87
  last_name: Chu
- first_name: Joxan
  full_name: Jaffar, Joxan
  last_name: Jaffar
citation:
  ama: 'Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings.
    In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:<a href="https://doi.org/10.1007/978-3-319-63390-9_21">10.1007/978-3-319-63390-9_21</a>'
  apa: 'Trinh, M., Chu, D. H., &#38; Jaffar, J. (2017). Model counting for recursively-defined
    strings. In R. Majumdar &#38; V. Kunčak (Eds.) (Vol. 10427, pp. 399–418). Presented
    at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. <a href="https://doi.org/10.1007/978-3-319-63390-9_21">https://doi.org/10.1007/978-3-319-63390-9_21</a>'
  chicago: Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined
    Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer,
    2017. <a href="https://doi.org/10.1007/978-3-319-63390-9_21">https://doi.org/10.1007/978-3-319-63390-9_21</a>.
  ieee: 'M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined
    strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany,
    2017, vol. 10427, pp. 399–418.'
  ista: 'Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings.
    CAV: Computer Aided Verification, LNCS, vol. 10427, 399–418.'
  mla: Trinh, Minh, et al. <i>Model Counting for Recursively-Defined Strings</i>.
    Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418,
    doi:<a href="https://doi.org/10.1007/978-3-319-63390-9_21">10.1007/978-3-319-63390-9_21</a>.
  short: M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer,
    2017, pp. 399–418.
conference:
  end_date: 2017-07-28
  location: Heidelberg, Germany
  name: 'CAV: Computer Aided Verification'
  start_date: 2017-07-24
date_created: 2018-12-11T11:49:26Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2023-09-22T09:58:02Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-319-63390-9_21
editor:
- first_name: Rupak
  full_name: Majumdar, Rupak
  last_name: Majumdar
- first_name: Viktor
  full_name: Kunčak, Viktor
  last_name: Kunčak
external_id:
  isi:
  - '000431900900021'
intvolume: '     10427'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
page: 399 - 418
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_identifier:
  issn:
  - '03029743'
publication_status: published
publisher: Springer
publist_id: '6443'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Model counting for recursively-defined strings
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10427
year: '2017'
...
---
_id: '963'
abstract:
- lang: eng
  text: 'Network games are widely used as a model for selfish resource-allocation
    problems. In the classical model, each player selects a path connecting her source
    and target vertex. The cost of traversing an edge depends on the number of players
    that traverse it. Thus, it abstracts the fact that different users may use a resource
    at different times and for different durations, which plays an important role
    in defining the costs of the users in reality. For example, when transmitting
    packets in a communication network, routing traffic in a road network, or processing
    a task in a production system, the traversal of the network involves an inherent
    delay, and so sharing and congestion of resources crucially depends on time. We
    study timed network games , which add a time component to network games. Each
    vertex v in the network is associated with a cost function, mapping the load on
    v to the price that a player pays for staying in v for one time unit with this
    load. In addition, each edge has a guard, describing time intervals in which the
    edge can be traversed, forcing the players to spend time on vertices. Unlike earlier
    work that add a time component to network games, the time in our model is continuous
    and cannot be discretized. In particular, players have uncountably many strategies,
    and a game may have uncountably many pure Nash equilibria. We study properties
    of timed network games with cost-sharing or congestion cost functions: their stability,
    equilibrium inefficiency, and complexity. In particular, we show that the answer
    to the question whether we can restrict attention to boundary strategies, namely
    ones in which edges are traversed only at the boundaries of guards, is mixed. '
alternative_title:
- LIPIcs
article_number: '37'
author:
- first_name: Guy
  full_name: Avni, Guy
  id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Avni
  orcid: 0000-0001-5588-8287
- first_name: Shibashis
  full_name: Guha, Shibashis
  last_name: Guha
- first_name: Orna
  full_name: Kupferman, Orna
  last_name: Kupferman
citation:
  ama: 'Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83.
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href="https://doi.org/10.4230/LIPIcs.MFCS.2017.37">10.4230/LIPIcs.MFCS.2017.37</a>'
  apa: 'Avni, G., Guha, S., &#38; Kupferman, O. (2017). Timed network games with clocks
    (Vol. 83). Presented at the MFCS: Mathematical Foundations of Computer Science
    (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a
    href="https://doi.org/10.4230/LIPIcs.MFCS.2017.37">https://doi.org/10.4230/LIPIcs.MFCS.2017.37</a>'
  chicago: Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with
    Clocks,” Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a
    href="https://doi.org/10.4230/LIPIcs.MFCS.2017.37">https://doi.org/10.4230/LIPIcs.MFCS.2017.37</a>.
  ieee: 'G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented
    at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark,
    2017, vol. 83.'
  ista: 'Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS:
    Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37.'
  mla: Avni, Guy, et al. <i>Timed Network Games with Clocks</i>. Vol. 83, 37, Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href="https://doi.org/10.4230/LIPIcs.MFCS.2017.37">10.4230/LIPIcs.MFCS.2017.37</a>.
  short: G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für
    Informatik, 2017.
conference:
  end_date: 2017-08-25
  location: Aalborg, Denmark
  name: 'MFCS: Mathematical Foundations of Computer Science (SG)'
  start_date: 2017-08-21
date_created: 2018-12-11T11:49:26Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2023-02-23T12:35:50Z
day: '01'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.MFCS.2017.37
file:
- access_level: open_access
  checksum: f55eaf7f3c36ea07801112acfedd17d5
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:14:10Z
  date_updated: 2020-07-14T12:48:18Z
  file_id: '5059'
  file_name: IST-2017-829-v1+1_mfcs-cr.pdf
  file_size: 369730
  relation: main_file
file_date_updated: 2020-07-14T12:48:18Z
has_accepted_license: '1'
intvolume: '        83'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
publication_identifier:
  issn:
  - '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '6438'
pubrep_id: '829'
quality_controlled: '1'
related_material:
  record:
  - id: '6005'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Timed network games with clocks
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: 83
year: '2017'
...
---
_id: '1000'
abstract:
- lang: eng
  text: 'We study probabilistic models of natural images and extend the autoregressive
    family of PixelCNN models by incorporating latent variables. Subsequently, we
    describe two new generative image models that exploit different image transformations
    as latent variables: a quantized grayscale view of the image or a multi-resolution
    image pyramid. The proposed models tackle two known shortcomings of existing PixelCNN
    models: 1) their tendency to focus on low-level image details, while largely ignoring
    high-level image information, such as object shapes, and 2) their computationally
    costly procedure for image sampling. We experimentally demonstrate benefits of
    our LatentPixelCNN models, in particular showing that they produce much more realistically
    looking image samples than previous state-of-the-art probabilistic models. '
acknowledgement: We thank Tim Salimans for spotting a mistake in our preliminary arXiv
  manuscript. This work was funded by the European Research Council under the European
  Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 308036.
article_processing_charge: No
arxiv: 1
author:
- first_name: Alexander
  full_name: Kolesnikov, Alexander
  id: 2D157DB6-F248-11E8-B48F-1D18A9856A87
  last_name: Kolesnikov
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural
    image modeling. In: <i>34th International Conference on Machine Learning</i>.
    Vol 70. JMLR; 2017:1905-1914.'
  apa: 'Kolesnikov, A., &#38; Lampert, C. (2017). PixelCNN models with auxiliary variables
    for natural image modeling. In <i>34th International Conference on Machine Learning</i>
    (Vol. 70, pp. 1905–1914). Sydney, Australia: JMLR.'
  chicago: Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary
    Variables for Natural Image Modeling.” In <i>34th International Conference on
    Machine Learning</i>, 70:1905–14. JMLR, 2017.
  ieee: A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for
    natural image modeling,” in <i>34th International Conference on Machine Learning</i>,
    Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
  ista: 'Kolesnikov A, Lampert C. 2017. PixelCNN models with auxiliary variables for
    natural image modeling. 34th International Conference on Machine Learning. ICML:
    International Conference on Machine Learning vol. 70, 1905–1914.'
  mla: Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary
    Variables for Natural Image Modeling.” <i>34th International Conference on Machine
    Learning</i>, vol. 70, JMLR, 2017, pp. 1905–14.
  short: A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine
    Learning, JMLR, 2017, pp. 1905–1914.
conference:
  end_date: 2017-08-11
  location: Sydney, Australia
  name: 'ICML: International Conference on Machine Learning'
  start_date: 2017-08-06
date_created: 2018-12-11T11:49:37Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2023-09-22T09:50:41Z
day: '01'
department:
- _id: ChLa
ec_funded: 1
external_id:
  arxiv:
  - '1612.08185'
  isi:
  - '000683309501102'
has_accepted_license: '1'
intvolume: '        70'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1612.08185
month: '08'
oa: 1
oa_version: Submitted Version
page: 1905 - 1914
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '308036'
  name: Lifelong Learning of Visual Scene Understanding
publication: 34th International Conference on Machine Learning
publication_identifier:
  isbn:
  - 978-151085514-4
publication_status: published
publisher: JMLR
publist_id: '6398'
quality_controlled: '1'
scopus_import: '1'
status: public
title: PixelCNN models with auxiliary variables for natural image modeling
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 70
year: '2017'
...
---
_id: '1001'
abstract:
- lang: eng
  text: We present a computational approach for designing CurveUps, curvy shells that
    form from an initially flat state. They consist of small rigid tiles that are
    tightly held together by two pre-stretched elastic sheets attached to them. Our
    method allows the realization of smooth, doubly curved surfaces that can be fabricated
    as a flat piece. Once released, the restoring forces of the pre-stretched sheets
    support the object to take shape in 3D. CurveUps are structurally stable in their
    target configuration. The design process starts with a target surface. Our method
    generates a tile layout in 2D and optimizes the distribution, shape, and attachment
    areas of the tiles to obtain a configuration that is fabricable and in which the
    curved up state closely matches the target. Our approach is based on an efficient
    approximate model and a local optimization strategy for an otherwise intractable
    nonlinear optimization problem. We demonstrate the effectiveness of our approach
    for a wide range of shapes, all realized as physical prototypes.
alternative_title:
- ACM Transactions on Graphics
article_number: '64'
article_processing_charge: No
author:
- first_name: Ruslan
  full_name: Guseinov, Ruslan
  id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87
  last_name: Guseinov
  orcid: 0000-0001-9819-5077
- first_name: Eder
  full_name: Miguel, Eder
  last_name: Miguel
- first_name: Bernd
  full_name: Bickel, Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
citation:
  ama: 'Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates
    with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:<a href="https://doi.org/10.1145/3072959.3073709">10.1145/3072959.3073709</a>'
  apa: 'Guseinov, R., Miguel, E., &#38; Bickel, B. (2017). CurveUps: Shaping objects
    from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH:
    Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles,
    CA, United States: ACM. <a href="https://doi.org/10.1145/3072959.3073709">https://doi.org/10.1145/3072959.3073709</a>'
  chicago: 'Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects
    from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. <a href="https://doi.org/10.1145/3072959.3073709">https://doi.org/10.1145/3072959.3073709</a>.'
  ieee: 'R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat
    plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest
    Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United
    States, 2017, vol. 36, no. 4.'
  ista: 'Guseinov R, Miguel E, Bickel B. 2017. CurveUps: Shaping objects from flat
    plates with tension-actuated curvature. SIGGRAPH: Special Interest Group on Computer
    Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 64.'
  mla: 'Guseinov, Ruslan, et al. <i>CurveUps: Shaping Objects from Flat Plates with
    Tension-Actuated Curvature</i>. Vol. 36, no. 4, 64, ACM, 2017, doi:<a href="https://doi.org/10.1145/3072959.3073709">10.1145/3072959.3073709</a>.'
  short: R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
conference:
  end_date: 2017-08-25
  location: Los Angeles, CA, United States
  name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques'
  start_date: 2017-08-19
date_created: 2018-12-11T11:49:38Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2023-09-22T09:49:58Z
day: '01'
ddc:
- '003'
- '004'
department:
- _id: BeBi
doi: 10.1145/3072959.3073709
ec_funded: 1
external_id:
  isi:
  - '000406432100032'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:24Z
  date_updated: 2018-12-12T10:10:24Z
  file_id: '4811'
  file_name: IST-2018-1053-v1+1_CurveUp.pdf
  file_size: 36159696
  relation: main_file
file_date_updated: 2018-12-12T10:10:24Z
has_accepted_license: '1'
intvolume: '        36'
isi: 1
issue: '4'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
project:
- _id: 25082902-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '645599'
  name: Soft-bodied intelligence for Manipulation
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715767'
  name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
    Modeling'
publication_status: published
publisher: ACM
publist_id: '6397'
pubrep_id: '1053'
quality_controlled: '1'
related_material:
  record:
  - id: '8366'
    relation: dissertation_contains
    status: public
status: public
title: 'CurveUps: Shaping objects from flat plates with tension-actuated curvature'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 36
year: '2017'
...
---
_id: '1002'
abstract:
- lang: eng
  text: "  We present an interactive design system to create functional mechanical
    \ objects. Our computational approach allows novice users to retarget an  existing
    mechanical template to a user-specified input shape. Our proposed  representation
    for a mechanical template encodes a parameterized mechanism,  mechanical constraints
    that ensure a physically valid configuration, spatial relationships of mechanical
    parts to the user-provided shape, and functional constraints that specify an intended
    functionality. We provide an intuitive interface and optimization-in-the-loop
    approach for finding a valid  configuration of the mechanism and the shape to
    ensure that higher-level  functional goals are met. Our algorithm interactively
    optimizes the mechanism  while the user manipulates the placement of mechanical
    components and the shape. Our system allows users to efficiently explore various
    design choices and to synthesize customized mechanical objects that can be fabricated
    with rapid prototyping technologies. We demonstrate the efficacy of our approach
    by retargeting various mechanical templates to different shapes and fabricating
    the resulting functional mechanical objects.\r\n"
alternative_title:
- ACM Transactions on Graphics
article_number: '81'
article_processing_charge: No
author:
- first_name: Ran
  full_name: Zhang, Ran
  id: 4DDBCEB0-F248-11E8-B48F-1D18A9856A87
  last_name: Zhang
  orcid: 0000-0002-3808-281X
- first_name: Thomas
  full_name: Auzinger, Thomas
  id: 4718F954-F248-11E8-B48F-1D18A9856A87
  last_name: Auzinger
  orcid: 0000-0002-1546-3265
- first_name: Duygu
  full_name: Ceylan, Duygu
  last_name: Ceylan
- first_name: Wilmot
  full_name: Li, Wilmot
  last_name: Li
- first_name: Bernd
  full_name: Bickel, Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
citation:
  ama: 'Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting
    of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:<a href="https://doi.org/10.1145/3072959.3073710">10.1145/3072959.3073710</a>'
  apa: 'Zhang, R., Auzinger, T., Ceylan, D., Li, W., &#38; Bickel, B. (2017). Functionality-aware
    retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer
    Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. <a
    href="https://doi.org/10.1145/3072959.3073710">https://doi.org/10.1145/3072959.3073710</a>'
  chicago: Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel.
    “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017.
    <a href="https://doi.org/10.1145/3072959.3073710">https://doi.org/10.1145/3072959.3073710</a>.
  ieee: 'R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware
    retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics
    and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no.
    4.'
  ista: 'Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. 2017. Functionality-aware
    retargeting of mechanisms to 3D shapes. SIGGRAPH: Computer Graphics and Interactive
    Techniques, ACM Transactions on Graphics, vol. 36, 81.'
  mla: Zhang, Ran, et al. <i>Functionality-Aware Retargeting of Mechanisms to 3D Shapes</i>.
    Vol. 36, no. 4, 81, ACM, 2017, doi:<a href="https://doi.org/10.1145/3072959.3073710">10.1145/3072959.3073710</a>.
  short: R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
conference:
  end_date: 2017-08-03
  location: 'Los Angeles, CA, United States '
  name: 'SIGGRAPH: Computer Graphics and Interactive Techniques'
  start_date: 2017-07-30
date_created: 2018-12-11T11:49:38Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2023-09-22T09:49:31Z
day: '01'
ddc:
- '003'
- '004'
department:
- _id: BeBi
doi: 10.1145/3072959.3073710
ec_funded: 1
external_id:
  isi:
  - '000406432100049'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:05Z
  date_updated: 2018-12-12T10:09:05Z
  file_id: '4728'
  file_name: IST-2018-1050-v1+1_MechRet.pdf
  file_size: 25463895
  relation: main_file
file_date_updated: 2018-12-12T10:09:05Z
has_accepted_license: '1'
intvolume: '        36'
isi: 1
issue: '4'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
project:
- _id: 2508E324-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '642841'
  name: Distributed 3D Object Design
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715767'
  name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
    Modeling'
publication_identifier:
  issn:
  - '07300301'
publication_status: published
publisher: ACM
publist_id: '6396'
pubrep_id: '1050'
quality_controlled: '1'
related_material:
  record:
  - id: '8386'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Functionality-aware retargeting of mechanisms to 3D shapes
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 36
year: '2017'
...
---
_id: '1003'
abstract:
- lang: eng
  text: Network games (NGs) are played on directed graphs and are extensively used
    in network design and analysis. Search problems for NGs include finding special
    strategy profiles such as a Nash equilibrium and a globally optimal solution.
    The networks modeled by NGs may be huge. In formal verification, abstraction has
    proven to be an extremely effective technique for reasoning about systems with
    big and even infinite state spaces. We describe an abstraction-refinement methodology
    for reasoning about NGs. Our methodology is based on an abstraction function that
    maps the state space of an NG to a much smaller state space. We search for a global
    optimum and a Nash equilibrium by reasoning on an under- and an overapproximation
    defined on top of this smaller state space. When the approximations are too coarse
    to find such profiles, we refine the abstraction function. Our experimental results
    demonstrate the efficiency of the methodology.
article_processing_charge: No
author:
- first_name: Guy
  full_name: Avni, Guy
  id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Avni
  orcid: 0000-0001-5588-8287
- first_name: Shibashis
  full_name: Guha, Shibashis
  last_name: Guha
- first_name: Orna
  full_name: Kupferman, Orna
  last_name: Kupferman
citation:
  ama: 'Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning
    about network games. In: AAAI Press; 2017:70-76. doi:<a href="https://doi.org/10.24963/ijcai.2017/11">10.24963/ijcai.2017/11</a>'
  apa: 'Avni, G., Guha, S., &#38; Kupferman, O. (2017). An abstraction-refinement
    methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI:
    International Joint Conference on Artificial Intelligence , Melbourne, Australia:
    AAAI Press. <a href="https://doi.org/10.24963/ijcai.2017/11">https://doi.org/10.24963/ijcai.2017/11</a>'
  chicago: Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement
    Methodology for Reasoning about Network Games,” 70–76. AAAI Press, 2017. <a href="https://doi.org/10.24963/ijcai.2017/11">https://doi.org/10.24963/ijcai.2017/11</a>.
  ieee: 'G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology
    for reasoning about network games,” presented at the IJCAI: International Joint
    Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.'
  ista: 'Avni G, Guha S, Kupferman O. 2017. An abstraction-refinement methodology
    for reasoning about network games. IJCAI: International Joint Conference on Artificial
    Intelligence , 70–76.'
  mla: Avni, Guy, et al. <i>An Abstraction-Refinement Methodology for Reasoning about
    Network Games</i>. AAAI Press, 2017, pp. 70–76, doi:<a href="https://doi.org/10.24963/ijcai.2017/11">10.24963/ijcai.2017/11</a>.
  short: G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
conference:
  end_date: 2017-08-25
  location: Melbourne, Australia
  name: 'IJCAI: International Joint Conference on Artificial Intelligence '
  start_date: 2017-08-19
date_created: 2018-12-11T11:49:38Z
date_published: 2017-05-30T00:00:00Z
date_updated: 2023-09-22T09:49:00Z
day: '30'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.24963/ijcai.2017/11
external_id:
  isi:
  - '000764137500011'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:58Z
  date_updated: 2018-12-12T10:16:58Z
  file_id: '5249'
  file_name: IST-2017-818-v1+1_allIJCAI_CR.pdf
  file_size: 365172
  relation: main_file
file_date_updated: 2018-12-12T10:16:58Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 70 - 76
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_identifier:
  issn:
  - '10450823'
publication_status: published
publisher: AAAI Press
publist_id: '6395'
pubrep_id: '818'
quality_controlled: '1'
related_material:
  record:
  - id: '6006'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: An abstraction-refinement methodology for reasoning about network games
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2017'
...
---
_id: '1004'
abstract:
- lang: eng
  text: The fundamental tasks of the root system are, besides anchoring, mediating
    interactions between plant and soil and providing the plant with water and nutrients.
    The architecture of the root system is controlled by endogenous mechanisms that
    constantly integrate environmental signals, such as availability of nutrients
    and water. Extremely important for efficient soil exploitation and survival under
    less favorable conditions is the developmental flexibility of the root system
    that is largely determined by its postembryonic branching capacity. Modulation
    of initiation and outgrowth of lateral roots provides roots with an exceptional
    plasticity, allows optimal adjustment to underground heterogeneity, and enables
    effective soil exploitation and use of resources. Here we discuss recent advances
    in understanding the molecular mechanisms that shape the plant root system and
    integrate external cues to adapt to the changing environment.
article_processing_charge: No
author:
- first_name: Krisztina
  full_name: Ötvös, Krisztina
  id: 29B901B0-F248-11E8-B48F-1D18A9856A87
  last_name: Ötvös
  orcid: 0000-0002-5503-4983
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
citation:
  ama: Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. <i>Current
    Opinion in Genetics &#38; Development</i>. 2017;45:82-89. doi:<a href="https://doi.org/10.1016/j.gde.2017.03.010">10.1016/j.gde.2017.03.010</a>
  apa: Ötvös, K., &#38; Benková, E. (2017). Spatiotemporal mechanisms of root branching.
    <i>Current Opinion in Genetics &#38; Development</i>. Elsevier. <a href="https://doi.org/10.1016/j.gde.2017.03.010">https://doi.org/10.1016/j.gde.2017.03.010</a>
  chicago: Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.”
    <i>Current Opinion in Genetics &#38; Development</i>. Elsevier, 2017. <a href="https://doi.org/10.1016/j.gde.2017.03.010">https://doi.org/10.1016/j.gde.2017.03.010</a>.
  ieee: K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” <i>Current
    Opinion in Genetics &#38; Development</i>, vol. 45. Elsevier, pp. 82–89, 2017.
  ista: Ötvös K, Benková E. 2017. Spatiotemporal mechanisms of root branching. Current
    Opinion in Genetics &#38; Development. 45, 82–89.
  mla: Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.”
    <i>Current Opinion in Genetics &#38; Development</i>, vol. 45, Elsevier, 2017,
    pp. 82–89, doi:<a href="https://doi.org/10.1016/j.gde.2017.03.010">10.1016/j.gde.2017.03.010</a>.
  short: K. Ötvös, E. Benková, Current Opinion in Genetics &#38; Development 45 (2017)
    82–89.
date_created: 2018-12-11T11:49:38Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2023-09-22T09:48:15Z
day: '01'
ddc:
- '575'
department:
- _id: EvBe
doi: 10.1016/j.gde.2017.03.010
external_id:
  isi:
  - '000404880400013'
  pmid:
  - '28391060'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-17T08:00:36Z
  date_updated: 2019-04-17T08:00:36Z
  file_id: '6336'
  file_name: Otvos_Benkova_CurOpDevBiol_2017.pdf
  file_size: 364133
  relation: main_file
  success: 1
file_date_updated: 2019-04-17T08:00:36Z
has_accepted_license: '1'
intvolume: '        45'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '08'
oa: 1
oa_version: Submitted Version
page: 82 - 89
pmid: 1
project:
- _id: 2542D156-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I 1774-B16
  name: Hormone cross-talk drives nutrient dependent plant development
publication: Current Opinion in Genetics & Development
publication_identifier:
  issn:
  - 0959437X
publication_status: published
publisher: Elsevier
publist_id: '6394'
pubrep_id: '1017'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spatiotemporal mechanisms of root branching
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 45
year: '2017'
...
---
_id: '1006'
abstract:
- lang: eng
  text: 'Background: The phenomenon of immune priming, i.e. enhanced protection following
    a secondary exposure to a pathogen, has now been demonstrated in a wide range
    of invertebrate species. Despite accumulating phenotypic evidence, knowledge of
    its mechanistic underpinnings is currently very limited. Here we used the system
    of the red flour beetle, Tribolium castaneum and the insect pathogen Bacillus
    thuringiensis (Bt) to further our molecular understanding of the oral immune priming
    phenomenon. We addressed how ingestion of bacterial cues (derived from spore supernatants)
    of an orally pathogenic and non-pathogenic Bt strain affects gene expression upon
    later challenge exposure, using a whole-transcriptome sequencing approach. Results:
    Whereas gene expression of individuals primed with the orally non-pathogenic strain
    showed minor changes to controls, we found that priming with the pathogenic strain
    induced regulation of a large set of distinct genes, many of which are known immune
    candidates. Intriguingly, the immune repertoire activated upon priming and subsequent
    challenge qualitatively differed from the one mounted upon infection with Bt without
    previous priming. Moreover, a large subset of priming-specific genes showed an
    inverse regulation compared to their regulation upon challenge only. Conclusions:
    Our data demonstrate that gene expression upon infection is strongly affected
    by previous immune priming. We hypothesise that this shift in gene expression
    indicates activation of a more targeted and efficient response towards a previously
    encountered pathogen, in anticipation of potential secondary encounter.'
article_processing_charge: No
author:
- first_name: Jenny
  full_name: Greenwood, Jenny
  last_name: Greenwood
- first_name: Barbara
  full_name: Milutinovic, Barbara
  id: 2CDC32B8-F248-11E8-B48F-1D18A9856A87
  last_name: Milutinovic
  orcid: 0000-0002-8214-4758
- first_name: Robert
  full_name: Peuß, Robert
  last_name: Peuß
- first_name: Sarah
  full_name: Behrens, Sarah
  last_name: Behrens
- first_name: Daniela
  full_name: Essar, Daniela
  last_name: Essar
- first_name: Philip
  full_name: Rosenstiel, Philip
  last_name: Rosenstiel
- first_name: Hinrich
  full_name: Schulenburg, Hinrich
  last_name: Schulenburg
- first_name: Joachim
  full_name: Kurtz, Joachim
  last_name: Kurtz
citation:
  ama: Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus
    thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.
    <i>BMC Genomics</i>. 2017;18(1):329. doi:<a href="https://doi.org/10.1186/s12864-017-3705-7">10.1186/s12864-017-3705-7</a>
  apa: Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel,
    P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces
    a shift in the gene expression of Tribolium castaneum larvae. <i>BMC Genomics</i>.
    BioMed Central. <a href="https://doi.org/10.1186/s12864-017-3705-7">https://doi.org/10.1186/s12864-017-3705-7</a>
  chicago: Greenwood, Jenny, Barbara Milutinovic, Robert Peuß, Sarah Behrens, Daniela
    Essar, Philip Rosenstiel, Hinrich Schulenburg, and Joachim Kurtz. “Oral Immune
    Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of
    Tribolium Castaneum Larvae.” <i>BMC Genomics</i>. BioMed Central, 2017. <a href="https://doi.org/10.1186/s12864-017-3705-7">https://doi.org/10.1186/s12864-017-3705-7</a>.
  ieee: J. Greenwood <i>et al.</i>, “Oral immune priming with Bacillus thuringiensis
    induces a shift in the gene expression of Tribolium castaneum larvae,” <i>BMC
    Genomics</i>, vol. 18, no. 1. BioMed Central, p. 329, 2017.
  ista: Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg
    H, Kurtz J. 2017. Oral immune priming with Bacillus thuringiensis induces a shift
    in the gene expression of Tribolium castaneum larvae. BMC Genomics. 18(1), 329.
  mla: Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces
    a Shift in the Gene Expression of Tribolium Castaneum Larvae.” <i>BMC Genomics</i>,
    vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:<a href="https://doi.org/10.1186/s12864-017-3705-7">10.1186/s12864-017-3705-7</a>.
  short: J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel,
    H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
date_created: 2018-12-11T11:49:39Z
date_published: 2017-04-26T00:00:00Z
date_updated: 2023-09-22T09:47:44Z
day: '26'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.1186/s12864-017-3705-7
external_id:
  isi:
  - '000400625200004'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:46Z
  date_updated: 2018-12-12T10:16:46Z
  file_id: '5236'
  file_name: IST-2017-814-v1+1_s12864-017-3705-7.pdf
  file_size: 2379672
  relation: main_file
file_date_updated: 2018-12-12T10:16:46Z
has_accepted_license: '1'
intvolume: '        18'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '329'
publication: BMC Genomics
publication_identifier:
  issn:
  - '14712164'
publication_status: published
publisher: BioMed Central
publist_id: '6392'
pubrep_id: '814'
quality_controlled: '1'
related_material:
  record:
  - id: '9859'
    relation: research_data
    status: public
  - id: '9860'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Oral immune priming with Bacillus thuringiensis induces a shift in the gene
  expression of Tribolium castaneum larvae
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: 18
year: '2017'
...
---
_id: '1007'
abstract:
- lang: eng
  text: 'A nonlinear system possesses an invariance with respect to a set of transformations
    if its output dynamics remain invariant when transforming the input, and adjusting
    the initial condition accordingly. Most research has focused on invariances with
    respect to time-independent pointwise transformations like translational-invariance
    (u(t) -&gt; u(t) + p, p in R) or scale-invariance (u(t) -&gt; pu(t), p in R&gt;0).
    In this article, we introduce the concept of s0-invariances with respect to continuous
    input transformations exponentially growing/decaying over time. We show that s0-invariant
    systems not only encompass linear time-invariant (LTI) systems with transfer functions
    having an irreducible zero at s0 in R, but also that the input/output relationship
    of nonlinear s0-invariant systems possesses properties well known from their linear
    counterparts. Furthermore, we extend the concept of s0-invariances to second-
    and higher-order s0-invariances, corresponding to invariances with respect to
    transformations of the time-derivatives of the input, and encompassing LTI systems
    with zeros of multiplicity two or higher. Finally, we show that nth-order 0-invariant
    systems realize – under mild conditions – nth-order nonlinear differential operators:
    when excited by an input of a characteristic functional form, the system’s output
    converges to a constant value only depending on the nth (nonlinear) derivative
    of the input.'
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Moritz
  full_name: Lang, Moritz
  id: 29E0800A-F248-11E8-B48F-1D18A9856A87
  last_name: Lang
- first_name: Eduardo
  full_name: Sontag, Eduardo
  last_name: Sontag
citation:
  ama: Lang M, Sontag E. Zeros of nonlinear systems with input invariances. <i>Automatica</i>.
    2017;81C:46-55. doi:<a href="https://doi.org/10.1016/j.automatica.2017.03.030">10.1016/j.automatica.2017.03.030</a>
  apa: Lang, M., &#38; Sontag, E. (2017). Zeros of nonlinear systems with input invariances.
    <i>Automatica</i>. International Federation of Automatic Control. <a href="https://doi.org/10.1016/j.automatica.2017.03.030">https://doi.org/10.1016/j.automatica.2017.03.030</a>
  chicago: Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input
    Invariances.” <i>Automatica</i>. International Federation of Automatic Control,
    2017. <a href="https://doi.org/10.1016/j.automatica.2017.03.030">https://doi.org/10.1016/j.automatica.2017.03.030</a>.
  ieee: M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,”
    <i>Automatica</i>, vol. 81C. International Federation of Automatic Control, pp.
    46–55, 2017.
  ista: Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances.
    Automatica. 81C, 46–55.
  mla: Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.”
    <i>Automatica</i>, vol. 81C, International Federation of Automatic Control, 2017,
    pp. 46–55, doi:<a href="https://doi.org/10.1016/j.automatica.2017.03.030">10.1016/j.automatica.2017.03.030</a>.
  short: M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
date_created: 2018-12-11T11:49:39Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2023-10-17T08:51:18Z
day: '01'
ddc:
- '000'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1016/j.automatica.2017.03.030
ec_funded: 1
external_id:
  isi:
  - '000403513900006'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:11:29Z
  date_updated: 2018-12-12T10:11:29Z
  file_id: '4884'
  file_name: IST-2017-813-v1+1_ZerosOfNonlinearSystems.pdf
  file_size: 1401954
  relation: main_file
file_date_updated: 2018-12-12T10:11:29Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 46 - 55
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Automatica
publication_identifier:
  issn:
  - 0005-1098
publication_status: published
publisher: International Federation of Automatic Control
publist_id: '6391'
pubrep_id: '813'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Zeros of nonlinear systems with input invariances
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: 81C
year: '2017'
...
---
_id: '1009'
abstract:
- lang: eng
  text: A standard objective in partially-observable Markov decision processes (POMDPs)
    is to find a policy that maximizes the expected discounted-sum payoff. However,
    such policies may still permit unlikely but highly undesirable outcomes, which
    is problematic especially in safety-critical applications. Recently, there has
    been a surge of interest in POMDPs where the goal is to maximize the probability
    to ensure that the payoff is at least a given threshold, but these approaches
    do not consider any optimization beyond satisfying this threshold constraint.
    In this work we go beyond both the “expectation” and “threshold” approaches and
    consider a “guaranteed payoff optimization (GPO)” problem for POMDPs, where we
    are given a threshold t and the objective is to find a policy σ such that a) each
    possible outcome of σ yields a discounted-sum payoff of at least t, and b) the
    expected discounted-sum payoff of σ is optimal (or near-optimal) among all policies
    satisfying a). We present a practical approach to tackle the GPO problem and evaluate
    it on standard POMDP benchmarks.
acknowledgement: 'he research leading to these results was supported by the Austrian
  Science Fund (FWF) NFN Grant no. S11407-N23 (RiSE/SHiNE); two ERC Starting grants
  (279307: Graph Games, 279499: inVEST); the Vienna Science and Tech- nology Fund
  (WWTF) through project ICT15-003; and the People Programme (Marie Curie Actions)
  of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant
  agreement no. [291734].'
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: Petr
  full_name: Novotny, Petr
  id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
  last_name: Novotny
- first_name: Guillermo
  full_name: Pérez, Guillermo
  last_name: Pérez
- first_name: Jean
  full_name: Raskin, Jean
  last_name: Raskin
- first_name: Djordje
  full_name: Zikelic, Djordje
  last_name: Zikelic
citation:
  ama: 'Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation
    with guarantees in POMDPs. In: <i>Proceedings of the 31st AAAI Conference on Artificial
    Intelligence</i>. Vol 5. AAAI Press; 2017:3725-3732.'
  apa: 'Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., &#38; Zikelic, D. (2017).
    Optimizing expectation with guarantees in POMDPs. In <i>Proceedings of the 31st
    AAAI Conference on Artificial Intelligence</i> (Vol. 5, pp. 3725–3732). San Francisco,
    CA, United States: AAAI Press.'
  chicago: Chatterjee, Krishnendu, Petr Novotný, Guillermo Pérez, Jean Raskin, and
    Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In <i>Proceedings
    of the 31st AAAI Conference on Artificial Intelligence</i>, 5:3725–32. AAAI Press,
    2017.
  ieee: K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing
    expectation with guarantees in POMDPs,” in <i>Proceedings of the 31st AAAI Conference
    on Artificial Intelligence</i>, San Francisco, CA, United States, 2017, vol. 5,
    pp. 3725–3732.
  ista: 'Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. 2017. Optimizing expectation
    with guarantees in POMDPs. Proceedings of the 31st AAAI Conference on Artificial
    Intelligence. AAAI: Conference on Artificial Intelligence vol. 5, 3725–3732.'
  mla: Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.”
    <i>Proceedings of the 31st AAAI Conference on Artificial Intelligence</i>, vol.
    5, AAAI Press, 2017, pp. 3725–32.
  short: K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings
    of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp.
    3725–3732.
conference:
  end_date: 2017-02-10
  location: San Francisco, CA, United States
  name: 'AAAI: Conference on Artificial Intelligence'
  start_date: 2017-02-04
date_created: 2018-12-11T11:49:40Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2025-06-02T08:53:49Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
external_id:
  isi:
  - '000485630703107'
intvolume: '         5'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.aaai.org/ocs/index.php/AAAI/AAAI17/paper/download/14354/14092
month: '01'
oa: 1
oa_version: Submitted Version
page: 3725 - 3732
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
publication: Proceedings of the 31st AAAI Conference on Artificial Intelligence
publication_status: published
publisher: AAAI Press
publist_id: '6387'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimizing expectation with guarantees in POMDPs
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 5
year: '2017'
...
---
_id: '1010'
abstract:
- lang: eng
  text: 'We prove a local law in the bulk of the spectrum for random Gram matrices
    XX∗, a generalization of sample covariance matrices, where X is a large matrix
    with independent, centered entries with arbitrary variances. The limiting eigenvalue
    density that generalizes the Marchenko-Pastur law is determined by solving a system
    of nonlinear equations. Our entrywise and averaged local laws are on the optimal
    scale with the optimal error bounds. They hold both in the square case (hard edge)
    and in the properly rectangular case (soft edge). In the latter case we also establish
    a macroscopic gap away from zero in the spectrum of XX∗. '
article_number: '25'
article_processing_charge: No
arxiv: 1
author:
- first_name: Johannes
  full_name: Alt, Johannes
  id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87
  last_name: Alt
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Torben H
  full_name: Krüger, Torben H
  id: 3020C786-F248-11E8-B48F-1D18A9856A87
  last_name: Krüger
  orcid: 0000-0002-4821-3297
citation:
  ama: Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. <i>Electronic
    Journal of Probability</i>. 2017;22. doi:<a href="https://doi.org/10.1214/17-EJP42">10.1214/17-EJP42</a>
  apa: Alt, J., Erdös, L., &#38; Krüger, T. H. (2017). Local law for random Gram matrices.
    <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics.
    <a href="https://doi.org/10.1214/17-EJP42">https://doi.org/10.1214/17-EJP42</a>
  chicago: Alt, Johannes, László Erdös, and Torben H Krüger. “Local Law for Random
    Gram Matrices.” <i>Electronic Journal of Probability</i>. Institute of Mathematical
    Statistics, 2017. <a href="https://doi.org/10.1214/17-EJP42">https://doi.org/10.1214/17-EJP42</a>.
  ieee: J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,”
    <i>Electronic Journal of Probability</i>, vol. 22. Institute of Mathematical Statistics,
    2017.
  ista: Alt J, Erdös L, Krüger TH. 2017. Local law for random Gram matrices. Electronic
    Journal of Probability. 22, 25.
  mla: Alt, Johannes, et al. “Local Law for Random Gram Matrices.” <i>Electronic Journal
    of Probability</i>, vol. 22, 25, Institute of Mathematical Statistics, 2017, doi:<a
    href="https://doi.org/10.1214/17-EJP42">10.1214/17-EJP42</a>.
  short: J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
date_created: 2018-12-11T11:49:40Z
date_published: 2017-03-08T00:00:00Z
date_updated: 2023-09-22T09:45:23Z
day: '08'
ddc:
- '510'
- '539'
department:
- _id: LaEr
doi: 10.1214/17-EJP42
ec_funded: 1
external_id:
  arxiv:
  - '1606.07353'
  isi:
  - '000396611900025'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:39Z
  date_updated: 2018-12-12T10:13:39Z
  file_id: '5024'
  file_name: IST-2017-807-v1+1_euclid.ejp.1488942016.pdf
  file_size: 639384
  relation: main_file
file_date_updated: 2018-12-12T10:13:39Z
has_accepted_license: '1'
intvolume: '        22'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '338804'
  name: Random matrices, universality and disordered quantum systems
publication: Electronic Journal of Probability
publication_identifier:
  issn:
  - '10836489'
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '6386'
pubrep_id: '807'
quality_controlled: '1'
related_material:
  record:
  - id: '149'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Local law for random Gram matrices
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 22
year: '2017'
...
---
_id: '1011'
abstract:
- lang: eng
  text: Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly
    equivalent, are standard models for interprocedural analysis. Yet RSMs are more
    convenient as they (a) explicitly model function calls and returns, and (b) specify
    many natural parameters for algorithmic analysis, e.g., the number of entries
    and exits. We consider a general framework where RSM transitions are labeled from
    a semiring and path properties are algebraic with semiring operations, which can
    model, e.g., interprocedural reachability and dataflow analysis problems. Our
    main contributions are new algorithms for several fundamental problems. As compared
    to a direct translation of RSMs to PDSs and the best-known existing bounds of
    PDSs, our analysis algorithm improves the complexity for finite-height semirings
    (that subsumes reachability and standard dataflow properties). We further consider
    the problem of extracting distance values from the representation structures computed
    by our algorithm, and give efficient algorithms that distinguish the complexity
    of a one-time preprocessing from the complexity of each individual query. Another
    advantage of our algorithm is that our improvements carry over to the concurrent
    setting, where we improve the bestknown complexity for the context-bounded analysis
    of concurrent RSMs. Finally, we provide a prototype implementation that gives
    a significant speed-up on several benchmarks from the SLAM/SDV project.
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: Bernhard
  full_name: Kragl, Bernhard
  id: 320FC952-F248-11E8-B48F-1D18A9856A87
  last_name: Kragl
  orcid: 0000-0001-7745-9117
- first_name: Samarth
  full_name: Mishra, Samarth
  last_name: Mishra
- 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, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted
    recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:<a
    href="https://doi.org/10.1007/978-3-662-54434-1_11">10.1007/978-3-662-54434-1_11</a>'
  apa: 'Chatterjee, K., Kragl, B., Mishra, S., &#38; Pavlogiannis, A. (2017). Faster
    algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201,
    pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala,
    Sweden: Springer. <a href="https://doi.org/10.1007/978-3-662-54434-1_11">https://doi.org/10.1007/978-3-662-54434-1_11</a>'
  chicago: Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis.
    “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok
    Yang, 10201:287–313. Springer, 2017. <a href="https://doi.org/10.1007/978-3-662-54434-1_11">https://doi.org/10.1007/978-3-662-54434-1_11</a>.
  ieee: 'K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms
    for weighted recursive state machines,” presented at the ESOP: European Symposium
    on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.'
  ista: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms
    for weighted recursive state machines. ESOP: European Symposium on Programming,
    LNCS, vol. 10201, 287–313.'
  mla: Chatterjee, Krishnendu, et al. <i>Faster Algorithms for Weighted Recursive
    State Machines</i>. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313,
    doi:<a href="https://doi.org/10.1007/978-3-662-54434-1_11">10.1007/978-3-662-54434-1_11</a>.
  short: K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.),
    Springer, 2017, pp. 287–313.
conference:
  end_date: 2017-04-29
  location: Uppsala, Sweden
  name: 'ESOP: European Symposium on Programming'
  start_date: 2017-04-22
date_created: 2018-12-11T11:49:41Z
date_published: 2017-03-19T00:00:00Z
date_updated: 2023-09-22T09:44:50Z
day: '19'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-662-54434-1_11
ec_funded: 1
editor:
- first_name: Hongseok
  full_name: Yang, Hongseok
  last_name: Yang
external_id:
  isi:
  - '000681702400011'
intvolume: '     10201'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1701.04914
month: '03'
oa: 1
oa_version: Submitted Version
page: 287 - 313
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication_identifier:
  issn:
  - '03029743'
publication_status: published
publisher: Springer
publist_id: '6384'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Faster algorithms for weighted recursive state machines
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10201
year: '2017'
...
---
_id: '1013'
abstract:
- lang: eng
  text: From microwave ovens to satellite television to the GPS and data services
    on our mobile phones, microwave technology is everywhere today. But one technology
    that has so far failed to prove its worth in this wavelength regime is quantum
    communication that uses the states of single photons as information carriers.
    This is because single microwave photons, as opposed to classical microwave signals,
    are extremely vulnerable to noise from thermal excitations in the channels through
    which they travel. Two new independent studies, one by Ze-Liang Xiang at Technische
    Universität Wien (Vienna), Austria, and colleagues [1] and another by Benoît Vermersch
    at the University of Innsbruck, also in Austria, and colleagues [2] now describe
    a theoretical protocol for microwave quantum communication that is resilient to
    thermal and other types of noise. Their approach could become a powerful technique
    to establish fast links between superconducting data processors in a future all-microwave
    quantum network.
article_processing_charge: No
article_type: review
author:
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
citation:
  ama: 'Fink JM. Viewpoint: Microwave quantum states beat the heat. <i>Physics</i>.
    2017;10(32). doi:<a href="https://doi.org/10.1103/Physics.10.32">10.1103/Physics.10.32</a>'
  apa: 'Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. <i>Physics</i>.
    American Physical Society. <a href="https://doi.org/10.1103/Physics.10.32">https://doi.org/10.1103/Physics.10.32</a>'
  chicago: 'Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.”
    <i>Physics</i>. American Physical Society, 2017. <a href="https://doi.org/10.1103/Physics.10.32">https://doi.org/10.1103/Physics.10.32</a>.'
  ieee: 'J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” <i>Physics</i>,
    vol. 10, no. 32. American Physical Society, 2017.'
  ista: 'Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics.
    10(32).'
  mla: 'Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” <i>Physics</i>,
    vol. 10, no. 32, American Physical Society, 2017, doi:<a href="https://doi.org/10.1103/Physics.10.32">10.1103/Physics.10.32</a>.'
  short: J.M. Fink, Physics 10 (2017).
date_created: 2018-12-11T11:49:41Z
date_published: 2017-03-27T00:00:00Z
date_updated: 2022-06-07T10:58:31Z
day: '27'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1103/Physics.10.32
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2019-10-24T11:38:14Z
  date_updated: 2019-10-24T11:38:14Z
  file_id: '6968'
  file_name: 2017_Physics_Fink.pdf
  file_size: 193622
  relation: main_file
  success: 1
file_date_updated: 2019-10-24T11:38:14Z
has_accepted_license: '1'
intvolume: '        10'
issue: '32'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Physics
publication_status: published
publisher: American Physical Society
publist_id: '6382'
quality_controlled: '1'
status: public
title: 'Viewpoint: Microwave quantum states beat the heat'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2017'
...
---
_id: '1015'
abstract:
- lang: eng
  text: 'Vortices are commonly observed in the context of classical hydrodynamics:
    from whirlpools after stirring the coffee in a cup to a violent atmospheric phenomenon
    such as a tornado, all classical vortices are characterized by an arbitrary circulation
    value of the local velocity field. On the other hand the appearance of vortices
    with quantized circulation represents one of the fundamental signatures of macroscopic
    quantum phenomena. In two-dimensional superfluids quantized vortices play a key
    role in determining finite-temperature properties, as the superfluid phase and
    the normal state are separated by a vortex unbinding transition, the Berezinskii-Kosterlitz-Thouless
    transition. Very recent experiments with two-dimensional superfluid fermions motivate
    the present work: we present theoretical results based on the renormalization
    group showing that the universal jump of the superfluid density and the critical
    temperature crucially depend on the interaction strength, providing a strong benchmark
    for forthcoming investigations.'
article_number: '45702'
article_processing_charge: No
author:
- first_name: Giacomo
  full_name: Bighin, Giacomo
  id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
  last_name: Bighin
  orcid: 0000-0001-8823-9777
- first_name: Luca
  full_name: Salasnich, Luca
  last_name: Salasnich
citation:
  ama: Bighin G, Salasnich L. Vortices and antivortices in two-dimensional ultracold
    Fermi gases. <i>Scientific Reports</i>. 2017;7. doi:<a href="https://doi.org/10.1038/srep45702">10.1038/srep45702</a>
  apa: Bighin, G., &#38; Salasnich, L. (2017). Vortices and antivortices in two-dimensional
    ultracold Fermi gases. <i>Scientific Reports</i>. Nature Publishing Group. <a
    href="https://doi.org/10.1038/srep45702">https://doi.org/10.1038/srep45702</a>
  chicago: Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional
    Ultracold Fermi Gases.” <i>Scientific Reports</i>. Nature Publishing Group, 2017.
    <a href="https://doi.org/10.1038/srep45702">https://doi.org/10.1038/srep45702</a>.
  ieee: G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional
    ultracold Fermi gases,” <i>Scientific Reports</i>, vol. 7. Nature Publishing Group,
    2017.
  ista: Bighin G, Salasnich L. 2017. Vortices and antivortices in two-dimensional
    ultracold Fermi gases. Scientific Reports. 7, 45702.
  mla: Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional
    Ultracold Fermi Gases.” <i>Scientific Reports</i>, vol. 7, 45702, Nature Publishing
    Group, 2017, doi:<a href="https://doi.org/10.1038/srep45702">10.1038/srep45702</a>.
  short: G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
date_created: 2018-12-11T11:49:42Z
date_published: 2017-04-04T00:00:00Z
date_updated: 2023-09-22T09:43:10Z
day: '04'
ddc:
- '539'
department:
- _id: MiLe
doi: 10.1038/srep45702
external_id:
  isi:
  - '000398148100001'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:32Z
  date_updated: 2018-12-12T10:12:32Z
  file_id: '4950'
  file_name: IST-2017-809-v1+1_srep45702.pdf
  file_size: 478289
  relation: main_file
file_date_updated: 2018-12-12T10:12:32Z
has_accepted_license: '1'
intvolume: '         7'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_identifier:
  issn:
  - '20452322'
publication_status: published
publisher: Nature Publishing Group
publist_id: '6380'
pubrep_id: '809'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Vortices and antivortices in two-dimensional ultracold Fermi gases
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7
year: '2017'
...
---
_id: '1016'
abstract:
- lang: eng
  text: The integrity and dynamic properties of the microtubule cytoskeleton are indispensable
    for the development of the mammalian brain. Consequently, mutations in the genes
    that encode the structural component (the α/β-tubulin heterodimer) can give rise
    to severe, sporadic neurodevelopmental disorders. These are commonly referred
    to as the tubulinopathies. Here we report the addition of recessive quadrupedalism,
    also known as Uner Tan syndrome (UTS), to the growing list of diseases caused
    by tubulin variants. Analysis of a consanguineous UTS family identified a biallelic
    TUBB2B mutation, resulting in a p.R390Q amino acid substitution. In addition to
    the identifying quadrupedal locomotion, all three patients showed severe cerebellar
    hypoplasia. None, however, displayed the basal ganglia malformations typically
    associated with TUBB2B mutations. Functional analysis of the R390Q substitution
    revealed that it did not affect the ability of β-tubulin to fold or become assembled
    into the α/β-heterodimer, nor did it influence the incorporation of mutant-containing
    heterodimers into microtubule polymers. The 390Q mutation in S. cerevisiae TUB2
    did not affect growth under basal conditions, but did result in increased sensitivity
    to microtubule-depolymerizing drugs, indicative of a mild impact of this mutation
    on microtubule function. The TUBB2B mutation described here represents an unusual
    recessive mode of inheritance for missense-mediated tubulinopathies and reinforces
    the sensitivity of the developing cerebellum to microtubule defects.
article_processing_charge: No
author:
- first_name: Martin
  full_name: Breuss, Martin
  last_name: Breuss
- first_name: Thai
  full_name: Nguyen, Thai
  last_name: Nguyen
- first_name: Anjana
  full_name: Srivatsan, Anjana
  last_name: Srivatsan
- first_name: Ines
  full_name: Leca, Ines
  last_name: Leca
- first_name: Guoling
  full_name: Tian, Guoling
  last_name: Tian
- first_name: Tanja
  full_name: Fritz, Tanja
  last_name: Fritz
- first_name: Andi H
  full_name: Hansen, Andi H
  id: 38853E16-F248-11E8-B48F-1D18A9856A87
  last_name: Hansen
- first_name: Damir
  full_name: Musaev, Damir
  last_name: Musaev
- first_name: Jennifer
  full_name: Mcevoy Venneri, Jennifer
  last_name: Mcevoy Venneri
- first_name: James
  full_name: Kiely, James
  last_name: Kiely
- first_name: Rasim
  full_name: Rosti, Rasim
  last_name: Rosti
- first_name: Eric
  full_name: Scott, Eric
  last_name: Scott
- first_name: Uner
  full_name: Tan, Uner
  last_name: Tan
- first_name: Richard
  full_name: Kolodner, Richard
  last_name: Kolodner
- first_name: Nicholas
  full_name: Cowan, Nicholas
  last_name: Cowan
- first_name: David
  full_name: Keays, David
  last_name: Keays
- first_name: Joseph
  full_name: Gleeson, Joseph
  last_name: Gleeson
citation:
  ama: Breuss M, Nguyen T, Srivatsan A, et al. Uner Tan syndrome caused by a homozygous
    TUBB2B mutation affecting microtubule stability. <i>Human Molecular Genetics</i>.
    2017;26(2):258-269. doi:<a href="https://doi.org/10.1093/hmg/ddw383">10.1093/hmg/ddw383</a>
  apa: Breuss, M., Nguyen, T., Srivatsan, A., Leca, I., Tian, G., Fritz, T., … Gleeson,
    J. (2017). Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting
    microtubule stability. <i>Human Molecular Genetics</i>. Oxford University Press.
    <a href="https://doi.org/10.1093/hmg/ddw383">https://doi.org/10.1093/hmg/ddw383</a>
  chicago: Breuss, Martin, Thai Nguyen, Anjana Srivatsan, Ines Leca, Guoling Tian,
    Tanja Fritz, Andi H Hansen, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B
    Mutation Affecting Microtubule Stability.” <i>Human Molecular Genetics</i>. Oxford
    University Press, 2017. <a href="https://doi.org/10.1093/hmg/ddw383">https://doi.org/10.1093/hmg/ddw383</a>.
  ieee: M. Breuss <i>et al.</i>, “Uner Tan syndrome caused by a homozygous TUBB2B
    mutation affecting microtubule stability,” <i>Human Molecular Genetics</i>, vol.
    26, no. 2. Oxford University Press, pp. 258–269, 2017.
  ista: Breuss M, Nguyen T, Srivatsan A, Leca I, Tian G, Fritz T, Hansen AH, Musaev
    D, Mcevoy Venneri J, Kiely J, Rosti R, Scott E, Tan U, Kolodner R, Cowan N, Keays
    D, Gleeson J. 2017. Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting
    microtubule stability. Human Molecular Genetics. 26(2), 258–269.
  mla: Breuss, Martin, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation
    Affecting Microtubule Stability.” <i>Human Molecular Genetics</i>, vol. 26, no.
    2, Oxford University Press, 2017, pp. 258–69, doi:<a href="https://doi.org/10.1093/hmg/ddw383">10.1093/hmg/ddw383</a>.
  short: M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen,
    D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner,
    N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
date_created: 2018-12-11T11:49:42Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2023-09-22T09:42:42Z
day: '01'
department:
- _id: SiHi
doi: 10.1093/hmg/ddw383
external_id:
  isi:
  - '000397066400002'
intvolume: '        26'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 258 - 269
publication: Human Molecular Genetics
publication_identifier:
  issn:
  - '09646906'
publication_status: published
publisher: Oxford University Press
publist_id: '6379'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule
  stability
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 26
year: '2017'
...
---
_id: '1017'
abstract:
- lang: eng
  text: The development of the vertebrate central nervous system is reliant on a complex
    cascade of biological processes that include mitotic division, relocation of migrating
    neurons, and the extension of dendritic and axonal processes. Each of these cellular
    events requires the diverse functional repertoire of the microtubule cytoskeleton
    for the generation of forces, assembly of macromolecular complexes and transport
    of molecules and organelles. The tubulins are a multi-gene family that encode
    for the constituents of microtubules, and have been implicated in a spectrum of
    neurological disorders. Evidence is building that different tubulins tune the
    functional properties of the microtubule cytoskeleton dependent on the cell type,
    developmental profile and subcellular localisation. Here we review of the origins
    of the functional specification of the tubulin gene family in the developing brain
    at a transcriptional, translational, and post-transcriptional level. We remind
    the reader that tubulins are not just loading controls for your average Western
    blot.
article_processing_charge: No
author:
- first_name: Martin
  full_name: Breuss, Martin
  last_name: Breuss
- first_name: Ines
  full_name: Leca, Ines
  last_name: Leca
- first_name: Thomas
  full_name: Gstrein, Thomas
  last_name: Gstrein
- first_name: Andi H
  full_name: Hansen, Andi H
  id: 38853E16-F248-11E8-B48F-1D18A9856A87
  last_name: Hansen
- first_name: David
  full_name: Keays, David
  last_name: Keays
citation:
  ama: 'Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. Tubulins and brain development:
    The origins of functional specification. <i>Molecular and Cellular Neuroscience</i>.
    2017;84:58-67. doi:<a href="https://doi.org/10.1016/j.mcn.2017.03.002">10.1016/j.mcn.2017.03.002</a>'
  apa: 'Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., &#38; Keays, D. (2017).
    Tubulins and brain development: The origins of functional specification. <i>Molecular
    and Cellular Neuroscience</i>. Academic Press. <a href="https://doi.org/10.1016/j.mcn.2017.03.002">https://doi.org/10.1016/j.mcn.2017.03.002</a>'
  chicago: 'Breuss, Martin, Ines Leca, Thomas Gstrein, Andi H Hansen, and David Keays.
    “Tubulins and Brain Development: The Origins of Functional Specification.” <i>Molecular
    and Cellular Neuroscience</i>. Academic Press, 2017. <a href="https://doi.org/10.1016/j.mcn.2017.03.002">https://doi.org/10.1016/j.mcn.2017.03.002</a>.'
  ieee: 'M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and
    brain development: The origins of functional specification,” <i>Molecular and
    Cellular Neuroscience</i>, vol. 84. Academic Press, pp. 58–67, 2017.'
  ista: 'Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. 2017. Tubulins and brain
    development: The origins of functional specification. Molecular and Cellular Neuroscience.
    84, 58–67.'
  mla: 'Breuss, Martin, et al. “Tubulins and Brain Development: The Origins of Functional
    Specification.” <i>Molecular and Cellular Neuroscience</i>, vol. 84, Academic
    Press, 2017, pp. 58–67, doi:<a href="https://doi.org/10.1016/j.mcn.2017.03.002">10.1016/j.mcn.2017.03.002</a>.'
  short: M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular
    Neuroscience 84 (2017) 58–67.
date_created: 2018-12-11T11:49:42Z
date_published: 2017-10-01T00:00:00Z
date_updated: 2023-09-22T09:42:15Z
day: '01'
ddc:
- '571'
department:
- _id: SiHi
doi: 10.1016/j.mcn.2017.03.002
external_id:
  isi:
  - '000415140700007'
file:
- access_level: open_access
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:19Z
  date_updated: 2018-12-12T10:09:19Z
  file_id: '4742'
  file_name: IST-2017-806-v1+2_1-s2.0-S1044743116302500-main_1_.pdf
  file_size: 1436377
  relation: main_file
file_date_updated: 2018-12-12T10:09:19Z
has_accepted_license: '1'
intvolume: '        84'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 58 - 67
publication: Molecular and Cellular Neuroscience
publication_identifier:
  issn:
  - '10447431'
publication_status: published
publisher: Academic Press
publist_id: '6377'
pubrep_id: '806'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Tubulins and brain development: The origins of functional specification'
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 84
year: '2017'
...
---
_id: '1018'
abstract:
- lang: eng
  text: In plants, the multistep phosphorelay (MSP) pathway mediates a range of regulatory
    processes, including those activated by cytokinins. The crosstalk between cytokinin
    response and light is known for a long time. However, the molecular mechanism
    underlying the interactionbetween light and cytokinin signaling remains elusive.
    In the screen for upstream regulators we identified a LONG PALE HYPOCOTYL (LPH)
    gene whose activity is indispensable for spatiotemporally correct expression of
    CYTOKININ INDEPENDENT-1 (CKI1), encoding the constitutively active sensor histidine
    kinase that activates MSP signaling. lph is a new allele of HEME OXYGENASE 1 (HY1)
    which encodes the key protein in the biosynthesis of phytochromobilin, a cofactor
    of photoconvertiblephytochromes. Our analysis confirmed the light-dependent regulation
    oftheCKI1 expression pattern. We show that CKI1 expression is under the control
    of phytochrome A (phyA), functioning as a dual (both positive and negative) regulator
    of CKI1 expression, presumably via the phyA-regulated transcription factors PHYTOCHROME
    INTERACTING FACTOR 3 (PIF3) and CIRCADIAN CLOCK ASSOCIATED 1 (CCA1). Changes in
    CKI1 expression observed in lph/hy1-7 and phy mutants correlatewithmisregulation
    of MSP signaling, changedcytokinin sensitivity and developmental aberrations,previously
    shown to be associated with cytokinin and/or CKI1 action. Besides that, we demonstrate
    novel role of phyA-dependent CKI1 expression in the hypocotyl elongation and hook
    development during skotomorphogenesis. Based on these results, we propose that
    the light-dependent regulation of CKI1 provides a plausible mechanistic link underlying
    the well-known interaction between light- and cytokinin-controlled plant development.
article_processing_charge: No
author:
- first_name: Tereza
  full_name: Dobisova, Tereza
  last_name: Dobisova
- first_name: Vendula
  full_name: Hrdinova, Vendula
  last_name: Hrdinova
- first_name: Candela
  full_name: Cuesta, Candela
  id: 33A3C818-F248-11E8-B48F-1D18A9856A87
  last_name: Cuesta
  orcid: 0000-0003-1923-2410
- first_name: Sarka
  full_name: Michlickova, Sarka
  last_name: Michlickova
- first_name: Ivana
  full_name: Urbankova, Ivana
  last_name: Urbankova
- first_name: Romana
  full_name: Hejatkova, Romana
  last_name: Hejatkova
- first_name: Petra
  full_name: Zadnikova, Petra
  last_name: Zadnikova
- first_name: Markéta
  full_name: Pernisová, Markéta
  last_name: Pernisová
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Jan
  full_name: Hejátko, Jan
  last_name: Hejátko
citation:
  ama: Dobisova T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor
    histidine kinase CKI1 controls cytokinin related development. <i>Plant Physiology</i>.
    2017;174(1):387-404. doi:<a href="https://doi.org/10.1104/pp.16.01964">10.1104/pp.16.01964</a>
  apa: Dobisova, T., Hrdinova, V., Cuesta, C., Michlickova, S., Urbankova, I., Hejatkova,
    R., … Hejátko, J. (2017). Light regulated expression of sensor histidine kinase
    CKI1 controls cytokinin related development. <i>Plant Physiology</i>. American
    Society of Plant Biologists. <a href="https://doi.org/10.1104/pp.16.01964">https://doi.org/10.1104/pp.16.01964</a>
  chicago: Dobisova, Tereza, Vendula Hrdinova, Candela Cuesta, Sarka Michlickova,
    Ivana Urbankova, Romana Hejatkova, Petra Zadnikova, Markéta Pernisová, Eva Benková,
    and Jan Hejátko. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls
    Cytokinin Related Development.” <i>Plant Physiology</i>. American Society of Plant
    Biologists, 2017. <a href="https://doi.org/10.1104/pp.16.01964">https://doi.org/10.1104/pp.16.01964</a>.
  ieee: T. Dobisova <i>et al.</i>, “Light regulated expression of sensor histidine
    kinase CKI1 controls cytokinin related development,” <i>Plant Physiology</i>,
    vol. 174, no. 1. American Society of Plant Biologists, pp. 387–404, 2017.
  ista: Dobisova T, Hrdinova V, Cuesta C, Michlickova S, Urbankova I, Hejatkova R,
    Zadnikova P, Pernisová M, Benková E, Hejátko J. 2017. Light regulated expression
    of sensor histidine kinase CKI1 controls cytokinin related development. Plant
    Physiology. 174(1), 387–404.
  mla: Dobisova, Tereza, et al. “Light Regulated Expression of Sensor Histidine Kinase
    CKI1 Controls Cytokinin Related Development.” <i>Plant Physiology</i>, vol. 174,
    no. 1, American Society of Plant Biologists, 2017, pp. 387–404, doi:<a href="https://doi.org/10.1104/pp.16.01964">10.1104/pp.16.01964</a>.
  short: T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova,
    P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017)
    387–404.
date_created: 2018-12-11T11:49:43Z
date_published: 2017-05-17T00:00:00Z
date_updated: 2023-09-22T09:41:48Z
day: '17'
department:
- _id: EvBe
doi: 10.1104/pp.16.01964
external_id:
  isi:
  - '000402057200028'
intvolume: '       174'
isi: 1
issue: '1'
language:
- iso: eng
month: '05'
oa_version: None
page: 387 - 404
publication: Plant Physiology
publication_status: published
publisher: American Society of Plant Biologists
publist_id: '6375'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Light regulated expression of sensor histidine kinase CKI1 controls cytokinin
  related development
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 174
year: '2017'
...
