---
_id: '1736'
abstract:
- lang: eng
  text: A coding scheme called diode is compared with duobinary signalling and with
    normal binary transmission. It is shown that the diode coding suppresses the FWM
    products of a three channel DWDM system and this reduction against that achieved
    with duobinary coding is presented. The results presented show how the average
    level of the FWM products relative to the average levels of the three optical
    carriers vary over the channel spacing range. The suppression observed is about
    / dB more than that achieved with duobinary modulation and is greater for narrow
    channel spacing.
alternative_title:
- LEOS
article_processing_charge: No
author:
- first_name: Georgios
  full_name: Katsaros, Georgios
  id: 38DB5788-F248-11E8-B48F-1D18A9856A87
  last_name: Katsaros
- first_name: Phil
  full_name: Lane, Phil
  last_name: Lane
- first_name: Michelle
  full_name: Murphy, Michelle
  last_name: Murphy
citation:
  ama: 'Katsaros G, Lane P, Murphy M. Comparison of the impact of FWM on binary, duobinary
    and dicode modulation in DWDM systems. In: <i>Proceedings of the 2000 IEEE Annual
    Meeting Conference </i>. Vol 1. IEEE; 2000:27-28. doi:<a href="https://doi.org/10.1109/LEOS.2000.890656">10.1109/LEOS.2000.890656</a>'
  apa: 'Katsaros, G., Lane, P., &#38; Murphy, M. (2000). Comparison of the impact
    of FWM on binary, duobinary and dicode modulation in DWDM systems. In <i>Proceedings
    of the 2000 IEEE Annual Meeting Conference </i> (Vol. 1, pp. 27–28). Rio Grande,
    PR, USA: IEEE. <a href="https://doi.org/10.1109/LEOS.2000.890656">https://doi.org/10.1109/LEOS.2000.890656</a>'
  chicago: Katsaros, Georgios, Phil Lane, and Michelle Murphy. “Comparison of the
    Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems.” In
    <i>Proceedings of the 2000 IEEE Annual Meeting Conference </i>, 1:27–28. IEEE,
    2000. <a href="https://doi.org/10.1109/LEOS.2000.890656">https://doi.org/10.1109/LEOS.2000.890656</a>.
  ieee: G. Katsaros, P. Lane, and M. Murphy, “Comparison of the impact of FWM on binary,
    duobinary and dicode modulation in DWDM systems,” in <i>Proceedings of the 2000
    IEEE Annual Meeting Conference </i>, Rio Grande, PR, USA, 2000, vol. 1, pp. 27–28.
  ista: Katsaros G, Lane P, Murphy M. 2000. Comparison of the impact of FWM on binary,
    duobinary and dicode modulation in DWDM systems. Proceedings of the 2000 IEEE
    Annual Meeting Conference . Lasers and Electro Optics Society Annual Meeting,
    LEOS, vol. 1, 27–28.
  mla: Katsaros, Georgios, et al. “Comparison of the Impact of FWM on Binary, Duobinary
    and Dicode Modulation in DWDM Systems.” <i>Proceedings of the 2000 IEEE Annual
    Meeting Conference </i>, vol. 1, IEEE, 2000, pp. 27–28, doi:<a href="https://doi.org/10.1109/LEOS.2000.890656">10.1109/LEOS.2000.890656</a>.
  short: G. Katsaros, P. Lane, M. Murphy, in:, Proceedings of the 2000 IEEE Annual
    Meeting Conference , IEEE, 2000, pp. 27–28.
conference:
  end_date: 2000-11-16
  location: Rio Grande, PR, USA
  name: Lasers and Electro Optics Society Annual Meeting
  start_date: 2000-11-13
date_created: 2018-12-11T11:53:44Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-05-04T14:46:21Z
day: '01'
doi: 10.1109/LEOS.2000.890656
extern: '1'
intvolume: '         1'
language:
- iso: eng
month: '01'
oa_version: None
page: 27 - 28
publication: 'Proceedings of the 2000 IEEE Annual Meeting Conference '
publication_identifier:
  isbn:
  - 078035947X
publication_status: published
publisher: IEEE
publist_id: '5388'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Comparison of the impact of FWM on binary, duobinary and dicode modulation
  in DWDM systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1
year: '2000'
...
---
_id: '1957'
abstract:
- lang: eng
  text: NADH:ubiquinone oxidoreductase (complex I) is the first and largest enzyme
    of the mitochondrial respiratory chain. The low-resolution structure of the complex
    is known from electron microscopy studies. The general shape of the complex is
    in the form of an L, with one arm in the membrane and the other peripheral. We
    have purified complex I from beef heart mitochondria and reconstituted the enzyme
    into lipid bilayers. Under different conditions, several two-dimensional crystal
    forms were obtained. Crystals belonging to space groups p2221 and c12 (unit cell
    488 Å x 79 Å) were obtained at 22°C and contained only the membrane fragment of
    complex I similar to hydrophobic subcomplex Iβ but lacking the ND5 subunit. A
    crystal form with larger unit cell (534 Å x 81 Å, space group c12) produced at
    4°C contained both the peripheral and membrane arms of the enzyme, except that
    ND5 was missing. Projection maps from frozen hydrated samples were calculated
    for all crystal forms. By comparing two different c12 crystal forms, extra electron
    density in the projection map of large crystal form was assigned to the peripheral
    arm of the enzyme. One of the features of the map is a deep, channel-like, cleft
    next to peripheral arm. Comparison with available structures of the intact enzyme
    indicates that large hydrophobic subunit ND5 is situated at the distal end of
    the membrane domain. Possible locations of sub-unit ND4 and of other subunits
    in the membrane domain are proposed. Implications of our findings for the mechanism
    of proton pumping by complex I are discussed. (C) 2000 Academic Press.
acknowledgement: We thank Drs I. M. Fearnley and S. Y. Peak-Chew for performing peptide
  mass mapping. We also thank Drs R. Henderson and G. F. X. Schertler for advice on
  image processing and for valuable discussions.
article_processing_charge: No
article_type: original
author:
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
- first_name: John
  full_name: Walker, John
  last_name: Walker
citation:
  ama: Sazanov LA, Walker J. Cryo-electron crystallography of two sub-complexes of
    bovine complex I reveals the relationship between the membrane and peripheral
    arms. <i>Journal of Molecular Biology</i>. 2000;302(2):455-464. doi:<a href="https://doi.org/10.1006/jmbi.2000.4079">10.1006/jmbi.2000.4079</a>
  apa: Sazanov, L. A., &#38; Walker, J. (2000). Cryo-electron crystallography of two
    sub-complexes of bovine complex I reveals the relationship between the membrane
    and peripheral arms. <i>Journal of Molecular Biology</i>. Elsevier. <a href="https://doi.org/10.1006/jmbi.2000.4079">https://doi.org/10.1006/jmbi.2000.4079</a>
  chicago: Sazanov, Leonid A, and John Walker. “Cryo-Electron Crystallography of Two
    Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane
    and Peripheral Arms.” <i>Journal of Molecular Biology</i>. Elsevier, 2000. <a
    href="https://doi.org/10.1006/jmbi.2000.4079">https://doi.org/10.1006/jmbi.2000.4079</a>.
  ieee: L. A. Sazanov and J. Walker, “Cryo-electron crystallography of two sub-complexes
    of bovine complex I reveals the relationship between the membrane and peripheral
    arms,” <i>Journal of Molecular Biology</i>, vol. 302, no. 2. Elsevier, pp. 455–464,
    2000.
  ista: Sazanov LA, Walker J. 2000. Cryo-electron crystallography of two sub-complexes
    of bovine complex I reveals the relationship between the membrane and peripheral
    arms. Journal of Molecular Biology. 302(2), 455–464.
  mla: Sazanov, Leonid A., and John Walker. “Cryo-Electron Crystallography of Two
    Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane
    and Peripheral Arms.” <i>Journal of Molecular Biology</i>, vol. 302, no. 2, Elsevier,
    2000, pp. 455–64, doi:<a href="https://doi.org/10.1006/jmbi.2000.4079">10.1006/jmbi.2000.4079</a>.
  short: L.A. Sazanov, J. Walker, Journal of Molecular Biology 302 (2000) 455–464.
date_created: 2018-12-11T11:54:55Z
date_published: 2000-09-15T00:00:00Z
date_updated: 2023-05-04T13:23:03Z
day: '15'
doi: 10.1006/jmbi.2000.4079
extern: '1'
external_id:
  pmid:
  - '10970745'
intvolume: '       302'
issue: '2'
language:
- iso: eng
month: '09'
oa_version: None
page: 455 - 464
pmid: 1
publication: Journal of Molecular Biology
publication_identifier:
  issn:
  - 0022-2836
