---
_id: '496'
abstract:
- lang: eng
  text: 'We study the expressive power of logical interpretations on the class of
    scattered trees, namely those with countably many infinite branches. Scattered
    trees can be thought of as the tree analogue of scattered linear orders. Every
    scattered tree has an ordinal rank that reflects the structure of its infinite
    branches. We prove, roughly, that trees and orders of large rank cannot be interpreted
    in scattered trees of small rank. We consider a quite general notion of interpretation:
    each element of the interpreted structure is represented by a set of tuples of
    subsets of the interpreting tree. Our trees are countable, not necessarily finitely
    branching, and may have finitely many unary predicates as labellings. We also
    show how to replace injective set-interpretations in (not necessarily scattered)
    trees by ''finitary'' set-interpretations.'
alternative_title:
- LICS
article_number: '6280474'
author:
- first_name: Alexander
  full_name: Rabinovich, Alexander
  last_name: Rabinovich
- first_name: Sasha
  full_name: Rubin, Sasha
  id: 2EC51194-F248-11E8-B48F-1D18A9856A87
  last_name: Rubin
citation:
  ama: 'Rabinovich A, Rubin S. Interpretations in trees with countably many branches.
    In: IEEE; 2012. doi:<a href="https://doi.org/10.1109/LICS.2012.65">10.1109/LICS.2012.65</a>'
  apa: 'Rabinovich, A., &#38; Rubin, S. (2012). Interpretations in trees with countably
    many branches. Presented at the LICS: Symposium on Logic in Computer Science,
    Dubrovnik, Croatia: IEEE. <a href="https://doi.org/10.1109/LICS.2012.65">https://doi.org/10.1109/LICS.2012.65</a>'
  chicago: Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with
    Countably Many Branches.” IEEE, 2012. <a href="https://doi.org/10.1109/LICS.2012.65">https://doi.org/10.1109/LICS.2012.65</a>.
  ieee: 'A. Rabinovich and S. Rubin, “Interpretations in trees with countably many
    branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik,
    Croatia, 2012.'
  ista: 'Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many
    branches. LICS: Symposium on Logic in Computer Science, LICS, , 6280474.'
  mla: Rabinovich, Alexander, and Sasha Rubin. <i>Interpretations in Trees with Countably
    Many Branches</i>. 6280474, IEEE, 2012, doi:<a href="https://doi.org/10.1109/LICS.2012.65">10.1109/LICS.2012.65</a>.
  short: A. Rabinovich, S. Rubin, in:, IEEE, 2012.
conference:
  end_date: 2012-06-28
  location: Dubrovnik, Croatia
  name: 'LICS: Symposium on Logic in Computer Science'
  start_date: 2012-06-25
date_created: 2018-12-11T11:46:47Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T08:01:05Z
day: '01'
department:
- _id: KrCh
doi: 10.1109/LICS.2012.65
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arise.or.at/pubpdf/Interpretations_in_Trees_with_Countably_Many_Branches.pdf
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication_status: published
publisher: IEEE
publist_id: '7324'
quality_controlled: '1'
scopus_import: 1
status: public
title: Interpretations in trees with countably many branches
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '497'
abstract:
- lang: eng
  text: 'One central issue in the formal design and analysis of reactive systems is
    the notion of refinement that asks whether all behaviors of the implementation
    is allowed by the specification. The local interpretation of behavior leads to
    the notion of simulation. Alternating transition systems (ATSs) provide a general
    model for composite reactive systems, and the simulation relation for ATSs is
    known as alternating simulation. The simulation relation for fair transition systems
    is called fair simulation. In this work our main contributions are as follows:
    (1) We present an improved algorithm for fair simulation with Büchi fairness constraints;
    our algorithm requires O(n 3·m) time as compared to the previous known O(n 6)-time
    algorithm, where n is the number of states and m is the number of transitions.
    (2) We present a game based algorithm for alternating simulation that requires
    O(m2)-time as compared to the previous known O((n·m)2)-time algorithm, where n
    is the number of states and m is the size of transition relation. (3) We present
    an iterative algorithm for alternating simulation that matches the time complexity
    of the game based algorithm, but is more space efficient than the game based algorithm.
    © Krishnendu Chatterjee, Siddhesh Chaubal, and Pritish Kamath.'
alternative_title:
- LIPIcs
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Siddhesh
  full_name: Chaubal, Siddhesh
  last_name: Chaubal
- first_name: Pritish
  full_name: Kamath, Pritish
  last_name: Kamath
citation:
  ama: 'Chatterjee K, Chaubal S, Kamath P. Faster algorithms for alternating refinement
    relations. In: Vol 16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:167-182.
    doi:<a href="https://doi.org/10.4230/LIPIcs.CSL.2012.167">10.4230/LIPIcs.CSL.2012.167</a>'
  apa: 'Chatterjee, K., Chaubal, S., &#38; Kamath, P. (2012). Faster algorithms for
    alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL:
    European Association for Computer Science Logic, Fontainebleau, France: Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.CSL.2012.167">https://doi.org/10.4230/LIPIcs.CSL.2012.167</a>'
  chicago: Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms
    for Alternating Refinement Relations,” 16:167–82. Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2012. <a href="https://doi.org/10.4230/LIPIcs.CSL.2012.167">https://doi.org/10.4230/LIPIcs.CSL.2012.167</a>.
  ieee: 'K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating
    refinement relations,” presented at the EACSL: European Association for Computer
    Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.'
  ista: 'Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating
    refinement relations. EACSL: European Association for Computer Science Logic,
    LIPIcs, vol. 16, 167–182.'
  mla: Chatterjee, Krishnendu, et al. <i>Faster Algorithms for Alternating Refinement
    Relations</i>. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012,
    pp. 167–82, doi:<a href="https://doi.org/10.4230/LIPIcs.CSL.2012.167">10.4230/LIPIcs.CSL.2012.167</a>.
  short: K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2012, pp. 167–182.
conference:
  end_date: 2012-09-06
  location: Fontainebleau, France
  name: 'EACSL: European Association for Computer Science Logic'
  start_date: 2012-09-03
date_created: 2018-12-11T11:46:48Z
date_published: 2012-09-01T00:00:00Z
date_updated: 2023-02-23T12:23:32Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.CSL.2012.167
ec_funded: 1
file:
- access_level: open_access
  checksum: f1b0dd99240800db2d7dbf9b5131fe5e
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:50Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '4712'
  file_name: IST-2018-943-v1+1_2012_Chatterjee_Faster_Algorithms.pdf
  file_size: 471236
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '        16'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '09'
oa: 1
oa_version: Published Version
page: 167 - 182
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7323'
pubrep_id: '943'
quality_controlled: '1'
related_material:
  record:
  - id: '5378'
    relation: earlier_version
    status: public
scopus_import: 1
status: public
title: Faster algorithms for alternating refinement relations
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2012'
...
---
_id: '498'
abstract:
- lang: eng
  text: Understanding patterns and correlates of local adaptation in heterogeneous
    landscapes can provide important information in the selection of appropriate seed
    sources for restoration. We assessed the extent of local adaptation of fitness
    components in 12 population pairs of the perennial herb Rutidosis leptorrhynchoides
    (Asteraceae) and examined whether spatial scale (0.7-600 km), environmental distance,
    quantitative (QST) and neutral (FST) genetic differentiation, and size of the
    local and foreign populations could predict patterns of adaptive differentiation.
    Local adaptation varied among populations and fitness components. Including all
    population pairs, local adaptation was observed for seedling survival, but not
    for biomass, while foreign genotype advantage was observed for reproduction (number
    of inflorescences). Among population pairs, local adaptation increased with QST
    and local population size for biomass. QST was associated with environmental distance,
    suggesting ecological selection for phenotypic divergence. However, low FST and
    variation in population structure in small populations demonstrates the interaction
    of gene flow and drift in constraining local adaptation in R. leptorrhynchoides.
    Our study indicates that for species in heterogeneous landscapes, collecting seed
    from large populations from similar environments to candidate sites is likely
    to provide the most appropriate seed sources for restoration.
acknowledgement: "We thank Graham Pickup, David Steer, Linda Broadhurst, Lan Li and
  Carole Elliott for technical assistance. The New\r\nSouth Wales Department of Environment
  and Climate Change, ACT Parks, Conservation and Lands and the\r\nDepartment of Sustainability
  and Environment in Victoria provided permits for seed and soil collection. We thank\r\nSpencer
  C. H. Barrett for comments that improved the quality of the manuscript.\r\n"
author:
- first_name: Melinda
  full_name: Pickup, Melinda
  id: 2C78037E-F248-11E8-B48F-1D18A9856A87
  last_name: Pickup
  orcid: 0000-0001-6118-0541
- first_name: David
  full_name: Field, David
  id: 419049E2-F248-11E8-B48F-1D18A9856A87
  last_name: Field
  orcid: 0000-0002-4014-8478
- first_name: David
  full_name: Rowell, David
  last_name: Rowell
- first_name: Andrew
  full_name: Young, Andrew
  last_name: Young
