---
_id: '7304'
abstract:
- lang: eng
text: Lithium-air batteries have received extraordinary attention recently owing
to their theoretical gravimetric energies being considerably higher than those
of Li-ion batteries. There are, however, significant challenges to practical implementation,
including low energy efficiency, cycle life, and power capability. These are due
primarily to the lack of fundamental understanding of oxygen reduction and evolution
reaction kinetics and parasitic reactions between oxygen redox intermediate species
and nominally inactive battery components such as carbon in the oxygen electrode
and electrolytes. In this article, we discuss recent advances in the mechanistic
understanding of oxygen redox reactions in nonaqueous electrolytes and the search
for electrolytes and electrode materials that are chemically stable in the oxygen
electrode. In addition, methods to protect lithium metal against corrosion by
water and dendrite formation in aqueous lithium-air batteries are discussed. Further
materials innovations lie at the heart of research and development efforts that
are needed to enable the development of lithium-oxygen batteries with enhanced
round-trip efficiency and cycle life.
article_processing_charge: No
article_type: original
author:
- first_name: D.G.
full_name: Kwabi, D.G.
last_name: Kwabi
- first_name: N.
full_name: Ortiz-Vitoriano, N.
last_name: Ortiz-Vitoriano
- 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: Y.
full_name: Chen, Y.
last_name: Chen
- first_name: N.
full_name: Imanishi, N.
last_name: Imanishi
- first_name: P.G.
full_name: Bruce, P.G.
last_name: Bruce
- first_name: Y.
full_name: Shao-Horn, Y.
last_name: Shao-Horn
citation:
ama: Kwabi DG, Ortiz-Vitoriano N, Freunberger SA, et al. Materials challenges in
rechargeable lithium-air batteries. MRS Bulletin. 2014;39(5):443-452. doi:10.1557/mrs.2014.87
apa: Kwabi, D. G., Ortiz-Vitoriano, N., Freunberger, S. A., Chen, Y., Imanishi,
N., Bruce, P. G., & Shao-Horn, Y. (2014). Materials challenges in rechargeable
lithium-air batteries. MRS Bulletin. CUP. https://doi.org/10.1557/mrs.2014.87
chicago: Kwabi, D.G., N. Ortiz-Vitoriano, Stefan Alexander Freunberger, Y. Chen,
N. Imanishi, P.G. Bruce, and Y. Shao-Horn. “Materials Challenges in Rechargeable
Lithium-Air Batteries.” MRS Bulletin. CUP, 2014. https://doi.org/10.1557/mrs.2014.87.
ieee: D. G. Kwabi et al., “Materials challenges in rechargeable lithium-air
batteries,” MRS Bulletin, vol. 39, no. 5. CUP, pp. 443–452, 2014.
ista: Kwabi DG, Ortiz-Vitoriano N, Freunberger SA, Chen Y, Imanishi N, Bruce PG,
Shao-Horn Y. 2014. Materials challenges in rechargeable lithium-air batteries.
MRS Bulletin. 39(5), 443–452.
mla: Kwabi, D. G., et al. “Materials Challenges in Rechargeable Lithium-Air Batteries.”
MRS Bulletin, vol. 39, no. 5, CUP, 2014, pp. 443–52, doi:10.1557/mrs.2014.87.
short: D.G. Kwabi, N. Ortiz-Vitoriano, S.A. Freunberger, Y. Chen, N. Imanishi, P.G.
Bruce, Y. Shao-Horn, MRS Bulletin 39 (2014) 443–452.
date_created: 2020-01-15T12:18:05Z
date_published: 2014-05-01T00:00:00Z
date_updated: 2021-01-12T08:12:54Z
day: '01'
doi: 10.1557/mrs.2014.87
extern: '1'
intvolume: ' 39'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 443-452
publication: MRS Bulletin
publication_identifier:
issn:
- 0883-7694
- 1938-1425
publication_status: published
publisher: CUP
quality_controlled: '1'
status: public
title: Materials challenges in rechargeable lithium-air batteries
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2014'
...
---
_id: '7305'
abstract:
- lang: eng
text: When lithium–oxygen batteries discharge, O2 is reduced at the cathode to form
solid Li2O2. Understanding the fundamental mechanism of O2 reduction in aprotic
solvents is therefore essential to realizing their technological potential. Two
different models have been proposed for Li2O2 formation, involving either solution
or electrode surface routes. Here, we describe a single unified mechanism, which,
unlike previous models, can explain O2 reduction across the whole range of solvents
and for which the two previous models are limiting cases. We observe that the
solvent influences O2 reduction through its effect on the solubility of LiO2,
or, more precisely, the free energy of the reaction LiO2* ⇌ Li(sol)+ + O2−(sol) + ion
pairs + higher aggregates (clusters). The unified mechanism shows that low-donor-number
solvents are likely to lead to premature cell death, and that the future direction
of research for lithium–oxygen batteries should focus on the search for new, stable,
high-donor-number electrolytes, because they can support higher capacities and
can better sustain discharge.
article_processing_charge: No
article_type: original
author:
- first_name: Lee
full_name: Johnson, Lee
last_name: Johnson
- first_name: Chunmei
full_name: Li, Chunmei
last_name: Li
- first_name: Zheng
full_name: Liu, Zheng
last_name: Liu
- first_name: Yuhui
full_name: Chen, Yuhui
last_name: Chen
- 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: Praveen C.
full_name: Ashok, Praveen C.
last_name: Ashok
- first_name: Bavishna B.
full_name: Praveen, Bavishna B.
last_name: Praveen
- first_name: Kishan
full_name: Dholakia, Kishan
last_name: Dholakia
- first_name: Jean-Marie
full_name: Tarascon, Jean-Marie
last_name: Tarascon
- first_name: Peter G.
full_name: Bruce, Peter G.
last_name: Bruce
citation:
ama: Johnson L, Li C, Liu Z, et al. The role of LiO2 solubility in O2 reduction
in aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry.
2014;6(12):1091-1099. doi:10.1038/nchem.2101
apa: Johnson, L., Li, C., Liu, Z., Chen, Y., Freunberger, S. A., Ashok, P. C., …
Bruce, P. G. (2014). The role of LiO2 solubility in O2 reduction in aprotic solvents
and its consequences for Li–O2 batteries. Nature Chemistry. Springer Nature.
https://doi.org/10.1038/nchem.2101
chicago: Johnson, Lee, Chunmei Li, Zheng Liu, Yuhui Chen, Stefan Alexander Freunberger,
Praveen C. Ashok, Bavishna B. Praveen, Kishan Dholakia, Jean-Marie Tarascon, and
Peter G. Bruce. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents
and Its Consequences for Li–O2 Batteries.” Nature Chemistry. Springer Nature,
2014. https://doi.org/10.1038/nchem.2101.
ieee: L. Johnson et al., “The role of LiO2 solubility in O2 reduction in
aprotic solvents and its consequences for Li–O2 batteries,” Nature Chemistry,
vol. 6, no. 12. Springer Nature, pp. 1091–1099, 2014.
ista: Johnson L, Li C, Liu Z, Chen Y, Freunberger SA, Ashok PC, Praveen BB, Dholakia
K, Tarascon J-M, Bruce PG. 2014. The role of LiO2 solubility in O2 reduction in
aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry. 6(12),
1091–1099.
mla: Johnson, Lee, et al. “The Role of LiO2 Solubility in O2 Reduction in Aprotic
Solvents and Its Consequences for Li–O2 Batteries.” Nature Chemistry, vol.
6, no. 12, Springer Nature, 2014, pp. 1091–99, doi:10.1038/nchem.2101.
short: L. Johnson, C. Li, Z. Liu, Y. Chen, S.A. Freunberger, P.C. Ashok, B.B. Praveen,
K. Dholakia, J.-M. Tarascon, P.G. Bruce, Nature Chemistry 6 (2014) 1091–1099.
date_created: 2020-01-15T12:18:18Z
date_published: 2014-11-10T00:00:00Z
date_updated: 2021-01-12T08:12:55Z
day: '10'
doi: 10.1038/nchem.2101
extern: '1'
intvolume: ' 6'
issue: '12'
language:
- iso: eng
month: '11'
oa_version: None
page: 1091-1099
publication: Nature Chemistry
publication_identifier:
issn:
- 1755-4330
- 1755-4349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1038/nchem.2138
status: public
title: The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences
for Li–O2 batteries
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2014'
...
---
_id: '7361'
abstract:
- lang: eng
text: Bistable switches are fundamental regulatory elements of complex systems,
ranging from electronics to living cells. Designed genetic toggle switches have
been constructed from pairs of natural transcriptional repressors wired to inhibit
one another. The complexity of the engineered regulatory circuits can be increased
using orthogonal transcriptional regulators based on designed DNA-binding domains.
However, a mutual repressor-based toggle switch comprising DNA-binding domains
of transcription-activator-like effectors (TALEs) did not support bistability
in mammalian cells. Here, the challenge of engineering a bistable switch based
on monomeric DNA-binding domains is solved via the introduction of a positive
feedback loop composed of activators based on the same TALE domains as their opposing
repressors and competition for the same DNA operator site. This design introduces
nonlinearity and results in epigenetic bistability. This principle could be used
to employ other monomeric DNA-binding domains such as CRISPR for applications
ranging from reprogramming cells to building digital biological memory.
article_number: '5007'
article_processing_charge: No
article_type: original
author:
- first_name: Tina
full_name: Lebar, Tina
last_name: Lebar
- first_name: Urban
full_name: Bezeljak, Urban
id: 2A58201A-F248-11E8-B48F-1D18A9856A87
last_name: Bezeljak
orcid: 0000-0003-1365-5631
- first_name: Anja
full_name: Golob, Anja
last_name: Golob
- first_name: Miha
full_name: Jerala, Miha
last_name: Jerala
- first_name: Lucija
full_name: Kadunc, Lucija
last_name: Kadunc
- first_name: Boštjan
full_name: Pirš, Boštjan
last_name: Pirš
- first_name: Martin
full_name: Stražar, Martin
last_name: Stražar
- first_name: Dušan
full_name: Vučko, Dušan
last_name: Vučko
- first_name: Uroš
full_name: Zupančič, Uroš
last_name: Zupančič
- first_name: Mojca
full_name: Benčina, Mojca
last_name: Benčina
- first_name: Vida
full_name: Forstnerič, Vida
last_name: Forstnerič
- first_name: Rok
full_name: Gaber, Rok
last_name: Gaber
- first_name: Jan
full_name: Lonzarić, Jan
last_name: Lonzarić
- first_name: Andreja
full_name: Majerle, Andreja
last_name: Majerle
- first_name: Alja
full_name: Oblak, Alja
last_name: Oblak
- first_name: Anže
full_name: Smole, Anže
last_name: Smole
- first_name: Roman
full_name: Jerala, Roman
last_name: Jerala
citation:
ama: Lebar T, Bezeljak U, Golob A, et al. A bistable genetic switch based on designable
DNA-binding domains. Nature Communications. 2014;5(1). doi:10.1038/ncomms6007
apa: Lebar, T., Bezeljak, U., Golob, A., Jerala, M., Kadunc, L., Pirš, B., … Jerala,
R. (2014). A bistable genetic switch based on designable DNA-binding domains.
Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms6007
chicago: Lebar, Tina, Urban Bezeljak, Anja Golob, Miha Jerala, Lucija Kadunc, Boštjan
Pirš, Martin Stražar, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding
Domains.” Nature Communications. Springer Nature, 2014. https://doi.org/10.1038/ncomms6007.
ieee: T. Lebar et al., “A bistable genetic switch based on designable DNA-binding
domains,” Nature Communications, vol. 5, no. 1. Springer Nature, 2014.
ista: Lebar T, Bezeljak U, Golob A, Jerala M, Kadunc L, Pirš B, Stražar M, Vučko
D, Zupančič U, Benčina M, Forstnerič V, Gaber R, Lonzarić J, Majerle A, Oblak
A, Smole A, Jerala R. 2014. A bistable genetic switch based on designable DNA-binding
domains. Nature Communications. 5(1), 5007.
mla: Lebar, Tina, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding
Domains.” Nature Communications, vol. 5, no. 1, 5007, Springer Nature,
2014, doi:10.1038/ncomms6007.
short: T. Lebar, U. Bezeljak, A. Golob, M. Jerala, L. Kadunc, B. Pirš, M. Stražar,
D. Vučko, U. Zupančič, M. Benčina, V. Forstnerič, R. Gaber, J. Lonzarić, A. Majerle,
A. Oblak, A. Smole, R. Jerala, Nature Communications 5 (2014).
date_created: 2020-01-25T15:57:17Z
date_published: 2014-09-29T00:00:00Z
date_updated: 2021-01-12T08:13:15Z
day: '29'
doi: 10.1038/ncomms6007
extern: '1'
external_id:
pmid:
- '25264186'
intvolume: ' 5'
issue: '1'
language:
- iso: eng
month: '09'
oa_version: None
pmid: 1
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: A bistable genetic switch based on designable DNA-binding domains
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2014'
...
---
_id: '7455'
abstract:
- lang: eng
text: 'The reaction between NiO and (0001)- and ([1\bar102])-oriented Al2O3 single
crystals has been investigated on model experimental systems by using the ReflEXAFS
technique. Depth-sensitive information is obtained by collecting data above and
below the critical angle for total reflection. A systematic protocol for data
analysis, based on the recently developed CARD code, was implemented, and a detailed
description of the reactive systems was obtained. In particular, for ([1\bar102])-oriented
Al2O3, the reaction with NiO is almost complete after heating for 6 h at 1273 K,
and an almost uniform layer of spinel is found below a mixed (NiO + spinel) layer
at the very upmost part of the sample. In the case of the (0001)-oriented Al2O3,
for the same temperature and heating time, the reaction shows a lower advancement
degree and a residual fraction of at least 30% NiO is detected in the ReflEXAFS
spectra. '
article_processing_charge: No
article_type: original
author:
- first_name: Tommaso
full_name: Costanzo, Tommaso
id: D93824F4-D9BA-11E9-BB12-F207E6697425
last_name: Costanzo
orcid: 0000-0001-9732-3815
- first_name: Federico
full_name: Benzi, Federico
last_name: Benzi
- first_name: Paolo
full_name: Ghigna, Paolo
last_name: Ghigna
- first_name: Sonia
full_name: Pin, Sonia
last_name: Pin
- first_name: Giorgio
full_name: Spinolo, Giorgio
last_name: Spinolo
- first_name: Francesco
full_name: d'Acapito, Francesco
last_name: d'Acapito
citation:
ama: Costanzo T, Benzi F, Ghigna P, Pin S, Spinolo G, d’Acapito F. Studying the
surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS). Journal
of Synchrotron Radiation. 2014;21(2):395-400. doi:10.1107/s1600577513031299
apa: Costanzo, T., Benzi, F., Ghigna, P., Pin, S., Spinolo, G., & d’Acapito,
F. (2014). Studying the surface reaction between NiO and Al2O3viatotal reflection
EXAFS (ReflEXAFS). Journal of Synchrotron Radiation. International Union
of Crystallography. https://doi.org/10.1107/s1600577513031299
chicago: Costanzo, Tommaso, Federico Benzi, Paolo Ghigna, Sonia Pin, Giorgio Spinolo,
and Francesco d’Acapito. “Studying the Surface Reaction between NiO and Al2O3viatotal
Reflection EXAFS (ReflEXAFS).” Journal of Synchrotron Radiation. International
Union of Crystallography, 2014. https://doi.org/10.1107/s1600577513031299.
ieee: T. Costanzo, F. Benzi, P. Ghigna, S. Pin, G. Spinolo, and F. d’Acapito, “Studying
the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS),”
Journal of Synchrotron Radiation, vol. 21, no. 2. International Union of
Crystallography, pp. 395–400, 2014.
ista: Costanzo T, Benzi F, Ghigna P, Pin S, Spinolo G, d’Acapito F. 2014. Studying
the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS).
Journal of Synchrotron Radiation. 21(2), 395–400.
mla: Costanzo, Tommaso, et al. “Studying the Surface Reaction between NiO and Al2O3viatotal
Reflection EXAFS (ReflEXAFS).” Journal of Synchrotron Radiation, vol. 21,
no. 2, International Union of Crystallography, 2014, pp. 395–400, doi:10.1107/s1600577513031299.
short: T. Costanzo, F. Benzi, P. Ghigna, S. Pin, G. Spinolo, F. d’Acapito, Journal
of Synchrotron Radiation 21 (2014) 395–400.
date_created: 2020-02-05T14:14:48Z
date_published: 2014-01-10T00:00:00Z
date_updated: 2023-02-23T13:08:22Z
day: '10'
doi: 10.1107/s1600577513031299
extern: '1'
intvolume: ' 21'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 395-400
publication: Journal of Synchrotron Radiation
publication_identifier:
issn:
- 1600-5775
publication_status: published
publisher: International Union of Crystallography
quality_controlled: '1'
status: public
title: Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS
(ReflEXAFS)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2014'
...
---
_id: '9888'
abstract:
- lang: eng
text: Detailed description of the experimental prodedures, data analyses and additional
statistical analyses of the results.
article_processing_charge: No
author:
- first_name: Stephan
full_name: Wolf, Stephan
last_name: Wolf
- first_name: Dino
full_name: Mcmahon, Dino
last_name: Mcmahon
- first_name: Ka
full_name: Lim, Ka
last_name: Lim
- first_name: Christopher
full_name: Pull, Christopher
id: 3C7F4840-F248-11E8-B48F-1D18A9856A87
last_name: Pull
orcid: 0000-0003-1122-3982
- first_name: Suzanne
full_name: Clark, Suzanne
last_name: Clark
- first_name: Robert
full_name: Paxton, Robert
last_name: Paxton
- first_name: Juliet
full_name: Osborne, Juliet
last_name: Osborne
citation:
ama: Wolf S, Mcmahon D, Lim K, et al. Supporting information. 2014. doi:10.1371/journal.pone.0103989.s003
apa: Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne,
J. (2014). Supporting information. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989.s003
chicago: Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert
Paxton, and Juliet Osborne. “Supporting Information.” Public Library of Science,
2014. https://doi.org/10.1371/journal.pone.0103989.s003.
ieee: S. Wolf et al., “Supporting information.” Public Library of Science,
2014.
ista: Wolf S, Mcmahon D, Lim K, Pull C, Clark S, Paxton R, Osborne J. 2014. Supporting
information, Public Library of Science, 10.1371/journal.pone.0103989.s003.
mla: Wolf, Stephan, et al. Supporting Information. Public Library of Science,
2014, doi:10.1371/journal.pone.0103989.s003.
short: S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, (2014).
date_created: 2021-08-11T14:17:53Z
date_updated: 2025-09-29T11:45:40Z
day: '06'
department:
- _id: SyCr
doi: 10.1371/journal.pone.0103989.s003
month: '08'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '2086'
relation: used_in_publication
status: public
status: public
title: Supporting information
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9931'
abstract:
- lang: eng
text: Gene duplication is important in evolution, because it provides new raw material
for evolutionary adaptations. Several existing hypotheses about the causes of
duplicate retention and diversification differ in their emphasis on gene dosage,
subfunctionalization, and neofunctionalization. Little experimental data exist
on the relative importance of gene expression changes and changes in coding regions
for the evolution of duplicate genes. Furthermore, we do not know how strongly
the environment could affect this importance. To address these questions, we performed
evolution experiments with the TEM-1 beta lactamase gene in Escherichia coli to
study the initial stages of duplicate gene evolution in the laboratory. We mimicked
tandem duplication by inserting two copies of the TEM-1 gene on the same plasmid.
We then subjected these copies to repeated cycles of mutagenesis and selection
in various environments that contained antibiotics in different combinations and
concentrations. Our experiments showed that gene dosage is the most important
factor in the initial stages of duplicate gene evolution, and overshadows the
importance of point mutations in the coding region.
acknowledgement: We thank the Functional Genomics Center Zurich for its service in
generating sequencing data, M. Ackermann and E. Hayden for helpful discussions,
A. de Visser for comments on earlier versions of this manuscript, and M. Moser for
help with quantitative PCR. This work was supported by Swiss National Science Foundation
(grant 315230–129708), as well as through the YeastX project of SystemsX.ch, and
the University Priority Research Program in Systems Biology at the University of
Zurich. RD acknowledges support from the Forschungskredit program of the University
of Zurich. The authors declare no conflict of interest.
article_processing_charge: No
article_type: original
author:
- first_name: Riddhiman
full_name: Dhar, Riddhiman
last_name: Dhar
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Andreas
full_name: Wagner, Andreas
last_name: Wagner
citation:
ama: Dhar R, Bergmiller T, Wagner A. Increased gene dosage plays a predominant role
in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution.
2014;68(6):1775-1791. doi:10.1111/evo.12373
apa: Dhar, R., Bergmiller, T., & Wagner, A. (2014). Increased gene dosage plays
a predominant role in the initial stages of evolution of duplicate TEM-1 beta
lactamase genes. Evolution. Wiley. https://doi.org/10.1111/evo.12373
chicago: Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Increased Gene
Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate
TEM-1 Beta Lactamase Genes.” Evolution. Wiley, 2014. https://doi.org/10.1111/evo.12373.
ieee: R. Dhar, T. Bergmiller, and A. Wagner, “Increased gene dosage plays a predominant
role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes,”
Evolution, vol. 68, no. 6. Wiley, pp. 1775–1791, 2014.
ista: Dhar R, Bergmiller T, Wagner A. 2014. Increased gene dosage plays a predominant
role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes.
Evolution. 68(6), 1775–1791.
mla: Dhar, Riddhiman, et al. “Increased Gene Dosage Plays a Predominant Role in
the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.” Evolution,
vol. 68, no. 6, Wiley, 2014, pp. 1775–91, doi:10.1111/evo.12373.
short: R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.
date_created: 2021-08-17T09:03:09Z
date_published: 2014-06-03T00:00:00Z
date_updated: 2025-09-29T13:20:48Z
day: '03'
department:
- _id: CaGu
doi: 10.1111/evo.12373
external_id:
isi:
- '000337558900019'
pmid:
- '24495000'
intvolume: ' 68'
isi: 1
issue: '6'
language:
- iso: eng
month: '06'
oa_version: None
page: 1775-1791
pmid: 1
publication: Evolution
publication_identifier:
eissn:
- 1558-5646
issn:
- 0014-3820
publication_status: published
publisher: Wiley
quality_controlled: '1'
related_material:
record:
- id: '9932'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Increased gene dosage plays a predominant role in the initial stages of evolution
of duplicate TEM-1 beta lactamase genes
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 68
year: '2014'
...
---
_id: '9932'
abstract:
- lang: eng
text: Gene duplication is important in evolution, because it provides new raw material
for evolutionary adaptations. Several existing hypotheses about the causes of
duplicate retention and diversification differ in their emphasis on gene dosage,
sub-functionalization, and neo-functionalization. Little experimental data exists
on the relative importance of gene expression changes and changes in coding regions
for the evolution of duplicate genes. Furthermore, we do not know how strongly
the environment could affect this importance. To address these questions, we performed
evolution experiments with the TEM-1 beta lactamase gene in E. coli to study the
initial stages of duplicate gene evolution in the laboratory. We mimicked tandem
duplication by inserting two copies of the TEM-1 gene on the same plasmid. We
then subjected these copies to repeated cycles of mutagenesis and selection in
various environments that contained antibiotics in different combinations and
concentrations. Our experiments showed that gene dosage is the most important
factor in the initial stages of duplicate gene evolution, and overshadows the
importance of point mutations in the coding region.
article_processing_charge: No
author:
- first_name: Riddhiman
full_name: Dhar, Riddhiman
last_name: Dhar
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Andreas
full_name: Wagner, Andreas
last_name: Wagner
citation:
ama: 'Dhar R, Bergmiller T, Wagner A. Data from: Increased gene dosage plays a predominant
role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes.
2014. doi:10.5061/dryad.jc402'
apa: 'Dhar, R., Bergmiller, T., & Wagner, A. (2014). Data from: Increased gene
dosage plays a predominant role in the initial stages of evolution of duplicate
TEM-1 beta lactamase genes. Dryad. https://doi.org/10.5061/dryad.jc402'
chicago: 'Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Data from: Increased
Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate
TEM-1 Beta Lactamase Genes.” Dryad, 2014. https://doi.org/10.5061/dryad.jc402.'
ieee: 'R. Dhar, T. Bergmiller, and A. Wagner, “Data from: Increased gene dosage
plays a predominant role in the initial stages of evolution of duplicate TEM-1
beta lactamase genes.” Dryad, 2014.'
ista: 'Dhar R, Bergmiller T, Wagner A. 2014. Data from: Increased gene dosage plays
a predominant role in the initial stages of evolution of duplicate TEM-1 beta
lactamase genes, Dryad, 10.5061/dryad.jc402.'
mla: 'Dhar, Riddhiman, et al. Data from: Increased Gene Dosage Plays a Predominant
Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.
Dryad, 2014, doi:10.5061/dryad.jc402.'
short: R. Dhar, T. Bergmiller, A. Wagner, (2014).
date_created: 2021-08-17T09:11:40Z
date_published: 2014-01-27T00:00:00Z
date_updated: 2025-09-29T13:20:47Z
day: '27'
department:
- _id: CaGu
doi: 10.5061/dryad.jc402
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.jc402
month: '01'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '9931'
relation: used_in_publication
status: public
status: public
title: 'Data from: Increased gene dosage plays a predominant role in the initial stages
of evolution of duplicate TEM-1 beta lactamase genes'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
OA_type: closed access
_id: '22092'
abstract:
- lang: eng
text: 'The first part of the book provides an introduction to key tools and techniques
in dispersive equations: Strichartz estimates, bilinear estimates, modulation
and adapted function spaces, with an application to the generalized Korteweg-de
Vries equation and the Kadomtsev-Petviashvili equation. The energy-critical nonlinear
Schrödinger equation, global solutions to the defocusing problem, and scattering
are the focus of the second part. Using this concrete example, it walks the reader
through the induction on energy technique, which has become the essential methodology
for tackling large data critical problems. This includes refined/inverse Strichartz
estimates, the existence and almost periodicity of minimal blow up solutions,
and the development of long-time Strichartz inequalities. The third part describes
wave and Schrödinger maps. Starting by building heuristics about multilinear estimates,
it provides a detailed outline of this very active area of geometric/dispersive
PDE. It focuses on concepts and ideas and should provide graduate students with
a stepping stone to this exciting direction of research.'
alternative_title:
- Oberwolfach Seminars
article_processing_charge: No
author:
- first_name: Herbert
full_name: Koch, Herbert
last_name: Koch
- first_name: Daniel
full_name: Tataru, Daniel
last_name: Tataru
- first_name: Monica
full_name: Visan, Monica
id: 056daca0-b8d1-11f0-964f-f91054abf8ca
last_name: Visan
citation:
ama: 'Koch H, Tataru D, Vişan M. Dispersive Equations and Nonlinear Waves: Generalized
Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps. Vol 45.
1st ed. Basel: Springer; 2014. doi:10.1007/978-3-0348-0736-4'
apa: 'Koch, H., Tataru, D., & Vişan, M. (2014). Dispersive Equations and
Nonlinear Waves: Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and
Schrödinger Maps (1st ed., Vol. 45). Basel: Springer. https://doi.org/10.1007/978-3-0348-0736-4'
chicago: 'Koch, Herbert, Daniel Tataru, and Monica Vişan. Dispersive Equations
and Nonlinear Waves: Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave
and Schrödinger Maps. 1st ed. Vol. 45. OWS. Basel: Springer, 2014. https://doi.org/10.1007/978-3-0348-0736-4.'
ieee: 'H. Koch, D. Tataru, and M. Vişan, Dispersive Equations and Nonlinear Waves:
Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps,
1st ed., vol. 45. Basel: Springer, 2014.'
ista: 'Koch H, Tataru D, Vişan M. 2014. Dispersive Equations and Nonlinear Waves:
Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps
1st ed., Basel: Springer, 312p.'
mla: 'Koch, Herbert, et al. Dispersive Equations and Nonlinear Waves: Generalized
Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps. 1st ed.,
vol. 45, Springer, 2014, doi:10.1007/978-3-0348-0736-4.'
short: 'H. Koch, D. Tataru, M. Vişan, Dispersive Equations and Nonlinear Waves:
Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps,
1st ed., Springer, Basel, 2014.'
date_created: 2026-06-19T08:54:09Z
date_published: 2014-07-31T00:00:00Z
date_updated: 2026-07-02T05:44:24Z
day: '31'
doi: 10.1007/978-3-0348-0736-4
edition: '1'
extern: '1'
intvolume: ' 45'
language:
- iso: eng
month: '07'
oa_version: None
page: '312'
place: Basel
publication_identifier:
eisbn:
- '9783034807364'
eissn:
- 2296-5041
isbn:
- '9783034807357'
issn:
- 1661-237X
publication_status: published
publisher: Springer
quality_controlled: '1'
series_title: OWS
status: public
title: 'Dispersive Equations and Nonlinear Waves: Generalized Korteweg–de Vries, Nonlinear
Schrödinger, Wave and Schrödinger Maps'
type: book
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 45
year: '2014'
...
---
_id: '2905'
abstract:
- lang: eng
text: "Persistent homology is a recent grandchild of homology that has found use
in\r\nscience and engineering as well as in mathematics. This paper surveys the
method as well\r\nas the applications, neglecting completeness in favor of highlighting
ideas and directions."
acknowledgement: This research is partially supported by NSF under grant DBI-0820624,
by ESF under the Research Networking Programme, and by the Russian Government Project
11.G34.31.0053.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Dmitriy
full_name: Morozovy, Dmitriy
last_name: Morozovy
citation:
ama: 'Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In:
EMS Press; 2014:31-50. doi:10.4171/120-1/3'
apa: 'Edelsbrunner, H., & Morozovy, D. (2014). Persistent homology: Theory and
practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics,
Kraków, Poland: EMS Press. https://doi.org/10.4171/120-1/3'
chicago: 'Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory
and Practice,” 31–50. EMS Press, 2014. https://doi.org/10.4171/120-1/3.'
ieee: 'H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,”
presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014,
pp. 31–50.'
ista: 'Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice.
ECM: European Congress of Mathematics, 31–50.'
mla: 'Edelsbrunner, Herbert, and Dmitriy Morozovy. Persistent Homology: Theory
and Practice. EMS Press, 2014, pp. 31–50, doi:10.4171/120-1/3.'
short: H. Edelsbrunner, D. Morozovy, in:, EMS Press, 2014, pp. 31–50.
conference:
end_date: 2012-07-07
location: Kraków, Poland
name: 'ECM: European Congress of Mathematics'
start_date: 2012-07-02
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T12:00:16Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-07-06T11:55:48Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.4171/120-1/3
file:
- access_level: open_access
checksum: 1d4a046f1af945c407c5c4d411d4c5e4
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:43Z
date_updated: 2020-07-14T12:45:52Z
file_id: '5232'
file_name: IST-2016-544-v1+1_2012-P-11-PHTheoryPractice.pdf
file_size: 435320
relation: main_file
file_date_updated: 2020-07-14T12:45:52Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 31 - 50
publication_status: published
publisher: EMS Press
publist_id: '3842'
pubrep_id: '544'
quality_controlled: '1'
status: public
title: 'Persistent homology: Theory and practice'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '1904'
abstract:
- lang: eng
text: We prove a Strichartz inequality for a system of orthonormal functions, with
an optimal behavior of the constant in the limit of a large number of functions.
The estimate generalizes the usual Strichartz inequality, in the same fashion
as the Lieb-Thirring inequality generalizes the Sobolev inequality. As an application,
we consider the Schrödinger equation with a time-dependent potential and we show
the existence of the wave operator in Schatten spaces.
article_processing_charge: No
arxiv: 1
author:
- first_name: Rupert
full_name: Frank, Rupert
last_name: Frank
- first_name: Mathieu
full_name: Lewin, Mathieu
last_name: Lewin
- first_name: Élliott
full_name: Lieb, Élliott
last_name: Lieb
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Frank R, Lewin M, Lieb É, Seiringer R. Strichartz inequality for orthonormal
functions. Journal of the European Mathematical Society. 2014;16(7):1507-1526.
doi:10.4171/JEMS/467
apa: Frank, R., Lewin, M., Lieb, É., & Seiringer, R. (2014). Strichartz inequality
for orthonormal functions. Journal of the European Mathematical Society.
EMS Press. https://doi.org/10.4171/JEMS/467
chicago: Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “Strichartz
Inequality for Orthonormal Functions.” Journal of the European Mathematical
Society. EMS Press, 2014. https://doi.org/10.4171/JEMS/467.
ieee: R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “Strichartz inequality for
orthonormal functions,” Journal of the European Mathematical Society, vol.
16, no. 7. EMS Press, pp. 1507–1526, 2014.
ista: Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal
functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
mla: Frank, Rupert, et al. “Strichartz Inequality for Orthonormal Functions.” Journal
of the European Mathematical Society, vol. 16, no. 7, EMS Press, 2014, pp.
1507–26, doi:10.4171/JEMS/467.
short: R. Frank, M. Lewin, É. Lieb, R. Seiringer, Journal of the European Mathematical
Society 16 (2014) 1507–1526.
das_tickbox: '1'
date_created: 2018-12-11T11:54:38Z
date_published: 2014-08-23T00:00:00Z
date_updated: 2026-07-06T11:56:08Z
day: '23'
department:
- _id: RoSe
doi: 10.4171/JEMS/467
external_id:
arxiv:
- '1306.1309'
isi:
- '000345494900006'
intvolume: ' 16'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1306.1309
month: '08'
oa: 1
oa_version: Submitted Version
page: 1507 - 1526
project:
- _id: 26450934-B435-11E9-9278-68D0E5697425
name: NSERC Postdoctoral fellowship
publication: Journal of the European Mathematical Society
publication_status: published
publisher: EMS Press
publist_id: '5191'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Strichartz inequality for orthonormal functions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2014'
...
---
_id: '2233'
abstract:
- lang: eng
text: ' A discounted-sum automaton (NDA) is a nondeterministic finite automaton
with edge weights, valuing a run by the discounted sum of visited edge weights.
More precisely, the weight in the i-th position of the run is divided by λi, where
the discount factor λ is a fixed rational number greater than 1. The value of
a word is the minimal value of the automaton runs on it. Discounted summation
is a common and useful measuring scheme, especially for infinite sequences, reflecting
the assumption that earlier weights are more important than later weights. Unfortunately,
determinization of NDAs, which is often essential in formal verification, is,
in general, not possible. We provide positive news, showing that every NDA with
an integral discount factor is determinizable. We complete the picture by proving
that the integers characterize exactly the discount factors that guarantee determinizability:
for every nonintegral rational discount factor λ, there is a nondeterminizable
λ-NDA. We also prove that the class of NDAs with integral discount factors enjoys
closure under the algebraic operations min, max, addition, and subtraction, which
is not the case for general NDAs nor for deterministic NDAs. For general NDAs,
we look into approximate determinization, which is always possible as the influence
of a word''s suffix decays. We show that the naive approach, of unfolding the
automaton computations up to a sufficient level, is doubly exponential in the
discount factor. We provide an alternative construction for approximate determinization,
which is singly exponential in the discount factor, in the precision, and in the
number of states. We also prove matching lower bounds, showing that the exponential
dependency on each of these three parameters cannot be avoided. All our results
hold equally for automata over finite words and for automata over infinite words. '
article_processing_charge: No
author:
- first_name: Udi
full_name: Boker, Udi
last_name: Boker
- 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: Boker U, Henzinger TA. Exact and approximate determinization of discounted-sum
automata. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:10)2014
apa: Boker, U., & Henzinger, T. A. (2014). Exact and approximate determinization
of discounted-sum automata. Logical Methods in Computer Science. International
Federation for Computational Logic. https://doi.org/10.2168/LMCS-10(1:10)2014
chicago: Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization
of Discounted-Sum Automata.” Logical Methods in Computer Science. International
Federation for Computational Logic, 2014. https://doi.org/10.2168/LMCS-10(1:10)2014.
ieee: U. Boker and T. A. Henzinger, “Exact and approximate determinization of discounted-sum
automata,” Logical Methods in Computer Science, vol. 10, no. 1. International
Federation for Computational Logic, 2014.
ista: Boker U, Henzinger TA. 2014. Exact and approximate determinization of discounted-sum
automata. Logical Methods in Computer Science. 10(1).
mla: Boker, Udi, and Thomas A. Henzinger. “Exact and Approximate Determinization
of Discounted-Sum Automata.” Logical Methods in Computer Science, vol.
10, no. 1, International Federation for Computational Logic, 2014, doi:10.2168/LMCS-10(1:10)2014.
short: U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
das_tickbox: '1'
date_created: 2018-12-11T11:56:28Z
date_published: 2014-02-13T00:00:00Z
date_updated: 2026-07-06T13:22:33Z
day: '13'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.2168/LMCS-10(1:10)2014
ec_funded: 1
external_id:
isi:
- '000333744700015'
file:
- access_level: open_access
checksum: 9f6ea2e2d8d4a32ff0becc29d835bbf8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:07:45Z
date_updated: 2020-07-14T12:45:34Z
file_id: '4643'
file_name: IST-2015-389-v1+1_1401.3957.pdf
file_size: 550936
relation: main_file
file_date_updated: 2020-07-14T12:45:34Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
issue: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication: Logical Methods in Computer Science
publication_identifier:
issn:
- 1860-5974
publication_status: published
publisher: International Federation for Computational Logic
publist_id: '4728'
pubrep_id: '389'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Exact and approximate determinization of discounted-sum automata
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2014'
...
---
_id: '2234'
abstract:
- lang: eng
text: We study Markov decision processes (MDPs) with multiple limit-average (or
mean-payoff) functions. We consider two different objectives, namely, expectation
and satisfaction objectives. Given an MDP with κ limit-average functions, in the
expectation objective the goal is to maximize the expected limit-average value,
and in the satisfaction objective the goal is to maximize the probability of runs
such that the limit-average value stays above a given vector. We show that under
the expectation objective, in contrast to the case of one limit-average function,
both randomization and memory are necessary for strategies even for ε-approximation,
and that finite-memory randomized strategies are sufficient for achieving Pareto
optimal values. Under the satisfaction objective, in contrast to the case of one
limit-average function, infinite memory is necessary for strategies achieving
a specific value (i.e. randomized finite-memory strategies are not sufficient),
whereas memoryless randomized strategies are sufficient for ε-approximation, for
all ε > 0. We further prove that the decision problems for both expectation
and satisfaction objectives can be solved in polynomial time and the trade-off
curve (Pareto curve) can be ε-approximated in time polynomial in the size of the
MDP and 1/ε, and exponential in the number of limit-average functions, for all
ε > 0. Our analysis also reveals flaws in previous work for MDPs with multiple
mean-payoff functions under the expectation objective, corrects the flaws, and
allows us to obtain improved results.
article_processing_charge: No
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Václav
full_name: Brožek, Václav
last_name: Brožek
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Antonín
full_name: Kučera, Antonín
last_name: Kučera
citation:
ama: Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes
with multiple long-run average objectives. Logical Methods in Computer Science.
2014;10(1). doi:10.2168/LMCS-10(1:13)2014
apa: Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2014).
Markov decision processes with multiple long-run average objectives. Logical
Methods in Computer Science. International Federation for Computational Logic.
https://doi.org/10.2168/LMCS-10(1:13)2014
chicago: Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and
Antonín Kučera. “Markov Decision Processes with Multiple Long-Run Average Objectives.”
Logical Methods in Computer Science. International Federation for Computational
Logic, 2014. https://doi.org/10.2168/LMCS-10(1:13)2014.
ieee: T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Markov decision
processes with multiple long-run average objectives,” Logical Methods in Computer
Science, vol. 10, no. 1. International Federation for Computational Logic,
2014.
ista: Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. 2014. Markov decision
processes with multiple long-run average objectives. Logical Methods in Computer
Science. 10(1).
mla: Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average
Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International
Federation for Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.
short: T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods
in Computer Science 10 (2014).
das_tickbox: '1'
date_created: 2018-12-11T11:56:29Z
date_published: 2014-02-14T00:00:00Z
date_updated: 2026-07-06T13:23:35Z
day: '14'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.2168/LMCS-10(1:13)2014
ec_funded: 1
external_id:
isi:
- '000333744700001'
file:
- access_level: open_access
checksum: 803edcc2d8c1acfba44a9ec43a5eb9f0
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:07:57Z
date_updated: 2020-07-14T12:45:34Z
file_id: '4656'
file_name: IST-2016-428-v1+1_1104.3489.pdf
file_size: 375388
relation: main_file
file_date_updated: 2020-07-14T12:45:34Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
issue: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Logical Methods in Computer Science
publication_identifier:
issn:
- 1860-5974
publication_status: published
publisher: International Federation for Computational Logic
publist_id: '4727'
pubrep_id: '428'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Markov decision processes with multiple long-run average objectives
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2014'
...
---
_id: '2265'
abstract:
- lang: eng
text: Coordinated migration of newly-born neurons to their target territories is
essential for correct neuronal circuit assembly in the developing brain. Although
a cohort of signaling pathways has been implicated in the regulation of cortical
projection neuron migration, the precise molecular mechanisms and how a balanced
interplay of cell-autonomous and non-autonomous functions of candidate signaling
molecules controls the discrete steps in the migration process, are just being
revealed. In this chapter, I will focally review recent advances that improved
our understanding of the cell-autonomous and possible cell-nonautonomous functions
of the evolutionarily conserved LIS1/NDEL1-complex in regulating the sequential
steps of cortical projection neuron migration. I will then elaborate on the emerging
concept that the Reelin signaling pathway, acts exactly at precise stages in the
course of cortical projection neuron migration. Lastly, I will discuss how finely
tuned transcriptional programs and downstream effectors govern particular aspects
in driving radial migration at discrete stages and how they regulate the precise
positioning of cortical projection neurons in the developing cerebral cortex.
alternative_title:
- Advances in Experimental Medicine and Biology
article_processing_charge: No
author:
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
citation:
ama: 'Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical
projection neuron migration. In: Nguyen L, ed. Cellular and Molecular Control
of Neuronal Migration. Vol 800. Springer; 2014:1-24. doi:10.1007/978-94-007-7687-6_1'
apa: Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps
of cortical projection neuron migration. In L. Nguyen (Ed.), Cellular and Molecular
Control of Neuronal Migration (Vol. 800, pp. 1–24). Springer. https://doi.org/10.1007/978-94-007-7687-6_1
chicago: Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps
of Cortical Projection Neuron Migration.” In Cellular and Molecular Control
of Neuronal Migration, edited by Laurent Nguyen, 800:1–24. Springer, 2014.
https://doi.org/10.1007/978-94-007-7687-6_1.
ieee: S. Hippenmeyer, “Molecular pathways controlling the sequential steps of cortical
projection neuron migration,” in Cellular and Molecular Control of Neuronal
Migration, vol. 800, L. Nguyen, Ed. Springer, 2014, pp. 1–24.
ista: 'Hippenmeyer S. 2014.Molecular pathways controlling the sequential steps of
cortical projection neuron migration. In: Cellular and Molecular Control of Neuronal
Migration. Advances in Experimental Medicine and Biology, vol. 800, 1–24.'
mla: Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of
Cortical Projection Neuron Migration.” Cellular and Molecular Control of Neuronal
Migration, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 1–24, doi:10.1007/978-94-007-7687-6_1.
short: S. Hippenmeyer, in:, L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal
Migration, Springer, 2014, pp. 1–24.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T11:56:39Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-07-07T13:04:40Z
day: '01'
department:
- _id: SiHi
doi: 10.1007/978-94-007-7687-6_1
editor:
- first_name: Laurent
full_name: Nguyen, Laurent
last_name: Nguyen
external_id:
isi:
- '000333646000002'
intvolume: ' 800'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
page: 1 - 24
publication: Cellular and Molecular Control of Neuronal Migration
publication_status: published
publisher: Springer
publist_id: '4679'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular pathways controlling the sequential steps of cortical projection
neuron migration
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 800
year: '2014'
...
---
_id: '2027'
abstract:
- lang: eng
text: We present a general framework for applying machine-learning algorithms to
the verification of Markov decision processes (MDPs). The primary goal of these
techniques is to improve performance by avoiding an exhaustive exploration of
the state space. Our framework focuses on probabilistic reachability, which is
a core property for verification, and is illustrated through two distinct instantiations.
The first assumes that full knowledge of the MDP is available, and performs a
heuristic-driven partial exploration of the model, yielding precise lower and
upper bounds on the required probability. The second tackles the case where we
may only sample the MDP, and yields probabilistic guarantees, again in terms of
both the lower and upper bounds, which provides efficient stopping criteria for
the approximation. The latter is the first extension of statistical model checking
for unbounded properties inMDPs. In contrast with other related techniques, our
approach is not restricted to time-bounded (finite-horizon) or discounted properties,
nor does it assume any particular properties of the MDP. We also show how our
methods extend to LTL objectives. We present experimental results showing the
performance of our framework on several examples.
acknowledgement: This research was funded in part by the European Research Council
(ERC) under grant agreement 246967 (VERIWARE), by the EU FP7 project HIERATIC, by
the Czech Science Foundation grant No P202/12/P612, by EPSRC project EP/K038575/1.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Marta
full_name: Kwiatkowska, Marta
last_name: Kwiatkowska
- first_name: David
full_name: Parker, David
last_name: Parker
- first_name: Mateusz
full_name: Ujma, Mateusz
last_name: Ujma
citation:
ama: 'Brázdil T, Chatterjee K, Chmelik M, et al. Verification of Markov decision
processes using learning algorithms. In: 12th International Symposium on Automated
Technology for Verification and Analysis. Vol 8837. Springer; 2014:98-114.
doi:10.1007/978-3-319-11936-6_8'
apa: 'Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska,
M., … Ujma, M. (2014). Verification of Markov decision processes using learning
algorithms. In 12th International Symposium on Automated Technology for Verification
and Analysis (Vol. 8837, pp. 98–114). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_8'
chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt,
Jan Kretinsky, Marta Kwiatkowska, David Parker, and Mateusz Ujma. “Verification
of Markov Decision Processes Using Learning Algorithms.” In 12th International
Symposium on Automated Technology for Verification and Analysis, 8837:98–114.
Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_8.
ieee: T. Brázdil et al., “Verification of Markov decision processes using
learning algorithms,” in 12th International Symposium on Automated Technology
for Verification and Analysis, Sydney, Australia, 2014, vol. 8837, pp. 98–114.
ista: 'Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M,
Parker D, Ujma M. 2014. Verification of Markov decision processes using learning
algorithms. 12th International Symposium on Automated Technology for Verification
and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS,
vol. 8837, 98–114.'
mla: Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning
Algorithms.” 12th International Symposium on Automated Technology for Verification
and Analysis, vol. 8837, Springer, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
short: T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska,
D. Parker, M. Ujma, in:, 12th International Symposium on Automated Technology
for Verification and Analysis, Springer, 2014, pp. 98–114.
conference:
end_date: 2014-11-07
location: Sydney, Australia
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2014-11-03
das_tickbox: '1'
date_created: 2018-12-11T11:55:17Z
date_published: 2014-11-01T00:00:00Z
date_updated: 2026-07-07T13:15:34Z
day: '01'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-11936-6_8
ec_funded: 1
external_id:
arxiv:
- '1402.2967'
intvolume: ' 8837'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1402.2967
month: '11'
oa: 1
oa_version: Submitted Version
page: 98 - 114
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 26241A12-B435-11E9-9278-68D0E5697425
grant_number: '24696'
name: Light-regulated ligand traps for spatio-temporal inhibition of cell signaling
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 12th International Symposium on Automated Technology for Verification
and Analysis
publication_status: published
publisher: Springer
publist_id: '5046'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Verification of Markov decision processes using learning algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8837
year: '2014'
...
---
_id: '2028'
abstract:
- lang: eng
text: 'Understanding the dynamics of noisy neurons remains an important challenge
in neuroscience. Here, we describe a simple probabilistic model that accurately
describes the firing behavior in a large class (type II) of neurons. To demonstrate
the usefulness of this model, we show how it accurately predicts the interspike
interval (ISI) distributions, bursting patterns and mean firing rates found by:
(1) simulations of the classic Hodgkin-Huxley model with channel noise, (2) experimental
data from squid giant axon with a noisy input current and (3) experimental data
on noisy firing from a neuron within the suprachiasmatic nucleus (SCN). This simple
model has 6 parameters, however, in some cases, two of these parameters are coupled
and only 5 parameters account for much of the known behavior. From these parameters,
many properties of spiking can be found through simple calculation. Thus, we show
how the complex effects of noise can be understood through a simple and general
probabilistic model.'
acknowledgement: 'This work is supported by AFOSR grant FA 9550-11-1-0165, program
grant RPG 24/2012 from the Human Frontiers of Science (DBF) and travel support from
the European Commission Marie Curie International Reintegration Grant PIRG04-GA-2008-239429
(KB). DP was supported by NIHR01 GM104987 and the Wyss Institute of Biologically
Inspired Engineering. '
article_processing_charge: No
author:
- first_name: Katarina
full_name: Bodova, Katarina
id: 2BA24EA0-F248-11E8-B48F-1D18A9856A87
last_name: Bodova
orcid: 0000-0002-7214-0171
- first_name: David
full_name: Paydarfar, David
last_name: Paydarfar
- first_name: Daniel
full_name: Forger, Daniel
last_name: Forger
citation:
ama: Bodova K, Paydarfar D, Forger D. Characterizing spiking in noisy type II neurons.
Journal of Theoretical Biology. 2014;365:40-54. doi:10.1016/j.jtbi.2014.09.041
apa: Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking
in noisy type II neurons. Journal of Theoretical Biology. Academic Press.
https://doi.org/10.1016/j.jtbi.2014.09.041
chicago: Bodova, Katarina, David Paydarfar, and Daniel Forger. “Characterizing Spiking
in Noisy Type II Neurons.” Journal of Theoretical Biology. Academic Press,
2014. https://doi.org/10.1016/j.jtbi.2014.09.041.
ieee: K. Bodova, D. Paydarfar, and D. Forger, “Characterizing spiking in noisy type
II neurons,” Journal of Theoretical Biology, vol. 365. Academic Press,
pp. 40–54, 2014.
ista: Bodova K, Paydarfar D, Forger D. 2014. Characterizing spiking in noisy type
II neurons. Journal of Theoretical Biology. 365, 40–54.
mla: Bodova, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.”
Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54,
doi:10.1016/j.jtbi.2014.09.041.
short: K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014)
40–54.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T11:55:18Z
date_published: 2014-10-12T00:00:00Z
date_updated: 2026-07-07T13:13:09Z
day: '12'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1016/j.jtbi.2014.09.041
external_id:
isi:
- '000347267200005'
file:
- access_level: open_access
checksum: a9dbae18d3233b3dab6944fd3f2cd49e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:58Z
date_updated: 2020-07-14T12:45:25Z
file_id: '5316'
file_name: IST-2016-444-v1+1_1-s2.0-S0022519314005888-main.pdf
file_size: 2679222
relation: main_file
file_date_updated: 2020-07-14T12:45:25Z
has_accepted_license: '1'
intvolume: ' 365'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 40 - 54
publication: Journal of Theoretical Biology
publication_status: published
publisher: Academic Press
publist_id: '5043'
pubrep_id: '444'
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1016/j.jtbi.2015.03.013
scopus_import: '1'
status: public
title: Characterizing spiking in noisy type II neurons
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 365
year: '2014'
...
---
_id: '5415'
abstract:
- lang: eng
text: 'Recently there has been a significant effort to add quantitative properties
in formal verification and synthesis. While weighted automata over finite and
infinite words provide a natural and flexible framework to express quantitative
properties, perhaps surprisingly, several basic system properties such as average
response time cannot be expressed with weighted automata. In this work, we introduce
nested weighted automata as a new formalism for expressing important quantitative
properties such as average response time. We establish an almost complete decidability
picture for the basic decision problems for nested weighted automata, and illustrate
its applicability in several domains. '
alternative_title:
- IST Austria Technical Report
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: Jan
full_name: Otop, Jan
id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
last_name: Otop
citation:
ama: Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria;
2014. doi:10.15479/AT:IST-2014-170-v1-1
apa: Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted
automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
chicago: Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted
Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
ieee: K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata.
IST Austria, 2014.
ista: Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria,
27p.
mla: Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria,
2014, doi:10.15479/AT:IST-2014-170-v1-1.
short: K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria,
2014.
date_created: 2018-12-12T11:39:12Z
date_published: 2014-02-19T00:00:00Z
date_updated: 2026-07-07T14:01:10Z
day: '19'
ddc:
- '004'
department:
- _id: KrCh
- _id: ToHe
doi: 10.15479/AT:IST-2014-170-v1-1
file:
- access_level: open_access
checksum: 31f90dcf2cf899c3f8c6427cfcc2b3c7
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:36Z
date_updated: 2020-07-14T12:46:48Z
file_id: '5497'
file_name: IST-2014-170-v1+1_main.pdf
file_size: 573457
relation: main_file
file_date_updated: 2020-07-14T12:46:48Z
has_accepted_license: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '27'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '170'
related_material:
record:
- id: '5436'
relation: later_version
status: public
- id: '1656'
relation: later_version
status: public
- id: '467'
relation: later_version
status: public
status: public
title: Nested weighted automata
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '2038'
abstract:
- lang: eng
text: Recently, there has been an effort to add quantitative objectives to formal
verification and synthesis. We introduce and investigate the extension of temporal
logics with quantitative atomic assertions. At the heart of quantitative objectives
lies the accumulation of values along a computation. It is often the accumulated
sum, as with energy objectives, or the accumulated average, as with mean-payoff
objectives. We investigate the extension of temporal logics with the prefix-accumulation
assertions Sum(v) ≥ c and Avg(v) ≥ c, where v is a numeric (or Boolean) variable
of the system, c is a constant rational number, and Sum(v) and Avg(v) denote the
accumulated sum and average of the values of v from the beginning of the computation
up to the current point in time. We also allow the path-accumulation assertions
LimInfAvg(v) ≥ c and LimSupAvg(v) ≥ c, referring to the average value along an
entire infinite computation. We study the border of decidability for such quantitative
extensions of various temporal logics. In particular, we show that extending the
fragment of CTL that has only the EX, EF, AX, and AG temporal modalities with
both prefix-accumulation assertions, or extending LTL with both path-accumulation
assertions, results in temporal logics whose model-checking problem is decidable.
Moreover, the prefix-accumulation assertions may be generalized with "controlled
accumulation," allowing, for example, to specify constraints on the average
waiting time between a request and a grant. On the negative side, we show that
this branching-time logic is, in a sense, the maximal logic with one or both of
the prefix-accumulation assertions that permits a decidable model-checking procedure.
Extending a temporal logic that has the EG or EU modalities, such as CTL or LTL,
makes the problem undecidable.
acknowledgement: The research was supported in part by ERC Starting grant 278410 (QUALITY).
article_number: '27'
article_processing_charge: No
article_type: original
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- 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: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with
accumulative values. ACM Transactions on Computational Logic. 2014;15(4).
doi:10.1145/2629686
apa: Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2014). Temporal
specifications with accumulative values. ACM Transactions on Computational
Logic. ACM. https://doi.org/10.1145/2629686
chicago: Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman.
“Temporal Specifications with Accumulative Values.” ACM Transactions on Computational
Logic. ACM, 2014. https://doi.org/10.1145/2629686.
ieee: U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications
with accumulative values,” ACM Transactions on Computational Logic, vol.
15, no. 4. ACM, 2014.
ista: Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications
with accumulative values. ACM Transactions on Computational Logic. 15(4), 27.
mla: Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM
Transactions on Computational Logic, vol. 15, no. 4, 27, ACM, 2014, doi:10.1145/2629686.
short: U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on
Computational Logic 15 (2014).
das_tickbox: '1'
date_created: 2018-12-11T11:55:21Z
date_published: 2014-09-16T00:00:00Z
date_updated: 2026-07-07T14:01:43Z
day: '16'
ddc:
- '000'
- '004'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1145/2629686
ec_funded: 1
external_id:
isi:
- '000345570700002'
file:
- access_level: open_access
checksum: 354c41d37500b56320afce94cf9a99c2
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:59Z
date_updated: 2020-07-14T12:45:26Z
file_id: '4851'
file_name: IST-2014-192-v1+1_AccumulativeValues.pdf
file_size: 346184
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
issue: '4'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: ACM Transactions on Computational Logic
publication_status: published
publisher: ACM
publist_id: '5013'
pubrep_id: '192'
quality_controlled: '1'
related_material:
record:
- id: '5385'
relation: earlier_version
status: public
- id: '3356'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Temporal specifications with accumulative values
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2014'
...
---
OA_place: repository
OA_type: green
_id: '1903'
abstract:
- lang: eng
text: 'We consider two-player zero-sum partial-observation stochastic games on graphs.
Based on the information available to the players these games can be classified
as follows: (a) general partial-observation (both players have partial view of
the game); (b) one-sided partial-observation (one player has partial-observation
and the other player has complete-observation); and (c) perfect-observation (both
players have complete view of the game). The one-sided partial-observation games
subsumes the important special case of one-player partial-observation stochastic
games (or partial-observation Markov decision processes (POMDPs)). Based on the
randomization available for the strategies, (a) the players may not be allowed
to use randomization (pure strategies), or (b) they may choose a probability distribution
over actions but the actual random choice is external and not visible to the player
(actions invisible), or (c) they may use full randomization. We consider all these
classes of games with reachability, and parity objectives that can express all
ω-regular objectives. The analysis problems are classified into the qualitative
analysis that asks for the existence of a strategy that ensures the objective
with probability 1; and the quantitative analysis that asks for the existence
of a strategy that ensures the objective with probability at least λ (0,1). In
this talk we will cover a wide range of results: for perfect-observation games;
for POMDPs; for one-sided partial-observation games; and for general partial-observation
games.'
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
citation:
ama: 'Chatterjee K. Partial-observation stochastic reachability and parity games.
In: Vol 8634. Springer; 2014:1-4. doi:10.1007/978-3-662-44522-8_1'
apa: 'Chatterjee, K. (2014). Partial-observation stochastic reachability and parity
games (Vol. 8634, pp. 1–4). Presented at the MFCS: Mathematical Foundations of
Computer Science, Budapest, Hungary: Springer. https://doi.org/10.1007/978-3-662-44522-8_1'
chicago: Chatterjee, Krishnendu. “Partial-Observation Stochastic Reachability and
Parity Games,” 8634:1–4. Springer, 2014. https://doi.org/10.1007/978-3-662-44522-8_1.
ieee: 'K. Chatterjee, “Partial-observation stochastic reachability and parity games,”
presented at the MFCS: Mathematical Foundations of Computer Science, Budapest,
Hungary, 2014, vol. 8634, no. PART 1, pp. 1–4.'
ista: 'Chatterjee K. 2014. Partial-observation stochastic reachability and parity
games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634, 1–4.'
mla: Chatterjee, Krishnendu. Partial-Observation Stochastic Reachability and
Parity Games. Vol. 8634, no. PART 1, Springer, 2014, pp. 1–4, doi:10.1007/978-3-662-44522-8_1.
short: K. Chatterjee, in:, Springer, 2014, pp. 1–4.
conference:
end_date: 2014-08-29
location: Budapest, Hungary
name: 'MFCS: Mathematical Foundations of Computer Science'
start_date: 2014-08-25
corr_author: '1'
date_created: 2018-12-11T11:54:38Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-07-07T14:01:25Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-662-44522-8_1
ec_funded: 1
intvolume: ' 8634'
issue: PART 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.15479/AT:IST-2011-0007
month: '01'
oa: 1
oa_version: Preprint
page: 1 - 4
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: Springer
publist_id: '5192'
pubrep_id: '141'
quality_controlled: '1'
related_material:
record:
- id: '5381'
relation: earlier_version
status: public
- id: '2211'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Partial-observation stochastic reachability and parity games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8634
year: '2014'
...
---
_id: '2211'
abstract:
- lang: eng
text: 'In two-player finite-state stochastic games of partial observation on graphs,
in every state of the graph, the players simultaneously choose an action, and
their joint actions determine a probability distribution over the successor states.
The game is played for infinitely many rounds and thus the players construct an
infinite path in the graph. We consider reachability objectives where the first
player tries to ensure a target state to be visited almost-surely (i.e., with
probability 1) or positively (i.e., with positive probability), no matter the
strategy of the second player. We classify such games according to the information
and to the power of randomization available to the players. On the basis of information,
the game can be one-sided with either (a) player 1, or (b) player 2 having partial
observation (and the other player has perfect observation), or two-sided with
(c) both players having partial observation. On the basis of randomization, (a)
the players may not be allowed to use randomization (pure strategies), or (b)
they may choose a probability distribution over actions but the actual random
choice is external and not visible to the player (actions invisible), or (c) they
may use full randomization. Our main results for pure strategies are as follows:
(1) For one-sided games with player 2 having perfect observation we show that
(in contrast to full randomized strategies) belief-based (subset-construction
based) strategies are not sufficient, and we present an exponential upper bound
on memory both for almost-sure and positive winning strategies; we show that the
problem of deciding the existence of almost-sure and positive winning strategies
for player 1 is EXPTIME-complete and present symbolic algorithms that avoid the
explicit exponential construction. (2) For one-sided games with player 1 having
perfect observation we show that nonelementarymemory is both necessary and sufficient
for both almost-sure and positive winning strategies. (3) We show that for the
general (two-sided) case finite-memory strategies are sufficient for both positive
and almost-sure winning, and at least nonelementary memory is required. We establish
the equivalence of the almost-sure winning problems for pure strategies and for
randomized strategies with actions invisible. Our equivalence result exhibit serious
flaws in previous results of the literature: we show a nonelementary memory lower
bound for almost-sure winning whereas an exponential upper bound was previously
claimed.'
article_number: '16'
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: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: 'Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when
belief fails. ACM Transactions on Computational Logic. 2014;15(2). doi:10.1145/2579821'
apa: 'Chatterjee, K., & Doyen, L. (2014). Partial-observation stochastic games:
How to win when belief fails. ACM Transactions on Computational Logic.
ACM. https://doi.org/10.1145/2579821'
chicago: 'Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic
Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic.
ACM, 2014. https://doi.org/10.1145/2579821.'
ieee: 'K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to
win when belief fails,” ACM Transactions on Computational Logic, vol. 15,
no. 2. ACM, 2014.'
ista: 'Chatterjee K, Doyen L. 2014. Partial-observation stochastic games: How to
win when belief fails. ACM Transactions on Computational Logic. 15(2), 16.'
mla: 'Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic
Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic,
vol. 15, no. 2, 16, ACM, 2014, doi:10.1145/2579821.'
short: K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic 15 (2014).
das_tickbox: '1'
date_created: 2018-12-11T11:56:21Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2026-07-07T14:01:26Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/2579821
external_id:
arxiv:
- '1107.2141'
isi:
- '000336005000006'
intvolume: ' 15'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1107.2141
month: '04'
oa: 1
oa_version: Preprint
publication: ACM Transactions on Computational Logic
publication_status: published
publisher: ACM
publist_id: '4759'
quality_controlled: '1'
related_material:
record:
- id: '5381'
relation: earlier_version
status: public
- id: '1903'
relation: earlier_version
status: public
- id: '2955'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: 'Partial-observation stochastic games: How to win when belief fails'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2014'
...
---
_id: '2054'
abstract:
- lang: eng
text: 'We study two-player concurrent games on finite-state graphs played for an
infinite number of rounds, where in each round, the two players (player 1 and
player 2) choose their moves independently and simultaneously; the current state
and the two moves determine the successor state. The objectives are ω-regular
winning conditions specified as parity objectives. We consider the qualitative
analysis problems: the computation of the almost-sure and limit-sure winning set
of states, where player 1 can ensure to win with probability 1 and with probability
arbitrarily close to 1, respectively. In general the almost-sure and limit-sure
winning strategies require both infinite-memory as well as infinite-precision
(to describe probabilities). While the qualitative analysis problem for concurrent
parity games with infinite-memory, infinite-precision randomized strategies was
studied before, we study the bounded-rationality problem for qualitative analysis
of concurrent parity games, where the strategy set for player 1 is restricted
to bounded-resource strategies. In terms of precision, strategies can be deterministic,
uniform, finite-precision, or infinite-precision; and in terms of memory, strategies
can be memoryless, finite-memory, or infinite-memory. We present a precise and
complete characterization of the qualitative winning sets for all combinations
of classes of strategies. In particular, we show that uniform memoryless strategies
are as powerful as finite-precision infinite-memory strategies, and infinite-precision
memoryless strategies are as powerful as infinite-precision finite-memory strategies.
We show that the winning sets can be computed in (n2d+3) time, where n is the
size of the game structure and 2d is the number of priorities (or colors), and
our algorithms are symbolic. The membership problem of whether a state belongs
to a winning set can be decided in NP ∩ coNP. Our symbolic algorithms are based
on a characterization of the winning sets as μ-calculus formulas, however, our
μ-calculus formulas are crucially different from the ones for concurrent parity
games (without bounded rationality); and our memoryless witness strategy constructions
are significantly different from the infinite-memory witness strategy constructions
for concurrent parity games.'
alternative_title:
- LNCS
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: 'Chatterjee K. Qualitative concurrent parity games: Bounded rationality. In:
Baldan P, Gorla D, eds. Lecture Notes in Computer Science (Including Subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
Vol 8704. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:544-559. doi:10.1007/978-3-662-44584-6_37'
apa: 'Chatterjee, K. (2014). Qualitative concurrent parity games: Bounded rationality.
In P. Baldan & D. Gorla (Eds.), Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(Vol. 8704, pp. 544–559). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.1007/978-3-662-44584-6_37'
chicago: 'Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded
Rationality.” In Lecture Notes in Computer Science (Including Subseries Lecture
Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited
by Paolo Baldan and Daniele Gorla, 8704:544–59. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2014. https://doi.org/10.1007/978-3-662-44584-6_37.'
ieee: 'K. Chatterjee, “Qualitative concurrent parity games: Bounded rationality,”
in Lecture Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy,
2014, vol. 8704, pp. 544–559.'
ista: 'Chatterjee K. 2014. Qualitative concurrent parity games: Bounded rationality.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory,
LNCS, vol. 8704, 544–559.'
mla: 'Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.”
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan
and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2014, pp. 544–59, doi:10.1007/978-3-662-44584-6_37.'
short: K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer
Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014,
pp. 544–559.
conference:
end_date: 2014-09-05
location: Rome, Italy
name: 'CONCUR: Concurrency Theory'
start_date: 2014-09-02
corr_author: '1'
date_created: 2018-12-11T11:55:27Z
date_published: 2014-09-01T00:00:00Z
date_updated: 2026-07-07T14:02:37Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-662-44584-6_37
ec_funded: 1
editor:
- first_name: Paolo
full_name: Baldan, Paolo
last_name: Baldan
- first_name: Daniele
full_name: Gorla, Daniele
last_name: Gorla
intvolume: ' 8704'
language:
- iso: eng
month: '09'
oa_version: None
page: 544 - 559
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '4992'
quality_controlled: '1'
related_material:
record:
- id: '3354'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: 'Qualitative concurrent parity games: Bounded rationality'
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8704
year: '2014'
...