publication_status: published
publisher: Elsevier
publist_id: '5126'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cryo-electron crystallography of two sub-complexes of bovine complex I reveals
  the relationship between the membrane and peripheral arms
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 302
year: '2000'
...
---
_id: '1958'
abstract:
- lang: eng
  text: "\r\nComplex I (NADH:ubiquinone oxidoreductase) purified from bovine heart
    mitochondria was treated with the detergent N,N-dimethyldodecylamine N-oxide (LDAO).
    The enzyme dissociated into two known subcomplexes, Iα and Iβ, containing mostly
    hydrophilic and hydrophobic subunits, and a previously undetected fragment referred
    to as Iγ. Subcomplex Iγ contains the hydrophobic subunits ND1, ND2, ND3, and ND4L
    which are encoded in the mitochondrial genome, and the nuclear-encoded subunit
    KFYL. During size- exclusion chromatography in the presence of LDAO, subcomplex
    Iα lost several subunits and formed another characterized subcomplex known as
    Iλ. Similarly, subcomplex Iβ dissociated into two smaller subcomplexes, one of
    which contains the hydrophobic subunits ND4 and ND5; subcomplex Iγ released a
    fragment containing ND1 and ND2. These results suggest that in the intact complex
    subunits ND1 and ND2 are likely to be in a different region of the membrane domain
    than subunits ND4 and ND5. The compositions of the various subcomplexes and fragments
    of complex I provide an organization of the subunits of the enzyme in the framework
    of the known low resolution structure of the enzyme."
article_processing_charge: No
article_type: original
author:
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
- first_name: Sew
  full_name: Peak Chew, Sew
  last_name: Peak Chew
- first_name: Ian
  full_name: Fearnley, Ian
  last_name: Fearnley
- first_name: John
  full_name: Walker, John
  last_name: Walker
citation:
  ama: 'Sazanov LA, Peak Chew S, Fearnley I, Walker J. Resolution of the membrane
    domain of bovine complex I into subcomplexes: implications for the structural
    organization of the enzyme. <i>Biochemistry</i>. 2000;39(24):7229-7235. doi:<a
    href="https://doi.org/10.1021/bi000335t">10.1021/bi000335t</a>'
  apa: 'Sazanov, L. A., Peak Chew, S., Fearnley, I., &#38; Walker, J. (2000). Resolution
    of the membrane domain of bovine complex I into subcomplexes: implications for
    the structural organization of the enzyme. <i>Biochemistry</i>. ACS. <a href="https://doi.org/10.1021/bi000335t">https://doi.org/10.1021/bi000335t</a>'
  chicago: 'Sazanov, Leonid A, Sew Peak Chew, Ian Fearnley, and John Walker. “Resolution
    of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for
    the Structural Organization of the Enzyme.” <i>Biochemistry</i>. ACS, 2000. <a
    href="https://doi.org/10.1021/bi000335t">https://doi.org/10.1021/bi000335t</a>.'
  ieee: 'L. A. Sazanov, S. Peak Chew, I. Fearnley, and J. Walker, “Resolution of the
    membrane domain of bovine complex I into subcomplexes: implications for the structural
    organization of the enzyme,” <i>Biochemistry</i>, vol. 39, no. 24. ACS, pp. 7229–7235,
    2000.'
  ista: 'Sazanov LA, Peak Chew S, Fearnley I, Walker J. 2000. Resolution of the membrane
    domain of bovine complex I into subcomplexes: implications for the structural
    organization of the enzyme. Biochemistry. 39(24), 7229–7235.'
  mla: 'Sazanov, Leonid A., et al. “Resolution of the Membrane Domain of Bovine Complex
    I into Subcomplexes: Implications for the Structural Organization of the Enzyme.”
    <i>Biochemistry</i>, vol. 39, no. 24, ACS, 2000, pp. 7229–35, doi:<a href="https://doi.org/10.1021/bi000335t">10.1021/bi000335t</a>.'
  short: L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000)
    7229–7235.
date_created: 2018-12-11T11:54:55Z
date_published: 2000-05-24T00:00:00Z
date_updated: 2023-05-04T14:14:53Z
day: '24'
doi: 10.1021/bi000335t
extern: '1'
external_id:
  pmid:
  - '10852722'
intvolume: '        39'
issue: '24'
language:
- iso: eng
month: '05'
oa_version: None
page: 7229 - 7235
pmid: 1
publication: Biochemistry
publication_identifier:
  issn:
  - 0006-2960
publication_status: published
publisher: ACS
publist_id: '5127'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Resolution of the membrane domain of bovine complex I into subcomplexes: implications
  for the structural organization of the enzyme'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 39
year: '2000'
...
---
_id: '2325'
alternative_title:
- Contemporary Mathematics
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. Inequalities for Schrödinger operators and applications to the
    stability of matter problem . In: Vol 529. American Mathematical Society; 2000:53-72.
    doi:<a href="https://doi.org/10.1090/conm/529">10.1090/conm/529</a>'
  apa: Seiringer, R. (2000). Inequalities for Schrödinger operators and applications
    to the stability of matter problem  (Vol. 529, pp. 53–72). Presented at the Arizona
    School of Analysis With Applications, American Mathematical Society. <a href="https://doi.org/10.1090/conm/529">https://doi.org/10.1090/conm/529</a>
  chicago: Seiringer, Robert. “Inequalities for Schrödinger Operators and Applications
    to the Stability of Matter Problem ,” 529:53–72. American Mathematical Society,
    2000. <a href="https://doi.org/10.1090/conm/529">https://doi.org/10.1090/conm/529</a>.
  ieee: R. Seiringer, “Inequalities for Schrödinger operators and applications to
    the stability of matter problem ,” presented at the Arizona School of Analysis
    With Applications, 2000, vol. 529, pp. 53–72.
  ista: Seiringer R. 2000. Inequalities for Schrödinger operators and applications
    to the stability of matter problem . Arizona School of Analysis With Applications,
    Contemporary Mathematics, vol. 529, 53–72.
  mla: Seiringer, Robert. <i>Inequalities for Schrödinger Operators and Applications
    to the Stability of Matter Problem </i>. Vol. 529, American Mathematical Society,
    2000, pp. 53–72, doi:<a href="https://doi.org/10.1090/conm/529">10.1090/conm/529</a>.
  short: R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
conference:
  name: Arizona School of Analysis With Applications
date_created: 2018-12-11T11:57:00Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:47Z
day: '01'
doi: 10.1090/conm/529
extern: 1
intvolume: '       529'
month: '01'
page: 53 - 72
publication_status: published
publisher: American Mathematical Society
publist_id: '4602'
quality_controlled: 0
status: public
title: 'Inequalities for Schrödinger operators and applications to the stability of
  matter problem '
type: conference
volume: 529
year: '2000'
...
---
_id: '2342'
abstract:
- lang: eng
  text: In the theoretical description of recent experiments with dilute Bose gases
    confined in external potentials the Gross-Pitaevskii equation plays an important
    role. Its status as an approximation for the quantum mechanical many-body ground
    state problem has recently been rigorously clarified. A summary of this work is
    presented here.
article_processing_charge: No
arxiv: 1
author:
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Élliott
  full_name: Lieb, Élliott
  last_name: Lieb
- first_name: Jakob
  full_name: Yngvason, Jakob
  last_name: Yngvason
citation:
  ama: 'Seiringer R, Lieb É, Yngvason J. The ground state energy and density of interacting
    bosons in a trap. In: <i>Proceedings of the International Symposium on Quantum
    Theory and Symmetries</i>. World Scientific Publishing; 2000:101-110.'
  apa: Seiringer, R., Lieb, É., &#38; Yngvason, J. (2000). The ground state energy
    and density of interacting bosons in a trap. In <i>Proceedings of the International
    Symposium on Quantum Theory and Symmetries</i> (pp. 101–110). World Scientific
    Publishing.
  chicago: Seiringer, Robert, Élliott Lieb, and Jakob Yngvason. “The Ground State
    Energy and Density of Interacting Bosons in a Trap.” In <i>Proceedings of the
    International Symposium on Quantum Theory and Symmetries</i>, 101–10. World Scientific
    Publishing, 2000.
  ieee: R. Seiringer, É. Lieb, and J. Yngvason, “The ground state energy and density
    of interacting bosons in a trap,” in <i>Proceedings of the International Symposium
    on Quantum Theory and Symmetries</i>, 2000, pp. 101–110.
  ista: 'Seiringer R, Lieb É, Yngvason J. 2000. The ground state energy and density
    of interacting bosons in a trap. Proceedings of the International Symposium on
    Quantum Theory and Symmetries. ISQTS: Quantum Theory and Symmetries, 101–110.'
  mla: Seiringer, Robert, et al. “The Ground State Energy and Density of Interacting
    Bosons in a Trap.” <i>Proceedings of the International Symposium on Quantum Theory
    and Symmetries</i>, World Scientific Publishing, 2000, pp. 101–10.
  short: R. Seiringer, É. Lieb, J. Yngvason, in:, Proceedings of the International
    Symposium on Quantum Theory and Symmetries, World Scientific Publishing, 2000,
    pp. 101–110.
conference:
  name: 'ISQTS: Quantum Theory and Symmetries'
