---
_id: '4572'
abstract:
- lang: eng
  text: We present a constraint-based algorithm for the synthesis of invariants expressed
    in the combined theory of linear arithmetic and uninterpreted function symbols.
    Given a set of programmer-specified invariant templates, our algorithm reduces
    the invariant synthesis problem to a sequence of arithmetic constraint satisfaction
    queries. Since the combination of linear arithmetic and uninterpreted functions
    is a widely applied predicate domain for program verification, our algorithm provides
    a powerful tool to statically and automatically reason about program correctness.
    The algorithm can also be used for the synthesis of invariants over arrays and
    set data structures, because satisfiability questions for the theories of sets
    and arrays can be reduced to the theory of linear arithmetic with uninterpreted
    functions. We have implemented our algorithm and used it to find invariants for
    a low-level memory allocator written in C.
acknowledgement: This research was sponsored in part by the grants NSF-CCF-0427202
  and NSF-CCF-0546170.
alternative_title:
- LNCS
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Ritankar
  full_name: Majumdar, Ritankar S
  last_name: Majumdar
- first_name: Andrey
  full_name: Rybalchenko, Andrey
  last_name: Rybalchenko
citation:
  ama: 'Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for
    combined theories. In: Vol 4349. Springer; 2007:378-394. doi:<a href="https://doi.org/10.1007/978-3-540-69738-1_27">10.1007/978-3-540-69738-1_27</a>'
  apa: 'Beyer, D., Henzinger, T. A., Majumdar, R., &#38; Rybalchenko, A. (2007). Invariant
    synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI:
    Verification, Model Checking and Abstract Interpretation, Springer. <a href="https://doi.org/10.1007/978-3-540-69738-1_27">https://doi.org/10.1007/978-3-540-69738-1_27</a>'
  chicago: Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko.
    “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. <a href="https://doi.org/10.1007/978-3-540-69738-1_27">https://doi.org/10.1007/978-3-540-69738-1_27</a>.
  ieee: 'D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis
    for combined theories,” presented at the VMCAI: Verification, Model Checking and
    Abstract Interpretation, 2007, vol. 4349, pp. 378–394.'
  ista: 'Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis
    for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation,
    LNCS, vol. 4349, 378–394.'
  mla: Beyer, Dirk, et al. <i>Invariant Synthesis for Combined Theories</i>. Vol.
    4349, Springer, 2007, pp. 378–94, doi:<a href="https://doi.org/10.1007/978-3-540-69738-1_27">10.1007/978-3-540-69738-1_27</a>.
  short: D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007,
    pp. 378–394.
conference:
  name: 'VMCAI: Verification, Model Checking and Abstract Interpretation'
date_created: 2018-12-11T12:09:32Z
date_published: 2007-01-01T00:00:00Z
date_updated: 2021-01-12T07:59:48Z
day: '01'
doi: 10.1007/978-3-540-69738-1_27
extern: 1
intvolume: '      4349'
month: '01'
page: 378 - 394
publication_status: published
publisher: Springer
publist_id: '138'
quality_controlled: 0
status: public
title: Invariant synthesis for combined theories
type: conference
volume: 4349
year: '2007'
...
---
_id: '4573'
abstract:
- lang: eng
  text: In automatic software verification, we have observed a theoretical convergence
    of model checking and program analysis. In practice, however, model checkers are
    still mostly concerned with precision, e.g., the removal of spurious counterexamples;
    for this purpose they build and refine reachability trees. Lattice-based program
    analyzers, on the other hand, are primarily concerned with efficiency. We designed
    an algorithm and built a tool that can be configured to perform not only a purely
    tree-based or a purely lattice-based analysis, but offers many intermediate settings
    that have not been evaluated before. The algorithm and tool take one or more abstract
    interpreters, such as a predicate abstraction and a shape analysis, and configure
    their execution and interaction using several parameters. Our experiments show
    that such customization may lead to dramatic improvements in the precision-efficiency
    spectrum.
acknowledgement: This research was supported in part by the grant SFU/PRG 06-3, and
  by the Swiss National Science Foundation.
alternative_title:
- LNCS
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Thomas A
  full_name: Thomas Henzinger
  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
