---
_id: '4390'
abstract:
- lang: eng
  text: Concurrent data structures with fine-grained synchronization are notoriously
    difficult to implement correctly. The difficulty of reasoning about these implementations
    does not stem from the number of variables or the program size, but rather from
    the large number of possible interleavings. These implementations are therefore
    prime candidates for model checking. We introduce an algorithm for verifying linearizability
    of singly-linked heap-based concurrent data structures. We consider a model consisting
    of an unbounded heap where each vertex stores an element from an unbounded data
    domain, with a restricted set of operations for testing and updating pointers
    and data elements. Our main result is that linearizability is decidable for programs
    that invoke a fixed number of methods, possibly in parallel. This decidable fragment
    covers many of the common implementation techniques — fine-grained locking, lazy
    synchronization, and lock-free synchronization. We also show how the technique
    can be used to verify optimistic implementations with the help of programmer annotations.
    We developed a verification tool CoLT and evaluated it on a representative sample
    of Java implementations of the concurrent set data structure. The tool verified
    linearizability of a number of implementations, found a known error in a lock-free
    implementation and proved that the corrected version is linearizable.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Pavol
  full_name: Cerny, Pavol
  id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
  last_name: Cerny
- first_name: Arjun
  full_name: Radhakrishna, Arjun
  id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
  last_name: Radhakrishna
- first_name: Damien
  full_name: Zufferey, Damien
  id: 4397AC76-F248-11E8-B48F-1D18A9856A87
  last_name: Zufferey
  orcid: 0000-0002-3197-8736
