---
OA_place: publisher
OA_type: free access
_id: '18360'
abstract:
- lang: eng
text: Many manifold learning procedures try to embed a given feature data into a
flat space of low dimensionality while preserving as much as possible the metric
in the natural feature space. The embedding process usually relies on distances
between neighboring features, mainly since distances between features that are
far apart from each other often provide an unreliable estimation of the true distance
on the feature manifold due to its non-convexity. Distortions resulting from using
long geodesics indiscriminately lead to a known limitation of the Isomap algorithm
when used to map non-convex manifolds. Presented is a framework for nonlinear
dimensionality reduction that uses both local and global distances in order to
learn the intrinsic geometry of flat manifolds with boundaries. The resulting
algorithm filters out potentially problematic distances between distant feature
points based on the properties of the geodesics connecting those points and their
relative distance to the boundary of the feature manifold, thus avoiding an inherent
limitation of the Isomap algorithm. Since the proposed algorithm matches non-local
structures, it is robust to strong noise. We show experimental results demonstrating
the advantages of the proposed approach over conventional dimensionality reduction
techniques, both global and local in nature.
article_processing_charge: No
article_type: original
author:
- first_name: Guy
full_name: Rosman, Guy
last_name: Rosman
- 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: Ron
full_name: Kimmel, Ron
last_name: Kimmel
citation:
ama: Rosman G, Bronstein MM, Bronstein AM, Kimmel R. Nonlinear dimensionality reduction
by topologically constrained isometric embedding. International Journal of
Computer Vision. 2010;89:56-68. doi:10.1007/s11263-010-0322-1
apa: Rosman, G., Bronstein, M. M., Bronstein, A. M., & Kimmel, R. (2010). Nonlinear
dimensionality reduction by topologically constrained isometric embedding. International
Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-010-0322-1
chicago: Rosman, Guy, Michael M. Bronstein, Alex M. Bronstein, and Ron Kimmel. “Nonlinear
Dimensionality Reduction by Topologically Constrained Isometric Embedding.” International
Journal of Computer Vision. Springer Nature, 2010. https://doi.org/10.1007/s11263-010-0322-1.
ieee: G. Rosman, M. M. Bronstein, A. M. Bronstein, and R. Kimmel, “Nonlinear dimensionality
reduction by topologically constrained isometric embedding,” International
Journal of Computer Vision, vol. 89. Springer Nature, pp. 56–68, 2010.
ista: Rosman G, Bronstein MM, Bronstein AM, Kimmel R. 2010. Nonlinear dimensionality
reduction by topologically constrained isometric embedding. International Journal
of Computer Vision. 89, 56–68.
mla: Rosman, Guy, et al. “Nonlinear Dimensionality Reduction by Topologically Constrained
Isometric Embedding.” International Journal of Computer Vision, vol. 89,
Springer Nature, 2010, pp. 56–68, doi:10.1007/s11263-010-0322-1.
short: G. Rosman, M.M. Bronstein, A.M. Bronstein, R. Kimmel, International Journal
of Computer Vision 89 (2010) 56–68.
date_created: 2024-10-15T11:20:54Z
date_published: 2010-08-01T00:00:00Z
date_updated: 2024-11-12T08:25:56Z
day: '01'
doi: 10.1007/s11263-010-0322-1
extern: '1'
intvolume: ' 89'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/s11263-010-0322-1
month: '08'
oa: 1
oa_version: Published Version
page: 56-68
publication: International Journal of Computer Vision
publication_identifier:
eissn:
- 1573-1405
issn:
- 0920-5691
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nonlinear dimensionality reduction by topologically constrained isometric embedding
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 89
year: '2010'
...
---
_id: '18376'
abstract:
- lang: eng
text: Visual understanding is often based on measuring similarity between observations.
Learning similarities specific to a certain perception task from a set of examples
has been shown advantageous in various computer vision and pattern recognition
problems. In many important applications, the data that one needs to compare come
from different representations or modalities, and the similarity between such
data operates on objects that may have different and often incommensurable structure
and dimensionality. In this paper, we propose a framework for supervised similarity
learning based on embedding the input data from two arbitrary spaces into the
Hamming space. The mapping is expressed as a binary classification problem with
positive and negative examples, and can be efficiently learned using boosting
algorithms. The utility and efficiency of such a generic approach is demonstrated
on several challenging applications including cross-representation shape retrieval
and alignment of multi-modal medical images.
article_processing_charge: No
author:
- 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: Fabrice
full_name: Michel, Fabrice
last_name: Michel
- first_name: Nikos
full_name: Paragios, Nikos
last_name: Paragios
citation:
ama: 'Bronstein MM, Bronstein AM, Michel F, Paragios N. Data fusion through cross-modality
metric learning using similarity-sensitive hashing. In: 2010 IEEE Computer
Society Conference on Computer Vision and Pattern Recognition. IEEE; 2010:3594-3601.
doi:10.1109/cvpr.2010.5539928'
apa: 'Bronstein, M. M., Bronstein, A. M., Michel, F., & Paragios, N. (2010).
Data fusion through cross-modality metric learning using similarity-sensitive
hashing. In 2010 IEEE Computer Society Conference on Computer Vision and Pattern
Recognition (pp. 3594–3601). San Francisco, CA, USA: IEEE. https://doi.org/10.1109/cvpr.2010.5539928'
chicago: Bronstein, Michael M., Alex M. Bronstein, Fabrice Michel, and Nikos Paragios.
“Data Fusion through Cross-Modality Metric Learning Using Similarity-Sensitive
Hashing.” In 2010 IEEE Computer Society Conference on Computer Vision and Pattern
Recognition, 3594–3601. IEEE, 2010. https://doi.org/10.1109/cvpr.2010.5539928.
ieee: M. M. Bronstein, A. M. Bronstein, F. Michel, and N. Paragios, “Data fusion
through cross-modality metric learning using similarity-sensitive hashing,” in
2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition,
San Francisco, CA, USA, 2010, pp. 3594–3601.
ista: Bronstein MM, Bronstein AM, Michel F, Paragios N. 2010. Data fusion through
cross-modality metric learning using similarity-sensitive hashing. 2010 IEEE Computer
Society Conference on Computer Vision and Pattern Recognition. 2010 IEEE Computer
Society Conference on Computer Vision and Pattern Recognition, 3594–3601.
mla: Bronstein, Michael M., et al. “Data Fusion through Cross-Modality Metric Learning
Using Similarity-Sensitive Hashing.” 2010 IEEE Computer Society Conference
on Computer Vision and Pattern Recognition, IEEE, 2010, pp. 3594–601, doi:10.1109/cvpr.2010.5539928.
short: M.M. Bronstein, A.M. Bronstein, F. Michel, N. Paragios, in:, 2010 IEEE Computer
Society Conference on Computer Vision and Pattern Recognition, IEEE, 2010, pp.
3594–3601.
conference:
end_date: 2010-06-18
location: San Francisco, CA, USA
name: 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition
start_date: 2010-06-13
date_created: 2024-10-15T11:20:54Z
date_published: 2010-08-05T00:00:00Z
date_updated: 2024-12-02T14:00:22Z
day: '05'
doi: 10.1109/cvpr.2010.5539928
extern: '1'
language:
- iso: eng
month: '08'
oa_version: None
page: 3594 - 3601
publication: 2010 IEEE Computer Society Conference on Computer Vision and Pattern
Recognition
publication_identifier:
issn:
- '1063-6919 '
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Data fusion through cross-modality metric learning using similarity-sensitive
hashing
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2010'
...
---
_id: '18432'
abstract:
- lang: eng
text: Invariant shape descriptors are instrumental in numerous shape analysis tasks
including deformable shape comparison, registration, classification, and retrieval.
Most existing constructions model a 3D shape as a two-dimensional surface describing
the shape boundary, typically represented as a triangular mesh or a point cloud.
Using intrinsic properties of the surface, invariant descriptors can be designed.
One such example is the recently introduced heat kernel signature, based on the
Laplace-Beltrami operator of the surface. In many applications, however, a volumetric
shape model is more natural and convenient. Moreover, modeling shape deformations
as approximate isometries of the volume of an object, rather than its boundary,
better captures natural behavior of non-rigid deformations in many cases. Here,
we extend the idea of heat kernel signature to robust isometry-invariant volumetric
descriptors, and show their utility in shape retrieval. The proposed approach
achieves state-of-the-art results on the SHREC 2010 large-scale shape retrieval
benchmark.
article_processing_charge: No
author:
- first_name: Dan
full_name: Raviv, Dan
last_name: Raviv
- 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: Ron
full_name: Kimmel, Ron
last_name: Kimmel
citation:
ama: 'Raviv D, Bronstein MM, Bronstein AM, Kimmel R. Volumetric heat kernel signatures.
In: Proceedings of the ACM Workshop on 3D Object Retrieval. ACM; 2010:39-44.
doi:10.1145/1877808.1877817'
apa: 'Raviv, D., Bronstein, M. M., Bronstein, A. M., & Kimmel, R. (2010). Volumetric
heat kernel signatures. In Proceedings of the ACM workshop on 3D object retrieval
(pp. 39–44). Firenze, Italy: ACM. https://doi.org/10.1145/1877808.1877817'
chicago: Raviv, Dan, Michael M. Bronstein, Alex M. Bronstein, and Ron Kimmel. “Volumetric
Heat Kernel Signatures.” In Proceedings of the ACM Workshop on 3D Object Retrieval,
39–44. ACM, 2010. https://doi.org/10.1145/1877808.1877817.
ieee: D. Raviv, M. M. Bronstein, A. M. Bronstein, and R. Kimmel, “Volumetric heat
kernel signatures,” in Proceedings of the ACM workshop on 3D object retrieval,
Firenze, Italy, 2010, pp. 39–44.
ista: Raviv D, Bronstein MM, Bronstein AM, Kimmel R. 2010. Volumetric heat kernel
signatures. Proceedings of the ACM workshop on 3D object retrieval. ACM Workshop
on 3D Object Retrieval, 39–44.
mla: Raviv, Dan, et al. “Volumetric Heat Kernel Signatures.” Proceedings of the
ACM Workshop on 3D Object Retrieval, ACM, 2010, pp. 39–44, doi:10.1145/1877808.1877817.
short: D. Raviv, M.M. Bronstein, A.M. Bronstein, R. Kimmel, in:, Proceedings of
the ACM Workshop on 3D Object Retrieval, ACM, 2010, pp. 39–44.
conference:
end_date: 2010-10-25
location: Firenze, Italy
name: ACM Workshop on 3D Object Retrieval
start_date: 2010-10-25
date_created: 2024-10-15T11:20:55Z
date_published: 2010-10-25T00:00:00Z
date_updated: 2024-12-19T09:27:03Z
day: '25'
doi: 10.1145/1877808.1877817
extern: '1'
language:
- iso: eng
month: '10'
oa_version: None
page: 39 - 44
publication: Proceedings of the ACM workshop on 3D object retrieval
publication_identifier:
isbn:
- '9781450301602'
publication_status: published
publisher: ACM
quality_controlled: '1'
scopus_import: '1'
status: public
title: Volumetric heat kernel signatures
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2010'
...
---
OA_place: repository
OA_type: green
_id: '22029'
abstract:
- lang: eng
text: We consider two classes of defocusing energy-supercritical nonlinear Schrödinger
equations in dimensions d ≥ 5. We prove that if the solution u is a priori bounded
in the critical Sobolev space, that is, {mathematical formular} , then u is global
and scatters.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Rowan
full_name: Killip, Rowan
last_name: Killip
- first_name: Monica
full_name: Visan, Monica
id: 056daca0-b8d1-11f0-964f-f91054abf8ca
last_name: Visan
citation:
ama: 'Killip R, Vişan M. Energy-supercritical NLS: Critical [Hdot]^s-bounds imply
scattering. Communications in Partial Differential Equations. 2010;35(6):945-987.
doi:10.1080/03605301003717084'
apa: 'Killip, R., & Vişan, M. (2010). Energy-supercritical NLS: Critical [Hdot]^s-bounds
imply scattering. Communications in Partial Differential Equations. Informa
UK Limited. https://doi.org/10.1080/03605301003717084'
chicago: 'Killip, Rowan, and Monica Vişan. “Energy-Supercritical NLS: Critical [Hdot]^s-Bounds
Imply Scattering.” Communications in Partial Differential Equations. Informa
UK Limited, 2010. https://doi.org/10.1080/03605301003717084.'
ieee: 'R. Killip and M. Vişan, “Energy-supercritical NLS: Critical [Hdot]^s-bounds
imply scattering,” Communications in Partial Differential Equations, vol.
35, no. 6. Informa UK Limited, pp. 945–987, 2010.'
ista: 'Killip R, Vişan M. 2010. Energy-supercritical NLS: Critical [Hdot]^s-bounds
imply scattering. Communications in Partial Differential Equations. 35(6), 945–987.'
mla: 'Killip, Rowan, and Monica Vişan. “Energy-Supercritical NLS: Critical [Hdot]^s-Bounds
Imply Scattering.” Communications in Partial Differential Equations, vol.
35, no. 6, Informa UK Limited, 2010, pp. 945–87, doi:10.1080/03605301003717084.'
short: R. Killip, M. Vişan, Communications in Partial Differential Equations 35
(2010) 945–987.
date_created: 2026-06-19T07:41:22Z
date_published: 2010-06-01T00:00:00Z
date_updated: 2026-06-29T06:32:07Z
day: '01'
doi: 10.1080/03605301003717084
extern: '1'
external_id:
arxiv:
- '0812.2084'
intvolume: ' 35'
issue: '6'
keyword:
- critical regularity
- Nonlinear Schrödinger equations
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.0812.2084
month: '06'
oa: 1
oa_version: Preprint
page: 945-987
publication: Communications in Partial Differential Equations
publication_identifier:
eissn:
- 1532-4133
issn:
- 0360-5302
publication_status: published
publisher: Informa UK Limited
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Energy-supercritical NLS: Critical [Hdot]^s-bounds imply scattering'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2010'
...
---
OA_place: repository
OA_type: green
_id: '22089'
abstract:
- lang: eng
text: "We consider the focusing energy-critical nonlinear Schr\\\"odinger equation
\r\n$iu_t+\\Delta u = - |u|^{4\\over{d-2}}u$ in dimensions $d\\geq 5$. We prove
\r\nthat if a maximal-lifespan solution $u\\colon \\ I\\times {\\Bbb R}^d\\to
{\\Bbb C}$ obeys $\\sup_{t\\in I}\\|\\nabla u(t)\\|_2<\\|\\nabla W\\|_2$, then
it is \r\nglobal and scatters both forward and backward in time. Here $W$ denotes
\r\nthe ground state, which is a stationary solution of the equation. In \r\nparticular,
if a solution has both energy and kinetic energy less than \r\nthose of the ground
state $W$ at some point in time, then the solution is \r\nglobal and scatters.
We also show that any solution that blows up with \r\nbounded kinetic energy must
concentrate at least the kinetic energy of the \r\nground state. Similar results
were obtained by Kenig and Merle for \r\nspherically symmetric initial data and
dimensions $d=3,4,5$.\r\n"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Rowan
full_name: Killip, Rowan
last_name: Killip
- first_name: Monica
full_name: Visan, Monica
id: 056daca0-b8d1-11f0-964f-f91054abf8ca
last_name: Visan
citation:
ama: Killip R, Vişan M. The focusing energy-critical nonlinear Schrödinger equation
in dimensions five and higher. American Journal of Mathematics. 2010;132(2):361-424.
doi:10.1353/ajm.0.0107
apa: Killip, R., & Vişan, M. (2010). The focusing energy-critical nonlinear
Schrödinger equation in dimensions five and higher. American Journal of Mathematics.
Johns Hopkins University Press. https://doi.org/10.1353/ajm.0.0107
chicago: Killip, Rowan, and Monica Vişan. “The Focusing Energy-Critical Nonlinear
Schrödinger Equation in Dimensions Five and Higher.” American Journal of Mathematics.
Johns Hopkins University Press, 2010. https://doi.org/10.1353/ajm.0.0107.
ieee: R. Killip and M. Vişan, “The focusing energy-critical nonlinear Schrödinger
equation in dimensions five and higher,” American Journal of Mathematics,
vol. 132, no. 2. Johns Hopkins University Press, pp. 361–424, 2010.
ista: Killip R, Vişan M. 2010. The focusing energy-critical nonlinear Schrödinger
equation in dimensions five and higher. American Journal of Mathematics. 132(2),
361–424.
mla: Killip, Rowan, and Monica Vişan. “The Focusing Energy-Critical Nonlinear Schrödinger
Equation in Dimensions Five and Higher.” American Journal of Mathematics,
vol. 132, no. 2, Johns Hopkins University Press, 2010, pp. 361–424, doi:10.1353/ajm.0.0107.
short: R. Killip, M. Vişan, American Journal of Mathematics 132 (2010) 361–424.
das_tickbox: '1'
date_created: 2026-06-19T08:48:46Z
date_published: 2010-04-01T00:00:00Z
date_updated: 2026-07-01T12:52:05Z
day: '01'
doi: 10.1353/ajm.0.0107
extern: '1'
external_id:
arxiv:
- '0804.1018'
intvolume: ' 132'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.0804.1018
month: '04'
oa: 1
oa_version: Preprint
page: 361-424
publication: American Journal of Mathematics
publication_identifier:
eissn:
- 1080-6377
publication_status: published
publisher: Johns Hopkins University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: The focusing energy-critical nonlinear Schrödinger equation in dimensions five
and higher
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 132
year: '2010'
...
---
_id: '3867'
abstract:
- lang: eng
text: Weighted automata are nondeterministic automata with numerical weights on
transitions. They can define quantitative languages L that assign to each word
w a real number L(w). In the case of infinite words, the value of a run is naturally
computed as the maximum, limsup, liminf, limit-average, or discounted-sum of the
transition weights. The value of a word w is the supremum of the values of the
runs over w. We study expressiveness and closure questions about these quantitative
languages. We first show that the set of words with value greater than a threshold
can be omega-regular for deterministic limit-average and discounted-sum automata,
while this set is always omega-regular when the threshold is isolated (i.e., some
neighborhood around the threshold contains no word). In the latter case, we prove
that the omega-regular language is robust against small perturbations of the transition
weights. We next consider automata with transition weights 0 or 1 and show that
they are as expressive as general weighted automata in the limit-average case,
but not in the discounted-sum case. Third, for quantitative languages L-1 and
L-2, we consider the operations max(L-1, L-2), min(L-1, L-2), and 1 - L-1, which
generalize the boolean operations on languages, as well as the sum L-1 + L-2.
We establish the closure properties of all classes of quantitative languages with
respect to these four operations.
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties
for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23.
doi:10.2168/LMCS-6(3:10)2010
apa: Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and
closure properties for quantitative languages. Logical Methods in Computer
Science. International Federation for Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
chicago: Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness
and Closure Properties for Quantitative Languages.” Logical Methods in Computer
Science. International Federation for Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
ieee: K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure
properties for quantitative languages,” Logical Methods in Computer Science,
vol. 6, no. 3. International Federation for Computational Logic, pp. 1–23, 2010.
ista: Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties
for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
mla: Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative
Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International
Federation for Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
short: K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science
6 (2010) 1–23.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T12:05:36Z
date_published: 2010-08-30T00:00:00Z
date_updated: 2026-07-06T13:24:40Z
day: '30'
ddc:
- '000'
- '004'
department:
- _id: KrCh
- _id: ToHe
doi: 10.2168/LMCS-6(3:10)2010
ec_funded: 1
external_id:
isi:
- '000282653500010'
file:
- access_level: open_access
checksum: 0243da726476817f2ea33b48b78be696
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:54Z
date_updated: 2020-07-14T12:46:19Z
file_id: '5312'
file_name: IST-2012-55-v1+1_Expressiveness_Closure_Properties_Quantitative_Languages.pdf
file_size: 216598
relation: main_file
- access_level: open_access
checksum: 5e512b8503a9cb263de26331c4ee9cf2
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:55Z
date_updated: 2020-07-14T12:46:19Z
file_id: '5313'
file_name: IST-2016-55-v2+1_1007.4018.pdf
file_size: 302416
relation: main_file
file_date_updated: 2020-07-14T12:46:19Z
has_accepted_license: '1'
intvolume: ' 6'
isi: 1
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nd/4.0/
month: '08'
oa: 1
oa_version: Published Version
page: 1 - 23
project:
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '214373'
name: Design for Embedded Systems
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '215543'
name: COMponent-Based Embedded Systems design Techniques
publication: Logical Methods in Computer Science
publication_status: published
publisher: International Federation for Computational Logic
publist_id: '2311'
pubrep_id: '504'
quality_controlled: '1'
related_material:
record:
- id: '4540'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Expressiveness and closure properties for quantitative languages
tmp:
image: /image/cc_by_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode
name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)
short: CC BY-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2010'
...
---
_id: '3868'
abstract:
- lang: eng
text: Simulation and bisimulation metrics for stochastic systems provide a quantitative
generalization of the classical simulation and bisimulation relations. These metrics
capture the similarity of states with respect to quantitative specifications written
in the quantitative mu-calculus and related probabilistic logics. We first show
that the metrics provide a bound for the difference in long-run average and discounted
average behavior across states, indicating that the metrics can be used both in
system verification, and in performance evaluation. For turn-based games and MDPs,
we provide a polynomial-time algorithm for the computation of the one-step metric
distance between states. The algorithm is based on linear programming; it improves
on the previous known exponential-time algorithm based on a reduction to the theory
of reals. We then present PSPACE algorithms for both the decision problem and
the problem of approximating the metric distance between two states, matching
the best known algorithms for Markov chains. For the bisimulation kernel of the
metric our algorithm works in time O(n(4)) for both turn-based games and MDPs;
improving the previously best known O(n(9).log(n)) time algorithm for MDPs. For
a concurrent game G, we show that computing the exact distance be tween states
is at least as hard as computing the value of concurrent reachability games and
the square-root-sum problem in computational geometry. We show that checking whether
the metric distance is bounded by a rational r, can be done via a reduction to
the theory of real closed fields, involving a formula with three quantifier alternations,
yielding O(vertical bar G vertical bar(O(vertical bar G vertical bar 5))) time
complexity, improving the previously known reduction, which yielded O(vertical
bar G vertical bar(O(vertical bar G vertical bar 7))) time complexity. These algorithms
can be iterated to approximate the metrics using binary search
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- first_name: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
- first_name: Vishwanath
full_name: Raman, Vishwanath
last_name: Raman
citation:
ama: Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics.
Logical Methods in Computer Science. 2010;6(3):1-27. doi:10.2168/LMCS-6(3:13)2010
apa: Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms
for game metrics. Logical Methods in Computer Science. International Federation
for Computational Logic. https://doi.org/10.2168/LMCS-6(3:13)2010
chicago: Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath
Raman. “Algorithms for Game Metrics.” Logical Methods in Computer Science.
International Federation for Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:13)2010.
ieee: K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game
metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International
Federation for Computational Logic, pp. 1–27, 2010.
ista: Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game
metrics. Logical Methods in Computer Science. 6(3), 1–27.
mla: Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods
in Computer Science, vol. 6, no. 3, International Federation for Computational
Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
short: K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer
Science 6 (2010) 1–27.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T12:05:36Z
date_published: 2010-09-01T00:00:00Z
date_updated: 2026-07-06T13:25:11Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.2168/LMCS-6(3:13)2010
external_id:
isi:
- '000282653500013'
file:
- access_level: open_access
checksum: a18988135fef3016c93808ecb15b55f5
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:11Z
date_updated: 2020-07-14T12:46:19Z
file_id: '4671'
file_name: IST-2015-370-v1+1_0809.4326.pdf
file_size: 346527
relation: main_file
file_date_updated: 2020-07-14T12:46:19Z
has_accepted_license: '1'
intvolume: ' 6'
isi: 1
issue: '3'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 1 - 27
publication: Logical Methods in Computer Science
publication_status: published
publisher: International Federation for Computational Logic
publist_id: '2312'
pubrep_id: '370'
quality_controlled: '1'
related_material:
record:
- id: '3504'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Algorithms for game metrics
tmp:
image: /image/cc_by_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode
name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)
short: CC BY-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2010'
...
---
_id: '3782'
abstract:
- lang: eng
text: In cortex surface segmentation, the extracted surface is required to have
a particular topology, namely, a two-sphere. We present a new method for removing
topology noise of a curve or surface within the level set framework, and thus
produce a cortical surface with correct topology. We define a new energy term
which quantifies topology noise. We then show how to minimize this term by computing
its functional derivative with respect to the level set function. This method
differs from existing methods in that it is inherently continuous and not digital;
and in the way that our energy directly relates to the topology of the underlying
curve or surface, versus existing knot-based measures which are related in a more
indirect fashion. The proposed flow is validated empirically.
acknowledgement: "Partially supported by the Austri an Science Fund unde r grant P20134-N13.\r\nWe
thank Helena Molina-Abril for very helpful discussion. We thank anonymous reviewers
for helpful comments."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Daniel
full_name: Freedman, Daniel
last_name: Freedman
citation:
ama: 'Chen C, Freedman D. Topology noise removal for curve and surface evolution.
In: Conference Proceedings MCV 2010. Vol 6533. Springer; 2010:31-42. doi:10.1007/978-3-642-18421-5_4'
apa: 'Chen, C., & Freedman, D. (2010). Topology noise removal for curve and
surface evolution. In Conference proceedings MCV 2010 (Vol. 6533, pp. 31–42).
Beijing, China: Springer. https://doi.org/10.1007/978-3-642-18421-5_4'
chicago: Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve and
Surface Evolution.” In Conference Proceedings MCV 2010, 6533:31–42. Springer,
2010. https://doi.org/10.1007/978-3-642-18421-5_4.
ieee: C. Chen and D. Freedman, “Topology noise removal for curve and surface evolution,”
in Conference proceedings MCV 2010, Beijing, China, 2010, vol. 6533, pp.
31–42.
ista: 'Chen C, Freedman D. 2010. Topology noise removal for curve and surface evolution.
Conference proceedings MCV 2010. MCV: Medical Computer Vision, LNCS, vol. 6533,
31–42.'
mla: Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve and Surface
Evolution.” Conference Proceedings MCV 2010, vol. 6533, Springer, 2010,
pp. 31–42, doi:10.1007/978-3-642-18421-5_4.
short: C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010,
pp. 31–42.
conference:
end_date: 2010-09-20
location: Beijing, China
name: 'MCV: Medical Computer Vision'
start_date: 2010-09-20
date_created: 2018-12-11T12:05:08Z
date_published: 2010-12-31T00:00:00Z
date_updated: 2026-07-07T13:07:08Z
day: '31'
department:
- _id: HeEd
doi: 10.1007/978-3-642-18421-5_4
intvolume: ' 6533'
language:
- iso: eng
month: '12'
oa_version: None
page: 31 - 42
publication: Conference proceedings MCV 2010
publication_status: published
publisher: Springer
publist_id: '2445'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Topology noise removal for curve and surface evolution
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6533
year: '2010'
...
---
OA_place: publisher
OA_type: free access
_id: '3789'
abstract:
- lang: eng
text: 'The development of multicellular organisms is dependent on the tight coordination
between tissue growth and morphogenesis. The stereotypical orientation of cell
divisions has been proposed to be a fundamental mechanism by which proliferating
and growing tissues take shape. However, the actual contribution of stereotypical
division orientation (SDO) to tissue morphogenesis is unclear. In zebrafish, cell
divisions with stereotypical orientation have been implicated in both body-axis
elongation and neural rod formation [1, 2], although there is little direct evidence
for a critical function of SDO in either of these processes. Here we show that
SDO is required for formation of the neural rod midline during neurulation but
dispensable for elongation of the body axis during gastrulation. Our data indicate
that SDO during both gastrulation and neurulation is dependent on the noncanonical
Wnt receptor Frizzled 7 (Fz7) and that interfering with cell division orientation
leads to severe defects in neural rod midline formation but not body-axis elongation.
These findings suggest a novel function for Fz7-controlled cell division orientation
in neural rod midline formation during neurulation. '
acknowledgement: "This work was supported by grants from the Fundacion Caja Madrid
to E.Q.H. and the Institute of Science and Technology Austria, the Max-Planck-Society,
and the Deutsche Forschungsgemeinschaft to C.P.H.\r\nWe are grateful to Jon Clarke,
Andy Oates, and Garrett Greenan for reading earlier versions of this manuscript.
We thank J. Peychl, H. Ibarra, and P. Pitrone for excellent assistance and advice
in multi-photon microscopy and D. White for assistance during the image-processing
steps. We also thank D. Panhans for technical assistance, the whole Heisenberg laboratory
for useful comments and discussions, and E. Lehmann, J. Hückmann, and G. Junghans
for excellent fish care. "
article_processing_charge: No
article_type: original
author:
- first_name: Elena
full_name: Quesada-Hernández, Elena
id: EA35229E-E909-11E9-8DF8-C90C5D5AF86E
last_name: Quesada-Hernández
- first_name: Luca
full_name: Caneparo, Luca
last_name: Caneparo
- first_name: Sylvia
full_name: Schneider, Sylvia
id: 1FAC36B0-E90A-11E9-9D2F-EF31CE0C9C2F
last_name: Schneider
- first_name: Sylke
full_name: Winkler, Sylke
last_name: Winkler
- first_name: Michael
full_name: Liebling, Michael
last_name: Liebling
- first_name: Scott
full_name: Fraser, Scott
last_name: Fraser
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: Quesada-Hernández E, Caneparo L, Schneider S, et al. Stereotypical cell division
orientation controls neural rod midline formation in zebrafish. Current Biology.
2010;20(21):1966-1972. doi:10.1016/j.cub.2010.10.009
apa: Quesada-Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling,
M., Fraser, S., & Heisenberg, C.-P. J. (2010). Stereotypical cell division
orientation controls neural rod midline formation in zebrafish. Current Biology.
Cell Press. https://doi.org/10.1016/j.cub.2010.10.009
chicago: Quesada-Hernández, Elena, Luca Caneparo, Sylvia Schneider, Sylke Winkler,
Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical
Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.”
Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.10.009.
ieee: E. Quesada-Hernández et al., “Stereotypical cell division orientation
controls neural rod midline formation in zebrafish,” Current Biology, vol.
20, no. 21. Cell Press, pp. 1966–1972, 2010.
ista: Quesada-Hernández E, Caneparo L, Schneider S, Winkler S, Liebling M, Fraser
S, Heisenberg C-PJ. 2010. Stereotypical cell division orientation controls neural
rod midline formation in zebrafish. Current Biology. 20(21), 1966–1972.
mla: Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls
Neural Rod Midline Formation in Zebrafish.” Current Biology, vol. 20, no.
21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
short: E. Quesada-Hernández, L. Caneparo, S. Schneider, S. Winkler, M. Liebling,
S. Fraser, C.-P.J. Heisenberg, Current Biology 20 (2010) 1966–1972.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T12:05:11Z
date_published: 2010-11-09T00:00:00Z
date_updated: 2026-07-28T08:03:47Z
day: '09'
department:
- _id: CaHe
doi: 10.1016/j.cub.2010.10.009
external_id:
isi:
- '000284193900032'
intvolume: ' 20'
isi: 1
issue: '21'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cub.2010.10.009
month: '11'
oa: 1
oa_version: Published Version
page: 1966 - 1972
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '2438'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Stereotypical cell division orientation controls neural rod midline formation
in zebrafish
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 20
year: '2010'
...
---
OA_type: free access
_id: '22446'
abstract:
- lang: eng
text: By partitioning mass and energy fluxes, soil moisture exerts a fundamental
control on basin hydrological response. Using the design characteristics of the
Biosphere 2 hillslope experiment, this study investigates aspects of soil moisture
spatial and temporal variability in a zero‐order catchment of a semiarid climate.
The hydrological response of the domain exhibits a particular structure, which
depends on whether topography‐induced subsurface stormflow is triggered. The occurrence
of the latter is conditioned by topography, soil depth, and pre‐storm spatial
distribution of moisture. As a result, a non‐unique behavior of soil moisture
spatial heterogeneity emerges, manifested through a hysteretic dependence of variability
metrics on mean water content. Further, it is argued that vegetation dynamics
impose a “homogenizing” effect on pre‐storm moisture states, decreasing the likelihood
that a rainfall event will result in topographic redistribution of soil water.
Consequently, post‐rainfall soil moisture dynamics associated with the effect
of topography that could lead to the enhancement of spatial heterogeneity are
suppressed; a potential “attractor” of catchment states emerges. The study thus
proposes several hypotheses that will be testable within the framework of long‐term
hillslope experiments.
article_number: W09521
article_processing_charge: No
article_type: original
author:
- first_name: Valeriy Y.
full_name: Ivanov, Valeriy Y.
last_name: Ivanov
- first_name: Simone
full_name: Fatichi, Simone
id: cf8e546b-a9b0-11f0-a43b-aa89ed1b56d6
last_name: Fatichi
- first_name: G. Darrel
full_name: Jenerette, G. Darrel
last_name: Jenerette
- first_name: Javier F.
full_name: Espeleta, Javier F.
last_name: Espeleta
- first_name: Peter A.
full_name: Troch, Peter A.
last_name: Troch
- first_name: Travis E.
full_name: Huxman, Travis E.
last_name: Huxman
citation:
ama: Ivanov VY, Fatichi S, Jenerette GD, Espeleta JF, Troch PA, Huxman TE. Hysteresis
of soil moisture spatial heterogeneity and the “homogenizing” effect of vegetation.
Water Resources Research. 2010;46(9). doi:10.1029/2009wr008611
apa: Ivanov, V. Y., Fatichi, S., Jenerette, G. D., Espeleta, J. F., Troch, P. A.,
& Huxman, T. E. (2010). Hysteresis of soil moisture spatial heterogeneity
and the “homogenizing” effect of vegetation. Water Resources Research.
American Geophysical Union. https://doi.org/10.1029/2009wr008611
chicago: Ivanov, Valeriy Y., Simone Fatichi, G. Darrel Jenerette, Javier F. Espeleta,
Peter A. Troch, and Travis E. Huxman. “Hysteresis of Soil Moisture Spatial Heterogeneity
and the ‘Homogenizing’ Effect of Vegetation.” Water Resources Research.
American Geophysical Union, 2010. https://doi.org/10.1029/2009wr008611.
ieee: V. Y. Ivanov, S. Fatichi, G. D. Jenerette, J. F. Espeleta, P. A. Troch, and
T. E. Huxman, “Hysteresis of soil moisture spatial heterogeneity and the ‘homogenizing’
effect of vegetation,” Water Resources Research, vol. 46, no. 9. American
Geophysical Union, 2010.
ista: Ivanov VY, Fatichi S, Jenerette GD, Espeleta JF, Troch PA, Huxman TE. 2010.
Hysteresis of soil moisture spatial heterogeneity and the “homogenizing” effect
of vegetation. Water Resources Research. 46(9), W09521.
mla: Ivanov, Valeriy Y., et al. “Hysteresis of Soil Moisture Spatial Heterogeneity
and the ‘Homogenizing’ Effect of Vegetation.” Water Resources Research,
vol. 46, no. 9, W09521, American Geophysical Union, 2010, doi:10.1029/2009wr008611.
short: V.Y. Ivanov, S. Fatichi, G.D. Jenerette, J.F. Espeleta, P.A. Troch, T.E.
Huxman, Water Resources Research 46 (2010).
das_tickbox: '1'
date_created: 2026-07-27T12:30:23Z
date_published: 2010-09-01T00:00:00Z
date_updated: 2026-07-30T05:53:53Z
day: '01'
doi: 10.1029/2009wr008611
extern: '1'
intvolume: ' 46'
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2009WR008611
month: '09'
oa: 1
oa_version: Published Version
publication: Water Resources Research
publication_identifier:
eissn:
- 1944-7973
issn:
- 0043-1397
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: Hysteresis of soil moisture spatial heterogeneity and the “homogenizing” effect
of vegetation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 46
year: '2010'
...