---
_id: '5381'
abstract:
- lang: eng
text: "In two-player finite-state stochastic games of partial obser- vation on graphs,
in every state of the graph, the players simultaneously choose an action, and
their joint actions determine a probability distri- bution over the successor
states. The game is played for infinitely many rounds and thus the players construct
an infinite path in the graph. We consider reachability objectives where the first
player tries to ensure a target state to be visited almost-surely (i.e., with
probability 1) or pos- itively (i.e., with positive probability), no matter the
strategy of the second player.\r\n\r\nWe classify such games according to the
information and to the power of randomization available to the players. On the
basis of information, the game can be one-sided with either (a) player 1, or (b)
player 2 having partial observation (and the other player has perfect observation),
or two- sided with (c) both players having partial observation. On the basis of
randomization, (a) the players may not be allowed to use randomization (pure strategies),
or (b) they may choose a probability distribution over actions but the actual
random choice is external and not visible to the player (actions invisible), or
(c) they may use full randomization.\r\n\r\nOur main results for pure strategies
are as follows: (1) For one-sided games with player 2 perfect observation we show
that (in contrast to full randomized strategies) belief-based (subset-construction
based) strate- gies are not sufficient, and present an exponential upper bound
on mem- ory both for almost-sure and positive winning strategies; we show that
the problem of deciding the existence of almost-sure and positive winning strategies
for player 1 is EXPTIME-complete and present symbolic algo- rithms that avoid
the explicit exponential construction. (2) For one-sided games with player 1 perfect
observation we show that non-elementary memory is both necessary and sufficient
for both almost-sure and posi- tive winning strategies. (3) We show that for the
general (two-sided) case finite-memory strategies are sufficient for both positive
and almost-sure winning, and at least non-elementary memory is required. We establish
the equivalence of the almost-sure winning problems for pure strategies and for
randomized strategies with actions invisible. Our equivalence re- sult exhibit
serious flaws in previous results in the literature: we show a non-elementary
memory lower bound for almost-sure winning whereas an exponential upper bound
was previously claimed."
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: 'Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win
When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007'
apa: 'Chatterjee, K., & Doyen, L. (2011). Partial-observation stochastic
games: How to win when belief fails. IST Austria. https://doi.org/10.15479/AT:IST-2011-0007'
chicago: 'Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic
Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.'
ieee: 'K. Chatterjee and L. Doyen, Partial-observation stochastic games: How
to win when belief fails. IST Austria, 2011.'
ista: 'Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to
win when belief fails, IST Austria, 43p.'
mla: 'Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic
Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.'
short: 'K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win
When Belief Fails, IST Austria, 2011.'
date_created: 2018-12-12T11:39:00Z
date_published: 2011-07-05T00:00:00Z
date_updated: 2025-09-30T08:08:45Z
day: '05'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0007
file:
- access_level: open_access
checksum: 06bf6dfc97f6006e3fd0e9a3f31bc961
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:27Z
date_updated: 2020-07-14T12:46:39Z
file_id: '5488'
file_name: IST-2011-0007_IST-2011-0007.pdf
file_size: 574055
relation: main_file
file_date_updated: 2020-07-14T12:46:39Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '43'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '17'
related_material:
record:
- id: '1903'
relation: later_version
status: public
- id: '2211'
relation: later_version
status: public
- id: '2955'
relation: later_version
status: public
status: public
title: 'Partial-observation stochastic games: How to win when belief fails'
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5382'
abstract:
- lang: eng
text: 'We consider two-player stochastic games played on a finite state space for
an infinite num- ber of rounds. The games are concurrent: in each round, the two
players (player 1 and player 2) choose their moves independently and simultaneously;
the current state and the two moves determine a probability distribution over
the successor states. We also consider the important special case of turn-based
stochastic games where players make moves in turns, rather than concurrently.
We study concurrent games with ω-regular winning conditions specified as parity
objectives. The value for player 1 for a parity objective is the maximal probability
with which the player can guarantee the satisfaction of the objective against
all strategies of the opponent. We study the problem of continuity and robustness
of the value function in concurrent and turn-based stochastic parity games with
respect to imprecision in the transition probabilities. We present quantitative
bounds on the difference of the value function (in terms of the imprecision of
the transition probabilities) and show the value continuity for structurally equivalent
concurrent games (two games are structurally equivalent if the support of the
transition func- tion is same and the probabilities differ). We also show robustness
of optimal strategies for structurally equivalent turn-based stochastic parity
games. Finally we show that the value continuity property breaks without the structurally
equivalent assumption (even for Markov chains) and show that our quantitative
bound is asymptotically optimal. Hence our results are tight (the assumption is
both necessary and sufficient) and optimal (our quantitative bound is asymptotically
optimal).'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games.
IST Austria; 2011. doi:10.15479/AT:IST-2011-0006
apa: Chatterjee, K. (2011). Robustness of structurally equivalent concurrent
parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
chicago: Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent
Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0006.
ieee: K. Chatterjee, Robustness of structurally equivalent concurrent parity
games. IST Austria, 2011.
ista: Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity
games, IST Austria, 18p.
mla: Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent
Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
short: K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games,
IST Austria, 2011.
date_created: 2018-12-12T11:39:00Z
date_published: 2011-06-27T00:00:00Z
date_updated: 2025-04-15T08:12:24Z
day: '27'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0006
file:
- access_level: open_access
checksum: 1322b652d6ab07eb5248298a3f91c1cf
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:24Z
date_updated: 2020-07-14T12:46:40Z
file_id: '5546'
file_name: IST-2011-0006_IST-2011-0006.pdf
file_size: 335997
relation: main_file
file_date_updated: 2020-07-14T12:46:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '18'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '18'
related_material:
record:
- id: '3341'
relation: later_version
status: public
status: public
title: Robustness of structurally equivalent concurrent parity games
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5383'
abstract:
- lang: eng
text: We present a new decidable logic called TREX for expressing constraints about
imperative tree data structures. In particular, TREX supports a transitive closure
operator that can express reachability constraints, which often appear in data
structure invariants. We show that our logic is closed under weakest precondition
computation, which enables its use for automated software verification. We further
show that satisfiability of formulas in TREX is decidable in NP. The low complexity
makes it an attractive alternative to more expensive logics such as monadic second-order
logic (MSOL) over trees, which have been traditionally used for reasoning about
tree data structures.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Marco
full_name: Muñiz, Marco
last_name: Muñiz
- first_name: Viktor
full_name: Kuncak, Viktor
last_name: Kuncak
citation:
ama: Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative
Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
apa: Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure
for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005
chicago: Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision
Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
ieee: T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for
imperative tree data structures. IST Austria, 2011.
ista: Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative
tree data structures, IST Austria, 25p.
mla: Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree
Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
short: T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative
Tree Data Structures, IST Austria, 2011.
date_created: 2018-12-12T11:39:01Z
date_published: 2011-04-26T00:00:00Z
date_updated: 2024-10-09T20:54:31Z
day: '26'
ddc:
- '000'
- '006'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2011-0005
file:
- access_level: open_access
checksum: b20029184c4a819c5f4466a4a3d238b5
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:01Z
date_updated: 2020-07-14T12:46:40Z
file_id: '5462'
file_name: IST-2011-0005_IST-2011-0005.pdf
file_size: 619053
relation: main_file
file_date_updated: 2020-07-14T12:46:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '25'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '19'
related_material:
record:
- id: '3323'
relation: later_version
status: public
status: public
title: On an efficient decision procedure for imperative tree data structures
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5384'
abstract:
- lang: eng
text: 'We consider probabilistic automata on infinite words with acceptance defined
by parity conditions. We consider three qualitative decision problems: (i) the
positive decision problem asks whether there is a word that is accepted with positive
probability; (ii) the almost decision problem asks whether there is a word that
is accepted with probability 1; and (iii) the limit decision problem asks whether
for every ε > 0 there is a word that is accepted with probability at least 1 −
ε. We unify and generalize several decidability results for probabilistic automata
over infinite words, and identify a robust (closed under union and intersection)
subclass of probabilistic automata for which all the qualitative decision problems
are decidable for parity conditions. We also show that if the input words are
restricted to lasso shape words, then the positive and almost problems are decidable
for all probabilistic automata with parity conditions.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Mathieu
full_name: Tracol, Mathieu
id: 3F54FA38-F248-11E8-B48F-1D18A9856A87
last_name: Tracol
citation:
ama: Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on
Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
apa: Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic
automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
chicago: Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic
Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
ieee: K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata
on infinite words. IST Austria, 2011.
ista: Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata
on infinite words, IST Austria, 30p.
mla: Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic
Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
short: K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on
Infinite Words, IST Austria, 2011.
corr_author: '1'
date_created: 2018-12-12T11:39:01Z
date_published: 2011-04-11T00:00:00Z
date_updated: 2025-09-30T08:07:38Z
day: '11'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0004
file:
- access_level: open_access
checksum: f5a0f664fadc335990f5fcf138df19f1
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:23Z
date_updated: 2020-07-14T12:46:40Z
file_id: '5545'
file_name: IST-2011-004_IST-2011-0004.pdf
file_size: 570827
relation: main_file
file_date_updated: 2020-07-14T12:46:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '30'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '20'
related_material:
record:
- id: '2957'
relation: later_version
status: public
status: public
title: Decidable problems for probabilistic automata on infinite words
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5385'
abstract:
- lang: eng
text: There is recently a significant effort to add quantitative objectives to formal
verification and synthesis. We introduce and investigate the extension of temporal
logics with quantitative atomic assertions, aiming for a general and flexible
framework for quantitative-oriented specifications. In the heart of quantitative
objectives lies the accumulation of values along a computation. It is either the
accumulated summation, as with the energy objectives, or the accumulated average,
as with the mean-payoff objectives. We investigate the extension of temporal logics
with the prefix-accumulation assertions Sum(v) ≥ c and Avg(v) ≥ c, where v is
a numeric variable of the system, c is a constant rational number, and Sum(v)
and Avg(v) denote the accumulated sum and average of the values of v from the
beginning of the computation up to the current point of time. We also allow the
path-accumulation assertions LimInfAvg(v) ≥ c and LimSupAvg(v) ≥ c, referring
to the average value along an entire computation. We study the border of decidability
for extensions of various temporal logics. In particular, we show that extending
the fragment of CTL that has only the EX, EF, AX, and AG temporal modalities by
prefix-accumulation assertions and extending LTL with path-accumulation assertions,
result in temporal logics whose model-checking problem is decidable. The extended
logics allow to significantly extend the currently known energy and mean-payoff
objectives. Moreover, the prefix-accumulation assertions may be refined with “controlled-accumulation”,
allowing, for example, to specify constraints on the average waiting time between
a request and a grant. On the negative side, we show that the fragment we point
to is, in a sense, the maximal logic whose extension with prefix-accumulation
assertions permits a decidable model-checking procedure. Extending a temporal
logic that has the EG or EU modalities, and in particular CTL and LTL, makes the
problem undecidable.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications
with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
apa: Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal
specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
chicago: Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman.
Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
ieee: U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications
with accumulative values. IST Austria, 2011.
ista: Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications
with accumulative values, IST Austria, 14p.
mla: Boker, Udi, et al. Temporal Specifications with Accumulative Values.
IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
short: U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications
with Accumulative Values, IST Austria, 2011.
date_created: 2018-12-12T11:39:02Z
date_published: 2011-04-04T00:00:00Z
date_updated: 2025-09-30T09:27:29Z
day: '04'
ddc:
- '000'
- '004'
department:
- _id: ToHe
- _id: KrCh
doi: 10.15479/AT:IST-2011-0003
ec_funded: 1
file:
- access_level: open_access
checksum: 8491d0d48c4911620ecd5350b413c11e
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:00Z
date_updated: 2020-07-14T12:46:41Z
file_id: '5461'
file_name: IST-2011-0003_IST-2011-0003.pdf
file_size: 366281
relation: main_file
file_date_updated: 2020-07-14T12:46:41Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '14'
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '215543'
name: COMponent-Based Embedded Systems design Techniques
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '214373'
name: Design for Embedded Systems
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '21'
related_material:
record:
- id: '2038'
relation: later_version
status: public
- id: '3356'
relation: later_version
status: public
status: public
title: Temporal specifications with accumulative values
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5386'
abstract:
- lang: eng
text: 'We introduce TopoCut: a new way to integrate knowledge about topological
properties (TPs) into random field image segmentation model. Instead of including
TPs as additional constraints during minimization of the energy function, we devise
an efficient algorithm for modifying the unary potentials such that the resulting
segmentation is guaranteed with the desired properties. Our method is more flexible
in the sense that it handles more topology constraints than previous methods,
which were only able to enforce pairwise or global connectivity. In particular,
our method is very fast, making it for the first time possible to enforce global
topological properties in practical image segmentation tasks.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Daniel
full_name: Freedman, Daniel
last_name: Freedman
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: Chen C, Freedman D, Lampert C. Enforcing Topological Constraints in Random
Field Image Segmentation. IST Austria; 2011. doi:10.15479/AT:IST-2011-0002
apa: Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological
constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
chicago: Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological
Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
ieee: C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints
in random field image segmentation. IST Austria, 2011.
ista: Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in
random field image segmentation, IST Austria, 69p.
mla: Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image
Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.
short: C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random
Field Image Segmentation, IST Austria, 2011.
date_created: 2018-12-12T11:39:02Z
date_published: 2011-03-28T00:00:00Z
date_updated: 2024-10-09T20:54:30Z
day: '28'
ddc:
- '000'
department:
- _id: ChLa
doi: 10.15479/AT:IST-2011-0002
file:
- access_level: open_access
checksum: ad64c2add5fe2ad10e9d5c669f3f9526
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:34Z
date_updated: 2020-07-14T12:46:41Z
file_id: '5495'
file_name: IST-2011-0002_IST-2011-0002.pdf
file_size: 26390601
relation: main_file
file_date_updated: 2020-07-14T12:46:41Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '69'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '22'
related_material:
record:
- id: '3336'
relation: later_version
status: public
status: public
title: Enforcing topological constraints in random field image segmentation
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5387'
abstract:
- lang: eng
text: We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy
parity objectives. In system design, the parity objective is used to encode ω-regular
specifications, and the mean-payoff and energy objectives can be used to model
quantitative resource constraints. The energy condition re- quires that the resource
level never drops below 0, and the mean-payoff condi- tion requires that the limit-average
value of the resource consumption is within a threshold. While these two (energy
and mean-payoff) classical conditions are equivalent for two-player games, we
show that they differ for MDPs. We show that the problem of deciding whether a
state is almost-sure winning (i.e., winning with probability 1) in energy parity
MDPs is in NP ∩ coNP, while for mean- payoff parity MDPs, the problem is solvable
in polynomial time, improving a recent PSPACE bound.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: Chatterjee K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes.
IST Austria; 2011. doi:10.15479/AT:IST-2011-0001
apa: Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov
decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2011-0001
chicago: Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity
Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
ieee: K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision
processes. IST Austria, 2011.
ista: Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision
processes, IST Austria, 20p.
mla: Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity
Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
short: K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes,
IST Austria, 2011.
date_created: 2018-12-12T11:39:02Z
date_published: 2011-02-16T00:00:00Z
date_updated: 2025-04-15T08:12:14Z
day: '16'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0001
file:
- access_level: open_access
checksum: 824d6c70e6d3feb3e836b009e0b3cf73
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:52:57Z
date_updated: 2020-07-14T12:46:41Z
file_id: '5458'
file_name: IST-2011-0001_IST-2011-0001.pdf
file_size: 329976
relation: main_file
file_date_updated: 2020-07-14T12:46:41Z
has_accepted_license: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '20'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '23'
related_material:
record:
- id: '3345'
relation: later_version
status: public
status: public
title: Energy and mean-payoff parity Markov decision processes
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '580'
author:
- first_name: Onur
full_name: Onur Hosten
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
citation:
ama: 'Hosten O. Quantum physics: How to catch a wave. Nature. 2011;474(7350):170-171.
doi:10.1038/474170a'
apa: 'Hosten, O. (2011). Quantum physics: How to catch a wave. Nature. Nature
Publishing Group. https://doi.org/10.1038/474170a'
chicago: 'Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature. Nature
Publishing Group, 2011. https://doi.org/10.1038/474170a.'
ieee: 'O. Hosten, “Quantum physics: How to catch a wave,” Nature, vol. 474,
no. 7350. Nature Publishing Group, pp. 170–171, 2011.'
ista: 'Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350),
170–171.'
mla: 'Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature, vol.
474, no. 7350, Nature Publishing Group, 2011, pp. 170–71, doi:10.1038/474170a.'
short: O. Hosten, Nature 474 (2011) 170–171.
date_created: 2018-12-11T11:47:18Z
date_published: 2011-06-08T00:00:00Z
date_updated: 2021-01-12T08:03:34Z
day: '08'
doi: 10.1038/474170a
extern: 1
intvolume: ' 474'
issue: '7350'
month: '06'
page: 170 - 171
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '7224'
quality_controlled: 0
status: public
title: 'Quantum physics: How to catch a wave'
type: journal_article
volume: 474
year: '2011'
...
---
_id: '585'
abstract:
- lang: eng
text: |+
We present two independent schemes for the precise focusing of orthogonal polarizations of light at arbitrary relative locations. The first scheme uses a polarization Sagnac interferometer, the second a set of three birefringent elements.
alternative_title:
- Optics InfoBase Conference Papers
author:
- first_name: David
full_name: Schmid, David
last_name: Schmid
- first_name: Shiraz
full_name: Hazrat, Shiraz
last_name: Hazrat
- first_name: Radhika
full_name: Rangarajan, Radhika
last_name: Rangarajan
- first_name: Onur
full_name: Onur Hosten
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Stephan
full_name: Quint, Stephan
last_name: Quint
- first_name: Paul
full_name: Kwiat, Paul G
last_name: Kwiat
citation:
ama: 'Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. Methods towards
achieving precise birefringent focusing. In: OSA; 2011. doi:10.1364/CLEO_AT.2011.JThB130'
apa: 'Schmid, D., Hazrat, S., Rangarajan, R., Hosten, O., Quint, S., & Kwiat,
P. (2011). Methods towards achieving precise birefringent focusing. Presented
at the QELS: Quantum Electronics and Laser Science, OSA. https://doi.org/10.1364/CLEO_AT.2011.JThB130'
chicago: Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan
Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.”
OSA, 2011. https://doi.org/10.1364/CLEO_AT.2011.JThB130.
ieee: 'D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, and P. Kwiat, “Methods
towards achieving precise birefringent focusing,” presented at the QELS: Quantum
Electronics and Laser Science, 2011.'
ista: 'Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. 2011. Methods
towards achieving precise birefringent focusing. QELS: Quantum Electronics and
Laser Science, Optics InfoBase Conference Papers, .'
mla: Schmid, David, et al. Methods towards Achieving Precise Birefringent Focusing.
OSA, 2011, doi:10.1364/CLEO_AT.2011.JThB130.
short: D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:,
OSA, 2011.
conference:
name: 'QELS: Quantum Electronics and Laser Science'
date_created: 2018-12-11T11:47:20Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T08:03:44Z
day: '01'
doi: 10.1364/CLEO_AT.2011.JThB130
extern: 1
month: '01'
publication_status: published
publisher: OSA
publist_id: '7220'
quality_controlled: 0
status: public
title: Methods towards achieving precise birefringent focusing
type: conference
year: '2011'
...
...
---
_id: '586'
abstract:
- lang: eng
text: We demonstrate a Raman laser using cold Rb87 atoms as the gain medium in a
high-finesse optical cavity. We observe robust continuous wave lasing in the atypical
regime where single atoms can considerably affect the cavity field. Consequently,
we discover unusual lasing threshold behavior in the system causing jumps in lasing
power, and propose a model to explain the effect. We also measure the intermode
laser linewidth, and observe values as low as 80Hz. The tunable gain properties
of this laser suggest multiple directions for future research.
author:
- first_name: Geert
full_name: Vrijsen, Geert
last_name: Vrijsen
- first_name: Onur
full_name: Onur Hosten
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Jongmin
full_name: Lee, Jongmin
last_name: Lee
- first_name: Simon
full_name: Bernon, Simon
last_name: Bernon
- first_name: Mark
full_name: Kasevich, Mark A
last_name: Kasevich
citation:
ama: Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. Raman lasing with a cold
atom gain medium in a high-finesse optical cavity. Physical Review Letters.
2011;107(6). doi:10.1103/PhysRevLett.107.063904
apa: Vrijsen, G., Hosten, O., Lee, J., Bernon, S., & Kasevich, M. (2011). Raman
lasing with a cold atom gain medium in a high-finesse optical cavity. Physical
Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.063904
chicago: Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich.
“Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.”
Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.063904.
ieee: G. Vrijsen, O. Hosten, J. Lee, S. Bernon, and M. Kasevich, “Raman lasing with
a cold atom gain medium in a high-finesse optical cavity,” Physical Review
Letters, vol. 107, no. 6. American Physical Society, 2011.
ista: Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. 2011. Raman lasing with
a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters.
107(6).
mla: Vrijsen, Geert, et al. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse
Optical Cavity.” Physical Review Letters, vol. 107, no. 6, American Physical
Society, 2011, doi:10.1103/PhysRevLett.107.063904.
short: G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters
107 (2011).
date_created: 2018-12-11T11:47:20Z
date_published: 2011-08-04T00:00:00Z
date_updated: 2021-01-12T08:05:05Z
day: '04'
doi: 10.1103/PhysRevLett.107.063904
extern: 1
intvolume: ' 107'
issue: '6'
month: '08'
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '7223'
quality_controlled: 0
status: public
title: Raman lasing with a cold atom gain medium in a high-finesse optical cavity
type: journal_article
volume: 107
year: '2011'
...
---
_id: '597'
abstract:
- lang: eng
text: The macromolecular assembly required to initiate transcription of protein-coding
genes, known as the Pre-Initiation Complex (PIC), consists of multiple protein
complexes and is approximately 3.5 MDa in size. At the heart of this assembly
is the Mediator complex, which helps regulate PIC activity and interacts with
the RNA polymerase II (pol II) enzyme. The structure of the human Mediator-pol
II interface is not well-characterized, whereas attempts to structurally define
the Mediator-pol II interaction in yeast have relied on incomplete assemblies
of Mediator and/or pol II and have yielded inconsistent interpretations. We have
assembled the complete, 1.9 MDa human Mediator-pol II-TFIIF complex from purified
components and have characterized its structural organization using cryo-electron
microscopy and single-particle reconstruction techniques. The orientation of pol
II within this assembly was determined by crystal structure docking and further
validated with projection matching experiments, allowing the structural organization
of the entire human PIC to be envisioned. Significantly, pol II orientation within
the Mediator-pol II-TFIIF assembly can be reconciled with past studies that determined
the location of other PIC components relative to pol II itself. Pol II surfaces
required for interacting with TFIIB, TFIIE, and promoter DNA (i.e., the pol II
cleft) are exposed within the Mediator-pol II-TFIIF structure; RNA exit is unhindered
along the RPB4/7 subunits; upstream and downstream DNA is accessible for binding
additional factors; and no major structural re-organization is necessary to accommodate
the large, multi-subunit TFIIH or TFIID complexes. The data also reveal how pol
II binding excludes Mediator-CDK8 subcomplex interactions and provide a structural
basis for Mediator-dependent control of PIC assembly and function. Finally, parallel
structural analysis of Mediator-pol II complexes lacking TFIIF reveal that TFIIF
plays a key role in stabilizing pol II orientation within the assembly.
article_processing_charge: No
author:
- first_name: Carrie A
full_name: Bernecky, Carrie A
id: 2CB9DFE2-F248-11E8-B48F-1D18A9856A87
last_name: Bernecky
orcid: 0000-0003-0893-7036
- first_name: Patricia
full_name: Grob, Patricia
last_name: Grob
- first_name: Christopher
full_name: Ebmeier, Christopher
last_name: Ebmeier
- first_name: Eva
full_name: Nogales, Eva
last_name: Nogales
- first_name: Dylan
full_name: Taatjes, Dylan
last_name: Taatjes
citation:
ama: Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. Molecular architecture
of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 2011;9(3).
doi:10.1371/journal.pbio.1000603
apa: Bernecky, C., Grob, P., Ebmeier, C., Nogales, E., & Taatjes, D. (2011).
Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly.
PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000603
chicago: Bernecky, Carrie, Patricia Grob, Christopher Ebmeier, Eva Nogales, and
Dylan Taatjes. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF
Assembly.” PLoS Biology. Public Library of Science, 2011. https://doi.org/10.1371/journal.pbio.1000603.
ieee: C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, and D. Taatjes, “Molecular architecture
of the human Mediator-RNA polymerase II-TFIIF assembly,” PLoS Biology,
vol. 9, no. 3. Public Library of Science, 2011.
ista: Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. 2011. Molecular architecture
of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 9(3).
mla: Bernecky, Carrie, et al. “Molecular Architecture of the Human Mediator-RNA
Polymerase II-TFIIF Assembly.” PLoS Biology, vol. 9, no. 3, Public Library
of Science, 2011, doi:10.1371/journal.pbio.1000603.
short: C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9
(2011).
date_created: 2018-12-11T11:47:24Z
date_published: 2011-03-01T00:00:00Z
date_updated: 2021-01-12T08:05:25Z
day: '01'
doi: 10.1371/journal.pbio.1000603
extern: '1'
intvolume: ' 9'
issue: '3'
language:
- iso: eng
month: '03'
oa_version: None
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
publist_id: '7209'
status: public
title: Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2011'
...
---
_id: '6137'
abstract:
- lang: eng
text: Variation in food quality and abundance requires animals to decide whether
to stay on a poor food patch or leave in search of better food. An important question
in behavioral ecology asks when is it optimal for an animal to leave a food patch
it is depleting. Although optimal foraging is central to evolutionary success,
the neural and molecular mechanisms underlying it are poorly understood. Here
we investigate the neuronal basis for adaptive food-leaving behavior in response
to resource depletion in Caenorhabditis elegans, and identify several of the signaling
pathways involved. The ASE neurons, previously implicated in salt chemoattraction,
promote food-leaving behavior via a cGMP pathway as food becomes limited. High
ambient O2 promotes food-leaving via the O2-sensing neurons AQR, PQR, and URX.
Ectopic activation of these neurons using channelrhodopsin is sufficient to induce
high food-leaving behavior. In contrast, the neuropeptide receptor NPR-1, which
regulates social behavior on food, acts in the ASE neurons, the nociceptive ASH
neurons, and in the RMG interneuron to repress food-leaving. Finally, we show
that neuroendocrine signaling by TGF-β/DAF-7 and neuronal insulin signaling are
necessary for adaptive food-leaving behavior. We suggest that animals integrate
information about their nutritional state with ambient oxygen and gustatory stimuli
to formulate optimal foraging strategies.
author:
- first_name: K.
full_name: Milward, K.
last_name: Milward
- first_name: K. E.
full_name: Busch, K. E.
last_name: Busch
- first_name: R. J.
full_name: Murphy, R. J.
last_name: Murphy
- 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: B.
full_name: Olofsson, B.
last_name: Olofsson
citation:
ama: Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. Neuronal and molecular
substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the
National Academy of Sciences. 2011;108(51):20672-20677. doi:10.1073/pnas.1106134109
apa: Milward, K., Busch, K. E., Murphy, R. J., de Bono, M., & Olofsson, B. (2011).
Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans.
Proceedings of the National Academy of Sciences. National Academy of Sciences.
https://doi.org/10.1073/pnas.1106134109
chicago: Milward, K., K. E. Busch, R. J. Murphy, Mario de Bono, and B. Olofsson.
“Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.”
Proceedings of the National Academy of Sciences. National Academy of Sciences,
2011. https://doi.org/10.1073/pnas.1106134109.
ieee: K. Milward, K. E. Busch, R. J. Murphy, M. de Bono, and B. Olofsson, “Neuronal
and molecular substrates for optimal foraging in Caenorhabditis elegans,” Proceedings
of the National Academy of Sciences, vol. 108, no. 51. National Academy of
Sciences, pp. 20672–20677, 2011.
ista: Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and
molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings
of the National Academy of Sciences. 108(51), 20672–20677.
mla: Milward, K., et al. “Neuronal and Molecular Substrates for Optimal Foraging
in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences,
vol. 108, no. 51, National Academy of Sciences, 2011, pp. 20672–77, doi:10.1073/pnas.1106134109.
short: K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings
of the National Academy of Sciences 108 (2011) 20672–20677.
date_created: 2019-03-20T14:30:06Z
date_published: 2011-12-20T00:00:00Z
date_updated: 2021-01-12T08:06:18Z
day: '20'
doi: 10.1073/pnas.1106134109
extern: '1'
external_id:
pmid:
- '22135454'
intvolume: ' 108'
issue: '51'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3251049/
month: '12'
oa: 1
oa_version: Submitted Version
page: 20672-20677
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
issn:
- 0027-8424
- 1091-6490
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
status: public
title: Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 108
year: '2011'
...
---
_id: '6138'
author:
- first_name: Andrew Jonathan
full_name: Bretscher, Andrew Jonathan
last_name: Bretscher
- first_name: Eiji
full_name: Kodama-Namba, Eiji
last_name: Kodama-Namba
- first_name: Karl Emanuel
full_name: Busch, Karl Emanuel
last_name: Busch
- first_name: Robin Joseph
full_name: Murphy, Robin Joseph
last_name: Murphy
- first_name: Zoltan
full_name: Soltesz, Zoltan
last_name: Soltesz
- first_name: Patrick
full_name: Laurent, Patrick
last_name: Laurent
- 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, Kodama-Namba E, Busch KE, et al. Temperature, oxygen, and salt-sensing
neurons in C. elegans are carbon dioxide sensors that control avoidance behavior.
Neuron. 2011;69(6):1099-1113. doi:10.1016/j.neuron.2011.02.023
apa: Bretscher, A. J., Kodama-Namba, E., Busch, K. E., Murphy, R. J., Soltesz, Z.,
Laurent, P., & de Bono, M. (2011). Temperature, oxygen, and salt-sensing neurons
in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron.
Elsevier BV. https://doi.org/10.1016/j.neuron.2011.02.023
chicago: Bretscher, Andrew Jonathan, Eiji Kodama-Namba, Karl Emanuel Busch, Robin Joseph
Murphy, Zoltan Soltesz, Patrick Laurent, and Mario de Bono. “Temperature, Oxygen,
and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control
Avoidance Behavior.” Neuron. Elsevier BV, 2011. https://doi.org/10.1016/j.neuron.2011.02.023.
ieee: A. J. Bretscher et al., “Temperature, oxygen, and salt-sensing neurons
in C. elegans are carbon dioxide sensors that control avoidance behavior,” Neuron,
vol. 69, no. 6. Elsevier BV, pp. 1099–1113, 2011.
ista: Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de
Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are
carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113.
mla: Bretscher, Andrew Jonathan, et al. “Temperature, Oxygen, and Salt-Sensing Neurons
in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.” Neuron,
vol. 69, no. 6, Elsevier BV, 2011, pp. 1099–113, doi:10.1016/j.neuron.2011.02.023.
short: A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P.
Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.
date_created: 2019-03-20T15:01:41Z
date_published: 2011-03-24T00:00:00Z
date_updated: 2021-01-12T08:06:18Z
day: '24'
ddc:
- '570'
doi: 10.1016/j.neuron.2011.02.023
extern: '1'
external_id:
pmid:
- '21435556'
file:
- access_level: open_access
checksum: 547cffd123f4c508ae927c9244b8f92a
content_type: application/pdf
creator: kschuh
date_created: 2019-03-20T15:06:32Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6139'
file_name: 2011_Cell_Bretscher.pdf
file_size: 2448332
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 69'
issue: '6'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 1099-1113
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier BV
quality_controlled: '1'
status: public
title: Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide
sensors that control avoidance behavior
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 69
year: '2011'
...
---
_id: '6140'
abstract:
- lang: eng
text: 'Genome sequence comparisons have highlighted many novel gene families that
are conserved across animal phyla but whose biological function is unknown. Here,
we functionally characterize a member of one such family, the macoilins. Macoilins
are characterized by several highly conserved predicted transmembrane domains
towards the N-terminus and by coiled-coil regions C-terminally. They are found
throughout Eumetazoa but not in other organisms. Mutants for the single Caenorhabditis
elegans macoilin, maco-1, exhibit a constellation of behavioral phenotypes, including
defects in aggregation, O2 responses, and swimming. MACO-1 protein is expressed
broadly and specifically in the nervous system and localizes to the rough endoplasmic
reticulum; it is excluded from dendrites and axons. Apart from subtle synapse
defects, nervous system development appears wild-type in maco-1 mutants. However,
maco-1 animals are resistant to the cholinesterase inhibitor aldicarb and sensitive
to levamisole, suggesting pre-synaptic defects. Using in vivo imaging, we show
that macoilin is required to evoke Ca2+ transients, at least in some neurons:
in maco-1 mutants the O2-sensing neuron PQR is unable to generate a Ca2+ response
to a rise in O2. By genetically disrupting neurotransmission, we show that pre-synaptic
input is not necessary for PQR to respond to O2, indicating that the response
is mediated by cell-intrinsic sensory transduction and amplification. Disrupting
the sodium leak channels NCA-1/NCA-2, or the N-,P/Q,R-type voltage-gated Ca2+
channels, also fails to disrupt Ca2+ responses in the PQR cell body to O2 stimuli.
By contrast, mutations in egl-19, which encodes the only Caenorhabditis elegans
L-type voltage-gated Ca2+ channel α1 subunit, recapitulate the Ca2+ response defect
we see in maco-1 mutants, although we do not see defects in localization of EGL-19.
Together, our data suggest that macoilin acts in the ER to regulate assembly or
traffic of ion channels or ion channel regulators.'
article_number: e1001341
author:
- first_name: Fausto
full_name: Arellano-Carbajal, Fausto
last_name: Arellano-Carbajal
- first_name: Luis
full_name: Briseño-Roa, Luis
last_name: Briseño-Roa
- first_name: Africa
full_name: Couto, Africa
last_name: Couto
- first_name: Benny H. H.
full_name: Cheung, Benny H. H.
last_name: Cheung
- first_name: Michel
full_name: Labouesse, Michel
last_name: Labouesse
- 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: Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono
M. Macoilin, a conserved nervous system–specific ER membrane protein that regulates
neuronal excitability. PLoS Genetics. 2011;7(3). doi:10.1371/journal.pgen.1001341
apa: Arellano-Carbajal, F., Briseño-Roa, L., Couto, A., Cheung, B. H. H., Labouesse,
M., & de Bono, M. (2011). Macoilin, a conserved nervous system–specific ER
membrane protein that regulates neuronal excitability. PLoS Genetics. Public
Library of Science. https://doi.org/10.1371/journal.pgen.1001341
chicago: Arellano-Carbajal, Fausto, Luis Briseño-Roa, Africa Couto, Benny H. H.
Cheung, Michel Labouesse, and Mario de Bono. “Macoilin, a Conserved Nervous System–Specific
ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics.
Public Library of Science, 2011. https://doi.org/10.1371/journal.pgen.1001341.
ieee: F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B. H. H. Cheung, M. Labouesse,
and M. de Bono, “Macoilin, a conserved nervous system–specific ER membrane protein
that regulates neuronal excitability,” PLoS Genetics, vol. 7, no. 3. Public
Library of Science, 2011.
ista: Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono
M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that
regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.
mla: Arellano-Carbajal, Fausto, et al. “Macoilin, a Conserved Nervous System–Specific
ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics,
vol. 7, no. 3, e1001341, Public Library of Science, 2011, doi:10.1371/journal.pgen.1001341.
short: F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse,
M. de Bono, PLoS Genetics 7 (2011).
date_created: 2019-03-20T15:08:23Z
date_published: 2011-03-17T00:00:00Z
date_updated: 2021-01-12T08:06:19Z
day: '17'
ddc:
- '570'
doi: 10.1371/journal.pgen.1001341
extern: '1'
external_id:
pmid:
- '21437263'
file:
- access_level: open_access
checksum: c609b2ce616d7dafbb617ec5d022f1ea
content_type: application/pdf
creator: kschuh
date_created: 2019-03-20T15:18:11Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6141'
file_name: 2011_PLOS_Arellano-Carbajal.PDF
file_size: 5625063
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 7'
issue: '3'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS Genetics
publication_identifier:
issn:
- 1553-7404
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
status: public
title: Macoilin, a conserved nervous system–specific ER membrane protein that regulates
neuronal excitability
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2011'
...
---
_id: '6298'
abstract:
- lang: eng
text: Tumor necrosis factor-stimulated gene-6 (TSG-6) is a hyalu-ronan (HA)-binding
protein that plays important roles ininflammation and ovulation. TSG-6-mediated
cross-linking ofHA has been proposed as a functional mechanism (e.g.for regu-lating
leukocyte adhesion), but direct evidence for cross-linkingis lacking, and we know
very little about its impact on HA ultra-structure. Here we used films of polymeric
and oligomeric HAchains, end-grafted to a solid support, and a combination ofsurface-sensitive
biophysical techniques to quantify the bindingof TSG-6 into HA films and to correlate
binding to morpholog-ical changes. We find that full-length TSG-6 binds with pro-nounced
positive cooperativity and demonstrate that it cancross-link HA at physiologically
relevant concentrations. Ourdata indicate that cooperative binding of full-length
TSG-6arises from HA-induced protein oligomerization and that theTSG-6 oligomers
act as cross-linkers. In contrast, the HA-bind-ing domain of TSG-6 (the Link module)
alone binds withoutpositive cooperativity and weaker than the full-length protein.Both
the Link module and full-length TSG-6 condensed andrigidified HA films, and the
degree of condensation scaled withthe affinity between the TSG-6 constructs and
HA. We proposethat condensation is the result of protein-mediated HA cross-linking.
Our findings firmly establish that TSG-6 is a potent HAcross-linking agent and
might hence have important implica-tions for the mechanistic understanding of
the biological func-tion of TSG-6 (e.g.in inflammation).
author:
- first_name: Natalia
full_name: Baranova, Natalia
id: 38661662-F248-11E8-B48F-1D18A9856A87
last_name: Baranova
orcid: 0000-0002-3086-9124
- first_name: Erik
full_name: Nilebäck, Erik
last_name: Nilebäck
- first_name: F. Michael
full_name: Haller, F. Michael
last_name: Haller
- first_name: David C.
full_name: Briggs, David C.
last_name: Briggs
- first_name: Sofia
full_name: Svedhem, Sofia
last_name: Svedhem
- first_name: Anthony J.
full_name: Day, Anthony J.
last_name: Day
- first_name: Ralf P.
full_name: Richter, Ralf P.
last_name: Richter
citation:
ama: Baranova NS, Nilebäck E, Haller FM, et al. The inflammation-associated protein
TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal
of Biological Chemistry. 2011;286(29):25675-25686. doi:10.1074/jbc.m111.247395
apa: Baranova, N. S., Nilebäck, E., Haller, F. M., Briggs, D. C., Svedhem, S., Day,
A. J., & Richter, R. P. (2011). The inflammation-associated protein TSG-6
cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological
Chemistry. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m111.247395
chicago: Baranova, Natalia S., Erik Nilebäck, F. Michael Haller, David C. Briggs,
Sofia Svedhem, Anthony J. Day, and Ralf P. Richter. “The Inflammation-Associated
Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.”
Journal of Biological Chemistry. American Society for Biochemistry &
Molecular Biology, 2011. https://doi.org/10.1074/jbc.m111.247395.
ieee: N. S. Baranova et al., “The inflammation-associated protein TSG-6 cross-links
hyaluronan via hyaluronan-induced TSG-6 oligomers,” Journal of Biological Chemistry,
vol. 286, no. 29. American Society for Biochemistry & Molecular Biology, pp.
25675–25686, 2011.
ista: Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter
RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via
hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29),
25675–25686.
mla: Baranova, Natalia S., et al. “The Inflammation-Associated Protein TSG-6 Cross-Links
Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.” Journal of Biological Chemistry,
vol. 286, no. 29, American Society for Biochemistry & Molecular Biology, 2011,
pp. 25675–86, doi:10.1074/jbc.m111.247395.
short: N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day,
R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.
date_created: 2019-04-11T20:57:43Z
date_published: 2011-07-22T00:00:00Z
date_updated: 2021-01-12T08:06:58Z
day: '22'
doi: 10.1074/jbc.m111.247395
extern: '1'
intvolume: ' 286'
issue: '29'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.jbc.org/content/286/29/25675.full.pdf
month: '07'
oa: 1
oa_version: Published Version
page: 25675-25686
publication: Journal of Biological Chemistry
publication_identifier:
issn:
- 0021-9258
- 1083-351X
publication_status: published
publisher: American Society for Biochemistry & Molecular Biology
quality_controlled: '1'
status: public
title: The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced
TSG-6 oligomers
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 286
year: '2011'
...
---
_id: '6496'
abstract:
- lang: eng
text: We report the switching behavior of the full bacterial flagellum system that
includes the filament and the motor in wild-type Escherichia coli cells. In sorting
the motor behavior by the clockwise bias, we find that the distributions of the
clockwise (CW) and counterclockwise (CCW) intervals are either exponential or
nonexponential with long tails. At low bias, CW intervals are exponentially distributed
and CCW intervals exhibit long tails. At intermediate CW bias (0.5) both CW and
CCW intervals are mainly exponentially distributed. A simple model suggests that
these two distinct switching behaviors are governed by the presence of signaling
noise within the chemotaxis network. Low noise yields exponentially distributed
intervals, whereas large noise yields nonexponential behavior with long tails.
These drastically different motor statistics may play a role in optimizing bacterial
behavior for a wide range of environmental conditions.
article_processing_charge: No
author:
- first_name: Heungwon
full_name: Park, Heungwon
last_name: Park
- first_name: Panos
full_name: Oikonomou, Panos
last_name: Oikonomou
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Philippe
full_name: Cluzel, Philippe
last_name: Cluzel
citation:
ama: Park H, Oikonomou P, Guet CC, Cluzel P. Noise underlies switching behavior
of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340.
doi:10.1016/j.bpj.2011.09.040
apa: Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies
switching behavior of the bacterial flagellum. Biophysical Journal. Elsevier.
https://doi.org/10.1016/j.bpj.2011.09.040
chicago: Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise
Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal.
Elsevier, 2011. https://doi.org/10.1016/j.bpj.2011.09.040.
ieee: H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching
behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no.
10. Elsevier, pp. 2336–2340, 2011.
ista: Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior
of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
mla: Park, Heungwon, et al. “Noise Underlies Switching Behavior of the Bacterial
Flagellum.” Biophysical Journal, vol. 101, no. 10, Elsevier, 2011, pp.
2336–40, doi:10.1016/j.bpj.2011.09.040.
short: H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011)
2336–2340.
date_created: 2019-05-28T11:54:29Z
date_published: 2011-11-16T00:00:00Z
date_updated: 2025-09-30T09:26:28Z
day: '16'
department:
- _id: CaGu
doi: 10.1016/j.bpj.2011.09.040
external_id:
isi:
- '000297143500008'
pmid:
- '22098731'
intvolume: ' 101'
isi: 1
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3218319/
month: '11'
oa: 1
oa_version: Published Version
page: 2336-2340
pmid: 1
publication: Biophysical Journal
publication_identifier:
issn:
- 0006-3495
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Noise underlies switching behavior of the bacterial flagellum
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 101
year: '2011'
...
---
_id: '6749'
abstract:
- lang: eng
text: This article refers to algorithms based on finite difference schemes for computing
mean and affine curvature evolutions of digital images, introduced by Alvarez
and Morel [L. Alvarez, J.M. Morel, “Formalization and computational aspects of
image analysis”, Acta Numerica, pp. 159, 1994]. We discuss consistency, stability
and convergence. Our analysis focuses on some possible choices of the parameters,
choices that generate multiple variants in the implementations. Meaningful visual
examples on how the algorithms actually work are provided.
author:
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
- first_name: Adina
full_name: Ciomaga, Adina
last_name: Ciomaga
citation:
ama: Mondelli M, Ciomaga A. Finite difference schemes for MCM and AMSS. Image
Processing On Line. 2011;1:127-177. doi:10.5201/ipol.2011.cm_fds
apa: Mondelli, M., & Ciomaga, A. (2011). Finite difference schemes for MCM and
AMSS. Image Processing On Line. IPOL Image Processing On Line. https://doi.org/10.5201/ipol.2011.cm_fds
chicago: Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM
and AMSS.” Image Processing On Line. IPOL Image Processing On Line, 2011.
https://doi.org/10.5201/ipol.2011.cm_fds.
ieee: M. Mondelli and A. Ciomaga, “Finite difference schemes for MCM and AMSS,”
Image Processing On Line, vol. 1. IPOL Image Processing On Line, pp. 127–177,
2011.
ista: Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image
Processing On Line. 1, 127–177.
mla: Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM and
AMSS.” Image Processing On Line, vol. 1, IPOL Image Processing On Line,
2011, pp. 127–77, doi:10.5201/ipol.2011.cm_fds.
short: M. Mondelli, A. Ciomaga, Image Processing On Line 1 (2011) 127–177.
date_created: 2019-07-31T09:44:24Z
date_published: 2011-09-13T00:00:00Z
date_updated: 2021-01-12T08:08:50Z
day: '13'
ddc:
- '000'
doi: 10.5201/ipol.2011.cm_fds
extern: '1'
file:
- access_level: open_access
checksum: 910710811224c633202791e0c217d05d
content_type: application/pdf
creator: dernst
date_created: 2019-08-01T06:34:21Z
date_updated: 2020-07-14T12:47:39Z
file_id: '6751'
file_name: 2011_IPOL_Mondelli.pdf
file_size: 2793903
relation: main_file
file_date_updated: 2020-07-14T12:47:39Z
has_accepted_license: '1'
intvolume: ' 1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 127-177
publication: Image Processing On Line
publication_identifier:
issn:
- 2105-1232
publication_status: published
publisher: IPOL Image Processing On Line
quality_controlled: '1'
status: public
title: Finite difference schemes for MCM and AMSS
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2011'
...
---
_id: '6767'
abstract:
- lang: eng
text: "In the present paper we give a thorough analysis of two finite difference
schemes for the Mean Curvature Motion and its affine variant, the Affine Morphological
Scale Space, schemes introduced in the Image Processing framework. This analysis
brings in a series of parameters that allow us to compute an accurate discrete
evolution of curvature motions.\r\nThe choice of these parameters is based on
intrinsic geometric properties of the evolution equations for linear, radial and
elliptical functions. In the last part we present several examples, underlining
the main advantages of the algorithms (the removal of pixelization effects and
JPEG artifacts) as well as their major drawbacks (absence of contrast invariance
and grid dependence). A detailed explanatory report, the ANSI C implementations
and an on-line demo can be found at http://www.ipol.im/."
author:
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
- first_name: Adina
full_name: Ciomaga, Adina
last_name: Ciomaga
citation:
ama: 'Mondelli M, Ciomaga A. On finite difference schemes for curvature motions.
In: Proceedings of the International Student Conference on Pure and Applied
Mathematics. Editura Universitãtii „Alexandru Ioan Cuza” Iasi; 2011:137-156.
doi:10.13140/2.1.1862.4646'
apa: 'Mondelli, M., & Ciomaga, A. (2011). On finite difference schemes for curvature
motions. In Proceedings of the International Student Conference on Pure and
Applied Mathematics (pp. 137–156). Iasi, Romania: Editura Universitãtii „Alexandru
Ioan Cuza” Iasi. https://doi.org/10.13140/2.1.1862.4646'
chicago: Mondelli, Marco, and Adina Ciomaga. “On Finite Difference Schemes for Curvature
Motions.” In Proceedings of the International Student Conference on Pure and
Applied Mathematics, 137–56. Editura Universitãtii „Alexandru Ioan Cuza” Iasi,
2011. https://doi.org/10.13140/2.1.1862.4646.
ieee: M. Mondelli and A. Ciomaga, “On finite difference schemes for curvature motions,”
in Proceedings of the International Student Conference on Pure and Applied
Mathematics, Iasi, Romania, 2011, pp. 137–156.
ista: 'Mondelli M, Ciomaga A. 2011. On finite difference schemes for curvature motions.
Proceedings of the International Student Conference on Pure and Applied Mathematics.
ISCOPAM: International Student Conference on Pure and Applied Mathematics, 137–156.'
mla: Mondelli, Marco, and Adina Ciomaga. “On Finite Difference Schemes for Curvature
Motions.” Proceedings of the International Student Conference on Pure and Applied
Mathematics, Editura Universitãtii „Alexandru Ioan Cuza” Iasi, 2011, pp. 137–56,
doi:10.13140/2.1.1862.4646.
short: M. Mondelli, A. Ciomaga, in:, Proceedings of the International Student Conference
on Pure and Applied Mathematics, Editura Universitãtii „Alexandru Ioan Cuza” Iasi,
2011, pp. 137–156.
conference:
end_date: 2010-07-16
location: Iasi, Romania
name: 'ISCOPAM: International Student Conference on Pure and Applied Mathematics'
start_date: 2010-07-12
date_created: 2019-08-05T12:20:58Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T08:08:56Z
day: '01'
doi: 10.13140/2.1.1862.4646
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 137-156
publication: Proceedings of the International Student Conference on Pure and Applied
Mathematics
publication_identifier:
isbn:
- 978-973-703-602-5
publication_status: published
publisher: Editura Universitãtii „Alexandru Ioan Cuza” Iasi
quality_controlled: '1'
status: public
title: On finite difference schemes for curvature motions
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '7076'
abstract:
- lang: eng
text: Iron is a ubiquitous impurity in metamict (radiation-damaged and partially
amorphized) materials such as titanite (CaSiTiO5). Using 57Fe Mössbauer spectroscopy
we find that iron in metamict titanite is partitioned between amorphous and crystalline
regions based on valence. Trivalent iron exists in the crystalline titanite matrix
whereas divalent iron exists almost exclusively in radiation-amorphized regions.
We find that the relative abundances of the oxidation states correlate with the
volume fraction of amorphous and crystalline regions. Our data also show that
oxidation of iron proceeds along with the recrystallization of the amorphized
regions. Recrystallization is confirmed to occur over the range 700 °C < T < 925 °C,
and no further structural changes are observed at higher temperatures. It is surprising
that our Mössbauer measurements show divalent iron to be surrounded by titanite
with a high degree of short-range structural order in the amorphized regions.
This observation is fundamentally different from other metamict materials such
as zircon (ZrSiO4), where amorphized regions show no short-range order.
article_number: '105402'
article_processing_charge: No
article_type: original
author:
- first_name: E K H
full_name: Salje, E K H
last_name: Salje
- first_name: D J
full_name: Safarik, D J
last_name: Safarik
- first_name: R D
full_name: Taylor, R D
last_name: Taylor
- first_name: M P
full_name: Pasternak, M P
last_name: Pasternak
- first_name: Kimberly A
full_name: Modic, Kimberly A
id: 13C26AC0-EB69-11E9-87C6-5F3BE6697425
last_name: Modic
orcid: 0000-0001-9760-3147
- first_name: L A
full_name: Groat, L A
last_name: Groat
- first_name: J C
full_name: Lashley, J C
last_name: Lashley
citation:
ama: 'Salje EKH, Safarik DJ, Taylor RD, et al. Determination of iron sites and the
amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of
Physics: Condensed Matter. 2011;23(10). doi:10.1088/0953-8984/23/10/105402'
apa: 'Salje, E. K. H., Safarik, D. J., Taylor, R. D., Pasternak, M. P., Modic, K.
A., Groat, L. A., & Lashley, J. C. (2011). Determination of iron sites and
the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal
of Physics: Condensed Matter. IOP Publishing. https://doi.org/10.1088/0953-8984/23/10/105402'
chicago: 'Salje, E K H, D J Safarik, R D Taylor, M P Pasternak, Kimberly A Modic,
L A Groat, and J C Lashley. “Determination of Iron Sites and the Amount of Amorphization
in Radiation-Damaged Titanite (CaSiTiO5).” Journal of Physics: Condensed Matter.
IOP Publishing, 2011. https://doi.org/10.1088/0953-8984/23/10/105402.'
ieee: 'E. K. H. Salje et al., “Determination of iron sites and the amount
of amorphization in radiation-damaged titanite (CaSiTiO5),” Journal of Physics:
Condensed Matter, vol. 23, no. 10. IOP Publishing, 2011.'
ista: 'Salje EKH, Safarik DJ, Taylor RD, Pasternak MP, Modic KA, Groat LA, Lashley
JC. 2011. Determination of iron sites and the amount of amorphization in radiation-damaged
titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 23(10), 105402.'
mla: 'Salje, E. K. H., et al. “Determination of Iron Sites and the Amount of Amorphization
in Radiation-Damaged Titanite (CaSiTiO5).” Journal of Physics: Condensed Matter,
vol. 23, no. 10, 105402, IOP Publishing, 2011, doi:10.1088/0953-8984/23/10/105402.'
short: 'E.K.H. Salje, D.J. Safarik, R.D. Taylor, M.P. Pasternak, K.A. Modic, L.A.
Groat, J.C. Lashley, Journal of Physics: Condensed Matter 23 (2011).'
date_created: 2019-11-19T13:39:30Z
date_published: 2011-02-21T00:00:00Z
date_updated: 2021-01-12T08:11:43Z
day: '21'
doi: 10.1088/0953-8984/23/10/105402
extern: '1'
intvolume: ' 23'
issue: '10'
language:
- iso: eng
month: '02'
oa_version: None
publication: 'Journal of Physics: Condensed Matter'
publication_identifier:
issn:
- 0953-8984
- 1361-648X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
status: public
title: Determination of iron sites and the amount of amorphization in radiation-damaged
titanite (CaSiTiO5)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2011'
...
---
_id: '7077'
abstract:
- lang: eng
text: Pb, Te, Ag and Se, when reacted in a 1:1:x:1 (x = 1.9, 2.0, 2.01) molar ratio,
form a two phase composite which consists of a phase which crystallizes in the
fcc cubic PbSe structure and a phase that crystallizes in the Ag2Te structure.
In this article, we demonstrate that by varying the Ag concentration, we can manipulate
which variant of the Ag2Te structure stabilizes at room temperature (monoclinic
α-Ag2Te or cubic β-Ag1.9Te) and can consequently manipulate the electrical and
thermal transport behavior of the composite and hence the thermoelectric performance.
Additionally, we show that Cu-doping results in an overall improvement in thermoelectric
performance. Our results suggest that formation of composites is a viable path
for achieving a phonon-glass-electron-crystal (PGEC) alloy.
article_processing_charge: No
article_type: original
author:
- first_name: J.
full_name: Capps, J.
last_name: Capps
- first_name: B.
full_name: Ma, B.
last_name: Ma
- first_name: T.
full_name: Drye, T.
last_name: Drye
- first_name: C.
full_name: Nucklos, C.
last_name: Nucklos
- first_name: S.
full_name: Lindsey, S.
last_name: Lindsey
- first_name: D.
full_name: Rhodes, D.
last_name: Rhodes
- first_name: Q.
full_name: Zhang, Q.
last_name: Zhang
- first_name: Kimberly A
full_name: Modic, Kimberly A
id: 13C26AC0-EB69-11E9-87C6-5F3BE6697425
last_name: Modic
orcid: 0000-0001-9760-3147
- first_name: S.
full_name: Cawthorne, S.
last_name: Cawthorne
- first_name: F.
full_name: Drymiotis, F.
last_name: Drymiotis
citation:
ama: Capps J, Ma B, Drye T, et al. The effect of Ag concentration on the structural,
electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement
of thermoelectric performance via Cu doping. Journal of Alloys and Compounds.
2011;509(5):1544-1549. doi:10.1016/j.jallcom.2010.10.187
apa: Capps, J., Ma, B., Drye, T., Nucklos, C., Lindsey, S., Rhodes, D., … Drymiotis,
F. (2011). The effect of Ag concentration on the structural, electrical and thermal
transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance
via Cu doping. Journal of Alloys and Compounds. Elsevier. https://doi.org/10.1016/j.jallcom.2010.10.187
chicago: Capps, J., B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang,
Kimberly A Modic, S. Cawthorne, and F. Drymiotis. “The Effect of Ag Concentration
on the Structural, Electrical and Thermal Transport Behavior of Pb:Te:Ag:Se Mixtures
and Improvement of Thermoelectric Performance via Cu Doping.” Journal of Alloys
and Compounds. Elsevier, 2011. https://doi.org/10.1016/j.jallcom.2010.10.187.
ieee: J. Capps et al., “The effect of Ag concentration on the structural,
electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement
of thermoelectric performance via Cu doping,” Journal of Alloys and Compounds,
vol. 509, no. 5. Elsevier, pp. 1544–1549, 2011.
ista: Capps J, Ma B, Drye T, Nucklos C, Lindsey S, Rhodes D, Zhang Q, Modic KA,
Cawthorne S, Drymiotis F. 2011. The effect of Ag concentration on the structural,
electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement
of thermoelectric performance via Cu doping. Journal of Alloys and Compounds.
509(5), 1544–1549.
mla: Capps, J., et al. “The Effect of Ag Concentration on the Structural, Electrical
and Thermal Transport Behavior of Pb:Te:Ag:Se Mixtures and Improvement of Thermoelectric
Performance via Cu Doping.” Journal of Alloys and Compounds, vol. 509,
no. 5, Elsevier, 2011, pp. 1544–49, doi:10.1016/j.jallcom.2010.10.187.
short: J. Capps, B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, K.A.
Modic, S. Cawthorne, F. Drymiotis, Journal of Alloys and Compounds 509 (2011)
1544–1549.
date_created: 2019-11-19T13:45:37Z
date_published: 2011-02-03T00:00:00Z
date_updated: 2021-01-12T08:11:44Z
day: '03'
doi: 10.1016/j.jallcom.2010.10.187
extern: '1'
intvolume: ' 509'
issue: '5'
language:
- iso: eng
month: '02'
oa_version: None
page: 1544-1549
publication: Journal of Alloys and Compounds
publication_identifier:
issn:
- 0925-8388
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: The effect of Ag concentration on the structural, electrical and thermal transport
behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via
Cu doping
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 509
year: '2011'
...