date_created: 2018-12-11T11:57:06Z
date_published: 2000-06-01T00:00:00Z
date_updated: 2023-05-03T13:00:35Z
day: '01'
extern: '1'
external_id:
  arxiv:
  - math-ph/9911026
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/math-ph/9911026
month: '06'
oa: 1
oa_version: None
page: 101 - 110
publication: Proceedings of the International Symposium on Quantum Theory and Symmetries
publication_identifier:
  isbn:
  - '9789810242374 '
publication_status: published
publisher: World Scientific Publishing
publist_id: '4584'
quality_controlled: '1'
status: public
title: The ground state energy and density of interacting bosons in a trap
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2000'
...
---
_id: '2343'
abstract:
- lang: eng
  text: We study the energy levels of a single particle in a homogeneous magnetic
    field and in an axially symmetric external potential. For potentials that are
    superharmonic off the central axis, we find a general 'pseudoconcave' ordering
    of the ground state energies of the Hamiltonian restricted to the sectors with
    fixed angular momentum. The physical applications include atoms and ions in strong
    magnetic fields. There the energies are monotone increasing and concave in angular
    momentum. In the case of a periodic chain of atoms, the pseudoconcavity extends
    to the entire lowest band of Bloch functions.
author:
- first_name: Bernhard
  full_name: Baumgartner, Bernhard
  last_name: Baumgartner
- first_name: Robert
  full_name: Robert Seiringer
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Baumgartner B, Seiringer R. On the ordering of energy levels in homogeneous
    magnetic fields. <i>Letters in Mathematical Physics</i>. 2000;54(3):213-226. doi:<a
    href="https://doi.org/    10.1023/A:1010978807635">    10.1023/A:1010978807635</a>
  apa: Baumgartner, B., &#38; Seiringer, R. (2000). On the ordering of energy levels
    in homogeneous magnetic fields. <i>Letters in Mathematical Physics</i>. Springer.
    <a href="https://doi.org/    10.1023/A:1010978807635">https://doi.org/    10.1023/A:1010978807635</a>
  chicago: Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy
    Levels in Homogeneous Magnetic Fields.” <i>Letters in Mathematical Physics</i>.
    Springer, 2000. <a href="https://doi.org/    10.1023/A:1010978807635">https://doi.org/ 
      10.1023/A:1010978807635</a>.
  ieee: B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous
    magnetic fields,” <i>Letters in Mathematical Physics</i>, vol. 54, no. 3. Springer,
    pp. 213–226, 2000.
  ista: Baumgartner B, Seiringer R. 2000. On the ordering of energy levels in homogeneous
    magnetic fields. Letters in Mathematical Physics. 54(3), 213–226.
  mla: Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels
    in Homogeneous Magnetic Fields.” <i>Letters in Mathematical Physics</i>, vol.
    54, no. 3, Springer, 2000, pp. 213–26, doi:<a href="https://doi.org/    10.1023/A:1010978807635"> 
      10.1023/A:1010978807635</a>.
  short: B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
date_created: 2018-12-11T11:57:06Z
date_published: 2000-11-01T00:00:00Z
date_updated: 2021-01-12T06:56:54Z
day: '01'
doi: '    10.1023/A:1010978807635'
extern: 1
intvolume: '        54'
issue: '3'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/math-ph/0011031
month: '11'
oa: 1
page: 213 - 226
publication: Letters in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4582'
quality_controlled: 0
status: public
title: On the ordering of energy levels in homogeneous magnetic fields
type: journal_article
volume: 54
year: '2000'
...
---
_id: '2344'
abstract:
- lang: eng
  text: The ground-state properties of interacting Bose gases in external potentials,
    as considered in recent experiments, are usually described by means of the Gross-Pitaevskii
    energy functional. We present here a rigorous proof of the asymptotic exactness
    of this approximation for the ground-state energy and particle density of a dilute
    Bose gas with a positive interaction.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Élliott
  full_name: Lieb, Élliott
  last_name: Lieb
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Jakob
  full_name: Yngvason, Jakob
  last_name: Yngvason
citation:
  ama: 'Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of
    the Gross-Pitaevskii energy functional. <i>Physical Review A - Atomic, Molecular,
    and Optical Physics</i>. 2000;61(4):436021-4360213. doi:<a href="https://doi.org/10.1103/PhysRevA.61.043602">10.1103/PhysRevA.61.043602</a>'
  apa: 'Lieb, É., Seiringer, R., &#38; Yngvason, J. (2000). Bosons in a trap: A rigorous
    derivation of the Gross-Pitaevskii energy functional. <i>Physical Review A - Atomic,
    Molecular, and Optical Physics</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevA.61.043602">https://doi.org/10.1103/PhysRevA.61.043602</a>'
  chicago: 'Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Bosons in a Trap:
    A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” <i>Physical
    Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society,
    2000. <a href="https://doi.org/10.1103/PhysRevA.61.043602">https://doi.org/10.1103/PhysRevA.61.043602</a>.'
  ieee: 'É. Lieb, R. Seiringer, and J. Yngvason, “Bosons in a trap: A rigorous derivation
    of the Gross-Pitaevskii energy functional,” <i>Physical Review A - Atomic, Molecular,
    and Optical Physics</i>, vol. 61, no. 4. American Physical Society, pp. 436021–4360213,
    2000.'
  ista: 'Lieb É, Seiringer R, Yngvason J. 2000. Bosons in a trap: A rigorous derivation
    of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular,
    and Optical Physics. 61(4), 436021–4360213.'
  mla: 'Lieb, Élliott, et al. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii
    Energy Functional.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>,
    vol. 61, no. 4, American Physical Society, 2000, pp. 436021–4360213, doi:<a href="https://doi.org/10.1103/PhysRevA.61.043602">10.1103/PhysRevA.61.043602</a>.'
  short: É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular,
    and Optical Physics 61 (2000) 436021–4360213.
date_created: 2018-12-11T11:57:07Z
date_published: 2000-04-01T00:00:00Z
date_updated: 2023-05-03T12:47:08Z
day: '01'
doi: 10.1103/PhysRevA.61.043602
extern: '1'
external_id:
  arxiv:
  - math-ph/9908027
intvolume: '        61'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/math-ph/9908027
month: '04'
oa: 1
oa_version: Published Version
page: 436021 - 4360213
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_identifier:
  issn:
  - 0556-2791
publication_status: published
publisher: American Physical Society
publist_id: '4583'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 61
year: '2000'
...
---
_id: '2418'
abstract:
- lang: eng
  text: For an absolutely continuous probability measure μ on Rd and a nonnegative
    integer k, let sk(μ, 0) denote the probability that the convex hull of k+d+1 random
    points which are i.i.d. according to μ contains the origin 0. For d and k given,
    we determine a tight upper bound on sk(μ, 0), and we characterize the measures
    in Rd which attain this bound. This result can be considered a continuous analogue
    of the Upper Bound Theorem for the maximal number of faces of convex polytopes
    with a given number of vertices. For our proof we introduce so-called h-functions,
    continuous counterparts of h-vectors for simplicial convex polytopes.
article_processing_charge: No
author:
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
- first_name: Emo
  full_name: Welzl, Emo
  last_name: Welzl
citation:
  ama: 'Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue
    of the Upper Bound Theorem. In: <i>Proceedings of the 16th Annual Symposium on
    Computational Geometry</i>. ACM; 2000:50-56. doi:<a href="https://doi.org/10.1145/336154.336176">10.1145/336154.336176</a>'
  apa: 'Wagner, U., &#38; Welzl, E. (2000). Origin-embracing distributions or a continuous
    analogue of the Upper Bound Theorem. In <i>Proceedings of the 16th annual symposium
    on Computational geometry</i> (pp. 50–56). Clear Water Bay Kowloon, Hong Kong:
    ACM. <a href="https://doi.org/10.1145/336154.336176">https://doi.org/10.1145/336154.336176</a>'
  chicago: Wagner, Uli, and Emo Welzl. “Origin-Embracing Distributions or a Continuous
    Analogue of the Upper Bound Theorem.” In <i>Proceedings of the 16th Annual Symposium
    on Computational Geometry</i>, 50–56. ACM, 2000. <a href="https://doi.org/10.1145/336154.336176">https://doi.org/10.1145/336154.336176</a>.
  ieee: U. Wagner and E. Welzl, “Origin-embracing distributions or a continuous analogue
    of the Upper Bound Theorem,” in <i>Proceedings of the 16th annual symposium on
    Computational geometry</i>, Clear Water Bay Kowloon, Hong Kong, 2000, pp. 50–56.
  ista: 'Wagner U, Welzl E. 2000. Origin-embracing distributions or a continuous analogue
    of the Upper Bound Theorem. Proceedings of the 16th annual symposium on Computational
    geometry. SCG: Symposium on Computational Geometry, 50–56.'
  mla: Wagner, Uli, and Emo Welzl. “Origin-Embracing Distributions or a Continuous
    Analogue of the Upper Bound Theorem.” <i>Proceedings of the 16th Annual Symposium
    on Computational Geometry</i>, ACM, 2000, pp. 50–56, doi:<a href="https://doi.org/10.1145/336154.336176">10.1145/336154.336176</a>.
  short: U. Wagner, E. Welzl, in:, Proceedings of the 16th Annual Symposium on Computational
    Geometry, ACM, 2000, pp. 50–56.