citation:
  ama: 'Pickup M, Field D, Rowell D, Young A. Predicting local adaptation in fragmented
    plant populations: Implications for restoration genetics. <i>Evolutionary Applications</i>.
    2012;5(8):913-924. doi:<a href="https://doi.org/10.1111/j.1752-4571.2012.00284.x">10.1111/j.1752-4571.2012.00284.x</a>'
  apa: 'Pickup, M., Field, D., Rowell, D., &#38; Young, A. (2012). Predicting local
    adaptation in fragmented plant populations: Implications for restoration genetics.
    <i>Evolutionary Applications</i>. Wiley-Blackwell. <a href="https://doi.org/10.1111/j.1752-4571.2012.00284.x">https://doi.org/10.1111/j.1752-4571.2012.00284.x</a>'
  chicago: 'Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting
    Local Adaptation in Fragmented Plant Populations: Implications for Restoration
    Genetics.” <i>Evolutionary Applications</i>. Wiley-Blackwell, 2012. <a href="https://doi.org/10.1111/j.1752-4571.2012.00284.x">https://doi.org/10.1111/j.1752-4571.2012.00284.x</a>.'
  ieee: 'M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation
    in fragmented plant populations: Implications for restoration genetics,” <i>Evolutionary
    Applications</i>, vol. 5, no. 8. Wiley-Blackwell, pp. 913–924, 2012.'
  ista: 'Pickup M, Field D, Rowell D, Young A. 2012. Predicting local adaptation in
    fragmented plant populations: Implications for restoration genetics. Evolutionary
    Applications. 5(8), 913–924.'
  mla: 'Pickup, Melinda, et al. “Predicting Local Adaptation in Fragmented Plant Populations:
    Implications for Restoration Genetics.” <i>Evolutionary Applications</i>, vol.
    5, no. 8, Wiley-Blackwell, 2012, pp. 913–24, doi:<a href="https://doi.org/10.1111/j.1752-4571.2012.00284.x">10.1111/j.1752-4571.2012.00284.x</a>.'
  short: M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012)
    913–924.
