---
_id: '18342'
abstract:
- lang: eng
text: Finding a match between partially available deformable shapes is a challenging
problem with numerous applications. The problem is usually approached by computing
local descriptors on a pair of shapes and then establishing a point-wise correspondence
between the two. In this paper, we introduce an alternative correspondence-less
approach to matching fragments to an entire shape undergoing a non-rigid deformation.
We use diffusion geometric descriptors and optimize over the integration domains
on which the integral descriptors of the two parts match. The problem is regularized
using the Mumford-Shah functional. We show an efficient discretization based on
the Ambrosio-Tortorelli approximation generalized to triangular meshes. Experiments
demonstrating the success of the proposed method are presented.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Jonathan
full_name: Pokrass, Jonathan
last_name: Pokrass
- 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
citation:
ama: 'Pokrass J, Bronstein AM, Bronstein MM. A correspondence-less approach to matching
of deformable shapes. In: 3rd International Conference on Scale Space and Variational
Methods in Computer Vision. Vol 6667. Springer Nature; 2012:592-603. doi:10.1007/978-3-642-24785-9_50'
apa: 'Pokrass, J., Bronstein, A. M., & Bronstein, M. M. (2012). A correspondence-less
approach to matching of deformable shapes. In 3rd International Conference
on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp.
592–603). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_50'
chicago: Pokrass, Jonathan, Alex M. Bronstein, and Michael M. Bronstein. “A Correspondence-Less
Approach to Matching of Deformable Shapes.” In 3rd International Conference
on Scale Space and Variational Methods in Computer Vision, 6667:592–603. Springer
Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_50.
ieee: J. Pokrass, A. M. Bronstein, and M. M. Bronstein, “A correspondence-less approach
to matching of deformable shapes,” in 3rd International Conference on Scale
Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012,
vol. 6667, pp. 592–603.
ista: 'Pokrass J, Bronstein AM, Bronstein MM. 2012. A correspondence-less approach
to matching of deformable shapes. 3rd International Conference on Scale Space
and Variational Methods in Computer Vision. SSVM: Scale Space and Variational
Methods in Computer Vision, LNCS, vol. 6667, 592–603.'
mla: Pokrass, Jonathan, et al. “A Correspondence-Less Approach to Matching of Deformable
Shapes.” 3rd International Conference on Scale Space and Variational Methods
in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 592–603, doi:10.1007/978-3-642-24785-9_50.
short: J. Pokrass, A.M. Bronstein, M.M. Bronstein, in:, 3rd International Conference
on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012,
pp. 592–603.
conference:
end_date: 2011-06-02
location: Ein-Gedi, Israel
name: 'SSVM: Scale Space and Variational Methods in Computer Vision'
start_date: 2011-05-29
date_created: 2024-10-15T11:20:54Z
date_published: 2012-01-09T00:00:00Z
date_updated: 2025-01-16T12:59:38Z
day: '09'
doi: 10.1007/978-3-642-24785-9_50
extern: '1'
intvolume: ' 6667'
language:
- iso: eng
month: '01'
oa_version: None
page: 592 - 603
publication: 3rd International Conference on Scale Space and Variational Methods in
Computer Vision
publication_identifier:
eisbn:
- '9783642247859'
eissn:
- 1611-3349
isbn:
- '9783642247842'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: A correspondence-less approach to matching of deformable shapes
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6667
year: '2012'
...
---
_id: '18343'
abstract:
- lang: eng
text: In this paper, we explore the use of the diffusion geometry framework for
the fusion of geometric and photometric information in local heat kernel signature
shape descriptors. Our construction is based on the definition of a diffusion
process on the shape manifold embedded into a high-dimensional space where the
embedding coordinates represent the photometric information. Experimental results
show that such data fusion is useful in coping with different challenges of shape
analysis where pure geometric and pure photometric methods fail.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Artiom
full_name: Kovnatsky, Artiom
last_name: Kovnatsky
- 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: 'Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. Photometric heat kernel
signatures. In: 3rd International Conference on Scale Space and Variational
Methods in Computer Vision. Vol 6667. Springer Nature; 2012:616-627. doi:10.1007/978-3-642-24785-9_52'
apa: 'Kovnatsky, A., Bronstein, M. M., Bronstein, A. M., & Kimmel, R. (2012).
Photometric heat kernel signatures. In 3rd International Conference on Scale
Space and Variational Methods in Computer Vision (Vol. 6667, pp. 616–627).
Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_52'
chicago: Kovnatsky, Artiom, Michael M. Bronstein, Alex M. Bronstein, and Ron Kimmel.
“Photometric Heat Kernel Signatures.” In 3rd International Conference on Scale
Space and Variational Methods in Computer Vision, 6667:616–27. Springer Nature,
2012. https://doi.org/10.1007/978-3-642-24785-9_52.
ieee: A. Kovnatsky, M. M. Bronstein, A. M. Bronstein, and R. Kimmel, “Photometric
heat kernel signatures,” in 3rd International Conference on Scale Space and
Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667,
pp. 616–627.
ista: 'Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. 2012. Photometric heat
kernel signatures. 3rd International Conference on Scale Space and Variational
Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer
Vision, LNCS, vol. 6667, 616–627.'
mla: Kovnatsky, Artiom, et al. “Photometric Heat Kernel Signatures.” 3rd International
Conference on Scale Space and Variational Methods in Computer Vision, vol.
6667, Springer Nature, 2012, pp. 616–27, doi:10.1007/978-3-642-24785-9_52.
short: A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, R. Kimmel, in:, 3rd International
Conference on Scale Space and Variational Methods in Computer Vision, Springer
Nature, 2012, pp. 616–627.
conference:
end_date: 2011-06-02
location: Ein-Gedi, Israel
name: 'SSVM: Scale Space and Variational Methods in Computer Vision'
start_date: 2011-05-29
date_created: 2024-10-15T11:20:54Z
date_published: 2012-01-09T00:00:00Z
date_updated: 2025-01-16T12:53:38Z
day: '09'
doi: 10.1007/978-3-642-24785-9_52
extern: '1'
intvolume: ' 6667'
language:
- iso: eng
month: '01'
oa_version: None
page: 616-627
publication: 3rd International Conference on Scale Space and Variational Methods in
Computer Vision
publication_identifier:
eisbn:
- '9783642247859'
eissn:
- 1611-3349
isbn:
- '9783642247842'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Photometric heat kernel signatures
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6667
year: '2012'
...
---
_id: '18344'
abstract:
- lang: eng
text: 'Analysis of intrinsic symmetries of non-rigid and articulated shapes is an
important problem in pattern recognition with numerous applications ranging from
medicine to computational aesthetics. Considering articulated planar shapes as
closed curves, we show how to represent their extrinsic and intrinsic symmetries
as self-similarities of local descriptor sequences, which in turn have simple
interpretation in the frequency domain. The problem of symmetry detection and
analysis thus boils down to analysis of descriptor sequence patterns. For that
purpose, we show two efficient computational methods: one based on Fourier analysis,
and another on dynamic programming.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Amit
full_name: Hooda, Amit
last_name: Hooda
- 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: Radu P.
full_name: Horaud, Radu P.
last_name: Horaud
citation:
ama: 'Hooda A, Bronstein MM, Bronstein AM, Horaud RP. Shape palindromes: Analysis
of intrinsic symmetries in 2D articulated shapes. In: Scale Space and Variational
Methods in Computer Vision. Vol 6667. Springer Nature; 2012:665–676. doi:10.1007/978-3-642-24785-9_56'
apa: 'Hooda, A., Bronstein, M. M., Bronstein, A. M., & Horaud, R. P. (2012).
Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes.
In Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp.
665–676). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_56'
chicago: 'Hooda, Amit, Michael M. Bronstein, Alex M. Bronstein, and Radu P. Horaud.
“Shape Palindromes: Analysis of Intrinsic Symmetries in 2D Articulated Shapes.”
In Scale Space and Variational Methods in Computer Vision, 6667:665–676.
Springer Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_56.'
ieee: 'A. Hooda, M. M. Bronstein, A. M. Bronstein, and R. P. Horaud, “Shape palindromes:
Analysis of intrinsic symmetries in 2D articulated shapes,” in Scale Space
and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667,
pp. 665–676.'
ista: 'Hooda A, Bronstein MM, Bronstein AM, Horaud RP. 2012. Shape palindromes:
Analysis of intrinsic symmetries in 2D articulated shapes. Scale Space and Variational
Methods in Computer Vision. Third International Conference on Scale Space and
Variational Methods in Computer Vision, LNCS, vol. 6667, 665–676.'
mla: 'Hooda, Amit, et al. “Shape Palindromes: Analysis of Intrinsic Symmetries in
2D Articulated Shapes.” Scale Space and Variational Methods in Computer Vision,
vol. 6667, Springer Nature, 2012, pp. 665–676, doi:10.1007/978-3-642-24785-9_56.'
short: A. Hooda, M.M. Bronstein, A.M. Bronstein, R.P. Horaud, in:, Scale Space and
Variational Methods in Computer Vision, Springer Nature, 2012, pp. 665–676.
conference:
end_date: 2012-06-02
location: Ein-Gedi, Israel
name: Third International Conference on Scale Space and Variational Methods in Computer
Vision
start_date: 2012-05-29
date_created: 2024-10-15T11:20:54Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2024-12-02T13:51:51Z
doi: 10.1007/978-3-642-24785-9_56
extern: '1'
intvolume: ' 6667'
language:
- iso: eng
month: '01'
oa_version: None
page: 665–676
publication: Scale Space and Variational Methods in Computer Vision
publication_identifier:
eisbn:
- '9783642247859'
eissn:
- 1611-3349
isbn:
- '9783642247842'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 6667
year: '2012'
...
---
_id: '18345'
abstract:
- lang: eng
text: In classical signal processing, it is common to analyze and process signals
in the frequency domain, by representing the signal in the Fourier basis, and
filtering it by applying a transfer function on the Fourier coefficients. In some
applications, it is possible to design an optimal filter. A classical example
is the Wiener filter that achieves a minimum mean squared error estimate for signal
denoising. Here, we adopt similar concepts to construct optimal diffusion geometric
shape descriptors. The analogy of Fourier basis are the eigenfunctions of the
Laplace-Beltrami operator, in which many geometric constructions such as diffusion
metrics, can be represented. By designing a filter of the Laplace-Beltrami eigenvalues,
it is theoretically possible to achieve invariance to different shape transformations,
like scaling. Given a set of shape classes with different transformations, we
learn the optimal filter by minimizing the ratio between knowingly similar and
knowingly dissimilar diffusion distances it induces. The output of the proposed
framework is a filter that is optimally tuned to handle transformations that characterize
the training set.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Yonathan
full_name: Aflalo, Yonathan
last_name: Aflalo
- 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: Ron
full_name: Kimmel, Ron
last_name: Kimmel
citation:
ama: 'Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. Deformable shape retrieval
by learning diffusion kernels. In: 3rd International Conference on Scale Space
and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:689-700.
doi:10.1007/978-3-642-24785-9_58'
apa: 'Aflalo, Y., Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2012). Deformable
shape retrieval by learning diffusion kernels. In 3rd International Conference
on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp.
689–700). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_58'
chicago: Aflalo, Yonathan, Alex M. Bronstein, Michael M. Bronstein, and Ron Kimmel.
“Deformable Shape Retrieval by Learning Diffusion Kernels.” In 3rd International
Conference on Scale Space and Variational Methods in Computer Vision, 6667:689–700.
Springer Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_58.
ieee: Y. Aflalo, A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Deformable shape
retrieval by learning diffusion kernels,” in 3rd International Conference on
Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel,
2012, vol. 6667, pp. 689–700.
ista: 'Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. 2012. Deformable shape retrieval
by learning diffusion kernels. 3rd International Conference on Scale Space and
Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods
in Computer Vision, LNCS, vol. 6667, 689–700.'
mla: Aflalo, Yonathan, et al. “Deformable Shape Retrieval by Learning Diffusion
Kernels.” 3rd International Conference on Scale Space and Variational Methods
in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 689–700, doi:10.1007/978-3-642-24785-9_58.
short: Y. Aflalo, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 3rd International
Conference on Scale Space and Variational Methods in Computer Vision, Springer
Nature, 2012, pp. 689–700.
conference:
end_date: 2011-06-02
location: Ein-Gedi, Israel
name: 'SSVM: Scale Space and Variational Methods in Computer Vision'
start_date: 2011-05-29
date_created: 2024-10-15T11:20:54Z
date_published: 2012-01-09T00:00:00Z
date_updated: 2025-01-16T12:42:32Z
day: '09'
doi: 10.1007/978-3-642-24785-9_58
extern: '1'
intvolume: ' 6667'
language:
- iso: eng
month: '01'
oa_version: None
page: 689-700
publication: 3rd International Conference on Scale Space and Variational Methods in
Computer Vision
publication_identifier:
eissn:
- 1611-3349
- '9783642247859'
isbn:
- '9783642247842'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Deformable shape retrieval by learning diffusion kernels
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6667
year: '2012'
...
---
_id: '18346'
abstract:
- lang: eng
text: Understanding of articulated shape motion plays an important role in many
applications in the mechanical engineering, movie industry, graphics, and vision
communities. In this paper, we study motion-based segmentation of articulated
3D shapes into rigid parts. We pose the problem as finding a group-valued map
between the shapes describing the motion, forcing it to favor piecewise rigid
motions. Our computation follows the spirit of the Ambrosio-Tortorelli scheme
for Mumford-Shah segmentation, with a diffusion component suited for the group
nature of the motion model. Experimental results demonstrate the effectiveness
of the proposed method in non-rigid motion segmentation.
alternative_title:
- LNCS
article_processing_charge: No
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: Alon
full_name: Wolf, Alon
last_name: Wolf
- first_name: Ron
full_name: Kimmel, Ron
last_name: Kimmel
citation:
ama: 'Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. Group-valued regularization
framework for motion segmentation of dynamic non-rigid shapes. In: 3rd International
Conference on Scale Space and Variational Methods in Computer Vision. Vol
6667. Springer Nature; 2012:725-736. doi:10.1007/978-3-642-24785-9_61'
apa: 'Rosman, G., Bronstein, M. M., Bronstein, A. M., Wolf, A., & Kimmel, R.
(2012). Group-valued regularization framework for motion segmentation of dynamic
non-rigid shapes. In 3rd International Conference on Scale Space and Variational
Methods in Computer Vision (Vol. 6667, pp. 725–736). Ein-Gedi, Israel: Springer
Nature. https://doi.org/10.1007/978-3-642-24785-9_61'
chicago: Rosman, Guy, Michael M. Bronstein, Alex M. Bronstein, Alon Wolf, and Ron
Kimmel. “Group-Valued Regularization Framework for Motion Segmentation of Dynamic
Non-Rigid Shapes.” In 3rd International Conference on Scale Space and Variational
Methods in Computer Vision, 6667:725–36. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_61.
ieee: G. Rosman, M. M. Bronstein, A. M. Bronstein, A. Wolf, and R. Kimmel, “Group-valued
regularization framework for motion segmentation of dynamic non-rigid shapes,”
in 3rd International Conference on Scale Space and Variational Methods in Computer
Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 725–736.
ista: 'Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. 2012. Group-valued
regularization framework for motion segmentation of dynamic non-rigid shapes.
3rd International Conference on Scale Space and Variational Methods in Computer
Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol.
6667, 725–736.'
mla: Rosman, Guy, et al. “Group-Valued Regularization Framework for Motion Segmentation
of Dynamic Non-Rigid Shapes.” 3rd International Conference on Scale Space and
Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012,
pp. 725–36, doi:10.1007/978-3-642-24785-9_61.
short: G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, 3rd International
Conference on Scale Space and Variational Methods in Computer Vision, Springer
Nature, 2012, pp. 725–736.
conference:
end_date: 2011-06-02
location: Ein-Gedi, Israel
name: 'SSVM: Scale Space and Variational Methods in Computer Vision'
start_date: 2011-05-29
date_created: 2024-10-15T11:20:54Z
date_published: 2012-01-09T00:00:00Z
date_updated: 2025-01-16T13:26:39Z
day: '09'
doi: 10.1007/978-3-642-24785-9_61
extern: '1'
intvolume: ' 6667'
language:
- iso: eng
month: '01'
oa_version: None
page: 725-736
publication: 3rd International Conference on Scale Space and Variational Methods in
Computer Vision
publication_identifier:
eisbn:
- '9783642247859'
eissn:
- 1611-3349
isbn:
- '9783642247842'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Group-valued regularization framework for motion segmentation of dynamic non-rigid
shapes
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6667
year: '2012'
...
---
_id: '18347'
abstract:
- lang: eng
text: Multi-part shape matching is an important class of problems, arising in many
fields such as computational archaeology, biology, geometry processing, computer
graphics and vision. In this paper, we address the problem of simultaneous matching
and segmentation of multiple shapes. We assume to be given a reference shape and
multiple parts partially matching the reference. Each of these parts can have
additional clutter, have overlap with other parts, or there might be missing parts.
We show experimental results of efficient and accurate assembly of fractured synthetic
and real objects.
article_processing_charge: No
author:
- first_name: Or
full_name: Litany, Or
last_name: Litany
- 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
citation:
ama: 'Litany O, Bronstein AM, Bronstein MM. Putting the pieces together: Regularized
multi-part shape matching. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations.
Vol 7583. Springer Nature; 2012:1-11. doi:10.1007/978-3-642-33863-2_1'
apa: 'Litany, O., Bronstein, A. M., & Bronstein, M. M. (2012). Putting the pieces
together: Regularized multi-part shape matching. In Computer Vision, ECCV 2012
- Workshops and Demonstrations (Vol. 7583, pp. 1–11). Florence, Italy: Springer
Nature. https://doi.org/10.1007/978-3-642-33863-2_1'
chicago: 'Litany, Or, Alex M. Bronstein, and Michael M. Bronstein. “Putting the
Pieces Together: Regularized Multi-Part Shape Matching.” In Computer Vision,
ECCV 2012 - Workshops and Demonstrations, 7583:1–11. Springer Nature, 2012.
https://doi.org/10.1007/978-3-642-33863-2_1.'
ieee: 'O. Litany, A. M. Bronstein, and M. M. Bronstein, “Putting the pieces together:
Regularized multi-part shape matching,” in Computer Vision, ECCV 2012 - Workshops
and Demonstrations, Florence, Italy, 2012, vol. 7583, no. Part 1, pp. 1–11.'
ista: 'Litany O, Bronstein AM, Bronstein MM. 2012. Putting the pieces together:
Regularized multi-part shape matching. Computer Vision, ECCV 2012 - Workshops
and Demonstrations. ECCV: European Conference on Computer Vision vol. 7583, 1–11.'
mla: 'Litany, Or, et al. “Putting the Pieces Together: Regularized Multi-Part Shape
Matching.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol.
7583, no. Part 1, Springer Nature, 2012, pp. 1–11, doi:10.1007/978-3-642-33863-2_1.'
short: O. Litany, A.M. Bronstein, M.M. Bronstein, in:, Computer Vision, ECCV 2012
- Workshops and Demonstrations, Springer Nature, 2012, pp. 1–11.
conference:
end_date: 2012-10-13
location: Florence, Italy
name: 'ECCV: European Conference on Computer Vision'
start_date: 2012-10-07
date_created: 2024-10-15T11:20:54Z
date_published: 2012-08-31T00:00:00Z
date_updated: 2025-01-16T12:30:30Z
day: '31'
doi: 10.1007/978-3-642-33863-2_1
extern: '1'
intvolume: ' 7583'
issue: Part 1
language:
- iso: eng
month: '08'
oa_version: None
page: 1-11
publication: Computer Vision, ECCV 2012 - Workshops and Demonstrations
publication_identifier:
eissn:
- 1611-3349
- '9783642338632'
isbn:
- '9783642338625'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: 'Putting the pieces together: Regularized multi-part shape matching'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7583
year: '2012'
...
---
_id: '18348'
abstract:
- lang: eng
text: "We present a novel method for estimation of articulated motion in depth scans.
The method is based on a framework for regularization of vector- and matrix- valued
functions on parametric surfaces.\r\n\r\nWe extend augmented-Lagrangian total
variation regularization to smooth rigid motion cues on the scanned 3D surface
obtained from a range scanner. We demonstrate the resulting smoothed motion maps
to be a powerful tool in articulated scene understanding, providing a basis for
rigid parts segmentation, with little prior assumptions on the scene, despite
the noisy depth measurements that often appear in commodity depth scanners."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Guy
full_name: Rosman, Guy
last_name: Rosman
- 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: Xue-Cheng
full_name: Tai, Xue-Cheng
last_name: Tai
- first_name: Ron
full_name: Kimmel, Ron
last_name: Kimmel
citation:
ama: 'Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. Group-valued regularization
for analysis of articulated motion. In: Computer Vision, ECCV 2012 - Workshops
and Demonstrations. Vol 7583. Springer Nature; 2012:52-62. doi:10.1007/978-3-642-33863-2_6'
apa: 'Rosman, G., Bronstein, A. M., Bronstein, M. M., Tai, X.-C., & Kimmel,
R. (2012). Group-valued regularization for analysis of articulated motion. In
Computer Vision, ECCV 2012 - Workshops and Demonstrations (Vol. 7583, pp.
52–62). Florence, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-33863-2_6'
chicago: Rosman, Guy, Alex M. Bronstein, Michael M. Bronstein, Xue-Cheng Tai, and
Ron Kimmel. “Group-Valued Regularization for Analysis of Articulated Motion.”
In Computer Vision, ECCV 2012 - Workshops and Demonstrations, 7583:52–62.
Springer Nature, 2012. https://doi.org/10.1007/978-3-642-33863-2_6.
ieee: G. Rosman, A. M. Bronstein, M. M. Bronstein, X.-C. Tai, and R. Kimmel, “Group-valued
regularization for analysis of articulated motion,” in Computer Vision, ECCV
2012 - Workshops and Demonstrations, Florence, Italy, 2012, vol. 7583, no.
Part 1, pp. 52–62.
ista: 'Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. 2012. Group-valued
regularization for analysis of articulated motion. Computer Vision, ECCV 2012
- Workshops and Demonstrations. ECCV: European Conference on Computer Vision,
LNCS, vol. 7583, 52–62.'
mla: Rosman, Guy, et al. “Group-Valued Regularization for Analysis of Articulated
Motion.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol.
7583, no. Part 1, Springer Nature, 2012, pp. 52–62, doi:10.1007/978-3-642-33863-2_6.
short: G. Rosman, A.M. Bronstein, M.M. Bronstein, X.-C. Tai, R. Kimmel, in:, Computer
Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 52–62.
conference:
end_date: 2012-10-13
location: Florence, Italy
name: 'ECCV: European Conference on Computer Vision'
start_date: 2012-10-07
date_created: 2024-10-15T11:20:54Z
date_published: 2012-08-31T00:00:00Z
date_updated: 2025-01-16T12:29:07Z
day: '31'
doi: 10.1007/978-3-642-33863-2_6
extern: '1'
intvolume: ' 7583'
issue: Part 1
language:
- iso: eng
month: '08'
oa_version: None
page: 52-62
publication: Computer Vision, ECCV 2012 - Workshops and Demonstrations
publication_identifier:
eisbn:
- '9783642338632'
eissn:
- 1611-3349
isbn:
- '9783642338625'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Group-valued regularization for analysis of articulated motion
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7583
year: '2012'
...
---
_id: '18349'
abstract:
- lang: eng
text: The rapid development of 3D acquisition technology has brought with itself
the need to perform standard signal processing operations such as filters on 3D
data. It has been shown that the eigenfunctions of the Laplace-Beltrami operator
(manifold harmonics) of a surface play the role of the Fourier basis in the Euclidean
space; it is thus possible to formulate signal analysis and synthesis in the manifold
harmonics basis. In particular, geometry filtering can be carried out in the manifold
harmonics domain by decomposing the embedding coordinates of the shape in this
basis. However, since the basis functions depend on the shape itself, such filtering
is valid only for weak (near all-pass) filters, and produces severe artifacts
otherwise. In this paper, we analyze this problem and propose the fractional filtering
approach, wherein we apply iteratively weak fractional powers of the filter, followed
by the update of the basis functions. Experimental results show that such a process
produces more plausible and meaningful results.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Artiom
full_name: Kovnatsky, Artiom
last_name: Kovnatsky
- 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
citation:
ama: 'Kovnatsky A, Bronstein MM, Bronstein AM. Stable Spectral Mesh Filtering. In:
Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer
Nature; 2012:83-91. doi:10.1007/978-3-642-33863-2_9'
apa: 'Kovnatsky, A., Bronstein, M. M., & Bronstein, A. M. (2012). Stable Spectral
Mesh Filtering. In Computer Vision, ECCV 2012 - Workshops and Demonstrations
(Vol. 7583, pp. 83–91). Florence, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-33863-2_9'
chicago: Kovnatsky, Artiom, Michael M. Bronstein, and Alex M. Bronstein. “Stable
Spectral Mesh Filtering.” In Computer Vision, ECCV 2012 - Workshops and Demonstrations,
7583:83–91. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-33863-2_9.
ieee: A. Kovnatsky, M. M. Bronstein, and A. M. Bronstein, “Stable Spectral Mesh
Filtering,” in Computer Vision, ECCV 2012 - Workshops and Demonstrations,
Florence, Italy, 2012, vol. 7583, no. Part 1, pp. 83–91.
ista: 'Kovnatsky A, Bronstein MM, Bronstein AM. 2012. Stable Spectral Mesh Filtering.
Computer Vision, ECCV 2012 - Workshops and Demonstrations. ECCV: European Conference
on Computer Vision, LNCS, vol. 7583, 83–91.'
mla: Kovnatsky, Artiom, et al. “Stable Spectral Mesh Filtering.” Computer Vision,
ECCV 2012 - Workshops and Demonstrations, vol. 7583, no. Part 1, Springer
Nature, 2012, pp. 83–91, doi:10.1007/978-3-642-33863-2_9.
short: A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, in:, Computer Vision, ECCV
2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 83–91.
conference:
end_date: 2012-10-13
location: Florence, Italy
name: 'ECCV: European Conference on Computer Vision'
start_date: 2012-10-07
date_created: 2024-10-15T11:20:54Z
date_published: 2012-08-31T00:00:00Z
date_updated: 2025-01-16T11:49:13Z
day: '31'
doi: 10.1007/978-3-642-33863-2_9
extern: '1'
intvolume: ' 7583'
issue: Part 1
language:
- iso: eng
month: '08'
oa_version: None
page: 83-91
publication: Computer Vision, ECCV 2012 - Workshops and Demonstrations
publication_identifier:
isbn:
- '9783642338625'
- '9783642338632'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Stable Spectral Mesh Filtering
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7583
year: '2012'
...
---
_id: '18350'
abstract:
- lang: eng
text: We introduce an (equi-)affine invariant geometric structure by which surfaces
that go through squeeze and shear transformations can still be properly analyzed.
The definition of an affine invariant metric enables us to evaluate a new form
of geodesic distances and to construct an invariant Laplacian from which local
and global diffusion geometry is constructed. Applications of the proposed framework
demonstrate its power in generalizing and enriching the existing set of tools
for shape analysis.
alternative_title:
- LNCS
article_processing_charge: No
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: Ron
full_name: Kimmel, Ron
last_name: Kimmel
- first_name: Nir
full_name: Sochen, Nir
last_name: Sochen
citation:
ama: 'Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. Equi-affine invariant
geometries of articulated objects. In: 15th International Workshop on Theoretical
Foundations of Computer Vision. Vol 7474. Springer Nature; 2012:177-190. doi:10.1007/978-3-642-34091-8_8'
apa: 'Raviv, D., Bronstein, A. M., Bronstein, M. M., Kimmel, R., & Sochen, N.
(2012). Equi-affine invariant geometries of articulated objects. In 15th International
Workshop on Theoretical Foundations of Computer Vision (Vol. 7474, pp. 177–190).
Dagstuhl, Germany: Springer Nature. https://doi.org/10.1007/978-3-642-34091-8_8'
chicago: Raviv, Dan, Alex M. Bronstein, Michael M. Bronstein, Ron Kimmel, and Nir
Sochen. “Equi-Affine Invariant Geometries of Articulated Objects.” In 15th
International Workshop on Theoretical Foundations of Computer Vision, 7474:177–90.
Springer Nature, 2012. https://doi.org/10.1007/978-3-642-34091-8_8.
ieee: D. Raviv, A. M. Bronstein, M. M. Bronstein, R. Kimmel, and N. Sochen, “Equi-affine
invariant geometries of articulated objects,” in 15th International Workshop
on Theoretical Foundations of Computer Vision, Dagstuhl, Germany, 2012, vol.
7474, pp. 177–190.
ista: Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. 2012. Equi-affine
invariant geometries of articulated objects. 15th International Workshop on Theoretical
Foundations of Computer Vision. International Workshop on Theoretical Foundations
of Computer Vision, LNCS, vol. 7474, 177–190.
mla: Raviv, Dan, et al. “Equi-Affine Invariant Geometries of Articulated Objects.”
15th International Workshop on Theoretical Foundations of Computer Vision,
vol. 7474, Springer Nature, 2012, pp. 177–90, doi:10.1007/978-3-642-34091-8_8.
short: D. Raviv, A.M. Bronstein, M.M. Bronstein, R. Kimmel, N. Sochen, in:, 15th
International Workshop on Theoretical Foundations of Computer Vision, Springer
Nature, 2012, pp. 177–190.
conference:
end_date: 2011-07-01
location: Dagstuhl, Germany
name: International Workshop on Theoretical Foundations of Computer Vision
start_date: 2011-06-26
date_created: 2024-10-15T11:20:54Z
date_published: 2012-09-01T00:00:00Z
date_updated: 2025-01-16T10:12:48Z
day: '01'
doi: 10.1007/978-3-642-34091-8_8
extern: '1'
intvolume: ' 7474'
language:
- iso: eng
month: '09'
oa_version: None
page: 177-190
publication: 15th International Workshop on Theoretical Foundations of Computer Vision
publication_identifier:
eisbn:
- '9783642340918'
eissn:
- 1611-3349
isbn:
- '9783642340901'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Equi-affine invariant geometries of articulated objects
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7474
year: '2012'
...
---
OA_place: repository
OA_type: green
_id: '18737'
abstract:
- lang: eng
text: Supermassive black holes (SMBHs) are common in local galactic nuclei, and
SMBHs as massive as several billion solar masses already exist at redshift z =
6. These earliest SMBHs may grow by the combination of radiation-pressure-limited
accretion and mergers of stellar-mass seed BHs, left behind by the first generation
of metal-free stars, or may be formed by more rapid direct collapse of gas in
rare special environments where dense gas can accumulate without first fragmenting
into stars. This chapter offers a review of these two competing scenarios, as
well as some more exotic alternative ideas. It also briefly discusses how the
different models may be distinguished in the future by observations with JWST,
LISA and other instruments.
alternative_title:
- Astrophysics and Space Science Library
article_processing_charge: No
arxiv: 1
author:
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
orcid: 0000-0003-3633-5403
citation:
ama: 'Haiman Z. The Formation of the First Massive Black Holes. In: Wiklind T, Mobasher
B, Brumm V, eds. The First Galaxies. Berlin, Heidelberg: Springer Berlin
Heidelberg; 2012:293-341. doi:10.1007/978-3-642-32362-1_6'
apa: 'Haiman, Z. (2012). The Formation of the First Massive Black Holes. In T. Wiklind,
B. Mobasher, & V. Brumm (Eds.), The First Galaxies (pp. 293–341). Berlin,
Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-32362-1_6'
chicago: 'Haiman, Zoltán. “The Formation of the First Massive Black Holes.” In The
First Galaxies, edited by Tommy Wiklind, Bahram Mobasher, and Volker Brumm,
293–341. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-32362-1_6.'
ieee: 'Z. Haiman, “The Formation of the First Massive Black Holes,” in The First
Galaxies, T. Wiklind, B. Mobasher, and V. Brumm, Eds. Berlin, Heidelberg:
Springer Berlin Heidelberg, 2012, pp. 293–341.'
ista: 'Haiman Z. 2012.The Formation of the First Massive Black Holes. In: The First
Galaxies. Astrophysics and Space Science Library, , 293–341.'
mla: Haiman, Zoltán. “The Formation of the First Massive Black Holes.” The First
Galaxies, edited by Tommy Wiklind et al., Springer Berlin Heidelberg, 2012,
pp. 293–341, doi:10.1007/978-3-642-32362-1_6.
short: Z. Haiman, in:, T. Wiklind, B. Mobasher, V. Brumm (Eds.), The First Galaxies,
Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 293–341.
date_created: 2025-01-03T12:30:53Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2025-01-07T13:01:05Z
day: '01'
doi: 10.1007/978-3-642-32362-1_6
editor:
- first_name: Tommy
full_name: Wiklind, Tommy
last_name: Wiklind
- first_name: Bahram
full_name: Mobasher, Bahram
last_name: Mobasher
- first_name: Volker
full_name: Brumm, Volker
last_name: Brumm
extern: '1'
external_id:
arxiv:
- '1203.6075'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1203.6075
month: '01'
oa: 1
oa_version: Preprint
page: 293-341
place: Berlin, Heidelberg
publication: The First Galaxies
publication_identifier:
eisbn:
- '9783642323621'
eissn:
- 2214-7985
isbn:
- '9783642323614'
issn:
- 0067-0057
publication_status: published
publisher: Springer Berlin Heidelberg
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Formation of the First Massive Black Holes
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '2049'
abstract:
- lang: eng
text: "We propose a new authentication protocol that is provably secure based on
a ring variant of the learning parity with noise (LPN) problem. The protocol follows
the design principle of the LPN-based protocol from Eurocrypt’11 (Kiltz et al.),
and like it, is a two round protocol secure against active attacks. Moreover,
our protocol has small communication complexity and a very small footprint which
makes it applicable in scenarios that involve low-cost, resource-constrained devices.\r\n\r\nPerformance-wise,
our protocol is more efficient than previous LPN-based schemes, such as the many
variants of the Hopper-Blum (HB) protocol and the aforementioned protocol from
Eurocrypt’11. Our implementation results show that it is even comparable to the
standard challenge-and-response protocols based on the AES block-cipher. Our basic
protocol is roughly 20 times slower than AES, but with the advantage of having
10 times smaller code size. Furthermore, if a few hundred bytes of non-volatile
memory are available to allow the storage of some off-line pre-computations, then
the online phase of our protocols is only twice as slow as AES.\r\n"
acknowledgement: "Supported by the European Research Council / ERC Starting Grant
(259668- PSPC)\r\nWe would like to thank the anonymous referees of this confer-
ence and those of the ECRYPT Workshop on Lightweight Cryptography for very useful
comments, and in particular for the suggestion that the scheme is somewhat vulnerable
to a man-in-the-middle attack whenever an adversary observes two reader challenges
that are the same. We hope that the attack we described in Appendix A corresponds
to what the reviewer had in mind. We also thank Tanja Lange for pointing us to the
pa- per of [Kir11] and for discussions of some of her recent work. "
alternative_title:
- LNCS
author:
- first_name: Stefan
full_name: Heyse, Stefan
last_name: Heyse
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
- first_name: Vadim
full_name: Lyubashevsky, Vadim
last_name: Lyubashevsky
- first_name: Christof
full_name: Paar, Christof
last_name: Paar
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient
authentication protocol based on ring-LPN. In: Conference Proceedings FSE
2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20'
apa: 'Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., & Pietrzak, K. Z. (2012).
Lapin: An efficient authentication protocol based on ring-LPN. In Conference
proceedings FSE 2012 (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer.
https://doi.org/10.1007/978-3-642-34047-5_20'
chicago: 'Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof
Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In
Conference Proceedings FSE 2012, 7549:346–65. Springer, 2012. https://doi.org/10.1007/978-3-642-34047-5_20.'
ieee: 'S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin:
An efficient authentication protocol based on ring-LPN,” in Conference proceedings
FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.'
ista: 'Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient
authentication protocol based on ring-LPN. Conference proceedings FSE 2012. FSE:
Fast Software Encryption, LNCS, vol. 7549, 346–365.'
mla: 'Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on
Ring-LPN.” Conference Proceedings FSE 2012, vol. 7549, Springer, 2012,
pp. 346–65, doi:10.1007/978-3-642-34047-5_20.'
short: S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference
Proceedings FSE 2012, Springer, 2012, pp. 346–365.
conference:
end_date: 2012-03-21
location: Washington, DC, USA
name: 'FSE: Fast Software Encryption'
start_date: 2012-03-19
date_created: 2018-12-11T11:55:25Z
date_published: 2012-03-01T00:00:00Z
date_updated: 2021-01-12T06:54:58Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-642-34047-5_20
ec_funded: 1
intvolume: ' 7549'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.iacr.org/archive/fse2012/75490350/75490350.pdf
month: '03'
oa: 1
oa_version: Preprint
page: 346 - 365
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication: ' Conference proceedings FSE 2012'
publication_status: published
publisher: Springer
publist_id: '5002'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Lapin: An efficient authentication protocol based on ring-LPN'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7549
year: '2012'
...
---
_id: '1384'
abstract:
- lang: eng
text: 'Software model checking, as an undecidable problem, has three possible outcomes:
(1) the program satisfies the specification, (2) the program does not satisfy
the specification, and (3) the model checker fails. The third outcome usually
manifests itself in a space-out, time-out, or one component of the verification
tool giving up; in all of these failing cases, significant computation is performed
by the verification tool before the failure, but no result is reported. We propose
to reformulate the model-checking problem as follows, in order to have the verification
tool report a summary of the performed work even in case of failure: given a program
and a specification, the model checker returns a condition Ψ - usually a state
predicate - such that the program satisfies the specification under the condition
Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied.
In our experiments, we investigated as one major application of conditional model
checking the sequential combination of model checkers with information passing.
We give the condition that one model checker produces, as input to a second conditional
model checker, such that the verification problem for the second is restricted
to the part of the state space that is not covered by the condition, i.e., the
second model checker works on the problems that the first model checker could
not solve. Our experiments demonstrate that repeated application of conditional
model checkers, passing information from one model checker to the next, can significantly
improve the verification results and performance, i.e., we can now verify programs
that we could not verify before.'
acknowledgement: This research was supported by the Canadian NSERC grant RGPIN 341819-07, the ERC Advanced Grant
QUAREM, and the Austrian Science Fund NFN RiSE.
article_number: '57'
article_processing_charge: No
arxiv: 1
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- 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: Mehmet
full_name: Keremoglu, Mehmet
last_name: Keremoglu
- first_name: Philipp
full_name: Wendler, Philipp
last_name: Wendler
citation:
ama: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking:
A technique to pass information between verifiers. In: Proceedings of the ACM
SIGSOFT 20th International Symposium on the Foundations of Software Engineering.
ACM; 2012. doi:10.1145/2393596.2393664'
apa: 'Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional
model checking: A technique to pass information between verifiers. In Proceedings
of the ACM SIGSOFT 20th International Symposium on the Foundations of Software
Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664'
chicago: 'Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler.
“Conditional Model Checking: A Technique to Pass Information between Verifiers.”
In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations
of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.'
ieee: 'D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model
checking: A technique to pass information between verifiers,” in Proceedings
of the ACM SIGSOFT 20th International Symposium on the Foundations of Software
Engineering, Cary, NC, USA, 2012.'
ista: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking:
A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT
20th International Symposium on the Foundations of Software Engineering. FSE:
Foundations of Software Engineering, 57.'
mla: 'Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information
between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium
on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.'
short: D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the
ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering,
ACM, 2012.
conference:
end_date: 2012-11-16
location: Cary, NC, USA
name: 'FSE: Foundations of Software Engineering'
start_date: 2012-11-11
date_created: 2018-12-11T11:51:42Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-06-11T08:07:37Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2393596.2393664
ec_funded: 1
external_id:
arxiv:
- '1109.6926'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1109.6926
month: '11'
oa: 1
oa_version: Preprint
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations
of Software Engineering
publication_status: published
publisher: ACM
publist_id: '5826'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Conditional model checking: A technique to pass information between verifiers'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '1757'
abstract:
- lang: eng
text: Self-assembled Ge wires with a height of only 3 unit cells and a length of
up to 2 micrometers were grown on Si(001) by means of a catalyst-free method based
on molecular beam epitaxy. The wires grow horizontally along either the [100]
or the [010] direction. On atomically flat surfaces, they exhibit a highly uniform,
triangular cross section. A simple thermodynamic model accounts for the existence
of a preferential base width for longitudinal expansion, in quantitative agreement
with the experimental findings. Despite the absence of intentional doping, the
first transistor-type devices made from single wires show low-resistive electrical
contacts and single-hole transport at sub-Kelvin temperatures. In view of their
exceptionally small and self-defined cross section, these Ge wires hold promise
for the realization of hole systems with exotic properties and provide a new development
route for silicon-based nanoelectronics.
acknowledgement: We acknowledge the financial support by the DFG SPP1386, P. Chen
and D. J. Thurmer for MBE assistance, R. Wacquez for providing the ultrathin SOI
wafers, and G. Bauer, Y. Hu, X. Jehl, S. Kiravittaya, C. Klöffel, E. J. H. Lee,
F. Liu, D. Loss, and S. Mahapatra for helpful discussions. G. K. acknowledges support
from the European commission via a Marie Curie Carrer Integration Grant. S. D. F.
acknowledges support from the European Research Council through the starting grant
program
author:
- first_name: Jianjun
full_name: Zhang, Jianjun
last_name: Zhang
- first_name: Georgios
full_name: Georgios Katsaros
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
- first_name: Francesco
full_name: Montalenti, Francesco
last_name: Montalenti
- first_name: Daniele
full_name: Scopece, Daniele
last_name: Scopece
- first_name: Roman
full_name: Rezaev, Roman O
last_name: Rezaev
- first_name: Christine
full_name: Mickel, Christine H
last_name: Mickel
- first_name: Bernd
full_name: Rellinghaus, Bernd
last_name: Rellinghaus
- first_name: Leo
full_name: Miglio, Leo P
last_name: Miglio
- first_name: Silvano
full_name: De Franceschi, Silvano
last_name: De Franceschi
- first_name: Armando
full_name: Rastelli, Armando
last_name: Rastelli
- first_name: Oliver
full_name: Schmidt, Oliver G
last_name: Schmidt
citation:
ama: Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge
nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502
apa: Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C.,
… Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) .
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.085502
chicago: Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece,
Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of
Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters. American
Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.085502.
ieee: J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001)
,” Physical Review Letters, vol. 109, no. 8. American Physical Society,
2012.
ista: Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus
B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of
ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).
mla: Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001)
.” Physical Review Letters, vol. 109, no. 8, American Physical Society,
2012, doi:10.1103/PhysRevLett.109.085502.
short: J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B.
Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review
Letters 109 (2012).
date_created: 2018-12-11T11:53:51Z
date_published: 2012-08-23T00:00:00Z
date_updated: 2021-01-12T06:53:00Z
day: '23'
doi: 10.1103/PhysRevLett.109.085502
extern: 1
intvolume: ' 109'
issue: '8'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1208.0666
month: '08'
oa: 1
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '5367'
quality_controlled: 0
status: public
title: 'Monolithic growth of ultrathin Ge nanowires on Si(001) '
type: journal_article
volume: 109
year: '2012'
...
---
_id: '17660'
abstract:
- lang: eng
text: Many astrophysical binaries, from planets to black holes, exert strong torques
on their circumbinary accretion discs, and are expected to significantly modify
the disc structure. Despite the several decade long history of the subject, the
joint evolution of the binary + disc system has not been modelled with self-consistent
assumptions for arbitrary mass ratios and accretion rates. Here, we solve the
coupled binary–disc evolution equations analytically in the strongly perturbed
limit, treating the azimuthally averaged angular momentum exchange between the
disc and the binary and the modifications to the density, scaleheight, and viscosity
self-consistently, including viscous and tidal heating, diffusion limited cooling,
radiation pressure and the orbital decay of the binary. We find a solution with
a central cavity and a migration rate similar to those previously obtained for
Type II migration, applicable for large masses and binary separations, and near-equal
mass ratios. However, we identify a distinct new regime, applicable at smaller
separations and masses, and mass ratio in the range 10−3 ≲ q ≲ 0.1. For these
systems, gas piles up outside the binary's orbit, but rather than creating a cavity,
it continuously overflows as in a porous dam. The disc profile is intermediate
between a weakly perturbed disc (producing Type I migration) and a disc with a
gap (with Type II migration). However, the migration rate of the secondary is
typically slower than both Type I and Type II rates. We term this new regime ‘Type
1.5’ migration.
alternative_title:
- 'Overflow and migration: general theory'
article_processing_charge: No
article_type: original
author:
- first_name: Bence
full_name: Kocsis, Bence
last_name: Kocsis
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Abraham
full_name: Loeb, Abraham
last_name: Loeb
citation:
ama: 'Kocsis B, Haiman Z, Loeb A. Gas pile-up, gap overflow and Type 1.5 migration
in circumbinary discs: General theory. Monthly Notices of the Royal Astronomical
Society. 2012;427(3):2660-2679. doi:10.1111/j.1365-2966.2012.22129.x'
apa: 'Kocsis, B., Haiman, Z., & Loeb, A. (2012). Gas pile-up, gap overflow and
Type 1.5 migration in circumbinary discs: General theory. Monthly Notices of
the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2012.22129.x'
chicago: 'Kocsis, Bence, Zoltán Haiman, and Abraham Loeb. “Gas Pile-up, Gap Overflow
and Type 1.5 Migration in Circumbinary Discs: General Theory.” Monthly Notices
of the Royal Astronomical Society. Oxford University Press, 2012. https://doi.org/10.1111/j.1365-2966.2012.22129.x.'
ieee: 'B. Kocsis, Z. Haiman, and A. Loeb, “Gas pile-up, gap overflow and Type 1.5
migration in circumbinary discs: General theory,” Monthly Notices of the Royal
Astronomical Society, vol. 427, no. 3. Oxford University Press, pp. 2660–2679,
2012.'
ista: 'Kocsis B, Haiman Z, Loeb A. 2012. Gas pile-up, gap overflow and Type 1.5
migration in circumbinary discs: General theory. Monthly Notices of the Royal
Astronomical Society. 427(3), 2660–2679.'
mla: 'Kocsis, Bence, et al. “Gas Pile-up, Gap Overflow and Type 1.5 Migration in
Circumbinary Discs: General Theory.” Monthly Notices of the Royal Astronomical
Society, vol. 427, no. 3, Oxford University Press, 2012, pp. 2660–79, doi:10.1111/j.1365-2966.2012.22129.x.'
short: B. Kocsis, Z. Haiman, A. Loeb, Monthly Notices of the Royal Astronomical
Society 427 (2012) 2660–2679.
date_created: 2024-09-06T07:38:16Z
date_published: 2012-12-11T00:00:00Z
date_updated: 2024-09-25T07:21:05Z
day: '11'
doi: 10.1111/j.1365-2966.2012.22129.x
extern: '1'
intvolume: ' 427'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/j.1365-2966.2012.22129.x
month: '12'
oa: 1
oa_version: Published Version
page: 2660-2679
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: General
theory'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 427
year: '2012'
...
---
_id: '17675'
abstract:
- lang: eng
text: In this paper, we show that Minkowski Functionals (MFs) of weak gravitational
lensing (WL) convergence maps contain significant non-Gaussian, cosmology-dependent
information. To do this, we use a large suite of cosmological ray-tracing N-body
simulations to create mock WL convergence maps, and study the cosmological information
content of MFs derived from these maps. Our suite consists of 80 independent 512^3
N-body runs, covering seven different cosmologies, varying three cosmological
parameters Omega_m, w, and sigma_8 one at a time, around a fiducial LambdaCDM
model. In each cosmology, we use ray-tracing to create a thousand pseudo-independent
12 deg^2 convergence maps, and use these in a Monte Carlo procedure to estimate
the joint confidence contours on the above three parameters. We include redshift
tomography at three different source redshifts z_s=1, 1.5, 2, explore five different
smoothing scales theta_G=1, 2, 3, 5, 10 arcmin, and explicitly compare and combine
the MFs with the WL power spectrum. We find that the MFs capture a substantial
amount of information from non-Gaussian features of convergence maps, i.e. beyond
the power spectrum. The MFs are particularly well suited to break degeneracies
and to constrain the dark energy equation of state parameter w (by a factor of
~ three better than from the power spectrum alone). The non-Gaussian information
derives partly from the one-point function of the convergence (through V_0, the
"area" MF), and partly through non-linear spatial information (through combining
different smoothing scales for V_0, and through V_1 and V_2, the boundary length
and genus MFs, respectively). In contrast to the power spectrum, the best constraints
from the MFs are obtained only when multiple smoothing scales are combined.
article_number: '103513'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jan M.
full_name: Kratochvil, Jan M.
last_name: Kratochvil
- first_name: Eugene A.
full_name: Lim, Eugene A.
last_name: Lim
- first_name: Sheng
full_name: Wang, Sheng
last_name: Wang
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Morgan
full_name: May, Morgan
last_name: May
- first_name: Kevin
full_name: Huffenberger, Kevin
last_name: Huffenberger
citation:
ama: Kratochvil JM, Lim EA, Wang S, Haiman Z, May M, Huffenberger K. Probing cosmology
with weak lensing Minkowski functionals. Physical Review D. 2012;85(10).
doi:10.1103/physrevd.85.103513
apa: Kratochvil, J. M., Lim, E. A., Wang, S., Haiman, Z., May, M., & Huffenberger,
K. (2012). Probing cosmology with weak lensing Minkowski functionals. Physical
Review D. American Physical Society. https://doi.org/10.1103/physrevd.85.103513
chicago: Kratochvil, Jan M., Eugene A. Lim, Sheng Wang, Zoltán Haiman, Morgan May,
and Kevin Huffenberger. “Probing Cosmology with Weak Lensing Minkowski Functionals.”
Physical Review D. American Physical Society, 2012. https://doi.org/10.1103/physrevd.85.103513.
ieee: J. M. Kratochvil, E. A. Lim, S. Wang, Z. Haiman, M. May, and K. Huffenberger,
“Probing cosmology with weak lensing Minkowski functionals,” Physical Review
D, vol. 85, no. 10. American Physical Society, 2012.
ista: Kratochvil JM, Lim EA, Wang S, Haiman Z, May M, Huffenberger K. 2012. Probing
cosmology with weak lensing Minkowski functionals. Physical Review D. 85(10),
103513.
mla: Kratochvil, Jan M., et al. “Probing Cosmology with Weak Lensing Minkowski Functionals.”
Physical Review D, vol. 85, no. 10, 103513, American Physical Society,
2012, doi:10.1103/physrevd.85.103513.
short: J.M. Kratochvil, E.A. Lim, S. Wang, Z. Haiman, M. May, K. Huffenberger, Physical
Review D 85 (2012).
date_created: 2024-09-06T07:51:45Z
date_published: 2012-04-10T00:00:00Z
date_updated: 2024-09-25T08:41:09Z
day: '10'
doi: 10.1103/physrevd.85.103513
extern: '1'
external_id:
arxiv:
- '1109.6334'
intvolume: ' 85'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.1109.6334'
month: '04'
oa: 1
oa_version: Preprint
publication: Physical Review D
publication_identifier:
issn:
- 1550-7998
- 1550-2368
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Probing cosmology with weak lensing Minkowski functionals
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 85
year: '2012'
...
---
_id: '1783'
abstract:
- lang: eng
text: Nonlinearity and entanglement are two important properties by which physical
systems can be identified as nonclassical. We study the dynamics of the resonant
interaction of up to N=3 two-level systems and a single mode of the electromagnetic
field sharing a single excitation dynamically. We observe coherent vacuum Rabi
oscillations and their nonlinear √N speedup by tracking the populations of all
qubits and the resonator in time. We use quantum state tomography to show explicitly
that the dynamics generates maximally entangled states of the W class in a time
limited only by the collective interaction rate. We use an entanglement witness
and the 3-tangle to characterize the state whose fidelity F=78% is limited in
our experiments by crosstalk arising during the simultaneous qubit manipulations
which is absent in a sequential approach with F=91%.
acknowledgement: This work was supported by the Swiss National Science Foundation
(SNF) and the EU IP SOLID
author:
- first_name: Jonas
full_name: Mlynek, Jonas A
last_name: Mlynek
- first_name: Abdufarrukh
full_name: Abdumalikov, Abdufarrukh A
last_name: Abdumalikov
- first_name: Johannes M
full_name: Johannes Fink
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: L.
full_name: Steffen, L. Kraig
last_name: Steffen
- first_name: Matthias
full_name: Baur, Matthias P
last_name: Baur
- first_name: C
full_name: Lang, C
last_name: Lang
- first_name: Arjan
full_name: Van Loo, Arjan F
last_name: Van Loo
- first_name: Andreas
full_name: Wallraff, Andreas
last_name: Wallraff
citation:
ama: Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement
of Dicke states in resonant cavity quantum electrodynamics. Physical Review
A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838
apa: Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C.,
… Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant
cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and
Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.86.053838
chicago: Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias
Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement
of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review
A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012.
https://doi.org/10.1103/PhysRevA.86.053838.
ieee: J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states
in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular,
and Optical Physics, vol. 86, no. 5. American Physical Society, 2012.
ista: Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff
A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity
quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics.
86(5).
mla: Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in
Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular,
and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838.
short: J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van
Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86
(2012).
date_created: 2018-12-11T11:53:59Z
date_published: 2012-11-30T00:00:00Z
date_updated: 2021-01-12T06:53:10Z
day: '30'
doi: 10.1103/PhysRevA.86.053838
extern: 1
intvolume: ' 86'
issue: '5'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1202.5191
month: '11'
oa: 1
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_status: published
publisher: American Physical Society
publist_id: '5332'
quality_controlled: 0
status: public
title: Demonstrating W-type entanglement of Dicke states in resonant cavity quantum
electrodynamics
type: journal_article
volume: 86
year: '2012'
...
---
_id: '757'
abstract:
- lang: eng
text: Synchronous distributed algorithms are easier to design and prove correct
than algorithms that tolerate asynchrony. Yet, in the real world, networks experience
asynchrony and other timing anomalies. In this paper, we address the question
of how to efficiently transform an algorithm that relies on synchronization into
an algorithm that tolerates asynchronous executions. We introduce a transformation
technique from synchronous algorithms to indulgent algorithms [1], which induces
only a constant overhead in terms of time complexity in well-behaved executions.
Our technique is based on a new abstraction we call an asynchrony detector, which
the participating processes implement collectively. The resulting transformation
works for a large class of colorless tasks, including consensus and set agreement.
Interestingly, we also show that our technique is relevant for colored tasks,
by applying it to the renaming problem, to obtain the first indulgent renaming
algorithm.
acknowledgement: "The authors would like to thank Prof. Hagit Attiya and Nikola\r\nKneˇ\r\nzevi
́\r\nc for their help on previous drafts of this paper, and the anonymous reviewers\r\nfor
their useful feedback."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Seth
full_name: Gilbert, Seth
last_name: Gilbert
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- first_name: Corentin
full_name: Travers, Corentin
last_name: Travers
citation:
ama: 'Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Generating fast indulgent
algorithms. In: Vol 6522 LNCS. Springer; 2011:41-52. doi:10.1007/978-3-642-17679-1_4'
apa: 'Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2011). Generating
fast indulgent algorithms (Vol. 6522 LNCS, pp. 41–52). Presented at the ICDCN:
International Conference on Distributed Computing and Networking, Springer. https://doi.org/10.1007/978-3-642-17679-1_4'
chicago: Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers.
“Generating Fast Indulgent Algorithms,” 6522 LNCS:41–52. Springer, 2011. https://doi.org/10.1007/978-3-642-17679-1_4.
ieee: 'D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Generating fast
indulgent algorithms,” presented at the ICDCN: International Conference on Distributed
Computing and Networking, 2011, vol. 6522 LNCS, pp. 41–52.'
ista: 'Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2011. Generating fast indulgent
algorithms. ICDCN: International Conference on Distributed Computing and Networking,
LNCS, vol. 6522 LNCS, 41–52.'
mla: Alistarh, Dan-Adrian, et al. Generating Fast Indulgent Algorithms. Vol.
6522 LNCS, Springer, 2011, pp. 41–52, doi:10.1007/978-3-642-17679-1_4.
short: D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011,
pp. 41–52.
conference:
name: 'ICDCN: International Conference on Distributed Computing and Networking'
date_created: 2018-12-11T11:48:20Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2023-02-23T13:11:09Z
day: '01'
doi: 10.1007/978-3-642-17679-1_4
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 41 - 52
publication_status: published
publisher: Springer
publist_id: '6898'
status: public
title: Generating fast indulgent algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6522 LNCS
year: '2011'
...
---
_id: '760'
abstract:
- lang: eng
text: A randomized implementation is given of a test-and-set register with O(log
log n) individual step complexity and O(n) total step complexity against an oblivious
adversary. The implementation is linearizable and multi-shot, and shows an exponential
complexity improvement over previous solutions designed to work against a strong
adversary.
acknowledgement: The work of Dan Alistarh was supported by the NCCR MICS Project.
The work of James Aspnes was supported in part by NSF grant CCF-0916389.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: James
full_name: Aspnes, James
last_name: Aspnes
citation:
ama: 'Alistarh D-A, Aspnes J. Sub-logarithmic test-and-set against a weak adversary.
In: Vol 6950 LNCS. Springer; 2011:97-109. doi:10.1007/978-3-642-24100-0_7'
apa: 'Alistarh, D.-A., & Aspnes, J. (2011). Sub-logarithmic test-and-set against
a weak adversary (Vol. 6950 LNCS, pp. 97–109). Presented at the DISC: Distributed
Computing, Springer. https://doi.org/10.1007/978-3-642-24100-0_7'
chicago: Alistarh, Dan-Adrian, and James Aspnes. “Sub-Logarithmic Test-and-Set against
a Weak Adversary,” 6950 LNCS:97–109. Springer, 2011. https://doi.org/10.1007/978-3-642-24100-0_7.
ieee: 'D.-A. Alistarh and J. Aspnes, “Sub-logarithmic test-and-set against a weak
adversary,” presented at the DISC: Distributed Computing, 2011, vol. 6950 LNCS,
pp. 97–109.'
ista: 'Alistarh D-A, Aspnes J. 2011. Sub-logarithmic test-and-set against a weak
adversary. DISC: Distributed Computing, LNCS, vol. 6950 LNCS, 97–109.'
mla: Alistarh, Dan-Adrian, and James Aspnes. Sub-Logarithmic Test-and-Set against
a Weak Adversary. Vol. 6950 LNCS, Springer, 2011, pp. 97–109, doi:10.1007/978-3-642-24100-0_7.
short: D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
conference:
name: 'DISC: Distributed Computing'
date_created: 2018-12-11T11:48:21Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2023-02-23T13:12:01Z
day: '01'
doi: 10.1007/978-3-642-24100-0_7
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 97 - 109
publication_status: published
publisher: Springer
publist_id: '6896'
status: public
title: Sub-logarithmic test-and-set against a weak adversary
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6950 LNCS
year: '2011'
...
---
_id: '8025'
abstract:
- lang: eng
text: Chandelier (axoaxonic) cells (ChCs) are a distinct group of GABAergic interneurons
that innervate the axon initial segments of pyramidal cells. However, their circuit
role and the function of their clearly defined anatomical specificity remain unclear.
Recent work has demonstrated that chandelier cells can produce depolarizing GABAergic
PSPs, occasionally driving postsynaptic targets to spike. On the other hand, other
work suggests that ChCs are hyperpolarizing and may have an inhibitory role. These
disparate functional effects may reflect heterogeneity among ChCs. Here, using
brain slices from transgenic mouse strains, we first demonstrate that, across
different neocortical areas and genetic backgrounds, upper Layer 2/3 ChCs belong
to a single electrophysiologically and morphologically defined population, extensively
sampling Layer 1 inputs with asymmetric dendrites. Consistent with being a single
cell type, we find electrical coupling between ChCs. We then investigate the effect
of chandelier cell activation on pyramidal neuron spiking in several conditions,
ranging from the resting membrane potential to stimuli designed to approximate
in vivo membrane potential dynamics. We find that under quiescent conditions,
chandelier cells are capable of both promoting and inhibiting spike generation,
depending on the postsynaptic membrane potential. However, during in vivo-like
membrane potential fluctuations, the dominant postsynaptic effect was a strong
inhibition. Thus, neocortical chandelier cells, even from within a homogeneous
population, appear to play a dual role in the circuit, helping to activate quiescent
pyramidal neurons, while at the same time inhibiting active ones.
article_processing_charge: No
article_type: original
author:
- first_name: A. R.
full_name: Woodruff, A. R.
last_name: Woodruff
- first_name: L. M.
full_name: McGarry, L. M.
last_name: McGarry
- first_name: Tim P
full_name: Vogels, Tim P
id: CB6FF8D2-008F-11EA-8E08-2637E6697425
last_name: Vogels
orcid: 0000-0003-3295-6181
- first_name: M.
full_name: Inan, M.
last_name: Inan
- first_name: S. A.
full_name: Anderson, S. A.
last_name: Anderson
- first_name: R.
full_name: Yuste, R.
last_name: Yuste
citation:
ama: Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. State-dependent
function of neocortical chandelier cells. Journal of Neuroscience. 2011;31(49):17872-17886.
doi:10.1523/jneurosci.3894-11.2011
apa: Woodruff, A. R., McGarry, L. M., Vogels, T. P., Inan, M., Anderson, S. A.,
& Yuste, R. (2011). State-dependent function of neocortical chandelier cells.
Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.3894-11.2011
chicago: Woodruff, A. R., L. M. McGarry, Tim P Vogels, M. Inan, S. A. Anderson,
and R. Yuste. “State-Dependent Function of Neocortical Chandelier Cells.” Journal
of Neuroscience. Society for Neuroscience, 2011. https://doi.org/10.1523/jneurosci.3894-11.2011.
ieee: A. R. Woodruff, L. M. McGarry, T. P. Vogels, M. Inan, S. A. Anderson, and
R. Yuste, “State-dependent function of neocortical chandelier cells,” Journal
of Neuroscience, vol. 31, no. 49. Society for Neuroscience, pp. 17872–17886,
2011.
ista: Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. 2011. State-dependent
function of neocortical chandelier cells. Journal of Neuroscience. 31(49), 17872–17886.
mla: Woodruff, A. R., et al. “State-Dependent Function of Neocortical Chandelier
Cells.” Journal of Neuroscience, vol. 31, no. 49, Society for Neuroscience,
2011, pp. 17872–86, doi:10.1523/jneurosci.3894-11.2011.
short: A.R. Woodruff, L.M. McGarry, T.P. Vogels, M. Inan, S.A. Anderson, R. Yuste,
Journal of Neuroscience 31 (2011) 17872–17886.
date_created: 2020-06-25T13:09:49Z
date_published: 2011-12-07T00:00:00Z
date_updated: 2021-01-12T08:16:36Z
day: '7'
doi: 10.1523/jneurosci.3894-11.2011
extern: '1'
external_id:
pmid:
- '22159102'
intvolume: ' 31'
issue: '49'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4071969/
month: '12'
oa: 1
oa_version: Published Version
page: 17872-17886
pmid: 1
publication: Journal of Neuroscience
publication_identifier:
issn:
- 0270-6474
- 1529-2401
publication_status: published
publisher: Society for Neuroscience
quality_controlled: '1'
status: public
title: State-dependent function of neocortical chandelier cells
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 31
year: '2011'
...
---
_id: '1050'
abstract:
- lang: eng
text: We present experimentally derived potential curves 1?and spin-orbit interaction
functions for the strongly perturbed AΣu+ 3?and bΠu states of the cesium dimer.
The results are based on data from several sources. Laser-induced fluorescence
Fourier transform spectroscopy (LIF FTS) was used some time ago in the Laboratoire
Aimé Cotton primarily to study the XΣg+ state. More recent work at Tsinghua University
provides information from moderate 3?resolution spectroscopy on the lowest levels
of the bΠ0u± state as well as additional high-resolution data. From Innsbruck
University, we have precision data obtained with cold Cs2 molecules. Recent data
from Temple University was obtained using the optical-optical double resonance
polarization spectroscopy technique, and finally, a group at the University of
Latvia has added additional LIF FTS data. In the Hamiltonian matrix, we have used
analytic potentials (the expanded Morse oscillator form) with both finite-difference
(FD) coupled-channel and discrete variable representation (DVR) calculations of
the term values. Fitted diagonal and off-diagonal spin-orbit functions are obtained
and compared with ab initio results from Temple and Moscow State universities.
acknowledgement: The work in Temple University was supported by NSF grant no. PHY-0855502.
S.K. acknowledges support from AFOSR and from NSF grant no. PHY-1005453. S.A., C.M.,
and J.H. were supported by NSF grants no. PHY-0652938 and PHY-0968898. The work
at Stony Brook was supported by NSF grants no. PHY-0652459 and PHY-0968905. The
work in Tsinghua University was supported by NSFC of China, under grant no. 20773072.
The Moscow team thanks the Russian Foundation for Basic Researches by the grant
no. 10-03-00195 and MSU Priority Direction 2.3. M.T. and R.F. are grateful to Ilze
Klincare, Olga Nikolayeva, and Artis Kruzins for their help in spectra analysis,
as well as appreciate the support from the ESF 2009/0223/1DP/1.1.1.2.0/09/APIA/VIAA/008
project.
article_processing_charge: No
arxiv: 1
author:
- first_name: Jianmei
full_name: Bai, Jianmei
last_name: Bai
- first_name: Ergin
full_name: Ahmed, Ergin
last_name: Ahmed
- first_name: Bediha
full_name: Beser, Bediha
last_name: Beser
- first_name: Yafei
full_name: Guan, Yafei
last_name: Guan
- first_name: Svetlana
full_name: Kotochigova, Svetlana
last_name: Kotochigova
- first_name: Marjatta
full_name: Lyyra, Marjatta
last_name: Lyyra
- first_name: Seth
full_name: Ashman, Seth
last_name: Ashman
- first_name: Christopher
full_name: Wolfe, Christopher
last_name: Wolfe
- first_name: John
full_name: Huennekens, John
last_name: Huennekens
- first_name: Feng
full_name: Xie, Feng
last_name: Xie
- first_name: Dan
full_name: Li, Dan
last_name: Li
- first_name: Li
full_name: Li, Li
last_name: Li
- first_name: Maris
full_name: Tamanis, Maris
last_name: Tamanis
- first_name: Ruvin
full_name: Ferber, Ruvin
last_name: Ferber
- first_name: Anastasia
full_name: Drozdova, Anastasia
last_name: Drozdova
- first_name: Elena
full_name: Pazyuk, Elena
last_name: Pazyuk
- first_name: Andrey
full_name: Stolyarov, Andrey
last_name: Stolyarov
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
- first_name: Nadia
full_name: Bouloufa, Nadia
last_name: Bouloufa
- first_name: Olivier
full_name: Dulieu, Olivier
last_name: Dulieu
- first_name: Claude
full_name: Amiot, Claude
last_name: Amiot
- first_name: Houssam
full_name: Salami, Houssam
last_name: Salami
- first_name: Thomas
full_name: Bergeman, Thomas
last_name: Bergeman
citation:
ama: Bai J, Ahmed E, Beser B, et al. Global analysis of data on the spin-orbit-coupled
A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular,
and Optical Physics. 2011;83(3). doi:10.1103/PhysRevA.83.032514
apa: Bai, J., Ahmed, E., Beser, B., Guan, Y., Kotochigova, S., Lyyra, M., … Bergeman,
T. (2011). Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu
inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics.
American Physical Society. https://doi.org/10.1103/PhysRevA.83.032514
chicago: Bai, Jianmei, Ergin Ahmed, Bediha Beser, Yafei Guan, Svetlana Kotochigova,
Marjatta Lyyra, Seth Ashman, et al. “Global Analysis of Data on the Spin-Orbit-Coupled
A 1Σu+ and b 3Πu Inf States of Cs2.” Physical Review A - Atomic, Molecular,
and Optical Physics. American Physical Society, 2011. https://doi.org/10.1103/PhysRevA.83.032514.
ieee: J. Bai et al., “Global analysis of data on the spin-orbit-coupled A
1Σu+ and b 3Πu inf states of Cs2,” Physical Review A - Atomic, Molecular,
and Optical Physics, vol. 83, no. 3. American Physical Society, 2011.
ista: Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C,
Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov
A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011.
Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states
of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
mla: Bai, Jianmei, et al. “Global Analysis of Data on the Spin-Orbit-Coupled A 1Σu+
and b 3Πu Inf States of Cs2.” Physical Review A - Atomic, Molecular, and Optical
Physics, vol. 83, no. 3, American Physical Society, 2011, doi:10.1103/PhysRevA.83.032514.
short: J. Bai, E. Ahmed, B. Beser, Y. Guan, S. Kotochigova, M. Lyyra, S. Ashman,
C. Wolfe, J. Huennekens, F. Xie, D. Li, L. Li, M. Tamanis, R. Ferber, A. Drozdova,
E. Pazyuk, A. Stolyarov, J.G. Danzl, H. Nägerl, N. Bouloufa, O. Dulieu, C. Amiot,
H. Salami, T. Bergeman, Physical Review A - Atomic, Molecular, and Optical Physics
83 (2011).
date_created: 2018-12-11T11:49:53Z
date_published: 2011-03-28T00:00:00Z
date_updated: 2021-01-12T06:47:55Z
day: '28'
doi: 10.1103/PhysRevA.83.032514
extern: '1'
external_id:
arxiv:
- '1101.5412'
intvolume: ' 83'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1101.5412
month: '03'
oa: 1
oa_version: Preprint
publication: ' Physical Review A - Atomic, Molecular, and Optical Physics'
publication_status: published
publisher: American Physical Society
publist_id: '6339'
status: public
title: Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states
of Cs2
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 83
year: '2011'
...