citation:
  ama: 'Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing
    the convergence of model checking and program analysis. In: Vol 4590. Springer;
    2007:504-518. doi:<a href="https://doi.org/10.1007/978-3-540-73368-3_51">10.1007/978-3-540-73368-3_51</a>'
  apa: 'Beyer, D., Henzinger, T. A., &#38; Théoduloz, G. (2007). Configurable software
    verification: Concretizing the convergence of model checking and program analysis
    (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer.
    <a href="https://doi.org/10.1007/978-3-540-73368-3_51">https://doi.org/10.1007/978-3-540-73368-3_51</a>'
  chicago: 'Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable
    Software Verification: Concretizing the Convergence of Model Checking and Program
    Analysis,” 4590:504–18. Springer, 2007. <a href="https://doi.org/10.1007/978-3-540-73368-3_51">https://doi.org/10.1007/978-3-540-73368-3_51</a>.'
  ieee: 'D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification:
    Concretizing the convergence of model checking and program analysis,” presented
    at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.'
  ista: 'Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification:
    Concretizing the convergence of model checking and program analysis. CAV: Computer
    Aided Verification, LNCS, vol. 4590, 504–518.'
  mla: 'Beyer, Dirk, et al. <i>Configurable Software Verification: Concretizing the
    Convergence of Model Checking and Program Analysis</i>. Vol. 4590, Springer, 2007,
    pp. 504–18, doi:<a href="https://doi.org/10.1007/978-3-540-73368-3_51">10.1007/978-3-540-73368-3_51</a>.'
  short: D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
conference:
  name: 'CAV: Computer Aided Verification'
date_created: 2018-12-11T12:09:33Z
date_published: 2007-07-02T00:00:00Z
date_updated: 2021-01-12T07:59:48Z
day: '02'
doi: 10.1007/978-3-540-73368-3_51
extern: 1
intvolume: '      4590'
month: '07'
page: 504 - 518
publication_status: published
publisher: Springer
publist_id: '135'
quality_controlled: 0
status: public
title: 'Configurable software verification: Concretizing the convergence of model
  checking and program analysis'
type: conference
volume: 4590
year: '2007'
...
---
_id: '4575'
abstract:
- lang: eng
  text: 'We present a case study to illustrate our formalism for the specification
    and verification of the method-invocation behavior of web-service applications
    constructed from asynchronously interacting multi-threaded distributed components.
    Our model is expressive enough to allow the representation of recursion and dynamic
    thread creation, and yet permits the algorithmic analysis of the following two
    questions: (1) Does a given service satisfy a safety specification? (2) Can a
    given service be substituted by a another service in an arbitrary context? Our
    case study is based on the Amazon.com E-Commerce Services (ECS) platform.'
acknowledgement: This research was supported in part by the NSF grant CCR-0225610
  and by the Swiss National Science Foundation.
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Arindam
  full_name: Chakrabarti, Arindam
  last_name: Chakrabarti
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Sanjit
  full_name: Seshia, Sanjit A
  last_name: Seshia
citation:
  ama: 'Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service
    interfaces. In: IEEE; 2007:831-838. doi:<a href="https://doi.org/10.1109/ICWS.2007.32
    ">10.1109/ICWS.2007.32 </a>'
  apa: 'Beyer, D., Chakrabarti, A., Henzinger, T. A., &#38; Seshia, S. (2007). An
    application of web-service interfaces (pp. 831–838). Presented at the ICWS: International
    Conference on Web Service, IEEE. <a href="https://doi.org/10.1109/ICWS.2007.32
    ">https://doi.org/10.1109/ICWS.2007.32 </a>'
  chicago: Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia.
    “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. <a href="https://doi.org/10.1109/ICWS.2007.32
    ">https://doi.org/10.1109/ICWS.2007.32 </a>.
  ieee: 'D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application
    of web-service interfaces,” presented at the ICWS: International Conference on
    Web Service, 2007, pp. 831–838.'
  ista: 'Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service
    interfaces. ICWS: International Conference on Web Service, 831–838.'
  mla: Beyer, Dirk, et al. <i>An Application of Web-Service Interfaces</i>. IEEE,
    2007, pp. 831–38, doi:<a href="https://doi.org/10.1109/ICWS.2007.32 ">10.1109/ICWS.2007.32
    </a>.
  short: D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp.
    831–838.
conference:
  name: 'ICWS: International Conference on Web Service'
date_created: 2018-12-11T12:09:33Z
date_published: 2007-07-30T00:00:00Z
date_updated: 2021-01-12T07:59:49Z
day: '30'
doi: '10.1109/ICWS.2007.32 '
extern: 1
month: '07'
page: 831 - 838
publication_status: published
publisher: IEEE
publist_id: '134'
quality_controlled: 0
status: public
title: An application of web-service interfaces
type: conference
year: '2007'
...
---
_id: '4626'
abstract:
- lang: eng
  text: 'We consider concurrent two-player games with reachability objectives. In
    such games, at each round, player 1 and player 2 independently and simultaneously
    choose moves, and the two choices determine the next state of the game. The objective
    of player 1 is to reach a set of target states; the objective of player 2 is to
    prevent this. These are zero-sum games, and the reachability objective is one
    of the most basic objectives: determining the set of states from which player
    1 can win the game is a fundamental problem in control theory and system verification.
    There are three types of winning states, according to the degree of certainty
    with which player 1 can reach the target. From type-1 states, player 1 has a deterministic
    strategy to always reach the target. From type-2 states, player 1 has a randomized
    strategy to reach the target with probability 1. From type-3 states, player 1
    has for every real ε&gt;0 a randomized strategy to reach the target with probability
    greater than 1−ε. We show that for finite state spaces, all three sets of winning
    states can be computed in polynomial time: type-1 states in linear time, and type-2
    and type-3 states in quadratic time. The algorithms to compute the three sets
    of winning states also enable the construction of the winning and spoiling strategies.'
author:
- first_name: Luca
  full_name: de Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Orna
  full_name: Kupferman, Orna
  last_name: Kupferman
citation:
  ama: De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. <i>Theoretical
    Computer Science</i>. 2007;386(3):188-217. doi:<a href="https://doi.org/10.1016/j.tcs.2007.07.008">10.1016/j.tcs.2007.07.008</a>
  apa: De Alfaro, L., Henzinger, T. A., &#38; Kupferman, O. (2007). Concurrent reachability
    games. <i>Theoretical Computer Science</i>. Elsevier. <a href="https://doi.org/10.1016/j.tcs.2007.07.008">https://doi.org/10.1016/j.tcs.2007.07.008</a>
  chicago: De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability
    Games.” <i>Theoretical Computer Science</i>. Elsevier, 2007. <a href="https://doi.org/10.1016/j.tcs.2007.07.008">https://doi.org/10.1016/j.tcs.2007.07.008</a>.
  ieee: L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability
    games,” <i>Theoretical Computer Science</i>, vol. 386, no. 3. Elsevier, pp. 188–217,
    2007.
  ista: De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games.
    Theoretical Computer Science. 386(3), 188–217.
  mla: De Alfaro, Luca, et al. “Concurrent Reachability Games.” <i>Theoretical Computer
    Science</i>, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:<a href="https://doi.org/10.1016/j.tcs.2007.07.008">10.1016/j.tcs.2007.07.008</a>.
  short: L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science
    386 (2007) 188–217.
date_created: 2018-12-11T12:09:49Z
date_published: 2007-11-01T00:00:00Z
date_updated: 2021-01-12T08:00:37Z
day: '01'
doi: 10.1016/j.tcs.2007.07.008
extern: 1
intvolume: '       386'
issue: '3'
month: '11'
page: 188 - 217
publication: Theoretical Computer Science
publication_status: published
publisher: Elsevier
publist_id: '81'
quality_controlled: 0
status: public
title: Concurrent reachability games
type: journal_article
volume: 386
year: '2007'
...
---
_id: '582'
abstract:
- lang: eng
  text: Using the techniques of &quot;quantum weak-measurements&quot; as a coherent
    amplification mechanism for small signals, for the first time we have measured
    the recently proposed &quot;spin Hall effect&quot; of light.
alternative_title:
- Optics InfoBase Conference Papers
author:
- first_name: Onur
  full_name: Onur Hosten
  id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
  last_name: Hosten
  orcid: 0000-0002-2031-204X
- first_name: Paul
  full_name: Kwiat, Paul G
  last_name: Kwiat
citation:
  ama: 'Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak
    measurements. In: OSA; 2007. doi:<a href="https://doi.org/10.1364/FIO.2007.JTuA4">10.1364/FIO.2007.JTuA4</a>'
  apa: 'Hosten, O., &#38; Kwiat, P. (2007). Observing the spin hall effect of light
    via quantum weak measurements. Presented at the OMD: Organic Materials and Devices
    for Displays and Energy Conversion, OSA. <a href="https://doi.org/10.1364/FIO.2007.JTuA4">https://doi.org/10.1364/FIO.2007.JTuA4</a>'
  chicago: Hosten, Onur, and Paul Kwiat. “Observing the Spin Hall Effect of Light
    via Quantum Weak Measurements.” OSA, 2007. <a href="https://doi.org/10.1364/FIO.2007.JTuA4">https://doi.org/10.1364/FIO.2007.JTuA4</a>.
  ieee: 'O. Hosten and P. Kwiat, “Observing the spin hall effect of light via quantum
    weak measurements,” presented at the OMD: Organic Materials and Devices for Displays
    and Energy Conversion, 2007.'
  ista: 'Hosten O, Kwiat P. 2007. Observing the spin hall effect of light via quantum
    weak measurements. OMD: Organic Materials and Devices for Displays and Energy
    Conversion, Optics InfoBase Conference Papers, .'
  mla: Hosten, Onur, and Paul Kwiat. <i>Observing the Spin Hall Effect of Light via
    Quantum Weak Measurements</i>. OSA, 2007, doi:<a href="https://doi.org/10.1364/FIO.2007.JTuA4">10.1364/FIO.2007.JTuA4</a>.
  short: O. Hosten, P. Kwiat, in:, OSA, 2007.
conference:
  name: 'OMD: Organic Materials and Devices for Displays and Energy Conversion'
date_created: 2018-12-11T11:47:19Z
date_published: 2007-01-01T00:00:00Z
date_updated: 2021-01-12T08:03:41Z
day: '01'
doi: 10.1364/FIO.2007.JTuA4
extern: 1
month: '01'
publication_status: published
publisher: OSA
publist_id: '7228'
quality_controlled: 0
status: public
title: Observing the spin hall effect of light via quantum weak measurements
type: conference
year: '2007'
...
---
_id: '6150'
author:
- first_name: Tina L.
  full_name: Gumienny, Tina L.
  last_name: Gumienny
- first_name: Lesley T.
  full_name: MacNeil, Lesley T.
  last_name: MacNeil
- first_name: Huang
  full_name: Wang, Huang
  last_name: Wang
- first_name: Mario
  full_name: de Bono, Mario
  id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
  last_name: de Bono
  orcid: 0000-0001-8347-0443
- first_name: Jeffrey L.
  full_name: Wrana, Jeffrey L.
  last_name: Wrana
- first_name: Richard W.
  full_name: Padgett, Richard W.
  last_name: Padgett
citation:
  ama: Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican
    LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis
    elegans. <i>Current Biology</i>. 2007;17(2):159-164. doi:<a href="https://doi.org/10.1016/j.cub.2006.11.065">10.1016/j.cub.2006.11.065</a>
  apa: Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., &#38;
    Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like
    signaling in Caenorhabditis elegans. <i>Current Biology</i>. Elsevier. <a href="https://doi.org/10.1016/j.cub.2006.11.065">https://doi.org/10.1016/j.cub.2006.11.065</a>
  chicago: Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey
    L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator
    of BMP-like Signaling in Caenorhabditis Elegans.” <i>Current Biology</i>. Elsevier,
    2007. <a href="https://doi.org/10.1016/j.cub.2006.11.065">https://doi.org/10.1016/j.cub.2006.11.065</a>.
  ieee: T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W.
    Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling
    in Caenorhabditis elegans,” <i>Current Biology</i>, vol. 17, no. 2. Elsevier,
    pp. 159–164, 2007.
  ista: Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican
    LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis
    elegans. Current Biology. 17(2), 159–164.
  mla: Gumienny, Tina L., et al. “Glypican LON-2 Is a Conserved Negative Regulator
    of BMP-like Signaling in Caenorhabditis Elegans.” <i>Current Biology</i>, vol.
    17, no. 2, Elsevier, 2007, pp. 159–64, doi:<a href="https://doi.org/10.1016/j.cub.2006.11.065">10.1016/j.cub.2006.11.065</a>.
  short: T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett,
    Current Biology 17 (2007) 159–164.
date_created: 2019-03-21T08:44:44Z
date_published: 2007-01-23T00:00:00Z
date_updated: 2021-01-12T08:06:22Z
day: '23'
doi: 10.1016/j.cub.2006.11.065
extern: '1'
external_id:
  pmid:
  - '17240342'
intvolume: '        17'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 159-164
pmid: 1
publication: Current Biology
publication_identifier:
  issn:
  - 0960-9822
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis
  elegans
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 17
year: '2007'
...
---
_id: '6321'
abstract:
- lang: eng
  text: These lecture notes describe the current state of affairs for Manin's conjecture
    in the context of del Pezzo surfaces.
article_number: '0704.1217'
article_processing_charge: No
arxiv: 1
author:
- 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: Browning TD. The Manin conjecture in dimension 2. <i>arXiv</i>.
  apa: Browning, T. D. (n.d.). The Manin conjecture in dimension 2. <i>arXiv</i>.
  chicago: Browning, Timothy D. “The Manin Conjecture in Dimension 2.” <i>ArXiv</i>,
    n.d.
  ieee: T. D. Browning, “The Manin conjecture in dimension 2,” <i>arXiv</i>. .
  ista: Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.
  mla: Browning, Timothy D. “The Manin Conjecture in Dimension 2.” <i>ArXiv</i>, 0704.1217.
  short: T.D. Browning, ArXiv (n.d.).
date_created: 2019-04-16T14:17:50Z
date_published: 2007-04-10T00:00:00Z
date_updated: 2021-01-12T08:07:04Z
day: '10'
extern: '1'
external_id:
  arxiv:
  - '0704.1217'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/0704.1217
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: The Manin conjecture in dimension 2
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2007'
...
---
_id: '6323'
abstract:
- lang: eng
  text: This paper surveys recent progress towards the Manin conjecture for (singular
    and non-singular) del Pezzo surfaces. To illustrate some of the techniques available,
    an upper bound of the expected order of magnitude is established for a singular
    del Pezzo surface of degree four.
alternative_title:
- Clay Mathemetics Proceedings
arxiv: 1
author:
- 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: 'Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In:
    <i>A Tribute to Gauss and Dirichlet</i>. Vol 7. Analytic Number Theory. American
    Mathematical Society; 2007:39-56.'
  apa: Browning, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces.
    In <i>A Tribute to Gauss and Dirichlet</i> (Vol. 7, pp. 39–56). American Mathematical
    Society.
  chicago: Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.”
    In <i>A Tribute to Gauss and Dirichlet</i>, 7:39–56. Analytic Number Theory. American
    Mathematical Society, 2007.
  ieee: T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,”
    in <i>A Tribute to Gauss and Dirichlet</i>, vol. 7, American Mathematical Society,
    2007, pp. 39–56.
  ista: 'Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces.
    In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.'
  mla: Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.”
    <i>A Tribute to Gauss and Dirichlet</i>, vol. 7, American Mathematical Society,
    2007, pp. 39–56.
  short: T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical
    Society, 2007, pp. 39–56.
date_created: 2019-04-16T14:26:12Z
date_published: 2007-01-01T00:00:00Z
date_updated: 2021-01-12T08:07:05Z
extern: '1'
external_id:
  arxiv:
  - 0511041v2
intvolume: '         7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/math/0511041v2
oa: 1
oa_version: Preprint
page: 39-56
publication: A Tribute to Gauss and Dirichlet
publication_status: published
publisher: American Mathematical Society
quality_controlled: '1'
series_title: Analytic Number Theory
status: public
title: An overview of Manin's conjecture for del Pezzo surfaces
type: book_chapter
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2007'
...
---
_id: '13424'
abstract:
- lang: eng
  text: 'Changing shapes: Metastable spherical aggregates of gold nanoparticles undergo
    a one-to-one, thermally induced transformation into heterodimers comprising connected
    plate and spherical domains. By controlling the reaction time, it is possible
    to isolate a variety of structures differing in the relative sizes of the domains
    and in the overall optical properties (see picture).'
article_processing_charge: No
article_type: original
author:
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
- first_name: Anatoliy O.
  full_name: Pinchuk, Anatoliy O.
  last_name: Pinchuk
- first_name: George C.
  full_name: Schatz, George C.
  last_name: Schatz
- first_name: Bartosz A.
  full_name: Grzybowski, Bartosz A.
  last_name: Grzybowski
citation:
  ama: Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. Synthesis of heterodimeric sphere–prism
    nanostructures via metastable gold supraspheres. <i>Angewandte Chemie International
    Edition</i>. 2007;46(44):8363-8367. doi:<a href="https://doi.org/10.1002/anie.200702570">10.1002/anie.200702570</a>
  apa: Klajn, R., Pinchuk, A. O., Schatz, G. C., &#38; Grzybowski, B. A. (2007). Synthesis
    of heterodimeric sphere–prism nanostructures via metastable gold supraspheres.
    <i>Angewandte Chemie International Edition</i>. Wiley. <a href="https://doi.org/10.1002/anie.200702570">https://doi.org/10.1002/anie.200702570</a>
  chicago: Klajn, Rafal, Anatoliy O. Pinchuk, George C. Schatz, and Bartosz A. Grzybowski.
    “Synthesis of Heterodimeric Sphere–Prism Nanostructures via Metastable Gold Supraspheres.”
    <i>Angewandte Chemie International Edition</i>. Wiley, 2007. <a href="https://doi.org/10.1002/anie.200702570">https://doi.org/10.1002/anie.200702570</a>.
  ieee: R. Klajn, A. O. Pinchuk, G. C. Schatz, and B. A. Grzybowski, “Synthesis of
    heterodimeric sphere–prism nanostructures via metastable gold supraspheres,” <i>Angewandte
    Chemie International Edition</i>, vol. 46, no. 44. Wiley, pp. 8363–8367, 2007.
  ista: Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. 2007. Synthesis of heterodimeric
    sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie
    International Edition. 46(44), 8363–8367.
  mla: Klajn, Rafal, et al. “Synthesis of Heterodimeric Sphere–Prism Nanostructures
    via Metastable Gold Supraspheres.” <i>Angewandte Chemie International Edition</i>,
    vol. 46, no. 44, Wiley, 2007, pp. 8363–67, doi:<a href="https://doi.org/10.1002/anie.200702570">10.1002/anie.200702570</a>.
  short: R. Klajn, A.O. Pinchuk, G.C. Schatz, B.A. Grzybowski, Angewandte Chemie International
    Edition 46 (2007) 8363–8367.
date_created: 2023-08-01T10:31:08Z
date_published: 2007-11-12T00:00:00Z
date_updated: 2023-08-08T11:17:57Z
day: '12'
doi: 10.1002/anie.200702570
extern: '1'
external_id:
  pmid:
  - '17902083'
intvolume: '        46'
issue: '44'
keyword:
- General Chemistry
- Catalysis
language:
- iso: eng
month: '11'
oa_version: None
page: 8363-8367
pmid: 1
publication: Angewandte Chemie International Edition
publication_identifier:
  eissn:
  - 1521-3773
  issn:
  - 1433-7851
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synthesis of heterodimeric sphere–prism nanostructures via metastable gold
  supraspheres
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 46
year: '2007'
...
---
_id: '13425'
abstract:
- lang: eng
  text: Nanoparticles (NPs) decorated with ligands combining photoswitchable dipoles
    and covalent cross-linkers can be assembled by light into organized, three-dimensional
    suprastructures of various types and sizes. NPs covered with only few photoactive
    ligands form metastable crystals that can be assembled and disassembled “on demand”
    by using light of different wavelengths. For higher surface concentrations, self-assembly
    is irreversible, and the NPs organize into permanently cross-linked structures
    including robust supracrystals and plastic spherical aggregates.
article_processing_charge: No
article_type: original
author:
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
- first_name: Kyle J. M.
  full_name: Bishop, Kyle J. M.
  last_name: Bishop
- first_name: Bartosz A.
  full_name: Grzybowski, Bartosz A.
  last_name: Grzybowski
citation:
  ama: Klajn R, Bishop KJM, Grzybowski BA. Light-controlled self-assembly of reversible
    and irreversible nanoparticle suprastructures. <i>Proceedings of the National
    Academy of Sciences</i>. 2007;104(25):10305-10309. doi:<a href="https://doi.org/10.1073/pnas.0611371104">10.1073/pnas.0611371104</a>
  apa: Klajn, R., Bishop, K. J. M., &#38; Grzybowski, B. A. (2007). Light-controlled
    self-assembly of reversible and irreversible nanoparticle suprastructures. <i>Proceedings
    of the National Academy of Sciences</i>. Proceedings of the National Academy of
    Sciences. <a href="https://doi.org/10.1073/pnas.0611371104">https://doi.org/10.1073/pnas.0611371104</a>
  chicago: Klajn, Rafal, Kyle J. M. Bishop, and Bartosz A. Grzybowski. “Light-Controlled
    Self-Assembly of Reversible and Irreversible Nanoparticle Suprastructures.” <i>Proceedings
    of the National Academy of Sciences</i>. Proceedings of the National Academy of
    Sciences, 2007. <a href="https://doi.org/10.1073/pnas.0611371104">https://doi.org/10.1073/pnas.0611371104</a>.
  ieee: R. Klajn, K. J. M. Bishop, and B. A. Grzybowski, “Light-controlled self-assembly
    of reversible and irreversible nanoparticle suprastructures,” <i>Proceedings of
    the National Academy of Sciences</i>, vol. 104, no. 25. Proceedings of the National
    Academy of Sciences, pp. 10305–10309, 2007.
  ista: Klajn R, Bishop KJM, Grzybowski BA. 2007. Light-controlled self-assembly of
    reversible and irreversible nanoparticle suprastructures. Proceedings of the National
    Academy of Sciences. 104(25), 10305–10309.
  mla: Klajn, Rafal, et al. “Light-Controlled Self-Assembly of Reversible and Irreversible
    Nanoparticle Suprastructures.” <i>Proceedings of the National Academy of Sciences</i>,
    vol. 104, no. 25, Proceedings of the National Academy of Sciences, 2007, pp. 10305–09,
    doi:<a href="https://doi.org/10.1073/pnas.0611371104">10.1073/pnas.0611371104</a>.
  short: R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy
    of Sciences 104 (2007) 10305–10309.
date_created: 2023-08-01T10:31:19Z
date_published: 2007-06-19T00:00:00Z
date_updated: 2023-08-08T11:24:51Z
day: '19'
doi: 10.1073/pnas.0611371104
extern: '1'
external_id:
  pmid:
  - '17563381'
intvolume: '       104'
issue: '25'
keyword:
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1073/pnas.0611371104
month: '06'
oa: 1
oa_version: Published Version
page: 10305-10309
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
  eissn:
  - 1091-6490
  issn:
  - 0027-8424
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: Light-controlled self-assembly of reversible and irreversible nanoparticle
  suprastructures
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 104
year: '2007'
...
---
_id: '13426'
abstract:
- lang: eng
  text: Photoswelling of thin films of dichromated gelatin provides a basis for fabrication
    of multilevel surface reliefs via sequential UV illumination through different
    photomasks. The remarkable feature of this simple, benchtop technique is that
    by adjusting irradiation times, film thickness, or its hydration state the heights
    of the developed features can be varied from few nanometers to tens of microns.
    After UV exposure, the surface structures can be replicated faithfully into either
    soft or hard PDMS stamps.
article_processing_charge: No
article_type: original
author:
- first_name: Maciej
  full_name: Paszewski, Maciej
  last_name: Paszewski
- first_name: Stoyan K.
  full_name: Smoukov, Stoyan K.
  last_name: Smoukov
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
- first_name: Bartosz A.
  full_name: Grzybowski, Bartosz A.
  last_name: Grzybowski
citation:
  ama: Paszewski M, Smoukov SK, Klajn R, Grzybowski BA. Multilevel surface nano- and
    microstructuring via sequential photoswelling of dichromated gelatin. <i>Langmuir</i>.
    2007;23(10):5419-5422. doi:<a href="https://doi.org/10.1021/la062982c">10.1021/la062982c</a>
  apa: Paszewski, M., Smoukov, S. K., Klajn, R., &#38; Grzybowski, B. A. (2007). Multilevel
    surface nano- and microstructuring via sequential photoswelling of dichromated
    gelatin. <i>Langmuir</i>. American Chemical Society. <a href="https://doi.org/10.1021/la062982c">https://doi.org/10.1021/la062982c</a>
  chicago: Paszewski, Maciej, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski.
    “Multilevel Surface Nano- and Microstructuring via Sequential Photoswelling of
    Dichromated Gelatin.” <i>Langmuir</i>. American Chemical Society, 2007. <a href="https://doi.org/10.1021/la062982c">https://doi.org/10.1021/la062982c</a>.
  ieee: M. Paszewski, S. K. Smoukov, R. Klajn, and B. A. Grzybowski, “Multilevel surface
    nano- and microstructuring via sequential photoswelling of dichromated gelatin,”
    <i>Langmuir</i>, vol. 23, no. 10. American Chemical Society, pp. 5419–5422, 2007.
  ista: Paszewski M, Smoukov SK, Klajn R, Grzybowski BA. 2007. Multilevel surface
    nano- and microstructuring via sequential photoswelling of dichromated gelatin.
    Langmuir. 23(10), 5419–5422.
  mla: Paszewski, Maciej, et al. “Multilevel Surface Nano- and Microstructuring via
    Sequential Photoswelling of Dichromated Gelatin.” <i>Langmuir</i>, vol. 23, no.
    10, American Chemical Society, 2007, pp. 5419–22, doi:<a href="https://doi.org/10.1021/la062982c">10.1021/la062982c</a>.
  short: M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007)
    5419–5422.