conference:
  end_date: 2000-04-14
  location: Clear Water Bay Kowloon, Hong Kong
  name: 'SCG: Symposium on Computational Geometry'
  start_date: 2000-06-12
date_created: 2018-12-11T11:57:33Z
date_published: 2000-05-01T00:00:00Z
date_updated: 2023-05-03T12:41:02Z
day: '01'
doi: 10.1145/336154.336176
extern: '1'
language:
- iso: eng
month: '05'
oa_version: None
page: 50 - 56
publication: Proceedings of the 16th annual symposium on Computational geometry
publication_identifier:
  isbn:
  - '9781581132243'
publication_status: published
publisher: ACM
publist_id: '4507'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Origin-embracing distributions or a continuous analogue of the Upper Bound
  Theorem
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2000'
...
---
_id: '4598'
abstract:
- lang: eng
  text: A hybrid system is a dynamical system with both discrete and continuous state
    changes. For analysis purposes, it is often useful to abstract a system in a way
    that preserves the properties being analyzed while hiding the details that are
    of no interest. We show that interesting classes of hybrid systems can be abstracted
    to purely discrete systems while preserving all properties that are definable
    in temporal logic. The classes that permit discrete abstractions fall into two
    categories. Either the continuous dynamics must be restricted, as is the case
    for timed and rectangular hybrid systems, or the discrete dynamics must be restricted,
    as is the case for o-minimal hybrid systems. In this paper, we survey and unify
    results from both areas.
acknowledgement: The authors would like to thank the reviewers for their detailed
  comments.
article_processing_charge: No
article_type: original
author:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- 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: Gerardo
  full_name: Lafferriere, Gerardo
  last_name: Lafferriere
- first_name: George
  full_name: Pappas, George
  last_name: Pappas
citation:
  ama: Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid
    systems. <i>Proceedings of the IEEE</i>. 2000;88(7):971-984. doi:<a href="https://doi.org/10.1109/5.871304
    ">10.1109/5.871304 </a>
  apa: Alur, R., Henzinger, T. A., Lafferriere, G., &#38; Pappas, G. (2000). Discrete
    abstractions of hybrid systems. <i>Proceedings of the IEEE</i>. IEEE. <a href="https://doi.org/10.1109/5.871304
    ">https://doi.org/10.1109/5.871304 </a>
  chicago: Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas.
    “Discrete Abstractions of Hybrid Systems.” <i>Proceedings of the IEEE</i>. IEEE,
    2000. <a href="https://doi.org/10.1109/5.871304 ">https://doi.org/10.1109/5.871304
    </a>.
  ieee: R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions
    of hybrid systems,” <i>Proceedings of the IEEE</i>, vol. 88, no. 7. IEEE, pp.
    971–984, 2000.
  ista: Alur R, Henzinger TA, Lafferriere G, Pappas G. 2000. Discrete abstractions
    of hybrid systems. Proceedings of the IEEE. 88(7), 971–984.
  mla: Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” <i>Proceedings
    of the IEEE</i>, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:<a href="https://doi.org/10.1109/5.871304
    ">10.1109/5.871304 </a>.
  short: R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE
    88 (2000) 971–984.
date_created: 2018-12-11T12:09:41Z
date_published: 2000-07-01T00:00:00Z
date_updated: 2023-04-13T13:32:11Z
day: '01'
doi: '10.1109/5.871304 '
extern: '1'
intvolume: '        88'
issue: '7'
language:
- iso: eng
month: '07'
oa_version: None
page: 971 - 984
publication: Proceedings of the IEEE
publication_identifier:
  issn:
  - 0018-9219
publication_status: published
publisher: IEEE
publist_id: '107'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Discrete abstractions of hybrid systems
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 88
year: '2000'
...
---
_id: '4627'
abstract:
- lang: eng
  text: 'We consider two-player games, which are played on a finite state space for
    an infinite number of rounds. The games are concurrent, that is, in each round,
    the two players choose their moves independently and simultaneously; the current
    state and the two moves determine a successor state. We consider omega-regular
    winning conditions on the resulting infinite state sequence. To model the independent
    choice of moves, both players are allowed to use randomization for selecting their
    moves. This gives rise to the following qualitative modes of winning, which can
    be studied without numerical considerations concerning probabilities: sure-win
    (player 1 can ensure winning with certainty), almost-sure-win (player 1 can ensure
    winning with probability 1), limit-win (player 1 can ensure winning with probability
    arbitrarily close to 1), bounded-win (player 1 can ensure winning with probability
    bounded away from 0), positive-win (player 1 can ensure winning with positive
    probability), and exist-win (player 1 can ensure that at least one possible outcome
    of the game satisfies the winning condition).We provide algorithms for computing
    the sets of winning states for each of these winning modes. In particular, we
    solve concurrent Rabin-chain games in n0 (m) time, where n is the size of the
    game structure and m is the number of pairs in the Rabin-chain condition. While
    this complexity is in line with traditional turn-based games, where in each state
    only one of the two players has a choice of moves, our algorithms are considerably
    more involved than those for turn-based games are. This is because concurrent
    games violate two of the most fundamental properties of turn-based games. First,
    concurrent games are not determined, but rather exhibit a more general duality
    property, which involves multiple modes of winning. Second, winning strategies
    for concurrent games may require infinite memory.'
article_processing_charge: No
author:
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: 'De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: <i>Proceedings
    of the 15th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 2000:141-154.
    doi:<a href="https://doi.org/10.1109/LICS.2000.855763">10.1109/LICS.2000.855763</a>'
  apa: 'De Alfaro, L., &#38; Henzinger, T. A. (2000). Concurrent omega-regular games.
    In <i>Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science</i>
    (pp. 141–154). Santa Barbara, CA, USA: IEEE. <a href="https://doi.org/10.1109/LICS.2000.855763">https://doi.org/10.1109/LICS.2000.855763</a>'
  chicago: De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.”
    In <i>Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science</i>,
    141–54. IEEE, 2000. <a href="https://doi.org/10.1109/LICS.2000.855763">https://doi.org/10.1109/LICS.2000.855763</a>.
  ieee: L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in <i>Proceedings
    of the 15th Annual IEEE Symposium on Logic in Computer Science</i>, Santa Barbara,
    CA, USA, 2000, pp. 141–154.
  ista: 'De Alfaro L, Henzinger TA. 2000. Concurrent omega-regular games. Proceedings
    of the 15th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in
    Computer Science, 141–154.'
  mla: De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.”
    <i>Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science</i>,
    IEEE, 2000, pp. 141–54, doi:<a href="https://doi.org/10.1109/LICS.2000.855763">10.1109/LICS.2000.855763</a>.
  short: L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium
    on Logic in Computer Science, IEEE, 2000, pp. 141–154.
conference:
  end_date: 2000-06-28
  location: Santa Barbara, CA, USA
  name: 'LICS: Logic in Computer Science'
  start_date: 2000-06-26
date_created: 2018-12-11T12:09:50Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-13T13:24:29Z
day: '01'
doi: 10.1109/LICS.2000.855763
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 141 - 154
publication: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
publication_identifier:
  isbn:
  - '0769507255'
publication_status: published
publisher: IEEE
publist_id: '82'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Concurrent omega-regular games
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2000'
...
---
_id: '4637'
abstract:
- lang: eng
  text: "In the synchronous composition of processes, one process may prevent another
    process from proceeding unless compositions without a well-defined product behavior
    are ruled out. They can be ruled out semantically, by insisting on the existence
    of certain fixed points, or syntactically, by equipping processes with types,
    which make the dependencies between input and output signals transparent. We classify
    various typing mechanisms and study their effects on the control problem.\r\nA
    static type enforces fixed, acyclic dependencies between input and output ports.
    For example, synchronous hardware without combinational loops can be typed statically.
    A dynamic type may vary the dependencies from state to state, while maintaining
    acyclicity, as in level-sensitive latches. Then, two dynamically typed processes
    can be syntactically compatible, if all pairs of possible dependencies are compatible,
    or semantically compatible, if in each state the combined dependencies remain
    acyclic. For a given plant process and control objective, there may be a controller
    of a static type, or only a controller of a syntactically compatible dynamic type,
    or only a controller of a semantically compatible dynamic type. We show this to
    be a strict hierarchy of possibilities, and we present algorithms and determine
    the complexity of the corresponding control problems.\r\nFurthermore, we consider
    versions of the control problem in which the type of the controller (static or
    dynamic) is given. We show that the solution of these fixed-type control problems
    requires the evaluation of partially ordered (Henkin) quantifiers on boolean formulas,
    and is therefore harder (nondeterministic exponential time) than more traditional
    control questions"