date_created: 2018-12-11T11:46:48Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2021-01-12T08:01:06Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1111/j.1752-4571.2012.00284.x
file:
- access_level: open_access
  checksum: 233007138606aca5a2f75f7ae1742f43
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:33Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '4821'
  file_name: IST-2018-942-v1+1_Pickup_et_al-2012-Evolutionary_Applications.pdf
  file_size: 396136
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '         5'
issue: '8'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '12'
oa: 1
oa_version: Published Version
page: 913 - 924
publication: Evolutionary Applications
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7322'
pubrep_id: '942'
quality_controlled: '1'
status: public
title: 'Predicting local adaptation in fragmented plant populations: Implications
  for restoration genetics'
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
  short: CC BY-NC (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2012'
...
---
_id: '506'
article_processing_charge: No
article_type: original
author:
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: 'Sixt MK. Cell migration: Fibroblasts find a new way to get ahead. <i>Journal
    of Cell Biology</i>. 2012;197(3):347-349. doi:<a href="https://doi.org/10.1083/jcb.201204039">10.1083/jcb.201204039</a>'
  apa: 'Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead.
    <i>Journal of Cell Biology</i>. Rockefeller University Press. <a href="https://doi.org/10.1083/jcb.201204039">https://doi.org/10.1083/jcb.201204039</a>'
  chicago: 'Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.”
    <i>Journal of Cell Biology</i>. Rockefeller University Press, 2012. <a href="https://doi.org/10.1083/jcb.201204039">https://doi.org/10.1083/jcb.201204039</a>.'
  ieee: 'M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” <i>Journal
    of Cell Biology</i>, vol. 197, no. 3. Rockefeller University Press, pp. 347–349,
    2012.'
  ista: 'Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal
    of Cell Biology. 197(3), 347–349.'
  mla: 'Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.”
    <i>Journal of Cell Biology</i>, vol. 197, no. 3, Rockefeller University Press,
    2012, pp. 347–49, doi:<a href="https://doi.org/10.1083/jcb.201204039">10.1083/jcb.201204039</a>.'
  short: M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
date_created: 2018-12-11T11:46:51Z
date_published: 2012-04-30T00:00:00Z
date_updated: 2021-01-12T08:01:11Z
day: '30'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1083/jcb.201204039
file:
- access_level: open_access
  checksum: 45c02be33ebd99fc3077d60b9c90bdfa
  content_type: application/pdf
  creator: kschuh
  date_created: 2019-02-12T09:03:09Z
  date_updated: 2020-07-14T12:46:36Z
  file_id: '5957'
  file_name: 2012_CellBiology_Sixt.pdf
  file_size: 986566
  relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: '       197'
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '04'
oa: 1
oa_version: Published Version
page: 347 - 349
publication: Journal of Cell Biology
publication_status: published
publisher: Rockefeller University Press
publist_id: '7314'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Cell migration: Fibroblasts find a new way to get ahead'
tmp:
  image: /images/cc_by_nc_sa.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
    BY-NC-SA 4.0)
  short: CC BY-NC-SA (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 197
year: '2012'
...
---
_id: '5377'
abstract:
- lang: eng
  text: 'Two-player games on graphs are central in many problems in formal verification
    and program analysis such as synthesis and verification of open systems. In this
    work we consider solving recursive game graphs (or pushdown game graphs) that
    can model the control flow of sequential programs with recursion. While pushdown
    games have been studied before with qualitative objectives, such as reachability
    and ω-regular objectives, in this work we study for the first time such games
    with the most well-studied quantitative objective, namely, mean-payoff objectives.
    In pushdown games two types of strategies are relevant: (1) global strategies,
    that depend on the entire global history; and (2) modular strategies, that have
    only local memory and thus do not depend on the context of invocation, but only
    on the history of the current invocation of the module. Our main results are as
    follows: (1) One-player pushdown games with mean-payoff objectives under global
    strategies are decidable in polynomial time. (2) Two- player pushdown games with
    mean-payoff objectives under global strategies are undecidable. (3) One-player
    pushdown games with mean-payoff objectives under modular strategies are NP- hard.
    (4) Two-player pushdown games with mean-payoff objectives under modular strategies
    can be solved in NP (i.e., both one-player and two-player pushdown games with
    mean-payoff objectives under modular strategies are NP-complete). We also establish
    the optimal strategy complexity showing that global strategies for mean-payoff
    objectives require infinite memory even in one-player pushdown games; and memoryless
    modular strategies are sufficient in two- player pushdown games. Finally we also
    show that all the problems have the same complexity if the stack boundedness condition
    is added, where along with the mean-payoff objective the player must also ensure
    that the stack height is bounded.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Yaron
  full_name: Velner, Yaron
  last_name: Velner
citation:
  ama: Chatterjee K, Velner Y. <i>Mean-Payoff Pushdown Games</i>. IST Austria; 2012.
    doi:<a href="https://doi.org/10.15479/AT:IST-2012-0002">10.15479/AT:IST-2012-0002</a>
  apa: Chatterjee, K., &#38; Velner, Y. (2012). <i>Mean-payoff pushdown games</i>.
    IST Austria. <a href="https://doi.org/10.15479/AT:IST-2012-0002">https://doi.org/10.15479/AT:IST-2012-0002</a>
  chicago: Chatterjee, Krishnendu, and Yaron Velner. <i>Mean-Payoff Pushdown Games</i>.
    IST Austria, 2012. <a href="https://doi.org/10.15479/AT:IST-2012-0002">https://doi.org/10.15479/AT:IST-2012-0002</a>.
  ieee: K. Chatterjee and Y. Velner, <i>Mean-payoff pushdown games</i>. IST Austria,
    2012.
  ista: Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
  mla: Chatterjee, Krishnendu, and Yaron Velner. <i>Mean-Payoff Pushdown Games</i>.
    IST Austria, 2012, doi:<a href="https://doi.org/10.15479/AT:IST-2012-0002">10.15479/AT:IST-2012-0002</a>.
  short: K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
date_created: 2018-12-12T11:38:59Z
date_published: 2012-07-02T00:00:00Z
date_updated: 2023-02-23T11:05:50Z
day: '02'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2012-0002
file:
- access_level: open_access
  checksum: a03c08c1589dbb0c96183a8bcf3ab240
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:54:00Z
  date_updated: 2020-07-14T12:46:38Z
  file_id: '5522'
  file_name: IST-2012-002_IST-2012-0002.pdf
  file_size: 592098
  relation: main_file
file_date_updated: 2020-07-14T12:46:38Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '33'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '10'
related_material:
  record:
  - id: '2956'
    relation: later_version
    status: public
status: public
title: Mean-payoff pushdown games
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '5378'
abstract:
- lang: eng
  text: 'One central issue in the formal design and analysis of reactive systems is
    the notion of refinement that asks whether all behaviors of the implementation
    is allowed by the specification. The local interpretation of behavior leads to
    the notion of simulation. Alternating transition systems (ATSs) provide a general
    model for composite reactive systems, and the simulation relation for ATSs is
    known as alternating simulation. The simulation relation for fair transition systems
    is called fair simulation. In this work our main contributions are as follows:
    (1) We present an improved algorithm for fair simulation with Büchi fairness constraints;
    our algorithm requires O(n3 · m) time as compared to the previous known O(n6)-time
    algorithm, where n is the number of states and m is the number of transitions.
    (2) We present a game based algorithm for alternating simulation that requires
    O(m2)-time as compared to the previous known O((n · m)2)-time algorithm, where
    n is the number of states and m is the size of transition relation. (3) We present
    an iterative algorithm for alternating simulation that matches the time complexity
    of the game based algorithm, but is more space efficient than the game based algorithm.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Siddhesh
  full_name: Chaubal, Siddhesh
  last_name: Chaubal
- first_name: Pritish
  full_name: Kamath, Pritish
  last_name: Kamath
citation:
  ama: Chatterjee K, Chaubal S, Kamath P. <i>Faster Algorithms for Alternating Refinement
    Relations</i>. IST Austria; 2012. doi:<a href="https://doi.org/10.15479/AT:IST-2012-0001">10.15479/AT:IST-2012-0001</a>
  apa: Chatterjee, K., Chaubal, S., &#38; Kamath, P. (2012). <i>Faster algorithms
    for alternating refinement relations</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2012-0001">https://doi.org/10.15479/AT:IST-2012-0001</a>
  chicago: Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. <i>Faster
    Algorithms for Alternating Refinement Relations</i>. IST Austria, 2012. <a href="https://doi.org/10.15479/AT:IST-2012-0001">https://doi.org/10.15479/AT:IST-2012-0001</a>.
  ieee: K. Chatterjee, S. Chaubal, and P. Kamath, <i>Faster algorithms for alternating
    refinement relations</i>. IST Austria, 2012.
  ista: Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating
    refinement relations, IST Austria, 21p.
  mla: Chatterjee, Krishnendu, et al. <i>Faster Algorithms for Alternating Refinement
    Relations</i>. IST Austria, 2012, doi:<a href="https://doi.org/10.15479/AT:IST-2012-0001">10.15479/AT:IST-2012-0001</a>.
  short: K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement
    Relations, IST Austria, 2012.
date_created: 2018-12-12T11:38:59Z
date_published: 2012-07-04T00:00:00Z
date_updated: 2023-02-23T12:21:38Z
day: '04'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2012-0001
file:
- access_level: open_access
  checksum: ec8d1857cc7095d3de5107a0162ced37
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:53:28Z
  date_updated: 2020-07-14T12:46:39Z
  file_id: '5489'
  file_name: IST-2012-0001_IST-2012-0001.pdf
  file_size: 394256
  relation: main_file
file_date_updated: 2020-07-14T12:46:39Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '21'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '14'
related_material:
  record:
  - id: '497'
    relation: later_version
    status: public
status: public
title: Faster algorithms for alternating refinement relations
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '12649'
abstract:
- lang: eng
  text: Physically based hydrological models describe natural processes more accurately
    than conceptual models but require extensive data sets to produce accurate results.
    To identify the value of different data sets for improving the performance of
    the distributed hydrological model TOPKAPI we combine a multivariable validation
    technique with Monte Carlo simulations. The study is carried out in the snow and
    ice-dominated Rhonegletscher basin, as these types of mountainous basins are generally
    the most critical with respect to data availability and sensitivity to climate
    fluctuations. Each observational data set is used individually and in combination
    with the other data sets to determine a subset of best parameter combinations
    out of 10,000 Monte Carlos runs performed with randomly generated parameter sets.
    We validate model results against discharge, glacier mass balance, and satellite
    snow cover images for a 14 year time period (1994–2007). While the use of all
    data sets combined provides the best overall model performance (defined by the
    concurrent best agreement of simulated discharge, snow cover and mass balance
    with their respective measurements), the use of one or two variables for constraining
    the model results in poorer performance. Using only one data set for constraining
    the model glacier mass balance proved to be the most efficient observation leading
    to the best overall model performance. Our main result is that a combination of
    discharge and satellite snow cover images is best for improving model performance,
    since the volumetric information of discharge data and the spatial information
    of snow cover images are complementary.
article_number: W07519
article_processing_charge: No
article_type: original
author:
- first_name: David
  full_name: Finger, David
  last_name: Finger
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
- first_name: Markus
  full_name: Konz, Markus
  last_name: Konz
- first_name: Stefan
  full_name: Rimkus, Stefan
  last_name: Rimkus
- first_name: Paolo
  full_name: Burlando, Paolo
  last_name: Burlando
citation:
  ama: Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. The value of glacier
    mass balance, satellite snow cover images, and hourly discharge for improving
    the performance of a physically based distributed hydrological model. <i>Water
    Resources Research</i>. 2011;47(7). doi:<a href="https://doi.org/10.1029/2010wr009824">10.1029/2010wr009824</a>
  apa: Finger, D., Pellicciotti, F., Konz, M., Rimkus, S., &#38; Burlando, P. (2011).
    The value of glacier mass balance, satellite snow cover images, and hourly discharge
    for improving the performance of a physically based distributed hydrological model.
    <i>Water Resources Research</i>. American Geophysical Union. <a href="https://doi.org/10.1029/2010wr009824">https://doi.org/10.1029/2010wr009824</a>
  chicago: Finger, David, Francesca Pellicciotti, Markus Konz, Stefan Rimkus, and
    Paolo Burlando. “The Value of Glacier Mass Balance, Satellite Snow Cover Images,
    and Hourly Discharge for Improving the Performance of a Physically Based Distributed
    Hydrological Model.” <i>Water Resources Research</i>. American Geophysical Union,
    2011. <a href="https://doi.org/10.1029/2010wr009824">https://doi.org/10.1029/2010wr009824</a>.
  ieee: D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, and P. Burlando, “The value
    of glacier mass balance, satellite snow cover images, and hourly discharge for
    improving the performance of a physically based distributed hydrological model,”
    <i>Water Resources Research</i>, vol. 47, no. 7. American Geophysical Union, 2011.
  ista: Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. 2011. The value of
    glacier mass balance, satellite snow cover images, and hourly discharge for improving
    the performance of a physically based distributed hydrological model. Water Resources
    Research. 47(7), W07519.
  mla: Finger, David, et al. “The Value of Glacier Mass Balance, Satellite Snow Cover
    Images, and Hourly Discharge for Improving the Performance of a Physically Based
    Distributed Hydrological Model.” <i>Water Resources Research</i>, vol. 47, no.
    7, W07519, American Geophysical Union, 2011, doi:<a href="https://doi.org/10.1029/2010wr009824">10.1029/2010wr009824</a>.
  short: D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources
    Research 47 (2011).
date_created: 2023-02-20T08:18:03Z
date_published: 2011-07-01T00:00:00Z
date_updated: 2023-02-20T10:39:57Z
day: '01'
doi: 10.1029/2010wr009824
extern: '1'
intvolume: '        47'
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1029/2010WR009824
month: '07'
oa: 1
oa_version: Published Version
publication: Water Resources Research
publication_identifier:
  issn:
  - 0043-1397
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: The value of glacier mass balance, satellite snow cover images, and hourly
  discharge for improving the performance of a physically based distributed hydrological
  model
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2011'
...
---
_id: '12650'
abstract:
- lang: eng
  text: Streamflow is a hydrological variable measured at a defined river cross-section;
    it spatially integrates the runoff generating processes in the contributing watershed,
    including precipitation and air temperature. Trends in streamflow are progressive
    changes in the time series of streamflow that can be detected with statistical
    methods and their statistical significance can be assessed. Mountainous regions
    are particularly vulnerable to streamflow change because of their high specific
    runoff and the sensitivity to the distribution of precipitation and air temperature,
    and the processes of snow accumulation and melt.
alternative_title:
- Encyclopedia of Earth Sciences Series
article_processing_charge: No
author:
- first_name: Peter
  full_name: Molnar, Peter
  last_name: Molnar
- first_name: Paolo
  full_name: Burlando, Paolo
  last_name: Burlando
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
citation:
  ama: 'Molnar P, Burlando P, Pellicciotti F. Streamflow Trends in Mountainous Regions.
    In: Singh V, Singh P, Haritashya U, eds. <i>Encyclopedia of Snow, Ice and Glaciers</i>.
    1st ed. Dordrecht: Springer Nature; 2011:1084-1089. doi:<a href="https://doi.org/10.1007/978-90-481-2642-2_543">10.1007/978-90-481-2642-2_543</a>'
  apa: 'Molnar, P., Burlando, P., &#38; Pellicciotti, F. (2011). Streamflow Trends
    in Mountainous Regions. In V. Singh, P. Singh, &#38; U. Haritashya (Eds.), <i>Encyclopedia
    of Snow, Ice and Glaciers</i> (1st ed., pp. 1084–1089). Dordrecht: Springer Nature.
    <a href="https://doi.org/10.1007/978-90-481-2642-2_543">https://doi.org/10.1007/978-90-481-2642-2_543</a>'
  chicago: 'Molnar, Peter, Paolo Burlando, and Francesca Pellicciotti. “Streamflow
    Trends in Mountainous Regions.” In <i>Encyclopedia of Snow, Ice and Glaciers</i>,
    edited by Vijay Singh, Pratap Singh, and Umesh Haritashya, 1st ed., 1084–89. Dordrecht:
    Springer Nature, 2011. <a href="https://doi.org/10.1007/978-90-481-2642-2_543">https://doi.org/10.1007/978-90-481-2642-2_543</a>.'
  ieee: 'P. Molnar, P. Burlando, and F. Pellicciotti, “Streamflow Trends in Mountainous
    Regions,” in <i>Encyclopedia of Snow, Ice and Glaciers</i>, 1st ed., V. Singh,
    P. Singh, and U. Haritashya, Eds. Dordrecht: Springer Nature, 2011, pp. 1084–1089.'
  ista: 'Molnar P, Burlando P, Pellicciotti F. 2011.Streamflow Trends in Mountainous
    Regions. In: Encyclopedia of Snow, Ice and Glaciers. Encyclopedia of Earth Sciences
    Series, , 1084–1089.'
  mla: Molnar, Peter, et al. “Streamflow Trends in Mountainous Regions.” <i>Encyclopedia
    of Snow, Ice and Glaciers</i>, edited by Vijay Singh et al., 1st ed., Springer
    Nature, 2011, pp. 1084–89, doi:<a href="https://doi.org/10.1007/978-90-481-2642-2_543">10.1007/978-90-481-2642-2_543</a>.
  short: P. Molnar, P. Burlando, F. Pellicciotti, in:, V. Singh, P. Singh, U. Haritashya
    (Eds.), Encyclopedia of Snow, Ice and Glaciers, 1st ed., Springer Nature, Dordrecht,
    2011, pp. 1084–1089.
date_created: 2023-02-20T08:18:07Z
date_published: 2011-07-01T00:00:00Z
date_updated: 2023-02-20T10:35:28Z
day: '01'
doi: 10.1007/978-90-481-2642-2_543
edition: '1'
editor:
- first_name: Vijay
  full_name: Singh, Vijay
  last_name: Singh
- first_name: Pratap
  full_name: Singh, Pratap
  last_name: Singh
- first_name: Umesh
  full_name: Haritashya, Umesh
  last_name: Haritashya
extern: '1'
language:
- iso: eng
month: '07'
oa_version: None
page: 1084-1089
place: Dordrecht
publication: Encyclopedia of Snow, Ice and Glaciers
publication_identifier:
  eisbn:
  - 978-90-481-2642-2
  eissn:
  - 1871-756X
  isbn:
  - 978-90-481-2641-5
  issn:
  - 1388-4360
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Streamflow Trends in Mountainous Regions
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '12651'
abstract:
- lang: eng
  text: Temperature data from three Automatic Weather Stations and twelve Temperature
    Loggers are used to investigate the spatiotemporal variability of temperature
    over a glacier, its main atmospheric controls, the suitability of extrapolation
    techniques and their effect on melt modeling. We use data collected on Juncal
    Norte Glacier, central Chile, during one ablation season. We examine temporal
    and spatial variability in lapse rates (LRs), together with alternative statistical
    interpolation methods. The main control over the glacier thermal regime is the
    development of a katabatic boundary layer (KBL). Katabatic wind occurs at night
    and in the morning and is eroded in the afternoon. LRs reveal strong diurnal variability,
    with steeper LRs during the day when the katabatic wind weakens and shallower
    LRs during the night and morning. We suggest that temporally variable LRs should
    be used to account for the observed change. They tend to be steeper than equivalent
    constant LRs, and therefore result in a reduction in simulated melt compared to
    use of constant LRs when extrapolating from lower to higher elevations. In addition
    to the temporal variability, the temperature-elevation relationship varies also
    in space. Differences are evident between local LRs and including such variability
    in melt modeling affects melt simulations. Extrapolation methods based on the
    spatial variability of the observations after removal of the elevation trend,
    such as Inverse Distance Weighting or Kriging, do not seem necessary for simulations
    of gridded temperature data over a glacier.
article_number: D23109
article_processing_charge: No
article_type: original
author:
- first_name: L.
  full_name: Petersen, L.
  last_name: Petersen
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
citation:
  ama: 'Petersen L, Pellicciotti F. Spatial and temporal variability of air temperature
    on a melting glacier: Atmospheric controls, extrapolation methods and their effect
    on melt modeling, Juncal Norte Glacier, Chile. <i>Journal of Geophysical Research:
    Atmospheres</i>. 2011;116(D23). doi:<a href="https://doi.org/10.1029/2011jd015842">10.1029/2011jd015842</a>'
  apa: 'Petersen, L., &#38; Pellicciotti, F. (2011). Spatial and temporal variability
    of air temperature on a melting glacier: Atmospheric controls, extrapolation methods
    and their effect on melt modeling, Juncal Norte Glacier, Chile. <i>Journal of
    Geophysical Research: Atmospheres</i>. American Geophysical Union. <a href="https://doi.org/10.1029/2011jd015842">https://doi.org/10.1029/2011jd015842</a>'
  chicago: 'Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability
    of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods
    and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” <i>Journal of
    Geophysical Research: Atmospheres</i>. American Geophysical Union, 2011. <a href="https://doi.org/10.1029/2011jd015842">https://doi.org/10.1029/2011jd015842</a>.'
  ieee: 'L. Petersen and F. Pellicciotti, “Spatial and temporal variability of air
    temperature on a melting glacier: Atmospheric controls, extrapolation methods
    and their effect on melt modeling, Juncal Norte Glacier, Chile,” <i>Journal of
    Geophysical Research: Atmospheres</i>, vol. 116, no. D23. American Geophysical
    Union, 2011.'
  ista: 'Petersen L, Pellicciotti F. 2011. Spatial and temporal variability of air
    temperature on a melting glacier: Atmospheric controls, extrapolation methods
    and their effect on melt modeling, Juncal Norte Glacier, Chile. Journal of Geophysical
    Research: Atmospheres. 116(D23), D23109.'
  mla: 'Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability
    of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods
    and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” <i>Journal of
    Geophysical Research: Atmospheres</i>, vol. 116, no. D23, D23109, American Geophysical
    Union, 2011, doi:<a href="https://doi.org/10.1029/2011jd015842">10.1029/2011jd015842</a>.'
  short: 'L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres
    116 (2011).'
date_created: 2023-02-20T08:18:14Z
date_published: 2011-12-16T00:00:00Z
date_updated: 2023-02-20T10:29:44Z
day: '16'
doi: 10.1029/2011jd015842
extern: '1'
intvolume: '       116'
issue: D23
keyword:
- Paleontology
- Space and Planetary Science
- Earth and Planetary Sciences (miscellaneous)
- Atmospheric Science
- Earth-Surface Processes
- Geochemistry and Petrology
- Soil Science
- Water Science and Technology
- Ecology
- Aquatic Science
- Forestry
- Oceanography
- Geophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1029/2011JD01584
month: '12'
oa: 1
oa_version: Published Version
publication: 'Journal of Geophysical Research: Atmospheres'
publication_identifier:
  issn:
  - 0148-0227
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spatial and temporal variability of air temperature on a melting glacier:
  Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal
  Norte Glacier, Chile'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 116
year: '2011'
...
---
_id: '12652'
abstract:
- lang: eng
  text: We explore the robustness and transferability of parameterizations of cloud
    radiative forcing used in glacier melt models at two sites in the Swiss Alps.
    We also look at the rationale behind some of the most commonly used approaches,
    and explore the relationship between cloud transmittance and several standard
    meteorological variables. The 2 m air-temperature diurnal range is the best predictor
    of variations in cloud transmittance. However, linear and exponential parameterizations
    can only explain 30–50% of the observed variance in computed cloud transmittance
    factors. We examine the impact of modelled cloud transmittance factors on both
    solar radiation and ablation rates computed with an enhanced temperature-index
    model. The melt model performance decreases when modelled radiation is used, the
    reduction being due to an underestimation of incoming solar radiation on clear-sky
    days. The model works well under overcast conditions. We also seek alternatives
    to the use of in situ ground data. However, outputs from an atmospheric model
    (2.2 km horizontal resolution) do not seem to provide an alternative to the parameterizations
    of cloud radiative forcing based on observations of air temperature at glacier
    automatic weather stations. Conversely, the correct definition of overcast conditions
    is important.
article_processing_charge: No
article_type: original
author:
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
- first_name: Thomas
  full_name: Raschle, Thomas
  last_name: Raschle
- first_name: Thomas
  full_name: Huerlimann, Thomas
  last_name: Huerlimann
- first_name: Marco
  full_name: Carenzo, Marco
  last_name: Carenzo
- first_name: Paolo
  full_name: Burlando, Paolo
  last_name: Burlando
citation:
  ama: 'Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. Transmission
    of solar radiation through clouds on melting glaciers: A comparison of parameterizations
    and their impact on melt modelling. <i>Journal of Glaciology</i>. 2011;57(202):367-381.
    doi:<a href="https://doi.org/10.3189/002214311796406013">10.3189/002214311796406013</a>'
  apa: 'Pellicciotti, F., Raschle, T., Huerlimann, T., Carenzo, M., &#38; Burlando,
    P. (2011). Transmission of solar radiation through clouds on melting glaciers:
    A comparison of parameterizations and their impact on melt modelling. <i>Journal
    of Glaciology</i>. Cambridge University Press. <a href="https://doi.org/10.3189/002214311796406013">https://doi.org/10.3189/002214311796406013</a>'
  chicago: 'Pellicciotti, Francesca, Thomas Raschle, Thomas Huerlimann, Marco Carenzo,
    and Paolo Burlando. “Transmission of Solar Radiation through Clouds on Melting
    Glaciers: A Comparison of Parameterizations and Their Impact on Melt Modelling.”
    <i>Journal of Glaciology</i>. Cambridge University Press, 2011. <a href="https://doi.org/10.3189/002214311796406013">https://doi.org/10.3189/002214311796406013</a>.'
  ieee: 'F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, and P. Burlando,
    “Transmission of solar radiation through clouds on melting glaciers: A comparison
    of parameterizations and their impact on melt modelling,” <i>Journal of Glaciology</i>,
    vol. 57, no. 202. Cambridge University Press, pp. 367–381, 2011.'
  ista: 'Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. 2011. Transmission
    of solar radiation through clouds on melting glaciers: A comparison of parameterizations
    and their impact on melt modelling. Journal of Glaciology. 57(202), 367–381.'
  mla: 'Pellicciotti, Francesca, et al. “Transmission of Solar Radiation through Clouds
    on Melting Glaciers: A Comparison of Parameterizations and Their Impact on Melt
    Modelling.” <i>Journal of Glaciology</i>, vol. 57, no. 202, Cambridge University
    Press, 2011, pp. 367–81, doi:<a href="https://doi.org/10.3189/002214311796406013">10.3189/002214311796406013</a>.'
  short: F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal
    of Glaciology 57 (2011) 367–381.
date_created: 2023-02-20T08:18:21Z
date_published: 2011-03-01T00:00:00Z
date_updated: 2023-02-20T09:47:00Z
day: '01'
doi: 10.3189/002214311796406013
extern: '1'
intvolume: '        57'
issue: '202'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3189/002214311796406013
month: '03'
oa: 1
oa_version: Published Version
page: 367-381
publication: Journal of Glaciology
publication_identifier:
  eissn:
  - 1727-5652
  issn:
  - 0022-1430
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Transmission of solar radiation through clouds on melting glaciers: A comparison
  of parameterizations and their impact on melt modelling'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 57
year: '2011'
...
---
_id: '1299'
abstract:
- lang: eng
  text: Recent experiments have shown that motion detection in Drosophila starts with
    splitting the visual input into two parallel channels encoding brightness increments
    (ON) or decrements (OFF). This suggests the existence of either two (ON-ON, OFF-OFF)
    or four (for all pairwise interactions) separate motion detectors. To decide between
    these possibilities, we stimulated flies using sequences of ON and OFF brightness
    pulses while recording from motion-sensitive tangential cells. We found direction-selective
    responses to sequences of same sign (ON-ON, OFF-OFF), but not of opposite sign
    (ON-OFF, OFF-ON), refuting the existence of four separate detectors. Based on
    further measurements, we propose a model that reproduces a variety of additional
    experimental data sets, including ones that were previously interpreted as support
    for four separate detectors. Our experiments and the derived model mark an important
    step in guiding further dissection of the fly motion detection circuit.
author:
- first_name: Hubert
  full_name: Eichner, Hubert
  last_name: Eichner
- first_name: Maximilian A
  full_name: Maximilian Jösch
  id: 2BD278E6-F248-11E8-B48F-1D18A9856A87
  last_name: Jösch
  orcid: 0000-0002-3937-1330
- first_name: Bettina
  full_name: Schnell, Bettina
  last_name: Schnell
- first_name: Dierk
  full_name: Reiff, Dierk F
  last_name: Reiff
- first_name: Alexander
  full_name: Borst, Alexander
  last_name: Borst
citation:
  ama: Eichner H, Jösch MA, Schnell B, Reiff D, Borst A. Internal structure of the
    fly elementary motion detector. <i>Neuron</i>. 2011;70(6):1155-1164. doi:<a href="https://doi.org/10.1016/j.neuron.2011.03.028">10.1016/j.neuron.2011.03.028</a>
  apa: Eichner, H., Jösch, M. A., Schnell, B., Reiff, D., &#38; Borst, A. (2011).
    Internal structure of the fly elementary motion detector. <i>Neuron</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.neuron.2011.03.028">https://doi.org/10.1016/j.neuron.2011.03.028</a>
  chicago: Eichner, Hubert, Maximilian A Jösch, Bettina Schnell, Dierk Reiff, and
    Alexander Borst. “Internal Structure of the Fly Elementary Motion Detector.” <i>Neuron</i>.
    Elsevier, 2011. <a href="https://doi.org/10.1016/j.neuron.2011.03.028">https://doi.org/10.1016/j.neuron.2011.03.028</a>.
  ieee: H. Eichner, M. A. Jösch, B. Schnell, D. Reiff, and A. Borst, “Internal structure
    of the fly elementary motion detector,” <i>Neuron</i>, vol. 70, no. 6. Elsevier,
    pp. 1155–1164, 2011.
  ista: Eichner H, Jösch MA, Schnell B, Reiff D, Borst A. 2011. Internal structure
    of the fly elementary motion detector. Neuron. 70(6), 1155–1164.
  mla: Eichner, Hubert, et al. “Internal Structure of the Fly Elementary Motion Detector.”
    <i>Neuron</i>, vol. 70, no. 6, Elsevier, 2011, pp. 1155–64, doi:<a href="https://doi.org/10.1016/j.neuron.2011.03.028">10.1016/j.neuron.2011.03.028</a>.
  short: H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011)
    1155–1164.