date_created: 2023-08-01T10:31:33Z
date_published: 2007-04-11T00:00:00Z
date_updated: 2023-08-08T11:26:24Z
day: '11'
doi: 10.1021/la062982c
extern: '1'
external_id:
  pmid:
  - '17425340'
intvolume: '        23'
issue: '10'
keyword:
- Electrochemistry
- Spectroscopy
- Surfaces and Interfaces
- Condensed Matter Physics
- General Materials Science
language:
- iso: eng
month: '04'
oa_version: None
page: 5419-5422
pmid: 1
publication: Langmuir
publication_identifier:
  eissn:
  - 1520-5827
  issn:
  - 0743-7463
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Multilevel surface nano- and microstructuring via sequential photoswelling
  of dichromated gelatin
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2007'
...
---
_id: '13427'
abstract:
- lang: eng
  text: Deformable, spherical aggregates of metal nanoparticles connected by long-chain
    dithiol ligands self-assemble into nanostructured materials of macroscopic dimensions.
    These materials are plastic and moldable against arbitrarily shaped masters and
    can be thermally hardened into polycrystalline metal structures of controllable
    porosity. In addition, in both plastic and hardened states, the assemblies are
    electrically conductive and exhibit Ohmic characteristics down to ∼20 volts per
    meter. The self-assembly method leading to such materials is applicable both to
    pure metals and to bimetallic structures of various elemental compositions.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
