---
_id: '4533'
abstract:
- lang: eng
text: Interface theories have been proposed to support incremental design and independent
implementability. Incremental design means that the compatibility checking of
interfaces can proceed for partial system descriptions, without knowing the interfaces
of all components. Independent implementability means that compatible interfaces
can be refined separately, maintaining compatibility. We show that these interface
theories provide no formal support for component reuse, meaning that the same
component cannot be used to implement several different interfaces in a design.
We add a new operation to interface theories in order to support such reuse. For
example, different interfaces for the same component may refer to different aspects
such as functionality, timing, and power consumption. We give both stateless and
stateful examples for interface theories with component reuse. To illustrate component
reuse in interface-based design, we show how the stateful theory provides a natural
framework for specifying and refining PCI bus clients.
author:
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Barbara
full_name: Jobstmann, Barbara
last_name: Jobstmann
- first_name: Tatjana
full_name: Tatjana Petrov
id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
last_name: Petrov
orcid: 0000-0002-9041-0905
citation:
ama: 'Doyen L, Henzinger TA, Jobstmann B, Petrov T. Interface theories with component
reuse. In: ACM; 2008:79-88. doi:10.1145/1450058.1450070'
apa: 'Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface
theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software
, ACM. https://doi.org/10.1145/1450058.1450070'
chicago: Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov.
“Interface Theories with Component Reuse,” 79–88. ACM, 2008. https://doi.org/10.1145/1450058.1450070.
ieee: 'L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories
with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp.
79–88.'
ista: 'Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with
component reuse. EMSOFT: Embedded Software , 79–88.'
mla: Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM,
2008, pp. 79–88, doi:10.1145/1450058.1450070.
short: L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
conference:
name: 'EMSOFT: Embedded Software '
date_created: 2018-12-11T12:09:21Z
date_published: 2008-10-01T00:00:00Z
date_updated: 2021-01-12T07:59:30Z
day: '01'
doi: 10.1145/1450058.1450070
extern: 1
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/interface_theories_with_component_reuse.pdf
month: '10'
page: 79 - 88
publication_status: published
publisher: ACM
publist_id: '193'
quality_controlled: 0
status: public
title: Interface theories with component reuse
type: conference
year: '2008'
...
---
_id: '4534'
abstract:
- lang: eng
text: A stochastic graph game is played by two players on a game graph with probabilistic
transitions. We consider stochastic graph games with ω-regular winning conditions
specified as parity objectives, and mean-payoff (or limit-average) objectives.
These games lie in NP ∩ coNP. We present a polynomial-time Turing reduction of
stochastic parity games to stochastic mean-payoff games.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff
games. Information Processing Letters. 2008;106(1):1-7. doi:10.1016/j.ipl.2007.08.035
apa: Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity
to stochastic mean-payoff games. Information Processing Letters. Elsevier.
https://doi.org/10.1016/j.ipl.2007.08.035
chicago: Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic
Parity to Stochastic Mean-Payoff Games.” Information Processing Letters.
Elsevier, 2008. https://doi.org/10.1016/j.ipl.2007.08.035.
ieee: K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic
mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier,
pp. 1–7, 2008.
ista: Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic
mean-payoff games. Information Processing Letters. 106(1), 1–7.
mla: Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity
to Stochastic Mean-Payoff Games.” Information Processing Letters, vol.
106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
short: K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008)
1–7.
date_created: 2018-12-11T12:09:21Z
date_published: 2008-03-31T00:00:00Z
date_updated: 2021-01-12T07:59:30Z
day: '31'
doi: 10.1016/j.ipl.2007.08.035
extern: 1
intvolume: ' 106'
issue: '1'
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/reduction_of_stochastic_parity_to_stochastic_mean-payoff_games.pdf
month: '03'
page: 1 - 7
publication: Information Processing Letters
publication_status: published
publisher: Elsevier
publist_id: '188'
quality_controlled: 0
status: public
title: Reduction of stochastic parity to stochastic mean-payoff games
type: journal_article
volume: 106
year: '2008'
...
---
_id: '4546'
abstract:
- lang: eng
text: We propose the notion of logical reliability for real-time program tasks that
interact through periodically updated program variables. We describe a reliability
analysis that checks if the given short-term (e.g., single-period) reliability
of a program variable update in an implementation is sufficient to meet the logical
reliability requirement (of the program variable) in the long run. We then present
a notion of design by refinement where a task can be refined by another task that
writes to program variables with less logical reliability. The resulting analysis
can be combined with an incremental schedulability analysis for interacting real-time
tasks proposed earlier for the Hierarchical Timing Language (HTL), a coordination
language for distributed real-time systems. We implemented a logical-reliability-enhanced
prototype of the compiler and runtime infrastructure for HTL.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Arkadeb
full_name: Ghosal, Arkadeb
last_name: Ghosal
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Daniel
full_name: Iercan, Daniel
last_name: Iercan
- first_name: Christoph
full_name: Kirsch, Christoph M
last_name: Kirsch
- first_name: Claudio
full_name: Pinello, Claudio
last_name: Pinello
- first_name: Alberto
full_name: Sangiovanni-Vincentelli, Alberto
last_name: Sangiovanni Vincentelli
citation:
ama: 'Chatterjee K, Ghosal A, Henzinger TA, et al. Logical reliability of interacting
real-time tasks. In: IEEE; 2008:909-914. doi:10.1145/1403375.1403595'
apa: 'Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello,
C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting
real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test
in Europe, IEEE. https://doi.org/10.1145/1403375.1403595'
chicago: Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan,
Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical
Reliability of Interacting Real-Time Tasks,” 909–14. IEEE, 2008. https://doi.org/10.1145/1403375.1403595.
ieee: 'K. Chatterjee et al., “Logical reliability of interacting real-time
tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp.
909–914.'
ista: 'Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni
Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE:
Design, Automation and Test in Europe, 909–914.'
mla: Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time
Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
short: K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello,
A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
conference:
name: 'DATE: Design, Automation and Test in Europe'
date_created: 2018-12-11T12:09:25Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:59:36Z
day: '01'
doi: 10.1145/1403375.1403595
extern: 1
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/logical_reliability_of_interacting_real-time_tasks.pdf
month: '01'
page: 909 - 914
publication_status: published
publisher: IEEE
publist_id: '171'
quality_controlled: 0
status: public
title: Logical reliability of interacting real-time tasks
type: conference
year: '2008'
...
---
_id: '4548'
abstract:
- lang: eng
text: The value of a finite-state two-player zero-sum stochastic game with limit-average
payoff can be approximated to within ε in time exponential in a polynomial in
the size of the game times polynomial in logarithmic in 1/ε, for all ε > 0.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are
in EXPTIME. International Journal of Game Theory. 2008;37(2):219-234. doi:10.1007/s00182-007-0110-5
apa: Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average
games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
chicago: Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic
Limit-Average Games Are in EXPTIME.” International Journal of Game Theory.
Springer, 2008. https://doi.org/10.1007/s00182-007-0110-5.
ieee: K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average
games are in EXPTIME,” International Journal of Game Theory, vol. 37, no.
2. Springer, pp. 219–234, 2008.
ista: Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games
are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
mla: Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.”
International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp.
219–34, doi:10.1007/s00182-007-0110-5.
short: K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game
Theory 37 (2008) 219–234.
date_created: 2018-12-11T12:09:25Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:59:37Z
day: '01'
doi: 10.1007/s00182-007-0110-5
extern: 1
intvolume: ' 37'
issue: '2'
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/stochastic_limit-average_games_are_in_exptime.pdf
month: '01'
page: 219 - 234
publication: International Journal of Game Theory
publication_status: published
publisher: Springer
publist_id: '168'
quality_controlled: 0
status: public
title: Stochastic limit-average games are in EXPTIME
type: journal_article
volume: 37
year: '2008'
...
---
_id: '4568'
abstract:
- lang: eng
text: We present and evaluate a framework and tool for combining multiple program
analyses which allows the dynamic (on-line) adjustment of the precision of each
analysis depending on the accumulated results. For example, the explicit tracking
of the values of a variable may be switched off in favor of a predicate abstraction
when and where the number of different variable values that have been encountered
has exceeded a specified threshold. The method is evaluated on verifying the SSH
client/server software and shows significant gains compared with predicate abstraction-based
model checking.
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Grégory
full_name: Théoduloz, Grégory
last_name: Théoduloz
citation:
ama: 'Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic change of
precision. In: ACM; 2008:29-38. doi:10.1109/ASE.2008.13'
apa: 'Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis
with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated
Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13'
chicago: Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis
with Dynamic Change of Precision,” 29–38. ACM, 2008. https://doi.org/10.1109/ASE.2008.13.
ieee: 'D. Beyer, T. A. Henzinger, and G. Théoduloz, “Program analysis with dynamic
change of precision,” presented at the ASE: Automated Software Engineering, 2008,
pp. 29–38.'
ista: 'Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change
of precision. ASE: Automated Software Engineering, 29–38.'
mla: Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision.
ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
short: D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
conference:
name: 'ASE: Automated Software Engineering'
date_created: 2018-12-11T12:09:31Z
date_published: 2008-10-07T00:00:00Z
date_updated: 2021-01-12T07:59:46Z
day: '07'
doi: 10.1109/ASE.2008.13
extern: 1
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/program_analysis_with_dynamic_change_of_precision.pdf
month: '10'
page: 29 - 38
publication_status: published
publisher: ACM
publist_id: '140'
quality_controlled: 0
status: public
title: Program analysis with dynamic change of precision
type: conference
year: '2008'
...
---
_id: '517'
article_processing_charge: No
article_type: comment
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: 'Barton NH. Identity and coalescence in structured populations: A commentary
on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics
Research. 2008;89(5-6):475-477. doi:10.1017/S0016672308009683'
apa: 'Barton, N. H. (2008). Identity and coalescence in structured populations:
A commentary on “Inbreeding coefficients and coalescence times” by Montgomery
Slatkin. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009683'
chicago: 'Barton, Nicholas H. “Identity and Coalescence in Structured Populations:
A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery
Slatkin.” Genetics Research. Cambridge University Press, 2008. https://doi.org/10.1017/S0016672308009683.'
ieee: 'N. H. Barton, “Identity and coalescence in structured populations: A commentary
on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics
Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.'
ista: 'Barton NH. 2008. Identity and coalescence in structured populations: A commentary
on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetics
Research. 89(5–6), 475–477.'
mla: 'Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A
Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.”
Genetics Research, vol. 89, no. 5–6, Cambridge University Press, 2008,
pp. 475–77, doi:10.1017/S0016672308009683.'
short: N.H. Barton, Genetics Research 89 (2008) 475–477.
date_created: 2018-12-11T11:46:55Z
date_published: 2008-10-29T00:00:00Z
date_updated: 2026-04-29T07:15:43Z
day: '29'
department:
- _id: NiBa
doi: 10.1017/S0016672308009683
external_id:
isi:
- '000207048900023'
intvolume: ' 89'
isi: 1
issue: 5-6
language:
- iso: eng
month: '10'
oa_version: None
page: 475 - 477
publication: Genetics Research
publication_status: published
publisher: Cambridge University Press
publist_id: '7302'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Identity and coalescence in structured populations: A commentary on ''Inbreeding
coefficients and coalescence times'' by Montgomery Slatkin'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 89
year: '2008'
...
---
_id: '581'
abstract:
- lang: eng
text: We have detected a spin-dependent displacement perpendicular to the refractive
index gradient for photons passing through an air-glass interface. The effect
is the photonic version of the spin Hall effect in electronic systems, indicating
the universality of the effect for particles of different nature. Treating the
effect as a weak measurement of the spin projection of the photons, we used a
preselection and postselection technique on the spin state to enhance the original
displacement by nearly four orders of magnitude, attaining sensitivity to displacements
of ∼1 angstrom. The spin Hall effect can be used for manipulating photonic angular
momentum states, and the measurement technique holds promise for precision metrology.
author:
- first_name: Onur
full_name: Onur Hosten
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Paul
full_name: Kwiat, Paul
last_name: Kwiat
citation:
ama: Hosten O, Kwiat P. Observation of the spin hall effect of light via weak measurements.
Science. 2008;319(5864):787-790. doi:10.1126/science.1152697
apa: Hosten, O., & Kwiat, P. (2008). Observation of the spin hall effect of
light via weak measurements. Science. American Association for the Advancement
of Science. https://doi.org/10.1126/science.1152697
chicago: Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light
via Weak Measurements.” Science. American Association for the Advancement
of Science, 2008. https://doi.org/10.1126/science.1152697.
ieee: O. Hosten and P. Kwiat, “Observation of the spin hall effect of light via
weak measurements,” Science, vol. 319, no. 5864. American Association for
the Advancement of Science, pp. 787–790, 2008.
ista: Hosten O, Kwiat P. 2008. Observation of the spin hall effect of light via
weak measurements. Science. 319(5864), 787–790.
mla: Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light
via Weak Measurements.” Science, vol. 319, no. 5864, American Association
for the Advancement of Science, 2008, pp. 787–90, doi:10.1126/science.1152697.
short: O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
date_created: 2018-12-11T11:47:19Z
date_published: 2008-02-08T00:00:00Z
date_updated: 2021-01-12T08:03:38Z
day: '08'
doi: 10.1126/science.1152697
extern: 1
intvolume: ' 319'
issue: '5864'
month: '02'
page: 787 - 790
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7226'
quality_controlled: 0
status: public
title: Observation of the spin hall effect of light via weak measurements
type: journal_article
volume: 319
year: '2008'
...
---
_id: '584'
abstract:
- lang: eng
text: Using “quantum weak-measurements” as a coherent enhancement technique for
small signals, we have measured the recently proposed “spin Hall effect” of light
at an air-glass interface, and are working on the smoothly varying refractive-index
case.
alternative_title:
- Optics InfoBase Conference Papers
article_processing_charge: No
author:
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Paul
full_name: Kwiat, Paul
last_name: Kwiat
citation:
ama: 'Hosten O, Kwiat P. Spin hall effect of light via weak measurements: Sharp
and smooth index variations. In: Optica Publishing Group; 2008.'
apa: 'Hosten, O., & Kwiat, P. (2008). Spin hall effect of light via weak measurements:
Sharp and smooth index variations. Presented at the QELS: Quantum Electronics
and Laser Science Conference, San Jose, CA, United States: Optica Publishing Group.'
chicago: 'Hosten, Onur, and Paul Kwiat. “Spin Hall Effect of Light via Weak Measurements:
Sharp and Smooth Index Variations.” Optica Publishing Group, 2008.'
ieee: 'O. Hosten and P. Kwiat, “Spin hall effect of light via weak measurements:
Sharp and smooth index variations,” presented at the QELS: Quantum Electronics
and Laser Science Conference, San Jose, CA, United States, 2008.'
ista: 'Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements:
Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science
Conference, Optics InfoBase Conference Papers, .'
mla: 'Hosten, Onur, and Paul Kwiat. Spin Hall Effect of Light via Weak Measurements:
Sharp and Smooth Index Variations. Optica Publishing Group, 2008.'
short: O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
conference:
end_date: 2008-05-09
location: San Jose, CA, United States
name: 'QELS: Quantum Electronics and Laser Science Conference'
start_date: 2008-05-04
corr_author: '1'
date_created: 2018-12-11T11:47:20Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2024-10-09T20:53:53Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://opg.optica.org/abstract.cfm?URI=QELS-2008-QFB7
month: '01'
oa_version: None
publication_identifier:
isbn:
- 978-155752859-9
issn:
- '21622701'
publication_status: published
publisher: Optica Publishing Group
publist_id: '7227'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spin hall effect of light via weak measurements: Sharp and smooth index variations'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2008'
...
---
_id: '6146'
abstract:
- lang: eng
text: Homeostasis of internal carbon dioxide (CO2) and oxygen (O2) levels is fundamental
to all animals. Here we examine the CO2 response of the nematode Caenorhabditis
elegans. This species inhabits rotting material, which typically has a broad CO2
concentration range. We show that well fed C. elegans avoid CO2 levels above 0.5%.
Animals can respond to both absolute CO2 concentrations and changes in CO2 levels
within seconds. Responses to CO2 do not reflect avoidance of acid pH but appear
to define a new sensory response. Sensation of CO2 is promoted by the cGMP-gated
ion channel subunits TAX-2 and TAX-4, but other pathways are also important. Robust
CO2 avoidance in well fed animals requires inhibition of the DAF-16 forkhead transcription
factor by the insulin-like receptor DAF-2. Starvation, which activates DAF-16,
strongly suppresses CO2 avoidance. Exposure to hypoxia (<1% O2) also suppresses
CO2 avoidance via activation of the hypoxia-inducible transcription factor HIF-1.
The npr-1 215V allele of the naturally polymorphic neuropeptide receptor npr-1,
besides inhibiting avoidance of high ambient O2 in feeding C. elegans, also promotes
avoidance of high CO2. C. elegans integrates competing O2 and CO2 sensory inputs
so that one response dominates. Food and allelic variation at NPR-1 regulate which
response prevails. Our results suggest that multiple sensory inputs are coordinated
by C. elegans to generate different coherent foraging strategies.
author:
- first_name: A. J.
full_name: Bretscher, A. J.
last_name: Bretscher
- first_name: K. E.
full_name: Busch, K. E.
last_name: Busch
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Bretscher AJ, Busch KE, de Bono M. A carbon dioxide avoidance behavior is integrated
with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings
of the National Academy of Sciences. 2008;105(23):8044-8049. doi:10.1073/pnas.0707607105
apa: Bretscher, A. J., Busch, K. E., & de Bono, M. (2008). A carbon dioxide
avoidance behavior is integrated with responses to ambient oxygen and food in
Caenorhabditis elegans. Proceedings of the National Academy of Sciences.
Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0707607105
chicago: Bretscher, A. J., K. E. Busch, and Mario de Bono. “A Carbon Dioxide Avoidance
Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis
Elegans.” Proceedings of the National Academy of Sciences. Proceedings
of the National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0707607105.
ieee: A. J. Bretscher, K. E. Busch, and M. de Bono, “A carbon dioxide avoidance
behavior is integrated with responses to ambient oxygen and food in Caenorhabditis
elegans,” Proceedings of the National Academy of Sciences, vol. 105, no.
23. Proceedings of the National Academy of Sciences, pp. 8044–8049, 2008.
ista: Bretscher AJ, Busch KE, de Bono M. 2008. A carbon dioxide avoidance behavior
is integrated with responses to ambient oxygen and food in Caenorhabditis elegans.
Proceedings of the National Academy of Sciences. 105(23), 8044–8049.
mla: Bretscher, A. J., et al. “A Carbon Dioxide Avoidance Behavior Is Integrated
with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.” Proceedings
of the National Academy of Sciences, vol. 105, no. 23, Proceedings of the
National Academy of Sciences, 2008, pp. 8044–49, doi:10.1073/pnas.0707607105.
short: A.J. Bretscher, K.E. Busch, M. de Bono, Proceedings of the National Academy
of Sciences 105 (2008) 8044–8049.
date_created: 2019-03-21T08:10:15Z
date_published: 2008-06-10T00:00:00Z
date_updated: 2021-01-12T08:06:21Z
day: '10'
ddc:
- '570'
doi: 10.1073/pnas.0707607105
extern: '1'
external_id:
pmid:
- '18524954'
file:
- access_level: open_access
checksum: eac0413064b022c1489f7b6719e7228c
content_type: application/pdf
creator: kschuh
date_created: 2019-03-21T08:14:54Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6147'
file_name: 2008_PNAS_Bretscher.pdf
file_size: 501506
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 105'
issue: '23'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 8044-8049
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
issn:
- 0027-8424
- 1091-6490
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
status: public
title: A carbon dioxide avoidance behavior is integrated with responses to ambient
oxygen and food in Caenorhabditis elegans
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 105
year: '2008'
...
---
_id: '6148'
author:
- first_name: Jan E.
full_name: Kammenga, Jan E.
last_name: Kammenga
- first_name: Patrick C.
full_name: Phillips, Patrick C.
last_name: Phillips
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
- first_name: Agnieszka
full_name: Doroszuk, Agnieszka
last_name: Doroszuk
citation:
ama: 'Kammenga JE, Phillips PC, de Bono M, Doroszuk A. Beyond induced mutants: using
worms to study natural variation in genetic pathways. Trends in Genetics.
2008;24(4):178-185. doi:10.1016/j.tig.2008.01.001'
apa: 'Kammenga, J. E., Phillips, P. C., de Bono, M., & Doroszuk, A. (2008).
Beyond induced mutants: using worms to study natural variation in genetic pathways.
Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.01.001'
chicago: 'Kammenga, Jan E., Patrick C. Phillips, Mario de Bono, and Agnieszka Doroszuk.
“Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.”
Trends in Genetics. Elsevier, 2008. https://doi.org/10.1016/j.tig.2008.01.001.'
ieee: 'J. E. Kammenga, P. C. Phillips, M. de Bono, and A. Doroszuk, “Beyond induced
mutants: using worms to study natural variation in genetic pathways,” Trends
in Genetics, vol. 24, no. 4. Elsevier, pp. 178–185, 2008.'
ista: 'Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants:
using worms to study natural variation in genetic pathways. Trends in Genetics.
24(4), 178–185.'
mla: 'Kammenga, Jan E., et al. “Beyond Induced Mutants: Using Worms to Study Natural
Variation in Genetic Pathways.” Trends in Genetics, vol. 24, no. 4, Elsevier,
2008, pp. 178–85, doi:10.1016/j.tig.2008.01.001.'
short: J.E. Kammenga, P.C. Phillips, M. de Bono, A. Doroszuk, Trends in Genetics
24 (2008) 178–185.
date_created: 2019-03-21T08:19:45Z
date_published: 2008-04-01T00:00:00Z
date_updated: 2021-01-12T08:06:21Z
day: '01'
doi: 10.1016/j.tig.2008.01.001
extern: '1'
external_id:
pmid:
- '18325626'
intvolume: ' 24'
issue: '4'
language:
- iso: eng
month: '04'
oa_version: None
page: 178-185
pmid: 1
publication: Trends in Genetics
publication_identifier:
issn:
- 0168-9525
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Beyond induced mutants: using worms to study natural variation in genetic
pathways'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2008'
...
---
_id: '6149'
article_processing_charge: No
author:
- first_name: Birgitta
full_name: Olofsson, Birgitta
last_name: Olofsson
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: 'Olofsson B, de Bono M. Sleep: dozy worms and sleepy flies. Current Biology.
2008;18(5):R204-R206. doi:10.1016/j.cub.2008.01.002'
apa: 'Olofsson, B., & de Bono, M. (2008). Sleep: dozy worms and sleepy flies.
Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.01.002'
chicago: 'Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”
Current Biology. Elsevier, 2008. https://doi.org/10.1016/j.cub.2008.01.002.'
ieee: 'B. Olofsson and M. de Bono, “Sleep: dozy worms and sleepy flies,” Current
Biology, vol. 18, no. 5. Elsevier, pp. R204–R206, 2008.'
ista: 'Olofsson B, de Bono M. 2008. Sleep: dozy worms and sleepy flies. Current
Biology. 18(5), R204–R206.'
mla: 'Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”
Current Biology, vol. 18, no. 5, Elsevier, 2008, pp. R204–06, doi:10.1016/j.cub.2008.01.002.'
short: B. Olofsson, M. de Bono, Current Biology 18 (2008) R204–R206.
date_created: 2019-03-21T08:23:24Z
date_published: 2008-03-11T00:00:00Z
date_updated: 2022-08-25T15:03:41Z
day: '11'
doi: 10.1016/j.cub.2008.01.002
extern: '1'
external_id:
pmid:
- '18334193'
intvolume: ' 18'
issue: '5'
language:
- iso: eng
month: '03'
oa_version: None
page: R204-R206
pmid: 1
publication: Current Biology
publication_identifier:
issn:
- 0960-9822
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Sleep: dozy worms and sleepy flies'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2008'
...
---
_id: '1982'
abstract:
- lang: eng
text: In the bacterium Escherichia coli, the Min proteins oscillate between the
cell poles to select the cell center as division site. This dynamic pattern has
been proposed to arise by self-organization of these proteins, and several models
have suggested a reaction-diffusion type mechanism. Here, we found that the Min
proteins spontaneously formed planar surface waves on a flat membrane in vitro.
The formation and maintenance of these patterns, which extended for hundreds of
micrometers, required adenosine 5′-triphosphate (ATP), and they persisted for
hours. We present a reaction-diffusion model of the MinD and MinE dynamics that
accounts for our experimental observations and also captures the in vivo oscillations.
acknowledgement: 'This work was supported by the Max-Planck-Society (M.L., P.S., E.F.). '
author:
- first_name: Martin
full_name: Martin Loose
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
- first_name: Elisabeth
full_name: Fischer-Friedrich, Elisabeth
last_name: Fischer Friedrich
- first_name: Jonas
full_name: 'Ries, Jonas '
last_name: Ries
- first_name: Karsten
full_name: Kruse, Karsten
last_name: Kruse
- first_name: Petra
full_name: 'Schwille, Petra '
last_name: Schwille
citation:
ama: Loose M, Fischer Friedrich E, Ries J, Kruse K, Schwille P. Spatial regulators
for bacterial cell division self-organize into surface waves in vitro. Science.
2008;320(5877):789-792. doi:10.1126/science.1154413
apa: Loose, M., Fischer Friedrich, E., Ries, J., Kruse, K., & Schwille, P. (2008).
Spatial regulators for bacterial cell division self-organize into surface waves
in vitro. Science. American Association for the Advancement of Science.
https://doi.org/10.1126/science.1154413
chicago: Loose, Martin, Elisabeth Fischer Friedrich, Jonas Ries, Karsten Kruse,
and Petra Schwille. “Spatial Regulators for Bacterial Cell Division Self-Organize
into Surface Waves in Vitro.” Science. American Association for the Advancement
of Science, 2008. https://doi.org/10.1126/science.1154413.
ieee: M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, and P. Schwille, “Spatial
regulators for bacterial cell division self-organize into surface waves in vitro,”
Science, vol. 320, no. 5877. American Association for the Advancement of
Science, pp. 789–792, 2008.
ista: Loose M, Fischer Friedrich E, Ries J, Kruse K, Schwille P. 2008. Spatial regulators
for bacterial cell division self-organize into surface waves in vitro. Science.
320(5877), 789–792.
mla: Loose, Martin, et al. “Spatial Regulators for Bacterial Cell Division Self-Organize
into Surface Waves in Vitro.” Science, vol. 320, no. 5877, American Association
for the Advancement of Science, 2008, pp. 789–92, doi:10.1126/science.1154413.
short: M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, P. Schwille, Science 320
(2008) 789–792.
date_created: 2018-12-11T11:55:02Z
date_published: 2008-05-09T00:00:00Z
date_updated: 2021-01-12T06:54:30Z
day: '09'
doi: 10.1126/science.1154413
extern: 1
intvolume: ' 320'
issue: '5877'
month: '05'
page: 789 - 792
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '5101'
quality_controlled: 0
status: public
title: Spatial regulators for bacterial cell division self-organize into surface waves
in vitro
type: journal_article
volume: 320
year: '2008'
...
---
_id: '2065'
abstract:
- lang: eng
text: 'Population genetics models show that, under certain conditions, the X chromosome
is expected to be under more efficient selection than the autosomes. This could
lead to ''faster-X evolution'', if a large proportion of mutations are fixed by
positive selection, as suggested by recent studies in Drosophila. We used a multispecies
approach to test this: Muller''s element D, an autosomal arm, is fused to the
ancestral X chromosome in Drosophila pseudoobscura and its sister species, Drosophila
affinis. We tested whether the same set of genes had higher rates of non-synonymous
evolution when they were X-linked (in the D. pseudoobscura/D. affinis comparison)
than when they were autosomal (in Drosophila melanogaster/Drosophila yakuba).
Although not significant, our results suggest this may be the case, but only for
genes under particularly strong positive selection/weak purifying selection. They
also suggest that genes that have become X-linked have higher levels of codon
bias and slower synonymous site evolution, consistent with more effective selection
on codon usage at X-linked sites.'
acknowledgement: B.V. was supported by the Portuguese Foundation for Science and Technology,
P.R.H. is supported by the Natural Environmental Research Council (UK) and B.C.
was supported by the Royal Society (UK)
author:
- first_name: Beatriz
full_name: Beatriz Vicoso
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
- first_name: Penelope
full_name: Haddrill, Penelope R
last_name: Haddrill
- first_name: Brian
full_name: Charlesworth, Brian
last_name: Charlesworth
citation:
ama: Vicoso B, Haddrill P, Charlesworth B. A multispecies approach for comparing
sequence evolution of X-linked and autosomal sites in Drosophila. Genetical
Research. 2008;90(5):421-431. doi:10.1017/S0016672308009804
apa: Vicoso, B., Haddrill, P., & Charlesworth, B. (2008). A multispecies approach
for comparing sequence evolution of X-linked and autosomal sites in Drosophila.
Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009804
chicago: Vicoso, Beatriz, Penelope Haddrill, and Brian Charlesworth. “A Multispecies
Approach for Comparing Sequence Evolution of X-Linked and Autosomal Sites in Drosophila.”
Genetical Research. Cambridge University Press, 2008. https://doi.org/10.1017/S0016672308009804.
ieee: B. Vicoso, P. Haddrill, and B. Charlesworth, “A multispecies approach for
comparing sequence evolution of X-linked and autosomal sites in Drosophila,” Genetical
Research, vol. 90, no. 5. Cambridge University Press, pp. 421–431, 2008.
ista: Vicoso B, Haddrill P, Charlesworth B. 2008. A multispecies approach for comparing
sequence evolution of X-linked and autosomal sites in Drosophila. Genetical Research.
90(5), 421–431.
mla: Vicoso, Beatriz, et al. “A Multispecies Approach for Comparing Sequence Evolution
of X-Linked and Autosomal Sites in Drosophila.” Genetical Research, vol.
90, no. 5, Cambridge University Press, 2008, pp. 421–31, doi:10.1017/S0016672308009804.
short: B. Vicoso, P. Haddrill, B. Charlesworth, Genetical Research 90 (2008) 421–431.
date_created: 2018-12-11T11:55:30Z
date_published: 2008-10-01T00:00:00Z
date_updated: 2021-01-12T06:55:05Z
day: '01'
doi: 10.1017/S0016672308009804
extern: 1
intvolume: ' 90'
issue: '5'
month: '10'
page: 421 - 431
publication: Genetical Research
publication_status: published
publisher: Cambridge University Press
publist_id: '4972'
quality_controlled: 0
status: public
title: A multispecies approach for comparing sequence evolution of X-linked and autosomal
sites in Drosophila
type: journal_article
volume: 90
year: '2008'
...
---
_id: '2078'
abstract:
- lang: eng
text: 'This paper presents a novel method for real-time animation of highly-detailed
facial expressions based on a multi-scale decomposition of facial geometry into
large-scale motion and fine-scale details, such as expression wrinkles. Our hybrid
animation is tailored to the specific characteristics of large- and fine-scale
facial deformations: Large-scale deformations are computed with a fast linear
shell model, which is intuitively and accurately controlled through a sparse set
of motion-capture markers or user-defined handle points. Fine-scale facial details
are incorporated using a novel pose-space deformation technique, which learns
the correspondence of sparse measurements of skin strain to wrinkle formation
from a small set of example poses. Our hybrid method features real-time animation
of highly-detailed faces with realistic wrinkle formation, and allows both large-scale
deformations and fine-scale wrinkles to be edited intuitively. Furthermore, our
pose-space representation enables the transfer of facial details to novel expressions
or other facial models.'
acknowledgement: This research was supported by the NCCR Co-Me of the Swiss National
Science Foundation.
author:
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Manuel
full_name: Lang, Manuel
last_name: Lang
- first_name: Mario
full_name: Botsch, Mario
last_name: Botsch
- first_name: Miguel
full_name: Otaduy, Miguel
last_name: Otaduy
- first_name: Markus
full_name: Gross, Markus
last_name: Gross
citation:
ama: 'Bickel B, Lang M, Botsch M, Otaduy M, Gross M. Pose-space animation and transfer
of facial details. In: ACM; 2008:57-66. doi:10.2312/SCA/SCA08/057-066'
apa: 'Bickel, B., Lang, M., Botsch, M., Otaduy, M., & Gross, M. (2008). Pose-space
animation and transfer of facial details (pp. 57–66). Presented at the SIGGRAPH:
Eurographics Symposium on Computer Animation, ACM. https://doi.org/10.2312/SCA/SCA08/057-066'
chicago: Bickel, Bernd, Manuel Lang, Mario Botsch, Miguel Otaduy, and Markus Gross.
“Pose-Space Animation and Transfer of Facial Details,” 57–66. ACM, 2008. https://doi.org/10.2312/SCA/SCA08/057-066.
ieee: 'B. Bickel, M. Lang, M. Botsch, M. Otaduy, and M. Gross, “Pose-space animation
and transfer of facial details,” presented at the SIGGRAPH: Eurographics Symposium
on Computer Animation, 2008, pp. 57–66.'
ista: 'Bickel B, Lang M, Botsch M, Otaduy M, Gross M. 2008. Pose-space animation
and transfer of facial details. SIGGRAPH: Eurographics Symposium on Computer Animation,
57–66.'
mla: Bickel, Bernd, et al. Pose-Space Animation and Transfer of Facial Details.
ACM, 2008, pp. 57–66, doi:10.2312/SCA/SCA08/057-066.
short: B. Bickel, M. Lang, M. Botsch, M. Otaduy, M. Gross, in:, ACM, 2008, pp. 57–66.
conference:
name: 'SIGGRAPH: Eurographics Symposium on Computer Animation'
date_created: 2018-12-11T11:55:35Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T06:55:10Z
doi: 10.2312/SCA/SCA08/057-066
extern: '1'
language:
- iso: eng
oa_version: None
page: 57 - 66
publication_status: published
publisher: ACM
publist_id: '4960'
status: public
title: Pose-space animation and transfer of facial details
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2008'
...
---
_id: '1036'
abstract:
- lang: eng
text: We report on the control of interaction-induced dephasing of Bloch oscillations
for an atomic Bose-Einstein condensate in an optical lattice. We quantify the
dephasing in terms of the width of the quasimomentum distribution and measure
its dependence on time for different interaction strengths which we control by
means of a Feshbach resonance. For minimal interaction, the dephasing time is
increased from a few to more than 20 thousand Bloch oscillation periods, allowing
us to realize a BEC-based atom interferometer in the noninteracting limit.
acknowledgement: "We thank A. Daley for theoretical support and for help with\r\nsetting
\ up the numerical calculations and A. Buchleitner\r\nand his group for useful
\ discussions. We are grateful to\r\nA. Liem and H. Zellmer for valuable assistance
in setting\r\nup the 1064 nm fiber amplifier system. We acknowledge\r\ncontributions
\ by P. Unterwaditzer and T. Flir during the\r\nearly stages of the
\ experiment. We are indebted to\r\nR. Grimm for generous support and
\ gratefully acknowledge funding by the Austrian Ministry of Science and\r\nResearch
(BMWF) and the Austrian Science Fund (FWF)."
article_processing_charge: No
arxiv: 1
author:
- first_name: Mattias
full_name: Gustavsson, Mattias
last_name: Gustavsson
- first_name: Elmar
full_name: Haller, Elmar
last_name: Haller
- first_name: Manfred
full_name: Mark, Manfred
last_name: Mark
- 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: Gabriel
full_name: Rojas Kopeinig, Gabriel
last_name: Rojas Kopeinig
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
citation:
ama: Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control
of interaction-induced dephasing of bloch oscillations. Physical Review Letters.
2008;100(8). doi:10.1103/PhysRevLett.100.080404
apa: Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., &
Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.080404
chicago: Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel
Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of
Bloch Oscillations.” Physical Review Letters. American Physical Society,
2008. https://doi.org/10.1103/PhysRevLett.100.080404.
ieee: M. Gustavsson, E. Haller, M. Mark, J. G. Danzl, G. Rojas Kopeinig, and H.
Nägerl, “Control of interaction-induced dephasing of bloch oscillations,” Physical
Review Letters, vol. 100, no. 8. American Physical Society, 2008.
ista: Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008.
Control of interaction-induced dephasing of bloch oscillations. Physical Review
Letters. 100(8).
mla: Gustavsson, Mattias, et al. “Control of Interaction-Induced Dephasing of Bloch
Oscillations.” Physical Review Letters, vol. 100, no. 8, American Physical
Society, 2008, doi:10.1103/PhysRevLett.100.080404.
short: M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl,
Physical Review Letters 100 (2008).
date_created: 2018-12-11T11:49:48Z
date_published: 2008-02-28T00:00:00Z
date_updated: 2021-01-12T06:47:49Z
day: '28'
doi: 10.1103/PhysRevLett.100.080404
extern: '1'
external_id:
arxiv:
- '0710.5083'
intvolume: ' 100'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0710.5083
month: '02'
oa: 1
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6353'
status: public
title: Control of interaction-induced dephasing of bloch oscillations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2008'
...
---
_id: '1037'
abstract:
- lang: eng
text: We experimentally demonstrate Cs2 Feshbach molecules well above the dissociation
threshold, which are stable against spontaneous decay on the time scale of 1s.
An optically trapped sample of ultracold dimers is prepared in a high rotational
state and magnetically tuned into a region with a negative binding energy. The
metastable character of these molecules arises from the large centrifugal barrier
in combination with negligible coupling to states with low rotational angular
momentum. A sharp onset of dissociation with increasing magnetic field is mediated
by a crossing with a lower rotational dimer state and facilitates dissociation
on demand with a well-defined energy.
acknowledgement: We thank S. Du ̈rr and T. Volz for fruitful discussions. We acknowledge
support by the Austrian Science Fund (FWF) within No. SFB 15 (project part 16).
S.K. is supported within the Marie Curie Intra-European Program of the European
Commission. F.F. is supported within the Lise Meitner program of the FWF.
article_processing_charge: No
arxiv: 1
author:
- first_name: Steven
full_name: Knoop, Steven
last_name: Knoop
- first_name: Michael
full_name: Mark, Michael
last_name: Mark
- first_name: Francesca
full_name: Ferlaino, Francesca
last_name: Ferlaino
- 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: Tobias
full_name: Kraemer, Tobias
last_name: Kraemer
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
- first_name: Rudolf
full_name: Grimm, Rudolf
last_name: Grimm
citation:
ama: Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational
states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
apa: Knoop, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., &
Grimm, R. (2008). Metastable feshbach molecules in high rotational states. Physical
Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.083002
chicago: Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias
Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High
Rotational States.” Physical Review Letters. American Physical Society,
2008. https://doi.org/10.1103/PhysRevLett.100.083002.
ieee: S. Knoop et al., “Metastable feshbach molecules in high rotational
states,” Physical Review Letters, vol. 100, no. 8. American Physical Society,
2008.
ista: Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008.
Metastable feshbach molecules in high rotational states. Physical Review Letters.
100(8).
mla: Knoop, Steven, et al. “Metastable Feshbach Molecules in High Rotational States.”
Physical Review Letters, vol. 100, no. 8, American Physical Society, 2008,
doi:10.1103/PhysRevLett.100.083002.
short: S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm,
Physical Review Letters 100 (2008).
date_created: 2018-12-11T11:49:49Z
date_published: 2008-02-29T00:00:00Z
date_updated: 2021-01-12T06:47:50Z
day: '29'
doi: 10.1103/PhysRevLett.100.083002
extern: '1'
external_id:
arxiv:
- '0710.4052'
intvolume: ' 100'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0710.4052
month: '02'
oa: 1
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6352'
status: public
title: Metastable feshbach molecules in high rotational states
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2008'
...
---
_id: '1039'
abstract:
- lang: eng
text: Molecular cooling techniques face the hurdle of dissipating translational
as well as internal energy in the presence of a rich electronic, vibrational,
and rotational energy spectrum. In our experiment, we create a translationally
ultracold, dense quantum gas of molecules bound by more than 1000 wave numbers
in the electronic ground state. Specifically, we stimulate with 80% efficiency,
a two-photon transfer of molecules associated on a Feshbach resonance from a Bose-Einstein
condensate of cesium atoms. In the process, the initial loose, long-range electrostatic
bond of the Feshbach molecule is coherently transformed into a tight chemical
bond. We demonstrate coherence of the transfer in a Ramsey-type experiment and
show that the molecular sample is not heated during the transfer. Our results
show that the preparation of a quantum gas of molecules in specific rovibrational
states is possible and that the creation of a Bose-Einstein condensate of molecules
in their rovibronic ground state is within reach.
acknowledgement: " We thank the team of J. Hecker Denschlag, the LevT team in our
group, and T. Bergeman for very helpful discussions and M. Prevedelli for technical
assistance. We are indebted to R. Grimm for generous support and gratefully acknowledge
funding by the Austrian Ministry of Science and Research (Bundesministerium für
Wissenschaft und Forschung) and the Austrian Science Fund (Fonds zur Förderung der
wissenschaftlichen Forschung) in the form of a START prize grant and by the European
Science Foundation in the framework of the EuroQUAM collective research project
QuDipMol.\r\n"
article_processing_charge: No
arxiv: 1
author:
- 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: Elmar
full_name: Haller, Elmar
last_name: Haller
- first_name: Mattias
full_name: Gustavsson, Mattias
last_name: Gustavsson
- first_name: Manfred
full_name: Mark, Manfred
last_name: Mark
- first_name: Russell
full_name: Hart, Russell
last_name: Hart
- first_name: Nadia
full_name: Bouloufa, Nadia
last_name: Bouloufa
- first_name: Olivier
full_name: Dulieu, Olivier
last_name: Dulieu
- first_name: Helmut
full_name: Ritsch, Helmut
last_name: Ritsch
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
citation:
ama: Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground
state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
apa: Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N.,
… Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science.
American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
chicago: Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell
Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum
Gas of Deeply Bound Ground State Molecules.” Science. American Association
for the Advancement of Science, 2008. https://doi.org/10.1126/science.1159909.
ieee: J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,”
Science, vol. 321, no. 5892. American Association for the Advancement of
Science, pp. 1062–1066, 2008.
ista: Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch
H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science.
321(5892), 1062–1066.
mla: Danzl, Johann G., et al. “Quantum Gas of Deeply Bound Ground State Molecules.”
Science, vol. 321, no. 5892, American Association for the Advancement of
Science, 2008, pp. 1062–66, doi:10.1126/science.1159909.
short: J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu,
H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
date_created: 2018-12-11T11:49:49Z
date_published: 2008-08-22T00:00:00Z
date_updated: 2021-01-12T06:47:50Z
day: '22'
doi: 10.1126/science.1159909
extern: '1'
external_id:
arxiv:
- '0806.2284'
intvolume: ' 321'
issue: '5892'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0806.2284
month: '08'
oa: 1
oa_version: None
page: 1062 - 1066
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '6351'
status: public
title: Quantum gas of deeply bound ground state molecules
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 321
year: '2008'
...
---
_id: '10392'
abstract:
- lang: eng
text: Protonated formylmetallocenes [M(C5H5)(C5H4-CHOH)]+ (M = Fe, Ru) and their
isomers have been studied at the BP86 and B3LYP levels of density functional theory.
Oxygen-protonated isomers are the most stable forms in each case, with a plethora
of ring- or metal-protonated species at least ca. 14 and 10 kcal/mol higher in
energy for M = Fe and Ru, respectively. The computed rotational barriers around
the C−C bond connecting the cyclopentadienyl and protonated formyl moieties, ca.
18 kcal/mol, are indicative of substantial conjugation between these moieties.
Some of the ring- and iron-protonated species are models for possible intermediates
in Friedel–Crafts acylation of ferrocene, and the computations provide further
evidence that exo attack is clearly favored over endo attack of the electrophile
in this reaction. The structures of the most stable mono- and diprotonated formylferrocenes
are corroborated by the good agreement between GIAO-B3LYP-computed and experimental
NMR chemical shifts.
acknowledgement: M.B. wishes to thank Prof. W. Thiel and the Max-Planck-Institut für
Kohlenforschung for continuing support. A Humboldt fellowship for V.V. is gratefully
acknowledged. Computations were performed on Compaq XP1000 and ES40 workstations
as well as on an Intel Xeon PC cluster at the MPI Mülheim. A.S. thanks the Computing
Center of the University of Zagreb SRCE for allocating computer time on the Isabella
cluster.
article_processing_charge: No
article_type: original
author:
- first_name: Anđela
full_name: Šarić, Anđela
id: bf63d406-f056-11eb-b41d-f263a6566d8b
last_name: Šarić
orcid: 0000-0002-7854-2139
- first_name: Valerije
full_name: Vrček, Valerije
last_name: Vrček
- first_name: Michael
full_name: Bühl, Michael
last_name: Bühl
citation:
ama: Šarić A, Vrček V, Bühl M. Density functional study of protonated formylmetallocenes.
Organometallics. 2008;27(3):394-401. doi:10.1021/om700916f
apa: Šarić, A., Vrček, V., & Bühl, M. (2008). Density functional study of protonated
formylmetallocenes. Organometallics. American Chemical Society. https://doi.org/10.1021/om700916f
chicago: Šarić, Anđela, Valerije Vrček, and Michael Bühl. “Density Functional Study
of Protonated Formylmetallocenes.” Organometallics. American Chemical Society,
2008. https://doi.org/10.1021/om700916f.
ieee: A. Šarić, V. Vrček, and M. Bühl, “Density functional study of protonated formylmetallocenes,”
Organometallics, vol. 27, no. 3. American Chemical Society, pp. 394–401,
2008.
ista: Šarić A, Vrček V, Bühl M. 2008. Density functional study of protonated formylmetallocenes.
Organometallics. 27(3), 394–401.
mla: Šarić, Anđela, et al. “Density Functional Study of Protonated Formylmetallocenes.”
Organometallics, vol. 27, no. 3, American Chemical Society, 2008, pp. 394–401,
doi:10.1021/om700916f.
short: A. Šarić, V. Vrček, M. Bühl, Organometallics 27 (2008) 394–401.
date_created: 2021-11-29T15:31:06Z
date_published: 2008-01-15T00:00:00Z
date_updated: 2021-11-30T08:04:44Z
day: '15'
doi: 10.1021/om700916f
extern: '1'
intvolume: ' 27'
issue: '3'
keyword:
- Inorganic Chemistry
- Organic Chemistry
- Physical and Theoretical Chemistry
language:
- iso: eng
main_file_link:
- url: https://pubs.acs.org/doi/10.1021/om700916f
month: '01'
oa_version: None
page: 394-401
publication: Organometallics
publication_identifier:
eissn:
- 1520-6041
issn:
- 0276-7333
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Density functional study of protonated formylmetallocenes
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 27
year: '2008'
...
---
OA_place: repository
OA_type: green
_id: '3170'
abstract:
- lang: eng
text: Geodesic active contours and graph cuts are two standard image segmentation
techniques. We introduce a new segmentation method combining some of their benefits.
Our main intuition is that any cut on a graph embedded in some continuous space
can be interpreted as a contour (in 2D) or a surface (in 3D). We show how to build
a grid graph and set its edge weights so that the cost of cuts is arbitrarily
close to the length (area) of the corresponding contours (surfaces) for any anisotropic
Riemannian metric. There are two interesting consequences of this technical result.
First, graph cut algorithms can be used to find globally minimum geodesic contours
(minimal surfaces in 3D) under arbitrary Riemannian metric for a given set of
boundary conditions. Second, we show how to minimize metrication artifacts in
existing graph-cut based methods in vision. Theoretically speaking, our work provides
an interesting link between several branches of mathematics -differential geometry,
integral geometry, and combinatorial optimization. The main technical problem
is solved using Cauchy-Crofton formula from integral geometry.
article_processing_charge: No
author:
- first_name: Yuri
full_name: Boykov, Yuri
last_name: Boykov
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
citation:
ama: 'Boykov Y, Kolmogorov V. Computing geodesics and minimal surfaces via graph
cuts. In: Vol 1. IEEE; 2008:26-33. doi:10.1109/ICCV.2003.1238310'
apa: 'Boykov, Y., & Kolmogorov, V. (2008). Computing geodesics and minimal surfaces
via graph cuts (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference
on Computer Vision, Nice, France: IEEE. https://doi.org/10.1109/ICCV.2003.1238310'
chicago: Boykov, Yuri, and Vladimir Kolmogorov. “Computing Geodesics and Minimal
Surfaces via Graph Cuts,” 1:26–33. IEEE, 2008. https://doi.org/10.1109/ICCV.2003.1238310.
ieee: 'Y. Boykov and V. Kolmogorov, “Computing geodesics and minimal surfaces via
graph cuts,” presented at the ICCV: International Conference on Computer Vision,
Nice, France, 2008, vol. 1, pp. 26–33.'
ista: 'Boykov Y, Kolmogorov V. 2008. Computing geodesics and minimal surfaces via
graph cuts. ICCV: International Conference on Computer Vision vol. 1, 26–33.'
mla: Boykov, Yuri, and Vladimir Kolmogorov. Computing Geodesics and Minimal Surfaces
via Graph Cuts. Vol. 1, IEEE, 2008, pp. 26–33, doi:10.1109/ICCV.2003.1238310.
short: Y. Boykov, V. Kolmogorov, in:, IEEE, 2008, pp. 26–33.
conference:
end_date: 2003-10-16
location: Nice, France
name: 'ICCV: International Conference on Computer Vision'
start_date: 2003-10-13
date_created: 2018-12-11T12:01:48Z
date_published: 2008-04-03T00:00:00Z
date_updated: 2026-05-21T12:25:56Z
day: '03'
doi: 10.1109/ICCV.2003.1238310
extern: '1'
intvolume: ' 1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.cs.cornell.edu/people/vnk/papers/BK-ICCV03.pdf
month: '04'
oa: 1
oa_version: Preprint
page: 26 - 33
publication_identifier:
isbn:
- '0769519504'
publication_status: published
publisher: IEEE
publist_id: '3511'
quality_controlled: '1'
status: public
title: Computing geodesics and minimal surfaces via graph cuts
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 1
year: '2008'
...
---
OA_place: repository
OA_type: green
_id: '3174'
abstract:
- lang: eng
text: We address visual correspondence problems without assuming that scene points
have similar intensities in different views. This situation is common, usually
due to non-lambertian scenes or to differences between cameras. We use maximization
of mutual information, a powerful technique for registering images that requires
no a priori model of the relationship between scene intensities in different views.
However, it has proven difficult to use mutual information to compute dense visual
correspondence. Comparing fixed-size windows via mutual information suffers from
the well-known problems of fixed windows, namely poor performance at discontinuities
and in low-texture regions. In this paper, we show how to compute visual correspondence
using mutual information without suffering from these problems. Using 'a simple
approximation, mutual information can be incorporated into the standard energy
minimization framework used in early vision. The energy can then be efficiently
minimized using graph cuts, which preserve discontinuities and handle low-texture
regions. The resulting algorithm combines the accurate disparity maps that come
from graph cuts with the tolerance for intensity changes that comes from mutual
information.
article_processing_charge: No
author:
- first_name: Junhwan
full_name: Kim, Junhwan
last_name: Kim
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Ramin
full_name: Zabih, Ramin
last_name: Zabih
citation:
ama: 'Kim J, Kolmogorov V, Zabih R. Visual correspondence using energy minimization
and mutual information. In: Proceedings Ninth International Conference on Computer
Vision. Vol 2. IEEE; 2008:1033-1040. doi:10.1109/ICCV.2003.1238463'
apa: 'Kim, J., Kolmogorov, V., & Zabih, R. (2008). Visual correspondence using
energy minimization and mutual information. In Proceedings Ninth International
Conference on Computer Vision (Vol. 2, pp. 1033–1040). Nice, France: IEEE.
https://doi.org/10.1109/ICCV.2003.1238463'
chicago: Kim, Junhwan, Vladimir Kolmogorov, and Ramin Zabih. “Visual Correspondence
Using Energy Minimization and Mutual Information.” In Proceedings Ninth International
Conference on Computer Vision, 2:1033–40. IEEE, 2008. https://doi.org/10.1109/ICCV.2003.1238463.
ieee: J. Kim, V. Kolmogorov, and R. Zabih, “Visual correspondence using energy minimization
and mutual information,” in Proceedings Ninth International Conference on Computer
Vision, Nice, France, 2008, vol. 2, pp. 1033–1040.
ista: 'Kim J, Kolmogorov V, Zabih R. 2008. Visual correspondence using energy minimization
and mutual information. Proceedings Ninth International Conference on Computer
Vision. ICCV: International Conference on Computer Vision vol. 2, 1033–1040.'
mla: Kim, Junhwan, et al. “Visual Correspondence Using Energy Minimization and Mutual
Information.” Proceedings Ninth International Conference on Computer Vision,
vol. 2, IEEE, 2008, pp. 1033–40, doi:10.1109/ICCV.2003.1238463.
short: J. Kim, V. Kolmogorov, R. Zabih, in:, Proceedings Ninth International Conference
on Computer Vision, IEEE, 2008, pp. 1033–1040.
conference:
end_date: 2003-10-16
location: Nice, France
name: 'ICCV: International Conference on Computer Vision'
start_date: 2003-10-13
date_created: 2018-12-11T12:01:49Z
date_published: 2008-04-03T00:00:00Z
date_updated: 2026-05-21T12:22:19Z
day: '03'
doi: 10.1109/ICCV.2003.1238463
extern: '1'
intvolume: ' 2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.cs.cornell.edu/people/vnk/papers/KKZ-ICCV03.pdf
month: '04'
oa: 1
oa_version: Preprint
page: 1033 - 1040
publication: Proceedings Ninth International Conference on Computer Vision
publication_identifier:
isbn:
- '0769519504'
publication_status: published
publisher: IEEE
publist_id: '3510'
quality_controlled: '1'
status: public
title: Visual correspondence using energy minimization and mutual information
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 2
year: '2008'
...