date_created: 2018-12-11T11:51:14Z
date_published: 2011-06-23T00:00:00Z
date_updated: 2021-01-12T06:49:43Z
day: '23'
doi: 10.1016/j.neuron.2011.03.028
extern: 1
intvolume: '        70'
issue: '6'
month: '06'
page: 1155 - 1164
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '5969'
quality_controlled: 0
status: public
title: Internal structure of the fly elementary motion detector
type: journal_article
volume: 70
year: '2011'
...
---
_id: '8464'
abstract:
- lang: eng
  text: 'Nonsymmetric motion: Solid‐state NMR measurements of dipolar coupling tensors
    provide insight into protein dynamics. The hitherto ignored asymmetry of the dipolar
    coupling tensor contains valuable information about motional asymmetry, which
    was used in the first direct site‐resolved measurement of such tensors. Important
    motions such as rotamer jumps can now be directly detected in the solid state.'
article_processing_charge: No
article_type: original
author:
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Matthias
  full_name: Huber, Matthias
  last_name: Huber
- first_name: Jérôme
  full_name: Boisbouvier, Jérôme
  last_name: Boisbouvier
- first_name: Beat H.
  full_name: Meier, Beat H.
  last_name: Meier
- first_name: Matthias
  full_name: Ernst, Matthias
  last_name: Ernst