- first_name: Kyle J. M.
  full_name: Bishop, Kyle J. M.
  last_name: Bishop
- first_name: Marcin
  full_name: Fialkowski, Marcin
  last_name: Fialkowski
- first_name: Maciej
  full_name: Paszewski, Maciej
  last_name: Paszewski
- first_name: Christopher J.
  full_name: Campbell, Christopher J.
  last_name: Campbell
- first_name: Timothy P.
  full_name: Gray, Timothy P.
  last_name: Gray
- first_name: Bartosz A.
  full_name: Grzybowski, Bartosz A.
  last_name: Grzybowski
citation:
  ama: Klajn R, Bishop KJM, Fialkowski M, et al. Plastic and moldable metals by self-assembly
    of sticky nanoparticle aggregates. <i>Science</i>. 2007;316(5822):261-264. doi:<a
    href="https://doi.org/10.1126/science.1139131">10.1126/science.1139131</a>
  apa: Klajn, R., Bishop, K. J. M., Fialkowski, M., Paszewski, M., Campbell, C. J.,
    Gray, T. P., &#38; Grzybowski, B. A. (2007). Plastic and moldable metals by self-assembly
    of sticky nanoparticle aggregates. <i>Science</i>. American Association for the
    Advancement of Science. <a href="https://doi.org/10.1126/science.1139131">https://doi.org/10.1126/science.1139131</a>
  chicago: Klajn, Rafal, Kyle J. M. Bishop, Marcin Fialkowski, Maciej Paszewski, Christopher
    J. Campbell, Timothy P. Gray, and Bartosz A. Grzybowski. “Plastic and Moldable
    Metals by Self-Assembly of Sticky Nanoparticle Aggregates.” <i>Science</i>. American
    Association for the Advancement of Science, 2007. <a href="https://doi.org/10.1126/science.1139131">https://doi.org/10.1126/science.1139131</a>.
  ieee: R. Klajn <i>et al.</i>, “Plastic and moldable metals by self-assembly of sticky
    nanoparticle aggregates,” <i>Science</i>, vol. 316, no. 5822. American Association
    for the Advancement of Science, pp. 261–264, 2007.
  ista: Klajn R, Bishop KJM, Fialkowski M, Paszewski M, Campbell CJ, Gray TP, Grzybowski
    BA. 2007. Plastic and moldable metals by self-assembly of sticky nanoparticle
    aggregates. Science. 316(5822), 261–264.
  mla: Klajn, Rafal, et al. “Plastic and Moldable Metals by Self-Assembly of Sticky
    Nanoparticle Aggregates.” <i>Science</i>, vol. 316, no. 5822, American Association
    for the Advancement of Science, 2007, pp. 261–64, doi:<a href="https://doi.org/10.1126/science.1139131">10.1126/science.1139131</a>.
  short: R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P.
    Gray, B.A. Grzybowski, Science 316 (2007) 261–264.