acknowledgement: This research was supported in part by the DARPA grants NAG2-1214
  and F33615-C-98-3614, the SRC contract 99-TJ-683.003, the MARCO grant 98-DT-660,
  and the NSF CAREER award CCR-9501708.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- 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: Freddy
  full_name: Mang, Freddy
  last_name: Mang
citation:
  ama: 'De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In:
    <i>Proceedings of the 11th International Conference on Concurrency Theory</i>.
    Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:<a
    href="https://doi.org/10.1007/3-540-44618-4_33">10.1007/3-540-44618-4_33</a>'
  apa: 'De Alfaro, L., Henzinger, T. A., &#38; Mang, F. (2000). The control of synchronous
    systems. In <i>Proceedings of the 11th International Conference on Concurrency
    Theory</i> (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.1007/3-540-44618-4_33">https://doi.org/10.1007/3-540-44618-4_33</a>'
  chicago: De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous
    Systems.” In <i>Proceedings of the 11th International Conference on Concurrency
    Theory</i>, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000.
    <a href="https://doi.org/10.1007/3-540-44618-4_33">https://doi.org/10.1007/3-540-44618-4_33</a>.
  ieee: L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,”
    in <i>Proceedings of the 11th International Conference on Concurrency Theory</i>,
    University Park, PA, USA, 2000, vol. 1877, pp. 458–473.
  ista: 'De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems.
    Proceedings of the 11th International Conference on Concurrency Theory. CONCUR:
    Concurrency Theory, LNCS, vol. 1877, 458–473.'
  mla: De Alfaro, Luca, et al. “The Control of Synchronous Systems.” <i>Proceedings
    of the 11th International Conference on Concurrency Theory</i>, vol. 1877, Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:<a href="https://doi.org/10.1007/3-540-44618-4_33">10.1007/3-540-44618-4_33</a>.
  short: L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International
    Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    2000, pp. 458–473.
conference:
  end_date: 2000-08-25
  location: University Park, PA, USA
  name: 'CONCUR: Concurrency Theory'
  start_date: 2000-08-22
date_created: 2018-12-11T12:09:53Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-13T11:00:46Z
day: '01'
doi: 10.1007/3-540-44618-4_33
extern: '1'
intvolume: '      1877'
language:
- iso: eng
month: '01'
oa_version: None
page: 458 - 473
publication: Proceedings of the 11th International Conference on Concurrency Theory
publication_identifier:
  isbn:
  - '9783540678977'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '69'
quality_controlled: '1'
status: public
title: The control of synchronous systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1877
year: '2000'
...
---
_id: '4638'
abstract:
- lang: eng
  text: "Any formal method or tool is almost certainly more often applied in situations
    where the outcome is failure (a counterexample) rather than success (a correctness
    proof). We present a method for symbolic model checking that can lead to significant
    time and memory savings for model-checking runs that fail, while occurring only
    a small overhead for model-checking runs that succeed. Our method discovers an
    error as soon as it cannot be prevented, which can be long before it actually
    occurs; for example, the violation of an invariant may become unpreventable many
    transitions before the invariant is violated.\r\nThe key observation is that “unpreventability”
    is a local property of a single module: an error is unpreventable in a module
    state if no environment can prevent it. Therefore, unpreventability is inexpensive
    to compute for each module, yet can save much work in the state exploration of
    the global, compound system. Based on different degrees of information available
    about the environment, we define and implement several notions of “unpreventability,”
    including the standard notion of uncontrollability from discrete-event control.
    We present experimental results for two examples, a distributed database protocol
    and a wireless communication protocol."
acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214,
  the SRC contract 99-TJ-683.003, the MARCO grant 98-DT-660, the DARPA (MARCO) grant
  MDA972-99-1-0001, and the NSF CAREER award CCR-9501708.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- 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: Freddy
  full_name: Mang, Freddy
  last_name: Mang
citation:
  ama: 'De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them.
    In: <i>Proceedings of the 12th International Conference on Computer Aided Verification</i>.
    Vol 1855. Springer; 2000:186-201. doi:<a href="https://doi.org/10.1007/10722167_17">10.1007/10722167_17</a>'
  apa: 'De Alfaro, L., Henzinger, T. A., &#38; Mang, F. (2000). Detecting errors before
    reaching them. In <i>Proceedings of the 12th International Conference on Computer
    Aided Verification</i> (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer. <a
    href="https://doi.org/10.1007/10722167_17">https://doi.org/10.1007/10722167_17</a>'
  chicago: De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors
    before Reaching Them.” In <i>Proceedings of the 12th International Conference
    on Computer Aided Verification</i>, 1855:186–201. Springer, 2000. <a href="https://doi.org/10.1007/10722167_17">https://doi.org/10.1007/10722167_17</a>.
  ieee: L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching
    them,” in <i>Proceedings of the 12th International Conference on Computer Aided
    Verification</i>, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201.
  ista: 'De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching
    them. Proceedings of the 12th International Conference on Computer Aided Verification.
    CAV: Computer-Aided Verification, LNCS, vol. 1855, 186–201.'
  mla: De Alfaro, Luca, et al. “Detecting Errors before Reaching Them.” <i>Proceedings
    of the 12th International Conference on Computer Aided Verification</i>, vol.
    1855, Springer, 2000, pp. 186–201, doi:<a href="https://doi.org/10.1007/10722167_17">10.1007/10722167_17</a>.
  short: L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International
    Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
conference:
  end_date: 2000-07-19
  location: Chicago, IL, USA
  name: 'CAV: Computer-Aided Verification'
  start_date: 2000-07-15
date_created: 2018-12-11T12:09:53Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-13T13:18:06Z
day: '01'
doi: 10.1007/10722167_17
extern: '1'
intvolume: '      1855'
language:
- iso: eng
month: '01'
oa_version: None
page: 186 - 201
publication: Proceedings of the 12th International Conference on Computer Aided Verification
publication_identifier:
  isbn:
  - '9783540677703'
publication_status: published
publisher: Springer
publist_id: '70'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Detecting errors before reaching them
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1855
year: '2000'
...
---
_id: '1455'
abstract:
- lang: eng
  text: First, a special case of Knaster's problem is proved implying that each symmetric
    convex body in ℝ3 admits an inscribed cube. It is deduced from a theorem in equivariant
    topology, which says that there is no S4 - equivariant map from SO(3) to S2, where
    S4 acts on SO(3) on the right as the rotation group of the cube, and on S2 on
    the right as the symmetry group of the regular tetrahedron. Some generalizations
    are also given. Second, it is shown how the above non-existence theorem yields
    Makeev's conjecture in ℝ3 that each set in ℝ3 of diameter 1 can be covered by
    a rhombic dodecahedron, which has distance 1 between its opposite faces. This
    reveals an unexpected connection between inscribing cubes into symmetric bodies
    and covering sets by rhombic dodecahedra. Finally, a possible application of our
    second theorem to the Borsuk problem in ℝ3 is pointed out.
acknowledgement: The research of the first author was partially supported by Trinity
  College, Cambridge, and that of all the authors by grants 23444, T-030012 and A
  046/96, respectively, from the Hungarian National Foundation for Scientific Research.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Tamas
  full_name: Hausel, Tamas
  id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
  last_name: Hausel
- first_name: Endre
  full_name: Makai, Endre
  last_name: Makai
- first_name: András
  full_name: Szücs, András
  last_name: Szücs
citation:
  ama: Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra
    via equivariant topology. <i>Mathematika</i>. 2000;47(1-2):371-397. doi:<a href="https://doi.org/10.1112/S0025579300015965">10.1112/S0025579300015965</a>
  apa: Hausel, T., Makai, E., &#38; Szücs, A. (2000). Inscribing cubes and covering
    by rhombic dodecahedra via equivariant topology. <i>Mathematika</i>. University
    College London. <a href="https://doi.org/10.1112/S0025579300015965">https://doi.org/10.1112/S0025579300015965</a>
  chicago: Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering
    by Rhombic Dodecahedra via Equivariant Topology.” <i>Mathematika</i>. University
    College London, 2000. <a href="https://doi.org/10.1112/S0025579300015965">https://doi.org/10.1112/S0025579300015965</a>.
  ieee: T. Hausel, E. Makai, and A. Szücs, “Inscribing cubes and covering by rhombic
    dodecahedra via equivariant topology,” <i>Mathematika</i>, vol. 47, no. 1–2. University
    College London, pp. 371–397, 2000.
  ista: Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic
    dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.
  mla: Hausel, Tamás, et al. “Inscribing Cubes and Covering by Rhombic Dodecahedra
    via Equivariant Topology.” <i>Mathematika</i>, vol. 47, no. 1–2, University College
    London, 2000, pp. 371–97, doi:<a href="https://doi.org/10.1112/S0025579300015965">10.1112/S0025579300015965</a>.
  short: T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
date_created: 2018-12-11T11:52:07Z
date_published: 2000-06-01T00:00:00Z
date_updated: 2023-05-08T08:56:46Z
day: '01'
doi: 10.1112/S0025579300015965
extern: '1'
external_id:
  arxiv:
  - math/9906066
intvolume: '        47'
issue: 1-2
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/math/9906066
month: '06'
oa: 1
oa_version: Preprint
page: 371 - 397
publication: Mathematika
publication_identifier:
  issn:
  - 0025-5793
publication_status: published
publisher: University College London
publist_id: '5745'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 47
year: '2000'
...
---
_id: '13437'
abstract:
- lang: eng
  text: Liquid/liquid Phase Transfer Catalysis (PTC) reaction of 4-chlorobutyronitrile
    with nonenolisable aldehydes leads via an addition-cyclisation reaction sequence
    to derivatives of tetrahydrofuran-3-carbonitrile.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Mieczysław
  full_name: Macogonkosza, Mieczysław
  last_name: Macogonkosza
- first_name: Jacek
  full_name: Przyborowski, Jacek
  last_name: Przyborowski
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
- first_name: Andrzej
  full_name: Kwast, Andrzej
  last_name: Kwast
citation:
  ama: Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted
    Tetrahydrofuran-3-carbonitriles. <i>Synlett</i>. 2000;2000(12):1773-1774. doi:<a
    href="https://doi.org/10.1055/s-2000-8670">10.1055/s-2000-8670</a>
  apa: Macogonkosza, M., Przyborowski, J., Klajn, R., &#38; Kwast, A. (2000). Simple
    synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. <i>Synlett</i>. Georg
    Thieme Verlag. <a href="https://doi.org/10.1055/s-2000-8670">https://doi.org/10.1055/s-2000-8670</a>
  chicago: Macogonkosza, Mieczysław, Jacek Przyborowski, Rafal Klajn, and Andrzej
    Kwast. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.” <i>Synlett</i>.
    Georg Thieme Verlag, 2000. <a href="https://doi.org/10.1055/s-2000-8670">https://doi.org/10.1055/s-2000-8670</a>.
  ieee: M. Macogonkosza, J. Przyborowski, R. Klajn, and A. Kwast, “Simple synthesis
    of 2-substituted Tetrahydrofuran-3-carbonitriles,” <i>Synlett</i>, vol. 2000,
    no. 12. Georg Thieme Verlag, pp. 1773–1774, 2000.
  ista: Macogonkosza M, Przyborowski J, Klajn R, Kwast A. 2000. Simple synthesis of
    2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000(12), 1773–1774.
  mla: Macogonkosza, Mieczysław, et al. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.”
    <i>Synlett</i>, vol. 2000, no. 12, Georg Thieme Verlag, 2000, pp. 1773–74, doi:<a
    href="https://doi.org/10.1055/s-2000-8670">10.1055/s-2000-8670</a>.
  short: M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000)
    1773–1774.
date_created: 2023-08-01T10:39:48Z
date_published: 2000-12-01T00:00:00Z
date_updated: 2023-08-02T07:54:46Z
day: '01'
doi: 10.1055/s-2000-8670
extern: '1'
intvolume: '      2000'
issue: '12'
keyword:
- Organic Chemistry
language:
- iso: eng
month: '12'
oa_version: None
page: 1773-1774
publication: Synlett
publication_identifier:
  eissn:
  - 1437-2096
  issn:
  - 0936-5214
publication_status: published
publisher: Georg Thieme Verlag
quality_controlled: '1'
scopus_import: '1'
status: public
title: Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2000
year: '2000'
...
---
_id: '11802'
abstract:
- lang: eng
  text: In this paper we survey algorithmic aspects of Web information retrieval.
    As an example, we discuss ranking of search engine results using connectivity
    analysis.
alternative_title:
- LNCS
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. Web information retrieval - an algorithmic perspective. In:
    <i>8th Annual European Symposium on Algorithms</i>. Vol 1879. Springer Nature;
    2000:1–8. doi:<a href="https://doi.org/10.1007/3-540-45253-2_1">10.1007/3-540-45253-2_1</a>'
  apa: 'Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective.
    In <i>8th Annual European Symposium on Algorithms</i> (Vol. 1879, pp. 1–8). Saarbrücken,
    Germany: Springer Nature. <a href="https://doi.org/10.1007/3-540-45253-2_1">https://doi.org/10.1007/3-540-45253-2_1</a>'
  chicago: Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.”
    In <i>8th Annual European Symposium on Algorithms</i>, 1879:1–8. Springer Nature,
    2000. <a href="https://doi.org/10.1007/3-540-45253-2_1">https://doi.org/10.1007/3-540-45253-2_1</a>.
  ieee: M. H. Henzinger, “Web information retrieval - an algorithmic perspective,”
    in <i>8th Annual European Symposium on Algorithms</i>, Saarbrücken, Germany, 2000,
    vol. 1879, pp. 1–8.
  ista: 'Henzinger MH. 2000. Web information retrieval - an algorithmic perspective.
    8th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms,
    LNCS, vol. 1879, 1–8.'
  mla: Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.”
    <i>8th Annual European Symposium on Algorithms</i>, vol. 1879, Springer Nature,
    2000, pp. 1–8, doi:<a href="https://doi.org/10.1007/3-540-45253-2_1">10.1007/3-540-45253-2_1</a>.
  short: M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer
    Nature, 2000, pp. 1–8.
conference:
  end_date: 2000-09-08
  location: Saarbrücken, Germany
  name: 'ESA: European Symposium on Algorithms'
  start_date: 2000-09-05
date_created: 2022-08-11T13:25:07Z
date_published: 2000-09-01T00:00:00Z
date_updated: 2023-02-13T12:08:21Z
day: '01'
doi: 10.1007/3-540-45253-2_1
extern: '1'
intvolume: '      1879'
language:
- iso: eng
month: '09'
oa_version: None
page: 1–8
publication: 8th Annual European Symposium on Algorithms
publication_identifier:
  eisbn:
  - '9783540452539'
  eissn:
  - 1611-3349
  isbn:
  - '9783540410041'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Web information retrieval - an algorithmic perspective
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1879
year: '2000'
...
---
_id: '11893'
abstract:
- lang: eng
  text: "We present fully dynamic algorithms for maintaining the biconnected components
    in general and plane graphs.\r\n\r\nA fully dynamic algorithm maintains a graph
    during a sequence of insertions and deletions of edges or isolated vertices. Let
    m be the number of edges and n be the number of vertices in a graph. The time
    per operation of the best deterministic algorithms is \U0001D442(\U0001D45B√)
    in general graphs and O(log n) in plane graphs for fully dynamic connectivity
    and O(min m2/3 ,n}) in general graphs and \U0001D442(\U0001D45B√) in plane graphs
    for fully dynamic biconnectivity. We improve the later running times to \U0001D442(\U0001D45Alog\U0001D45B‾‾‾‾‾‾‾√)
    in general graphs and O(log 2n ) in plane graphs. Our algorithm for general graphscan
    also find the biconnected components of all vertices in time O(n)."