citation:
  ama: Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. Solid-state NMR measurements
    of asymmetric dipolar couplings provide insight into protein side-chain motion.
    <i>Angewandte Chemie International Edition</i>. 2011;50(46):11005-11009. doi:<a
    href="https://doi.org/10.1002/anie.201103944">10.1002/anie.201103944</a>
  apa: Schanda, P., Huber, M., Boisbouvier, J., Meier, B. H., &#38; Ernst, M. (2011).
    Solid-state NMR measurements of asymmetric dipolar couplings provide insight into
    protein side-chain motion. <i>Angewandte Chemie International Edition</i>. Wiley.
    <a href="https://doi.org/10.1002/anie.201103944">https://doi.org/10.1002/anie.201103944</a>
  chicago: Schanda, Paul, Matthias Huber, Jérôme Boisbouvier, Beat H. Meier, and Matthias
    Ernst. “Solid-State NMR Measurements of Asymmetric Dipolar Couplings Provide Insight
    into Protein Side-Chain Motion.” <i>Angewandte Chemie International Edition</i>.
    Wiley, 2011. <a href="https://doi.org/10.1002/anie.201103944">https://doi.org/10.1002/anie.201103944</a>.
  ieee: P. Schanda, M. Huber, J. Boisbouvier, B. H. Meier, and M. Ernst, “Solid-state
    NMR measurements of asymmetric dipolar couplings provide insight into protein
    side-chain motion,” <i>Angewandte Chemie International Edition</i>, vol. 50, no.
    46. Wiley, pp. 11005–11009, 2011.
  ista: Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. 2011. Solid-state NMR
    measurements of asymmetric dipolar couplings provide insight into protein side-chain
    motion. Angewandte Chemie International Edition. 50(46), 11005–11009.
  mla: Schanda, Paul, et al. “Solid-State NMR Measurements of Asymmetric Dipolar Couplings
    Provide Insight into Protein Side-Chain Motion.” <i>Angewandte Chemie International
    Edition</i>, vol. 50, no. 46, Wiley, 2011, pp. 11005–09, doi:<a href="https://doi.org/10.1002/anie.201103944">10.1002/anie.201103944</a>.
  short: P. Schanda, M. Huber, J. Boisbouvier, B.H. Meier, M. Ernst, Angewandte Chemie
    International Edition 50 (2011) 11005–11009.
date_created: 2020-09-18T10:09:40Z
date_published: 2011-09-14T00:00:00Z
date_updated: 2021-01-12T08:19:27Z
day: '14'
doi: 10.1002/anie.201103944
extern: '1'
intvolume: '        50'
issue: '46'
language:
- iso: eng
month: '09'
oa_version: None
page: 11005-11009
publication: Angewandte Chemie International Edition
publication_identifier:
  issn:
  - 1433-7851
publication_status: published
publisher: Wiley
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1002/anie.201206663
status: public
title: Solid-state NMR measurements of asymmetric dipolar couplings provide insight
  into protein side-chain motion
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2011'
...
---
_id: '8468'
article_processing_charge: No
article_type: original
author:
- first_name: Daniela
  full_name: Lalli, Daniela
  last_name: Lalli
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Anup
  full_name: Chowdhury, Anup
  last_name: Chowdhury
- first_name: Joren
  full_name: Retel, Joren
  last_name: Retel
- first_name: Matthias
  full_name: Hiller, Matthias
  last_name: Hiller
- first_name: Victoria A.
  full_name: Higman, Victoria A.
  last_name: Higman
- first_name: Lieselotte
  full_name: Handel, Lieselotte
  last_name: Handel
- first_name: Vipin
  full_name: Agarwal, Vipin
  last_name: Agarwal
- first_name: Bernd
  full_name: Reif, Bernd
  last_name: Reif
- first_name: Barth
  full_name: van Rossum, Barth
  last_name: van Rossum
- first_name: Ümit
  full_name: Akbey, Ümit
  last_name: Akbey
- first_name: Hartmut
  full_name: Oschkinat, Hartmut
  last_name: Oschkinat
citation:
  ama: Lalli D, Schanda P, Chowdhury A, et al. Three-dimensional deuterium-carbon
    correlation experiments for high-resolution solid-state MAS NMR spectroscopy of
    large proteins. <i>Journal of Biomolecular NMR</i>. 2011;51(4):477-485. doi:<a
    href="https://doi.org/10.1007/s10858-011-9578-1">10.1007/s10858-011-9578-1</a>
  apa: Lalli, D., Schanda, P., Chowdhury, A., Retel, J., Hiller, M., Higman, V. A.,
    … Oschkinat, H. (2011). Three-dimensional deuterium-carbon correlation experiments
    for high-resolution solid-state MAS NMR spectroscopy of large proteins. <i>Journal
    of Biomolecular NMR</i>. Springer Nature. <a href="https://doi.org/10.1007/s10858-011-9578-1">https://doi.org/10.1007/s10858-011-9578-1</a>
  chicago: Lalli, Daniela, Paul Schanda, Anup Chowdhury, Joren Retel, Matthias Hiller,
    Victoria A. Higman, Lieselotte Handel, et al. “Three-Dimensional Deuterium-Carbon
    Correlation Experiments for High-Resolution Solid-State MAS NMR Spectroscopy of
    Large Proteins.” <i>Journal of Biomolecular NMR</i>. Springer Nature, 2011. <a
    href="https://doi.org/10.1007/s10858-011-9578-1">https://doi.org/10.1007/s10858-011-9578-1</a>.
  ieee: D. Lalli <i>et al.</i>, “Three-dimensional deuterium-carbon correlation experiments
    for high-resolution solid-state MAS NMR spectroscopy of large proteins,” <i>Journal
    of Biomolecular NMR</i>, vol. 51, no. 4. Springer Nature, pp. 477–485, 2011.
  ista: Lalli D, Schanda P, Chowdhury A, Retel J, Hiller M, Higman VA, Handel L, Agarwal
    V, Reif B, van Rossum B, Akbey Ü, Oschkinat H. 2011. Three-dimensional deuterium-carbon
    correlation experiments for high-resolution solid-state MAS NMR spectroscopy of
    large proteins. Journal of Biomolecular NMR. 51(4), 477–485.
  mla: Lalli, Daniela, et al. “Three-Dimensional Deuterium-Carbon Correlation Experiments
    for High-Resolution Solid-State MAS NMR Spectroscopy of Large Proteins.” <i>Journal
    of Biomolecular NMR</i>, vol. 51, no. 4, Springer Nature, 2011, pp. 477–85, doi:<a
    href="https://doi.org/10.1007/s10858-011-9578-1">10.1007/s10858-011-9578-1</a>.
  short: D. Lalli, P. Schanda, A. Chowdhury, J. Retel, M. Hiller, V.A. Higman, L.
    Handel, V. Agarwal, B. Reif, B. van Rossum, Ü. Akbey, H. Oschkinat, Journal of
    Biomolecular NMR 51 (2011) 477–485.