- first_name: Swarat
  full_name: Chaudhuri, Swarat
  last_name: Chaudhuri
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
citation:
  ama: 'Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of
    linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479.
    doi:<a href="https://doi.org/10.1007/978-3-642-14295-6_41">10.1007/978-3-642-14295-6_41</a>'
  apa: 'Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &#38; Alur, R. (2010).
    Model checking of linearizability of concurrent list implementations (Vol. 6174,
    pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK:
    Springer. <a href="https://doi.org/10.1007/978-3-642-14295-6_41">https://doi.org/10.1007/978-3-642-14295-6_41</a>'
  chicago: Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and
    Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,”
    6174:465–79. Springer, 2010. <a href="https://doi.org/10.1007/978-3-642-14295-6_41">https://doi.org/10.1007/978-3-642-14295-6_41</a>.
  ieee: 'P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model
    checking of linearizability of concurrent list implementations,” presented at
    the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.'
  ista: 'Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking
    of linearizability of concurrent list implementations. CAV: Computer Aided Verification,
    LNCS, vol. 6174, 465–479.'
  mla: Cerny, Pavol, et al. <i>Model Checking of Linearizability of Concurrent List
    Implementations</i>. Vol. 6174, Springer, 2010, pp. 465–79, doi:<a href="https://doi.org/10.1007/978-3-642-14295-6_41">10.1007/978-3-642-14295-6_41</a>.
  short: P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer,
    2010, pp. 465–479.
conference:
  end_date: 2010-07-17
  location: Edinburgh, UK
  name: 'CAV: Computer Aided Verification'
  start_date: 2010-07-15
date_created: 2018-12-11T12:08:36Z
date_published: 2010-07-01T00:00:00Z
date_updated: 2023-02-23T12:24:12Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-642-14295-6_41
file:
- access_level: open_access
  checksum: 2eb211ce40b3c4988bce3a3592980704
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-19T16:31:56Z
  date_updated: 2020-07-14T12:46:28Z
  file_id: '7873'
  file_name: 2010_CAV_Cerny.pdf
  file_size: 3633276
  relation: main_file
file_date_updated: 2020-07-14T12:46:28Z
has_accepted_license: '1'
intvolume: '      6174'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 465 - 479
publication_status: published
publisher: Springer
publist_id: '1066'
pubrep_id: '27'
quality_controlled: '1'
related_material:
  record:
  - id: '5391'
    relation: earlier_version
    status: public
status: public
title: Model checking of linearizability of concurrent list implementations
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6174
year: '2010'
...
---
_id: '4393'
abstract:
- lang: eng
  text: Boolean notions of correctness are formalized by preorders on systems. Quantitative
    measures of correctness can be formalized by real-valued distance functions between
    systems, where the distance between implementation and specification provides
    a measure of “fit” or “desirability.” We extend the simulation preorder to the
    quantitative setting, by making each player of a simulation game pay a certain
    price for her choices. We use the resulting games with quantitative objectives
    to define three different simulation distances. The correctness distance measures
    how much the specification must be changed in order to be satisfied by the implementation.
    The coverage distance measures how much the implementation restricts the degrees
    of freedom offered by the specification. The robustness distance measures how
    much a system can deviate from the implementation description without violating
    the specification. We consider these distances for safety as well as liveness
    specifications. The distances can be computed in polynomial time for safety specifications,
    and for liveness specifications given by weak fairness constraints. We show that
    the distance functions satisfy the triangle inequality, that the distance between
    two systems does not increase under parallel composition with a third system,
    and that the distance between two systems can be bounded from above and below
    by distances between abstractions of the two systems. These properties suggest
    that our simulation distances provide an appropriate basis for a quantitative
    theory of discrete systems. We also demonstrate how the robustness distance can
    be used to measure how many transmission errors are tolerated by error correcting
    codes.
acknowledgement: This work was partially supported by the European Union project COMBEST
  and the European Network of Excellence ArtistDesign.
alternative_title:
- LNCS
author:
- first_name: Pavol
  full_name: Cerny, Pavol
  id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
  last_name: Cerny
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Arjun
  full_name: Radhakrishna, Arjun
  id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
  last_name: Radhakrishna
citation:
  ama: 'Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269.
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:<a href="https://doi.org/10.1007/978-3-642-15375-4_18">10.1007/978-3-642-15375-4_18</a>'
  apa: 'Cerny, P., Henzinger, T. A., &#38; Radhakrishna, A. (2010). Simulation distances
    (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris,
    France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.1007/978-3-642-15375-4_18">https://doi.org/10.1007/978-3-642-15375-4_18</a>'
  chicago: Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”
    6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. <a href="https://doi.org/10.1007/978-3-642-15375-4_18">https://doi.org/10.1007/978-3-642-15375-4_18</a>.
  ieee: 'P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented
    at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.'
  ista: 'Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR:
    Concurrency Theory, LNCS, vol. 6269, 235–268.'
  mla: Cerny, Pavol, et al. <i>Simulation Distances</i>. Vol. 6269, Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:<a href="https://doi.org/10.1007/978-3-642-15375-4_18">10.1007/978-3-642-15375-4_18</a>.
  short: P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2010, pp. 235–268.
conference:
  end_date: 2010-09-03
  location: Paris, France
  name: 'CONCUR: Concurrency Theory'
  start_date: 2010-08-31
date_created: 2018-12-11T12:08:37Z
date_published: 2010-11-01T00:00:00Z
date_updated: 2023-02-23T12:24:04Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-15375-4_18
ec_funded: 1
file:
- access_level: open_access
  checksum: ea567903676ba8afe0507ee11313dce5
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:15:12Z
  date_updated: 2020-07-14T12:46:28Z
  file_id: '5130'
  file_name: IST-2012-42-v1+1_Simulation_distances.pdf
  file_size: 198913
  relation: main_file
file_date_updated: 2020-07-14T12:46:28Z
has_accepted_license: '1'
intvolume: '      6269'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 235 - 268
project:
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '215543'
  name: COMponent-Based Embedded Systems design Techniques
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '214373'
  name: Design for Embedded Systems
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '1065'
pubrep_id: '42'
quality_controlled: '1'
related_material:
  record:
  - id: '3249'
    relation: later_version
    status: public
  - id: '5389'
    relation: earlier_version
    status: public
scopus_import: 1
status: public
title: Simulation distances
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6269
year: '2010'
...
---
_id: '4396'
abstract:
- lang: eng
  text: 'Shape analysis is a promising technique to prove program properties about
    recursive data structures. The challenge is to automatically determine the data-structure
    type, and to supply the shape analysis with the necessary information about the
    data structure. We present a stepwise approach to the selection of instrumentation
    predicates for a TVLA-based shape analysis, which takes us a step closer towards
    the fully automatic verification of data structures. The approach uses two techniques
    to guide the refinement of shape abstractions: (1) during program exploration,
    an explicit heap analysis collects sample instances of the heap structures, which
    are used to identify the data structures that are manipulated by the program;
    and (2) during abstraction refinement along an infeasible error path, we consider
    different possible heap abstractions and choose the coarsest one that eliminates
    the infeasible path. We have implemented this combined approach for automatic
    shape refinement as an extension of the software model checker BLAST. Example
    programs from a data-structure library that manipulate doubly-linked lists and
    trees were successfully verified by our tool.'
alternative_title:
- LNCS
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Grégory
  full_name: Théoduloz, Grégory
  last_name: Théoduloz
- first_name: Damien
  full_name: Zufferey, Damien
  id: 4397AC76-F248-11E8-B48F-1D18A9856A87
  last_name: Zufferey
  orcid: 0000-0002-3197-8736
citation:
  ama: 'Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit
    heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277.
    doi:<a href="https://doi.org/10.1007/978-3-642-12029-9_19">10.1007/978-3-642-12029-9_19</a>'
  apa: 'Beyer, D., Henzinger, T. A., Théoduloz, G., &#38; Zufferey, D. (2010). Shape
    refinement through explicit heap analysis. In D. Rosenblum &#38; G. Taenzer (Eds.)
    (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software
    Engineering, Paphos, Cyprus: Springer. <a href="https://doi.org/10.1007/978-3-642-12029-9_19">https://doi.org/10.1007/978-3-642-12029-9_19</a>'
  chicago: Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey.
    “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and
    Gabriele Taenzer, 6013:263–77. Springer, 2010. <a href="https://doi.org/10.1007/978-3-642-12029-9_19">https://doi.org/10.1007/978-3-642-12029-9_19</a>.
  ieee: 'D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement
    through explicit heap analysis,” presented at the FASE: Fundamental Approaches
    To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.'
  ista: 'Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through
    explicit heap analysis. FASE: Fundamental Approaches To Software Engineering,
    LNCS, vol. 6013, 263–277.'
  mla: Beyer, Dirk, et al. <i>Shape Refinement through Explicit Heap Analysis</i>.
    Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp.
    263–77, doi:<a href="https://doi.org/10.1007/978-3-642-12029-9_19">10.1007/978-3-642-12029-9_19</a>.
  short: D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G.
    Taenzer (Eds.), Springer, 2010, pp. 263–277.
conference:
  end_date: 2010-03-28
  location: Paphos, Cyprus
  name: 'FASE: Fundamental Approaches To Software Engineering'
  start_date: 2010-03-20
date_created: 2018-12-11T12:08:38Z
date_published: 2010-04-21T00:00:00Z
date_updated: 2021-01-12T07:56:40Z
day: '21'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-12029-9_19
editor:
- first_name: David
  full_name: Rosenblum, David
  last_name: Rosenblum
- first_name: Gabriele
  full_name: Taenzer, Gabriele
  last_name: Taenzer
file:
- access_level: open_access
  checksum: 7d26e59a9681487d7283eba337292b2c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:18:13Z
  date_updated: 2020-07-14T12:46:29Z
  file_id: '5332'
  file_name: IST-2012-41-v1+1_Shape_refinement_through_explicit_heap_analysis.pdf
  file_size: 312147
  relation: main_file
file_date_updated: 2020-07-14T12:46:29Z
has_accepted_license: '1'
intvolume: '      6013'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 263 - 277
project:
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: Springer
publist_id: '1061'
pubrep_id: '41'
quality_controlled: '1'
scopus_import: 1
status: public
title: Shape refinement through explicit heap analysis
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6013
year: '2010'
...
---
_id: '488'
abstract:
- lang: eng
  text: 'Streaming string transducers [1] define (partial) functions from input strings
    to output strings. A streaming string transducer makes a single pass through the
    input string and uses a finite set of variables that range over strings from the
    output alphabet. At every step, the transducer processes an input symbol, and
    updates all the variables in parallel using assignments whose right-hand-sides
    are concatenations of output symbols and variables with the restriction that a
    variable can be used at most once in a right-hand-side expression. It has been
    shown that streaming string transducers operating on strings over infinite data
    domains are of interest in algorithmic verification of list-processing programs,
    as they lead to PSPACE decision procedures for checking pre/post conditions and
    for checking semantic equivalence, for a well-defined class of heap-manipulating
    programs. In order to understand the theoretical expressiveness of streaming transducers,
    we focus on streaming transducers processing strings over finite alphabets, given
    the existence of a robust and well-studied class of &quot;regular&quot; transductions
    for this case. Such regular transductions can be defined either by two-way deterministic
    finite-state transducers, or using a logical MSO-based characterization. Our main
    result is that the expressiveness of streaming string transducers coincides exactly
    with this class of regular transductions. '
alternative_title:
- LIPIcs
author:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- first_name: Pavol
  full_name: Cerny, Pavol
  id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
  last_name: Cerny
citation:
  ama: 'Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8.
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:<a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1">10.4230/LIPIcs.FSTTCS.2010.1</a>'
  apa: 'Alur, R., &#38; Cerny, P. (2010). Expressiveness of streaming string transducers
    (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology
    and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik. <a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1">https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1</a>'
  chicago: Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,”
    8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. <a href="https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1">https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1</a>.
  ieee: 'R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented
    at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science,
    Chennai, India, 2010, vol. 8, pp. 1–12.'
  ista: 'Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS:
    Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol.
    8, 1–12.'
  mla: Alur, Rajeev, and Pavol Cerny. <i>Expressiveness of Streaming String Transducers</i>.
    Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:<a
    href="https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1">10.4230/LIPIcs.FSTTCS.2010.1</a>.
  short: R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    2010, pp. 1–12.
conference:
  end_date: 2010-12-18
  location: Chennai, India
  name: 'FSTTCS: Foundations of Software Technology and Theoretical Computer Science'
  start_date: 2010-12-15
date_created: 2018-12-11T11:46:45Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T08:01:00Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.FSTTCS.2010.1
file:
- access_level: open_access
  checksum: 5845be5aa19791830f7407d8853f2df0
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:29Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '4690'
  file_name: IST-2018-948-v1+1_2011_Cerny_Expressiveness_of.pdf
  file_size: 492344
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '         8'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '01'
oa: 1
oa_version: Published Version
page: 1 - 12
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7331'
pubrep_id: '948'
quality_controlled: '1'
scopus_import: 1
status: public
title: Expressiveness of streaming string transducers
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: 8
year: '2010'
...
---
_id: '489'
abstract:
- lang: eng
  text: 'Graph games of infinite length are a natural model for open reactive processes:
    one player represents the controller, trying to ensure a given specification,
    and the other represents a hostile environment. The evolution of the system depends
    on the decisions of both players, supplemented by chance. In this work, we focus
    on the notion of randomised strategy. More specifically, we show that three natural
    definitions may lead to very different results: in the most general cases, an
    almost-surely winning situation may become almost-surely losing if the player
    is only allowed to use a weaker notion of strategy. In more reasonable settings,
    translations exist, but they require infinite memory, even in simple cases. Finally,
    some traditional problems becomes undecidable for the strongest type of strategies.'
alternative_title:
- EPTCS
author:
- first_name: Julien
  full_name: Cristau, Julien
  last_name: Cristau
- first_name: Claire
  full_name: David, Claire
  last_name: David
- first_name: Florian
  full_name: Horn, Florian
  id: 37327ACE-F248-11E8-B48F-1D18A9856A87
  last_name: Horn
citation:
  ama: 'Cristau J, David C, Horn F. How do we remember the past in randomised strategies?
    . In: <i>Proceedings of GandALF 2010</i>. Vol 25. Open Publishing Association;
    2010:30-39. doi:<a href="https://doi.org/10.4204/EPTCS.25.7">10.4204/EPTCS.25.7</a>'
  apa: 'Cristau, J., David, C., &#38; Horn, F. (2010). How do we remember the past
    in randomised strategies? . In <i>Proceedings of GandALF 2010</i> (Vol. 25, pp.
    30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. <a href="https://doi.org/10.4204/EPTCS.25.7">https://doi.org/10.4204/EPTCS.25.7</a>'
  chicago: Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the
    Past in Randomised Strategies? .” In <i>Proceedings of GandALF 2010</i>, 25:30–39.
    Open Publishing Association, 2010. <a href="https://doi.org/10.4204/EPTCS.25.7">https://doi.org/10.4204/EPTCS.25.7</a>.
  ieee: J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised
    strategies? ,” in <i>Proceedings of GandALF 2010</i>, Minori, Amalfi Coast, Italy,
    2010, vol. 25, pp. 30–39.
  ista: 'Cristau J, David C, Horn F. 2010. How do we remember the past in randomised
    strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and
    Formal Verification, EPTCS, vol. 25, 30–39.'
  mla: Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies?
    .” <i>Proceedings of GandALF 2010</i>, vol. 25, Open Publishing Association, 2010,
    pp. 30–39, doi:<a href="https://doi.org/10.4204/EPTCS.25.7">10.4204/EPTCS.25.7</a>.
  short: J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing
    Association, 2010, pp. 30–39.
conference:
  end_date: 2010-06-18
  location: Minori, Amalfi Coast, Italy
  name: 'GandALF: Games, Automata, Logic, and Formal Verification'
  start_date: 2010-06-17
date_created: 2018-12-11T11:46:45Z
date_published: 2010-06-09T00:00:00Z
date_updated: 2021-01-12T08:01:01Z
day: '09'
department:
- _id: KrCh
doi: 10.4204/EPTCS.25.7
intvolume: '        25'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1006.1404v1
month: '06'
oa: 1
oa_version: Published Version
page: 30 - 39
publication: Proceedings of GandALF 2010
publication_status: published
publisher: Open Publishing Association
publist_id: '7332'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'How do we remember the past in randomised strategies? '
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2010'
...
---
_id: '2095'
abstract:
- lang: eng
  text: This paper describes a passive stereo system for capturing the 3D geometry
    of a face in a single-shot under standard light sources. The system is low-cost
    and easy to deploy. Results are submillimeter accurate and commensurate with those
    from state-ofthe-art systems based on active lighting, and the models meet the
    quality requirements of a demanding domain like the movie industry. Recovered
    models are shown for captures from both high-end cameras in a studio setting and
    from a consumer binocular-stereo camera, demonstrating scalability across a spectrum
    of camera deployments, and showing the potential for 3D face modeling to move
    beyond the professional arena and into the emerging consumer market in stereoscopic
    photography. Our primary technical contribution is a modification of standard
    stereo refinement methods to capture pore-scale geometry, using a qualitative
    approach that produces visually realistic results. The second technical contribution
    is a calibration method suited to face capture systems. The systemic contribution
    includes multiple demonstrations of system robustness and quality. These include
    capture in a studio setup, capture off a consumer binocular-stereo camera, scanning
    of faces of varying gender and ethnicity and age, capture of highly-transient
    facial expression, and scanning a physical mask to provide ground-truth validation.
author:
- first_name: Thabo
  full_name: Beeler, Thabo
  last_name: Beeler
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Paul
  full_name: Beardsley, Paul A
  last_name: Beardsley
- first_name: Bob
  full_name: Sumner, Bob
  last_name: Sumner
- first_name: Markus
  full_name: Groß, Markus S
  last_name: Groß
citation:
  ama: Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. High-quality single-shot
    capture of facial geometry. <i>ACM Transactions on Graphics</i>. 2010;29(4). doi:<a
    href="https://doi.org/10.1145/1778765.1778777">10.1145/1778765.1778777</a>
  apa: Beeler, T., Bickel, B., Beardsley, P., Sumner, B., &#38; Groß, M. (2010). High-quality
    single-shot capture of facial geometry. <i>ACM Transactions on Graphics</i>. ACM.
    <a href="https://doi.org/10.1145/1778765.1778777">https://doi.org/10.1145/1778765.1778777</a>
  chicago: Beeler, Thabo, Bernd Bickel, Paul Beardsley, Bob Sumner, and Markus Groß.
    “High-Quality Single-Shot Capture of Facial Geometry.” <i>ACM Transactions on
    Graphics</i>. ACM, 2010. <a href="https://doi.org/10.1145/1778765.1778777">https://doi.org/10.1145/1778765.1778777</a>.
  ieee: T. Beeler, B. Bickel, P. Beardsley, B. Sumner, and M. Groß, “High-quality
    single-shot capture of facial geometry,” <i>ACM Transactions on Graphics</i>,
    vol. 29, no. 4. ACM, 2010.
  ista: Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. 2010. High-quality single-shot
    capture of facial geometry. ACM Transactions on Graphics. 29(4).
  mla: Beeler, Thabo, et al. “High-Quality Single-Shot Capture of Facial Geometry.”
    <i>ACM Transactions on Graphics</i>, vol. 29, no. 4, ACM, 2010, doi:<a href="https://doi.org/10.1145/1778765.1778777">10.1145/1778765.1778777</a>.
  short: T. Beeler, B. Bickel, P. Beardsley, B. Sumner, M. Groß, ACM Transactions
    on Graphics 29 (2010).
date_created: 2018-12-11T11:55:41Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T06:55:16Z
day: '01'
doi: 10.1145/1778765.1778777
extern: 1
intvolume: '        29'
issue: '4'
main_file_link:
- open_access: '1'
  url: http://e-collection.library.ethz.ch/view/eth:5079
month: '01'
oa: 1
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4938'
quality_controlled: 0
status: public
title: High-quality single-shot capture of facial geometry
type: journal_article
volume: 29
year: '2010'
...
---
_id: '2124'
abstract:
- lang: eng
  text: We develop a theory of Malliavin calculus for Banach space-valued random variables.
    Using radonifying operators instead of symmetric tensor products we extend the
    Wiener-Itô isometry to Banach spaces. In the white noise case we obtain two sided
    Lp-estimates for multiple stochastic integrals in arbitrary Banach spaces. It
    is shown that the Malliavin derivative is bounded on vector-valued Wiener-Itô
    chaoses. Our main tools are decoupling inequalities for vector-valued random variables.
    In the opposite direction we use Meyer's inequalities to give a new proof of a
    decoupling result for Gaussian chaoses in UMD Banach spaces.
acknowledgement: The author acknowledges support by the ‘VIDI subsidie’ 639.032.201
  of the Netherlands Organisation for Scientific Research (NWO) and the ARC Discovery
  Grant DP0558539.
author:
- first_name: Jan
  full_name: Jan Maas
  id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
  last_name: Maas
  orcid: 0000-0002-0845-1338
citation:
  ama: Maas J. Malliavin calculus and decoupling inequalities in Banach spaces. <i>Journal
    of Mathematical Analysis and Applications</i>. 2010;363(2):383-398. doi:<a href="https://doi.org/10.1016/j.jmaa.2009.08.041">10.1016/j.jmaa.2009.08.041</a>
  apa: Maas, J. (2010). Malliavin calculus and decoupling inequalities in Banach spaces.
    <i>Journal of Mathematical Analysis and Applications</i>. Academic Press. <a href="https://doi.org/10.1016/j.jmaa.2009.08.041">https://doi.org/10.1016/j.jmaa.2009.08.041</a>
  chicago: Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.”
    <i>Journal of Mathematical Analysis and Applications</i>. Academic Press, 2010.
    <a href="https://doi.org/10.1016/j.jmaa.2009.08.041">https://doi.org/10.1016/j.jmaa.2009.08.041</a>.
  ieee: J. Maas, “Malliavin calculus and decoupling inequalities in Banach spaces,”
    <i>Journal of Mathematical Analysis and Applications</i>, vol. 363, no. 2. Academic
    Press, pp. 383–398, 2010.
  ista: Maas J. 2010. Malliavin calculus and decoupling inequalities in Banach spaces.
    Journal of Mathematical Analysis and Applications. 363(2), 383–398.
  mla: Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.”
    <i>Journal of Mathematical Analysis and Applications</i>, vol. 363, no. 2, Academic
    Press, 2010, pp. 383–98, doi:<a href="https://doi.org/10.1016/j.jmaa.2009.08.041">10.1016/j.jmaa.2009.08.041</a>.
  short: J. Maas, Journal of Mathematical Analysis and Applications 363 (2010) 383–398.
date_created: 2018-12-11T11:55:51Z
date_published: 2010-03-15T00:00:00Z
date_updated: 2021-01-12T06:55:27Z
day: '15'
doi: 10.1016/j.jmaa.2009.08.041
extern: 1
intvolume: '       363'
issue: '2'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0801.2899
month: '03'
oa: 1
page: 383 - 398
publication: Journal of Mathematical Analysis and Applications
publication_status: published
publisher: Academic Press
publist_id: '4912'
quality_controlled: 0
status: public
title: Malliavin calculus and decoupling inequalities in Banach spaces
type: journal_article
volume: 363
year: '2010'
...
---
_id: '2194'
abstract:
- lang: eng
  text: We develop an analytic model of vector correlations in rotationally inelastic
    atom-diatom collisions and test it against the much examined Ar-NO (X2Π) system.
    Based on the Fraunhofer scattering of matter waves, the model furnishes complex
    scattering amplitudes needed to evaluate the polarization moments characterizing
    the quantum stereodynamics. The analytic polarization moments are found to be
    in an excellent agreement with experimental results and with close-coupling calculations
    available at thermal energies. The model reveals that the stereodynamics is governed
    by diffraction from the repulsive core of the Ar-NO potential, which can be characterized
    by a single Legendre moment.
author:
- first_name: Mikhail
  full_name: Mikhail Lemeshko
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Břetislav
  full_name: Friedrich, Břetislav
  last_name: Friedrich
citation:
  ama: Lemeshko M, Friedrich B. An analytic model of the stereodynamics of rotationally
    inelastic molecular collisions. <i>Physical Chemistry Chemical Physics</i>. 2010;12(5):1038-1041.
    doi:<a href="https://doi.org/10.1039/B920899B ">10.1039/B920899B </a>
  apa: Lemeshko, M., &#38; Friedrich, B. (2010). An analytic model of the stereodynamics
    of rotationally inelastic molecular collisions. <i>Physical Chemistry Chemical
    Physics</i>. Royal Society of Chemistry. <a href="https://doi.org/10.1039/B920899B
    ">https://doi.org/10.1039/B920899B </a>
  chicago: Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics
    of Rotationally Inelastic Molecular Collisions.” <i>Physical Chemistry Chemical
    Physics</i>. Royal Society of Chemistry, 2010. <a href="https://doi.org/10.1039/B920899B
    ">https://doi.org/10.1039/B920899B </a>.
  ieee: M. Lemeshko and B. Friedrich, “An analytic model of the stereodynamics of
    rotationally inelastic molecular collisions,” <i>Physical Chemistry Chemical Physics</i>,
    vol. 12, no. 5. Royal Society of Chemistry, pp. 1038–1041, 2010.
  ista: Lemeshko M, Friedrich B. 2010. An analytic model of the stereodynamics of
    rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics.
    12(5), 1038–1041.
  mla: Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics
    of Rotationally Inelastic Molecular Collisions.” <i>Physical Chemistry Chemical
    Physics</i>, vol. 12, no. 5, Royal Society of Chemistry, 2010, pp. 1038–41, doi:<a
    href="https://doi.org/10.1039/B920899B ">10.1039/B920899B </a>.
  short: M. Lemeshko, B. Friedrich, Physical Chemistry Chemical Physics 12 (2010)
    1038–1041.
date_created: 2018-12-11T11:56:15Z
date_published: 2010-02-07T00:00:00Z
date_updated: 2021-01-12T06:55:54Z
day: '07'
doi: '10.1039/B920899B '
extern: 1
intvolume: '        12'
issue: '5'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0910.0952
month: '02'
oa: 1
page: 1038 - 1041
publication: Physical Chemistry Chemical Physics
publication_status: published
publisher: Royal Society of Chemistry
publist_id: '4780'
quality_controlled: 0
status: public
title: An analytic model of the stereodynamics of rotationally inelastic molecular
  collisions
type: journal_article
volume: 12
year: '2010'
...
---
_id: '2195'
abstract:
- lang: eng
  text: 'Following upon our recent work on vector correlations in the Ar-NO collisions
    [Lemeshko and Friedrich, Phys. Chem. Chem. Phys. 12, 1038 (2010)], we compare
    model results with close-coupling calculations for a range of channels and collision
    energies for the He-NO system. The striking agreement between the model and exact
    polarization moments indicates that the stereodynamics of rotationally inelastic
    atom-molecule collisions at thermal energies is governed by diffraction of matter
    waves from a two-dimensional repulsive core of the atom-molecule potential. Furthermore,
    the model polarization moments characterizing the He-NO, He- O2, He-OH, and He-CaH
    stereodynamics are found to coalesce into a single, distinctive pattern, which
    can serve as a &quot;fingerprint&quot; to identify diffraction-driven stereodynamics
    in future work. '
acknowledgement: Financial support of the Spanish Ministry of Science and Innovation
  (Grant No. CTQ2008-02578) is gratefully acknowledged.
author:
- first_name: Mikhail
  full_name: Mikhail Lemeshko
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Pablo
  full_name: Jambrina, Pablo G
  last_name: Jambrina
- first_name: Marcelo
  full_name: De Miranda, Marcelo P
  last_name: De Miranda
- first_name: Břetislav
  full_name: Friedrich, Břetislav
  last_name: Friedrich
citation:
  ama: 'Lemeshko M, Jambrina P, De Miranda M, Friedrich B. Communications: When diffraction
    rules the stereodynamics of rotationally inelastic collisions. <i>Journal of Chemical
    Physics</i>. 2010;132(16). doi:<a href="https://doi.org/10.1063/1.3386530">10.1063/1.3386530</a>'
  apa: 'Lemeshko, M., Jambrina, P., De Miranda, M., &#38; Friedrich, B. (2010). Communications:
    When diffraction rules the stereodynamics of rotationally inelastic collisions.
    <i>Journal of Chemical Physics</i>. American Institute of Physics. <a href="https://doi.org/10.1063/1.3386530">https://doi.org/10.1063/1.3386530</a>'
  chicago: 'Lemeshko, Mikhail, Pablo Jambrina, Marcelo De Miranda, and Břetislav Friedrich.
    “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic
    Collisions.” <i>Journal of Chemical Physics</i>. American Institute of Physics,
    2010. <a href="https://doi.org/10.1063/1.3386530">https://doi.org/10.1063/1.3386530</a>.'
  ieee: 'M. Lemeshko, P. Jambrina, M. De Miranda, and B. Friedrich, “Communications:
    When diffraction rules the stereodynamics of rotationally inelastic collisions,”
    <i>Journal of Chemical Physics</i>, vol. 132, no. 16. American Institute of Physics,
    2010.'
  ista: 'Lemeshko M, Jambrina P, De Miranda M, Friedrich B. 2010. Communications:
    When diffraction rules the stereodynamics of rotationally inelastic collisions.
    Journal of Chemical Physics. 132(16).'
  mla: 'Lemeshko, Mikhail, et al. “Communications: When Diffraction Rules the Stereodynamics
    of Rotationally Inelastic Collisions.” <i>Journal of Chemical Physics</i>, vol.
    132, no. 16, American Institute of Physics, 2010, doi:<a href="https://doi.org/10.1063/1.3386530">10.1063/1.3386530</a>.'
  short: M. Lemeshko, P. Jambrina, M. De Miranda, B. Friedrich, Journal of Chemical
    Physics 132 (2010).
date_created: 2018-12-11T11:56:16Z
date_published: 2010-04-28T00:00:00Z
date_updated: 2021-01-12T06:55:54Z
day: '28'
doi: 10.1063/1.3386530
extern: 1
intvolume: '       132'
issue: '16'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1002.1572
month: '04'
oa: 1
publication: Journal of Chemical Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '4779'
quality_controlled: 0
status: public
title: 'Communications: When diffraction rules the stereodynamics of rotationally
  inelastic collisions'
type: journal_article
volume: 132
year: '2010'
...
---
_id: '2196'
abstract:
- lang: eng
  text: We evaluate the shifts imparted to vibrational and rotational levels of a
    linear molecule by a nonresonant laser field at intensities of up to 10 12 W/cm2.
    Both types of shift are found to be either positive or negative, depending on
    the initial rotational state acted upon by the field. An adiabatic field-molecule
    interaction imparts a rotational energy shift which is negative and exceeds the
    concomitant positive vibrational shift by a few orders of magnitude. The rovibrational
    states are thus pushed downward in such a field. A nonresonant pulsed laser field
    that interacts nonadiabatically with the molecule is found to impart rotational
    and vibrational shifts of the same order of magnitude. The nonadiabatic energy
    transfer occurs most readily at a pulse duration which amounts to about a tenth
    of the molecule's rotational period and vanishes when the sudden regime is attained
    for shorter pulses. We applied our treatment to the much-studied 87Rb2 molecule
    in the last bound vibrational levels of its lowest singlet and triplet electronic
    states. Our calculations indicate that 15 and 1.5 ns laser pulses of an intensity
    in excess of 5 × 109 W/cm2 are capable of dissociating the molecule due to the
    vibrational shift. Lesser shifts can be used to fine-tune the rovibrational levels
    and thereby affect collisional resonances by the nonresonant light. The energy
    shifts due to laser intensities of 109 W/cm2 may be discernible spectroscopically,
    with a 10 MHz resolution.
author:
- first_name: Mikhail
  full_name: Mikhail Lemeshko
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Břetislav
  full_name: Friedrich, Břetislav
  last_name: Friedrich
citation:
  ama: Lemeshko M, Friedrich B. Fine-tuning molecular energy levels by nonresonant
    laser pulses. <i>Journal of Physical Chemistry A</i>. 2010;114(36):9848-9854.
    doi:<a href="https://doi.org/10.1021/jp1032299">10.1021/jp1032299</a>
  apa: Lemeshko, M., &#38; Friedrich, B. (2010). Fine-tuning molecular energy levels
    by nonresonant laser pulses. <i>Journal of Physical Chemistry A</i>. American
    Chemical Society. <a href="https://doi.org/10.1021/jp1032299">https://doi.org/10.1021/jp1032299</a>
  chicago: Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy
    Levels by Nonresonant Laser Pulses.” <i>Journal of Physical Chemistry A</i>. American
    Chemical Society, 2010. <a href="https://doi.org/10.1021/jp1032299">https://doi.org/10.1021/jp1032299</a>.
  ieee: M. Lemeshko and B. Friedrich, “Fine-tuning molecular energy levels by nonresonant
    laser pulses,” <i>Journal of Physical Chemistry A</i>, vol. 114, no. 36. American
    Chemical Society, pp. 9848–9854, 2010.
  ista: Lemeshko M, Friedrich B. 2010. Fine-tuning molecular energy levels by nonresonant
    laser pulses. Journal of Physical Chemistry A. 114(36), 9848–9854.
  mla: Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels
    by Nonresonant Laser Pulses.” <i>Journal of Physical Chemistry A</i>, vol. 114,
    no. 36, American Chemical Society, 2010, pp. 9848–54, doi:<a href="https://doi.org/10.1021/jp1032299">10.1021/jp1032299</a>.
  short: M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 114 (2010) 9848–9854.
date_created: 2018-12-11T11:56:16Z
date_published: 2010-09-16T00:00:00Z
date_updated: 2021-01-12T06:55:55Z
day: '16'
doi: 10.1021/jp1032299
extern: 1
intvolume: '       114'
issue: '36'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1004.1742
month: '09'
oa: 1
page: 9848 - 9854
publication: Journal of Physical Chemistry A
publication_status: published
publisher: American Chemical Society
publist_id: '4777'
quality_controlled: 0
status: public
title: Fine-tuning molecular energy levels by nonresonant laser pulses
type: journal_article
volume: 114
year: '2010'
...
---
_id: '2197'
abstract:
- lang: eng
  text: We present an analytic model of the refractive index for matter waves propagating
    through atomic or molecular gases. The model, which combines the Wentzel-Kramers-Brillouin
    (WKB) treatment of the long-range attraction with the Fraunhofer model treatment
    of the short-range repulsion, furnishes a refractive index in compelling agreement
    with recent experiments of Jacquey [Phys. Rev. Lett.PRLTAO0031-900710.1103/PhysRevLett.98.240405
    98, 240405 (2007)] on Li atom matter waves passing through dilute noble gases.
    We show that the diffractive contribution, which arises from scattering by a two-dimensional
    &quot;hard core&quot; of the potential, is essential for obtaining a correct imaginary
    part of the refractive index.
author:
- first_name: Mikhail
  full_name: Mikhail Lemeshko
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Břetislav
  full_name: Friedrich, Břetislav
  last_name: Friedrich
citation:
  ama: 'Lemeshko M, Friedrich B. Multiple scattering of matter waves: An analytic
    model of the refractive index for atomic and molecular gases. <i>Physical Review
    A - Atomic, Molecular, and Optical Physics</i>. 2010;82(2). doi:<a href="https://doi.org/10.1103/PhysRevA.82.022711">10.1103/PhysRevA.82.022711</a>'
  apa: 'Lemeshko, M., &#38; Friedrich, B. (2010). Multiple scattering of matter waves:
    An analytic model of the refractive index for atomic and molecular gases. <i>Physical
    Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society.
    <a href="https://doi.org/10.1103/PhysRevA.82.022711">https://doi.org/10.1103/PhysRevA.82.022711</a>'
  chicago: 'Lemeshko, Mikhail, and Břetislav Friedrich. “Multiple Scattering of Matter
    Waves: An Analytic Model of the Refractive Index for Atomic and Molecular Gases.”
    <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical
    Society, 2010. <a href="https://doi.org/10.1103/PhysRevA.82.022711">https://doi.org/10.1103/PhysRevA.82.022711</a>.'
  ieee: 'M. Lemeshko and B. Friedrich, “Multiple scattering of matter waves: An analytic
    model of the refractive index for atomic and molecular gases,” <i>Physical Review
    A - Atomic, Molecular, and Optical Physics</i>, vol. 82, no. 2. American Physical
    Society, 2010.'
  ista: 'Lemeshko M, Friedrich B. 2010. Multiple scattering of matter waves: An analytic
    model of the refractive index for atomic and molecular gases. Physical Review
    A - Atomic, Molecular, and Optical Physics. 82(2).'
  mla: 'Lemeshko, Mikhail, and Břetislav Friedrich. “Multiple Scattering of Matter
    Waves: An Analytic Model of the Refractive Index for Atomic and Molecular Gases.”
    <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 82, no.
    2, American Physical Society, 2010, doi:<a href="https://doi.org/10.1103/PhysRevA.82.022711">10.1103/PhysRevA.82.022711</a>.'
  short: M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical
    Physics 82 (2010).
date_created: 2018-12-11T11:56:16Z
date_published: 2010-08-18T00:00:00Z
date_updated: 2021-01-12T06:55:55Z
day: '18'
doi: 10.1103/PhysRevA.82.022711
extern: 1
intvolume: '        82'
issue: '2'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1003.0854
month: '08'
oa: 1
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_status: published
publisher: American Physical Society
publist_id: '4778'
quality_controlled: 0
status: public
title: 'Multiple scattering of matter waves: An analytic model of the refractive index
  for atomic and molecular gases'
type: journal_article
volume: 82
year: '2010'
...
---
_id: '232'
abstract:
- lang: eng
  text: We study the average order of the divisor function, as it ranges over the
    values of binary quartic forms that are reducible over ℚ.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Régis
  full_name: De La Bretèche, Régis
  last_name: De La Bretèche
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
citation:
  ama: De La Bretèche R, Browning TD. Le problème des diviseurs pour des formes binaires
    de degré 4. <i>Journal fur die Reine und Angewandte Mathematik</i>. 2010;(646):1-44.
    doi:<a href="https://doi.org/10.1515/CRELLE.2010.064">10.1515/CRELLE.2010.064</a>
  apa: De La Bretèche, R., &#38; Browning, T. D. (2010). Le problème des diviseurs
    pour des formes binaires de degré 4. <i>Journal Fur Die Reine Und Angewandte Mathematik</i>.
    Walter de Gruyter. <a href="https://doi.org/10.1515/CRELLE.2010.064">https://doi.org/10.1515/CRELLE.2010.064</a>
  chicago: De La Bretèche, Régis, and Timothy D Browning. “Le Problème Des Diviseurs
    Pour Des Formes Binaires de Degré 4.” <i>Journal Fur Die Reine Und Angewandte
    Mathematik</i>. Walter de Gruyter, 2010. <a href="https://doi.org/10.1515/CRELLE.2010.064">https://doi.org/10.1515/CRELLE.2010.064</a>.
  ieee: R. De La Bretèche and T. D. Browning, “Le problème des diviseurs pour des
    formes binaires de degré 4,” <i>Journal fur die Reine und Angewandte Mathematik</i>,
    no. 646. Walter de Gruyter, pp. 1–44, 2010.
  ista: De La Bretèche R, Browning TD. 2010. Le problème des diviseurs pour des formes
    binaires de degré 4. Journal fur die Reine und Angewandte Mathematik. (646), 1–44.
  mla: De La Bretèche, Régis, and Timothy D. Browning. “Le Problème Des Diviseurs
    Pour Des Formes Binaires de Degré 4.” <i>Journal Fur Die Reine Und Angewandte
    Mathematik</i>, no. 646, Walter de Gruyter, 2010, pp. 1–44, doi:<a href="https://doi.org/10.1515/CRELLE.2010.064">10.1515/CRELLE.2010.064</a>.
  short: R. De La Bretèche, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik
    (2010) 1–44.
date_created: 2018-12-11T11:45:20Z
date_published: 2010-09-17T00:00:00Z
date_updated: 2021-01-12T06:56:45Z
day: '17'
doi: 10.1515/CRELLE.2010.064
extern: '1'
external_id:
  arxiv:
  - '0808.2340'
issue: '646'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/0808.2340
month: '09'
oa: 1
oa_version: Preprint
page: 1 - 44
publication: Journal fur die Reine und Angewandte Mathematik
publication_status: published
publisher: Walter de Gruyter
publist_id: '7672'
quality_controlled: '1'
status: public
title: Le problème des diviseurs pour des formes binaires de degré 4
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2010'
...
---
_id: '2322'
author:
- first_name: Rupert
  full_name: Frank, Rupert L
  last_name: Frank
- first_name: Élliott
  full_name: Lieb, Élliott H
  last_name: Lieb
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: 'Frank R, Lieb É, Seiringer R.  Equivalence of Sobolev inequalities and Lieb-Thirring
    inequalities. In: World Scientific Publishing; 2010:523-535. doi:<a href="https://doi.org/10.1142/9789814304634_0045
    ">10.1142/9789814304634_0045 </a>'
  apa: 'Frank, R., Lieb, É., &#38; Seiringer, R. (2010).  Equivalence of Sobolev inequalities
    and Lieb-Thirring inequalities (pp. 523–535). Presented at the ICMP: International
    Congress on Mathematical Physics, World Scientific Publishing. <a href="https://doi.org/10.1142/9789814304634_0045
    ">https://doi.org/10.1142/9789814304634_0045 </a>'
  chicago: Frank, Rupert, Élliott Lieb, and Robert Seiringer. “ Equivalence of Sobolev
    Inequalities and Lieb-Thirring Inequalities,” 523–35. World Scientific Publishing,
    2010. <a href="https://doi.org/10.1142/9789814304634_0045 ">https://doi.org/10.1142/9789814304634_0045
    </a>.
  ieee: 'R. Frank, É. Lieb, and R. Seiringer, “ Equivalence of Sobolev inequalities
    and Lieb-Thirring inequalities,” presented at the ICMP: International Congress
    on Mathematical Physics, 2010, pp. 523–535.'
  ista: 'Frank R, Lieb É, Seiringer R. 2010.  Equivalence of Sobolev inequalities
    and Lieb-Thirring inequalities. ICMP: International Congress on Mathematical Physics,
    523–535.'
  mla: Frank, Rupert, et al. <i> Equivalence of Sobolev Inequalities and Lieb-Thirring
    Inequalities</i>. World Scientific Publishing, 2010, pp. 523–35, doi:<a href="https://doi.org/10.1142/9789814304634_0045
    ">10.1142/9789814304634_0045 </a>.
  short: R. Frank, É. Lieb, R. Seiringer, in:, World Scientific Publishing, 2010,
    pp. 523–535.
conference:
  name: 'ICMP: International Congress on Mathematical Physics'
date_created: 2018-12-11T11:56:59Z
date_published: 2010-03-31T00:00:00Z
date_updated: 2021-01-12T06:56:46Z
day: '31'
doi: '10.1142/9789814304634_0045 '
extern: 1
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0909.5449
month: '03'
oa: 1
page: 523 - 535
publication_status: published
publisher: World Scientific Publishing
publist_id: '4605'
quality_controlled: 0
status: public
title: ' Equivalence of Sobolev inequalities and Lieb-Thirring inequalities'
type: conference
year: '2010'
...
---
_id: '2323'
abstract:
- lang: eng
  text: Since the first experimental realization of Bose-Einstein condensation in
    cold atomic gases in 1995 there has been a surge of activity in this field. Ingenious
    experiments have allowed us to probe matter close to zero temperature and reveal
    some of the fascinating effects quantum mechanics has bestowed on nature. It is
    a challenge for mathematical physicists to understand these various phenomena
    from first principles, that is, starting from the underlying many-body Schrödinger
    equation. Recent progress in this direction concerns mainly equilibrium properties
    of dilute, cold quantum gases. We shall explain some of the results in this article,
    and describe the mathematics involved in understanding these phenomena. Topics
    include the ground state energy and the free energy at positive temperature, the
    effect of interparticle interaction on the critical temperature for Bose-Einstein
    condensation, as well as the occurrence of superfluidity and quantized vortices
    in rapidly rotating gases.
author:
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: 'Seiringer R. Hot topics on cold gases. In: World Scientific Publishing; 2010:231-245.
    doi:<a href="https://doi.org/10.1142/9789814304634_0013">10.1142/9789814304634_0013</a>'
  apa: 'Seiringer, R. (2010). Hot topics on cold gases (pp. 231–245). Presented at
    the ICMP: International Congress on Mathematical Physics, World Scientific Publishing.
    <a href="https://doi.org/10.1142/9789814304634_0013">https://doi.org/10.1142/9789814304634_0013</a>'
  chicago: Seiringer, Robert. “Hot Topics on Cold Gases,” 231–45. World Scientific
    Publishing, 2010. <a href="https://doi.org/10.1142/9789814304634_0013">https://doi.org/10.1142/9789814304634_0013</a>.
  ieee: 'R. Seiringer, “Hot topics on cold gases,” presented at the ICMP: International
    Congress on Mathematical Physics, 2010, pp. 231–245.'
  ista: 'Seiringer R. 2010. Hot topics on cold gases. ICMP: International Congress
    on Mathematical Physics, 231–245.'
  mla: Seiringer, Robert. <i>Hot Topics on Cold Gases</i>. World Scientific Publishing,
    2010, pp. 231–45, doi:<a href="https://doi.org/10.1142/9789814304634_0013">10.1142/9789814304634_0013</a>.
  short: R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.
conference:
  name: 'ICMP: International Congress on Mathematical Physics'
date_created: 2018-12-11T11:56:59Z
date_published: 2010-03-31T00:00:00Z
date_updated: 2021-01-12T06:56:46Z
day: '31'
doi: 10.1142/9789814304634_0013
extern: 1
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0908.3686
month: '03'
oa: 1
page: 231 - 245
publication_status: published
publisher: World Scientific Publishing
publist_id: '4604'
quality_controlled: 0
status: public
title: Hot topics on cold gases
type: conference
year: '2010'
...
---
_id: '2324'
abstract:
- lang: eng
  text: We determine the sharp constant in the Hardy inequality for fractional Sobolev
    spaces on half-spaces. Our proof relies on a nonlinear and nonlocal version of
    the ground state representation.
alternative_title:
- International Mathematical Series
author:
- first_name: Rupert
  full_name: Frank, Rupert L
  last_name: Frank
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: 'Frank R, Seiringer R. Sharp fractional Hardy inequalities in half-spaces.
    In: <i>Around the Research of Vladimir Maz’ya I</i>. Vol 11. Springer; 2010:161-167.
    doi:<a href="https://doi.org/10.1007/978-1-4419-1341-8_6">10.1007/978-1-4419-1341-8_6</a>'
  apa: Frank, R., &#38; Seiringer, R. (2010). Sharp fractional Hardy inequalities
    in half-spaces. In <i>Around the Research of Vladimir Maz’ya I</i> (Vol. 11, pp.
    161–167). Springer. <a href="https://doi.org/10.1007/978-1-4419-1341-8_6">https://doi.org/10.1007/978-1-4419-1341-8_6</a>
  chicago: Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities
    in Half-Spaces.” In <i>Around the Research of Vladimir Maz’ya I</i>, 11:161–67.
    Springer, 2010. <a href="https://doi.org/10.1007/978-1-4419-1341-8_6">https://doi.org/10.1007/978-1-4419-1341-8_6</a>.
  ieee: R. Frank and R. Seiringer, “Sharp fractional Hardy inequalities in half-spaces,”
    in <i>Around the Research of Vladimir Maz’ya I</i>, vol. 11, Springer, 2010, pp.
    161–167.
  ista: 'Frank R, Seiringer R. 2010.Sharp fractional Hardy inequalities in half-spaces.
    In: Around the Research of Vladimir Maz’ya I. International Mathematical Series,
    vol. 11, 161–167.'
  mla: Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in
    Half-Spaces.” <i>Around the Research of Vladimir Maz’ya I</i>, vol. 11, Springer,
    2010, pp. 161–67, doi:<a href="https://doi.org/10.1007/978-1-4419-1341-8_6">10.1007/978-1-4419-1341-8_6</a>.
  short: R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer,
    2010, pp. 161–167.
date_created: 2018-12-11T11:56:59Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:46Z
day: '01'
doi: 10.1007/978-1-4419-1341-8_6
extern: 1
intvolume: '        11'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0906.1561
month: '01'
oa: 1
page: 161 - 167
publication: Around the Research of Vladimir Maz'ya I
publication_status: published
publisher: Springer
publist_id: '4603'
quality_controlled: 0
status: public
title: Sharp fractional Hardy inequalities in half-spaces
type: book_chapter
volume: 11
year: '2010'
...
---
_id: '2389'
abstract:
- lang: eng
  text: We study the eigenvalues of Schrödinger type operators T + λV and their asymptotic
    behavior in the small coupling limit λ → 0, in the case where the symbol of the
    kinetic energy, T (p), strongly degenerates on a non-trivial manifold of codimension
    one.
author:
- first_name: Christian
  full_name: Hainzl, Christian
  last_name: Hainzl
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type
    operators with degenerate kinetic energy. <i>Mathematische Nachrichten</i>. 2010;283(3):489-499.
    doi:<a href="https://doi.org/10.1002/mana.200810195">10.1002/mana.200810195</a>
  apa: Hainzl, C., &#38; Seiringer, R. (2010). Asymptotic behavior of eigenvalues
    of Schrödinger type operators with degenerate kinetic energy. <i>Mathematische
    Nachrichten</i>. Wiley-Blackwell. <a href="https://doi.org/10.1002/mana.200810195">https://doi.org/10.1002/mana.200810195</a>
  chicago: Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues
    of Schrödinger Type Operators with Degenerate Kinetic Energy.” <i>Mathematische
    Nachrichten</i>. Wiley-Blackwell, 2010. <a href="https://doi.org/10.1002/mana.200810195">https://doi.org/10.1002/mana.200810195</a>.
  ieee: C. Hainzl and R. Seiringer, “Asymptotic behavior of eigenvalues of Schrödinger
    type operators with degenerate kinetic energy,” <i>Mathematische Nachrichten</i>,
    vol. 283, no. 3. Wiley-Blackwell, pp. 489–499, 2010.
  ista: Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger
    type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3),
    489–499.
  mla: Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues
    of Schrödinger Type Operators with Degenerate Kinetic Energy.” <i>Mathematische
    Nachrichten</i>, vol. 283, no. 3, Wiley-Blackwell, 2010, pp. 489–99, doi:<a href="https://doi.org/10.1002/mana.200810195">10.1002/mana.200810195</a>.
  short: C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
date_created: 2018-12-11T11:57:23Z
date_published: 2010-03-01T00:00:00Z
date_updated: 2021-01-12T06:57:11Z
day: '01'
doi: 10.1002/mana.200810195
extern: 1
intvolume: '       283'
issue: '3'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0808.3737
month: '03'
oa: 1
page: 489 - 499
publication: Mathematische Nachrichten
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4537'
quality_controlled: 0
status: public
title: Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate
  kinetic energy
type: journal_article
volume: 283
year: '2010'
...
---
_id: '2392'
abstract:
- lang: eng
  text: The binding of polarons, or its absence, is an old and subtle topic. Here
    we prove two things rigorously. First, the transition from many-body collapse
    to the existence of a thermodynamic limit for N polarons occurs precisely at U=2α,
    where U is the electronic Coulomb repulsion and α is the polaron coupling constant.
    Second, if U is large enough, there is no multipolaron binding of any kind. Considering
    the known fact that there is binding for some U&gt;2α, these conclusions are not
    obvious and their proof has been an open problem for some time.
author:
- first_name: Rupert
  full_name: Frank, Rupert L
  last_name: Frank
- first_name: Élliott
  full_name: Lieb, Élliott H
  last_name: Lieb
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Lawrence
  full_name: Thomas, Lawrence E
  last_name: Thomas
citation:
  ama: Frank R, Lieb É, Seiringer R, Thomas L. Bipolaron and N-polaron binding energies.
    <i>Physical Review Letters</i>. 2010;104(21). doi:<a href="https://doi.org/10.1103/PhysRevLett.104.210402">10.1103/PhysRevLett.104.210402</a>
  apa: Frank, R., Lieb, É., Seiringer, R., &#38; Thomas, L. (2010). Bipolaron and
    N-polaron binding energies. <i>Physical Review Letters</i>. American Physical
    Society. <a href="https://doi.org/10.1103/PhysRevLett.104.210402">https://doi.org/10.1103/PhysRevLett.104.210402</a>
  chicago: Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Bipolaron
    and N-Polaron Binding Energies.” <i>Physical Review Letters</i>. American Physical
    Society, 2010. <a href="https://doi.org/10.1103/PhysRevLett.104.210402">https://doi.org/10.1103/PhysRevLett.104.210402</a>.
  ieee: R. Frank, É. Lieb, R. Seiringer, and L. Thomas, “Bipolaron and N-polaron binding
    energies,” <i>Physical Review Letters</i>, vol. 104, no. 21. American Physical
    Society, 2010.
  ista: Frank R, Lieb É, Seiringer R, Thomas L. 2010. Bipolaron and N-polaron binding
    energies. Physical Review Letters. 104(21).
  mla: Frank, Rupert, et al. “Bipolaron and N-Polaron Binding Energies.” <i>Physical
    Review Letters</i>, vol. 104, no. 21, American Physical Society, 2010, doi:<a
    href="https://doi.org/10.1103/PhysRevLett.104.210402">10.1103/PhysRevLett.104.210402</a>.
  short: R. Frank, É. Lieb, R. Seiringer, L. Thomas, Physical Review Letters 104 (2010).
date_created: 2018-12-11T11:57:24Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:12Z
day: '01'
doi: 10.1103/PhysRevLett.104.210402
extern: 1
intvolume: '       104'
issue: '21'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1004.1196
month: '01'
oa: 1
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4536'
quality_controlled: 0
status: public
title: Bipolaron and N-polaron binding energies
type: journal_article
volume: 104
year: '2010'
...
---
_id: '2409'
abstract:
- lang: eng
  text: "Background: The availability of many gene alignments with overlapping taxon
    sets raises the question of which strategy is the best to infer species phylogenies
    from multiple gene information. Methods and programs abound that use the gene
    alignment in different ways to reconstruct the species tree. In particular, different
    methods combine the original data at different points along the way from the underlying
    sequences to the final tree. Accordingly, they are classified into superalignment,
    supertree and medium-level approaches. Here, we present a simulation study to
    compare different methods from each of these three approaches.\r\n\r\nResults:
    We observe that superalignment methods usually outperform the other approaches
    over a wide range of parameters including sparse data and gene-specific evolutionary
    parameters. In the presence of high incongruency among gene trees, however, other
    combination methods show better performance than the superalignment approach.
    Surprisingly, some supertree and medium-level methods exhibit, on average, worse
    results than a single gene phylogeny with complete taxon information.\r\n\r\nConclusions:
    For some methods, using the reconstructed gene tree as an estimation of the species
    tree is superior to the combination of incomplete information. Superalignment
    usually performs best since it is less susceptible to stochastic error. Supertree
    methods can outperform superalignment in the presence of gene-tree conflict."
acknowledgement: Financial support from the Wiener Wissenschafts-, Forschungs- and
  Technologiefonds (WWTF) is greatly appreciated. A.v.H. acknowledges support from
  the German Research Foundation (DFG, SPP-1174).
article_number: '37'
author:
- first_name: Anne
  full_name: Kupczok, Anne
  id: 2BB22BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Kupczok
- first_name: Heiko
  full_name: Schmidt, Heiko
  last_name: Schmidt
- first_name: Arndt
  full_name: Von Haeseler, Arndt
  last_name: Von Haeseler
citation:
  ama: Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction
    methods combining overlapping gene data sets . <i>Algorithms for Molecular Biology</i>.
    2010;5(1). doi:<a href="https://doi.org/10.1186/1748-7188-5-37">10.1186/1748-7188-5-37</a>
  apa: Kupczok, A., Schmidt, H., &#38; Von Haeseler, A. (2010). Accuracy of phylogeny
    reconstruction methods combining overlapping gene data sets . <i>Algorithms for
    Molecular Biology</i>. BioMed Central. <a href="https://doi.org/10.1186/1748-7188-5-37">https://doi.org/10.1186/1748-7188-5-37</a>
  chicago: Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny
    Reconstruction Methods Combining Overlapping Gene Data Sets .” <i>Algorithms for
    Molecular Biology</i>. BioMed Central, 2010. <a href="https://doi.org/10.1186/1748-7188-5-37">https://doi.org/10.1186/1748-7188-5-37</a>.
  ieee: A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction
    methods combining overlapping gene data sets ,” <i>Algorithms for Molecular Biology</i>,
    vol. 5, no. 1. BioMed Central, 2010.
  ista: Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction
    methods combining overlapping gene data sets . Algorithms for Molecular Biology.
    5(1), 37.
  mla: Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining
    Overlapping Gene Data Sets .” <i>Algorithms for Molecular Biology</i>, vol. 5,
    no. 1, 37, BioMed Central, 2010, doi:<a href="https://doi.org/10.1186/1748-7188-5-37">10.1186/1748-7188-5-37</a>.
  short: A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology
    5 (2010).
date_created: 2018-12-11T11:57:30Z
date_published: 2010-12-06T00:00:00Z
date_updated: 2021-01-12T06:57:18Z
day: '06'
ddc:
- '576'
department:
- _id: JoBo
doi: 10.1186/1748-7188-5-37
file:
- access_level: open_access
  checksum: e2497285388bc4da629bafb46662eb43
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:16Z
  date_updated: 2020-07-14T12:45:40Z
  file_id: '4739'
  file_name: IST-2018-939-v1+1_2010_Kupczok_Accuracy_of.pdf
  file_size: 723929
  relation: main_file
file_date_updated: 2020-07-14T12:45:40Z
has_accepted_license: '1'
intvolume: '         5'
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '12'
oa: 1
oa_version: Published Version
publication: Algorithms for Molecular Biology
publication_status: published
publisher: BioMed Central
publist_id: '4517'
pubrep_id: '939'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Accuracy of phylogeny reconstruction methods combining overlapping gene data
  sets '
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2010'
...
---
_id: '2442'
abstract:
- lang: eng
  text: In a new study published in this issue of Developmental Cell, Krouk et al.
    reveal a surprising mechanism by which plant root systems adapt their architecture
    for soil exploitation. The dual transporter NRT1.1 uses both nitrate and the plant
    hormone auxin as substrates, enabling soil nitrate availability to regulate auxin-driven
    lateral root development.
author:
- first_name: Tom
  full_name: Beeckman, Tom
  last_name: Beeckman
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: 'Beeckman T, Friml J. Nitrate Contra Auxin: Nutrient Sensing by roots. <i>Developmental
    Cell</i>. 2010;18(6):877-878. doi:<a href="https://doi.org/10.1016/j.devcel.2010.05.020">10.1016/j.devcel.2010.05.020</a>'
  apa: 'Beeckman, T., &#38; Friml, J. (2010). Nitrate Contra Auxin: Nutrient Sensing
    by roots. <i>Developmental Cell</i>. Cell Press. <a href="https://doi.org/10.1016/j.devcel.2010.05.020">https://doi.org/10.1016/j.devcel.2010.05.020</a>'
  chicago: 'Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing
    by Roots.” <i>Developmental Cell</i>. Cell Press, 2010. <a href="https://doi.org/10.1016/j.devcel.2010.05.020">https://doi.org/10.1016/j.devcel.2010.05.020</a>.'
  ieee: 'T. Beeckman and J. Friml, “Nitrate Contra Auxin: Nutrient Sensing by roots,”
    <i>Developmental Cell</i>, vol. 18, no. 6. Cell Press, pp. 877–878, 2010.'
  ista: 'Beeckman T, Friml J. 2010. Nitrate Contra Auxin: Nutrient Sensing by roots.
    Developmental Cell. 18(6), 877–878.'
  mla: 'Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by
    Roots.” <i>Developmental Cell</i>, vol. 18, no. 6, Cell Press, 2010, pp. 877–78,
    doi:<a href="https://doi.org/10.1016/j.devcel.2010.05.020">10.1016/j.devcel.2010.05.020</a>.'
  short: T. Beeckman, J. Friml, Developmental Cell 18 (2010) 877–878.
date_created: 2018-12-11T11:57:41Z
date_published: 2010-06-15T00:00:00Z
date_updated: 2021-01-12T06:57:31Z
day: '15'
doi: 10.1016/j.devcel.2010.05.020
extern: '1'
external_id:
  pmid:
  - '    20627068'
intvolume: '        18'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/20627068
month: '06'
oa: 1
oa_version: Published Version
page: 877 - 878
pmid: 1
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '4461'
quality_controlled: '1'
status: public
title: 'Nitrate Contra Auxin: Nutrient Sensing by roots'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2010'
...
---
_id: '2701'
abstract:
- lang: eng
  text: We consider N × N Hermitian random matrices with independent identically distributed
    entries (Wigner matrices). The matrices are normalized so that the average spacing
    between consecutive eigenvalues is of order 1/ N. Under suitable assumptions on
    the distribution of the single matrix element, we first prove that, away from
    the spectral edges, the empirical density of eigenvalues concentrates around the
    Wigner semicircle law on energy scales η ≫ N -1. This result establishes the semicircle
    law on the optimal scale and it removes a logarithmic factor from our previous
    result [6]. We then show a Wegner estimate, i.e., that the averaged density of
    states is bounded. Finally, we prove that the eigenvalues of a Wigner matrix repel
    each other, in agreement with the universality conjecture.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Benjamin
  full_name: Schlein, Benjamin
  last_name: Schlein
- first_name: Horng
  full_name: Yau, Horng-Tzer
  last_name: Yau
citation:
  ama: Erdös L, Schlein B, Yau H. Wegner estimate and level repulsion for Wigner random
    matrices. <i>International Mathematics Research Notices</i>. 2010;(3):436-479.
    doi:<a href="https://doi.org/10.1093/imrn/rnp136">10.1093/imrn/rnp136</a>
  apa: Erdös, L., Schlein, B., &#38; Yau, H. (2010). Wegner estimate and level repulsion
    for Wigner random matrices. <i>International Mathematics Research Notices</i>.
    Oxford University Press. <a href="https://doi.org/10.1093/imrn/rnp136">https://doi.org/10.1093/imrn/rnp136</a>
  chicago: Erdös, László, Benjamin Schlein, and Horng Yau. “Wegner Estimate and Level
    Repulsion for Wigner Random Matrices.” <i>International Mathematics Research Notices</i>.
    Oxford University Press, 2010. <a href="https://doi.org/10.1093/imrn/rnp136">https://doi.org/10.1093/imrn/rnp136</a>.
  ieee: L. Erdös, B. Schlein, and H. Yau, “Wegner estimate and level repulsion for
    Wigner random matrices,” <i>International Mathematics Research Notices</i>, no.
    3. Oxford University Press, pp. 436–479, 2010.
  ista: Erdös L, Schlein B, Yau H. 2010. Wegner estimate and level repulsion for Wigner
    random matrices. International Mathematics Research Notices. (3), 436–479.
  mla: Erdös, László, et al. “Wegner Estimate and Level Repulsion for Wigner Random
    Matrices.” <i>International Mathematics Research Notices</i>, no. 3, Oxford University
    Press, 2010, pp. 436–79, doi:<a href="https://doi.org/10.1093/imrn/rnp136">10.1093/imrn/rnp136</a>.
  short: L. Erdös, B. Schlein, H. Yau, International Mathematics Research Notices
    (2010) 436–479.
date_created: 2018-12-11T11:59:09Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T06:59:09Z
day: '01'
doi: 10.1093/imrn/rnp136
extern: 1
issue: '3'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/0811.2591
month: '01'
oa: 1
page: 436 - 479
publication: International Mathematics Research Notices
publication_status: published
publisher: Oxford University Press
publist_id: '4195'
quality_controlled: 0
status: public
title: Wegner estimate and level repulsion for Wigner random matrices
type: journal_article
year: '2010'
...