article_processing_charge: No
article_type: original
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. Improved data structures for fully dynamic biconnectivity. <i>SIAM
    Journal on Computing</i>. 2000;29(6):1761-1815. doi:<a href="https://doi.org/10.1137/s0097539794263907">10.1137/s0097539794263907</a>
  apa: Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity.
    <i>SIAM Journal on Computing</i>. Society for Industrial &#38; Applied Mathematics.
    <a href="https://doi.org/10.1137/s0097539794263907">https://doi.org/10.1137/s0097539794263907</a>
  chicago: Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.”
    <i>SIAM Journal on Computing</i>. Society for Industrial &#38; Applied Mathematics,
    2000. <a href="https://doi.org/10.1137/s0097539794263907">https://doi.org/10.1137/s0097539794263907</a>.
  ieee: M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,”
    <i>SIAM Journal on Computing</i>, vol. 29, no. 6. Society for Industrial &#38;
    Applied Mathematics, pp. 1761–1815, 2000.
  ista: Henzinger MH. 2000. Improved data structures for fully dynamic biconnectivity.
    SIAM Journal on Computing. 29(6), 1761–1815.
  mla: Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.”
    <i>SIAM Journal on Computing</i>, vol. 29, no. 6, Society for Industrial &#38;
    Applied Mathematics, 2000, pp. 1761–815, doi:<a href="https://doi.org/10.1137/s0097539794263907">10.1137/s0097539794263907</a>.
  short: M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
date_created: 2022-08-17T08:45:41Z
date_published: 2000-11-01T00:00:00Z
date_updated: 2023-02-17T14:39:47Z
day: '01'
doi: 10.1137/s0097539794263907
extern: '1'
intvolume: '        29'
issue: '6'
language:
- iso: eng
month: '11'
oa_version: None
page: 1761-1815
publication: SIAM Journal on Computing
publication_identifier:
  eissn:
  - 1095-7111
  issn:
  - 0097-5397