date_created: 2023-08-01T10:36:08Z
date_published: 2007-04-13T00:00:00Z
date_updated: 2023-08-08T11:28:29Z
day: '13'
doi: 10.1126/science.1139131
extern: '1'
external_id:
  pmid:
  - '17431176'
intvolume: '       316'
issue: '5822'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '04'
oa_version: None
page: 261-264
pmid: 1
publication: Science
publication_identifier:
  eissn:
  - 1095-9203
  issn:
  - 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 316
year: '2007'
...
---
_id: '904'
abstract:
- lang: eng
  text: 'Background: Independently evolving lineages mostly accumulate different changes,
    which leads to their gradual divergence. However, parallel accumulation of identical
    changes is also common, especially in traits with only a small number of possible
    states. Results: We characterize parallelism in evolution of coding sequences
    in three four-species sets of genomes of mammals, Drosophila, and yeasts. Each
    such set contains two independent evolutionary paths, which we call paths I and
    II. An amino acid replacement which occurred along path I also occurs along path
    II with the probability 50-8211;80% of that expected under selective neutrality.
    Thus, the per site rate of parallel evolution of proteins is several times higher
    than their average rate of evolution, but still lower than the rate of evolution
    of neutral sequences. This deficit may be caused by changes in the fitness landscape,
    leading to a replacement being possible along path I but not along path II. However,
    constant, weak selection assumed by the nearly neutral model of evolution appears
    to be a more likely explanation. Then, the average coefficient of selection associated
    with an amino acid replacement, in the units of the effective population size,
    must exceed ∼0.4, and the fraction of effectively neutral replacements must be
    below ∼30%. At a majority of evolvable amino acid sites, only a relatively small
    number of different amino acids is permitted. Conclusion: High, but below-neutral,
    rates of parallel amino acid replacements suggest that a majority of amino acid
    replacements that occur in evolution are subject to weak, but non-trivial, selection,
    as predicted by Ohta''s nearly-neutral theory.'
acknowledgement: G.A.B. gratefully acknowledges fellowships from the Pew Charitable
  Trusts award 2000-002558 and the Burroughs Wellcome Fund award 1001782, both to
  Princeton University. F.A.K. is a National Science Foundation Graduate Fellow. M.B.'s
  work is partially supported by the NSERC Discovery grant. I.D. and A.P. were partially
  supported by grant HL066681 (L.A.P., I.D. and S.M.), Berkeley-PGA, under the Programs
  for Genomic Applications, funded by National Heart, Lung, & Blood Institute and
  Department of Energy Contract DE-AC02-05CH11231, University of California. This
  work was partially supported through the Molecular and Cellular Biology Program
  of the Russian Academy of Sciences.
author:
- first_name: Georgii
  full_name: Bazykin, Georgii A
  last_name: Bazykin
- first_name: Fyodor
  full_name: Fyodor Kondrashov
  id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
  last_name: Kondrashov
  orcid: 0000-0001-8243-4694
- first_name: Michael
  full_name: Brudno, Michael
  last_name: Brudno
- first_name: Alexander
  full_name: Poliakov, Alexander V
  last_name: Poliakov
- first_name: Inna
  full_name: Dubchak, Inna L
  last_name: Dubchak
- first_name: Alexey
  full_name: Kondrashov, Alexey S
  last_name: Kondrashov
citation:
  ama: Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. Extensive
    parallelism in protein evolution. <i>Biology Direct</i>. 2007;2. doi:<a href="https://doi.org/10.1186/1745-6150-2-20">10.1186/1745-6150-2-20</a>
  apa: Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., &#38; Kondrashov,
    A. (2007). Extensive parallelism in protein evolution. <i>Biology Direct</i>.
    BioMed Central. <a href="https://doi.org/10.1186/1745-6150-2-20">https://doi.org/10.1186/1745-6150-2-20</a>
  chicago: Bazykin, Georgii, Fyodor Kondrashov, Michael Brudno, Alexander Poliakov,
    Inna Dubchak, and Alexey Kondrashov. “Extensive Parallelism in Protein Evolution.”
    <i>Biology Direct</i>. BioMed Central, 2007. <a href="https://doi.org/10.1186/1745-6150-2-20">https://doi.org/10.1186/1745-6150-2-20</a>.
  ieee: G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, and A. Kondrashov,
    “Extensive parallelism in protein evolution,” <i>Biology Direct</i>, vol. 2. BioMed
    Central, 2007.
  ista: Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. 2007.
    Extensive parallelism in protein evolution. Biology Direct. 2.
  mla: Bazykin, Georgii, et al. “Extensive Parallelism in Protein Evolution.” <i>Biology
    Direct</i>, vol. 2, BioMed Central, 2007, doi:<a href="https://doi.org/10.1186/1745-6150-2-20">10.1186/1745-6150-2-20</a>.
  short: G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov,
    Biology Direct 2 (2007).
