---
_id: '2190'
abstract:
- lang: eng
text: We present a new algorithm to construct a (generalized) deterministic Rabin
automaton for an LTL formula φ. The automaton is the product of a master automaton
and an array of slave automata, one for each G-subformula of φ. The slave automaton
for G ψ is in charge of recognizing whether FG ψ holds. As opposed to standard
determinization procedures, the states of all our automata have a clear logical
structure, which allows for various optimizations. Our construction subsumes former
algorithms for fragments of LTL. Experimental results show improvement in the
sizes of the resulting automata compared to existing methods.
acknowledgement: The author is on leave from Faculty of Informatics, Masaryk University,
Czech Republic, and partially supported by the Czech Science Foundation, grant No.
P202/12/G061.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Javier
full_name: Esparza, Javier
last_name: Esparza
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
citation:
ama: 'Esparza J, Kretinsky J. From LTL to deterministic automata: A safraless compositional
approach. In: Vol 8559. Springer; 2014:192-208. doi:10.1007/978-3-319-08867-9_13'
apa: 'Esparza, J., & Kretinsky, J. (2014). From LTL to deterministic automata:
A safraless compositional approach (Vol. 8559, pp. 192–208). Presented at the
CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-319-08867-9_13'
chicago: 'Esparza, Javier, and Jan Kretinsky. “From LTL to Deterministic Automata:
A Safraless Compositional Approach,” 8559:192–208. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_13.'
ieee: 'J. Esparza and J. Kretinsky, “From LTL to deterministic automata: A safraless
compositional approach,” presented at the CAV: Computer Aided Verification, 2014,
vol. 8559, pp. 192–208.'
ista: 'Esparza J, Kretinsky J. 2014. From LTL to deterministic automata: A safraless
compositional approach. CAV: Computer Aided Verification, LNCS, vol. 8559, 192–208.'
mla: 'Esparza, Javier, and Jan Kretinsky. From LTL to Deterministic Automata:
A Safraless Compositional Approach. Vol. 8559, Springer, 2014, pp. 192–208,
doi:10.1007/978-3-319-08867-9_13.'
short: J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
conference:
name: 'CAV: Computer Aided Verification'
corr_author: '1'
date_created: 2018-12-11T11:56:14Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2025-06-11T08:01:04Z
day: '01'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1007/978-3-319-08867-9_13
ec_funded: 1
external_id:
arxiv:
- '1402.3388'
fulldoi: https://doi.org/10.1007/978-3-319-08867-9_13
intvolume: ' 8559'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1402.3388
month: '01'
oa: 1
oa_version: Submitted Version
page: 192 - 208
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
publication_status: published
publisher: Springer
publist_id: '4784'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'From LTL to deterministic automata: A safraless compositional approach'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8559
year: '2014'
...
---
_id: '13399'
abstract:
- lang: eng
text: Nature has long inspired scientists with its seemingly unlimited ability to
harness solar energy and to utilize it to drive various physiological processes.
With the help of man-made molecular photoswitches, we now have the potential to
outperform natural systems in many ways, with the ultimate goal of fabricating
multifunctional materials that operate at different light wavelengths. An important
challenge in developing light-controlled artificial molecular machines lies in
attaining a detailed understanding of the photoisomerization-coupled conformational
changes that occur in macromolecules and molecular assemblies. In this issue of
ACS Nano, Bléger, Rabe, and co-workers use force microscopy to provide interesting
insights into the behavior of individual photoresponsive molecules and to identify
contraction, extension, and crawling events accompanying light-induced isomerization.
article_processing_charge: No
article_type: original
author:
- first_name: Pintu K.
full_name: Kundu, Pintu K.
last_name: Kundu
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Kundu PK, Klajn R. Watching single molecules move in response to light. ACS
Nano. 2014;8(12):11913-11916. doi:10.1021/nn506656r
apa: Kundu, P. K., & Klajn, R. (2014). Watching single molecules move in response
to light. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn506656r
chicago: Kundu, Pintu K., and Rafal Klajn. “Watching Single Molecules Move in Response
to Light.” ACS Nano. American Chemical Society, 2014. https://doi.org/10.1021/nn506656r.
ieee: P. K. Kundu and R. Klajn, “Watching single molecules move in response to light,”
ACS Nano, vol. 8, no. 12. American Chemical Society, pp. 11913–11916, 2014.
ista: Kundu PK, Klajn R. 2014. Watching single molecules move in response to light.
ACS Nano. 8(12), 11913–11916.
mla: Kundu, Pintu K., and Rafal Klajn. “Watching Single Molecules Move in Response
to Light.” ACS Nano, vol. 8, no. 12, American Chemical Society, 2014, pp.
11913–16, doi:10.1021/nn506656r.
short: P.K. Kundu, R. Klajn, ACS Nano 8 (2014) 11913–11916.
date_created: 2023-08-01T09:45:42Z
date_published: 2014-12-23T00:00:00Z
date_updated: 2024-10-14T12:18:29Z
day: '23'
doi: 10.1021/nn506656r
extern: '1'
external_id:
pmid:
- '25474733'
fulldoi: https://doi.org/10.1021/nn506656r
intvolume: ' 8'
issue: '12'
keyword:
- General Physics and Astronomy
- General Engineering
- General Materials Science
language:
- iso: eng
month: '12'
oa_version: None
page: 11913-11916
pmid: 1
publication: ACS Nano
publication_identifier:
eissn:
- 1936-086X
issn:
- 1936-0851
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Watching single molecules move in response to light
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2014'
...
---
_id: '13400'
abstract:
- lang: eng
text: Organizing inorganic nanocrystals into complex architectures is challenging
and typically relies on preexisting templates, such as properly folded DNA or
polypeptide chains. We found that under carefully controlled conditions, cubic
nanocrystals of magnetite self-assemble into arrays of helical superstructures
in a template-free manner with >99% yield. Computer simulations revealed that
the formation of helices is determined by the interplay of van der Waals and magnetic
dipole-dipole interactions, Zeeman coupling, and entropic forces and can be attributed
to spontaneous formation of chiral nanocube clusters. Neighboring helices within
their densely packed ensembles tended to adopt the same handedness in order to
maximize packing, thus revealing a novel mechanism of symmetry breaking and chirality
amplification.
article_processing_charge: No
article_type: original
author:
- first_name: Gurvinder
full_name: Singh, Gurvinder
last_name: Singh
- first_name: Henry
full_name: Chan, Henry
last_name: Chan
- first_name: Artem
full_name: Baskin, Artem
last_name: Baskin
- first_name: Elijah
full_name: Gelman, Elijah
last_name: Gelman
- first_name: Nikita
full_name: Repnin, Nikita
last_name: Repnin
- first_name: Petr
full_name: Král, Petr
last_name: Král
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Singh G, Chan H, Baskin A, et al. Self-assembly of magnetite nanocubes into
helical superstructures. Science. 2014;345(6201):1149-1153. doi:10.1126/science.1254132
apa: Singh, G., Chan, H., Baskin, A., Gelman, E., Repnin, N., Král, P., & Klajn,
R. (2014). Self-assembly of magnetite nanocubes into helical superstructures.
Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1254132
chicago: Singh, Gurvinder, Henry Chan, Artem Baskin, Elijah Gelman, Nikita Repnin,
Petr Král, and Rafal Klajn. “Self-Assembly of Magnetite Nanocubes into Helical
Superstructures.” Science. American Association for the Advancement of
Science, 2014. https://doi.org/10.1126/science.1254132.
ieee: G. Singh et al., “Self-assembly of magnetite nanocubes into helical
superstructures,” Science, vol. 345, no. 6201. American Association for
the Advancement of Science, pp. 1149–1153, 2014.
ista: Singh G, Chan H, Baskin A, Gelman E, Repnin N, Král P, Klajn R. 2014. Self-assembly
of magnetite nanocubes into helical superstructures. Science. 345(6201), 1149–1153.
mla: Singh, Gurvinder, et al. “Self-Assembly of Magnetite Nanocubes into Helical
Superstructures.” Science, vol. 345, no. 6201, American Association for
the Advancement of Science, 2014, pp. 1149–53, doi:10.1126/science.1254132.
short: G. Singh, H. Chan, A. Baskin, E. Gelman, N. Repnin, P. Král, R. Klajn, Science
345 (2014) 1149–1153.
date_created: 2023-08-01T09:45:56Z
date_published: 2014-07-24T00:00:00Z
date_updated: 2024-10-14T12:20:09Z
day: '24'
doi: 10.1126/science.1254132
extern: '1'
external_id:
pmid:
- '25061133'
fulldoi: https://doi.org/10.1126/science.1254132
intvolume: ' 345'
issue: '6201'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '07'
oa_version: None
page: 1149-1153
pmid: 1
publication: Science
publication_identifier:
eissn:
- 1095-9203
issn:
- 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Self-assembly of magnetite nanocubes into helical superstructures
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 345
year: '2014'
...
---
_id: '13401'
abstract:
- lang: eng
text: A compound combining the features of a molecular rotor and a photoswitch was
synthesized and was shown to exist as three diastereomers, which interconvert
via a reversible cyclic reaction scheme. Each of the three diastereomers was isolated,
and by following the equilibration kinetics, activation barriers for all reactions
were calculated. The results indicate that the properties of molecular switches
depend heavily on their immediate chemical environment. The conclusions are important
in the context of designing new switchable molecules and materials.
article_processing_charge: No
article_type: original
author:
- first_name: Pintu K.
full_name: Kundu, Pintu K.
last_name: Kundu
- first_name: Avishai
full_name: Lerner, Avishai
last_name: Lerner
- first_name: Kristina
full_name: Kučanda, Kristina
last_name: Kučanda
- first_name: Gregory
full_name: Leitus, Gregory
last_name: Leitus
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. Cyclic kinetics during thermal
equilibration of an axially chiral bis-spiropyran. Journal of the American
Chemical Society. 2014;136(32):11276-11279. doi:10.1021/ja505948q
apa: Kundu, P. K., Lerner, A., Kučanda, K., Leitus, G., & Klajn, R. (2014).
Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran.
Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja505948q
chicago: Kundu, Pintu K., Avishai Lerner, Kristina Kučanda, Gregory Leitus, and
Rafal Klajn. “Cyclic Kinetics during Thermal Equilibration of an Axially Chiral
Bis-Spiropyran.” Journal of the American Chemical Society. American Chemical
Society, 2014. https://doi.org/10.1021/ja505948q.
ieee: P. K. Kundu, A. Lerner, K. Kučanda, G. Leitus, and R. Klajn, “Cyclic kinetics
during thermal equilibration of an axially chiral bis-spiropyran,” Journal
of the American Chemical Society, vol. 136, no. 32. American Chemical Society,
pp. 11276–11279, 2014.
ista: Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. 2014. Cyclic kinetics during
thermal equilibration of an axially chiral bis-spiropyran. Journal of the American
Chemical Society. 136(32), 11276–11279.
mla: Kundu, Pintu K., et al. “Cyclic Kinetics during Thermal Equilibration of an
Axially Chiral Bis-Spiropyran.” Journal of the American Chemical Society,
vol. 136, no. 32, American Chemical Society, 2014, pp. 11276–79, doi:10.1021/ja505948q.
short: P.K. Kundu, A. Lerner, K. Kučanda, G. Leitus, R. Klajn, Journal of the American
Chemical Society 136 (2014) 11276–11279.
date_created: 2023-08-01T09:46:12Z
date_published: 2014-08-13T00:00:00Z
date_updated: 2024-10-14T12:20:21Z
day: '13'
doi: 10.1021/ja505948q
extern: '1'
external_id:
pmid:
- '25072292'
fulldoi: https://doi.org/10.1021/ja505948q
intvolume: ' 136'
issue: '32'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
month: '08'
oa_version: None
page: 11276-11279
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 136
year: '2014'
...
---
_id: '13402'
abstract:
- lang: eng
text: Nanoporous frameworks are polymeric materials built from rigid molecules,
which give rise to their nanoporous structures with applications in gas sorption
and storage, catalysis and others. Conceptually new applications could emerge,
should these beneficial properties be manipulated by external stimuli in a reversible
manner. One approach to render nanoporous frameworks responsive to external signals
would be to immobilize molecular switches within their nanopores. Although the
majority of molecular switches require conformational freedom to isomerize, and
switching in the solid state is prohibited, the nanopores may provide enough room
for the switches to efficiently isomerize. Here we describe two families of nanoporous
materials incorporating the spiropyran molecular switch. These materials exhibit
a variety of interesting properties, including reversible photochromism and acidochromism
under solvent-free conditions, light-controlled capture and release of metal ions,
as well reversible chromism induced by solvation/desolvation.
article_number: '3588'
article_processing_charge: No
article_type: original
author:
- first_name: Pintu K.
full_name: Kundu, Pintu K.
last_name: Kundu
- first_name: Gregory L.
full_name: Olsen, Gregory L.
last_name: Olsen
- first_name: Vladimir
full_name: Kiss, Vladimir
last_name: Kiss
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Kundu PK, Olsen GL, Kiss V, Klajn R. Nanoporous frameworks exhibiting multiple
stimuli responsiveness. Nature Communications. 2014;5. doi:10.1038/ncomms4588
apa: Kundu, P. K., Olsen, G. L., Kiss, V., & Klajn, R. (2014). Nanoporous frameworks
exhibiting multiple stimuli responsiveness. Nature Communications. Springer
Nature. https://doi.org/10.1038/ncomms4588
chicago: Kundu, Pintu K., Gregory L. Olsen, Vladimir Kiss, and Rafal Klajn. “Nanoporous
Frameworks Exhibiting Multiple Stimuli Responsiveness.” Nature Communications.
Springer Nature, 2014. https://doi.org/10.1038/ncomms4588.
ieee: P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting
multiple stimuli responsiveness,” Nature Communications, vol. 5. Springer
Nature, 2014.
ista: Kundu PK, Olsen GL, Kiss V, Klajn R. 2014. Nanoporous frameworks exhibiting
multiple stimuli responsiveness. Nature Communications. 5, 3588.
mla: Kundu, Pintu K., et al. “Nanoporous Frameworks Exhibiting Multiple Stimuli
Responsiveness.” Nature Communications, vol. 5, 3588, Springer Nature,
2014, doi:10.1038/ncomms4588.
short: P.K. Kundu, G.L. Olsen, V. Kiss, R. Klajn, Nature Communications 5 (2014).
date_created: 2023-08-01T09:46:27Z
date_published: 2014-04-07T00:00:00Z
date_updated: 2024-10-14T12:20:30Z
day: '07'
doi: 10.1038/ncomms4588
extern: '1'
external_id:
pmid:
- '24709950'
fulldoi: https://doi.org/10.1038/ncomms4588
intvolume: ' 5'
keyword:
- General Physics and Astronomy
- General Biochemistry
- Genetics and Molecular Biology
- General Chemistry
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1038/ncomms4588
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nanoporous frameworks exhibiting multiple stimuli responsiveness
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2014'
...
---
_id: '13403'
abstract:
- lang: eng
text: We show that bimolecular reactions between species confined to the surfaces
of nanoparticles can be manipulated by the nature of the linker, as well as by
the curvature of the underlying particles.
article_processing_charge: No
article_type: original
author:
- first_name: Tino
full_name: Zdobinsky, Tino
last_name: Zdobinsky
- first_name: Pradipta
full_name: Sankar Maiti, Pradipta
last_name: Sankar Maiti
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Zdobinsky T, Sankar Maiti P, Klajn R. Support curvature and conformational
freedom control chemical reactivity of immobilized species. Journal of the
American Chemical Society. 2014;136(7):2711-2714. doi:10.1021/ja411573a
apa: Zdobinsky, T., Sankar Maiti, P., & Klajn, R. (2014). Support curvature
and conformational freedom control chemical reactivity of immobilized species.
Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja411573a
chicago: Zdobinsky, Tino, Pradipta Sankar Maiti, and Rafal Klajn. “Support Curvature
and Conformational Freedom Control Chemical Reactivity of Immobilized Species.”
Journal of the American Chemical Society. American Chemical Society, 2014.
https://doi.org/10.1021/ja411573a.
ieee: T. Zdobinsky, P. Sankar Maiti, and R. Klajn, “Support curvature and conformational
freedom control chemical reactivity of immobilized species,” Journal of the
American Chemical Society, vol. 136, no. 7. American Chemical Society, pp.
2711–2714, 2014.
ista: Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational
freedom control chemical reactivity of immobilized species. Journal of the American
Chemical Society. 136(7), 2711–2714.
mla: Zdobinsky, Tino, et al. “Support Curvature and Conformational Freedom Control
Chemical Reactivity of Immobilized Species.” Journal of the American Chemical
Society, vol. 136, no. 7, American Chemical Society, 2014, pp. 2711–14, doi:10.1021/ja411573a.
short: T. Zdobinsky, P. Sankar Maiti, R. Klajn, Journal of the American Chemical
Society 136 (2014) 2711–2714.
date_created: 2023-08-01T09:46:44Z
date_published: 2014-02-19T00:00:00Z
date_updated: 2024-10-14T12:20:41Z
day: '19'
doi: 10.1021/ja411573a
extern: '1'
external_id:
pmid:
- '24320557'
fulldoi: https://doi.org/10.1021/ja411573a
intvolume: ' 136'
issue: '7'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
month: '02'
oa_version: None
page: 2711-2714
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Support curvature and conformational freedom control chemical reactivity of
immobilized species
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 136
year: '2014'
...
---
_id: '13404'
abstract:
- lang: eng
text: In the past few years, spiropyran has emerged as the molecule-of-choice for
the construction of novel dynamic materials. This unique molecular switch undergoes
structural isomerisation in response to a variety of orthogonal stimuli, e.g.
light, temperature, metal ions, redox potential, and mechanical stress. Incorporation
of this switch onto macromolecular supports or inorganic scaffolds allows for
the creation of robust dynamic materials. This review discusses the synthesis,
switching conditions, and use of dynamic materials in which spiropyran has been
attached to the surfaces of polymers, biomacromolecules, inorganic nanoparticles,
as well as solid surfaces. The resulting materials show fascinating properties
whereby the state of the switch intimately affects a multitude of useful properties
of the support. The utility of the spiropyran switch will undoubtedly endow these
materials with far-reaching applications in the near future.
article_processing_charge: No
article_type: original
author:
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Klajn R. Spiropyran-based dynamic materials. Chemical Society Reviews.
2014;43(1):148-184. doi:10.1039/c3cs60181a
apa: Klajn, R. (2014). Spiropyran-based dynamic materials. Chemical Society Reviews.
Royal Society of Chemistry. https://doi.org/10.1039/c3cs60181a
chicago: Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society
Reviews. Royal Society of Chemistry, 2014. https://doi.org/10.1039/c3cs60181a.
ieee: R. Klajn, “Spiropyran-based dynamic materials,” Chemical Society Reviews,
vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.
ista: Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews.
43(1), 148–184.
mla: Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society Reviews,
vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:10.1039/c3cs60181a.
short: R. Klajn, Chemical Society Reviews 43 (2014) 148–184.
date_created: 2023-08-01T09:47:03Z
date_published: 2014-01-27T00:00:00Z
date_updated: 2024-10-14T12:20:49Z
day: '27'
doi: 10.1039/c3cs60181a
extern: '1'
external_id:
pmid:
- '23979515'
fulldoi: https://doi.org/10.1039/c3cs60181a
intvolume: ' 43'
issue: '1'
keyword:
- General Chemistry
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1039/C3CS60181A
month: '01'
oa: 1
oa_version: Published Version
page: 148-184
pmid: 1
publication: Chemical Society Reviews
publication_identifier:
eissn:
- 1460-4744
issn:
- 0306-0012
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spiropyran-based dynamic materials
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 43
year: '2014'
...
---
_id: '1375'
abstract:
- lang: eng
text: 'We consider directed graphs where each edge is labeled with an integer weight
and study the fundamental algorithmic question of computing the value of a cycle
with minimum mean weight. Our contributions are twofold: (1) First we show that
the algorithmic question is reducible to the problem of a logarithmic number of
min-plus matrix multiplications of n×n-matrices, where n is the number of vertices
of the graph. (2) Second, when the weights are nonnegative, we present the first
(1+ε)-approximation algorithm for the problem and the running time of our algorithm
is Õ(nωlog3(nW/ε)/ε),1 where O(nω) is the time required for the classic n×n-matrix
multiplication and W is the maximum value of the weights. With an additional O(log(nW/ε))
factor in space a cycle with approximately optimal weight can be computed within
the same time bound.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Sebastian
full_name: Krinninger, Sebastian
last_name: Krinninger
- first_name: Veronika
full_name: Loitzenbauer, Veronika
last_name: Loitzenbauer
- first_name: Michael
full_name: Raskin, Michael
last_name: Raskin
citation:
ama: Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating
the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116.
doi:10.1016/j.tcs.2014.06.031
apa: Chatterjee, K., Henzinger, M., Krinninger, S., Loitzenbauer, V., & Raskin,
M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science.
Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031
chicago: Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, Veronika
Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical
Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2014.06.031.
ieee: K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin,
“Approximating the minimum cycle mean,” Theoretical Computer Science, vol.
547, no. C. Elsevier, pp. 104–116, 2014.
ista: Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating
the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
mla: Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical
Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
short: K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical
Computer Science 547 (2014) 104–116.
date_created: 2018-12-11T11:51:40Z
date_published: 2014-08-28T00:00:00Z
date_updated: 2025-09-29T13:17:21Z
day: '28'
department:
- _id: KrCh
doi: 10.1016/j.tcs.2014.06.031
ec_funded: 1
external_id:
arxiv:
- '1307.4473'
isi:
- '000340694000008'
fulldoi: https://doi.org/10.1016/j.tcs.2014.06.031
intvolume: ' 547'
isi: 1
issue: C
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1307.4473
month: '08'
oa: 1
oa_version: Preprint
page: 104 - 116
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Theoretical Computer Science
publication_status: published
publisher: Elsevier
publist_id: '5836'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Approximating the minimum cycle mean
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 547
year: '2014'
...
---
_id: '1392'
abstract:
- lang: eng
text: Fault-tolerant distributed algorithms play an important role in ensuring the
reliability of many software applications. In this paper we consider distributed
algorithms whose computations are organized in rounds. To verify the correctness
of such algorithms, we reason about (i) properties (such as invariants) of the
state, (ii) the transitions controlled by the algorithm, and (iii) the communication
graph. We introduce a logic that addresses these points, and contains set comprehensions
with cardinality constraints, function symbols to describe the local states of
each process, and a limited form of quantifier alternation to express the verification
conditions. We show its use in automating the verification of consensus algorithms.
In particular, we give a semi-decision procedure for the unsatisfiability problem
of the logic and identify a decidable fragment. We successfully applied our framework
to verify the correctness of a variety of consensus algorithms tolerant to both
benign faults (message loss, process crashes) and value faults (message corruption).
acknowledgement: Supported by the Vienna Science and Technology Fund (WWTF) through
grant PROSEED.
alternative_title:
- LNCS
author:
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- 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: Helmut
full_name: Veith, Helmut
last_name: Veith
- first_name: Josef
full_name: Widder, Josef
last_name: Widder
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: 'Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework
for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10'
apa: 'Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014).
A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181).
Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation,
San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10'
chicago: Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien
Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81.
Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
ieee: 'C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based
framework for verifying consensus algorithms,” presented at the VMCAI: Verification,
Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp.
161–181.'
ista: 'Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based
framework for verifying consensus algorithms. VMCAI: Verification, Model Checking
and Abstract Interpretation, LNCS, vol. 8318, 161–181.'
mla: Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms.
Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
short: C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer,
2014, pp. 161–181.
conference:
end_date: 2014-01-21
location: San Diego, USA
name: 'VMCAI: Verification, Model Checking and Abstract Interpretation'
start_date: 2014-01-19
date_created: 2018-12-11T11:51:45Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:50:22Z
day: '01'
ddc:
- '000'
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-54013-4_10
ec_funded: 1
file:
- access_level: open_access
checksum: bffa33d39be77df0da39defe97eabf84
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:06Z
date_updated: 2020-07-14T12:44:48Z
file_id: '4859'
file_name: IST-2014-179-v1+1_vmcai14.pdf
file_size: 444138
relation: main_file
file_date_updated: 2020-07-14T12:44:48Z
fulldoi: https://doi.org/10.1007/978-3-642-54013-4_10
has_accepted_license: '1'
intvolume: ' 8318'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 161 - 181
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication_status: published
publisher: Springer
publist_id: '5817'
pubrep_id: '179'
quality_controlled: '1'
scopus_import: 1
status: public
title: A logic-based framework for verifying consensus algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8318
year: '2014'
...
---
_id: '1393'
abstract:
- lang: eng
text: 'Probabilistic programs are usual functional or imperative programs with two
added constructs: (1) the ability to draw values at random from distributions,
and (2) the ability to condition values of variables in a program via observations.
Models from diverse application areas such as computer vision, coding theory,
cryptographic protocols, biology and reliability analysis can be written as probabilistic
programs. Probabilistic inference is the problem of computing an explicit representation
of the probability distribution implicitly specified by a probabilistic program.
Depending on the application, the desired output from inference may vary-we may
want to estimate the expected value of some function f with respect to the distribution,
or the mode of the distribution, or simply a set of samples drawn from the distribution.
In this paper, we describe connections this research area called \Probabilistic
Programming" has with programming languages and software engineering, and
this includes language design, and the static and dynamic analysis of programs.
We survey current state of the art and speculate on promising directions for future
research.'
article_processing_charge: No
author:
- first_name: Andrew
full_name: Gordon, Andrew
last_name: Gordon
- 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: Aditya
full_name: Nori, Aditya
last_name: Nori
- first_name: Sriram
full_name: Rajamani, Sriram
last_name: Rajamani
citation:
ama: 'Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In:
Proceedings of the on Future of Software Engineering. ACM; 2014:167-181.
doi:10.1145/2593882.2593900'
apa: 'Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic
programming. In Proceedings of the on Future of Software Engineering (pp.
167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900'
chicago: Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic
Programming.” In Proceedings of the on Future of Software Engineering,
167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.
ieee: A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,”
in Proceedings of the on Future of Software Engineering, Hyderabad, India,
2014, pp. 167–181.
ista: 'Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming.
Proceedings of the on Future of Software Engineering. FOSE: Future of Software
Engineering, 167–181.'
mla: Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on
Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
short: A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the
on Future of Software Engineering, ACM, 2014, pp. 167–181.
conference:
end_date: 2014-06-07
location: Hyderabad, India
name: 'FOSE: Future of Software Engineering'
start_date: 2014-05-31
date_created: 2018-12-11T11:51:45Z
date_published: 2014-05-31T00:00:00Z
date_updated: 2026-06-18T17:31:28Z
day: '31'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/2593882.2593900
ec_funded: 1
fulldoi: https://doi.org/10.1145/2593882.2593900
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/2593882.2593900
month: '05'
oa: 1
oa_version: Published Version
page: 167 - 181
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 on Future of Software Engineering
publication_status: published
publisher: ACM
publist_id: '5816'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Probabilistic programming
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '14018'
abstract:
- lang: eng
text: The sensitivities of high-harmonic generation (HHG) and strong-field ionization
(SFI) to coupled electronic and nuclear dynamics are studied, using the nitric
oxide (NO) molecule as an example. A coherent superposition of electronic and
rotational states of NO is prepared by impulsive stimulated Raman scattering and
probed by simultaneous detection of HHG and SFI yields. We observe a fourfold
higher sensitivity of high-harmonic generation to electronic dynamics and attribute
it to the presence of inelastic quantum paths connecting coherently related electronic
states [Kraus et al., Phys. Rev. Lett.111, 243005 (2013)]. Whereas different harmonic
orders display very different sensitivities to rotational or electronic dynamics,
strong-field ionization is found to be most sensitive to electronic motion. We
introduce a general theoretical formalism for high-harmonic generation from coupled
nuclear-electronic wave packets. We show that the unequal sensitivities of different
harmonic orders to electronic or rotational dynamics result from the angle dependence
of the photorecombination matrix elements which encode several autoionizing and
shape resonances in the photoionization continuum of NO. We further study the
dependence of rotational and electronic coherences on the intensity of the excitation
pulse and support the observations with calculations.
article_processing_charge: No
article_type: original
author:
- first_name: Denitsa Rangelova
full_name: Baykusheva, Denitsa Rangelova
id: 71b4d059-2a03-11ee-914d-dfa3beed6530
last_name: Baykusheva
- first_name: Peter M.
full_name: Kraus, Peter M.
last_name: Kraus
- first_name: Song Bin
full_name: Zhang, Song Bin
last_name: Zhang
- first_name: Nina
full_name: Rohringer, Nina
last_name: Rohringer
- first_name: Hans Jakob
full_name: Wörner, Hans Jakob
last_name: Wörner
citation:
ama: Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. The sensitivities
of high-harmonic generation and strong-field ionization to coupled electronic
and nuclear dynamics. Faraday Discussions. 2014;171:113-132. doi:10.1039/c4fd00018h
apa: Baykusheva, D. R., Kraus, P. M., Zhang, S. B., Rohringer, N., & Wörner,
H. J. (2014). The sensitivities of high-harmonic generation and strong-field ionization
to coupled electronic and nuclear dynamics. Faraday Discussions. Royal
Society of Chemistry. https://doi.org/10.1039/c4fd00018h
chicago: Baykusheva, Denitsa Rangelova, Peter M. Kraus, Song Bin Zhang, Nina Rohringer,
and Hans Jakob Wörner. “The Sensitivities of High-Harmonic Generation and Strong-Field
Ionization to Coupled Electronic and Nuclear Dynamics.” Faraday Discussions.
Royal Society of Chemistry, 2014. https://doi.org/10.1039/c4fd00018h.
ieee: D. R. Baykusheva, P. M. Kraus, S. B. Zhang, N. Rohringer, and H. J. Wörner,
“The sensitivities of high-harmonic generation and strong-field ionization to
coupled electronic and nuclear dynamics,” Faraday Discussions, vol. 171.
Royal Society of Chemistry, pp. 113–132, 2014.
ista: Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. 2014. The sensitivities
of high-harmonic generation and strong-field ionization to coupled electronic
and nuclear dynamics. Faraday Discussions. 171, 113–132.
mla: Baykusheva, Denitsa Rangelova, et al. “The Sensitivities of High-Harmonic Generation
and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” Faraday
Discussions, vol. 171, Royal Society of Chemistry, 2014, pp. 113–32, doi:10.1039/c4fd00018h.
short: D.R. Baykusheva, P.M. Kraus, S.B. Zhang, N. Rohringer, H.J. Wörner, Faraday
Discussions 171 (2014) 113–132.
date_created: 2023-08-10T06:38:19Z
date_published: 2014-04-14T00:00:00Z
date_updated: 2023-08-22T08:58:12Z
day: '14'
doi: 10.1039/c4fd00018h
extern: '1'
external_id:
pmid:
- '25415558'
fulldoi: https://doi.org/10.1039/c4fd00018h
intvolume: ' 171'
keyword:
- Physical and Theoretical Chemistry
language:
- iso: eng
month: '04'
oa_version: None
page: 113-132
pmid: 1
publication: Faraday Discussions
publication_identifier:
eissn:
- 1364-5498
issn:
- 1359-6640
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: The sensitivities of high-harmonic generation and strong-field ionization to
coupled electronic and nuclear dynamics
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 171
year: '2014'
...
---
_id: '14019'
abstract:
- lang: eng
text: The cyclopropene radical cation (c-C3H₄⁺) is an important but poorly characterized
three-membered-ring hydrocarbon. We report on a measurement of the high-resolution
photoelectron and photoionization spectra of cyclopropene and several deuterated
isotopomers, from which we have determined the rovibrational energy level structure
of the X⁺ (2)B2 ground electronic state of c-C3H₄⁺ at low energies for the first
time. The synthesis of the partially deuterated isotopomers always resulted in
mixtures of several isotopomers, differing in their number of D atoms and in the
location of these atoms, so that the photoelectron spectra of deuterated samples
are superpositions of the spectra of several isotopomers. The rotationally resolved
spectra indicate a C(2v)-symmetric R0 structure for the ground electronic state
of c-C3H₄⁺. Two vibrational modes of c-C3H₄⁺ are found to have vibrational wave
numbers below 300 cm(-1), which is surprising for such a small cyclic hydrocarbon.
The analysis of the isotopic shifts of the vibrational levels enabled the assignment
of the lowest-frequency mode (fundamental wave number of ≈110 cm(-1) in c-C3H₄⁺)
to the CH2 torsional mode (ν₈⁺, A2 symmetry) and of the second-lowest-frequency
mode (≈210 cm(-1) in c-C3H₄⁺) to a mode combining a CH out-of-plane with a CH2
rocking motion (ν₁₅⁺, B2 symmetry). The potential energy along the CH2 torsional
coordinate is flat near the equilibrium structure and leads to a pronounced anharmonicity.
article_number: '064317'
article_processing_charge: No
article_type: original
author:
- first_name: K.
full_name: Vasilatou, K.
last_name: Vasilatou
- first_name: J. M.
full_name: Michaud, J. M.
last_name: Michaud
- first_name: Denitsa Rangelova
full_name: Baykusheva, Denitsa Rangelova
id: 71b4d059-2a03-11ee-914d-dfa3beed6530
last_name: Baykusheva
- first_name: G.
full_name: Grassi, G.
last_name: Grassi
- first_name: F.
full_name: Merkt, F.
last_name: Merkt
citation:
ama: 'Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. The cyclopropene
radical cation: Rovibrational level structure at low energies from high-resolution
photoelectron spectra. The Journal of Chemical Physics. 2014;141(6). doi:10.1063/1.4890744'
apa: 'Vasilatou, K., Michaud, J. M., Baykusheva, D. R., Grassi, G., & Merkt,
F. (2014). The cyclopropene radical cation: Rovibrational level structure at low
energies from high-resolution photoelectron spectra. The Journal of Chemical
Physics. AIP Publishing. https://doi.org/10.1063/1.4890744'
chicago: 'Vasilatou, K., J. M. Michaud, Denitsa Rangelova Baykusheva, G. Grassi,
and F. Merkt. “The Cyclopropene Radical Cation: Rovibrational Level Structure
at Low Energies from High-Resolution Photoelectron Spectra.” The Journal of
Chemical Physics. AIP Publishing, 2014. https://doi.org/10.1063/1.4890744.'
ieee: 'K. Vasilatou, J. M. Michaud, D. R. Baykusheva, G. Grassi, and F. Merkt, “The
cyclopropene radical cation: Rovibrational level structure at low energies from
high-resolution photoelectron spectra,” The Journal of Chemical Physics,
vol. 141, no. 6. AIP Publishing, 2014.'
ista: 'Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene
radical cation: Rovibrational level structure at low energies from high-resolution
photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317.'
mla: 'Vasilatou, K., et al. “The Cyclopropene Radical Cation: Rovibrational Level
Structure at Low Energies from High-Resolution Photoelectron Spectra.” The
Journal of Chemical Physics, vol. 141, no. 6, 064317, AIP Publishing, 2014,
doi:10.1063/1.4890744.'
short: K. Vasilatou, J.M. Michaud, D.R. Baykusheva, G. Grassi, F. Merkt, The Journal
of Chemical Physics 141 (2014).
date_created: 2023-08-10T06:38:30Z
date_published: 2014-08-14T00:00:00Z
date_updated: 2023-08-22T09:01:31Z
day: '14'
doi: 10.1063/1.4890744
extern: '1'
external_id:
pmid:
- '25134581'
fulldoi: https://doi.org/10.1063/1.4890744
intvolume: ' 141'
issue: '6'
keyword:
- Physical and Theoretical Chemistry
- General Physics and Astronomy
language:
- iso: eng
month: '08'
oa_version: None
pmid: 1
publication: The Journal of Chemical Physics
publication_identifier:
eissn:
- 1089-7690
issn:
- 0021-9606
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The cyclopropene radical cation: Rovibrational level structure at low energies
from high-resolution photoelectron spectra'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 141
year: '2014'
...
---
_id: '14020'
abstract:
- lang: eng
text: We report the observation of macroscopic field-free orientation, i.e., more
than 73% of CO molecules pointing in the same direction. This is achieved through
an all-optical scheme operating at high particle densities (>10(17) cm(-3)) that
combines one-color (ω) and two-color (ω+2ω) nonresonant femtosecond laser pulses.
We show that the achieved orientation solely relies on the hyperpolarizability
interaction as opposed to an ionization-depletion mechanism, thus, opening a wide
range of applications. The achieved strong orientation enables us to reveal the
molecular-frame anisotropies of the photorecombination amplitudes and phases caused
by a shape resonance. The resonance appears as a local maximum in the even-harmonic
emission around 28 eV. In contrast, the odd-harmonic emission is suppressed in
this spectral region through the combined effects of an asymmetric photorecombination
phase and a subcycle Stark effect, generic for polar molecules, that we experimentally
identify.
article_number: '023001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: P. M.
full_name: Kraus, P. M.
last_name: Kraus
- first_name: Denitsa Rangelova
full_name: Baykusheva, Denitsa Rangelova
id: 71b4d059-2a03-11ee-914d-dfa3beed6530
last_name: Baykusheva
- first_name: H. J.
full_name: Wörner, H. J.
last_name: Wörner
citation:
ama: Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse field-free orientation reveals
anisotropy of molecular shape resonance. Physical Review Letters. 2014;113(2).
doi:10.1103/physrevlett.113.023001
apa: Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse field-free
orientation reveals anisotropy of molecular shape resonance. Physical Review
Letters. American Physical Society. https://doi.org/10.1103/physrevlett.113.023001
chicago: Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse
Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical
Review Letters. American Physical Society, 2014. https://doi.org/10.1103/physrevlett.113.023001.
ieee: P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation
reveals anisotropy of molecular shape resonance,” Physical Review Letters,
vol. 113, no. 2. American Physical Society, 2014.
ista: Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation
reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2),
023001.
mla: Kraus, P. M., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of
Molecular Shape Resonance.” Physical Review Letters, vol. 113, no. 2, 023001,
American Physical Society, 2014, doi:10.1103/physrevlett.113.023001.
short: P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).
date_created: 2023-08-10T06:38:38Z
date_published: 2014-07-11T00:00:00Z
date_updated: 2023-08-22T09:02:56Z
day: '11'
doi: 10.1103/physrevlett.113.023001
extern: '1'
external_id:
arxiv:
- '1311.3923'
pmid:
- '25062172'
fulldoi: https://doi.org/10.1103/physrevlett.113.023001
intvolume: ' 113'
issue: '2'
keyword:
- General Physics and Astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1311.3923
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Two-pulse field-free orientation reveals anisotropy of molecular shape resonance
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 113
year: '2014'
...
---
_id: '14021'
abstract:
- lang: eng
text: We present the detailed analysis of a new two-pulse orientation scheme that
achieves macroscopic field-free orientation at the high particle densities required
for attosecond and high-harmonic spectroscopies (Kraus et al 2013 arXiv:1311.3923).
Carbon monoxide molecules are oriented by combining one-colour and delayed two-colour
non-resonant femtosecond laser pulses. High-harmonic generation is used to probe
the oriented wave-packet dynamics and reveals that a very high degree of orientation
(Nup/Ntotal = 0.73–0.82) is achieved. We further extend this approach to orienting
carbonyl sulphide molecules. We show that the present two-pulse scheme selectively
enhances orientation created by the hyperpolarizability interaction whereas the
ionization-depletion mechanism plays no role. We further control and optimize
orientation through the delay between the one- and two-colour pump pulses. Finally,
we demonstrate a complementary encoding of electronic-structure features, such
as shape resonances, in the even- and odd-harmonic spectrum. The achieved progress
makes two-pulse field-free orientation an attractive tool for a broad class of
time-resolved measurements.
article_number: '124030'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: P M
full_name: Kraus, P M
last_name: Kraus
- first_name: Denitsa Rangelova
full_name: Baykusheva, Denitsa Rangelova
id: 71b4d059-2a03-11ee-914d-dfa3beed6530
last_name: Baykusheva
- first_name: H J
full_name: Wörner, H J
last_name: Wörner
citation:
ama: 'Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse orientation dynamics and high-harmonic
spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic,
Molecular and Optical Physics. 2014;47(12). doi:10.1088/0953-4075/47/12/124030'
apa: 'Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse orientation
dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal
of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/0953-4075/47/12/124030'
chicago: 'Kraus, P M, Denitsa Rangelova Baykusheva, and H J Wörner. “Two-Pulse Orientation
Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” Journal
of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing, 2014.
https://doi.org/10.1088/0953-4075/47/12/124030.'
ieee: 'P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse orientation dynamics
and high-harmonic spectroscopy of strongly-oriented molecules,” Journal of
Physics B: Atomic, Molecular and Optical Physics, vol. 47, no. 12. IOP Publishing,
2014.'
ista: 'Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics
and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics
B: Atomic, Molecular and Optical Physics. 47(12), 124030.'
mla: 'Kraus, P. M., et al. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy
of Strongly-Oriented Molecules.” Journal of Physics B: Atomic, Molecular and
Optical Physics, vol. 47, no. 12, 124030, IOP Publishing, 2014, doi:10.1088/0953-4075/47/12/124030.'
short: 'P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic,
Molecular and Optical Physics 47 (2014).'
date_created: 2023-08-10T06:38:48Z
date_published: 2014-06-10T00:00:00Z
date_updated: 2023-08-22T09:04:30Z
day: '10'
doi: 10.1088/0953-4075/47/12/124030
extern: '1'
external_id:
arxiv:
- '1311.3923'
fulldoi: https://doi.org/10.1088/0953-4075/47/12/124030
intvolume: ' 47'
issue: '12'
keyword:
- Condensed Matter Physics
- Atomic and Molecular Physics
- and Optics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1311.3923
month: '06'
oa: 1
oa_version: Preprint
publication: 'Journal of Physics B: Atomic, Molecular and Optical Physics'
publication_identifier:
eissn:
- 1361-6455
issn:
- 0953-4075
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented
molecules
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2014'
...
---
_id: '14301'
abstract:
- lang: eng
text: DNA has become a prime material for assembling complex three-dimensional objects
that promise utility in various areas of application. However, achieving user-defined
goals with DNA objects has been hampered by the difficulty to prepare them at
arbitrary concentrations and in user-defined solution conditions. Here, we describe
a method that solves this problem. The method is based on poly(ethylene glycol)-induced
depletion of species with high molecular weight. We demonstrate that our method
is applicable to a wide spectrum of DNA shapes and that it achieves excellent
recovery yields of target objects up to 97 %, while providing efficient separation
from non-integrated DNA strands. DNA objects may be prepared at concentrations
up to the limit of solubility, including the possibility for bringing DNA objects
into a solid phase. Due to the fidelity and simplicity of our method we anticipate
that it will help to catalyze the development of new types of applications that
use self-assembled DNA objects.
article_processing_charge: No
article_type: original
author:
- first_name: Evi
full_name: Stahl, Evi
last_name: Stahl
- first_name: Thomas
full_name: Martin, Thomas
last_name: Martin
- first_name: Florian M
full_name: Praetorius, Florian M
id: dfec9381-4341-11ee-8fd8-faa02bba7d62
last_name: Praetorius
- first_name: Hendrik
full_name: Dietz, Hendrik
last_name: Dietz
citation:
ama: Stahl E, Martin T, Praetorius FM, Dietz H. Facile and scalable preparation
of pure and dense DNA origami solutions. Angewandte Chemie International Edition.
2014;126(47):12949-12954. doi:10.1002/ange.201405991
apa: Stahl, E., Martin, T., Praetorius, F. M., & Dietz, H. (2014). Facile and
scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie
International Edition. Wiley. https://doi.org/10.1002/ange.201405991
chicago: Stahl, Evi, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile
and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte
Chemie International Edition. Wiley, 2014. https://doi.org/10.1002/ange.201405991.
ieee: E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable
preparation of pure and dense DNA origami solutions,” Angewandte Chemie International
Edition, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.
ista: Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation
of pure and dense DNA origami solutions. Angewandte Chemie International Edition.
126(47), 12949–12954.
mla: Stahl, Evi, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami
Solutions.” Angewandte Chemie International Edition, vol. 126, no. 47,
Wiley, 2014, pp. 12949–54, doi:10.1002/ange.201405991.
short: E. Stahl, T. Martin, F.M. Praetorius, H. Dietz, Angewandte Chemie International
Edition 126 (2014) 12949–12954.
date_created: 2023-09-06T12:51:14Z
date_published: 2014-11-17T00:00:00Z
date_updated: 2023-11-07T12:14:30Z
day: '17'
doi: 10.1002/ange.201405991
extern: '1'
external_id:
pmid:
- '25346175'
fulldoi: https://doi.org/10.1002/ange.201405991
intvolume: ' 126'
issue: '47'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1002/ange.201405991
month: '11'
oa: 1
oa_version: Published Version
page: 12949-12954
pmid: 1
publication: Angewandte Chemie International Edition
publication_identifier:
eissn:
- 1521-3773
issn:
- 1433-7851
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Facile and scalable preparation of pure and dense DNA origami solutions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 126
year: '2014'
...
---
_id: '1507'
abstract:
- lang: eng
text: The Wigner-Dyson-Gaudin-Mehta conjecture asserts that the local eigenvalue
statistics of large real and complex Hermitian matrices with independent, identically
distributed entries are universal in a sense that they depend only on the symmetry
class of the matrix and otherwise are independent of the details of the distribution.
We present the recent solution to this half-century old conjecture. We explain
how stochastic tools, such as the Dyson Brownian motion, and PDE ideas, such as
De Giorgi-Nash-Moser regularity theory, were combined in the solution. We also
show related results for log-gases that represent a universal model for strongly
correlated systems. Finally, in the spirit of Wigner’s original vision, we discuss
the extensions of these universality results to more realistic physical systems
such as random band matrices.
acknowledgement: The author is partially supported by SFB-TR 12 Grant of the German
Research Council.
article_processing_charge: No
arxiv: 1
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
citation:
ama: 'Erdös L. Random matrices, log-gases and Hölder regularity. In: Proceedings
of the International Congress of Mathematicians. Vol 3. International Congress
of Mathematicians; 2014:214-236.'
apa: 'Erdös, L. (2014). Random matrices, log-gases and Hölder regularity. In Proceedings
of the International Congress of Mathematicians (Vol. 3, pp. 214–236). Seoul,
Korea: International Congress of Mathematicians.'
chicago: Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” In Proceedings
of the International Congress of Mathematicians, 3:214–36. International Congress
of Mathematicians, 2014.
ieee: L. Erdös, “Random matrices, log-gases and Hölder regularity,” in Proceedings
of the International Congress of Mathematicians, Seoul, Korea, 2014, vol.
3, pp. 214–236.
ista: 'Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings
of the International Congress of Mathematicians. ICM: International Congress of
Mathematicians vol. 3, 214–236.'
mla: Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” Proceedings
of the International Congress of Mathematicians, vol. 3, International Congress
of Mathematicians, 2014, pp. 214–36.
short: L. Erdös, in:, Proceedings of the International Congress of Mathematicians,
International Congress of Mathematicians, 2014, pp. 214–236.
conference:
end_date: 2014-08-21
location: Seoul, Korea
name: 'ICM: International Congress of Mathematicians'
start_date: 2014-08-13
date_created: 2018-12-11T11:52:25Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2025-06-11T07:52:59Z
day: '01'
department:
- _id: LaEr
ec_funded: 1
external_id:
arxiv:
- '1407.5752'
intvolume: ' 3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1407.5752
month: '08'
oa: 1
oa_version: Submitted Version
page: 214 - 236
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Proceedings of the International Congress of Mathematicians
publication_status: published
publisher: International Congress of Mathematicians
publist_id: '5670'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Random matrices, log-gases and Hölder regularity
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2014'
...
---
_id: '1516'
abstract:
- lang: eng
text: "We present a rigorous derivation of the BCS gap equation for superfluid fermionic
gases with point interactions. Our starting point is the BCS energy functional,
whose minimizer we investigate in the limit when the range of the interaction
potential goes to zero.\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Gerhard
full_name: Bräunlich, Gerhard
last_name: Bräunlich
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid
fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific
Publishing; 2014:127-137. doi:10.1142/9789814618144_0007'
apa: 'Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). On the BCS gap equation
for superfluid fermionic gases. In Proceedings of the QMath12 Conference
(pp. 127–137). Berlin, Germany: World Scientific Publishing. https://doi.org/10.1142/9789814618144_0007'
chicago: Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS
Gap Equation for Superfluid Fermionic Gases.” In Proceedings of the QMath12
Conference, 127–37. World Scientific Publishing, 2014. https://doi.org/10.1142/9789814618144_0007.
ieee: G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid
fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany,
2014, pp. 127–137.
ista: 'Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid
fermionic gases. Proceedings of the QMath12 Conference. QMath: Mathematical Results
in Quantum Physics, 127–137.'
mla: Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic
Gases.” Proceedings of the QMath12 Conference, World Scientific Publishing,
2014, pp. 127–37, doi:10.1142/9789814618144_0007.
short: G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference,
World Scientific Publishing, 2014, pp. 127–137.
conference:
end_date: 2013-09-13
location: Berlin, Germany
name: 'QMath: Mathematical Results in Quantum Physics'
start_date: 2013-09-10
date_created: 2018-12-11T11:52:28Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:51:19Z
day: '01'
department:
- _id: RoSe
doi: 10.1142/9789814618144_0007
external_id:
arxiv:
- '1403.2563'
fulldoi: https://doi.org/10.1142/9789814618144_0007
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1403.2563
month: '01'
oa: 1
oa_version: Preprint
page: 127 - 137
publication: Proceedings of the QMath12 Conference
publication_status: published
publisher: World Scientific Publishing
publist_id: '5661'
quality_controlled: '1'
status: public
title: On the BCS gap equation for superfluid fermionic gases
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '15161'
abstract:
- lang: eng
text: The copper-catalyzed diboration of ketones followed by an acid-catalyzed elimination
leads to the formation of 1,1-disubstituted and trisubstituted vinyl boronate
esters with moderate to good yields and selectivity. Addition of tosic acid to
the crude diboration products provides the corresponding vinyl boronate esters
upon elimination. The trisubstituted vinyl boronate esters are formed as the (Z)-olefin
isomer, which was established by subjecting the products to a Suzuki–Miyaura coupling
reaction to obtain alkenes of known geometry.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Weiye
full_name: Guan, Weiye
last_name: Guan
- first_name: Alicia Kathleen
full_name: Michael, Alicia Kathleen
id: 6437c950-2a03-11ee-914d-d6476dd7b75c
last_name: Michael
- first_name: Melissa L.
full_name: McIntosh, Melissa L.
last_name: McIntosh
- first_name: Liza
full_name: Koren-Selfridge, Liza
last_name: Koren-Selfridge
- first_name: John P.
full_name: Scott, John P.
last_name: Scott
- first_name: Timothy B.
full_name: Clark, Timothy B.
last_name: Clark
citation:
ama: Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. Stereoselective
formation of trisubstituted vinyl boronate esters by the acid-mediated elimination
of α-hydroxyboronate esters. The Journal of Organic Chemistry. 2014;79(15):7199-7204.
doi:10.1021/jo500773t
apa: Guan, W., Michael, A. K., McIntosh, M. L., Koren-Selfridge, L., Scott, J. P.,
& Clark, T. B. (2014). Stereoselective formation of trisubstituted vinyl boronate
esters by the acid-mediated elimination of α-hydroxyboronate esters. The Journal
of Organic Chemistry. American Chemical Society. https://doi.org/10.1021/jo500773t
chicago: Guan, Weiye, Alicia K. Michael, Melissa L. McIntosh, Liza Koren-Selfridge,
John P. Scott, and Timothy B. Clark. “Stereoselective Formation of Trisubstituted
Vinyl Boronate Esters by the Acid-Mediated Elimination of α-Hydroxyboronate Esters.”
The Journal of Organic Chemistry. American Chemical Society, 2014. https://doi.org/10.1021/jo500773t.
ieee: W. Guan, A. K. Michael, M. L. McIntosh, L. Koren-Selfridge, J. P. Scott, and
T. B. Clark, “Stereoselective formation of trisubstituted vinyl boronate esters
by the acid-mediated elimination of α-hydroxyboronate esters,” The Journal
of Organic Chemistry, vol. 79, no. 15. American Chemical Society, pp. 7199–7204,
2014.
ista: Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. 2014.
Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated
elimination of α-hydroxyboronate esters. The Journal of Organic Chemistry. 79(15),
7199–7204.
mla: Guan, Weiye, et al. “Stereoselective Formation of Trisubstituted Vinyl Boronate
Esters by the Acid-Mediated Elimination of α-Hydroxyboronate Esters.” The Journal
of Organic Chemistry, vol. 79, no. 15, American Chemical Society, 2014, pp.
7199–204, doi:10.1021/jo500773t.
short: W. Guan, A.K. Michael, M.L. McIntosh, L. Koren-Selfridge, J.P. Scott, T.B.
Clark, The Journal of Organic Chemistry 79 (2014) 7199–7204.
date_created: 2024-03-21T07:58:31Z
date_published: 2014-06-10T00:00:00Z
date_updated: 2024-03-25T11:50:01Z
day: '10'
doi: 10.1021/jo500773t
extern: '1'
fulldoi: https://doi.org/10.1021/jo500773t
intvolume: ' 79'
issue: '15'
keyword:
- Organic Chemistry
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1021/jo500773t
month: '06'
oa: 1
oa_version: Published Version
page: 7199-7204
publication: The Journal of Organic Chemistry
publication_identifier:
eissn:
- 1520-6904
issn:
- 0022-3263
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated
elimination of α-hydroxyboronate esters
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 79
year: '2014'
...
---
_id: '1629'
abstract:
- lang: eng
text: We propose a method for propagating edit operations in 2D vector graphics,
based on geometric relationship functions. These functions quantify the geometric
relationship of a point to a polygon, such as the distance to the boundary or
the direction to the closest corner vertex. The level sets of the relationship
functions describe points with the same relationship to a polygon. For a given
query point, we first determine a set of relationships to local features, construct
all level sets for these relationships, and accumulate them. The maxima of the
resulting distribution are points with similar geometric relationships. We show
extensions to handle mirror symmetries, and discuss the use of relationship functions
as local coordinate systems. Our method can be applied, for example, to interactive
floorplan editing, and it is especially useful for large layouts, where individual
edits would be cumbersome. We demonstrate populating 2D layouts with tens to hundreds
of objects by propagating relatively few edit operations.
article_number: '15'
article_processing_charge: No
author:
- first_name: Paul
full_name: Guerrero, Paul
last_name: Guerrero
- first_name: Stefan
full_name: Jeschke, Stefan
id: 44D6411A-F248-11E8-B48F-1D18A9856A87
last_name: Jeschke
- first_name: Michael
full_name: Wimmer, Michael
last_name: Wimmer
- first_name: Peter
full_name: Wonka, Peter
last_name: Wonka
citation:
ama: Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric
relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
apa: Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2014). Edit propagation
using geometric relationship functions. ACM Transactions on Graphics. ACM.
https://doi.org/10.1145/2591010
chicago: Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit
Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics.
ACM, 2014. https://doi.org/10.1145/2591010.
ieee: P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using
geometric relationship functions,” ACM Transactions on Graphics, vol. 33,
no. 2. ACM, 2014.
ista: Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric
relationship functions. ACM Transactions on Graphics. 33(2), 15.
mla: Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.”
ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
short: P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics
33 (2014).
date_created: 2018-12-11T11:53:08Z
date_published: 2014-03-01T00:00:00Z
date_updated: 2025-09-29T13:16:25Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2591010
external_id:
isi:
- '000335009900003'
file:
- access_level: open_access
checksum: 7f91e588a4e888610313b98271e6418e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:22Z
date_updated: 2020-07-14T12:45:07Z
file_id: '4876'
file_name: IST-2016-577-v1+1_2014.TOG.Paul.EditingPropagation.final.pdf
file_size: 9832561
relation: main_file
file_date_updated: 2020-07-14T12:45:07Z
fulldoi: https://doi.org/10.1145/2591010
has_accepted_license: '1'
intvolume: ' 33'
isi: 1
issue: '2'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '5526'
pubrep_id: '577'
quality_controlled: '1'
status: public
title: Edit propagation using geometric relationship functions
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 33
year: '2014'
...
---
_id: '1643'
abstract:
- lang: eng
text: We extend the notion of verifiable random functions (VRF) to constrained VRFs,
which generalize the concept of constrained pseudorandom functions, put forward
by Boneh and Waters (Asiacrypt’13), and independently by Kiayias et al. (CCS’13)
and Boyle et al. (PKC’14), who call them delegatable PRFs and functional PRFs,
respectively. In a standard VRF the secret key sk allows one to evaluate a pseudorandom
function at any point of its domain; in addition, it enables computation of a
non-interactive proof that the function value was computed correctly. In a constrained
VRF from the key sk one can derive constrained keys skS for subsets S of the domain,
which allow computation of function values and proofs only at points in S. After
formally defining constrained VRFs, we derive instantiations from the multilinear-maps-based
constrained PRFs by Boneh and Waters, yielding a VRF with constrained keys for
any set that can be decided by a polynomial-size circuit. Our VRFs have the same
function values as the Boneh-Waters PRFs and are proved secure under the same
hardness assumption, showing that verifiability comes at no cost. Constrained
(functional) VRFs were stated as an open problem by Boyle et al.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
citation:
ama: 'Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De
Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7'
apa: 'Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla
& R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy:
Springer. https://doi.org/10.1007/978-3-319-10879-7_7'
chicago: Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In SCN
2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer,
2014. https://doi.org/10.1007/978-3-319-10879-7_7.
ieee: G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014,
Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
ista: 'Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN:
Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.'
mla: Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014,
edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp.
95–114, doi:10.1007/978-3-319-10879-7_7.
short: G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer,
2014, pp. 95–114.
conference:
end_date: 2014-09-05
location: Amalfi, Italy
name: 'SCN: Security and Cryptography for Networks'
start_date: 2014-09-03
corr_author: '1'
cryptoeprintid: 1
das_tickbox: '1'
date_created: 2018-12-11T11:53:13Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2026-06-22T14:10:02Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-319-10879-7_7
ec_funded: 1
editor:
- first_name: Michel
full_name: Abdalla, Michel
last_name: Abdalla
- first_name: Roberto
full_name: De Prisco, Roberto
last_name: De Prisco
external_id:
cryptoeprintid:
- 2014/537
fulldoi: https://doi.org/10.1007/978-3-319-10879-7_7
intvolume: ' 8642'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://eprint.iacr.org/2014/537
month: '01'
oa: 1
oa_version: Submitted Version
page: 95 - 114
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication: SCN 2014
publication_status: published
publisher: Springer
publist_id: '5509'
scopus_import: '1'
status: public
title: 'Constrained Verifiable Random Functions '
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8642
year: '2014'
...