publication_status: published
publisher: Society for Industrial & Applied Mathematics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Improved data structures for fully dynamic biconnectivity
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 29
year: '2000'
...
---
_id: '12925'
abstract:
- lang: eng
  text: Normal function of organs and cells is tightly linked to the cytoarchitecture.
    Control of the cell volume is therefore vital for the organism. A widely established
    strategy of cells to counteract swelling is the activation of chloride and potassium
    channels, which leads to a net efflux of salt followed by water - a process termed
    regulatory volume decrease. Since there is evidence for swelling-dependent chloride
    channels (IClswell) being activated also during pathological processes, the identification
    of the molecular entity underlying IClswell is of utmost importance. Several proteins
    are discussed as the channel forming IClswell, i.e. phospholemman, p-glycoprotein,
    CLC-3 and ICln. In this review we would like to focus on the properties of ICln,
    a protein cloned from a Madin Darby canine kidney (MDCK) cell library whose expression
    in Xenopus laevis oocytes resulted in a nucleotide sensitive outwardly rectifying
    chloride current closely resembling the biophysical properties of IClswell.
article_processing_charge: No
article_type: original
author:
- first_name: Johannes
  full_name: Fürst, Johannes
  last_name: Fürst
- first_name: Martin
  full_name: Jakab, Martin
  last_name: Jakab
- first_name: Matthias
  full_name: König, Matthias
  last_name: König
- first_name: Markus
  full_name: Ritter, Markus
  last_name: Ritter
- first_name: Martin
  full_name: Gschwentner, Martin
  last_name: Gschwentner
- first_name: Jakob
  full_name: Rudzki, Jakob
  last_name: Rudzki
- 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: Michael
  full_name: Mayer, Michael
  last_name: Mayer
- first_name: Carmen M.
  full_name: Burtscher, Carmen M.
  last_name: Burtscher
- first_name: Julia
  full_name: Schirmer, Julia
  last_name: Schirmer
- first_name: Brigitte
  full_name: Maier, Brigitte
  last_name: Maier
- first_name: Manfred
  full_name: Nairz, Manfred
  last_name: Nairz
- first_name: Sabine
  full_name: Chwatal, Sabine
  last_name: Chwatal
- first_name: Markus
  full_name: Paulmichl, Markus
  last_name: Paulmichl
citation:
  ama: Fürst J, Jakab M, König M, et al. Structure and Function of the Ion Channel
    ICln. <i>Cellular Physiology and Biochemistry</i>. 2000;10(5-6):329-334. doi:<a
    href="https://doi.org/10.1159/000016374">10.1159/000016374</a>
  apa: Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J., …
    Paulmichl, M. (2000). Structure and Function of the Ion Channel ICln. <i>Cellular
    Physiology and Biochemistry</i>. S. Karger AG. <a href="https://doi.org/10.1159/000016374">https://doi.org/10.1159/000016374</a>
  chicago: Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner,
    Jakob Rudzki, Johann G Danzl, et al. “Structure and Function of the Ion Channel
    ICln.” <i>Cellular Physiology and Biochemistry</i>. S. Karger AG, 2000. <a href="https://doi.org/10.1159/000016374">https://doi.org/10.1159/000016374</a>.
  ieee: J. Fürst <i>et al.</i>, “Structure and Function of the Ion Channel ICln,”
    <i>Cellular Physiology and Biochemistry</i>, vol. 10, no. 5–6. S. Karger AG, pp.
    329–334, 2000.
  ista: Fürst J, Jakab M, König M, Ritter M, Gschwentner M, Rudzki J, Danzl JG, Mayer
    M, Burtscher CM, Schirmer J, Maier B, Nairz M, Chwatal S, Paulmichl M. 2000. Structure
    and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 10(5–6),
    329–334.
  mla: Fürst, Johannes, et al. “Structure and Function of the Ion Channel ICln.” <i>Cellular
    Physiology and Biochemistry</i>, vol. 10, no. 5–6, S. Karger AG, 2000, pp. 329–34,
    doi:<a href="https://doi.org/10.1159/000016374">10.1159/000016374</a>.
  short: J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J.G.
    Danzl, M. Mayer, C.M. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal,
    M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334.
date_created: 2023-05-08T09:04:58Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-05-08T10:07:10Z
doi: 10.1159/000016374
extern: '1'
external_id:
  pmid:
  - '11125213'
intvolume: '        10'
issue: 5-6
keyword:
- Physiology
language:
- iso: eng
oa_version: None
page: 329-334
pmid: 1
publication: Cellular Physiology and Biochemistry
publication_identifier:
  issn:
  - 1015-8987
  - 1421-9778
publication_status: published
publisher: S. Karger AG
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structure and Function of the Ion Channel ICln
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2000'
...
---
_id: '3489'
abstract:
- lang: eng
  text: We have examined factors that determine the strength and dynamics of GABAergic
    synapses between interneurons [dentate gyrus basket cells (BCs)] and principal
    neurons [dentate gyrus granule cells (GCs)] using paired recordings in rat hippocampal
    slices at 34°C. Unitary IPSCs recorded from BC–GC pairs in high intracellular
    Cl− concentration showed a fast rise and a biexponential decay, with mean time
    constants of 2 and 9 msec. The mean quantal conductance change, determined directly
    at reduced extracellular Ca2+/Mg2+concentration ratios, was 1.7 nS. Quantal release
    at the BC–GC synapse occurred with short delay and was highly synchronized. Analysis
    of IPSC peak amplitudes and numbers of failures by multiple probability compound
    binomial analysis indicated that synaptic transmission at the BC–GC synapse involves
    three to seven release sites, each of which releases transmitter with high probability
    (∼0.5 in 2 mMCa2+/1 mM Mg2+). Unitary BC–GC IPSCs showed paired-pulse depression
    (PPD); maximal depression, measured for 10 msec intervals, was 37%, and recovery
    from depression occurred with a time constant of 2 sec. Paired-pulse depression
    was mainly presynaptic in origin but appeared to be independent of previous release.
    Synaptic transmission at the BC–GC synapse showed frequency-dependent depression,
    with half-maximal decrease at 5 Hz after a series of 1000 presynaptic action potentials.
    The relative stability of transmission at the BC–GC synapse is consistent with
    a model in which an activity-dependent gating mechanism reduces release probability
    and thereby prevents depletion of the releasable pool of synaptic vesicles. Thus
    several mechanisms converge on the generation of powerful and sustained transmission
    at interneuron–principal neuron synapses in hippocampal circuits.
acknowledgement: This work was supported by grants from the Deutsche Forschungsgemeinschaft
  (SFB 505/C5) and the Human Frontiers Science Program Organization (RG0017/1998-B)
  to P.J. Novartis generously provided CGP55845A. We thank Drs. J. Bischofberger,
  F. A. Edwards, J. R. P. Geiger, M. V. Jones, M. Martina, and A. Roth for critically
  reading this manuscript. We also thank A. Blomenkamp for technical assistance.
article_processing_charge: No
article_type: original
author:
- first_name: Udo
  full_name: Kraushaar, Udo
  last_name: Kraushaar
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
citation:
  ama: Kraushaar U, Jonas PM. Efficacy and stability of quantal GABA release at a
    hippocampal interneuron-principal neuron synapse. <i>Journal of Neuroscience</i>.
    2000;20(15):5594-5607. doi:<a href="https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000">10.1523/JNEUROSCI.20-15-05594.2000</a>
  apa: Kraushaar, U., &#38; Jonas, P. M. (2000). Efficacy and stability of quantal
    GABA release at a hippocampal interneuron-principal neuron synapse. <i>Journal
    of Neuroscience</i>. Society for Neuroscience. <a href="https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000">https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000</a>
  chicago: Kraushaar, Udo, and Peter M Jonas. “Efficacy and Stability of Quantal GABA
    Release at a Hippocampal Interneuron-Principal Neuron Synapse.” <i>Journal of
    Neuroscience</i>. Society for Neuroscience, 2000. <a href="https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000">https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000</a>.
  ieee: U. Kraushaar and P. M. Jonas, “Efficacy and stability of quantal GABA release
    at a hippocampal interneuron-principal neuron synapse,” <i>Journal of Neuroscience</i>,
    vol. 20, no. 15. Society for Neuroscience, pp. 5594–5607, 2000.
  ista: Kraushaar U, Jonas PM. 2000. Efficacy and stability of quantal GABA release
    at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience.
    20(15), 5594–5607.
  mla: Kraushaar, Udo, and Peter M. Jonas. “Efficacy and Stability of Quantal GABA
    Release at a Hippocampal Interneuron-Principal Neuron Synapse.” <i>Journal of
    Neuroscience</i>, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607,
    doi:<a href="https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000">10.1523/JNEUROSCI.20-15-05594.2000</a>.
  short: U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
date_created: 2018-12-11T12:03:36Z
date_published: 2000-08-01T00:00:00Z
date_updated: 2023-05-03T08:18:39Z
day: '01'
doi: 10.1523/JNEUROSCI.20-15-05594.2000
extern: '1'
external_id:
  pmid:
  - '10908596'