date_created: 2018-12-11T11:49:07Z
date_published: 2007-08-16T00:00:00Z
date_updated: 2021-01-12T08:21:47Z
day: '16'
doi: 10.1186/1745-6150-2-20
extern: 1
intvolume: '         2'
month: '08'
publication: Biology Direct
publication_status: published
publisher: BioMed Central
publist_id: '6745'
quality_controlled: 0
status: public
title: Extensive parallelism in protein evolution
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
volume: 2
year: '2007'
...
---
_id: '9149'
abstract:
- lang: eng
  text: "The interaction of tidal currents with sea-floor topography results in the
    radiation of internal gravity waves into the ocean interior. These waves are called
    internal tides and their dissipation due to nonlinear wave breaking and concomitant
    three-dimensional turbulence could play an important role in the mixing of the
    abyssal ocean, and hence in controlling the large-scale ocean circulation.\r\nAs
    part of on-going work aimed at providing a theory for the vertical distribution
    of wave breaking over sea-floor topography, in this paper we investigate the instability
    of internal tides in a very simple linear model that helps us to relate the formation
    of unstable regions to simple features in the sea-floor topography. For two-dimensional
    tides over one-dimensional topography we find that the formation of overturning
    instabilities is closely linked to the singularities in the topography shape and
    that it is possible to have stable waves at the sea floor and unstable waves in
    the ocean interior above.\r\nFor three-dimensional tides over two-dimensional
    topography there is in addition an effect of geometric focusing of wave energy
    into localized regions of high wave amplitude, and we investigate this focusing
    effect in simple examples. Overall, we find that the distribution of unstable
    wave breaking regions can be highly non-uniform even for very simple idealized
    topography shapes."
article_processing_charge: No
article_type: original
author:
- first_name: Oliver
  full_name: Bühler, Oliver
  last_name: Bühler
- first_name: Caroline J
  full_name: Muller, Caroline J
  id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
  last_name: Muller
  orcid: 0000-0001-5836-5350
citation:
  ama: Bühler O, Muller CJ. Instability and focusing of internal tides in the deep
    ocean. <i>Journal of Fluid Mechanics</i>. 2007;588:1-28. doi:<a href="https://doi.org/10.1017/s0022112007007410">10.1017/s0022112007007410</a>
  apa: Bühler, O., &#38; Muller, C. J. (2007). Instability and focusing of internal
    tides in the deep ocean. <i>Journal of Fluid Mechanics</i>. Cambridge University
    Press. <a href="https://doi.org/10.1017/s0022112007007410">https://doi.org/10.1017/s0022112007007410</a>
  chicago: Bühler, Oliver, and Caroline J Muller. “Instability and Focusing of Internal
    Tides in the Deep Ocean.” <i>Journal of Fluid Mechanics</i>. Cambridge University
    Press, 2007. <a href="https://doi.org/10.1017/s0022112007007410">https://doi.org/10.1017/s0022112007007410</a>.
  ieee: O. Bühler and C. J. Muller, “Instability and focusing of internal tides in
    the deep ocean,” <i>Journal of Fluid Mechanics</i>, vol. 588. Cambridge University
    Press, pp. 1–28, 2007.
  ista: Bühler O, Muller CJ. 2007. Instability and focusing of internal tides in the
    deep ocean. Journal of Fluid Mechanics. 588, 1–28.
  mla: Bühler, Oliver, and Caroline J. Muller. “Instability and Focusing of Internal
    Tides in the Deep Ocean.” <i>Journal of Fluid Mechanics</i>, vol. 588, Cambridge
    University Press, 2007, pp. 1–28, doi:<a href="https://doi.org/10.1017/s0022112007007410">10.1017/s0022112007007410</a>.
  short: O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
date_created: 2021-02-15T14:41:45Z
date_published: 2007-10-10T00:00:00Z
date_updated: 2022-01-24T13:43:36Z
day: '10'
doi: 10.1017/s0022112007007410
extern: '1'
intvolume: '       588'
keyword:
- mechanical engineering
- mechanics of materials
- condensed matter physics
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1017/S0022112007007410
month: '10'
oa: 1
oa_version: None
page: 1-28
publication: Journal of Fluid Mechanics
publication_identifier:
  issn:
  - 0022-1120
  - 1469-7645
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
status: public
title: Instability and focusing of internal tides in the deep ocean
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 588
year: '2007'
...
---
_id: '9487'
abstract:
- lang: eng
  text: Cytosine DNA methylation is considered to be a stable epigenetic mark, but
    active demethylation has been observed in both plants and animals. In Arabidopsis
    thaliana, DNA glycosylases of the DEMETER (DME) family remove methylcytosines
    from DNA. Demethylation by DME is necessary for genomic imprinting, and demethylation
    by a related protein, REPRESSOR OF SILENCING1, prevents gene silencing in a transgenic
    background. However, the extent and function of demethylation by DEMETER-LIKE
    (DML) proteins in WT plants is not known. Using genome-tiling microarrays, we
    mapped DNA methylation in mutant and WT plants and identified 179 loci actively
    demethylated by DML enzymes. Mutations in DML genes lead to locus-specific DNA
    hypermethylation. Reintroducing WT DML genes restores most loci to the normal
    pattern of methylation, although at some loci, hypermethylated epialleles persist.
    Of loci demethylated by DML enzymes, >80% are near or overlap genes. Genic demethylation
    by DML enzymes primarily occurs at the 5′ and 3′ ends, a pattern opposite to the
    overall distribution of WT DNA methylation. Our results show that demethylation
    by DML DNA glycosylases edits the patterns of DNA methylation within the Arabidopsis
    genome to protect genes from potentially deleterious methylation.
article_processing_charge: No
article_type: original
author:
- first_name: Jon
  full_name: Penterman, Jon
  last_name: Penterman
- first_name: Daniel
  full_name: Zilberman, Daniel
  id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
  last_name: Zilberman
  orcid: 0000-0002-0123-8649
- first_name: Jin Hoe
  full_name: Huh, Jin Hoe
  last_name: Huh
- first_name: Tracy
  full_name: Ballinger, Tracy
  last_name: Ballinger
- first_name: Steven
  full_name: Henikoff, Steven
  last_name: Henikoff
- first_name: Robert L.
  full_name: Fischer, Robert L.
  last_name: Fischer
citation:
  ama: Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA
    demethylation in the Arabidopsis genome. <i>Proceedings of the National Academy
    of Sciences</i>. 2007;104(16):6752-6757. doi:<a href="https://doi.org/10.1073/pnas.0701861104">10.1073/pnas.0701861104</a>
  apa: Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., &#38;
    Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. <i>Proceedings
    of the National Academy of Sciences</i>. National Academy of Sciences. <a href="https://doi.org/10.1073/pnas.0701861104">https://doi.org/10.1073/pnas.0701861104</a>
  chicago: Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven
    Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.”
    <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences,
    2007. <a href="https://doi.org/10.1073/pnas.0701861104">https://doi.org/10.1073/pnas.0701861104</a>.
  ieee: J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L.
    Fischer, “DNA demethylation in the Arabidopsis genome,” <i>Proceedings of the
    National Academy of Sciences</i>, vol. 104, no. 16. National Academy of Sciences,
    pp. 6752–6757, 2007.
  ista: Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. 2007.
    DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy
    of Sciences. 104(16), 6752–6757.
  mla: Penterman, Jon, et al. “DNA Demethylation in the Arabidopsis Genome.” <i>Proceedings
    of the National Academy of Sciences</i>, vol. 104, no. 16, National Academy of
    Sciences, 2007, pp. 6752–57, doi:<a href="https://doi.org/10.1073/pnas.0701861104">10.1073/pnas.0701861104</a>.
  short: J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer,
    Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