date_created: 2020-09-18T10:10:43Z
date_published: 2011-10-25T00:00:00Z
date_updated: 2021-01-12T08:19:29Z
day: '25'
doi: 10.1007/s10858-011-9578-1
extern: '1'
intvolume: '        51'
issue: '4'
language:
- iso: eng
month: '10'
oa_version: None
page: 477-485
publication: Journal of Biomolecular NMR
publication_identifier:
  issn:
  - 0925-2738
  - 1573-5001
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Three-dimensional deuterium-carbon correlation experiments for high-resolution
  solid-state MAS NMR spectroscopy of large proteins
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2011'
...
---
_id: '8469'
abstract:
- lang: eng
  text: The accurate experimental determination of dipolar-coupling constants for
    one-bond heteronuclear dipolar couplings in solids is a key for the quantification
    of the amplitudes of motional processes. Averaging of the dipolar coupling reports
    on motions on time scales up to the inverse of the coupling constant, in our case
    tens of microseconds. Combining dipolar-coupling derived order parameters that
    characterize the amplitudes of the motion with relaxation data leads to a more
    precise characterization of the dynamical parameters and helps to disentangle
    the amplitudes and the time scales of the motional processes, which impact relaxation
    rates in a highly correlated way. Here. we describe and characterize an improved
    experimental protocol – based on REDOR – to measure these couplings in perdeuterated
    proteins with a reduced sensitivity to experimental missettings. Because such
    effects are presently the dominant source of systematic errors in experimental
    dipolar-coupling measurements, these compensated experiments should help to significantly
    improve the precision of such data. A detailed comparison with other commonly
    used pulse sequences (T-MREV, phase-inverted CP,R18 5/2, and R18 7/1) is provided.
article_processing_charge: No
article_type: original
author:
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Beat H.
  full_name: Meier, Beat H.
  last_name: Meier
- first_name: Matthias
  full_name: Ernst, Matthias
  last_name: Ernst
citation:
  ama: Schanda P, Meier BH, Ernst M. Accurate measurement of one-bond H–X heteronuclear
    dipolar couplings in MAS solid-state NMR. <i>Journal of Magnetic Resonance</i>.
    2011;210(2):246-259. doi:<a href="https://doi.org/10.1016/j.jmr.2011.03.015">10.1016/j.jmr.2011.03.015</a>
  apa: Schanda, P., Meier, B. H., &#38; Ernst, M. (2011). Accurate measurement of
    one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. <i>Journal
    of Magnetic Resonance</i>. Elsevier. <a href="https://doi.org/10.1016/j.jmr.2011.03.015">https://doi.org/10.1016/j.jmr.2011.03.015</a>
  chicago: Schanda, Paul, Beat H. Meier, and Matthias Ernst. “Accurate Measurement
    of One-Bond H–X Heteronuclear Dipolar Couplings in MAS Solid-State NMR.” <i>Journal
    of Magnetic Resonance</i>. Elsevier, 2011. <a href="https://doi.org/10.1016/j.jmr.2011.03.015">https://doi.org/10.1016/j.jmr.2011.03.015</a>.
  ieee: P. Schanda, B. H. Meier, and M. Ernst, “Accurate measurement of one-bond H–X
    heteronuclear dipolar couplings in MAS solid-state NMR,” <i>Journal of Magnetic
    Resonance</i>, vol. 210, no. 2. Elsevier, pp. 246–259, 2011.
  ista: Schanda P, Meier BH, Ernst M. 2011. Accurate measurement of one-bond H–X heteronuclear
    dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 210(2),
    246–259.
  mla: Schanda, Paul, et al. “Accurate Measurement of One-Bond H–X Heteronuclear Dipolar
    Couplings in MAS Solid-State NMR.” <i>Journal of Magnetic Resonance</i>, vol.
    210, no. 2, Elsevier, 2011, pp. 246–59, doi:<a href="https://doi.org/10.1016/j.jmr.2011.03.015">10.1016/j.jmr.2011.03.015</a>.
  short: P. Schanda, B.H. Meier, M. Ernst, Journal of Magnetic Resonance 210 (2011)
    246–259.
date_created: 2020-09-18T10:10:50Z
date_published: 2011-06-01T00:00:00Z
date_updated: 2021-01-12T08:19:29Z
day: '01'
doi: 10.1016/j.jmr.2011.03.015
extern: '1'
intvolume: '       210'
issue: '2'
keyword:
- Nuclear and High Energy Physics
- Biophysics
- Biochemistry
- Condensed Matter Physics
language:
- iso: eng
month: '06'
oa_version: None
page: 246-259
publication: Journal of Magnetic Resonance
publication_identifier:
  issn:
  - 1090-7807
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS
  solid-state NMR
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 210
year: '2011'
...
---
_id: '8470'
abstract:
- lang: eng
  text: 'Adding a new dimension: 4D or 3D proton‐detected spectra of perdeuterated
    protein samples with 1H labelled amides and methyl groups permit collecting unambiguous
    distance restraints with high sensitivity and determining protein structure by
    solid‐state NMR (see picture).'
article_processing_charge: No
article_type: original
author:
- first_name: Matthias
  full_name: Huber, Matthias
  last_name: Huber
- first_name: Sebastian
  full_name: Hiller, Sebastian
  last_name: Hiller
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Matthias
  full_name: Ernst, Matthias
  last_name: Ernst
- first_name: Anja
  full_name: Böckmann, Anja
  last_name: Böckmann
- first_name: René
  full_name: Verel, René
  last_name: Verel
- first_name: Beat H.
  full_name: Meier, Beat H.
  last_name: Meier
citation:
  ama: Huber M, Hiller S, Schanda P, et al. A proton-detected 4D solid-state NMR experiment
    for protein structure determination. <i>ChemPhysChem</i>. 2011;12(5):915-918.
    doi:<a href="https://doi.org/10.1002/cphc.201100062">10.1002/cphc.201100062</a>
  apa: Huber, M., Hiller, S., Schanda, P., Ernst, M., Böckmann, A., Verel, R., &#38;
    Meier, B. H. (2011). A proton-detected 4D solid-state NMR experiment for protein
    structure determination. <i>ChemPhysChem</i>. Wiley. <a href="https://doi.org/10.1002/cphc.201100062">https://doi.org/10.1002/cphc.201100062</a>
  chicago: Huber, Matthias, Sebastian Hiller, Paul Schanda, Matthias Ernst, Anja Böckmann,
    René Verel, and Beat H. Meier. “A Proton-Detected 4D Solid-State NMR Experiment
    for Protein Structure Determination.” <i>ChemPhysChem</i>. Wiley, 2011. <a href="https://doi.org/10.1002/cphc.201100062">https://doi.org/10.1002/cphc.201100062</a>.
  ieee: M. Huber <i>et al.</i>, “A proton-detected 4D solid-state NMR experiment for
    protein structure determination,” <i>ChemPhysChem</i>, vol. 12, no. 5. Wiley,
    pp. 915–918, 2011.
  ista: Huber M, Hiller S, Schanda P, Ernst M, Böckmann A, Verel R, Meier BH. 2011.
    A proton-detected 4D solid-state NMR experiment for protein structure determination.
    ChemPhysChem. 12(5), 915–918.
  mla: Huber, Matthias, et al. “A Proton-Detected 4D Solid-State NMR Experiment for
    Protein Structure Determination.” <i>ChemPhysChem</i>, vol. 12, no. 5, Wiley,
    2011, pp. 915–18, doi:<a href="https://doi.org/10.1002/cphc.201100062">10.1002/cphc.201100062</a>.
  short: M. Huber, S. Hiller, P. Schanda, M. Ernst, A. Böckmann, R. Verel, B.H. Meier,
    ChemPhysChem 12 (2011) 915–918.
date_created: 2020-09-18T10:10:56Z
date_published: 2011-02-15T00:00:00Z
date_updated: 2021-01-12T08:19:30Z
day: '15'
doi: 10.1002/cphc.201100062
extern: '1'
intvolume: '        12'
issue: '5'
keyword:
- Physical and Theoretical Chemistry
- Atomic and Molecular Physics
- and Optics
language:
- iso: eng
month: '02'
oa_version: None
page: 915-918
publication: ChemPhysChem
publication_identifier:
  issn:
  - 1439-4235
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: A proton-detected 4D solid-state NMR experiment for protein structure determination
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2011'
...
---
_id: '8471'
abstract:
- lang: eng
  text: Despite the importance of protein fibrils in the context of conformational
    diseases, information on their structure is still sparse. Hydrogen/deuterium exchange
    measurements of backbone amide protons allow the identification hydrogen-bonding
    patterns and reveal pertinent information on the amyloid β-sheet architecture.
    However, they provide only little information on the identity of residues exposed
    to solvent or buried inside the fibril core. NMR spectroscopy is a potent method
    for identifying solvent-accessible residues in proteins via observation of polarization
    transfer between chemically exchanging side-chain protons and water protons. We
    show here that the combined use of highly deuterated samples and fast magic-angle
    spinning greatly attenuates unwanted spin diffusion and allows identification
    of polarization exchange with the solvent in a site-specific manner. We apply
    this measurement protocol to HET-s(218–289) prion fibrils under different conditions
    (including physiological pH, where protofibrils assemble together into thicker
    fibrils) and demonstrate that each protofibril of HET-s(218–289), is surrounded
    by water, thus excluding the existence of extended dry interfibril contacts. We
    also show that exchangeable side-chain protons inside the hydrophobic core of
    HET-s(218–289) do not exchange over time intervals of weeks to months. The experiments
    proposed in this study can provide insight into the detailed structural features
    of amyloid fibrils in general.