intvolume: '        20'
issue: '15'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6772523/
month: '08'
oa: 1
oa_version: Published Version
page: 5594 - 5607
pmid: 1
publication: Journal of Neuroscience
publication_identifier:
  issn:
  - 0270-6474
publication_status: published
publisher: Society for Neuroscience
publist_id: '2898'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal
  neuron synapse
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 20
year: '2000'
...
---
_id: '3490'
abstract:
- lang: eng
  text: Long-term depression (LTD) is a form of synaptic plasticity that can be induced
    either by low-frequency stimulation of presynaptic fibers or in an associative
    manner by asynchronous pairing of presynaptic and postsynaptic activity. We investigated
    the induction mechanisms of associative LTD in CA1 pyramidal neurons of the hippocampus
    using whole-cell patch-clamp recordings and Ca2+ imaging in acute brain slices.
    Asynchronous pairing of postsynaptic action potentials with EPSPs evoked with
    a delay of 20 msec induced a robust, long-lasting depression of the EPSP amplitude
    to 43%. Unlike LTD induced by low-frequency stimulation, associative LTD was resistant
    to the application of D-AP-5, indicating that it is independent of NMDA receptors.
    In contrast, associative LTD was inhibited by (S)-α-methyl-4-carboxyphenyl-glycine,
    indicating the involvement of metabotropic glutamate receptors. Furthermore, associative
    LTD is dependent on the activation of voltage-gated Ca2+ channels by postsynaptic
    action potentials. Both nifedipine, an L-type Ca2+ channel antagonist, and ω-conotoxin
    GVIA, a selective N-type channel blocker, abolished the induction of associative
    LTD. 8-hydroxy-2-dipropylaminotetralin (OH-DPAT), a 5-HT(1A) receptor agonist,
    inhibited postsynaptic Ca2+ influx through N-type Ca2+ channels, without affecting
    presynaptic transmitter release. OH-DPAT also inhibited the induction of associative
    LTD, suggesting that the involvement of N-type channels makes synaptic plasticity
    accessible to modulation by neurotransmitters. Thus, the modulation of N-type
    Ca2+ channels provides a gain control for synaptic depression in hippocampal pyramidal
    neurons.
acknowledgement: This work was supported by a grant from the Deutsche Forschungsgemeinschaft
  Bi 642/1–2 and University funds (J.B.) and by the Vada and Theodore Stanley Foundation
  (J.W.). We thank Drs. M. Bartos, J. R. P. Geiger, and M. Martina for critically
  reading this manuscript and A. Blomenkamp for technical assistance.
article_processing_charge: No
article_type: original
author:
- first_name: Claus
  full_name: Normann, Claus
  last_name: Normann
- first_name: Diana
  full_name: Peckys, Diana
  last_name: Peckys
- first_name: Christian
  full_name: Schulze, Christian
  last_name: Schulze
- first_name: Jörg
  full_name: Walden, Jörg
  last_name: Walden
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
- first_name: Joseph
  full_name: Bischofberger, Joseph
  last_name: Bischofberger
citation:
  ama: Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. Associative
    long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+)
    channels. <i>Journal of Neuroscience</i>. 2000;20(22):8290-8297. doi:<a href="https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000">10.1523/JNEUROSCI.20-22-08290.2000</a>
  apa: Normann, C., Peckys, D., Schulze, C., Walden, J., Jonas, P. M., &#38; Bischofberger,
    J. (2000). Associative long-term depression in the hippocampus is dependent on
    postsynaptic N-type Ca(2+) channels. <i>Journal of Neuroscience</i>. Society for
    Neuroscience. <a href="https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000">https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000</a>
  chicago: Normann, Claus, Diana Peckys, Christian Schulze, Jörg Walden, Peter M Jonas,
    and Joseph Bischofberger. “Associative Long-Term Depression in the Hippocampus
    Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” <i>Journal of Neuroscience</i>.
    Society for Neuroscience, 2000. <a href="https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000">https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000</a>.
  ieee: C. Normann, D. Peckys, C. Schulze, J. Walden, P. M. Jonas, and J. Bischofberger,
    “Associative long-term depression in the hippocampus is dependent on postsynaptic
    N-type Ca(2+) channels,” <i>Journal of Neuroscience</i>, vol. 20, no. 22. Society
    for Neuroscience, pp. 8290–8297, 2000.
  ista: Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. 2000.
    Associative long-term depression in the hippocampus is dependent on postsynaptic
    N-type Ca(2+) channels. Journal of Neuroscience. 20(22), 8290–8297.
  mla: Normann, Claus, et al. “Associative Long-Term Depression in the Hippocampus
    Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” <i>Journal of Neuroscience</i>,
    vol. 20, no. 22, Society for Neuroscience, 2000, pp. 8290–97, doi:<a href="https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000">10.1523/JNEUROSCI.20-22-08290.2000</a>.
  short: C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger,
    Journal of Neuroscience 20 (2000) 8290–8297.
date_created: 2018-12-11T12:03:36Z
date_published: 2000-11-15T00:00:00Z
date_updated: 2023-05-03T08:02:52Z
day: '15'
doi: 10.1523/JNEUROSCI.20-22-08290.2000
extern: '1'
external_id:
  pmid:
  - '11069935'
intvolume: '        20'
issue: '22'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6773198/
month: '11'
oa: 1
oa_version: Published Version
page: 8290 - 8297
pmid: 1
publication: Journal of Neuroscience
publication_identifier:
  issn:
  - 0270-6474
publication_status: published
publisher: Society for Neuroscience
publist_id: '2897'
quality_controlled: '1'
status: public
title: Associative long-term depression in the hippocampus is dependent on postsynaptic
  N-type Ca(2+) channels
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 20
year: '2000'
...
---
_id: '3491'
abstract:
- lang: eng
  text: Fast and reliable activation of inhibitory interneurons is critical for the
    stability of cortical neuronal networks. Active conductances in dendrites may
    facilitate interneuron activation, but direct experimental evidence was unavailable.
    Patch-clamp recordings from dendrites of hippocampal oriens- alveus interneurons
    revealed high densities of voltage-gated sodium and potassium ion channels. Simultaneous
    recordings from dendrites and somata suggested that action potential initiation
    occurs preferentially in the axon with long threshold stimuli, but can be shifted
    to somatodendritic sites when brief stimuli are applied. After initiation, action
    potentials propagate over the somatodendritic domain with constant amplitude,
    high velocity, and reliability, even during high-frequency trains.
article_processing_charge: No
article_type: original
author:
- first_name: Marco
  full_name: Martina, Marco
  last_name: Martina
- first_name: Imre
  full_name: Vida, Imre
  last_name: Vida
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
citation:
  ama: Martina M, Vida I, Jonas PM. Distal initiation and active propagation of action
    potentials in interneuron dendrites. <i>Science</i>. 2000;287(5451):295-300. doi:<a
    href="https://doi.org/10.1126/science.287.5451.295">10.1126/science.287.5451.295</a>
  apa: Martina, M., Vida, I., &#38; Jonas, P. M. (2000). Distal initiation and active
    propagation of action potentials in interneuron dendrites. <i>Science</i>. American
    Association for the Advancement of Science. <a href="https://doi.org/10.1126/science.287.5451.295">https://doi.org/10.1126/science.287.5451.295</a>
  chicago: Martina, Marco, Imre Vida, and Peter M Jonas. “Distal Initiation and Active
    Propagation of Action Potentials in Interneuron Dendrites.” <i>Science</i>. American
    Association for the Advancement of Science, 2000. <a href="https://doi.org/10.1126/science.287.5451.295">https://doi.org/10.1126/science.287.5451.295</a>.
  ieee: M. Martina, I. Vida, and P. M. Jonas, “Distal initiation and active propagation
    of action potentials in interneuron dendrites,” <i>Science</i>, vol. 287, no.
    5451. American Association for the Advancement of Science, pp. 295–300, 2000.
  ista: Martina M, Vida I, Jonas PM. 2000. Distal initiation and active propagation
    of action potentials in interneuron dendrites. Science. 287(5451), 295–300.
  mla: Martina, Marco, et al. “Distal Initiation and Active Propagation of Action
    Potentials in Interneuron Dendrites.” <i>Science</i>, vol. 287, no. 5451, American
    Association for the Advancement of Science, 2000, pp. 295–300, doi:<a href="https://doi.org/10.1126/science.287.5451.295">10.1126/science.287.5451.295</a>.
  short: M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300.
date_created: 2018-12-11T12:03:36Z
date_published: 2000-01-14T00:00:00Z
date_updated: 2023-05-03T07:55:32Z
day: '14'
doi: 10.1126/science.287.5451.295
extern: '1'
external_id:
  pmid:
  - '10634782'
intvolume: '       287'
issue: '5451'
language:
- iso: eng
month: '01'
oa_version: None
page: 295 - 300
pmid: 1
publication: Science
publication_identifier:
  issn:
  - 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '2896'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Distal initiation and active propagation of action potentials in interneuron
  dendrites
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 287
year: '2000'
...