date_created: 2021-06-07T09:38:21Z
date_published: 2007-04-17T00:00:00Z
date_updated: 2021-12-14T08:55:12Z
day: '17'
department:
- _id: DaZi
doi: 10.1073/pnas.0701861104
extern: '1'
external_id:
  pmid:
  - '17409185'
intvolume: '       104'
issue: '16'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1073/pnas.0701861104
month: '04'
oa: 1
oa_version: Published Version
page: 6752-6757
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
  eissn:
  - 1091-6490
  issn:
  - 0027-8424
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: DNA demethylation in the Arabidopsis genome
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 104
year: '2007'
...
---
_id: '9504'
article_processing_charge: No
author:
- first_name: Daniel
  full_name: Zilberman, Daniel
  id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
  last_name: Zilberman
  orcid: 0000-0002-0123-8649
citation:
  ama: Zilberman D. <i>The Human Promoter Methylome</i>. Vol 39. Nature Publishing
    Group; 2007:442-443. doi:<a href="https://doi.org/10.1038/ng0407-442">10.1038/ng0407-442</a>
  apa: Zilberman, D. (2007). <i>The human promoter methylome</i>. <i>Nature Genetics</i>
    (Vol. 39, pp. 442–443). Nature Publishing Group. <a href="https://doi.org/10.1038/ng0407-442">https://doi.org/10.1038/ng0407-442</a>
  chicago: Zilberman, Daniel. <i>The Human Promoter Methylome</i>. <i>Nature Genetics</i>.
    Vol. 39. Nature Publishing Group, 2007. <a href="https://doi.org/10.1038/ng0407-442">https://doi.org/10.1038/ng0407-442</a>.
  ieee: D. Zilberman, <i>The human promoter methylome</i>, vol. 39, no. 4. Nature
    Publishing Group, 2007, pp. 442–443.
  ista: Zilberman D. 2007. The human promoter methylome, Nature Publishing Group,p.
  mla: Zilberman, Daniel. “The Human Promoter Methylome.” <i>Nature Genetics</i>,
    vol. 39, no. 4, Nature Publishing Group, 2007, pp. 442–43, doi:<a href="https://doi.org/10.1038/ng0407-442">10.1038/ng0407-442</a>.
  short: D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.
date_created: 2021-06-07T12:08:24Z
date_published: 2007-04-01T00:00:00Z
date_updated: 2021-12-14T08:55:46Z
day: '01'
department:
- _id: DaZi
doi: 10.1038/ng0407-442
extern: '1'
external_id:
  pmid:
  - '17392803'
intvolume: '        39'
issue: '4'
language:
- iso: eng
month: '04'
oa_version: None
page: 442-443
pmid: 1
publication: Nature Genetics
publication_identifier:
  eissn:
  - 1546-1718
  issn:
  - 1061-4036
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
status: public
title: The human promoter methylome
type: other_academic_publication
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 39
year: '2007'
...
---
_id: '9524'
abstract:
- lang: eng
  text: Cytosine methylation is the most common covalent modification of DNA in eukaryotes.
    DNA methylation has an important role in many aspects of biology, including development
    and disease. Methylation can be detected using bisulfite conversion, methylation-sensitive
    restriction enzymes, methyl-binding proteins and anti-methylcytosine antibodies.
    Combining these techniques with DNA microarrays and high-throughput sequencing
    has made the mapping of DNA methylation feasible on a genome-wide scale. Here
    we discuss recent developments and future directions for identifying and mapping
    methylation, in an effort to help colleagues to identify the approaches that best
    serve their research interests.
article_processing_charge: No
article_type: review
author:
- first_name: Daniel
  full_name: Zilberman, Daniel
  id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
  last_name: Zilberman
  orcid: 0000-0002-0123-8649
- first_name: Steven
  full_name: Henikoff, Steven
  last_name: Henikoff
citation:
  ama: Zilberman D, Henikoff S. Genome-wide analysis of DNA methylation patterns.
    <i>Development</i>. 2007;134(22):3959-3965. doi:<a href="https://doi.org/10.1242/dev.001131">10.1242/dev.001131</a>
  apa: Zilberman, D., &#38; Henikoff, S. (2007). Genome-wide analysis of DNA methylation
    patterns. <i>Development</i>. The Company of Biologists. <a href="https://doi.org/10.1242/dev.001131">https://doi.org/10.1242/dev.001131</a>
  chicago: Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation
    Patterns.” <i>Development</i>. The Company of Biologists, 2007. <a href="https://doi.org/10.1242/dev.001131">https://doi.org/10.1242/dev.001131</a>.
  ieee: D. Zilberman and S. Henikoff, “Genome-wide analysis of DNA methylation patterns,”
    <i>Development</i>, vol. 134, no. 22. The Company of Biologists, pp. 3959–3965,
    2007.
  ista: Zilberman D, Henikoff S. 2007. Genome-wide analysis of DNA methylation patterns.
    Development. 134(22), 3959–3965.
  mla: Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation
    Patterns.” <i>Development</i>, vol. 134, no. 22, The Company of Biologists, 2007,
    pp. 3959–65, doi:<a href="https://doi.org/10.1242/dev.001131">10.1242/dev.001131</a>.
  short: D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.
date_created: 2021-06-08T06:29:50Z
date_published: 2007-11-15T00:00:00Z
date_updated: 2021-12-14T08:57:58Z
day: '15'
department:
- _id: DaZi
doi: 10.1242/dev.001131
extern: '1'
external_id:
  pmid:
  - '17928417'
intvolume: '       134'
issue: '22'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1242/dev.001131
month: '11'
oa: 1
oa_version: Published Version
page: 3959-3965
pmid: 1
publication: Development
publication_identifier:
  eissn:
  - 1477-9129
  issn:
  - 0950-1991
publication_status: published
publisher: The Company of Biologists
quality_controlled: '1'
scopus_import: '1'
status: public
title: Genome-wide analysis of DNA methylation patterns
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 134
year: '2007'
...
---
_id: '1035'
abstract:
- lang: eng
  text: We explore the rich internal structure of Cs2 Feshbach molecules. Pure ultracold
    molecular samples are prepared in a CO2 -laser trap, and a multitude of weakly
    bound states is populated by elaborate magnetic-field ramping techniques. Our
    methods use different Feshbach resonances as input ports and various internal
    level crossings for controlled state transfer. We populate higher partial-wave
    states of up to eight units of rotational angular momentum (l -wave states). We
    investigate the molecular structure by measurements of the magnetic moments for
    various states. Avoided level crossings between different molecular states are
    characterized through the changes in magnetic moment and by a Landau-Zener tunneling
    method. Based on microwave spectroscopy, we present a precise measurement of the
    magnetic-field-dependent binding energy of the weakly bound s -wave state that
    is responsible for the large background scattering length of Cs. This state is
    of particular interest because of its quantum-halo character.
acknowledgement: The authors thank E. Tiesinga, P. Julienne, and C. Williams for providing
  invaluable theoretical input and J. Hutson and A. Simoni for helpful discussions.
  The authors acknowledge support by the Austrian Science Fund (FWF) within SFB 15
  (project part 16) and by the European Union within the Cold Molecules TMR Network
  under Contract No. HPRN-CT-2002-00290. One of the authors (M.M.) acknowledges support
  within the Ph.D. program DOC of the Austrian Academy of Sciences, and two of the
  authors (F.F., C.C.) acknowledge support within the Lise Meitner program of the
  FWF. One of the authors (S.K.) is supported by the European Community, Marie Curie
  Intra-European program.
article_processing_charge: No
author:
- first_name: Michael
  full_name: Mark, Michael
  last_name: Mark
