---
_id: '889'
abstract:
- lang: eng
text: 'The function of protein and RNA molecules depends on complex epistatic interactions
between sites. Therefore, the deleterious effect of a mutation can be suppressed
by a compensatory second-site substitution. In relating a list of 86 pathogenic
mutations in human IRNAs encoded by mitochondrial genes to the sequences of their
mammalian orthologs, we noted that 52 pathogenic mutations were present in normal
tRNAs of one or several nonhuman mammals. We found at least five mechanisms of
compensation for 32 pathogenic mutations that destroyed a Watson-Crick pair in
one of the four tRNA stems: restoration of the affected Watson-Crick interaction
(25 cases), strengthening of another pair (4 cases), creation of a new pair (8
cases), changes of multiple interactions in the affected stem (11 cases) and changes
involving the interaction between the loop and stem structures (3 cases). A pathogenic
mutation and its compensating substitution are fixed in a lineage in rapid succession,
and often a compensatory interaction evolves convergently in different clades.
At least 10%, and perhaps as many as 50%, of all nucleotide substitutions in evolving
mammalian (RNAs participate in such interactions, indicating that the evolution
of tRNAs proceeds along highly epistatic fitness ridges.'
acknowledgement: We thank J. Gillespie, M. Hahn, L. Horth, A. Kondrashov, A. Kopp,
S. Nuzhdin, M. Turelli and D. Weinreich for their contributions. The authors were
supported by a grant from the US National Institutes of Health to S. Nuzhdin, and
A.D.K. is a Howard Hughes
author:
- first_name: Andrew
full_name: Kern, Andrew D
last_name: Kern
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Kern A, Kondrashov F. Mechanisms and convergence of compensatory evolution
in mammalian mitochondrial tRNAs. Nature Genetics. 2004;36(11):1207-1212.
doi:10.1038/ng1451
apa: Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory
evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing
Group. https://doi.org/10.1038/ng1451
chicago: Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory
Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics. Nature Publishing
Group, 2004. https://doi.org/10.1038/ng1451.
ieee: A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution
in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature
Publishing Group, pp. 1207–1212, 2004.
ista: Kern A, Kondrashov F. 2004. Mechanisms and convergence of compensatory evolution
in mammalian mitochondrial tRNAs. Nature Genetics. 36(11), 1207–1212.
mla: Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory
Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics, vol. 36,
no. 11, Nature Publishing Group, 2004, pp. 1207–12, doi:10.1038/ng1451.
short: A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
date_created: 2018-12-11T11:49:02Z
date_published: 2004-11-01T00:00:00Z
date_updated: 2021-01-12T08:21:17Z
day: '01'
doi: 10.1038/ng1451
extern: 1
intvolume: ' 36'
issue: '11'
month: '11'
page: 1207 - 1212
publication: Nature Genetics
publication_status: published
publisher: Nature Publishing Group
publist_id: '6759'
quality_controlled: 0
status: public
title: Mechanisms and convergence of compensatory evolution in mammalian mitochondrial
tRNAs
type: journal_article
volume: 36
year: '2004'
...
---
_id: '898'
abstract:
- lang: eng
text: New alleles become fixed owing to random drift of nearly neutral mutations
or to positive selection of substantially advantageous mutations. After decades
of debate, the fraction of fixations driven by selection remains uncertain. Within
9,390 genes, we analysed 28,196 codons at which rat and mouse differ from each
other at two nucleotide sites and 1,982 codons with three differences. At codons
where rat-mouse divergence involved two non-synonymous substitutions, both of
them occurred in the same lineage, either rat or mouse, in 64% of cases; however,
independent substitutions would occur in the same lineage with a probability of
only 50%. All three non-synonymous substitutions occurred in the same lineage
for 46% of codons, instead of the 25% expected. Furthermore, comparison of 12
pairs of prokaryotic genomes also shows clumping of multiple non-synonymous substitutions
in the same lineage. This pattern cannot be explained by correlated mutation or
episodes of relaxed negative selection, but instead indicates that positive selection
acts at many sites of rapid, successive amino acid replacement.
acknowledgement: We thank N. Bierne for a number of suggestions. G.A.B. was supported
by a BWF graduate fellowship. S.S. was supported by Genome Canada Foundation.
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: Aleksey
full_name: Ogurtsov, Aleksey Yu
last_name: Ogurtsov
- first_name: Shamil
full_name: Sunyaev, Shamil R
last_name: Sunyaev
- first_name: Alexey
full_name: Kondrashov, Alexey S
last_name: Kondrashov
citation:
ama: Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. Positive selection
at sites of multiple amino acid replacements since rat-mouse divergence. Nature.
2004;429(6991):558-562. doi:10.1038/nature02601
apa: Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., & Kondrashov, A.
(2004). Positive selection at sites of multiple amino acid replacements since
rat-mouse divergence. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02601
chicago: Bazykin, Georgii, Fyodor Kondrashov, Aleksey Ogurtsov, Shamil Sunyaev,
and Alexey Kondrashov. “Positive Selection at Sites of Multiple Amino Acid Replacements
since Rat-Mouse Divergence.” Nature. Nature Publishing Group, 2004. https://doi.org/10.1038/nature02601.
ieee: G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, and A. Kondrashov, “Positive
selection at sites of multiple amino acid replacements since rat-mouse divergence,”
Nature, vol. 429, no. 6991. Nature Publishing Group, pp. 558–562, 2004.
ista: Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. 2004. Positive
selection at sites of multiple amino acid replacements since rat-mouse divergence.
Nature. 429(6991), 558–562.
mla: Bazykin, Georgii, et al. “Positive Selection at Sites of Multiple Amino Acid
Replacements since Rat-Mouse Divergence.” Nature, vol. 429, no. 6991, Nature
Publishing Group, 2004, pp. 558–62, doi:10.1038/nature02601.
short: G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature
429 (2004) 558–562.
date_created: 2018-12-11T11:49:05Z
date_published: 2004-06-03T00:00:00Z
date_updated: 2021-01-12T08:21:37Z
day: '03'
doi: 10.1038/nature02601
extern: 1
intvolume: ' 429'
issue: '6991'
month: '06'
page: 558 - 562
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '6746'
quality_controlled: 0
status: public
title: Positive selection at sites of multiple amino acid replacements since rat-mouse
divergence
type: journal_article
volume: 429
year: '2004'
...
---
_id: '1963'
abstract:
- lang: eng
text: The mechanism coupling electron transfer and proton pumping in respiratory
complex I (NADH-ubiquinone oxidoreductase) has not been established, but it has
been suggested that it involves conformational changes. Here, the influence of
substrates on the conformation of purified complex I from Escherichia coli was
studied by cross-linking and electron microscopy. When a zero-length cross-linking
reagent was used, the presence of NAD(P)H, in contrast to that of NAD+, prevented
the formation of cross-links between the hydrophilic subunits of the complex,
including NuoB, NuoI, and NuoCD. Comparisons using different cross-linkers suggested
that NuoB, which is likely to coordinate the key iron-sulfur cluster N2, is the
most mobile subunit. The presence of NAD(P)H led also to enhanced proteolysis
of subunit NuoG. These data indicate that upon NAD(P)H binding, the peripheral
arm of the complex adopts a more open conformation, with increased distances between
subunits. Single particle analysis showed the nature of this conformational change.
The enzyme retains its L-shape in the presence of NADH, but exhibits a significantly
more open or expanded structure both in the peripheral arm and, unexpectedly,
in the membrane domain also.
acknowledgement: This work was supported by the Medical Research Council and by a
Royal Society/North Atlantic Treaty Organization postdoctoral fellowship (to A.
A. M.)
author:
- first_name: Aygun
full_name: Mamedova, Aygun A
last_name: Mamedova
- first_name: Peter
full_name: Holt, Peter J
last_name: Holt
- first_name: Joe
full_name: Carroll, Joe D
last_name: Carroll
- first_name: Leonid A
full_name: Leonid Sazanov
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Mamedova A, Holt P, Carroll J, Sazanov LA. Substrate-induced conformational
change in bacterial complex I. Journal of Biological Chemistry. 2004;279(22):23830-23836.
doi:10.1074/jbc.M401539200
apa: Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced
conformational change in bacterial complex I. Journal of Biological Chemistry.
American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M401539200
chicago: Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced
Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry.
American Society for Biochemistry and Molecular Biology, 2004. https://doi.org/10.1074/jbc.M401539200.
ieee: A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational
change in bacterial complex I,” Journal of Biological Chemistry, vol. 279,
no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836,
2004.
ista: Mamedova A, Holt P, Carroll J, Sazanov LA. 2004. Substrate-induced conformational
change in bacterial complex I. Journal of Biological Chemistry. 279(22), 23830–23836.
mla: Mamedova, Aygun, et al. “Substrate-Induced Conformational Change in Bacterial
Complex I.” Journal of Biological Chemistry, vol. 279, no. 22, American
Society for Biochemistry and Molecular Biology, 2004, pp. 23830–36, doi:10.1074/jbc.M401539200.
short: A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry
279 (2004) 23830–23836.
date_created: 2018-12-11T11:54:56Z
date_published: 2004-05-28T00:00:00Z
date_updated: 2021-01-12T06:54:22Z
day: '28'
doi: 10.1074/jbc.M401539200
extern: 1
intvolume: ' 279'
issue: '22'
month: '05'
page: 23830 - 23836
publication: Journal of Biological Chemistry
publication_status: published
publisher: American Society for Biochemistry and Molecular Biology
publist_id: '5123'
quality_controlled: 0
status: public
title: Substrate-induced conformational change in bacterial complex I
type: journal_article
volume: 279
year: '2004'
...
---
_id: '209'
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Roger
full_name: Heath-Brown, Roger
last_name: Heath Brown
citation:
ama: Browning TD, Heath Brown R. Equal sums of three powers. Inventiones Mathematicae.
2004;157(3):553-573. doi:10.1007/s00222-004-0360-9
apa: Browning, T. D., & Heath Brown, R. (2004). Equal sums of three powers.
Inventiones Mathematicae. Unknown. https://doi.org/10.1007/s00222-004-0360-9
chicago: Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.”
Inventiones Mathematicae. Unknown, 2004. https://doi.org/10.1007/s00222-004-0360-9.
ieee: T. D. Browning and R. Heath Brown, “Equal sums of three powers,” Inventiones
Mathematicae, vol. 157, no. 3. Unknown, pp. 553–573, 2004.
ista: Browning TD, Heath Brown R. 2004. Equal sums of three powers. Inventiones
Mathematicae. 157(3), 553–573.
mla: Browning, Timothy D., and Roger Heath Brown. “Equal Sums of Three Powers.”
Inventiones Mathematicae, vol. 157, no. 3, Unknown, 2004, pp. 553–73, doi:10.1007/s00222-004-0360-9.
short: T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
date_created: 2018-12-11T11:45:13Z
date_published: 2004-03-17T00:00:00Z
date_updated: 2021-01-12T06:55:14Z
day: '17'
doi: 10.1007/s00222-004-0360-9
extern: 1
intvolume: ' 157'
issue: '3'
month: '03'
page: 553 - 573
publication: Inventiones Mathematicae
publication_status: published
publisher: Unknown
publist_id: '7703'
quality_controlled: 0
status: public
title: Equal sums of three powers
type: journal_article
volume: 157
year: '2004'
...
---
_id: '2308'
abstract:
- lang: eng
text: It is widely believed that the inflammatory events mediated by microglial
activation contribute to several neurodegenerative processes. Alzheimer's disease,
for example, is characterized by an accumulation of β-amyloid protein (Aβ) in
neuritic plaques that are infiltrated by reactive microglia and astrocytes. Although
Aβ and its fragment 25-35 exert a direct toxic effect on neurons, they also activate
microglia. Microglial activation is accompanied by morphological changes, cell
proliferation, and release of various cytokines and growth factors. A number of
scientific reports suggest that the increased proliferation of microglial cells
is dependent on ionic membrane currents and in particular on chloride conductances.
An unusual chloride ion channel known to be associated with macrophage activation
is the chloride intracellular channel-1 (CLIC1). Here we show that Aβ stimulation
of neonatal rat microglia specifically leads to the increase in CLIC1 protein
and to the functional expression of CLIC1 chloride conductance, both barely detectable
on the plasma membrane of quiescent cells. CLIC1 protein expression in microglia
increases after 24 hr of incubation with Aβ, simultaneously with the production
of reactive nitrogen intermediates and of tumor necrosis factor-α (TNF-α). We
demonstrate that reducing CLIC1 chloride conductance by a specific blocker [IAA-94
(R(+)-[(6,7-dichloro-2-cyclopentyl-2,3-dihydro-2-methyl-1-oxo-1H-inden-5yl)-oxy]
acetic acid)] prevents neuronal apoptosis in neurons cocultured with Aβ-treated
microglia. Furthermore, we show that small interfering RNAs used to knock down
CLIC1 expression prevent TNF-α release induced by Aβ stimulation. These results
provide a direct link between Aβ-induced microglial activation and CLIC1 functional
expression.
author:
- first_name: Gaia
full_name: Gaia Novarino
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Cinzia
full_name: Fabrizi, Cinzia
last_name: Fabrizi
- first_name: Raffaella
full_name: Tonini, Raffaella
last_name: Tonini
- first_name: Michela
full_name: Denti, Michela A
last_name: Denti
- first_name: Albedi
full_name: Malchiodi, Albedi F
last_name: Malchiodi
- first_name: Giuliana
full_name: Lauro, Giuliana M
last_name: Lauro
- first_name: Benedetto
full_name: Sacchetti, Benedetto
last_name: Sacchetti
- first_name: Silvia
full_name: Paradisi, Silvia
last_name: Paradisi
- first_name: Arnaldo
full_name: Ferroni, Arnaldo
last_name: Ferroni
- first_name: Paul
full_name: Curmi, Paul M G
last_name: Curmi
- first_name: Samuel
full_name: Breit, Samuel N
last_name: Breit
- first_name: Michele
full_name: Mazzanti, Michele
last_name: Mazzanti
citation:
ama: Novarino G, Fabrizi C, Tonini R, et al. Involvement of the intracellular ion
channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal
of Neuroscience. 2004;24(23):5322-5330. doi:10.1523/JNEUROSCI.1170-04.2004
apa: Novarino, G., Fabrizi, C., Tonini, R., Denti, M., Malchiodi, A., Lauro, G.,
… Mazzanti, M. (2004). Involvement of the intracellular ion channel CLIC1 in microglia-mediated
β-amyloid-induced neurotoxicity. Journal of Neuroscience. Society for Neuroscience.
https://doi.org/10.1523/JNEUROSCI.1170-04.2004
chicago: Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi
Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular
Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal
of Neuroscience. Society for Neuroscience, 2004. https://doi.org/10.1523/JNEUROSCI.1170-04.2004.
ieee: G. Novarino et al., “Involvement of the intracellular ion channel CLIC1
in microglia-mediated β-amyloid-induced neurotoxicity,” Journal of Neuroscience,
vol. 24, no. 23. Society for Neuroscience, pp. 5322–5330, 2004.
ista: Novarino G, Fabrizi C, Tonini R, Denti M, Malchiodi A, Lauro G, Sacchetti
B, Paradisi S, Ferroni A, Curmi P, Breit S, Mazzanti M. 2004. Involvement of the
intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity.
Journal of Neuroscience. 24(23), 5322–5330.
mla: Novarino, Gaia, et al. “Involvement of the Intracellular Ion Channel CLIC1
in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience,
vol. 24, no. 23, Society for Neuroscience, 2004, pp. 5322–30, doi:10.1523/JNEUROSCI.1170-04.2004.
short: G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B.
Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of
Neuroscience 24 (2004) 5322–5330.
date_created: 2018-12-11T11:56:54Z
date_published: 2004-06-09T00:00:00Z
date_updated: 2021-01-12T06:56:41Z
day: '09'
doi: 10.1523/JNEUROSCI.1170-04.2004
extern: 1
intvolume: ' 24'
issue: '23'
month: '06'
page: 5322 - 5330
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '4620'
quality_controlled: 0
status: public
title: Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced
neurotoxicity
type: journal_article
volume: 24
year: '2004'
...
---
_id: '2355'
abstract:
- lang: eng
text: 'The BMV conjecture for traces, which states that Tr exp(A - λB) is the Laplace
transform of a positive measure, is shown to be equivalent to two other statements:
(i) The polynomial λ → Tr(A + λB) p has only non-negative coefficients for all
A, B ≥ 0, p ∈ ℕ and (ii) λ → Tr(A + λB)-p is the Laplace transform of a positive
measure for A, B ≥ 0, p > 0.'
author:
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Lieb É, Seiringer R. Equivalent forms of the Bessis-Moussa-Villani conjecture.
Journal of Statistical Physics. 2004;115(1-2):185-190. doi:10.1023/B:JOSS.0000019811.15510.27
apa: Lieb, É., & Seiringer, R. (2004). Equivalent forms of the Bessis-Moussa-Villani
conjecture. Journal of Statistical Physics. Springer. https://doi.org/10.1023/B:JOSS.0000019811.15510.27
chicago: Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani
Conjecture.” Journal of Statistical Physics. Springer, 2004. https://doi.org/10.1023/B:JOSS.0000019811.15510.27.
ieee: É. Lieb and R. Seiringer, “ Equivalent forms of the Bessis-Moussa-Villani
conjecture,” Journal of Statistical Physics, vol. 115, no. 1–2. Springer,
pp. 185–190, 2004.
ista: Lieb É, Seiringer R. 2004. Equivalent forms of the Bessis-Moussa-Villani
conjecture. Journal of Statistical Physics. 115(1–2), 185–190.
mla: Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani
Conjecture.” Journal of Statistical Physics, vol. 115, no. 1–2, Springer,
2004, pp. 185–90, doi:10.1023/B:JOSS.0000019811.15510.27.
short: É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.
date_created: 2018-12-11T11:57:11Z
date_published: 2004-04-01T00:00:00Z
date_updated: 2021-01-12T06:56:59Z
day: '01'
doi: 10.1023/B:JOSS.0000019811.15510.27
extern: 1
intvolume: ' 115'
issue: 1-2
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0210027
month: '04'
oa: 1
page: 185 - 190
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '4568'
quality_controlled: 0
status: public
title: ' Equivalent forms of the Bessis-Moussa-Villani conjecture'
type: journal_article
volume: 115
year: '2004'
...
---
_id: '2356'
abstract:
- lang: eng
text: 'Recent experimental and theoretical work has shown that there are conditions
in which a trapped, low-density Bose gas behaves like the one-dimensional delta-function
Bose gas solved years ago by Lieb and Liniger. This is an intrinsically quantum-mechanical
phenomenon because it is not necessary to have a trap width that is the size of
an atom - as might have been supposed - but it suffices merely to have a trap
width such that the energy gap for motion in the transverse direction is large
compared to the energy associated with the motion along the trap. Up to now the
theoretical arguments have been based on variational - perturbative ideas or numerical
investigations. In contrast, this paper gives a rigorous proof of the one-dimensional
behavior as far as the ground state energy and particle density are concerned.
There are four parameters involved: the particle number, N, transverse and longitudinal
dimensions of the trap, r and L, and the scattering length a of the interaction
potential. Our main result is that if r/L → 0 and N → ∞ the ground state energy
and density can be obtained by minimizing a one-dimensional density functional
involving the Lieb-Liniger energy density with coupling constant ∼ a/r 2. This
density functional simplifies in various limiting cases and we identify five asymptotic
parameter regions altogether. Three of these, corresponding to the weak coupling
regime, can also be obtained as limits of a three-dimensional Gross-Pitaevskii
theory. We also show that Bose-Einstein condensation in the ground state persists
in a part of this regime. In the strong coupling regime the longitudinal motion
of the particles is strongly correlated. The Gross-Pitaevskii description is not
valid in this regime and new mathematical methods come into play.'
author:
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jakob
full_name: Yngvason, Jakob
last_name: Yngvason
citation:
ama: Lieb É, Seiringer R, Yngvason J. One-dimensional behavior of dilute, trapped
Bose gases. Communications in Mathematical Physics. 2004;244(2):347-393.
doi:10.1007/s00220-003-0993-3
apa: Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior
of dilute, trapped Bose gases. Communications in Mathematical Physics.
Springer. https://doi.org/10.1007/s00220-003-0993-3
chicago: Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior
of Dilute, Trapped Bose Gases.” Communications in Mathematical Physics.
Springer, 2004. https://doi.org/10.1007/s00220-003-0993-3.
ieee: É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional behavior of dilute,
trapped Bose gases,” Communications in Mathematical Physics, vol. 244,
no. 2. Springer, pp. 347–393, 2004.
ista: Lieb É, Seiringer R, Yngvason J. 2004. One-dimensional behavior of dilute,
trapped Bose gases. Communications in Mathematical Physics. 244(2), 347–393.
mla: Lieb, Élliott, et al. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.”
Communications in Mathematical Physics, vol. 244, no. 2, Springer, 2004,
pp. 347–93, doi:10.1007/s00220-003-0993-3.
short: É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics
244 (2004) 347–393.
date_created: 2018-12-11T11:57:11Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:59Z
day: '01'
doi: 10.1007/s00220-003-0993-3
extern: 1
intvolume: ' 244'
issue: '2'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0305025
month: '01'
oa: 1
page: 347 - 393
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4569'
quality_controlled: 0
status: public
title: One-dimensional behavior of dilute, trapped Bose gases
type: journal_article
volume: 244
year: '2004'
...
---
_id: '2360'
abstract:
- lang: eng
text: An optical lattice model developed that is similar to the Bose-Hubbard model
to describe the transition between Bose-Einstein condensation (BEC) and a Mott
insulator state was analyzed. It was found that the system was a hard core lattice
gas at half of the maximum density and the optical lattice was modeled by a periodic
potential of strength λ. It was also observed that the interparticle interaction
was essential for this transition that occurred even in the ground state. The
results show that all the essential features could be proved rigorously such as
the existence of BEC for small λ and its suppression for a large λ.
author:
- first_name: Michael
full_name: Aizenman, Michael
last_name: Aizenman
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jan
full_name: Solovej, Jan P
last_name: Solovej
- first_name: Jakob
full_name: Yngvason, Jakob
last_name: Yngvason
citation:
ama: Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. Bose-Einstein quantum
phase transition in an optical lattice model. Physical Review A - Atomic, Molecular,
and Optical Physics. 2004;70(2):023612-1-0236121-2. doi:10.1103/PhysRevA.70.023612
apa: Aizenman, M., Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2004).
Bose-Einstein quantum phase transition in an optical lattice model. Physical
Review A - Atomic, Molecular, and Optical Physics. American Physical Society.
https://doi.org/10.1103/PhysRevA.70.023612
chicago: Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob
Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.”
Physical Review A - Atomic, Molecular, and Optical Physics. American Physical
Society, 2004. https://doi.org/10.1103/PhysRevA.70.023612.
ieee: M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, and J. Yngvason, “Bose-Einstein
quantum phase transition in an optical lattice model,” Physical Review A -
Atomic, Molecular, and Optical Physics, vol. 70, no. 2. American Physical
Society, pp. 023612-1-0236121-2, 2004.
ista: Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. 2004. Bose-Einstein
quantum phase transition in an optical lattice model. Physical Review A - Atomic,
Molecular, and Optical Physics. 70(2), 023612-1-0236121-2.
mla: Aizenman, Michael, et al. “Bose-Einstein Quantum Phase Transition in an Optical
Lattice Model.” Physical Review A - Atomic, Molecular, and Optical Physics,
vol. 70, no. 2, American Physical Society, 2004, pp. 023612-1-0236121-2, doi:10.1103/PhysRevA.70.023612.
short: M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, Physical Review
A - Atomic, Molecular, and Optical Physics 70 (2004) 023612-1-0236121-2.
date_created: 2018-12-11T11:57:12Z
date_published: 2004-08-01T00:00:00Z
date_updated: 2021-01-12T06:57:01Z
day: '01'
doi: 10.1103/PhysRevA.70.023612
extern: 1
intvolume: ' 70'
issue: '2'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/cond-mat/0403240
month: '08'
oa: 1
page: 023612 - 1-0236121-2
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_status: published
publisher: American Physical Society
publist_id: '4567'
quality_controlled: 0
status: public
title: Bose-Einstein quantum phase transition in an optical lattice model
type: journal_article
volume: 70
year: '2004'
...
---
_id: '2417'
alternative_title:
- 'Contemporary Mathematics '
author:
- first_name: László
full_name: Lovász, László
last_name: Lovász
- first_name: Katalin
full_name: Vesztergombi, Katalin
last_name: Vesztergombi
- first_name: Uli
full_name: Uli Wagner
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: 'Lovász L, Vesztergombi K, Wagner U, Welzl E. Convex quadrilaterals and k-sets
. In: Pach J, ed. Towards a Theory of Geometric Graphs. Vol 342. American
Mathematical Society; 2004:139-148. doi:10.1090/conm/342'
apa: Lovász, L., Vesztergombi, K., Wagner, U., & Welzl, E. (2004). Convex quadrilaterals
and k-sets . In J. Pach (Ed.), Towards a Theory of Geometric Graphs (Vol.
342, pp. 139–148). American Mathematical Society. https://doi.org/10.1090/conm/342
chicago: Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex
Quadrilaterals and K-Sets .” In Towards a Theory of Geometric Graphs, edited
by János Pach, 342:139–48. American Mathematical Society, 2004. https://doi.org/10.1090/conm/342.
ieee: L. Lovász, K. Vesztergombi, U. Wagner, and E. Welzl, “Convex quadrilaterals
and k-sets ,” in Towards a Theory of Geometric Graphs, vol. 342, J. Pach,
Ed. American Mathematical Society, 2004, pp. 139–148.
ista: 'Lovász L, Vesztergombi K, Wagner U, Welzl E. 2004.Convex quadrilaterals and
k-sets . In: Towards a Theory of Geometric Graphs. Contemporary Mathematics ,
vol. 342, 139–148.'
mla: Lovász, László, et al. “Convex Quadrilaterals and K-Sets .” Towards a Theory
of Geometric Graphs, edited by János Pach, vol. 342, American Mathematical
Society, 2004, pp. 139–48, doi:10.1090/conm/342.
short: L. Lovász, K. Vesztergombi, U. Wagner, E. Welzl, in:, J. Pach (Ed.), Towards
a Theory of Geometric Graphs, American Mathematical Society, 2004, pp. 139–148.
date_created: 2018-12-11T11:57:32Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:21Z
day: '01'
doi: 10.1090/conm/342
editor:
- first_name: János
full_name: Pach, János
last_name: Pach
extern: 1
intvolume: ' 342'
month: '01'
page: 139 - 148
publication: Towards a Theory of Geometric Graphs
publication_status: published
publisher: American Mathematical Society
publist_id: '4508'
quality_controlled: 0
status: public
title: 'Convex quadrilaterals and k-sets '
type: book_chapter
volume: 342
year: '2004'
...
---
_id: '2425'
abstract:
- lang: eng
text: A finite set N ⊂ Rd is a weak ε-net for an n-point set X ⊂ Rd (with respect
to convex sets) if N intersects every convex set K with |K ∩ X| ≥ εn. We give
an alternative, and arguably simpler, proof of the fact, first shown by Chazelle
et al., that every point set X in Rd admits a weak ε-net of cardinality O(ε-dpolylog(1/ε)).
Moreover, for a number of special point sets (e.g., for points on the moment curve),
our method gives substantially better bounds. The construction yields an algorithm
to construct such weak ε-nets in time O(n ln(1/ε)).
author:
- first_name: Jiří
full_name: Matoušek, Jiří
last_name: Matoušek
- first_name: Uli
full_name: Uli Wagner
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: Matoušek J, Wagner U. New constructions of weak ε-nets. Discrete & Computational
Geometry. 2004;32(2):195-206. doi:10.1007/s00454-004-1116-4
apa: Matoušek, J., & Wagner, U. (2004). New constructions of weak ε-nets. Discrete
& Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1116-4
chicago: Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete
& Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1116-4.
ieee: J. Matoušek and U. Wagner, “New constructions of weak ε-nets,” Discrete
& Computational Geometry, vol. 32, no. 2. Springer, pp. 195–206, 2004.
ista: Matoušek J, Wagner U. 2004. New constructions of weak ε-nets. Discrete &
Computational Geometry. 32(2), 195–206.
mla: Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete
& Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 195–206,
doi:10.1007/s00454-004-1116-4.
short: J. Matoušek, U. Wagner, Discrete & Computational Geometry 32 (2004) 195–206.
date_created: 2018-12-11T11:57:35Z
date_published: 2004-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:24Z
day: '01'
doi: 10.1007/s00454-004-1116-4
extern: 1
intvolume: ' 32'
issue: '2'
month: '07'
page: 195 - 206
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '4500'
quality_controlled: 0
status: public
title: New constructions of weak ε-nets
type: journal_article
volume: 32
year: '2004'
...
---
_id: '2426'
abstract:
- lang: eng
text: We introduce the adaptive neighborhood graph as a data structure for modeling
a smooth manifold M embedded in some Euclidean space ℝ d. We assume that M is
known to us only through a finite sample P ⊂ M, as is often the case in applications.
The adaptive neighborhood graph is a geometric graph on P. Its complexity is at
most min{2O(k)n, n2}, where n = P and k = dim M, as opposed to the n[d/2] complexity
of the Delaunay triangulation, which is often used to model manifolds. We prove
that we can correctly infer the connected components and the dimension of M from
the adaptive neighborhood graph provided a certain standard sampling condition
is fulfilled. The running time of the dimension detection algorithm is d20(k7
log k) for each connected component of M. If the dimension is considered constant,
this is a constant-time operation, and the adaptive neighborhood graph is of linear
size. Moreover, the exponential dependence of the constants is only on the intrinsic
dimension k, not on the ambient dimension d. This is of particular interest if
the co-dimension is high, i.e., if k is much smaller than d, as is the case in
many applications. The adaptive neighborhood graph also allows us to approximate
the geodesic distances between the points in P.
author:
- first_name: Joachim
full_name: Giesen, Joachim
last_name: Giesen
- first_name: Uli
full_name: Uli Wagner
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: Giesen J, Wagner U. Shape dimension and intrinsic metric from samples of manifolds.
Discrete & Computational Geometry. 2004;32(2):245-267. doi:10.1007/s00454-004-1120-8
apa: Giesen, J., & Wagner, U. (2004). Shape dimension and intrinsic metric from
samples of manifolds. Discrete & Computational Geometry. Springer.
https://doi.org/10.1007/s00454-004-1120-8
chicago: Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric
from Samples of Manifolds.” Discrete & Computational Geometry. Springer,
2004. https://doi.org/10.1007/s00454-004-1120-8.
ieee: J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples
of manifolds,” Discrete & Computational Geometry, vol. 32, no. 2. Springer,
pp. 245–267, 2004.
ista: Giesen J, Wagner U. 2004. Shape dimension and intrinsic metric from samples
of manifolds. Discrete & Computational Geometry. 32(2), 245–267.
mla: Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from
Samples of Manifolds.” Discrete & Computational Geometry, vol. 32,
no. 2, Springer, 2004, pp. 245–67, doi:10.1007/s00454-004-1120-8.
short: J. Giesen, U. Wagner, Discrete & Computational Geometry 32 (2004) 245–267.
date_created: 2018-12-11T11:57:35Z
date_published: 2004-09-01T00:00:00Z
date_updated: 2021-01-12T06:57:25Z
day: '01'
doi: 10.1007/s00454-004-1120-8
extern: 1
intvolume: ' 32'
issue: '2'
month: '09'
page: 245 - 267
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '4499'
quality_controlled: 0
status: public
title: Shape dimension and intrinsic metric from samples of manifolds
type: journal_article
volume: 32
year: '2004'
...
---
_id: '7333'
abstract:
- lang: eng
text: The analysis of the complete H2/air polymer electrolyte fuel cell system shows
that process air humidification is one of the biggest obstacles for a high performance
portable system in the kW range. Therefore, a new concept, with passive process
air humidification integrated into the stack, has been developed. Humidification
in each cell makes the process independent from the number of cells and the operation
mode, thus making the concept fully scalable. Without external humidification
the system is simpler, smaller, and cheaper. The humidification of the process
air is achieved by transfer of product water from the exhaust air, through part
of the membrane, to the dry intake air. Tests have shown that cells using the
concept of internal humidification and operated with dry air at 70 ° have almost
the same performance as when operated with external humidification. A 42‐cell
stack with this internal humidification concept was built and integrated into
a portable 1 kW power generator system.
article_processing_charge: No
article_type: original
author:
- first_name: M.
full_name: Santis, M.
last_name: Santis
- first_name: D.
full_name: Schmid, D.
last_name: Schmid
- first_name: M.
full_name: Ruge, M.
last_name: Ruge
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
- first_name: F.N.
full_name: Büchi, F.N.
last_name: Büchi
citation:
ama: Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. Modular stack-internal
air humidification concept-verification in a 1 kW stack. Fuel Cells. 2004;4(3):214-218.
doi:10.1002/fuce.200400028
apa: Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004).
Modular stack-internal air humidification concept-verification in a 1 kW stack.
Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
chicago: Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N.
Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW
Stack.” Fuel Cells. Wiley, 2004. https://doi.org/10.1002/fuce.200400028.
ieee: M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular
stack-internal air humidification concept-verification in a 1 kW stack,” Fuel
Cells, vol. 4, no. 3. Wiley, pp. 214–218, 2004.
ista: Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. 2004. Modular stack-internal
air humidification concept-verification in a 1 kW stack. Fuel Cells. 4(3), 214–218.
mla: Santis, M., et al. “Modular Stack-Internal Air Humidification Concept-Verification
in a 1 KW Stack.” Fuel Cells, vol. 4, no. 3, Wiley, 2004, pp. 214–18, doi:10.1002/fuce.200400028.
short: M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4
(2004) 214–218.
date_created: 2020-01-15T12:24:14Z
date_published: 2004-08-01T00:00:00Z
date_updated: 2021-01-12T08:13:08Z
day: '01'
doi: 10.1002/fuce.200400028
extern: '1'
intvolume: ' 4'
issue: '3'
language:
- iso: eng
month: '08'
oa_version: None
page: 214-218
publication: Fuel Cells
publication_identifier:
issn:
- 1615-6846
- 1615-6854
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Modular stack-internal air humidification concept-verification in a 1 kW stack
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2004'
...
---
_id: '7334'
abstract:
- lang: eng
text: 'Fundamental and phenomenological models for cells, stacks, and complete systems
of PEFC and SOFC are reviewed and their predictive power is assessed by comparing
model simulations against experiments. Computationally efficient models suited
for engineering design include the (1+1) dimensionality approach, which decouples
the membrane in-plane and through-plane processes, and the volume-averaged-method
(VAM) that considers only the lumped effect of pre-selected system components.
The former model was shown to capture the measured lateral current density inhomogeneities
in a PEFC and the latter was used for the optimization of commercial SOFC systems.
State Space Modeling (SSM) was used to identify the main reaction pathways in
SOFC and, in conjunction with the implementation of geometrically well-defined
electrodes, has opened a new direction for the understanding of electrochemical
reactions. Furthermore, SSM has advanced the understanding of the COpoisoning-induced
anode impedance in PEFC. Detailed numerical models such as the Lattice Boltzmann
(LB) method for transport in porous media and the full 3-D Computational Fluid
Dynamics (CFD) Navier-Stokes simulations are addressed. These models contain all
components of the relevant physics and they can improve the understanding of the
related phenomena, a necessary condition for the development of both appropriate
simplified models as well as reliable technologies. Within the LB framework, a
technique for the characterization and computer-reconstruction of the porous electrode
structure was developed using advanced pattern recognition algorithms. In CFD
modeling, 3-D simulations were used to investigate SOFC with internal methane
steam reforming and have exemplified the significance of porous and novel fractal
channel distributors for the fuel and oxidant delivery, as well as for the cooling
of PEFC. As importantly, the novel concept has been put forth of functionally
designed, fractal-shaped fuel cells, showing promise of significant performance
improvements over the conventional rectangular shaped units. Thermo-economic modeling
for the optimization of PEFC is finally addressed. '
article_processing_charge: No
article_type: original
author:
- first_name: John
full_name: Mantzaras, John
last_name: Mantzaras
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
- first_name: Felix N.
full_name: Büchi, Felix N.
last_name: Büchi
- first_name: Markus
full_name: Roos, Markus
last_name: Roos
- first_name: Wilhelm
full_name: Brandstätter, Wilhelm
last_name: Brandstätter
- first_name: Michel
full_name: Prestat, Michel
last_name: Prestat
- first_name: Ludwig J.
full_name: Gauckler, Ludwig J.
last_name: Gauckler
- first_name: Bernhard
full_name: Andreaus, Bernhard
last_name: Andreaus
- first_name: Faegheh
full_name: Hajbolouri, Faegheh
last_name: Hajbolouri
- first_name: Stephan M.
full_name: Senn, Stephan M.
last_name: Senn
- first_name: Dimos
full_name: Poulikakos, Dimos
last_name: Poulikakos
- first_name: Andreas K.
full_name: Chaniotis, Andreas K.
last_name: Chaniotis
- first_name: Diego
full_name: Larrain, Diego
last_name: Larrain
- first_name: Nordahl
full_name: Autissier, Nordahl
last_name: Autissier
- first_name: François
full_name: Maréchal, François
last_name: Maréchal
citation:
ama: Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations.
CHIMIA International Journal for Chemistry. 2004;58(12):857-868. doi:10.2533/000942904777677029
apa: Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W.,
Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA
International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
chicago: Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos,
Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling
and Simulations.” CHIMIA International Journal for Chemistry. Swiss Chemical
Society, 2004. https://doi.org/10.2533/000942904777677029.
ieee: J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA
International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society,
pp. 857–868, 2004.
ista: Mantzaras J, Freunberger SA, Büchi FN, Roos M, Brandstätter W, Prestat M,
Gauckler LJ, Andreaus B, Hajbolouri F, Senn SM, Poulikakos D, Chaniotis AK, Larrain
D, Autissier N, Maréchal F. 2004. Fuel cell modeling and simulations. CHIMIA International
Journal for Chemistry. 58(12), 857–868.
mla: Mantzaras, John, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International
Journal for Chemistry, vol. 58, no. 12, Swiss Chemical Society, 2004, pp.
857–68, doi:10.2533/000942904777677029.
short: J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M.
Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos,
A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal
for Chemistry 58 (2004) 857–868.
date_created: 2020-01-15T12:24:23Z
date_published: 2004-12-01T00:00:00Z
date_updated: 2021-01-12T08:13:09Z
day: '01'
doi: 10.2533/000942904777677029
extern: '1'
intvolume: ' 58'
issue: '12'
language:
- iso: eng
month: '12'
oa_version: None
page: 857-868
publication: CHIMIA International Journal for Chemistry
publication_identifier:
issn:
- 0009-4293
publication_status: published
publisher: Swiss Chemical Society
quality_controlled: '1'
status: public
title: Fuel cell modeling and simulations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 58
year: '2004'
...
---
_id: '7706'
abstract:
- lang: eng
text: 'The Sir2 deacetylase modulates organismal life-span in various species. However,
the molecular mechanisms by which Sir2 increases longevity are largely unknown.
We show that in mammalian cells, the Sir2 homolog SIRT1 appears to control the
cellular response to stress by regulating the FOXO family of Forkhead transcription
factors, a family of proteins that function as sensors of the insulin signaling
pathway and as regulators of organismal longevity. SIRT1 and the FOXO transcription
factor FOXO3 formed a complex in cells in response to oxidative stress, and SIRT1
deacetylated FOXO3 in vitro and within cells. SIRT1 had a dual effect on FOXO3
function: SIRT1 increased FOXO3''s ability to induce cell cycle arrest and resistance
to oxidative stress but inhibited FOXO3''s ability to induce cell death. Thus,
one way in which members of the Sir2 family of proteins may increase organismal
longevity is by tipping FOXO-dependent responses away from apoptosis and toward
stress resistance.'
article_processing_charge: No
article_type: original
author:
- first_name: Anne
full_name: Brunet, Anne
last_name: Brunet
- first_name: Lora Beatrice Jaeger
full_name: Sweeney, Lora Beatrice Jaeger
id: 56BE8254-C4F0-11E9-8E45-0B23E6697425
last_name: Sweeney
orcid: 0000-0001-9242-5601
- first_name: 'J Fitzhugh '
full_name: 'Sturgill, J Fitzhugh '
last_name: Sturgill
- first_name: Katrin
full_name: Chua, Katrin
last_name: Chua
- first_name: Paul
full_name: Greer, Paul
last_name: Greer
- first_name: Yingxi
full_name: Lin, Yingxi
last_name: Lin
- first_name: Hien
full_name: Tran, Hien
last_name: Tran
- first_name: Sarah
full_name: Ross, Sarah
last_name: Ross
- first_name: Raul
full_name: Mostoslavsky, Raul
last_name: Mostoslavsky
- first_name: Haim
full_name: Cohen, Haim
last_name: Cohen
- first_name: Linda
full_name: Hu, Linda
last_name: Hu
- first_name: Hwei-Ling
full_name: Chen, Hwei-Ling
last_name: Chen
- first_name: Mark
full_name: Jedrychowski, Mark
last_name: Jedrychowski
- first_name: Steven
full_name: Gygi, Steven
last_name: Gygi
- first_name: David
full_name: Sinclair, David
last_name: Sinclair
- first_name: Frederick
full_name: Alt, Frederick
last_name: Alt
- first_name: Michael
full_name: Greenberg, Michael
last_name: Greenberg
citation:
ama: Brunet A, Sweeney LB, Sturgill JF, et al. Stress-dependent regulation of FOXO
transcription factors by the SIRT1 deacetylase. Science. 2004;303(5666):2011-2015.
doi:10.1126/science.1094637
apa: Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y.,
… Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors
by the SIRT1 deacetylase. Science. American Association for the Advancement
of Science. https://doi.org/10.1126/science.1094637
chicago: Brunet, Anne, Lora B. Sweeney, J Fitzhugh Sturgill, Katrin Chua, Paul
Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription
Factors by the SIRT1 Deacetylase.” Science. American Association for the
Advancement of Science, 2004. https://doi.org/10.1126/science.1094637.
ieee: A. Brunet et al., “Stress-dependent regulation of FOXO transcription
factors by the SIRT1 deacetylase,” Science, vol. 303, no. 5666. American
Association for the Advancement of Science, pp. 2011–2015, 2004.
ista: Brunet A, Sweeney LB, Sturgill JF, Chua K, Greer P, Lin Y, Tran H, Ross S,
Mostoslavsky R, Cohen H, Hu L, Chen H-L, Jedrychowski M, Gygi S, Sinclair D, Alt
F, Greenberg M. 2004. Stress-dependent regulation of FOXO transcription factors
by the SIRT1 deacetylase. Science. 303(5666), 2011–2015.
mla: Brunet, Anne, et al. “Stress-Dependent Regulation of FOXO Transcription Factors
by the SIRT1 Deacetylase.” Science, vol. 303, no. 5666, American Association
for the Advancement of Science, 2004, pp. 2011–15, doi:10.1126/science.1094637.
short: A. Brunet, L.B. Sweeney, J.F. Sturgill, K. Chua, P. Greer, Y. Lin, H. Tran,
S. Ross, R. Mostoslavsky, H. Cohen, L. Hu, H.-L. Chen, M. Jedrychowski, S. Gygi,
D. Sinclair, F. Alt, M. Greenberg, Science 303 (2004) 2011–2015.
date_created: 2020-04-30T10:37:41Z
date_published: 2004-03-26T00:00:00Z
date_updated: 2024-01-31T10:14:17Z
day: '26'
doi: 10.1126/science.1094637
extern: '1'
intvolume: ' 303'
issue: '5666'
language:
- iso: eng
month: '03'
oa_version: None
page: 2011-2015
publication: Science
publication_identifier:
issn:
- 0036-8075
- 1095-9203
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
status: public
title: Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 303
year: '2004'
...
---
_id: '4577'
abstract:
- lang: eng
text: While model checking has been successful in uncovering subtle bugs in code,
its adoption in software engineering practice has been hampered by the absence
of a simple interface to the programmer in an integrated development environment.
We describe an integration of the software model checker BLAST into the Eclipse
development environment. We provide a verification interface for practical solutions
for some typical program analysis problems - assertion checking, reachability
analysis, dead code analysis, and test generation - directly on the source code.
The analysis is completely automatic, and assumes no knowledge of model checking
or formal notation. Moreover, the interface supports incremental program verification
to support incremental design and evolution of code.
acknowledgement: This research was supported in part by the NSF grants CCR-0085949,
CCR-0234690, and ITR-0326577.
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: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
citation:
ama: 'Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking.
In: IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069 '
apa: 'Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse
plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension,
IEEE. https://doi.org/10.1109/WPC.2004.1311069
'
chicago: Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An
Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069 .
ieee: 'D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in
for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.'
ista: 'Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for
model checking. IWPC: Program Comprehension, 251–255.'
mla: Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004,
pp. 251–55, doi:10.1109/WPC.2004.1311069
.
short: D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
conference:
name: 'IWPC: Program Comprehension'
date_created: 2018-12-11T12:09:34Z
date_published: 2004-07-12T00:00:00Z
date_updated: 2021-01-12T07:59:50Z
day: '12'
doi: '10.1109/WPC.2004.1311069 '
extern: 1
month: '07'
page: 251 - 255
publication_status: published
publisher: IEEE
publist_id: '129'
quality_controlled: 0
status: public
title: An eclipse plug-in for model checking
type: conference
year: '2004'
...
---
_id: '4578'
abstract:
- lang: eng
text: 'BLAST is an automatic verification tool for checking temporal safety properties
of C programs. Blast is based on lazy predicate abstraction driven by interpolation-based
predicate discovery. In this paper, we present the Blast specification language.
The language specifies program properties at two levels of precision. At the lower
level, monitor automata are used to specify temporal safety properties of program
executions (traces). At the higher level, relational reachability queries over
program locations are used to combine lower-level trace properties. The two-level
specification language can be used to break down a verification task into several
independent calls of the model-checking engine. In this way, each call to the
model checker may have to analyze only part of the program, or part of the specification,
and may thus succeed in a reduction of the number of predicates needed for the
analysis. In addition, the two-level specification language provides a means for
structuring and maintaining specifications. '
acknowledgement: This research was supported in part by the NSF grants CCR-0085949,
CCR-0234690, and ITR-0326577.
alternative_title:
- LNCS
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Adam
full_name: Chlipala, Adam J
last_name: Chlipala
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
citation:
ama: 'Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language
for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2'
apa: 'Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004).
The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented
at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2'
chicago: Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar
Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer,
2004. https://doi.org/10.1007/978-3-540-27864-1_2.
ieee: 'D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST
query language for software verification,” presented at the SAS: Static Analysis
Symposium, 2004, vol. 3148, pp. 2–18.'
ista: 'Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query
language for software verification. SAS: Static Analysis Symposium, LNCS, vol.
3148, 2–18.'
mla: Beyer, Dirk, et al. The BLAST Query Language for Software Verification.
Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
short: D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer,
2004, pp. 2–18.
conference:
name: 'SAS: Static Analysis Symposium'
date_created: 2018-12-11T12:09:34Z
date_published: 2004-08-17T00:00:00Z
date_updated: 2021-01-12T07:59:50Z
day: '17'
doi: 10.1007/978-3-540-27864-1_2
extern: 1
intvolume: ' 3148'
month: '08'
page: 2 - 18
publication_status: published
publisher: Springer
publist_id: '130'
quality_controlled: 0
status: public
title: The BLAST query language for software verification
type: conference
volume: 3148
year: '2004'
...
---
_id: '4581'
abstract:
- lang: eng
text: We have extended the software model checker BLAST to automatically generate
test suites that guarantee full coverage with respect to a given predicate. More
precisely, given a C program and a target predicate p, BLAST determines the set
L of program locations which program execution can reach with p true, and automatically
generates a set of test vectors that exhibit the truth of p at all locations in
L. We have used BLAST to generate test suites and to detect dead code in C programs
with up to 30 K lines of code. The analysis and test vector generation is fully
automatic (no user intervention) and exact (no false positives).
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Adam
full_name: Chlipala, Adam J
last_name: Chlipala
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
citation:
ama: 'Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from
counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455'
apa: 'Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004).
Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software
Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455'
chicago: Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar
Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
ieee: 'D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating
tests from counterexamples,” presented at the ICSE: Software Engineering, 2004,
pp. 326–335.'
ista: 'Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating
tests from counterexamples. ICSE: Software Engineering, 326–335.'
mla: Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004,
pp. 326–35, doi:10.1109/ICSE.2004.1317455.
short: D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE,
2004, pp. 326–335.
conference:
name: 'ICSE: Software Engineering'
date_created: 2018-12-11T12:09:35Z
date_published: 2004-07-26T00:00:00Z
date_updated: 2021-01-12T07:59:52Z
day: '26'
doi: 10.1109/ICSE.2004.1317455
extern: 1
month: '07'
page: 326 - 335
publication_status: published
publisher: IEEE
publist_id: '128'
quality_controlled: 0
status: public
title: Generating tests from counterexamples
type: conference
year: '2004'
...
---
_id: '4629'
abstract:
- lang: eng
text: 'Temporal logic is two-valued: a property is either true or false. When applied
to the analysis of stochastic systems, or systems with imprecise formal models,
temporal logic is therefore fragile: even small changes in the model can lead
to opposite truth values for a specification. We present a generalization of the
branching-time logic Ctl which achieves robustness with respect to model perturbations
by giving a quantitative interpretation to predicates and logical operators, and
by discounting the importance of events according to how late they occur. In every
state, the value of a formula is a real number in the interval [0,1], where 1
corresponds to truth and 0 to falsehood. The boolean operators and and or are
replaced by min and max, the path quantifiers ∃ and ∀ determine sup and inf over
all paths from a given state, and the temporal operators and □ specify sup and
inf over a given path; a new operator averages all values along a path. Furthermore,
all path operators are discounted by a parameter that can be chosen to give more
weight to states that are closer to the beginning of the path. We interpret the
resulting logic Dctl over transition systems, Markov chains, and Markov decision
processes. We present two semantics for Dctl: a path semantics, inspired by the
standard interpretation of state and path formulas in CTL, and a fixpoint semantics,
inspired by the μ-calculus evaluation of CTL formulas. We show that, while these
semantics coincide for CTL, they differ for Dctl, and we provide model-checking
algorithms for both semantics.'
acknowledgement: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327,
the ONR grant N00014-02-1-0671, and the NSF grants CCR-0132780, CCR-9988172, CCR-0225610,
and CCR-0234690.
alternative_title:
- LNCS
author:
- first_name: Luca
full_name: de Alfaro, Luca
last_name: De Alfaro
- first_name: Marco
full_name: Faella, Marco
last_name: Faella
- 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: Mariëlle
full_name: Stoelinga, Mariëlle
last_name: Stoelinga
citation:
ama: 'De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking
discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6'
apa: 'De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga,
M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92).
Presented at the TACAS: Tools and Algorithms for the Construction and Analysis
of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6'
chicago: De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and
Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92.
Springer, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
ieee: 'L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga,
“Model checking discounted temporal properties,” presented at the TACAS: Tools
and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988,
pp. 77–92.'
ista: 'De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model
checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction
and Analysis of Systems, LNCS, vol. 2988, 77–92.'
mla: De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties.
Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.
short: L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:,
Springer, 2004, pp. 77–92.
conference:
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
date_created: 2018-12-11T12:09:50Z
date_published: 2004-03-18T00:00:00Z
date_updated: 2021-01-12T08:00:38Z
day: '18'
doi: 10.1007/978-3-540-24730-2_6
extern: 1
intvolume: ' 2988'
month: '03'
page: 77 - 92
publication_status: published
publisher: Springer
publist_id: '79'
quality_controlled: 0
status: public
title: Model checking discounted temporal properties
type: conference
volume: 2988
year: '2004'
...
---
_id: '6155'
abstract:
- lang: eng
text: 'The genome of the nematode Caenorhabditis elegans encodes seven soluble guanylate
cyclases (sGCs) [1]. In mammals, sGCs function as α/β heterodimers activated by
gaseous ligands binding to a haem prosthetic group 2, 3. The principal activator
is nitric oxide, which acts through sGCs to regulate diverse cellular events.
In C. elegans the function of sGCs is mysterious: the worm genome does not appear
to encode nitric oxide synthase, and all C. elegans sGC subunits are more closely
related to mammalian β than α subunits [1]. Here, we show that two of the seven
C. elegans sGCs, GCY-35 and GCY-36, promote aggregation behavior. gcy-35 and gcy-36
are expressed in a small number of neurons. These include the body cavity neurons
AQR, PQR, and URX, which are directly exposed to the blood equivalent of C. elegans
and regulate aggregation behavior [4]. We show that GCY-35 and GCY-36 act as α-like
and β-like sGC subunits and that their function in the URX sensory neurons is
sufficient for strong nematode aggregation. Neither GCY-35 nor GCY-36 is absolutely
required for C. elegans to aggregate. Instead, these molecules may transduce one
of several pathways that induce C. elegans to aggregate or may modulate aggregation
by responding to cues in C. elegans body fluid.'
author:
- first_name: Benny H.H
full_name: Cheung, Benny H.H
last_name: Cheung
- first_name: Fausto
full_name: Arellano-Carbajal, Fausto
last_name: Arellano-Carbajal
- first_name: Irene
full_name: Rybicki, Irene
last_name: Rybicki
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. Soluble guanylate cyclases
act in neurons exposed to the body fluid to promote C. elegans aggregation behavior.
Current Biology. 2004;14(12):1105-1111. doi:10.1016/j.cub.2004.06.027
apa: Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004).
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote
C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
chicago: Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de
Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to
Promote C. Elegans Aggregation Behavior.” Current Biology. Elsevier, 2004.
https://doi.org/10.1016/j.cub.2004.06.027.
ieee: B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble
guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans
aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp.
1105–1111, 2004.
ista: Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. 2004. Soluble guanylate
cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation
behavior. Current Biology. 14(12), 1105–1111.
mla: Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed
to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology,
vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:10.1016/j.cub.2004.06.027.
short: B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology
14 (2004) 1105–1111.
date_created: 2019-03-21T09:42:01Z
date_published: 2004-06-22T00:00:00Z
date_updated: 2021-01-12T08:06:25Z
day: '22'
doi: 10.1016/j.cub.2004.06.027
extern: '1'
external_id:
pmid:
- '15203005'
intvolume: ' 14'
issue: '12'
language:
- iso: eng
month: '06'
oa_version: None
page: 1105-1111
pmid: 1
publication: Current Biology
publication_identifier:
issn:
- 0960-9822
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Soluble guanylate cyclases act in neurons exposed to the body fluid to promote
C. elegans aggregation behavior
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2004'
...
---
_id: '1456'
abstract:
- lang: eng
text: We study the space of L2 harmonic forms on complete manifolds with metrics
of fibred boundary or fibred cusp type. These metrics generalize the geometric
structures at infinity of several different well-known classes of metrics, including
asymptotically locally Euclidean manifolds, the (known types of) gravitational
instantons, and also Poincaré metrics on ℚ-rank 1 ends of locally symmetric spaces
and on the complements of smooth divisors in Kähler manifolds. The answer in all
cases is given in terms of intersection cohomology of a stratified compactification
of the manifold. The L2 signature formula implied by our result is closely related
to the one proved by Dai and more generally by Vaillant and identifies Dai's τ-invariant
directly in terms of intersection cohomology of differing perversities. This work
is also closely related to a recent paper of Carron and the forthcoming paper
of Cheeger and Dai. We apply our results to a number of examples, gravitational
instantons among them, arising in predictions about L2 harmonic forms in duality
theories in string theory.
acknowledgement: |-
Hausel’s work supported by a Miller Research Fellowship at the University of California, Berkeley.
Hunsicker’s work partially supported by Stanford University.
Mazzeo’s work supported by National Science Foundation grant numbers DMS-991975 and DMS-0204730 and
by the Mathematical Sciences Research Institute.
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Eugénie
full_name: Hunsicker, Eugénie
last_name: Hunsicker
- first_name: Rafe
full_name: Mazzeo, Rafe R
last_name: Mazzeo
citation:
ama: Hausel T, Hunsicker E, Mazzeo R. Hodge cohomology of gravitational instantons.
Duke Mathematical Journal. 2004;122(3):485-548. doi:10.1215/S0012-7094-04-12233-X
apa: Hausel, T., Hunsicker, E., & Mazzeo, R. (2004). Hodge cohomology of gravitational
instantons. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-04-12233-X
chicago: Hausel, Tamás, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of
Gravitational Instantons.” Duke Mathematical Journal. Duke University Press,
2004. https://doi.org/10.1215/S0012-7094-04-12233-X.
ieee: T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational
instantons,” Duke Mathematical Journal, vol. 122, no. 3. Duke University
Press, pp. 485–548, 2004.
ista: Hausel T, Hunsicker E, Mazzeo R. 2004. Hodge cohomology of gravitational instantons.
Duke Mathematical Journal. 122(3), 485–548.
mla: Hausel, Tamás, et al. “Hodge Cohomology of Gravitational Instantons.” Duke
Mathematical Journal, vol. 122, no. 3, Duke University Press, 2004, pp. 485–548,
doi:10.1215/S0012-7094-04-12233-X.
short: T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004)
485–548.
date_created: 2018-12-11T11:52:08Z
date_published: 2004-04-15T00:00:00Z
date_updated: 2021-01-12T06:50:52Z
day: '15'
doi: 10.1215/S0012-7094-04-12233-X
extern: 1
intvolume: ' 122'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math/0207169
month: '04'
oa: 1
page: 485 - 548
publication: Duke Mathematical Journal
publication_status: published
publisher: Duke University Press
publist_id: '5737'
quality_controlled: 0
status: public
title: Hodge cohomology of gravitational instantons
type: journal_article
volume: 122
year: '2004'
...