article_processing_charge: No
article_type: original
author:
- first_name: Hélène
  full_name: Van Melckebeke, Hélène
  last_name: Van Melckebeke
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Julia
  full_name: Gath, Julia
  last_name: Gath
- first_name: Christian
  full_name: Wasmer, Christian
  last_name: Wasmer
- first_name: René
  full_name: Verel, René
  last_name: Verel
- first_name: Adam
  full_name: Lange, Adam
  last_name: Lange
- first_name: Beat H.
  full_name: Meier, Beat H.
  last_name: Meier
- first_name: Anja
  full_name: Böckmann, Anja
  last_name: Böckmann
citation:
  ama: Van Melckebeke H, Schanda P, Gath J, et al. Probing water accessibility in
    HET-s(218–289) amyloid fibrils by solid-state NMR. <i>Journal of Molecular Biology</i>.
    2011;405(3):765-772. doi:<a href="https://doi.org/10.1016/j.jmb.2010.11.004">10.1016/j.jmb.2010.11.004</a>
  apa: Van Melckebeke, H., Schanda, P., Gath, J., Wasmer, C., Verel, R., Lange, A.,
    … Böckmann, A. (2011). Probing water accessibility in HET-s(218–289) amyloid fibrils
    by solid-state NMR. <i>Journal of Molecular Biology</i>. Elsevier. <a href="https://doi.org/10.1016/j.jmb.2010.11.004">https://doi.org/10.1016/j.jmb.2010.11.004</a>
  chicago: Van Melckebeke, Hélène, Paul Schanda, Julia Gath, Christian Wasmer, René
    Verel, Adam Lange, Beat H. Meier, and Anja Böckmann. “Probing Water Accessibility
    in HET-s(218–289) Amyloid Fibrils by Solid-State NMR.” <i>Journal of Molecular
    Biology</i>. Elsevier, 2011. <a href="https://doi.org/10.1016/j.jmb.2010.11.004">https://doi.org/10.1016/j.jmb.2010.11.004</a>.
  ieee: H. Van Melckebeke <i>et al.</i>, “Probing water accessibility in HET-s(218–289)
    amyloid fibrils by solid-state NMR,” <i>Journal of Molecular Biology</i>, vol.
    405, no. 3. Elsevier, pp. 765–772, 2011.
  ista: Van Melckebeke H, Schanda P, Gath J, Wasmer C, Verel R, Lange A, Meier BH,
    Böckmann A. 2011. Probing water accessibility in HET-s(218–289) amyloid fibrils
    by solid-state NMR. Journal of Molecular Biology. 405(3), 765–772.
  mla: Van Melckebeke, Hélène, et al. “Probing Water Accessibility in HET-s(218–289)
    Amyloid Fibrils by Solid-State NMR.” <i>Journal of Molecular Biology</i>, vol.
    405, no. 3, Elsevier, 2011, pp. 765–72, doi:<a href="https://doi.org/10.1016/j.jmb.2010.11.004">10.1016/j.jmb.2010.11.004</a>.
  short: H. Van Melckebeke, P. Schanda, J. Gath, C. Wasmer, R. Verel, A. Lange, B.H.
    Meier, A. Böckmann, Journal of Molecular Biology 405 (2011) 765–772.
date_created: 2020-09-18T10:11:03Z
date_published: 2011-01-21T00:00:00Z
date_updated: 2021-01-12T08:19:30Z
day: '21'
doi: 10.1016/j.jmb.2010.11.004
extern: '1'
intvolume: '       405'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 765-772
publication: Journal of Molecular Biology
publication_identifier:
  issn:
  - 0022-2836
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state
  NMR
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 405
year: '2011'
...
---
_id: '8505'
abstract:
- lang: eng
  text: The classical principle of least action says that orbits of mechanical systems
    extremize action; an important subclass are those orbits that minimize action.
    In this paper we utilize this principle along with Aubry-Mather theory to construct
    (Birkhoff) regions of instability for a certain three-body problem, given by a
    Hamiltonian system of 2 degrees of freedom. We believe that these methods can
    be applied to construct instability regions for a variety of Hamiltonian systems
    with 2 degrees of freedom. The Hamiltonian model we consider describes dynamics
    of a Sun-Jupiter-comet system, and under some simplifying assumptions, we show
    the existence of instabilities for the orbit of the comet. In particular, we show
    that a comet which starts close to an orbit in the shape of an ellipse of eccentricity
    e=0.66 can increase in eccentricity up to e=0.96. In the sequels to this paper,
    we extend the result to beyond e=1 and show the existence of ejection orbits.
    Such orbits are initially well within the range of our solar system. This might
    give an indication of why most objects rotating around the Sun in our solar system
    have relatively low eccentricity.
article_processing_charge: No
article_type: original
author:
- first_name: Joseph
  full_name: Galante, Joseph
  last_name: Galante
- first_name: Vadim
  full_name: Kaloshin, Vadim
  id: FE553552-CDE8-11E9-B324-C0EBE5697425
  last_name: Kaloshin
  orcid: 0000-0002-6051-2628
citation:
  ama: Galante J, Kaloshin V. Destruction of invariant curves in the restricted circular
    planar three-body problem by using comparison of action. <i>Duke Mathematical
    Journal</i>. 2011;159(2):275-327. doi:<a href="https://doi.org/10.1215/00127094-1415878">10.1215/00127094-1415878</a>
  apa: Galante, J., &#38; Kaloshin, V. (2011). Destruction of invariant curves in
    the restricted circular planar three-body problem by using comparison of action.
    <i>Duke Mathematical Journal</i>. Duke University Press. <a href="https://doi.org/10.1215/00127094-1415878">https://doi.org/10.1215/00127094-1415878</a>
  chicago: Galante, Joseph, and Vadim Kaloshin. “Destruction of Invariant Curves in
    the Restricted Circular Planar Three-Body Problem by Using Comparison of Action.”
    <i>Duke Mathematical Journal</i>. Duke University Press, 2011. <a href="https://doi.org/10.1215/00127094-1415878">https://doi.org/10.1215/00127094-1415878</a>.
  ieee: J. Galante and V. Kaloshin, “Destruction of invariant curves in the restricted
    circular planar three-body problem by using comparison of action,” <i>Duke Mathematical
    Journal</i>, vol. 159, no. 2. Duke University Press, pp. 275–327, 2011.
  ista: Galante J, Kaloshin V. 2011. Destruction of invariant curves in the restricted
    circular planar three-body problem by using comparison of action. Duke Mathematical
    Journal. 159(2), 275–327.
  mla: Galante, Joseph, and Vadim Kaloshin. “Destruction of Invariant Curves in the
    Restricted Circular Planar Three-Body Problem by Using Comparison of Action.”
    <i>Duke Mathematical Journal</i>, vol. 159, no. 2, Duke University Press, 2011,
    pp. 275–327, doi:<a href="https://doi.org/10.1215/00127094-1415878">10.1215/00127094-1415878</a>.
  short: J. Galante, V. Kaloshin, Duke Mathematical Journal 159 (2011) 275–327.
date_created: 2020-09-18T10:47:41Z
date_published: 2011-08-04T00:00:00Z
date_updated: 2021-01-12T08:19:45Z
day: '04'
doi: 10.1215/00127094-1415878
extern: '1'
intvolume: '       159'
issue: '2'
keyword:
- General Mathematics
language:
- iso: eng
month: '08'
oa_version: None
page: 275-327
publication: Duke Mathematical Journal
publication_identifier:
  issn:
  - 0012-7094
publication_status: published
publisher: Duke University Press
quality_controlled: '1'
status: public
title: Destruction of invariant curves in the restricted circular planar three-body
  problem by using comparison of action
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 159
year: '2011'
...
---
_id: '881'
author:
- first_name: Fyodor
  full_name: Fyodor Kondrashov
  id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
  last_name: Kondrashov
  orcid: 0000-0001-8243-4694
citation:
  ama: 'Kondrashov F. Gene Dosage and Duplication. In: <i>Evolution after Gene Duplication</i>.
    Wiley-Blackwell; 2011:57-76. doi:<a href="https://doi.org/10.1002/9780470619902.ch4">10.1002/9780470619902.ch4</a>'
  apa: Kondrashov, F. (2011). Gene Dosage and Duplication. In <i>Evolution after Gene
    Duplication</i> (pp. 57–76). Wiley-Blackwell. <a href="https://doi.org/10.1002/9780470619902.ch4">https://doi.org/10.1002/9780470619902.ch4</a>
  chicago: Kondrashov, Fyodor. “Gene Dosage and Duplication.” In <i>Evolution after
    Gene Duplication</i>, 57–76. Wiley-Blackwell, 2011. <a href="https://doi.org/10.1002/9780470619902.ch4">https://doi.org/10.1002/9780470619902.ch4</a>.
  ieee: F. Kondrashov, “Gene Dosage and Duplication,” in <i>Evolution after Gene Duplication</i>,
    Wiley-Blackwell, 2011, pp. 57–76.
  ista: 'Kondrashov F. 2011.Gene Dosage and Duplication. In: Evolution after Gene
    Duplication. , 57–76.'
  mla: Kondrashov, Fyodor. “Gene Dosage and Duplication.” <i>Evolution after Gene
    Duplication</i>, Wiley-Blackwell, 2011, pp. 57–76, doi:<a href="https://doi.org/10.1002/9780470619902.ch4">10.1002/9780470619902.ch4</a>.
  short: F. Kondrashov, in:, Evolution after Gene Duplication, Wiley-Blackwell, 2011,
    pp. 57–76.
