---
_id: '6148'
author:
- first_name: Jan E.
full_name: Kammenga, Jan E.
last_name: Kammenga
- first_name: Patrick C.
full_name: Phillips, Patrick C.
last_name: Phillips
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
- first_name: Agnieszka
full_name: Doroszuk, Agnieszka
last_name: Doroszuk
citation:
ama: 'Kammenga JE, Phillips PC, de Bono M, Doroszuk A. Beyond induced mutants: using
worms to study natural variation in genetic pathways. Trends in Genetics.
2008;24(4):178-185. doi:10.1016/j.tig.2008.01.001'
apa: 'Kammenga, J. E., Phillips, P. C., de Bono, M., & Doroszuk, A. (2008).
Beyond induced mutants: using worms to study natural variation in genetic pathways.
Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.01.001'
chicago: 'Kammenga, Jan E., Patrick C. Phillips, Mario de Bono, and Agnieszka Doroszuk.
“Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.”
Trends in Genetics. Elsevier, 2008. https://doi.org/10.1016/j.tig.2008.01.001.'
ieee: 'J. E. Kammenga, P. C. Phillips, M. de Bono, and A. Doroszuk, “Beyond induced
mutants: using worms to study natural variation in genetic pathways,” Trends
in Genetics, vol. 24, no. 4. Elsevier, pp. 178–185, 2008.'
ista: 'Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants:
using worms to study natural variation in genetic pathways. Trends in Genetics.
24(4), 178–185.'
mla: 'Kammenga, Jan E., et al. “Beyond Induced Mutants: Using Worms to Study Natural
Variation in Genetic Pathways.” Trends in Genetics, vol. 24, no. 4, Elsevier,
2008, pp. 178–85, doi:10.1016/j.tig.2008.01.001.'
short: J.E. Kammenga, P.C. Phillips, M. de Bono, A. Doroszuk, Trends in Genetics
24 (2008) 178–185.
date_created: 2019-03-21T08:19:45Z
date_published: 2008-04-01T00:00:00Z
date_updated: 2021-01-12T08:06:21Z
day: '01'
doi: 10.1016/j.tig.2008.01.001
extern: '1'
external_id:
pmid:
- '18325626'
intvolume: ' 24'
issue: '4'
language:
- iso: eng
month: '04'
oa_version: None
page: 178-185
pmid: 1
publication: Trends in Genetics
publication_identifier:
issn:
- 0168-9525
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Beyond induced mutants: using worms to study natural variation in genetic
pathways'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2008'
...
---
_id: '6149'
article_processing_charge: No
author:
- first_name: Birgitta
full_name: Olofsson, Birgitta
last_name: Olofsson
- 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: 'Olofsson B, de Bono M. Sleep: dozy worms and sleepy flies. Current Biology.
2008;18(5):R204-R206. doi:10.1016/j.cub.2008.01.002'
apa: 'Olofsson, B., & de Bono, M. (2008). Sleep: dozy worms and sleepy flies.
Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.01.002'
chicago: 'Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”
Current Biology. Elsevier, 2008. https://doi.org/10.1016/j.cub.2008.01.002.'
ieee: 'B. Olofsson and M. de Bono, “Sleep: dozy worms and sleepy flies,” Current
Biology, vol. 18, no. 5. Elsevier, pp. R204–R206, 2008.'
ista: 'Olofsson B, de Bono M. 2008. Sleep: dozy worms and sleepy flies. Current
Biology. 18(5), R204–R206.'
mla: 'Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”
Current Biology, vol. 18, no. 5, Elsevier, 2008, pp. R204–06, doi:10.1016/j.cub.2008.01.002.'
short: B. Olofsson, M. de Bono, Current Biology 18 (2008) R204–R206.
date_created: 2019-03-21T08:23:24Z
date_published: 2008-03-11T00:00:00Z
date_updated: 2022-08-25T15:03:41Z
day: '11'
doi: 10.1016/j.cub.2008.01.002
extern: '1'
external_id:
pmid:
- '18334193'
intvolume: ' 18'
issue: '5'
language:
- iso: eng
month: '03'
oa_version: None
page: R204-R206
pmid: 1
publication: Current Biology
publication_identifier:
issn:
- 0960-9822
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Sleep: dozy worms and sleepy flies'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2008'
...
---
_id: '1036'
abstract:
- lang: eng
text: We report on the control of interaction-induced dephasing of Bloch oscillations
for an atomic Bose-Einstein condensate in an optical lattice. We quantify the
dephasing in terms of the width of the quasimomentum distribution and measure
its dependence on time for different interaction strengths which we control by
means of a Feshbach resonance. For minimal interaction, the dephasing time is
increased from a few to more than 20 thousand Bloch oscillation periods, allowing
us to realize a BEC-based atom interferometer in the noninteracting limit.
acknowledgement: "We thank A. Daley for theoretical support and for help with\r\nsetting
\ up the numerical calculations and A. Buchleitner\r\nand his group for useful
\ discussions. We are grateful to\r\nA. Liem and H. Zellmer for valuable assistance
in setting\r\nup the 1064 nm fiber amplifier system. We acknowledge\r\ncontributions
\ by P. Unterwaditzer and T. Flir during the\r\nearly stages of the
\ experiment. We are indebted to\r\nR. Grimm for generous support and
\ gratefully acknowledge funding by the Austrian Ministry of Science and\r\nResearch
(BMWF) and the Austrian Science Fund (FWF)."
article_processing_charge: No
arxiv: 1
author:
- first_name: Mattias
full_name: Gustavsson, Mattias
last_name: Gustavsson
- first_name: Elmar
full_name: Haller, Elmar
last_name: Haller
- first_name: Manfred
full_name: Mark, Manfred
last_name: Mark
- 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: Gabriel
full_name: Rojas Kopeinig, Gabriel
last_name: Rojas Kopeinig
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
citation:
ama: Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control
of interaction-induced dephasing of bloch oscillations. Physical Review Letters.
2008;100(8). doi:10.1103/PhysRevLett.100.080404
apa: Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., &
Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.080404
chicago: Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel
Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of
Bloch Oscillations.” Physical Review Letters. American Physical Society,
2008. https://doi.org/10.1103/PhysRevLett.100.080404.
ieee: M. Gustavsson, E. Haller, M. Mark, J. G. Danzl, G. Rojas Kopeinig, and H.
Nägerl, “Control of interaction-induced dephasing of bloch oscillations,” Physical
Review Letters, vol. 100, no. 8. American Physical Society, 2008.
ista: Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008.
Control of interaction-induced dephasing of bloch oscillations. Physical Review
Letters. 100(8).
mla: Gustavsson, Mattias, et al. “Control of Interaction-Induced Dephasing of Bloch
Oscillations.” Physical Review Letters, vol. 100, no. 8, American Physical
Society, 2008, doi:10.1103/PhysRevLett.100.080404.
short: M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl,
Physical Review Letters 100 (2008).
date_created: 2018-12-11T11:49:48Z
date_published: 2008-02-28T00:00:00Z
date_updated: 2021-01-12T06:47:49Z
day: '28'
doi: 10.1103/PhysRevLett.100.080404
extern: '1'
external_id:
arxiv:
- '0710.5083'
intvolume: ' 100'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0710.5083
month: '02'
oa: 1
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6353'
status: public
title: Control of interaction-induced dephasing of bloch oscillations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2008'
...
---
_id: '1037'
abstract:
- lang: eng
text: We experimentally demonstrate Cs2 Feshbach molecules well above the dissociation
threshold, which are stable against spontaneous decay on the time scale of 1s.
An optically trapped sample of ultracold dimers is prepared in a high rotational
state and magnetically tuned into a region with a negative binding energy. The
metastable character of these molecules arises from the large centrifugal barrier
in combination with negligible coupling to states with low rotational angular
momentum. A sharp onset of dissociation with increasing magnetic field is mediated
by a crossing with a lower rotational dimer state and facilitates dissociation
on demand with a well-defined energy.
acknowledgement: We thank S. Du ̈rr and T. Volz for fruitful discussions. We acknowledge
support by the Austrian Science Fund (FWF) within No. SFB 15 (project part 16).
S.K. is supported within the Marie Curie Intra-European Program of the European
Commission. F.F. is supported within the Lise Meitner program of the FWF.
article_processing_charge: No
arxiv: 1
author:
- first_name: Steven
full_name: Knoop, Steven
last_name: Knoop
- first_name: Michael
full_name: Mark, Michael
last_name: Mark
- first_name: Francesca
full_name: Ferlaino, Francesca
last_name: Ferlaino
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Tobias
full_name: Kraemer, Tobias
last_name: Kraemer
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
- first_name: Rudolf
full_name: Grimm, Rudolf
last_name: Grimm
citation:
ama: Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational
states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
apa: Knoop, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., &
Grimm, R. (2008). Metastable feshbach molecules in high rotational states. Physical
Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.083002
chicago: Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias
Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High
Rotational States.” Physical Review Letters. American Physical Society,
2008. https://doi.org/10.1103/PhysRevLett.100.083002.
ieee: S. Knoop et al., “Metastable feshbach molecules in high rotational
states,” Physical Review Letters, vol. 100, no. 8. American Physical Society,
2008.
ista: Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008.
Metastable feshbach molecules in high rotational states. Physical Review Letters.
100(8).
mla: Knoop, Steven, et al. “Metastable Feshbach Molecules in High Rotational States.”
Physical Review Letters, vol. 100, no. 8, American Physical Society, 2008,
doi:10.1103/PhysRevLett.100.083002.
short: S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm,
Physical Review Letters 100 (2008).
date_created: 2018-12-11T11:49:49Z
date_published: 2008-02-29T00:00:00Z
date_updated: 2021-01-12T06:47:50Z
day: '29'
doi: 10.1103/PhysRevLett.100.083002
extern: '1'
external_id:
arxiv:
- '0710.4052'
intvolume: ' 100'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0710.4052
month: '02'
oa: 1
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6352'
status: public
title: Metastable feshbach molecules in high rotational states
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2008'
...
---
_id: '1039'
abstract:
- lang: eng
text: Molecular cooling techniques face the hurdle of dissipating translational
as well as internal energy in the presence of a rich electronic, vibrational,
and rotational energy spectrum. In our experiment, we create a translationally
ultracold, dense quantum gas of molecules bound by more than 1000 wave numbers
in the electronic ground state. Specifically, we stimulate with 80% efficiency,
a two-photon transfer of molecules associated on a Feshbach resonance from a Bose-Einstein
condensate of cesium atoms. In the process, the initial loose, long-range electrostatic
bond of the Feshbach molecule is coherently transformed into a tight chemical
bond. We demonstrate coherence of the transfer in a Ramsey-type experiment and
show that the molecular sample is not heated during the transfer. Our results
show that the preparation of a quantum gas of molecules in specific rovibrational
states is possible and that the creation of a Bose-Einstein condensate of molecules
in their rovibronic ground state is within reach.
acknowledgement: " We thank the team of J. Hecker Denschlag, the LevT team in our
group, and T. Bergeman for very helpful discussions and M. Prevedelli for technical
assistance. We are indebted to R. Grimm for generous support and gratefully acknowledge
funding by the Austrian Ministry of Science and Research (Bundesministerium für
Wissenschaft und Forschung) and the Austrian Science Fund (Fonds zur Förderung der
wissenschaftlichen Forschung) in the form of a START prize grant and by the European
Science Foundation in the framework of the EuroQUAM collective research project
QuDipMol.\r\n"
article_processing_charge: No
arxiv: 1
author:
- 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: Elmar
full_name: Haller, Elmar
last_name: Haller
- first_name: Mattias
full_name: Gustavsson, Mattias
last_name: Gustavsson
- first_name: Manfred
full_name: Mark, Manfred
last_name: Mark
- first_name: Russell
full_name: Hart, Russell
last_name: Hart
- first_name: Nadia
full_name: Bouloufa, Nadia
last_name: Bouloufa
- first_name: Olivier
full_name: Dulieu, Olivier
last_name: Dulieu
- first_name: Helmut
full_name: Ritsch, Helmut
last_name: Ritsch
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
citation:
ama: Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground
state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
apa: Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N.,
… Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science.
American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
chicago: Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell
Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum
Gas of Deeply Bound Ground State Molecules.” Science. American Association
for the Advancement of Science, 2008. https://doi.org/10.1126/science.1159909.
ieee: J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,”
Science, vol. 321, no. 5892. American Association for the Advancement of
Science, pp. 1062–1066, 2008.
ista: Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch
H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science.
321(5892), 1062–1066.
mla: Danzl, Johann G., et al. “Quantum Gas of Deeply Bound Ground State Molecules.”
Science, vol. 321, no. 5892, American Association for the Advancement of
Science, 2008, pp. 1062–66, doi:10.1126/science.1159909.
short: J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu,
H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
date_created: 2018-12-11T11:49:49Z
date_published: 2008-08-22T00:00:00Z
date_updated: 2021-01-12T06:47:50Z
day: '22'
doi: 10.1126/science.1159909
extern: '1'
external_id:
arxiv:
- '0806.2284'
intvolume: ' 321'
issue: '5892'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0806.2284
month: '08'
oa: 1
oa_version: None
page: 1062 - 1066
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '6351'
status: public
title: Quantum gas of deeply bound ground state molecules
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 321
year: '2008'
...
---
_id: '10392'
abstract:
- lang: eng
text: Protonated formylmetallocenes [M(C5H5)(C5H4-CHOH)]+ (M = Fe, Ru) and their
isomers have been studied at the BP86 and B3LYP levels of density functional theory.
Oxygen-protonated isomers are the most stable forms in each case, with a plethora
of ring- or metal-protonated species at least ca. 14 and 10 kcal/mol higher in
energy for M = Fe and Ru, respectively. The computed rotational barriers around
the C−C bond connecting the cyclopentadienyl and protonated formyl moieties, ca.
18 kcal/mol, are indicative of substantial conjugation between these moieties.
Some of the ring- and iron-protonated species are models for possible intermediates
in Friedel–Crafts acylation of ferrocene, and the computations provide further
evidence that exo attack is clearly favored over endo attack of the electrophile
in this reaction. The structures of the most stable mono- and diprotonated formylferrocenes
are corroborated by the good agreement between GIAO-B3LYP-computed and experimental
NMR chemical shifts.
acknowledgement: M.B. wishes to thank Prof. W. Thiel and the Max-Planck-Institut für
Kohlenforschung for continuing support. A Humboldt fellowship for V.V. is gratefully
acknowledged. Computations were performed on Compaq XP1000 and ES40 workstations
as well as on an Intel Xeon PC cluster at the MPI Mülheim. A.S. thanks the Computing
Center of the University of Zagreb SRCE for allocating computer time on the Isabella
cluster.
article_processing_charge: No
article_type: original
author:
- first_name: Anđela
full_name: Šarić, Anđela
id: bf63d406-f056-11eb-b41d-f263a6566d8b
last_name: Šarić
orcid: 0000-0002-7854-2139
- first_name: Valerije
full_name: Vrček, Valerije
last_name: Vrček
- first_name: Michael
full_name: Bühl, Michael
last_name: Bühl
citation:
ama: Šarić A, Vrček V, Bühl M. Density functional study of protonated formylmetallocenes.
Organometallics. 2008;27(3):394-401. doi:10.1021/om700916f
apa: Šarić, A., Vrček, V., & Bühl, M. (2008). Density functional study of protonated
formylmetallocenes. Organometallics. American Chemical Society. https://doi.org/10.1021/om700916f
chicago: Šarić, Anđela, Valerije Vrček, and Michael Bühl. “Density Functional Study
of Protonated Formylmetallocenes.” Organometallics. American Chemical Society,
2008. https://doi.org/10.1021/om700916f.
ieee: A. Šarić, V. Vrček, and M. Bühl, “Density functional study of protonated formylmetallocenes,”
Organometallics, vol. 27, no. 3. American Chemical Society, pp. 394–401,
2008.
ista: Šarić A, Vrček V, Bühl M. 2008. Density functional study of protonated formylmetallocenes.
Organometallics. 27(3), 394–401.
mla: Šarić, Anđela, et al. “Density Functional Study of Protonated Formylmetallocenes.”
Organometallics, vol. 27, no. 3, American Chemical Society, 2008, pp. 394–401,
doi:10.1021/om700916f.
short: A. Šarić, V. Vrček, M. Bühl, Organometallics 27 (2008) 394–401.
date_created: 2021-11-29T15:31:06Z
date_published: 2008-01-15T00:00:00Z
date_updated: 2021-11-30T08:04:44Z
day: '15'
doi: 10.1021/om700916f
extern: '1'
intvolume: ' 27'
issue: '3'
keyword:
- Inorganic Chemistry
- Organic Chemistry
- Physical and Theoretical Chemistry
language:
- iso: eng
main_file_link:
- url: https://pubs.acs.org/doi/10.1021/om700916f
month: '01'
oa_version: None
page: 394-401
publication: Organometallics
publication_identifier:
eissn:
- 1520-6041
issn:
- 0276-7333
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Density functional study of protonated formylmetallocenes
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 27
year: '2008'
...
---
_id: '9457'
abstract:
- lang: eng
text: Eukaryotic chromatin is separated into functional domains differentiated by
posttranslational histone modifications, histone variants, and DNA methylation1–6.
Methylation is associated with repression of transcriptional initiation in plants
and animals, and is frequently found in transposable elements. Proper methylation
patterns are critical for eukaryotic development4,5, and aberrant methylation-induced
silencing of tumor suppressor genes is a common feature of human cancer7. In contrast
to methylation, the histone variant H2A.Z is preferentially deposited by the Swr1
ATPase complex near 5′ ends of genes where it promotes transcriptional competence8–20.
How DNA methylation and H2A.Z influence transcription remains largely unknown.
Here we show that in the plant Arabidopsis thaliana, regions of DNA methylation
are quantitatively deficient in H2A.Z. Exclusion of H2A.Z is seen at sites of
DNA methylation in the bodies of actively transcribed genes and in methylated
transposons. Mutation of the MET1 DNA methyltransferase, which causes both losses
and gains of DNA methylation4,5, engenders opposite changes in H2A.Z deposition,
while mutation of the PIE1 subunit of the Swr1 complex that deposits H2A.Z17 leads
to genome-wide hypermethylation. Our findings indicate that DNA methylation can
influence chromatin structure and effect gene silencing by excluding H2A.Z, and
that H2A.Z protects genes from DNA methylation.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
- first_name: Devin
full_name: Coleman-Derr, Devin
last_name: Coleman-Derr
- first_name: Tracy
full_name: Ballinger, Tracy
last_name: Ballinger
- first_name: Steven
full_name: Henikoff, Steven
last_name: Henikoff
citation:
ama: Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. Histone H2A.Z and DNA
methylation are mutually antagonistic chromatin marks. Nature. 2008;456(7218):125-129.
doi:10.1038/nature07324
apa: Zilberman, D., Coleman-Derr, D., Ballinger, T., & Henikoff, S. (2008).
Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature.
Springer Nature. https://doi.org/10.1038/nature07324
chicago: Zilberman, Daniel, Devin Coleman-Derr, Tracy Ballinger, and Steven Henikoff.
“Histone H2A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.”
Nature. Springer Nature, 2008. https://doi.org/10.1038/nature07324.
ieee: D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone H2A.Z
and DNA methylation are mutually antagonistic chromatin marks,” Nature,
vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008.
ista: Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z
and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218),
125–129.
mla: Zilberman, Daniel, et al. “Histone H2A.Z and DNA Methylation Are Mutually Antagonistic
Chromatin Marks.” Nature, vol. 456, no. 7218, Springer Nature, 2008, pp.
125–29, doi:10.1038/nature07324.
short: D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008)
125–129.
date_created: 2021-06-04T11:49:32Z
date_published: 2008-11-06T00:00:00Z
date_updated: 2021-12-14T08:54:36Z
day: '06'
department:
- _id: DaZi
doi: 10.1038/nature07324
extern: '1'
external_id:
pmid:
- '18815594'
intvolume: ' 456'
issue: '7218'
keyword:
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2877514/
month: '11'
oa: 1
oa_version: Submitted Version
page: 125-129
pmid: 1
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 456
year: '2008'
...
---
_id: '9537'
abstract:
- lang: eng
text: DNA methylation is an ancient process found in all domains of life. Although
the enzymes that mediate methylation have remained highly conserved, DNA methylation
has been adapted for a variety of uses throughout evolution, including defense
against transposable elements and control of gene expression. Defects in DNA methylation
are linked to human diseases, including cancer. Methylation has been lost several
times in the course of animal and fungal evolution, thus limiting the opportunity
for study in common model organisms. In the past decade, plants have emerged as
a premier model system for genetic dissection of DNA methylation. A recent combination
of plant genetics with powerful genomic approaches has led to a number of exciting
discoveries and promises many more.
article_processing_charge: No
article_type: review
author:
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Zilberman D. The evolving functions of DNA methylation. Current Opinion
in Plant Biology. 2008;11(5):554-559. doi:10.1016/j.pbi.2008.07.004
apa: Zilberman, D. (2008). The evolving functions of DNA methylation. Current
Opinion in Plant Biology. Elsevier . https://doi.org/10.1016/j.pbi.2008.07.004
chicago: Zilberman, Daniel. “The Evolving Functions of DNA Methylation.” Current
Opinion in Plant Biology. Elsevier , 2008. https://doi.org/10.1016/j.pbi.2008.07.004.
ieee: D. Zilberman, “The evolving functions of DNA methylation,” Current Opinion
in Plant Biology, vol. 11, no. 5. Elsevier , pp. 554–559, 2008.
ista: Zilberman D. 2008. The evolving functions of DNA methylation. Current Opinion
in Plant Biology. 11(5), 554–559.
mla: Zilberman, Daniel. “The Evolving Functions of DNA Methylation.” Current
Opinion in Plant Biology, vol. 11, no. 5, Elsevier , 2008, pp. 554–59, doi:10.1016/j.pbi.2008.07.004.
short: D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559.
date_created: 2021-06-08T13:13:37Z
date_published: 2008-10-01T00:00:00Z
date_updated: 2021-12-14T08:54:07Z
department:
- _id: DaZi
doi: 10.1016/j.pbi.2008.07.004
extern: '1'
external_id:
pmid:
- '18774331'
intvolume: ' 11'
issue: '5'
language:
- iso: eng
month: '10'
oa_version: None
page: 554-559
pmid: 1
publication: Current Opinion in Plant Biology
publication_identifier:
issn:
- 1369-5266
publication_status: published
publisher: 'Elsevier '
quality_controlled: '1'
scopus_import: '1'
status: public
title: The evolving functions of DNA methylation
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 11
year: '2008'
...
---
_id: '965'
abstract:
- lang: eng
text: We give many examples of applying Bogoliubov's forest formula to iterative
solutions of various nonlinear equations. The same formula describes an extremely
wide class of objects, from an ordinary quadratic equation to renormalization
in quantum field theory.
acknowledgement: |-
This work is supported in part by the Dynasty Foundation (M. N. S.), the
Russian Foundation for Basic Research (Grant No
s. 07-02-00878 and 07-02-00645), a joint grant (Grant
No. 06-01-92059-CE), the NWO (Project No. 047.011.2004.026), INTAS (Grant No. 05-1000008-7865), the
Program for Supporting Leading Scientific School
s (Grant No. NSh-8004.2006.2), and also by a project
(Project No. ANR-05-BLAN-0029-01, A. Yu. M.).
author:
- first_name: Alexei
full_name: Morozov, Alexei Y
last_name: Morozov
- first_name: Maksym
full_name: Maksym Serbyn
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: Morozov A, Serbyn M. Nonlinear algebra and Bogoliubov’s recursion. Theoretical
and Mathematical Physics. 2008;154(2):270-293. doi:10.1007/s11232-008-0026-7
apa: Morozov, A., & Serbyn, M. (2008). Nonlinear algebra and Bogoliubov’s recursion.
Theoretical and Mathematical Physics. Elsevier. https://doi.org/10.1007/s11232-008-0026-7
chicago: Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s
Recursion.” Theoretical and Mathematical Physics. Elsevier, 2008. https://doi.org/10.1007/s11232-008-0026-7.
ieee: A. Morozov and M. Serbyn, “Nonlinear algebra and Bogoliubov’s recursion,”
Theoretical and Mathematical Physics, vol. 154, no. 2. Elsevier, pp. 270–293,
2008.
ista: Morozov A, Serbyn M. 2008. Nonlinear algebra and Bogoliubov’s recursion. Theoretical
and Mathematical Physics. 154(2), 270–293.
mla: Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.”
Theoretical and Mathematical Physics, vol. 154, no. 2, Elsevier, 2008,
pp. 270–93, doi:10.1007/s11232-008-0026-7.
short: A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
date_created: 2018-12-11T11:49:26Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T08:22:17Z
day: '01'
doi: 10.1007/s11232-008-0026-7
extern: 1
intvolume: ' 154'
issue: '2'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/hep-th/0703258
month: '01'
oa: 1
page: 270 - 293
publication: Theoretical and Mathematical Physics
publication_status: published
publisher: Elsevier
publist_id: '6437'
quality_controlled: 0
status: public
title: Nonlinear algebra and Bogoliubov's recursion
type: journal_article
volume: 154
year: '2008'
...
---
OA_type: closed access
_id: '3822'
abstract:
- lang: eng
text: Dentate gyrus granule cells transmit action potentials (APs) along their unmyelinated
mossy fibre axons to the CA3 region. Although the initiation and propagation of
APs are fundamental steps during neural computation, little is known about the
site of AP initiation and the speed of propagation in mossy fibre axons. To address
these questions, we performed simultaneous somatic and axonal whole-cell recordings
from granule cells in acute hippocampal slices of adult mice at approximately
23 degrees C. Injection of short current pulses or synaptic stimulation evoked
axonal and somatic APs with similar amplitudes. By contrast, the time course was
significantly different, as axonal APs had a higher maximal rate of rise (464
+/- 30 V s(-1) in the axon versus 297 +/- 12 V s(-1) in the soma, mean +/- s.e.m.).
Furthermore, analysis of latencies between the axonal and somatic signals showed
that APs were initiated in the proximal axon at approximately 20-30 mum distance
from the soma, and propagated orthodromically with a velocity of 0.24 m s(-1).
Qualitatively similar results were obtained at a recording temperature of approximately
34 degrees C. Modelling of AP propagation in detailed cable models of granule
cells suggested that a approximately 4 times higher Na(+) channel density ( approximately
1000 pS mum(-2)) in the axon might account for both the higher rate of rise of
axonal APs and the robust AP initiation in the proximal mossy fibre axon. This
may be of critical importance to separate dendritic integration of thousands of
synaptic inputs from the generation and transmission of a common AP output.
article_processing_charge: No
article_type: original
author:
- first_name: Christoph
full_name: Schmidt Hieber, Christoph
last_name: Schmidt Hieber
- 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: Josef
full_name: Bischofberger, Josef
last_name: Bischofberger
citation:
ama: Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and
propagation in hippocampal mossy fibre axons. The Journal of Physiology.
2008;586(7):1849-1857. doi:10.1113/jphysiol.2007.150151
apa: Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2008). Action potential
initiation and propagation in hippocampal mossy fibre axons. The Journal of
Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.150151
chicago: Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action
Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” The
Journal of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.150151 .
ieee: C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Action potential initiation
and propagation in hippocampal mossy fibre axons,” The Journal of Physiology,
vol. 586, no. 7. Wiley-Blackwell, pp. 1849–57, 2008.
ista: Schmidt Hieber C, Jonas PM, Bischofberger J. 2008. Action potential initiation
and propagation in hippocampal mossy fibre axons. The Journal of Physiology. 586(7),
1849–57.
mla: Schmidt Hieber, Christoph, et al. “Action Potential Initiation and Propagation
in Hippocampal Mossy Fibre Axons.” The Journal of Physiology, vol. 586,
no. 7, Wiley-Blackwell, 2008, pp. 1849–57, doi:10.1113/jphysiol.2007.150151 .
short: C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, The Journal of Physiology
586 (2008) 1849–57.
date_created: 2018-12-11T12:05:21Z
date_published: 2008-03-31T00:00:00Z
date_updated: 2026-06-10T10:16:11Z
day: '31'
doi: '10.1113/jphysiol.2007.150151 '
extern: '1'
external_id:
pmid:
- '18258662'
intvolume: ' 586'
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2375716/
month: '03'
oa: 1
oa_version: None
page: 1849 - 57
pmid: 1
publication: The Journal of Physiology
publication_identifier:
eissn:
- 1469-7793
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2387'
status: public
title: Action potential initiation and propagation in hippocampal mossy fibre axons
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 586
year: '2008'
...
---
OA_type: free access
_id: '3823'
abstract:
- lang: eng
text: Two studies in this issue of Neuron (Kwon and Castillo and Rebola et al.)
show that the mossy fiber-CA3 pyramidal neuron synapse, a hippocampal synapse
well known for its presynaptic plasticity, exhibits a novel form of long-term
potentiation of NMDAR-mediated currents, which is induced and expressed postsynaptically.
article_processing_charge: No
article_type: original
author:
- first_name: Angharad
full_name: Kerr, Angharad
last_name: Kerr
- 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: Kerr A, Jonas PM. The two sides of hippocampal mossy fiber plasticity (Review).
Neuron. 2008;57(1):5-7. doi:10.1016/j.neuron.2007.12.015
apa: Kerr, A., & Jonas, P. M. (2008). The two sides of hippocampal mossy fiber
plasticity (Review). Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.015
chicago: Kerr, Angharad, and Peter M Jonas. “The Two Sides of Hippocampal Mossy
Fiber Plasticity (Review).” Neuron. Elsevier, 2008. https://doi.org/10.1016/j.neuron.2007.12.015.
ieee: A. Kerr and P. M. Jonas, “The two sides of hippocampal mossy fiber plasticity
(Review),” Neuron, vol. 57, no. 1. Elsevier, pp. 5–7, 2008.
ista: Kerr A, Jonas PM. 2008. The two sides of hippocampal mossy fiber plasticity
(Review). Neuron. 57(1), 5–7.
mla: Kerr, Angharad, and Peter M. Jonas. “The Two Sides of Hippocampal Mossy Fiber
Plasticity (Review).” Neuron, vol. 57, no. 1, Elsevier, 2008, pp. 5–7,
doi:10.1016/j.neuron.2007.12.015.
short: A. Kerr, P.M. Jonas, Neuron 57 (2008) 5–7.
date_created: 2018-12-11T12:05:22Z
date_published: 2008-01-10T00:00:00Z
date_updated: 2026-05-29T11:07:13Z
day: '10'
doi: 10.1016/j.neuron.2007.12.015
extern: '1'
external_id:
pmid:
- '18184559'
intvolume: ' 57'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 5 - 7
pmid: 1
publication: Neuron
publication_identifier:
eissn:
- 1097-4199
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '2388'
status: public
title: The two sides of hippocampal mossy fiber plasticity (Review)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 57
year: '2008'
...
---
OA_type: closed access
_id: '3824'
abstract:
- lang: eng
text: It is generally thought that transmitter release at mammalian central synapses
is triggered by Ca2+ microdomains, implying loose coupling between presynaptic
Ca2+ channels and Ca2+ sensors of exocytosis. Here we show that Ca2+ channel subunit
immunoreactivity is highly concentrated in the active zone of GABAergic presynaptic
terminals of putative parvalbumin-containing basket cells in the hippocampus.
Paired recording combined with presynaptic patch pipette perfusion revealed that
GABA release at basket cell-granule cell synapses is sensitive to millimolar concentrations
of the fast Ca2+ chelator BAPTA but insensitive to the slow Ca2+ chelator EGTA.
These results show that Ca2+ source and Ca2+ sensor are tightly coupled at this
synapse, with distances in the range of 10-20 nm. Models of Ca2+ inflow-exocytosis
coupling further reveal that the tightness of coupling increases efficacy, speed,
and temporal precision of transmitter release. Thus, tight coupling contributes
to fast feedforward and feedback inhibition in the hippocampal network.
article_processing_charge: No
article_type: original
author:
- first_name: Iancu
full_name: Bucurenciu, Iancu
last_name: Bucurenciu
- first_name: Ákos
full_name: Kulik, Ákos
last_name: Kulik
- first_name: Beat
full_name: Schwaller, Beat
last_name: Schwaller
- first_name: Michael
full_name: Frotscher, Michael
last_name: Frotscher
- 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: Bucurenciu I, Kulik Á, Schwaller B, Frotscher M, Jonas PM. Nanodomain coupling
between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter
release at a cortical GABAergic synapse. Neuron. 2008;57(4):536-545. doi:10.1016/j.neuron.2007.12.026
apa: Bucurenciu, I., Kulik, Á., Schwaller, B., Frotscher, M., & Jonas, P. M.
(2008). Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes
fast and efficient transmitter release at a cortical GABAergic synapse. Neuron.
Elsevier. https://doi.org/10.1016/j.neuron.2007.12.026
chicago: Bucurenciu, Iancu, Ákos Kulik, Beat Schwaller, Michael Frotscher, and Peter
M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Ca2+ Sensors Promotes
Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.” Neuron.
Elsevier, 2008. https://doi.org/10.1016/j.neuron.2007.12.026.
ieee: I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, and P. M. Jonas, “Nanodomain
coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient
transmitter release at a cortical GABAergic synapse,” Neuron, vol. 57,
no. 4. Elsevier, pp. 536–45, 2008.
ista: Bucurenciu I, Kulik Á, Schwaller B, Frotscher M, Jonas PM. 2008. Nanodomain
coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient
transmitter release at a cortical GABAergic synapse. Neuron. 57(4), 536–45.
mla: Bucurenciu, Iancu, et al. “Nanodomain Coupling between Ca(2+) Channels and
Ca2+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic
Synapse.” Neuron, vol. 57, no. 4, Elsevier, 2008, pp. 536–45, doi:10.1016/j.neuron.2007.12.026.
short: I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, P.M. Jonas, Neuron 57
(2008) 536–45.
date_created: 2018-12-11T12:05:22Z
date_published: 2008-02-28T00:00:00Z
date_updated: 2026-05-29T10:55:32Z
day: '28'
doi: 10.1016/j.neuron.2007.12.026
extern: '1'
external_id:
pmid:
- '18304483'
intvolume: ' 57'
issue: '4'
language:
- iso: eng
month: '02'
oa_version: None
page: 536 - 45
pmid: 1
publication: Neuron
publication_identifier:
eissn:
- 1097-4199
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '2385'
status: public
title: Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast
and efficient transmitter release at a cortical GABAergic synapse
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 57
year: '2008'
...
---
OA_place: repository
OA_type: green
_id: '3825'
abstract:
- lang: eng
text: Fast-spiking parvalbumin-expressing basket cells (BCs) represent a major type
of inhibitory interneuron in the hippocampus. These cells inhibit principal cells
in a temporally precise manner and are involved in the generation of network oscillations.
Although BCs show a unique expression profile of Ca(2+)-permeable receptors, Ca(2+)-binding
proteins and Ca(2+)-dependent signalling molecules, physiological Ca(2+) signalling
in these interneurons has not been investigated. To study action potential (AP)-induced
dendritic Ca(2+) influx and buffering, we combined whole-cell patch-clamp recordings
with ratiometric Ca(2+) imaging from the proximal apical dendrites of rigorously
identified BCs in acute slices, using the high-affinity Ca(2+) indicator fura-2
or the low-affinity dye fura-FF. Single APs evoked dendritic Ca(2+) transients
with small amplitude. Bursts of APs evoked Ca(2+) transients with amplitudes that
increased linearly with AP number. Analysis of Ca(2+) transients under steady-state
conditions with different fura-2 concentrations and during loading with 200 microm
fura-2 indicated that the endogenous Ca(2+)-binding ratio was approximately 200
(kappa(S) = 202 +/- 26 for the loading experiments). The peak amplitude of the
Ca(2+) transients measured directly with 100 microm fura-FF was 39 nm AP(-1).
At approximately 23 degrees C, the decay time constant of the Ca(2+) transients
was 390 ms, corresponding to an extrusion rate of approximately 600 s(-1). At
34 degrees C, the decay time constant was 203 ms and the corresponding extrusion
rate was approximately 1100 s(-1). At both temperatures, continuous theta-burst
activity with three to five APs per theta cycle, as occurs in vivo during exploration,
led to a moderate increase in the global Ca(2+) concentration that was proportional
to AP number, whereas more intense stimulation was required to reach micromolar
Ca(2+) concentrations and to shift Ca(2+) signalling into a non-linear regime.
In conclusion, dentate gyrus BCs show a high endogenous Ca(2+)-binding ratio,
a small AP-induced dendritic Ca(2+) influx, and a relatively slow Ca(2+) extrusion.
These specific buffering properties of BCs will sharpen the time course of local
Ca(2+) signals, while prolonging the decay of global Ca(2+) signals.
article_processing_charge: No
article_type: original
author:
- first_name: Yexica
full_name: Aponte, Yexica
last_name: Aponte
- first_name: Josef
full_name: Bischofberger, Josef
last_name: Bischofberger
- 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: Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking
basket cells of rat hippocampus. The Journal of Physiology. 2008;586(8):2061-2075.
doi:10.1113/jphysiol.2007.147298
apa: Aponte, Y., Bischofberger, J., & Jonas, P. M. (2008). Efficient Ca(2+)
buffering in fast-spiking basket cells of rat hippocampus. The Journal of Physiology.
Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.147298
chicago: Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+)
Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” The Journal of
Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.147298.
ieee: Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering
in fast-spiking basket cells of rat hippocampus,” The Journal of Physiology,
vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.
ista: Aponte Y, Bischofberger J, Jonas PM. 2008. Efficient Ca(2+) buffering in fast-spiking
basket cells of rat hippocampus. The Journal of Physiology. 586(8), 2061–75.
mla: Aponte, Yexica, et al. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells
of Rat Hippocampus.” The Journal of Physiology, vol. 586, no. 8, Wiley-Blackwell,
2008, pp. 2061–75, doi:10.1113/jphysiol.2007.147298.
short: Y. Aponte, J. Bischofberger, P.M. Jonas, The Journal of Physiology 586 (2008)
2061–75.
date_created: 2018-12-11T12:05:22Z
date_published: 2008-04-14T00:00:00Z
date_updated: 2026-05-29T11:01:59Z
day: '14'
doi: 10.1113/jphysiol.2007.147298
extern: '1'
external_id:
pmid:
- '18276734'
intvolume: ' 586'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2465201/
month: '04'
oa: 1
oa_version: None
page: 2061 - 75
pmid: 1
publication: The Journal of Physiology
publication_identifier:
eissn:
- 1469-7793
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2386'
status: public
title: Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 586
year: '2008'
...
---
OA_type: closed access
_id: '3826'
abstract:
- lang: eng
text: Gamma frequency (30-100 Hz) oscillations in the mature cortex underlie higher
cognitive functions. Fast signaling in GABAergic interneuron networks plays a
key role in the generation of these oscillations. During development of the rodent
brain, gamma activity appears at the end of the first postnatal week, but frequency
and synchrony reach adult levels only by the fourth week. However, the mechanisms
underlying the maturation of gamma activity are unclear. Here we demonstrate that
hippocampal basket cells (BCs), the proposed cellular substrate of gamma oscillations,
undergo marked changes in their morphological, intrinsic, and synaptic properties
between postnatal day 6 (P6) and P25. During maturation, action potential duration,
propagation time, duration of the release period, and decay time constant of IPSCs
decreases by approximately 30-60%. Thus, postnatal development converts BCs from
slow into fast signaling devices. Computational analysis reveals that BC networks
with young intrinsic and synaptic properties as well as reduced connectivity generate
oscillations with moderate coherence in the lower gamma frequency range. In contrast,
BC networks with mature properties and increased connectivity generate highly
coherent activity in the upper gamma frequency band. Thus, late postnatal maturation
of BCs enhances coherence in neuronal networks and will thereby contribute to
the development of cognitive brain functions.
article_processing_charge: No
article_type: original
author:
- first_name: Daniel
full_name: Doischer, Daniel
last_name: Doischer
- first_name: Jonas
full_name: Hosp, Jonas
last_name: Hosp
- first_name: Yuchio
full_name: Yanagawa, Yuchio
last_name: Yanagawa
- first_name: Kunihiko
full_name: Obata, Kunihiko
last_name: Obata
- 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: Imre
full_name: Vida, Imre
last_name: Vida
- first_name: Marlene
full_name: Bartos, Marlene
last_name: Bartos
citation:
ama: Doischer D, Hosp J, Yanagawa Y, et al. Postnatal differentiation of basket
cells from slow to fast signaling devices. The Journal of Neuroscience.
2008;28(48):12956-12968. doi:10.1523/JNEUROSCI.2890-08.2008
apa: Doischer, D., Hosp, J., Yanagawa, Y., Obata, K., Jonas, P. M., Vida, I., &
Bartos, M. (2008). Postnatal differentiation of basket cells from slow to fast
signaling devices. The Journal of Neuroscience. Society for Neuroscience.
https://doi.org/10.1523/JNEUROSCI.2890-08.2008
chicago: Doischer, Daniel, Jonas Hosp, Yuchio Yanagawa, Kunihiko Obata, Peter M
Jonas, Imre Vida, and Marlene Bartos. “Postnatal Differentiation of Basket Cells
from Slow to Fast Signaling Devices.” The Journal of Neuroscience. Society
for Neuroscience, 2008. https://doi.org/10.1523/JNEUROSCI.2890-08.2008.
ieee: D. Doischer et al., “Postnatal differentiation of basket cells from
slow to fast signaling devices,” The Journal of Neuroscience, vol. 28,
no. 48. Society for Neuroscience, pp. 12956–68, 2008.
ista: Doischer D, Hosp J, Yanagawa Y, Obata K, Jonas PM, Vida I, Bartos M. 2008.
Postnatal differentiation of basket cells from slow to fast signaling devices.
The Journal of Neuroscience. 28(48), 12956–68.
mla: Doischer, Daniel, et al. “Postnatal Differentiation of Basket Cells from Slow
to Fast Signaling Devices.” The Journal of Neuroscience, vol. 28, no. 48,
Society for Neuroscience, 2008, pp. 12956–68, doi:10.1523/JNEUROSCI.2890-08.2008.
short: D. Doischer, J. Hosp, Y. Yanagawa, K. Obata, P.M. Jonas, I. Vida, M. Bartos,
The Journal of Neuroscience 28 (2008) 12956–68.
date_created: 2018-12-11T12:05:23Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2026-05-29T10:46:21Z
day: '01'
doi: 10.1523/JNEUROSCI.2890-08.2008
extern: '1'
external_id:
pmid:
- '19036989'
intvolume: ' 28'
issue: '48'
language:
- iso: eng
month: '01'
oa_version: None
page: 12956 - 68
pmid: 1
publication: The Journal of Neuroscience
publication_identifier:
eissn:
- 1529-2401
issn:
- 0270-6474
publication_status: published
publisher: Society for Neuroscience
publist_id: '2383'
status: public
title: Postnatal differentiation of basket cells from slow to fast signaling devices
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 28
year: '2008'
...
---
OA_type: closed access
_id: '3827'
abstract:
- lang: eng
text: Previous studies revealed that synaptotagmin 1 is the major Ca(2+) sensor
for fast synchronous transmitter release at excitatory synapses. However, the
molecular identity of the Ca(2+) sensor at hippocampal inhibitory synapses has
not been determined. To address the functional role of synaptotagmin 1 at identified
inhibitory terminals, we made paired recordings from synaptically connected basket
cells (BCs) and granule cells (GCs) in the dentate gyrus in organotypic slice
cultures from wild-type and synaptotagmin 1-deficient mice. As expected, genetic
elimination of synaptotagmin 1 abolished synchronous transmitter release at excitatory
GC-BC synapses. However, synchronous release at inhibitory BC-GC synapses was
maintained. Quantitative analysis revealed that elimination of synaptotagmin 1
reduced release probability and depression but maintained the synchrony of transmitter
release at BC-GC synapses. Elimination of synaptotagmin 1 also increased the frequency
of both miniature excitatory postsynaptic currents (measured in BCs) and miniature
inhibitory postsynaptic currents (recorded in GCs), consistent with a clamping
function of synaptotagmin 1 at both excitatory and inhibitory terminals. Single-cell
reverse-transcription quantitative PCR analysis revealed that single BCs coexpressed
multiple synaptotagmin isoforms, including synaptotagmin 1-5, 7, and 11-13. Our
results indicate that, in contrast to excitatory synapses, synaptotagmin 1 is
not absolutely required for synchronous release at inhibitory BC-GC synapses.
Thus, alternative fast Ca(2+) sensors contribute to synchronous release of the
inhibitory transmitter GABA in cortical circuits.
article_processing_charge: No
article_type: original
author:
- first_name: Angharad
full_name: Kerr, Angharad
last_name: Kerr
- first_name: Ellen
full_name: Reisinger, Ellen
last_name: Reisinger
- 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: Kerr A, Reisinger E, Jonas PM. Differential dependence of phasic transmitter
release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses.
Proceedings of the National Academy of Sciences. 2008;105(40):15581-15586.
doi:10.1073/pnas.0800621105
apa: Kerr, A., Reisinger, E., & Jonas, P. M. (2008). Differential dependence
of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic
hippocampal synapses. Proceedings of the National Academy of Sciences.
National Academy of Sciences. https://doi.org/10.1073/pnas.0800621105
chicago: Kerr, Angharad, Ellen Reisinger, and Peter M Jonas. “Differential Dependence
of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic
Hippocampal Synapses.” Proceedings of the National Academy of Sciences.
National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0800621105.
ieee: A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic
transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal
synapses,” Proceedings of the National Academy of Sciences, vol. 105, no.
40. National Academy of Sciences, pp. 15581–6, 2008.
ista: Kerr A, Reisinger E, Jonas PM. 2008. Differential dependence of phasic transmitter
release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses.
Proceedings of the National Academy of Sciences. 105(40), 15581–6.
mla: Kerr, Angharad, et al. “Differential Dependence of Phasic Transmitter Release
on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” Proceedings
of the National Academy of Sciences, vol. 105, no. 40, National Academy of
Sciences, 2008, pp. 15581–86, doi:10.1073/pnas.0800621105.
short: A. Kerr, E. Reisinger, P.M. Jonas, Proceedings of the National Academy of
Sciences 105 (2008) 15581–6.
date_created: 2018-12-11T12:05:23Z
date_published: 2008-10-07T00:00:00Z
date_updated: 2026-06-10T10:15:30Z
day: '07'
doi: 10.1073/pnas.0800621105
extern: '1'
external_id:
pmid:
- '18832148'
intvolume: ' 105'
issue: '40'
language:
- iso: eng
month: '10'
oa_version: None
page: 15581 - 6
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: National Academy of Sciences
publist_id: '2384'
status: public
title: Differential dependence of phasic transmitter release on synaptotagmin 1 at
GABAergic and glutamatergic hippocampal synapses
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 105
year: '2008'
...
---
OA_type: closed access
_id: '3872'
abstract:
- lang: eng
text: We survey value iteration algorithms on graphs. Such algorithms can be used
for determining the existence of certain paths (model checking), the existence
of certain strategies (game solving), and the probabilities of certain events
(performance analysis). We classify the algorithms according to the value domain
(boolean, probabilistic, or quantitative); according to the graph structure (nondeterministic,
probabilistic, or multi-player); according to the desired property of paths (Borel
level 1, 2, or 3); and according to the alternation depth and convergence rate
of fixpoint computations.
acknowledgement: This research was supported in part by the Swiss National Science
Foundation and by the NSF grants CCR-0225610 and CCR-0234690.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: 'Chatterjee K, Henzinger TA. Value iteration. In: 25 Years in Model Checking.
Vol 5000. Springer Nature; 2008:107-138. doi:10.1007/978-3-540-69850-0_7'
apa: Chatterjee, K., & Henzinger, T. A. (2008). Value iteration. In 25 Years
in Model Checking (Vol. 5000, pp. 107–138). Springer Nature. https://doi.org/10.1007/978-3-540-69850-0_7
chicago: Chatterjee, Krishnendu, and Thomas A Henzinger. “Value Iteration.” In 25
Years in Model Checking, 5000:107–38. Springer Nature, 2008. https://doi.org/10.1007/978-3-540-69850-0_7.
ieee: K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model
Checking, vol. 5000, Springer Nature, 2008, pp. 107–138.
ista: 'Chatterjee K, Henzinger TA. 2008.Value iteration. In: 25 Years in Model Checking.
LNCS, vol. 5000, 107–138.'
mla: Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years
in Model Checking, vol. 5000, Springer Nature, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
short: K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer
Nature, 2008, pp. 107–138.
date_created: 2018-12-11T12:05:38Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2026-05-29T10:39:25Z
day: '01'
doi: 10.1007/978-3-540-69850-0_7
extern: '1'
intvolume: ' 5000'
language:
- iso: eng
month: '01'
oa_version: None
page: 107 - 138
publication: 25 Years in Model Checking
publication_identifier:
eisbn:
- '9783540698500'
isbn:
- '9783540698494'
publication_status: published
publisher: Springer Nature
publist_id: '2299'
status: public
title: Value iteration
type: book_chapter
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 5000
year: '2008'
...
---
OA_type: closed access
_id: '3873'
abstract:
- lang: eng
text: We study the controller synthesis problem under budget constraints. In this
problem, there is a cost associated with making an observation, and a controller
can make only a limited number of observations in each round so that the total
cost of the observations does not exceed a given fixed budget. The controller
must ensure some omega-regular requirement subject to the budget constraint. Budget
constraints arise in designing and implementing controllers for resource-constrained
embedded systems, where a controller may not have enough power, time, or bandwidth
to obtain data from all sensors in each round. They lead to games of imperfect
information, where the unknown information is not fixed a priori, but can vary
from round to round, based on the choices made by the controller how to allocate
its budget. We show that the budget-constrained synthesis problem for W-regular
objectives is complete for exponential time. In addition to studying synthesis
under a fixed budget constraint, we study the budget optimization problem, where
given a plant, an objective, and observation costs, we have to find a controller
that achieves the objective with minimal average accumulated cost (or minimal
peak cost). We show that this problem is reducible to a game of imperfect information
where the winning objective is a conjunction of an omega-regular condition and
a long-run average condition (or a least max-cost condition), and this again leads
to an exponential-time algorithm. Finally, we extend our results to games over
infinite state spaces, and show that the budget-constrained synthesis problem
is decidable for infinite state games with stable quotients of finite index. Consequently,
the discrete time budget-constrained synthesis problem is decidable for rectangular
hybrid automata.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
- 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: 'Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints.
In: 11th Workshop on Hybrid Systems: Computation and Control. Vol 4981.
Springer Nature; 2008:72-86. doi:DOI:
10.1007/978-3-540-78929-1_6'
apa: 'Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Controller synthesis
with budget constraints. In 11th Workshop on Hybrid Systems: Computation and
Control (Vol. 4981, pp. 72–86). St. Louis, MO, United States: Springer Nature.
https://doi.org/DOI:
10.1007/978-3-540-78929-1_6'
chicago: 'Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller
Synthesis with Budget Constraints.” In 11th Workshop on Hybrid Systems: Computation
and Control, 4981:72–86. Springer Nature, 2008. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6.'
ieee: 'K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with
budget constraints,” in 11th Workshop on Hybrid Systems: Computation and Control,
St. Louis, MO, United States, 2008, vol. 4981, pp. 72–86.'
ista: 'Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget
constraints. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid
Systems - Computation and Control, LNCS, vol. 4981, 72–86.'
mla: 'Chatterjee, Krishnendu, et al. “Controller Synthesis with Budget Constraints.”
11th Workshop on Hybrid Systems: Computation and Control, vol. 4981, Springer
Nature, 2008, pp. 72–86, doi:DOI:
10.1007/978-3-540-78929-1_6.'
short: 'K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid
Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.'
conference:
end_date: 2008-04-24
location: St. Louis, MO, United States
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2008-04-22
date_created: 2018-12-11T12:05:38Z
date_published: 2008-04-03T00:00:00Z
date_updated: 2026-05-29T10:25:48Z
day: '03'
doi: 'DOI: 10.1007/978-3-540-78929-1_6'
extern: '1'
intvolume: ' 4981'
language:
- iso: eng
month: '04'
oa_version: None
page: 72 - 86
publication: '11th Workshop on Hybrid Systems: Computation and Control'
publication_identifier:
eissn:
- 1611-3349
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
publist_id: '2296'
status: public
title: Controller synthesis with budget constraints
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 4981
year: '2008'
...
---
OA_type: closed access
_id: '3874'
abstract:
- lang: eng
text: We consider concurrent two-player timed automaton games with omega-regular
objectives specified as parity conditions. These games offer an appropriate model
for the synthesis of real-time controllers. Earlier works on timed games focused
on pure strategies for each player. We study, for the first time, the use of randomized
strategies in such games. While pure (i.e., nonrandomized) strategies in timed
games require infinite memory for winning even with respect to reachability objectives,
we show that randomized strategies can win with finite memory with respect to
all parity objectives. Also, the synthesized randomized real-time controllers
are much simpler in structure than the corresponding pure controllers, and therefore
easier to implement. For safety objectives we prove the existence of pure finite-memory
winning strategies. Finally, while randomization helps in simplifying the strategies
required for winning timed parity games, we prove that randomization does not
help in winning at more states.
acknowledgement: This research was supported in part by the NSF grants CCR-0208875,
CCR-0225610, CCR-0234690, by the Swiss National Science Foundation, and by the Artist2
European Network of Excellence.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: Vinayak
full_name: Prabhu, Vinayak
last_name: Prabhu
citation:
ama: 'Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform
randomness in timed games. In: 11th Workshop on Hybrid Systems: Computation
and Control. Vol 4981. Springer Nature; 2008:87-100. doi:10.1007/978-3-540-78929-1_7'
apa: 'Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Trading infinite
memory for uniform randomness in timed games. In 11th Workshop on Hybrid Systems:
Computation and Control (Vol. 4981, pp. 87–100). St. Louis, MO, United States:
Springer Nature. https://doi.org/10.1007/978-3-540-78929-1_7'
chicago: 'Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading
Infinite Memory for Uniform Randomness in Timed Games.” In 11th Workshop on
Hybrid Systems: Computation and Control, 4981:87–100. Springer Nature, 2008.
https://doi.org/10.1007/978-3-540-78929-1_7.'
ieee: 'K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for
uniform randomness in timed games,” in 11th Workshop on Hybrid Systems: Computation
and Control, St. Louis, MO, United States, 2008, vol. 4981, pp. 87–100.'
ista: 'Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform
randomness in timed games. 11th Workshop on Hybrid Systems: Computation and Control.
HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.'
mla: 'Chatterjee, Krishnendu, et al. “Trading Infinite Memory for Uniform Randomness
in Timed Games.” 11th Workshop on Hybrid Systems: Computation and Control,
vol. 4981, Springer Nature, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.'
short: 'K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems:
Computation and Control, Springer Nature, 2008, pp. 87–100.'
conference:
end_date: 2008-04-24
location: St. Louis, MO, United States
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2008-04-22
date_created: 2018-12-11T12:05:38Z
date_published: 2008-04-03T00:00:00Z
date_updated: 2026-06-10T10:14:59Z
day: '03'
doi: 10.1007/978-3-540-78929-1_7
extern: '1'
intvolume: ' 4981'
language:
- iso: eng
month: '04'
oa_version: None
page: 87 - 100
publication: '11th Workshop on Hybrid Systems: Computation and Control'
publication_identifier:
eissn:
- 1611-3349
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
publist_id: '2297'
status: public
title: Trading infinite memory for uniform randomness in timed games
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 4981
year: '2008'
...
---
OA_type: closed access
_id: '3875'
abstract:
- lang: eng
text: We study the problem of model checking Interval-valued Discrete-time Markov
Chains (IDTMC). IDTMCs are discrete-time finite Markov Chains for which the exact
transition probabilities are riot known. Instead in IDTMCs, each transition is
associated with an interval in which the actual transition probability must lie.
We consider two semantic interpretations for the uncertainty in the transition
probabilities of an IDTMC. In the first interpretation, we think of an IDTMC as
representing a (possibly uncountable) family of (classical) discrete-time Markov
Chains, where each member of the family is a Markov Chain whose transition probabilities
lie within the interval range given in the IDTMC. We call this semantic interpretation
Uncertain Markov Chains (UMC). In the second semantics for an IDTMC, which we
call Interval Markov Decision Process (IMDP), we view the uncertainty as being
resolved through non-determinism. In other words, each time a state is visited,
we adversarially pick a transition distribution that respects the interval constraints,
and take a probabilistic step according to the chosen distribution. We introduce
a logic omega-PCTL that can express liveness, strong fairness, and omega-regular
properties (such properties cannot be expressed in PCTL). We show that the omega-PCTL
model checking problem for Uncertain Markov Chain semantics is decidable in PSPACE
(same as the best known upper bound for PCTL) and for Interval Markov Decision
Process semantics is decidable in coNP (improving the previous known PSPACE bound
for PCTL). We also show that the qualitative fragment of the logic can lie solved
in coNP for the UMC interpretation, and can be solved in polynomial time for a
sub-class of UMCs. We also prove lower bounds for these model checking problems.
We show that the model checking problem of IDTMCs with LTL formulas can be solved
for both UMC and IMDP semantics by reduction to the model checking problem of
IDTMC with omega-PcTL formulas.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: Koushik
full_name: Sen, Koushik
last_name: Sen
citation:
ama: 'Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties
of interval Markov chains. In: Foundations of Software Science and Computational
Structures - 11th International Conference. Vol 4962. Springer Nature; 2008:302-317.
doi:10.1007/978-3-540-78499-9_22'
apa: 'Chatterjee, K., Henzinger, T. A., & Sen, K. (2008). Model-checking omega-regular
properties of interval Markov chains. In Foundations of Software Science and
Computational Structures - 11th International Conference (Vol. 4962, pp. 302–317).
Budapest, Hungary: Springer Nature. https://doi.org/10.1007/978-3-540-78499-9_22'
chicago: Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking
Omega-Regular Properties of Interval Markov Chains.” In Foundations of Software
Science and Computational Structures - 11th International Conference, 4962:302–17.
Springer Nature, 2008. https://doi.org/10.1007/978-3-540-78499-9_22.
ieee: K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular
properties of interval Markov chains,” in Foundations of Software Science and
Computational Structures - 11th International Conference, Budapest, Hungary,
2008, vol. 4962, pp. 302–317.
ista: 'Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties
of interval Markov chains. Foundations of Software Science and Computational Structures
- 11th International Conference. FoSSaCS: Foundations of Software Science and
Computation Structures, LNCS, vol. 4962, 302–317.'
mla: Chatterjee, Krishnendu, et al. “Model-Checking Omega-Regular Properties of
Interval Markov Chains.” Foundations of Software Science and Computational
Structures - 11th International Conference, vol. 4962, Springer Nature, 2008,
pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
short: K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science
and Computational Structures - 11th International Conference, Springer Nature,
2008, pp. 302–317.
conference:
end_date: 2008-04-06
location: Budapest, Hungary
name: 'FoSSaCS: Foundations of Software Science and Computation Structures'
start_date: 2008-03-29
date_created: 2018-12-11T12:05:39Z
date_published: 2008-03-01T00:00:00Z
date_updated: 2026-05-29T10:35:10Z
day: '01'
doi: 10.1007/978-3-540-78499-9_22
extern: '1'
intvolume: ' 4962'
language:
- iso: eng
month: '03'
oa_version: None
page: 302 - 317
publication: Foundations of Software Science and Computational Structures - 11th International
Conference
publication_identifier:
eissn:
- 1611-3349
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
publist_id: '2298'
status: public
title: Model-checking omega-regular properties of interval Markov chains
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 4962
year: '2008'
...
---
OA_place: repository
OA_type: green
_id: '3876'
abstract:
- lang: eng
text: We consider two-player games played in real time on game structures with clocks
and parity objectives. The games are concurrent in that at each turn, both players
independently propose a time delay and an action, and the action with the shorter
delay is chosen. To prevent a player from winning by blocking time, we restrict
each player to strategies that ensure that the player cannot be responsible for
causing a zeno run. First, we present an efficient reduction of these games to
turn-based (i.e., nonconcurrent) finite-state (i.e., untimed) parity games. The
states of the resulting game are pairs of clock regions of the original game.
Our reduction improves the best known complexity for solving timed parity games.
Moreover, the rich class of algorithms for classical parity games can now be applied
to timed parity games. Second, we consider two restricted classes of strategies
for the player that represents the controller in a real-time synthesis problem,
namely, limit-robust and bounded-robust strategies. Using a limit-robust strategy,
the controller cannot choose an exact real-valued time delay but must allow for
some nonzero jitter in each of its actions. If there is a given lower bound on
the jitter, then the strategy is bounded-robust. We show that exact strategies
are more powerful than limit-robust strategies, which are more powerful than bounded-robust
strategies for any bound. For both kinds of robust strategies, we present efficient
reductions to standard timed automaton games. These reductions provide algorithms
for the synthesis of robust real-time controllers.
acknowledgement: This research was supported in part by the NSF grants CCR-0132780,
CNS-0720884, and CCR-0225610, and by the European COMBEST project.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: Vinayak
full_name: Prabhu, Vinayak
last_name: Prabhu
citation:
ama: 'Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness.
In: Proceedings of the 6th International Conference on Formal Modeling and
Analysis of Timed Systems. Vol 5215. Springer Nature; 2008:124-140. doi:10.1007/978-3-540-85778-5_10'
apa: 'Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Timed parity games:
complexity and robustness. In Proceedings of the 6th international conference
on Formal Modeling and Analysis of Timed Systems (Vol. 5215, pp. 124–140).
Saint Malo, France: Springer Nature. https://doi.org/10.1007/978-3-540-85778-5_10'
chicago: 'Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed
Parity Games: Complexity and Robustness.” In Proceedings of the 6th International
Conference on Formal Modeling and Analysis of Timed Systems, 5215:124–40.
Springer Nature, 2008. https://doi.org/10.1007/978-3-540-85778-5_10.'
ieee: 'K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity
and robustness,” in Proceedings of the 6th international conference on Formal
Modeling and Analysis of Timed Systems, Saint Malo, France, 2008, vol. 5215,
pp. 124–140.'
ista: 'Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity
and robustness. Proceedings of the 6th international conference on Formal Modeling
and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed
Systems, LNCS, vol. 5215, 124–140.'
mla: 'Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.”
Proceedings of the 6th International Conference on Formal Modeling and Analysis
of Timed Systems, vol. 5215, Springer Nature, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.'
short: K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International
Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature,
2008, pp. 124–140.
conference:
end_date: 2008-09-17
location: Saint Malo, France
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
start_date: 2008-09-15
date_created: 2018-12-11T12:05:39Z
date_published: 2008-10-01T00:00:00Z
date_updated: 2026-05-29T10:16:20Z
day: '01'
doi: 10.1007/978-3-540-85778-5_10
extern: '1'
external_id:
arxiv:
- '0807.1165'
intvolume: ' 5215'
language:
- iso: eng
month: '10'
oa_version: None
page: 124 - 140
publication: Proceedings of the 6th international conference on Formal Modeling and
Analysis of Timed Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783540857778'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
publist_id: '2294'
related_material:
record:
- id: '3315'
relation: later_version
status: public
status: public
title: 'Timed parity games: complexity and robustness'
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 5215
year: '2008'
...