---
_id: '18353'
abstract:
- lang: eng
text: Traditional models of bendable surfaces are based on the exact or approximate
invariance to deformations that do not tear or stretch the shape, leaving intact
an intrinsic geometry associated with it. These geometries are typically defined
using either the shortest path length (geodesic distance), or properties of heat
diffusion (diffusion distance) on the surface. Both measures are implicitly derived
from the metric induced by the ambient Euclidean space. In this paper, we depart
from this restrictive assumption by observing that a different choice of the metric
results in a richer set of geometric invariants. We apply equi-affine geometry
for analyzing arbitrary shapes with positive Gaussian curvature. The potential
of the proposed framework is explored in a range of applications such as shape
matching and retrieval, symmetry detection, and computation of Voroni tessellation.
We show that in some shape analysis tasks, equi-affine-invariant intrinsic geometries
often outperform their Euclidean-based counterparts. We further explore the potential
of this metric in facial anthropometry of newborns. We show that intrinsic properties
of this homogeneous group are better captured using the equi-affine metric.
article_processing_charge: No
article_type: original
author:
- first_name: Dan
full_name: Raviv, Dan
last_name: Raviv
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Michael M.
full_name: Bronstein, Michael M.
last_name: Bronstein
- first_name: Dan
full_name: Waisman, Dan
last_name: Waisman
- first_name: Nir
full_name: Sochen, Nir
last_name: Sochen
- first_name: Ron
full_name: Kimmel, Ron
last_name: Kimmel
citation:
ama: Raviv D, Bronstein AM, Bronstein MM, Waisman D, Sochen N, Kimmel R. Equi-affine
invariant geometry for shape analysis. Journal of Mathematical Imaging and
Vision. 2014;50:144-163. doi:10.1007/s10851-013-0467-y
apa: Raviv, D., Bronstein, A. M., Bronstein, M. M., Waisman, D., Sochen, N., &
Kimmel, R. (2014). Equi-affine invariant geometry for shape analysis. Journal
of Mathematical Imaging and Vision. Springer Nature. https://doi.org/10.1007/s10851-013-0467-y
chicago: Raviv, Dan, Alex M. Bronstein, Michael M. Bronstein, Dan Waisman, Nir Sochen,
and Ron Kimmel. “Equi-Affine Invariant Geometry for Shape Analysis.” Journal
of Mathematical Imaging and Vision. Springer Nature, 2014. https://doi.org/10.1007/s10851-013-0467-y.
ieee: D. Raviv, A. M. Bronstein, M. M. Bronstein, D. Waisman, N. Sochen, and R.
Kimmel, “Equi-affine invariant geometry for shape analysis,” Journal of Mathematical
Imaging and Vision, vol. 50. Springer Nature, pp. 144–163, 2014.
ista: Raviv D, Bronstein AM, Bronstein MM, Waisman D, Sochen N, Kimmel R. 2014.
Equi-affine invariant geometry for shape analysis. Journal of Mathematical Imaging
and Vision. 50, 144–163.
mla: Raviv, Dan, et al. “Equi-Affine Invariant Geometry for Shape Analysis.” Journal
of Mathematical Imaging and Vision, vol. 50, Springer Nature, 2014, pp. 144–63,
doi:10.1007/s10851-013-0467-y.
short: D. Raviv, A.M. Bronstein, M.M. Bronstein, D. Waisman, N. Sochen, R. Kimmel,
Journal of Mathematical Imaging and Vision 50 (2014) 144–163.
date_created: 2024-10-15T11:20:54Z
date_published: 2014-09-01T00:00:00Z
date_updated: 2024-11-12T08:51:43Z
day: '01'
doi: 10.1007/s10851-013-0467-y
extern: '1'
intvolume: ' 50'
language:
- iso: eng
month: '09'
oa_version: None
page: 144-163
publication: Journal of Mathematical Imaging and Vision
publication_identifier:
eissn:
- 1573-7683
issn:
- 0924-9907
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Equi-affine invariant geometry for shape analysis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2014'
...
---
_id: '18384'
abstract:
- lang: eng
text: 'Traditionally, NMF algorithms consist of two separate stages: a training
stage, in which a generative model is learned; and a testing stage in which the
pre-learned model is used in a high level task such as enhancement, separation,
or classification. As an alternative, we propose a task-supervised NMF method
for the adaptation of the basis spectra learned in the first stage to enhance
the performance on the specific task used in the second stage. We cast this problem
as a bilevel optimization program that can be efficiently solved via stochastic
gradient descent. The proposed approach is general enough to handle sparsity priors
of the activations, and allow non-Euclidean data terms such as β-divergences.
The framework is evaluated on single-channel speech enhancement tasks.'
article_number: '6843241'
article_processing_charge: No
author:
- first_name: Pablo
full_name: Sprechmann, Pablo
last_name: Sprechmann
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Guillermo
full_name: Sapiro, Guillermo
last_name: Sapiro
citation:
ama: 'Sprechmann P, Bronstein AM, Sapiro G. Supervised non-euclidean sparse NMF
via bilevel optimization with applications to speech enhancement. In: 2014
4th Joint Workshop on Hands-Free Speech Communication and Microphone Arrays (HSCMA).
IEEE; 2014. doi:10.1109/hscma.2014.6843241'
apa: 'Sprechmann, P., Bronstein, A. M., & Sapiro, G. (2014). Supervised non-euclidean
sparse NMF via bilevel optimization with applications to speech enhancement. In
2014 4th Joint Workshop on Hands-free Speech Communication and Microphone Arrays
(HSCMA). Villers-les-Nancy, France: IEEE. https://doi.org/10.1109/hscma.2014.6843241'
chicago: Sprechmann, Pablo, Alex M. Bronstein, and Guillermo Sapiro. “Supervised
Non-Euclidean Sparse NMF via Bilevel Optimization with Applications to Speech
Enhancement.” In 2014 4th Joint Workshop on Hands-Free Speech Communication
and Microphone Arrays (HSCMA). IEEE, 2014. https://doi.org/10.1109/hscma.2014.6843241.
ieee: P. Sprechmann, A. M. Bronstein, and G. Sapiro, “Supervised non-euclidean sparse
NMF via bilevel optimization with applications to speech enhancement,” in 2014
4th Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA),
Villers-les-Nancy, France, 2014.
ista: Sprechmann P, Bronstein AM, Sapiro G. 2014. Supervised non-euclidean sparse
NMF via bilevel optimization with applications to speech enhancement. 2014 4th
Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA).
4th Joint Workshop on Hands-Free Speech Communication and Microphone Arrays, 6843241.
mla: Sprechmann, Pablo, et al. “Supervised Non-Euclidean Sparse NMF via Bilevel
Optimization with Applications to Speech Enhancement.” 2014 4th Joint Workshop
on Hands-Free Speech Communication and Microphone Arrays (HSCMA), 6843241,
IEEE, 2014, doi:10.1109/hscma.2014.6843241.
short: P. Sprechmann, A.M. Bronstein, G. Sapiro, in:, 2014 4th Joint Workshop on
Hands-Free Speech Communication and Microphone Arrays (HSCMA), IEEE, 2014.
conference:
end_date: 2014-05-14
location: Villers-les-Nancy, France
name: 4th Joint Workshop on Hands-Free Speech Communication and Microphone Arrays
start_date: 2014-05-12
date_created: 2024-10-15T11:20:54Z
date_published: 2014-06-26T00:00:00Z
date_updated: 2024-12-04T13:47:13Z
day: '26'
doi: 10.1109/hscma.2014.6843241
extern: '1'
language:
- iso: eng
month: '06'
oa_version: None
publication: 2014 4th Joint Workshop on Hands-free Speech Communication and Microphone
Arrays (HSCMA)
publication_identifier:
eisbn:
- '9781479931095'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Supervised non-euclidean sparse NMF via bilevel optimization with applications
to speech enhancement
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '18413'
abstract:
- lang: eng
text: Informative and discriminative feature descriptors play a fundamental role
in deformable shape analysis. For example, they have been successfully employed
in correspondence, registration, and retrieval tasks. In recent years, significant
attention has been devoted to descriptors obtained from the spectral decomposition
of the Laplace-Beltrami operator associated with the shape. Notable examples in
this family are the heat kernel signature (HKS) and the recently introduced wave
kernel signature (WKS). The Laplacian-based descriptors achieve state-of-the-art
performance in numerous shape analysis tasks; they are computationally efficient,
isometry-invariant by construction, and can gracefully cope with a variety of
transformations. In this paper, we formulate a generic family of parametric spectral
descriptors. We argue that to be optimized for a specific task, the descriptor
should take into account the statistics of the corpus of shapes to which it is
applied (the "signal") and those of the class of transformations to which it is
made insensitive (the "noise"). While such statistics are hard to model axiomatically,
they can be learned from examples. Following the spirit of the Wiener filter in
signal processing, we show a learning scheme for the construction of optimized
spectral descriptors and relate it to Mahalanobis metric learning. The superiority
of the proposed approach in generating correspondences is demonstrated on synthetic
and scanned human figures. We also show that the learned descriptors are robust
enough to be learned on synthetic data and transferred successfully to scanned
shapes.
article_processing_charge: No
author:
- first_name: R.
full_name: Litman, R.
last_name: Litman
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
citation:
ama: Litman R, Bronstein AM. Learning spectral descriptors for deformable shape
correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence.
2014;36(1):171-180. doi:10.1109/tpami.2013.148
apa: Litman, R., & Bronstein, A. M. (2014). Learning spectral descriptors for
deformable shape correspondence. IEEE Transactions on Pattern Analysis and
Machine Intelligence. IEEE. https://doi.org/10.1109/tpami.2013.148
chicago: Litman, R., and Alex M. Bronstein. “Learning Spectral Descriptors for Deformable
Shape Correspondence.” IEEE Transactions on Pattern Analysis and Machine Intelligence.
IEEE, 2014. https://doi.org/10.1109/tpami.2013.148.
ieee: R. Litman and A. M. Bronstein, “Learning spectral descriptors for deformable
shape correspondence,” IEEE Transactions on Pattern Analysis and Machine Intelligence,
vol. 36, no. 1. IEEE, pp. 171–180, 2014.
ista: Litman R, Bronstein AM. 2014. Learning spectral descriptors for deformable
shape correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence.
36(1), 171–180.
mla: Litman, R., and Alex M. Bronstein. “Learning Spectral Descriptors for Deformable
Shape Correspondence.” IEEE Transactions on Pattern Analysis and Machine Intelligence,
vol. 36, no. 1, IEEE, 2014, pp. 171–80, doi:10.1109/tpami.2013.148.
short: R. Litman, A.M. Bronstein, IEEE Transactions on Pattern Analysis and Machine
Intelligence 36 (2014) 171–180.
date_created: 2024-10-15T11:20:55Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2024-12-12T12:42:56Z
day: '01'
doi: 10.1109/tpami.2013.148
extern: '1'
external_id:
pmid:
- '24231874'
intvolume: ' 36'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 171-180
pmid: 1
publication: IEEE Transactions on Pattern Analysis and Machine Intelligence
publication_identifier:
eissn:
- 1939-3539
issn:
- 0162-8828
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Learning spectral descriptors for deformable shape correspondence
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 36
year: '2014'
...
---
_id: '18414'
abstract:
- lang: eng
text: We introduce an efficient computational framework for hashing data belonging
to multiple modalities into a single representation space where they become mutually
comparable. The proposed approach is based on a novel coupled siamese neural network
architecture and allows unified treatment of intra- and inter-modality similarity
learning. Unlike existing cross-modality similarity learning approaches, our hashing
functions are not limited to binarized linear projections and can assume arbitrarily
complex forms. We show experimentally that our method significantly outperforms
state-of-the-art hashing approaches on multimedia retrieval tasks.
article_processing_charge: No
arxiv: 1
author:
- first_name: Jonathan
full_name: Masci, Jonathan
last_name: Masci
- first_name: Michael M.
full_name: Bronstein, Michael M.
last_name: Bronstein
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Jurgen
full_name: Schmidhuber, Jurgen
last_name: Schmidhuber
citation:
ama: Masci J, Bronstein MM, Bronstein AM, Schmidhuber J. Multimodal similarity-preserving
hashing. IEEE Transactions on Pattern Analysis and Machine Intelligence.
2014;36(4):824-830. doi:10.1109/tpami.2013.225
apa: Masci, J., Bronstein, M. M., Bronstein, A. M., & Schmidhuber, J. (2014).
Multimodal similarity-preserving hashing. IEEE Transactions on Pattern Analysis
and Machine Intelligence. IEEE. https://doi.org/10.1109/tpami.2013.225
chicago: Masci, Jonathan, Michael M. Bronstein, Alex M. Bronstein, and Jurgen Schmidhuber.
“Multimodal Similarity-Preserving Hashing.” IEEE Transactions on Pattern Analysis
and Machine Intelligence. IEEE, 2014. https://doi.org/10.1109/tpami.2013.225.
ieee: J. Masci, M. M. Bronstein, A. M. Bronstein, and J. Schmidhuber, “Multimodal
similarity-preserving hashing,” IEEE Transactions on Pattern Analysis and Machine
Intelligence, vol. 36, no. 4. IEEE, pp. 824–830, 2014.
ista: Masci J, Bronstein MM, Bronstein AM, Schmidhuber J. 2014. Multimodal similarity-preserving
hashing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 36(4),
824–830.
mla: Masci, Jonathan, et al. “Multimodal Similarity-Preserving Hashing.” IEEE
Transactions on Pattern Analysis and Machine Intelligence, vol. 36, no. 4,
IEEE, 2014, pp. 824–30, doi:10.1109/tpami.2013.225.
short: J. Masci, M.M. Bronstein, A.M. Bronstein, J. Schmidhuber, IEEE Transactions
on Pattern Analysis and Machine Intelligence 36 (2014) 824–830.
date_created: 2024-10-15T11:20:55Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2024-12-12T13:04:27Z
day: '01'
doi: 10.1109/tpami.2013.225
extern: '1'
external_id:
arxiv:
- '1207.1522'
pmid:
- '26353203'
intvolume: ' 36'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1207.1522
month: '04'
oa: 1
oa_version: Preprint
page: 824-830
pmid: 1
publication: IEEE Transactions on Pattern Analysis and Machine Intelligence
publication_identifier:
eissn:
- 1939-3539
issn:
- 0162-8828
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Multimodal similarity-preserving hashing
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 36
year: '2014'
...
---
_id: '1842'
abstract:
- lang: eng
text: We prove polynomial upper bounds of geometric Ramsey numbers of pathwidth-2
outerplanar triangulations in both convex and general cases. We also prove that
the geometric Ramsey numbers of the ladder graph on 2n vertices are bounded by
O(n3) and O(n10), in the convex and general case, respectively. We then apply
similar methods to prove an (Formula presented.) upper bound on the Ramsey number
of a path with n ordered vertices.
acknowledgement: Marek Krčál was supported by the ERC Advanced Grant No. 267165.
article_processing_charge: No
arxiv: 1
author:
- first_name: Josef
full_name: Cibulka, Josef
last_name: Cibulka
- first_name: Pu
full_name: Gao, Pu
last_name: Gao
- first_name: Marek
full_name: Krcál, Marek
id: 33E21118-F248-11E8-B48F-1D18A9856A87
last_name: Krcál
- first_name: Tomáš
full_name: Valla, Tomáš
last_name: Valla
- first_name: Pavel
full_name: Valtr, Pavel
last_name: Valtr
citation:
ama: Cibulka J, Gao P, Krcál M, Valla T, Valtr P. On the geometric ramsey number
of outerplanar graphs. Discrete & Computational Geometry. 2014;53(1):64-79.
doi:10.1007/s00454-014-9646-x
apa: Cibulka, J., Gao, P., Krcál, M., Valla, T., & Valtr, P. (2014). On the
geometric ramsey number of outerplanar graphs. Discrete & Computational
Geometry. Springer. https://doi.org/10.1007/s00454-014-9646-x
chicago: Cibulka, Josef, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On
the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational
Geometry. Springer, 2014. https://doi.org/10.1007/s00454-014-9646-x.
ieee: J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey
number of outerplanar graphs,” Discrete & Computational Geometry, vol.
53, no. 1. Springer, pp. 64–79, 2014.
ista: Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey
number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
mla: Cibulka, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.”
Discrete & Computational Geometry, vol. 53, no. 1, Springer, 2014,
pp. 64–79, doi:10.1007/s00454-014-9646-x.
short: J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational
Geometry 53 (2014) 64–79.
date_created: 2018-12-11T11:54:18Z
date_published: 2014-11-14T00:00:00Z
date_updated: 2025-09-29T13:11:56Z
day: '14'
department:
- _id: UlWa
- _id: HeEd
doi: 10.1007/s00454-014-9646-x
external_id:
arxiv:
- '1310.7004'
isi:
- '000346774600005'
intvolume: ' 53'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1310.7004
month: '11'
oa: 1
oa_version: Submitted Version
page: 64 - 79
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '5260'
scopus_import: '1'
status: public
title: On the geometric ramsey number of outerplanar graphs
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 53
year: '2014'
...
---
_id: '18423'
abstract:
- lang: eng
text: We present a method for supervised learning of shape descriptors for shape
retrieval applications. Many content-based shape retrieval approaches follow the
bag-of-features (BoF) paradigm commonly used in text and image retrieval by first
computing local shape descriptors, and then representing them in a ‘geometric
dictionary’ using vector quantization. A major drawback of such approaches is
that the dictionary is constructed in an unsupervised manner using clustering,
unaware of the last stage of the process (pooling of the local descriptors into
a BoF, and comparison of the latter using some metric). In this paper, we replace
the clustering with dictionary learning, where every atom acts as a feature, followed
by sparse coding and pooling to get the final BoF descriptor. Both the dictionary
and the sparse codes can be learned in the supervised regime via bi-level optimization
using a task-specific objective that promotes invariance desired in the specific
application. We show significant performance improvement on several standard shape
retrieval benchmarks.
article_processing_charge: No
author:
- first_name: Roee
full_name: Litman, Roee
last_name: Litman
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Michael
full_name: Bronstein, Michael
last_name: Bronstein
- first_name: Umberto
full_name: Castellani, Umberto
last_name: Castellani
citation:
ama: Litman R, Bronstein AM, Bronstein M, Castellani U. Supervised learning of bag‐of‐features
shape descriptors using sparse coding. Computer Graphics Forum. 2014;33(5):127-136.
doi:10.1111/cgf.12438
apa: Litman, R., Bronstein, A. M., Bronstein, M., & Castellani, U. (2014). Supervised
learning of bag‐of‐features shape descriptors using sparse coding. Computer
Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12438
chicago: Litman, Roee, Alex M. Bronstein, Michael Bronstein, and Umberto Castellani.
“Supervised Learning of Bag‐of‐features Shape Descriptors Using Sparse Coding.”
Computer Graphics Forum. Wiley, 2014. https://doi.org/10.1111/cgf.12438.
ieee: R. Litman, A. M. Bronstein, M. Bronstein, and U. Castellani, “Supervised learning
of bag‐of‐features shape descriptors using sparse coding,” Computer Graphics
Forum, vol. 33, no. 5. Wiley, pp. 127–136, 2014.
ista: Litman R, Bronstein AM, Bronstein M, Castellani U. 2014. Supervised learning
of bag‐of‐features shape descriptors using sparse coding. Computer Graphics Forum.
33(5), 127–136.
mla: Litman, Roee, et al. “Supervised Learning of Bag‐of‐features Shape Descriptors
Using Sparse Coding.” Computer Graphics Forum, vol. 33, no. 5, Wiley, 2014,
pp. 127–36, doi:10.1111/cgf.12438.
short: R. Litman, A.M. Bronstein, M. Bronstein, U. Castellani, Computer Graphics
Forum 33 (2014) 127–136.
date_created: 2024-10-15T11:20:55Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2024-12-19T10:20:12Z
day: '01'
doi: 10.1111/cgf.12438
extern: '1'
intvolume: ' 33'
issue: '5'
language:
- iso: eng
month: '08'
oa_version: None
page: 127-136
publication: Computer Graphics Forum
publication_identifier:
eissn:
- 1467-8659
issn:
- 0167-7055
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Supervised learning of bag‐of‐features shape descriptors using sparse coding
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2014'
...
---
_id: '1844'
abstract:
- lang: eng
text: 'Local protein interactions ("molecular context" effects) dictate
amino acid replacements and can be described in terms of site-specific, energetic
preferences for any different amino acid. It has been recently debated whether
these preferences remain approximately constant during evolution or whether, due
to coevolution of sites, they change strongly. Such research highlights an unresolved
and fundamental issue with far-reaching implications for phylogenetic analysis
and molecular evolution modeling. Here, we take advantage of the recent availability
of phenotypically supported laboratory resurrections of Precambrian thioredoxins
and β-lactamases to experimentally address the change of site-specific amino acid
preferences over long geological timescales. Extensive mutational analyses support
the notion that evolutionary adjustment to a new amino acid may occur, but to
a large extent this is insufficient to erase the primitive preference for amino
acid replacements. Generally, site-specific amino acid preferences appear to remain
conserved throughout evolutionary history despite local sequence divergence. We
show such preference conservation to be readily understandable in molecular terms
and we provide crystallographic evidence for an intriguing structural-switch mechanism:
Energetic preference for an ancestral amino acid in a modern protein can be linked
to reorganization upon mutation to the ancestral local structure around the mutated
site. Finally, we point out that site-specific preference conservation naturally
leads to one plausible evolutionary explanation for the existence of intragenic
global suppressor mutations.'
article_processing_charge: No
author:
- first_name: Valeria
full_name: Risso, Valeria
last_name: Risso
- first_name: Fadia
full_name: Manssour Triedo, Fadia
last_name: Manssour Triedo
- first_name: Asuncion
full_name: Delgado Delgado, Asuncion
last_name: Delgado Delgado
- first_name: Rocio
full_name: Arco, Rocio
last_name: Arco
- first_name: Alicia
full_name: Barroso Deljesús, Alicia
last_name: Barroso Deljesús
- first_name: Álvaro
full_name: Inglés Prieto, Álvaro
id: 2A9DB292-F248-11E8-B48F-1D18A9856A87
last_name: Inglés Prieto
orcid: 0000-0002-5409-8571
- first_name: Raquel
full_name: Godoy Ruiz, Raquel
last_name: Godoy Ruiz
- first_name: Josè
full_name: Gavira, Josè
last_name: Gavira
- first_name: Eric
full_name: Gaucher, Eric
last_name: Gaucher
- first_name: Beatriz
full_name: Ibarra Molero, Beatriz
last_name: Ibarra Molero
- first_name: Jose
full_name: Sánchez Ruiz, Jose
last_name: Sánchez Ruiz
citation:
ama: Risso V, Manssour Triedo F, Delgado Delgado A, et al. Mutational studies on
resurrected ancestral proteins reveal conservation of site-specific amino acid
preferences throughout evolutionary history. Molecular Biology and Evolution.
2014;32(2):440-455. doi:10.1093/molbev/msu312
apa: Risso, V., Manssour Triedo, F., Delgado Delgado, A., Arco, R., Barroso Deljesús,
A., Inglés Prieto, Á., … Sánchez Ruiz, J. (2014). Mutational studies on resurrected
ancestral proteins reveal conservation of site-specific amino acid preferences
throughout evolutionary history. Molecular Biology and Evolution. Oxford
University Press. https://doi.org/10.1093/molbev/msu312
chicago: Risso, Valeria, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio
Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al.
“Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific
Amino Acid Preferences throughout Evolutionary History.” Molecular Biology
and Evolution. Oxford University Press, 2014. https://doi.org/10.1093/molbev/msu312.
ieee: V. Risso et al., “Mutational studies on resurrected ancestral proteins
reveal conservation of site-specific amino acid preferences throughout evolutionary
history,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University
Press, pp. 440–455, 2014.
ista: Risso V, Manssour Triedo F, Delgado Delgado A, Arco R, Barroso Deljesús A,
Inglés Prieto Á, Godoy Ruiz R, Gavira J, Gaucher E, Ibarra Molero B, Sánchez Ruiz
J. 2014. Mutational studies on resurrected ancestral proteins reveal conservation
of site-specific amino acid preferences throughout evolutionary history. Molecular
Biology and Evolution. 32(2), 440–455.
mla: Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins
Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary
History.” Molecular Biology and Evolution, vol. 32, no. 2, Oxford University
Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.
short: V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús,
Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez
Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
date_created: 2018-12-11T11:54:19Z
date_published: 2014-11-12T00:00:00Z
date_updated: 2025-09-29T13:11:19Z
day: '12'
ddc:
- '571'
department:
- _id: HaJa
doi: 10.1093/molbev/msu312
external_id:
isi:
- '000350050700012'
file:
- access_level: open_access
checksum: 06215318e66be8f3e0c33abb07e9d3da
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:56Z
date_updated: 2020-07-14T12:45:19Z
file_id: '5247'
file_name: IST-2016-430-v1+1_Mol_Biol_Evol-2015-Risso-440-55.pdf
file_size: 1545246
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 32'
isi: 1
issue: '2'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 440 - 455
publication: Molecular Biology and Evolution
publication_status: published
publisher: Oxford University Press
publist_id: '5257'
pubrep_id: '430'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mutational studies on resurrected ancestral proteins reveal conservation of
site-specific amino acid preferences throughout evolutionary history
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 32
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'
...