- first_name: Francesca
  full_name: Ferlaino, Francesca
  last_name: Ferlaino
- first_name: Steven
  full_name: Knoop, Steven
  last_name: Knoop
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
- first_name: Tobias
  full_name: Kraemer, Tobias
  last_name: Kraemer
- first_name: Cheng
  full_name: Chin, Cheng
  last_name: Chin
- first_name: Hanns
  full_name: Nägerl, Hanns
  last_name: Nägerl
- first_name: Rudolf
  full_name: Grimm, Rudolf
  last_name: Grimm
citation:
  ama: Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium
    Feshbach molecules. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>.
    2007;76(4). doi:<a href="https://doi.org/10.1103/PhysRevA.76.042514">10.1103/PhysRevA.76.042514</a>
  apa: Mark, M., Ferlaino, F., Knoop, S., Danzl, J. G., Kraemer, T., Chin, C., … Grimm,
    R. (2007). Spectroscopy of ultracold trapped cesium Feshbach molecules. <i>Physical
    Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society.
    <a href="https://doi.org/10.1103/PhysRevA.76.042514">https://doi.org/10.1103/PhysRevA.76.042514</a>
  chicago: Mark, Michael, Francesca Ferlaino, Steven Knoop, Johann G Danzl, Tobias
    Kraemer, Cheng Chin, Hanns Nägerl, and Rudolf Grimm. “Spectroscopy of Ultracold
    Trapped Cesium Feshbach Molecules.” <i>Physical Review A - Atomic, Molecular,
    and Optical Physics</i>. American Physical Society, 2007. <a href="https://doi.org/10.1103/PhysRevA.76.042514">https://doi.org/10.1103/PhysRevA.76.042514</a>.
  ieee: M. Mark <i>et al.</i>, “Spectroscopy of ultracold trapped cesium Feshbach
    molecules,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>,
    vol. 76, no. 4. American Physical Society, 2007.
  ista: Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm
    R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical
    Review A - Atomic, Molecular, and Optical Physics. 76(4).
  mla: Mark, Michael, et al. “Spectroscopy of Ultracold Trapped Cesium Feshbach Molecules.”
    <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 76, no.
    4, American Physical Society, 2007, doi:<a href="https://doi.org/10.1103/PhysRevA.76.042514">10.1103/PhysRevA.76.042514</a>.
  short: M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl,
    R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
date_created: 2018-12-11T11:49:48Z
date_published: 2007-10-25T00:00:00Z
date_updated: 2021-01-12T06:47:49Z
day: '25'
doi: 10.1103/PhysRevA.76.042514
extern: '1'
intvolume: '        76'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/0706.1041
month: '10'
oa: 1
oa_version: None
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_status: published
publisher: American Physical Society
publist_id: '6354'
status: public
title: Spectroscopy of ultracold trapped cesium Feshbach molecules
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 76
year: '2007'
...
---
_id: '11884'
abstract:
- lang: eng
  text: About 20% of the world's population uses the Web, and a large majority thereof
    uses Web search engines to find information. As a result, many Web researchers
    are devoting much effort to improving the speed and capability of search technology.
article_processing_charge: No
article_type: review
author:
- first_name: Monika H
  full_name: Henzinger, Monika H
  id: 540c9bbd-f2de-11ec-812d-d04a5be85630
  last_name: Henzinger
  orcid: 0000-0002-5008-6530
citation:
  ama: Henzinger MH. Search technologies for the internet. <i>Science</i>. 2007;317(5837):468-471.
    doi:<a href="https://doi.org/10.1126/science.1126557">10.1126/science.1126557</a>
  apa: Henzinger, M. H. (2007). Search technologies for the internet. <i>Science</i>.
    American Association for the Advancement of Science. <a href="https://doi.org/10.1126/science.1126557">https://doi.org/10.1126/science.1126557</a>
  chicago: Henzinger, Monika H. “Search Technologies for the Internet.” <i>Science</i>.
    American Association for the Advancement of Science, 2007. <a href="https://doi.org/10.1126/science.1126557">https://doi.org/10.1126/science.1126557</a>.
  ieee: M. H. Henzinger, “Search technologies for the internet,” <i>Science</i>, vol.
    317, no. 5837. American Association for the Advancement of Science, pp. 468–471,
    2007.
  ista: Henzinger MH. 2007. Search technologies for the internet. Science. 317(5837),
    468–471.
  mla: Henzinger, Monika H. “Search Technologies for the Internet.” <i>Science</i>,
    vol. 317, no. 5837, American Association for the Advancement of Science, 2007,
    pp. 468–71, doi:<a href="https://doi.org/10.1126/science.1126557">10.1126/science.1126557</a>.
  short: M.H. Henzinger, Science 317 (2007) 468–471.
date_created: 2022-08-17T07:30:07Z
date_published: 2007-07-27T00:00:00Z
date_updated: 2023-02-17T14:07:49Z
day: '27'
doi: 10.1126/science.1126557
extern: '1'
external_id:
  pmid:
  - '17656714'
intvolume: '       317'
issue: '5837'
language:
- iso: eng
month: '07'
oa_version: None
page: 468-471
pmid: 1
publication: Science
publication_identifier:
  eissn:
  - 1095-9203
  issn:
  - 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Search technologies for the internet
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 317
year: '2007'
...
---
_id: '11924'
abstract:
- lang: eng
  text: 'How much can smart combinatorial algorithms improve web search engines? To
    address this question we will describe three algorithms that have had a positive
    impact on web search engines: The PageRank algorithm, algorithms for finding near-duplicate
    web pages, and algorithms for index server loadbalancing.'
article_processing_charge: No
author:
- first_name: Monika H
  full_name: Henzinger, Monika H
  id: 540c9bbd-f2de-11ec-812d-d04a5be85630
  last_name: Henzinger
  orcid: 0000-0002-5008-6530
citation:
  ama: 'Henzinger MH. Combinatorial algorithms for web search engines: three success
    stories. In: <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Society
    for Industrial &#38; Applied Mathematics; 2007:1022-1026.'
  apa: 'Henzinger, M. H. (2007). Combinatorial algorithms for web search engines:
    three success stories. In <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>
    (pp. 1022–1026). New Orleans, LA, United States: Society for Industrial &#38;
    Applied Mathematics.'
  chicago: 'Henzinger, Monika H. “Combinatorial Algorithms for Web Search Engines:
    Three Success Stories.” In <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>,
    1022–26. Society for Industrial &#38; Applied Mathematics, 2007.'
  ieee: 'M. H. Henzinger, “Combinatorial algorithms for web search engines: three
    success stories,” in <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>,
    New Orleans, LA, United States, 2007, pp. 1022–1026.'
  ista: 'Henzinger MH. 2007. Combinatorial algorithms for web search engines: three
    success stories. 18th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA:
    Symposium on Discrete Algorithms, 1022–1026.'
  mla: 'Henzinger, Monika H. “Combinatorial Algorithms for Web Search Engines: Three
    Success Stories.” <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>,
    Society for Industrial &#38; Applied Mathematics, 2007, pp. 1022–26.'
  short: M.H. Henzinger, in:, 18th Annual ACM-SIAM Symposium on Discrete Algorithms,
    Society for Industrial &#38; Applied Mathematics, 2007, pp. 1022–1026.
conference:
  end_date: 2007-01-09
  location: New Orleans, LA, United States
  name: 'SODA: Symposium on Discrete Algorithms'
  start_date: 2007-01-07
date_created: 2022-08-18T12:37:03Z
date_published: 2007-01-01T00:00:00Z
date_updated: 2023-02-17T12:06:29Z
day: '01'
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 1022-1026
publication: 18th Annual ACM-SIAM Symposium on Discrete Algorithms
publication_identifier:
  isbn:
  - '9780898716245'
publication_status: published
publisher: Society for Industrial & Applied Mathematics
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Combinatorial algorithms for web search engines: three success stories'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2007'
...