date_created: 2018-12-11T11:49:00Z
date_published: 2011-03-14T00:00:00Z
date_updated: 2021-01-12T08:21:08Z
day: '14'
doi: 10.1002/9780470619902.ch4
extern: 1
month: '03'
page: 57 - 76
publication: Evolution after Gene Duplication
publication_status: published
publisher: Wiley-Blackwell
publist_id: '6766'
quality_controlled: 0
status: public
title: Gene Dosage and Duplication
type: book_chapter
year: '2011'
...
---
_id: '890'
abstract:
- lang: eng
  text: Recent discovery of the Large-billed Reed Warbler (Acrocephalus orinus) in
    museums and in the wild significantly expanded our knowledge of its morphological
    traits and genetic variability, and revealed new data on geographical distribution
    of the breeding grounds, migration routes and wintering locations of this species.
    It is now certain that A. orinus is breeding in Central Asia; however, the precise
    area of distribution remains unclear. The difficulty in the further study of this
    species lies in the small number of known specimens, with only 13 currently available
    in museums, and in the relative uncertainty of the breeding area and habitat of
    this species. Following morphological and genetic analyses from Svensson, et al,
    we describe 14 new A. orinus specimens from collections of Zoological Museums
    of the former USSR from the territory of Central Asian states. All of these specimens
    were erroneously labeled as Blyth's Reed Warbler (A. dumetorum), which is thought
    to be a breeding species in these areas. The 14 new A. orinus specimens were collected
    during breeding season while most of the 85 A. dumetorum specimens from the same
    area were collected during the migration period. Our data indicate that the Central
    Asian territory previously attributed as breeding grounds of A. dumetorum is likely
    to constitute the breeding territory of A. orinus. This rare case of a re-description
    of the breeding territory of a lost species emphasizes the importance of maintenance
    of museum collections around the world. If the present data on the breeding grounds
    of A. orinus are confirmed with field observations and collections, the literature
    on the biology of A. dumetorum from the southern part of its range may have to
    be reconsidered.
acknowledgement: |
  The work was supported by the Plan Nacional grant number BFU2009-09271 from the Spanish Ministry of Science and Innovation.
  We extend our thanks to A.M. Peklo and I.V. Fadeev for granting us access to ornithological collections, to V.S. Shishkin, M.V. Kalyakin, R.D. Kashkarov, O.V. Belyalov and V.M. Loskot for valuable insights and to L. Svensson for extensive feedback on the manuscript. We thank E.I. Rogaev for access to ancient DNA facility.
author:
- first_name: Evgeniy
  full_name: Koblik, Evgeniy A
  last_name: Koblik
- first_name: Yaroslav
  full_name: Red'Kin, Yaroslav A
  last_name: Red'Kin
- first_name: Margarita
  full_name: Meer, Margarita S
  last_name: Meer
- first_name: Romain
  full_name: Derelle, Romain
  last_name: Derelle
- first_name: Sofia
  full_name: Golenkina, Sofia A
  last_name: Golenkina
- first_name: Fyodor
  full_name: Fyodor Kondrashov
  id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
  last_name: Kondrashov
  orcid: 0000-0001-8243-4694
- first_name: Vladimir
  full_name: Arkhipov, Vladimir Y
  last_name: Arkhipov
citation:
  ama: 'Koblik E, Red’Kin Y, Meer M, et al. Acrocephalus orinus: A case of Mistaken
    identity. <i>PLoS One</i>. 2011;6(4). doi:<a href="https://doi.org/10.1371/journal.pone.0017716">10.1371/journal.pone.0017716</a>'
  apa: 'Koblik, E., Red’Kin, Y., Meer, M., Derelle, R., Golenkina, S., Kondrashov,
    F., &#38; Arkhipov, V. (2011). Acrocephalus orinus: A case of Mistaken identity.
    <i>PLoS One</i>. Public Library of Science. <a href="https://doi.org/10.1371/journal.pone.0017716">https://doi.org/10.1371/journal.pone.0017716</a>'
  chicago: 'Koblik, Evgeniy, Yaroslav Red’Kin, Margarita Meer, Romain Derelle, Sofia
    Golenkina, Fyodor Kondrashov, and Vladimir Arkhipov. “Acrocephalus Orinus: A Case
    of Mistaken Identity.” <i>PLoS One</i>. Public Library of Science, 2011. <a href="https://doi.org/10.1371/journal.pone.0017716">https://doi.org/10.1371/journal.pone.0017716</a>.'
  ieee: 'E. Koblik <i>et al.</i>, “Acrocephalus orinus: A case of Mistaken identity,”
    <i>PLoS One</i>, vol. 6, no. 4. Public Library of Science, 2011.'
  ista: 'Koblik E, Red’Kin Y, Meer M, Derelle R, Golenkina S, Kondrashov F, Arkhipov
    V. 2011. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 6(4).'
  mla: 'Koblik, Evgeniy, et al. “Acrocephalus Orinus: A Case of Mistaken Identity.”
    <i>PLoS One</i>, vol. 6, no. 4, Public Library of Science, 2011, doi:<a href="https://doi.org/10.1371/journal.pone.0017716">10.1371/journal.pone.0017716</a>.'
  short: E. Koblik, Y. Red’Kin, M. Meer, R. Derelle, S. Golenkina, F. Kondrashov,
    V. Arkhipov, PLoS One 6 (2011).
date_created: 2018-12-11T11:49:02Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T08:21:18Z
day: '01'
doi: 10.1371/journal.pone.0017716
extern: 1
intvolume: '         6'
issue: '4'
month: '01'
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '6760'
quality_controlled: 0
status: public
title: 'Acrocephalus orinus: A case of Mistaken identity'
type: journal_article
volume: 6
year: '2011'
...
---
_id: '90'
abstract:
- lang: eng
  text: A popular method for generating micron-sized aerosols is to submerge ultrasonic
    (ω ∼ MHz) piezoelectric oscillators in a water bath. The submerged oscillator
    atomizes the fluid, creating droplets with radii proportional to the wavelength
    of the standing wave at the fluid surface. Classical theory for the Faraday instability
    predicts a parametric instability driving a capillary wave at the subharmonic
    (ω / 2) frequency. For many applications it is desirable to reduce the size of
    the droplets; however, using higher frequency oscillators becomes impractical
    beyond a few MHz. Observations are presented that demonstrate that smaller droplets
    may also be created by increasing the driving amplitude of the oscillator, and
    that this effect becomes more pronounced for large driving frequencies. It is
    shown that these observations are consistent with a transition from droplets associated
    with subharmonic (ω/2) capillary waves to harmonic (ω) capillary waves induced
    by larger driving frequencies and amplitudes, as predicted by a stability analysis
    of the capillary waves.
author:
- first_name: Andrew P
  full_name: Higginbotham, Andrew P
  id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
  last_name: Higginbotham
  orcid: 0000-0003-2607-2363
- first_name: A
  full_name: Guillen, A
  last_name: Guillen
- first_name: Nick
  full_name: Jones, Nick
  last_name: Jones
- first_name: Tom
  full_name: Donnelly, Tom
  last_name: Donnelly
- first_name: Andrew
  full_name: Bernoff, Andrew
  last_name: Bernoff
citation:
  ama: Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. Evidence of the
    harmonic Faraday instability in ultrasonic atomization experiments with a deep,
    inviscid fluid. <i>Journal of the Acoustical Society of America</i>. 2011;130(5):2694-2699.
    doi:<a href="https://doi.org/10.1121/1.3643816">10.1121/1.3643816</a>
  apa: Higginbotham, A. P., Guillen, A., Jones, N., Donnelly, T., &#38; Bernoff, A.
    (2011). Evidence of the harmonic Faraday instability in ultrasonic atomization
    experiments with a deep, inviscid fluid. <i>Journal of the Acoustical Society
    of America</i>. Acoustical Society of America. <a href="https://doi.org/10.1121/1.3643816">https://doi.org/10.1121/1.3643816</a>
  chicago: Higginbotham, Andrew P, A Guillen, Nick Jones, Tom Donnelly, and Andrew
    Bernoff. “Evidence of the Harmonic Faraday Instability in Ultrasonic Atomization
    Experiments with a Deep, Inviscid Fluid.” <i>Journal of the Acoustical Society
    of America</i>. Acoustical Society of America, 2011. <a href="https://doi.org/10.1121/1.3643816">https://doi.org/10.1121/1.3643816</a>.
  ieee: A. P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, and A. Bernoff, “Evidence
    of the harmonic Faraday instability in ultrasonic atomization experiments with
    a deep, inviscid fluid,” <i>Journal of the Acoustical Society of America</i>,
    vol. 130, no. 5. Acoustical Society of America, pp. 2694–2699, 2011.
  ista: Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. 2011. Evidence
    of the harmonic Faraday instability in ultrasonic atomization experiments with
    a deep, inviscid fluid. Journal of the Acoustical Society of America. 130(5),
    2694–2699.
  mla: Higginbotham, Andrew P., et al. “Evidence of the Harmonic Faraday Instability
    in Ultrasonic Atomization Experiments with a Deep, Inviscid Fluid.” <i>Journal
    of the Acoustical Society of America</i>, vol. 130, no. 5, Acoustical Society
    of America, 2011, pp. 2694–99, doi:<a href="https://doi.org/10.1121/1.3643816">10.1121/1.3643816</a>.
  short: A.P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, A. Bernoff, Journal
    of the Acoustical Society of America 130 (2011) 2694–2699.
date_created: 2018-12-11T11:44:34Z
date_published: 2011-11-16T00:00:00Z
date_updated: 2021-01-12T08:21:44Z
day: '16'
doi: 10.1121/1.3643816
extern: '1'
external_id:
  pmid:
  - '    22087897'
intvolume: '       130'
issue: '5'
language:
- iso: eng
month: '11'
oa_version: None
page: 2694 - 2699
pmid: 1
publication: Journal of the Acoustical Society of America
publication_status: published
publisher: Acoustical Society of America
publist_id: '7964'
quality_controlled: '1'
status: public
title: Evidence of the harmonic Faraday instability in ultrasonic atomization experiments
  with a deep, inviscid fluid
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 130
year: '2011'
...
