---
_id: '1405'
abstract:
- lang: eng
text: "Motivated by the analysis of highly dynamic message-passing systems, i.e.
unbounded thread creation, mobility, etc. we present a framework for the analysis
of depth-bounded systems. Depth-bounded systems are one of the most expressive
known fragment of the π-calculus for which interesting verification problems are
still decidable. Even though they are infinite state systems depth-bounded systems
are well-structured, thus can be analyzed algorithmically. We give an interpretation
of depth-bounded systems as graph-rewriting systems. This gives more flexibility
and ease of use to apply depth-bounded systems to other type of systems like shared
memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for
depth-bounded systems, a prerequisite for the effective representation of downward-closed
sets. Downward-closed sets are needed by forward saturation-based algorithms to
represent potentially infinite sets of states. Then, we present an abstract interpretation
framework to compute the covering set of well-structured transition systems. Because,
in general, the covering set is not computable, our abstraction over-approximates
the actual covering set. Our abstraction captures the essence of acceleration
based-algorithms while giving up enough precision to ensure convergence. We have
implemented the analysis in the PICASSO tool and show that it is accurate in practice.
Finally, we build some further analyses like termination using the covering set
as starting point."
acknowledgement: "This work was supported in part by the Austrian Science Fund NFN
RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative
Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger
and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of
Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal
Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint
work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS
2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this
part is mostly related to the implementation. The theory required to understand
the method and its implementation is quickly recalled to make the thesis self-contained,
but should not be considered as a contribution. For the details of the methods,
we refer the reader to the orig- inal publication [13] and the corresponding technical
report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar,
and Thomas Wies. I also would like to thank the people who supported over the past
4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on
projects I was interested in. My collaborators, especially Thomas Wies with whom
I worked since the beginning. The members of my thesis committee, Viktor Kun- cak
and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny,
Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created
an enjoyable environment. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
apa: Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute
of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405
chicago: Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute
of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
ieee: D. Zufferey, “Analysis of dynamic message passing programs,” Institute of
Science and Technology Austria, 2013.
ista: Zufferey D. 2013. Analysis of dynamic message passing programs. Institute
of Science and Technology Austria.
mla: Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute
of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
short: D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science
and Technology Austria, 2013.
date_created: 2018-12-11T11:51:50Z
date_published: 2013-09-05T00:00:00Z
date_updated: 2023-09-07T11:36:37Z
day: '05'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ToHe
- _id: GradSch
doi: 10.15479/at:ista:1405
ec_funded: 1
file:
- access_level: open_access
checksum: ed2d7b52933d134e8dc69d569baa284e
content_type: application/pdf
creator: dernst
date_created: 2021-02-22T11:28:36Z
date_updated: 2021-02-22T11:28:36Z
file_id: '9176'
file_name: 2013_Zufferey_thesis_final.pdf
file_size: 1514906
relation: main_file
success: 1
- access_level: closed
checksum: cecc4c4b14225bee973d32e3dba91a55
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-16T14:42:52Z
date_updated: 2021-11-17T13:47:58Z
file_id: '10298'
file_name: 2013_Zufferey_thesis_final_pdfa.pdf
file_size: 1378313
relation: main_file
file_date_updated: 2021-11-17T13:47:58Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://dzufferey.github.io/files/2013_thesis.pdf
month: '09'
oa: 1
oa_version: Published Version
page: '134'
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5802'
related_material:
record:
- id: '2847'
relation: part_of_dissertation
status: public
- id: '3251'
relation: part_of_dissertation
status: public
- id: '4361'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
title: Analysis of dynamic message passing programs
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2013'
...
---
_id: '2847'
abstract:
- lang: eng
text: Depth-Bounded Systems form an expressive class of well-structured transition
systems. They can model a wide range of concurrent infinite-state systems including
those with dynamic thread creation, dynamically changing communication topology,
and complex shared heap structures. We present the first method to automatically
prove fair termination of depth-bounded systems. Our method uses a numerical abstraction
of the system, which we obtain by systematically augmenting an over-approximation
of the system’s reachable states with a finite set of counters. This numerical
abstraction can be analyzed with existing termination provers. What makes our
approach unique is the way in which it exploits the well-structuredness of the
analyzed system. We have implemented our work in a prototype tool and used it
to automatically prove liveness properties of complex concurrent systems, including
nonblocking algorithms such as Treiber’s stack and several distributed processes.
Many of these examples are beyond the scope of termination analyses that are based
on traditional counter abstractions.
alternative_title:
- LNCS
author:
- first_name: Kshitij
full_name: Bansal, Kshitij
last_name: Bansal
- first_name: Eric
full_name: Koskinen, Eric
last_name: Koskinen
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman
N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
apa: 'Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural
Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS:
Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy:
Springer. https://doi.org/10.1007/978-3-642-36742-7_5'
chicago: Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural
Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in
Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
ieee: K. Bansal, E. Koskinen, T. Wies, and D. Zufferey, “Structural Counter Abstraction,”
vol. 7795. Springer, pp. 62–77, 2013.
ista: Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction
(eds. N. Piterman & S. Smolka). 7795, 62–77.
mla: Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir
Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.
short: K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77.
conference:
end_date: 2013-03-24
location: Rome, Italy
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2013-03-16
date_created: 2018-12-11T11:59:54Z
date_published: 2013-03-01T00:00:00Z
date_updated: 2023-09-07T11:36:36Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-36742-7_5
ec_funded: 1
editor:
- first_name: Nir
full_name: Piterman, Nir
last_name: Piterman
- first_name: Scott
full_name: Smolka, Scott
last_name: Smolka
intvolume: ' 7795'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arise.or.at/pubpdf/Structural_Counter_Abstraction.pdf
month: '03'
oa: 1
oa_version: Submitted Version
page: 62 - 77
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '3947'
quality_controlled: '1'
related_material:
record:
- id: '1405'
relation: dissertation_contains
status: public
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Structural Counter Abstraction
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7795
year: '2013'
...
---
_id: '1406'
abstract:
- lang: eng
text: Epithelial spreading is a critical part of various developmental and wound
repair processes. Here we use zebrafish epiboly as a model system to study the
cellular and molecular mechanisms underlying the spreading of epithelial sheets.
During zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium,
spreads over the embryo to eventually cover the entire yolk cell by the end of
gastrulation. The EVL leading edge is anchored through tight junctions to the
yolk syncytial layer (YSL), where directly adjacent to the EVL margin a contractile
actomyosin ring is formed that is thought to drive EVL epiboly. The prevalent
view in the field was that the contractile ring exerts a pulling force on the
EVL margin, which pulls the EVL towards the vegetal pole. However, how this force
is generated and how it affects EVL morphology still remains elusive. Moreover,
the cellular mechanisms mediating the increase in EVL surface area, while maintaining
tissue integrity and function are still unclear. Here we show that the YSL actomyosin
ring pulls on the EVL margin by two distinct force-generating mechanisms. One
mechanism is based on contraction of the ring around its circumference, as previously
proposed. The second mechanism is based on actomyosin retrogade flows, generating
force through resistance against the substrate. The latter can function at any
epiboly stage even in situations where the contraction-based mechanism is unproductive.
Additionally, we demonstrate that during epiboly the EVL is subjected to anisotropic
tension, which guides the orientation of EVL cell division along the main axis
(animal-vegetal) of tension. The influence of tension in cell division orientation
involves cell elongation and requires myosin-2 activity for proper spindle alignment.
Strikingly, we reveal that tension-oriented cell divisions release anisotropic
tension within the EVL and that in the absence of such divisions, EVL cells undergo
ectopic fusions. We conclude that forces applied to the EVL by the action of the
YSL actomyosin ring generate a tension anisotropy in the EVL that orients cell
divisions, which in turn limit tissue tension increase thereby facilitating tissue
spreading.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Pedro
full_name: Campinho, Pedro
id: 3AFBBC42-F248-11E8-B48F-1D18A9856A87
last_name: Campinho
orcid: 0000-0002-8526-5416
citation:
ama: 'Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions
limit anisotropic tissue tension in epithelial spreading. 2013.'
apa: 'Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell
divisions limit anisotropic tissue tension in epithelial spreading. Institute
of Science and Technology Austria.'
chicago: 'Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell
Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute
of Science and Technology Austria, 2013.'
ieee: 'P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions
limit anisotropic tissue tension in epithelial spreading,” Institute of Science
and Technology Austria, 2013.'
ista: 'Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions
limit anisotropic tissue tension in epithelial spreading. Institute of Science
and Technology Austria.'
mla: 'Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell
Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute
of Science and Technology Austria, 2013.'
short: 'P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions
Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science
and Technology Austria, 2013.'
date_created: 2018-12-11T11:51:50Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2023-09-07T11:36:07Z
day: '01'
degree_awarded: PhD
department:
- _id: CaHe
language:
- iso: eng
month: '10'
oa_version: None
page: '123'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5801'
status: public
supervisor:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
title: 'Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic
tissue tension in epithelial spreading'
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2013'
...
---
_id: '2247'
abstract:
- lang: eng
text: Cooperative behavior, where one individual incurs a cost to help another,
is a wide spread phenomenon. Here we study direct reciprocity in the context of
the alternating Prisoner's Dilemma. We consider all strategies that can be implemented
by one and two-state automata. We calculate the payoff matrix of all pairwise
encounters in the presence of noise. We explore deterministic selection dynamics
with and without mutation. Using different error rates and payoff values, we observe
convergence to a small number of distinct equilibria. Two of them are uncooperative
strict Nash equilibria representing always-defect (ALLD) and Grim. The third equilibrium
is mixed and represents a cooperative alliance of several strategies, dominated
by a strategy which we call Forgiver. Forgiver cooperates whenever the opponent
has cooperated; it defects once when the opponent has defected, but subsequently
Forgiver attempts to re-establish cooperation even if the opponent has defected
again. Forgiver is not an evolutionarily stable strategy, but the alliance, which
it rules, is asymptotically stable. For a wide range of parameter values the most
commonly observed outcome is convergence to the mixed equilibrium, dominated by
Forgiver. Our results show that although forgiving might incur a short-term loss
it can lead to a long-term gain. Forgiveness facilitates stable cooperation in
the presence of exploitation and noise.
article_number: e80814
author:
- first_name: Benjamin
full_name: Zagorsky, Benjamin
last_name: Zagorsky
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating
prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814
apa: Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver
triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of
Science. https://doi.org/10.1371/journal.pone.0080814
chicago: Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin
Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One.
Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.
ieee: B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in
alternating prisoner’s dilemma ,” PLoS One, vol. 8, no. 12. Public Library
of Science, 2013.
ista: Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating
prisoner’s dilemma . PLoS One. 8(12), e80814.
mla: Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma
.” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
short: B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
date_created: 2018-12-11T11:56:33Z
date_published: 2013-12-12T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '12'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1371/journal.pone.0080814
ec_funded: 1
file:
- access_level: open_access
checksum: 808e8b9e6e89658bee4ffbbfac1bd19d
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:15Z
date_updated: 2020-07-14T12:45:34Z
file_id: '4868'
file_name: IST-2016-409-v1+1_journal.pone.0080814.pdf
file_size: 1050042
relation: main_file
file_date_updated: 2020-07-14T12:45:34Z
has_accepted_license: '1'
intvolume: ' 8'
issue: '12'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '4702'
pubrep_id: '409'
quality_controlled: '1'
related_material:
record:
- id: '9749'
relation: research_data
status: public
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: 'Forgiver triumphs in alternating prisoner''s dilemma '
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2013'
...
---
_id: '2858'
abstract:
- lang: eng
text: Tumor growth is caused by the acquisition of driver mutations, which enhance
the net reproductive rate of cells. Driver mutations may increase cell division,
reduce cell death, or allow cells to overcome density-limiting effects. We study
the dynamics of tumor growth as one additional driver mutation is acquired. Our
models are based on two-type branching processes that terminate in either tumor
disappearance or tumor detection. In our first model, both cell types grow exponentially,
with a faster rate for cells carrying the additional driver. We find that the
additional driver mutation does not affect the survival probability of the lesion,
but can substantially reduce the time to reach the detectable size if the lesion
is slow growing. In our second model, cells lacking the additional driver cannot
exceed a fixed carrying capacity, due to density limitations. In this case, the
time to detection depends strongly on this carrying capacity. Our model provides
a quantitative framework for studying tumor dynamics during different stages of
progression. We observe that early, small lesions need additional drivers, while
late stage metastases are only marginally affected by them. These results help
to explain why additional driver mutations are typically not detected in fast-growing
metastases.
author:
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Ivana
full_name: Božić, Ivana
last_name: Božić
- first_name: Benjamin
full_name: Allen, Benjamin
id: 135B5B70-E9D2-11E9-BD74-BB415DA2B523
last_name: Allen
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional
driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45.
doi:10.1111/eva.12020
apa: Reiter, J., Božić, I., Allen, B., Chatterjee, K., & Nowak, M. (2013). The
effect of one additional driver mutation on tumor progression. Evolutionary
Applications. Wiley-Blackwell. https://doi.org/10.1111/eva.12020
chicago: Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and
Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.”
Evolutionary Applications. Wiley-Blackwell, 2013. https://doi.org/10.1111/eva.12020.
ieee: J. Reiter, I. Božić, B. Allen, K. Chatterjee, and M. Nowak, “The effect of
one additional driver mutation on tumor progression,” Evolutionary Applications,
vol. 6, no. 1. Wiley-Blackwell, pp. 34–45, 2013.
ista: Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one
additional driver mutation on tumor progression. Evolutionary Applications. 6(1),
34–45.
mla: Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor
Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell,
2013, pp. 34–45, doi:10.1111/eva.12020.
short: J. Reiter, I. Božić, B. Allen, K. Chatterjee, M. Nowak, Evolutionary Applications
6 (2013) 34–45.
date_created: 2018-12-11T11:59:58Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '01'
ddc:
- '570'
department:
- _id: KrCh
doi: 10.1111/eva.12020
ec_funded: 1
file:
- access_level: open_access
checksum: e2955b3889f8a823c3d5a72cb16f8957
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:50Z
date_updated: 2020-07-14T12:45:51Z
file_id: '5173'
file_name: IST-2016-415-v1+1_Reiter_et_al-2013-Evolutionary_Applications.pdf
file_size: 1172037
relation: main_file
file_date_updated: 2020-07-14T12:45:51Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 34 - 45
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
publication: Evolutionary Applications
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3931'
pubrep_id: '415'
quality_controlled: '1'
related_material:
record:
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: The effect of one additional driver mutation on tumor progression
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2013'
...
---
_id: '2816'
abstract:
- lang: eng
text: In solid tumors, targeted treatments can lead to dramatic regressions, but
responses are often short-lived because resistant cancer cells arise. The major
strategy proposed for overcoming resistance is combination therapy. We present
a mathematical model describing the evolutionary dynamics of lesions in response
to treatment. We first studied 20 melanoma patients receiving vemurafenib. We
then applied our model to an independent set of pancreatic, colorectal, and melanoma
cancer patients with metastatic disease. We find that dual therapy results in
long-term disease control for most patients, if there are no single mutations
that cause cross-resistance to both drugs; in patients with large disease burden,
triple therapy is needed. We also find that simultaneous therapy with two drugs
is much more effective than sequential therapy. Our results provide realistic
expectations for the efficacy of new drug combinations and inform the design of
trials for new cancer therapeutics.
article_number: e00747
author:
- first_name: Ivana
full_name: Božić, Ivana
last_name: Božić
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Benjamin
full_name: Allen, Benjamin
last_name: Allen
- first_name: Tibor
full_name: Antal, Tibor
last_name: Antal
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Preya
full_name: Shah, Preya
last_name: Shah
- first_name: Yo
full_name: Moon, Yo
last_name: Moon
- first_name: Amin
full_name: Yaqubie, Amin
last_name: Yaqubie
- first_name: Nicole
full_name: Kelly, Nicole
last_name: Kelly
- first_name: Dung
full_name: Le, Dung
last_name: Le
- first_name: Evan
full_name: Lipson, Evan
last_name: Lipson
- first_name: Paul
full_name: Chapman, Paul
last_name: Chapman
- first_name: Luis
full_name: Diaz, Luis
last_name: Diaz
- first_name: Bert
full_name: Vogelstein, Bert
last_name: Vogelstein
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response
to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747
apa: Božić, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak,
M. (2013). Evolutionary dynamics of cancer in response to targeted combination
therapy. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.00747
chicago: Božić, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu
Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response
to Targeted Combination Therapy.” ELife. eLife Sciences Publications, 2013.
https://doi.org/10.7554/eLife.00747.
ieee: I. Božić et al., “Evolutionary dynamics of cancer in response to targeted
combination therapy,” eLife, vol. 2. eLife Sciences Publications, 2013.
ista: Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie
A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary
dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
mla: Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted
Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications,
2013, doi:10.7554/eLife.00747.
short: I. Božić, J. Reiter, B. Allen, T. Antal, K. Chatterjee, P. Shah, Y. Moon,
A. Yaqubie, N. Kelly, D. Le, E. Lipson, P. Chapman, L. Diaz, B. Vogelstein, M.
Nowak, ELife 2 (2013).
date_created: 2018-12-11T11:59:45Z
date_published: 2013-06-25T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '25'
ddc:
- '570'
- '610'
department:
- _id: KrCh
doi: 10.7554/eLife.00747
file:
- access_level: open_access
checksum: 2c38c47815eacd8fa66cb8b404cf7c61
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:48Z
date_updated: 2020-07-14T12:45:49Z
file_id: '4967'
file_name: IST-2013-134-v1+1_e00747.full.pdf
file_size: 3358321
relation: main_file
file_date_updated: 2020-07-14T12:45:49Z
has_accepted_license: '1'
intvolume: ' 2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '3985'
pubrep_id: '134'
quality_controlled: '1'
related_material:
record:
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Evolutionary dynamics of cancer in response to targeted combination therapy
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2013'
...
---
_id: '2000'
abstract:
- lang: eng
text: In this work we present a flexible tool for tumor progression, which simulates
the evolutionary dynamics of cancer. Tumor progression implements a multi-type
branching process where the key parameters are the fitness landscape, the mutation
rate, and the average time of cell division. The fitness of a cancer cell depends
on the mutations it has accumulated. The input to our tool could be any fitness
landscape, mutation rate, and cell division time, and the tool produces the growth
dynamics and all relevant statistics.
alternative_title:
- LNCS
author:
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Ivana
full_name: Božić, Ivana
last_name: Božić
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: 'Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression.
In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol
8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6'
apa: 'Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for
tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification
(Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6'
chicago: 'Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak.
“TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer
Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer,
2013. https://doi.org/10.1007/978-3-642-39799-8_6.'
ieee: 'J. Reiter, I. Božić, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,”
in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg,
Russia, 2013, vol. 8044, pp. 101–106.'
ista: 'Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression.
Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided
VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.'
mla: 'Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings
of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013,
pp. 101–06, doi:10.1007/978-3-642-39799-8_6.'
short: J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int.
Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
date_created: 2018-12-11T11:55:08Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-39799-8_6
ec_funded: 1
external_id:
arxiv:
- '1303.5251'
intvolume: ' 8044'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1303.5251
month: '01'
oa: 1
oa_version: Preprint
page: 101 - 106
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Proceedings of 25th Int. Conf. on Computer Aided Verification
publication_status: published
publisher: Springer
publist_id: '5077'
quality_controlled: '1'
related_material:
record:
- id: '5399'
relation: earlier_version
status: public
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: 'TTP: Tool for tumor progression'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2445'
abstract:
- lang: eng
text: We develop program synthesis techniques that can help programmers fix concurrency-related
bugs. We make two new contributions to synthesis for concurrency, the first improving
the efficiency of the synthesized code, and the second improving the efficiency
of the synthesis procedure itself. The first contribution is to have the synthesis
procedure explore a variety of (sequential) semantics-preserving program transformations.
Classically, only one such transformation has been considered, namely, the insertion
of synchronization primitives (such as locks). Based on common manual bug-fixing
techniques used by Linux device-driver developers, we explore additional, more
efficient transformations, such as the reordering of independent instructions.
The second contribution is to speed up the counterexample-guided removal of concurrency
bugs within the synthesis procedure by considering partial-order traces (instead
of linear traces) as counterexamples. A partial-order error trace represents a
set of linear (interleaved) traces of a concurrent program all of which lead to
the same error. By eliminating a partial-order error trace, we eliminate in a
single iteration of the synthesis procedure all linearizations of the partial-order
trace. We evaluated our techniques on several simplified examples of real concurrency
bugs that occurred in Linux device drivers.
alternative_title:
- LNCS
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- 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: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Leonid
full_name: Ryzhyk, Leonid
last_name: Ryzhyk
- first_name: Thorsten
full_name: Tarrach, Thorsten
id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87
last_name: Tarrach
orcid: 0000-0003-4409-8487
citation:
ama: 'Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis
for concurrency by semantics-preserving transformations. In: Vol 8044. Springer;
2013:951-967. doi:10.1007/978-3-642-39799-8_68'
apa: 'Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach,
T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations
(Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St.
Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68'
chicago: Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and
Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving
Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
ieee: 'P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient
synthesis for concurrency by semantics-preserving transformations,” presented
at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044,
pp. 951–967.'
ista: 'Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient
synthesis for concurrency by semantics-preserving transformations. CAV: Computer
Aided Verification, LNCS, vol. 8044, 951–967.'
mla: Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving
Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
short: P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer,
2013, pp. 951–967.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2023-09-07T11:57:01Z
day: '01'
ddc:
- '000'
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39799-8_68
ec_funded: 1
file:
- access_level: open_access
checksum: 70c70ca5487faba82262c63e1b678a27
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:37Z
date_updated: 2020-07-14T12:45:40Z
file_id: '5158'
file_name: IST-2014-199-v1+1_cav2013-final.pdf
file_size: 365548
relation: main_file
file_date_updated: 2020-07-14T12:45:40Z
has_accepted_license: '1'
intvolume: ' 8044'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 951 - 967
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '4458'
pubrep_id: '199'
quality_controlled: '1'
related_material:
record:
- id: '1130'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Efficient synthesis for concurrency by semantics-preserving transformations
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2926'
abstract:
- lang: eng
text: To fight infectious diseases, host immune defenses are employed at multiple
levels. Sanitary behavior, such as pathogen avoidance and removal, acts as a first
line of defense to prevent infection [1] before activation of the physiological
immune system. Insect societies have evolved a wide range of collective hygiene
measures and intensive health care toward pathogen-exposed group members [2].
One of the most common behaviors is allogrooming, in which nestmates remove infectious
particles from the body surfaces of exposed individuals [3]. Here we show that,
in invasive garden ants, grooming of fungus-exposed brood is effective beyond
the sheer mechanical removal of fungal conidiospores; it also includes chemical
disinfection through the application of poison produced by the ants themselves.
Formic acid is the main active component of the poison. It inhibits fungal growth
of conidiospores remaining on the brood surface after grooming and also those
collected in the mouth of the grooming ant. This dual function is achieved by
uptake of the poison droplet into the mouth through acidopore self-grooming and
subsequent application onto the infectious brood via brood grooming. This extraordinary
behavior extends the current understanding of grooming and the establishment of
social immunity in insect societies.
acknowledgement: "Funding for this project was obtained by the German Research Foundation
(DFG, to S.C.) and the European Research Council (ERC, through an ERC-Starting Grant
to S.C. and an Individual Marie Curie IEF fellowship to L.V.U.).\r\nWe thank Jørgen
Eilenberg, Bernhardt Steinwender, Miriam Stock, and Meghan L. Vyleta for the fungal
strain and its characterization; Volker Witte for chemical information; Eva Sixt
for ant drawings; and Robert Hauschild for help with image analysis. We further
thank Martin Kaltenpoth, Michael Sixt, Jürgen Heinze, and Joachim Ruther for discussion
and Daria Siekhaus, Sophie A.O. Armitage, and Leila Masri for comments on the manuscript.
\r\n"
author:
- first_name: Simon
full_name: Tragust, Simon
id: 35A7A418-F248-11E8-B48F-1D18A9856A87
last_name: Tragust
- first_name: Barbara
full_name: Mitteregger, Barbara
id: 479DDAAC-E9CD-11E9-9B5F-82450873F7A1
last_name: Mitteregger
- first_name: Vanessa
full_name: Barone, Vanessa
id: 419EECCC-F248-11E8-B48F-1D18A9856A87
last_name: Barone
orcid: 0000-0003-2676-3367
- first_name: Matthias
full_name: Konrad, Matthias
id: 46528076-F248-11E8-B48F-1D18A9856A87
last_name: Konrad
- first_name: Line V
full_name: Ugelvig, Line V
id: 3DC97C8E-F248-11E8-B48F-1D18A9856A87
last_name: Ugelvig
orcid: 0000-0003-1832-8883
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect
fungus-exposed brood by oral uptake and spread of their poison. Current Biology.
2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034
apa: Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., &
Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread
of their poison. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.11.034
chicago: Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line
V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake
and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034.
ieee: S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer,
“Ants disinfect fungus-exposed brood by oral uptake and spread of their poison,”
Current Biology, vol. 23, no. 1. Cell Press, pp. 76–82, 2013.
ista: Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2013.
Ants disinfect fungus-exposed brood by oral uptake and spread of their poison.
Current Biology. 23(1), 76–82.
mla: Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake
and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press,
2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.
short: S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer,
Current Biology 23 (2013) 76–82.
date_created: 2018-12-11T12:00:23Z
date_published: 2013-01-07T00:00:00Z
date_updated: 2023-09-07T12:05:08Z
day: '07'
department:
- _id: SyCr
- _id: CaHe
doi: 10.1016/j.cub.2012.11.034
ec_funded: 1
intvolume: ' 23'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 76 - 82
project:
- _id: 25DAF0B2-B435-11E9-9278-68D0E5697425
grant_number: CR-118/3-1
name: Host-Parasite Coevolution
- _id: 25DC711C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '243071'
name: 'Social Vaccination in Ant Colonies: from Individual Mechanisms to Society
Effects'
- _id: 25DDF0F0-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '302004'
name: 'Pathogen Detectors Collective disease defence and pathogen detection abilities
in ant societies: a chemo-neuro-immunological approach'
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '3811'
quality_controlled: '1'
related_material:
record:
- id: '9757'
relation: research_data
status: public
- id: '961'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2013'
...
---
_id: '2305'
abstract:
- lang: eng
text: We study the complexity of central controller synthesis problems for finite-state
Markov decision processes, where the objective is to optimize both the expected
mean-payoff performance of the system and its stability. e argue that the basic
theoretical notion of expressing the stability in terms of the variance of the
mean-payoff (called global variance in our paper) is not always sufficient, since
it ignores possible instabilities on respective runs. For this reason we propose
alernative definitions of stability, which we call local and hybrid variance,
and which express how rewards on each run deviate from the run's own mean-payoff
and from the expected mean-payoff, respectively. We show that a strategy ensuring
both the expected mean-payoff and the variance below given bounds requires randomization
and memory, under all the above semantics of variance. We then look at the problem
of determining whether there is a such a strategy. For the global variance, we
show that the problem is in PSPACE, and that the answer can be approximated in
pseudo-polynomial time. For the hybrid variance, the analogous decision problem
is in NP, and a polynomial-time approximating algorithm also exists. For local
variance, we show that the decision problem is in NP. Since the overall performance
can be traded for stability (and vice versa), we also present algorithms for approximating
the associated Pareto curve in all the three cases. Finally, we study a special
case of the decision problems, where we require a given expected mean-payoff together
with zero variance. Here we show that the problems can be all solved in polynomial
time.
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Antonín
full_name: Kučera, Antonín
last_name: Kučera
citation:
ama: 'Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability
in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE;
2013:331-340. doi:10.1109/LICS.2013.39'
apa: 'Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading
performance for stability in Markov decision processes. In 28th Annual ACM/IEEE
Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39'
chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera.
“Trading Performance for Stability in Markov Decision Processes.” In 28th Annual
ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39.
ieee: T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance
for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium,
New Orleans, LA, United States, 2013, pp. 331–340.
ista: 'Brázdil T, Chatterjee K, Forejt V, Kučera A. 2013. Trading performance for
stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS:
Logic in Computer Science, 331–340.'
mla: Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision
Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
short: T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE
Symposium, IEEE, 2013, pp. 331–340.
conference:
end_date: 2013-06-28
location: New Orleans, LA, United States
name: 'LICS: Logic in Computer Science'
start_date: 2013-06-25
date_created: 2018-12-11T11:56:53Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2023-09-20T11:15:30Z
day: '01'
department:
- _id: KrCh
doi: 10.1109/LICS.2013.39
ec_funded: 1
external_id:
arxiv:
- '1305.4103'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1305.4103
month: '08'
oa: 1
oa_version: Preprint
page: 331 - 340
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 28th Annual ACM/IEEE Symposium
publication_status: published
publisher: IEEE
publist_id: '4622'
quality_controlled: '1'
related_material:
record:
- id: '1294'
relation: later_version
status: public
scopus_import: 1
status: public
title: Trading performance for stability in Markov decision processes
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2820'
abstract:
- lang: eng
text: 'In this paper, we introduce the powerful framework of graph games for the
analysis of real-time scheduling with firm deadlines. We introduce a novel instance
of a partial-observation game that is suitable for this purpose, and prove decidability
of all the involved decision problems. We derive a graph game that allows the
automated computation of the competitive ratio (along with an optimal witness
algorithm for the competitive ratio) and establish an NP-completeness proof for
the graph game problem. For a given on-line algorithm, we present polynomial time
solution for computing (i) the worst-case utility; (ii) the worst-case utility
ratio w.r.t. a clairvoyant off-line algorithm; and (iii) the competitive ratio.
A major strength of the proposed approach lies in its flexibility w.r.t. incorporating
additional constraints on the adversary and/or the algorithm, including limited
maximum or average load, finiteness of periods of overload, etc., which are easily
added by means of additional instances of standard objective functions for graph
games. '
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Alexander
full_name: Kößler, Alexander
last_name: Kößler
- first_name: Ulrich
full_name: Schmid, Ulrich
last_name: Schmid
citation:
ama: 'Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling
using graph games. In: Proceedings of the 16th International Conference on
Hybrid Systems: Computation and Control. ACM; 2013:163-172. doi:10.1145/2461328.2461356'
apa: 'Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of
real-time scheduling using graph games. In Proceedings of the 16th International
conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia,
PA, United States: ACM. https://doi.org/10.1145/2461328.2461356'
chicago: 'Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated
Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the
16th International Conference on Hybrid Systems: Computation and Control,
163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.'
ieee: 'K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time
scheduling using graph games,” in Proceedings of the 16th International conference
on Hybrid systems: Computation and control, Philadelphia, PA, United States,
2013, pp. 163–172.'
ista: 'Chatterjee K, Kößler A, Schmid U. 2013. Automated analysis of real-time scheduling
using graph games. Proceedings of the 16th International conference on Hybrid
systems: Computation and control. HSCC: Hybrid Systems - Computation and Control,
163–172.'
mla: 'Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling
Using Graph Games.” Proceedings of the 16th International Conference on Hybrid
Systems: Computation and Control, ACM, 2013, pp. 163–72, doi:10.1145/2461328.2461356.'
short: 'K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International
Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.'
conference:
end_date: 2013-04-11
location: Philadelphia, PA, United States
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2013-04-08
date_created: 2018-12-11T11:59:46Z
date_published: 2013-04-01T00:00:00Z
date_updated: 2023-09-27T12:52:38Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/2461328.2461356
ec_funded: 1
language:
- iso: eng
month: '04'
oa_version: None
page: 163 - 172
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 'Proceedings of the 16th International conference on Hybrid systems:
Computation and control'
publication_identifier:
isbn:
- '978-1-4503-1567-8 '
publication_status: published
publisher: ACM
publist_id: '3981'
quality_controlled: '1'
related_material:
record:
- id: '738'
relation: later_version
status: public
scopus_import: 1
status: public
title: Automated analysis of real-time scheduling using graph games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2272'
abstract:
- lang: eng
text: "We consider Conditional Random Fields (CRFs) with pattern-based potentials
defined on a chain. In this model the energy of a string (labeling) x1...xn is
the sum of terms over intervals [i,j] where each term is non-zero only if the
substring xi...xj equals a prespecified pattern α. Such CRFs can be naturally
applied to many sequence tagging problems.\r\nWe present efficient algorithms
for the three standard inference tasks in a CRF, namely computing (i) the partition
function, (ii) marginals, and (iii) computing the MAP. Their complexities are
respectively O(nL), O(nLℓmax) and O(nLmin{|D|,log(ℓmax+1)}) where L is the combined
length of input patterns, ℓmax is the maximum length of a pattern, and D is the
input alphabet. This improves on the previous algorithms of (Ye et al., 2009)
whose complexities are respectively O(nL|D|), O(n|Γ|L2ℓ2max) and O(nL|D|), where
|Γ| is the number of input patterns.\r\nIn addition, we give an efficient algorithm
for sampling. Finally, we consider the case of non-positive weights. (Komodakis
& Paragios, 2009) gave an O(nL) algorithm for computing the MAP. We present
a modification that has the same worst-case complexity but can beat it in the
best case. "
alternative_title:
- JMLR
article_processing_charge: No
author:
- first_name: Rustem
full_name: Takhanov, Rustem
id: 2CCAC26C-F248-11E8-B48F-1D18A9856A87
last_name: Takhanov
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
citation:
ama: 'Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence
data. In: ICML’13 Proceedings of the 30th International Conference on International.
Vol 28. ML Research Press; 2013:145-153.'
apa: 'Takhanov, R., & Kolmogorov, V. (2013). Inference algorithms for pattern-based
CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference
on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.'
chicago: Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based
CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference
on International, 28:145–53. ML Research Press, 2013.
ieee: R. Takhanov and V. Kolmogorov, “Inference algorithms for pattern-based CRFs
on sequence data,” in ICML’13 Proceedings of the 30th International Conference
on International, Atlanta, GA, USA, 2013, vol. 28, no. 3, pp. 145–153.
ista: 'Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs
on sequence data. ICML’13 Proceedings of the 30th International Conference on
International. ICML: International Conference on Machine Learning, JMLR, vol.
28, 145–153.'
mla: Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based
CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference
on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53.
short: R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International
Conference on International, ML Research Press, 2013, pp. 145–153.
conference:
end_date: 2013-06-21
location: Atlanta, GA, USA
name: 'ICML: International Conference on Machine Learning'
start_date: 2013-06-16
date_created: 2018-12-11T11:56:41Z
date_published: 2013-06-01T00:00:00Z
date_updated: 2023-10-17T09:51:32Z
day: '01'
department:
- _id: VlKo
intvolume: ' 28'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://proceedings.mlr.press/v28/takhanov13.pdf?CFID=105472548&CFTOKEN=5c5859b5d97b4439-27B4AC58-BA92-A964-B598CAACEE6CC515
month: '06'
oa: 1
oa_version: Submitted Version
page: 145 - 153
publication: ICML'13 Proceedings of the 30th International Conference on International
publication_status: published
publisher: ML Research Press
publist_id: '4672'
quality_controlled: '1'
related_material:
record:
- id: '1794'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Inference algorithms for pattern-based CRFs on sequence data
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 28
year: '2013'
...
---
_id: '2448'
abstract:
- lang: eng
text: Cell-to-cell directional flow of the phytohormone auxin is primarily established
by polar localization of the PIN auxin transporters, a process tightly regulated
at multiple levels by auxin itself. We recently reported that, in the context
of strong auxin flows, activity of the vacuolar ZIFL1.1 transporter is required
for fine-tuning of polar auxin transport rates in the Arabidopsis root. In particular,
ZIFL1.1 function protects plasma-membrane stability of the PIN2 carrier in epidermal
root tip cells under conditions normally triggering PIN2 degradation. Here, we
show that ZIFL1.1 activity at the root tip also promotes PIN1 plasma-membrane
abundance in central cylinder cells, thus supporting the notion that ZIFL1.1 acts
as a general positive modulator of polar auxin transport in roots.
article_number: e25688
article_processing_charge: No
article_type: original
author:
- first_name: Estelle
full_name: Remy, Estelle
last_name: Remy
- first_name: Pawel
full_name: Baster, Pawel
id: 3028BD74-F248-11E8-B48F-1D18A9856A87
last_name: Baster
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Paula
full_name: Duque, Paula
last_name: Duque
citation:
ama: Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin
transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root
tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688
apa: Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter
modulates polar auxin transport by stabilizing membrane abundance of multiple
PINs in Arabidopsis root tip. Plant Signaling & Behavior. Taylor &
Francis. https://doi.org/10.4161/psb.25688
chicago: Remy, Estelle, Pawel Baster, Jiří Friml, and Paula Duque. “ZIFL1.1 Transporter
Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple
PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior. Taylor &
Francis, 2013. https://doi.org/10.4161/psb.25688.
ieee: E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates
polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis
root tip,” Plant Signaling & Behavior, vol. 8, no. 10. Taylor &
Francis, 2013.
ista: Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar
auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis
root tip. Plant Signaling & Behavior. 8(10), e25688.
mla: Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport
by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant
Signaling & Behavior, vol. 8, no. 10, e25688, Taylor & Francis, 2013,
doi:10.4161/psb.25688.
short: E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8
(2013).
date_created: 2018-12-11T11:57:43Z
date_published: 2013-07-10T00:00:00Z
date_updated: 2023-10-17T11:15:14Z
day: '10'
department:
- _id: JiFr
doi: 10.4161/psb.25688
ec_funded: 1
external_id:
pmid:
- '23857365'
intvolume: ' 8'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4091088/
month: '07'
oa: 1
oa_version: Submitted Version
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Plant Signaling & Behavior
publication_status: published
publisher: Taylor & Francis
publist_id: '4455'
quality_controlled: '1'
scopus_import: '1'
status: public
title: ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane
abundance of multiple PINs in Arabidopsis root tip
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2013'
...
---
_id: '2853'
abstract:
- lang: eng
text: High relatedness among interacting individuals has generally been considered
a precondition for the evolution of altruism. However, kin-selection theory also
predicts the evolution of altruism when relatedness is low, as long as the cost
of the altruistic act is minor compared with its benefit. Here, we demonstrate
evidence for a low-cost altruistic act in bacteria. We investigated Escherichia
coli responding to the attack of an obligately lytic phage by committing suicide
in order to prevent parasite transmission to nearby relatives. We found that bacterial
suicide provides large benefits to survivors at marginal costs to committers.
The cost of suicide was low, because infected cells are moribund, rapidly dying
upon phage infection, such that no more opportunity for reproduction remains.
As a consequence of its marginal cost, host suicide was selectively favoured even
when relatedness between committers and survivors approached zero. Altogether,
our findings demonstrate that low-cost suicide can evolve with ease, represents
an effective host-defence strategy, and seems to be widespread among microbes.
Moreover, low-cost suicide might also occur in higher organisms as exemplified
by infected social insect workers leaving the colony to die in isolation.
article_processing_charge: No
article_type: original
author:
- first_name: Dominik
full_name: Refardt, Dominik
last_name: Refardt
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Rolf
full_name: Kümmerli, Rolf
last_name: Kümmerli
citation:
ama: 'Refardt D, Bergmiller T, Kümmerli R. Altruism can evolve when relatedness
is low: Evidence from bacteria committing suicide upon phage infection. Proceedings
of the Royal Society of London Series B Biological Sciences. 2013;280(1759).
doi:10.1098/rspb.2012.3035'
apa: 'Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve
when relatedness is low: Evidence from bacteria committing suicide upon phage
infection. Proceedings of the Royal Society of London Series B Biological Sciences.
The Royal Society. https://doi.org/10.1098/rspb.2012.3035'
chicago: 'Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can
Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon
Phage Infection.” Proceedings of the Royal Society of London Series B Biological
Sciences. The Royal Society, 2013. https://doi.org/10.1098/rspb.2012.3035.'
ieee: 'D. Refardt, T. Bergmiller, and R. Kümmerli, “Altruism can evolve when relatedness
is low: Evidence from bacteria committing suicide upon phage infection,” Proceedings
of the Royal Society of London Series B Biological Sciences, vol. 280, no.
1759. The Royal Society, 2013.'
ista: 'Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness
is low: Evidence from bacteria committing suicide upon phage infection. Proceedings
of the Royal Society of London Series B Biological Sciences. 280(1759).'
mla: 'Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence
from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the
Royal Society of London Series B Biological Sciences, vol. 280, no. 1759,
The Royal Society, 2013, doi:10.1098/rspb.2012.3035.'
short: D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society
of London Series B Biological Sciences 280 (2013).
date_created: 2018-12-11T11:59:56Z
date_published: 2013-05-22T00:00:00Z
date_updated: 2023-10-18T06:43:23Z
day: '22'
department:
- _id: CaGu
doi: 10.1098/rspb.2012.3035
external_id:
pmid:
- '23516238'
intvolume: ' 280'
issue: '1759'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3619501/
month: '05'
oa: 1
oa_version: Submitted Version
pmid: 1
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_identifier:
eissn:
- 1471-2954
publication_status: published
publisher: The Royal Society
publist_id: '3939'
quality_controlled: '1'
related_material:
record:
- id: '9751'
relation: research_data
status: public
scopus_import: '1'
status: public
title: 'Altruism can evolve when relatedness is low: Evidence from bacteria committing
suicide upon phage infection'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 280
year: '2013'
...
---
_id: '9751'
abstract:
- lang: eng
text: High relatedness among interacting individuals has generally been considered
a precondition for the evolution of altruism. However, kin-selection theory also
predicts the evolution of altruism when relatedness is low, as long as the cost
of the altruistic act is minor compared to its benefit. Here, we demonstrate evidence
for a low-cost altruistic act in bacteria. We investigated Escherichia coli responding
to the attack of an obligately lytic phage by committing suicide in order to prevent
parasite transmission to nearby relatives. We found that bacterial suicide provides
large benefits to survivors at marginal costs to committers. The cost of suicide
was low because infected cells are moribund, rapidly dying upon phage infection,
such that no more opportunity for reproduction remains. As a consequence of its
marginal cost, host suicide was selectively favoured even when relatedness between
committers and survivors approached zero. Altogether, our findings demonstrate
that low-cost suicide can evolve with ease, represents an effective host-defence
strategy, and seems to be widespread among microbes. Moreover, low-cost suicide
might also occur in higher organisms as exemplified by infected social insect
workers leaving the colony to die in isolation.
article_processing_charge: No
author:
- first_name: Dominik
full_name: Refardt, Dominik
last_name: Refardt
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Rolf
full_name: Kümmerli, Rolf
last_name: Kümmerli
citation:
ama: 'Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness
is low: evidence from bacteria committing suicide upon phage infection. 2013.
doi:10.5061/dryad.b1q2n'
apa: 'Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Data from: Altruism
can evolve when relatedness is low: evidence from bacteria committing suicide
upon phage infection. Dryad. https://doi.org/10.5061/dryad.b1q2n'
chicago: 'Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism
Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide
upon Phage Infection.” Dryad, 2013. https://doi.org/10.5061/dryad.b1q2n.'
ieee: 'D. Refardt, T. Bergmiller, and R. Kümmerli, “Data from: Altruism can evolve
when relatedness is low: evidence from bacteria committing suicide upon phage
infection.” Dryad, 2013.'
ista: 'Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve
when relatedness is low: evidence from bacteria committing suicide upon phage
infection, Dryad, 10.5061/dryad.b1q2n.'
mla: 'Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness
Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad,
2013, doi:10.5061/dryad.b1q2n.'
short: D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
date_created: 2021-07-30T08:08:09Z
date_published: 2013-03-21T00:00:00Z
date_updated: 2023-10-18T06:43:22Z
day: '21'
department:
- _id: CaGu
doi: 10.5061/dryad.b1q2n
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.b1q2n
month: '03'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2853'
relation: used_in_publication
status: public
status: public
title: 'Data from: Altruism can evolve when relatedness is low: evidence from bacteria
committing suicide upon phage infection'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2013'
...
---
_id: '7785'
abstract:
- lang: eng
text: Neural circuit assembly requires selection of specific cell fates, axonal
trajectories, and synaptic targets. By analyzing the function of a secreted semaphorin,
Sema-2b, in Drosophila olfactory receptor neuron (ORN) development, we identified
multiple molecular and cellular mechanisms that link these events. Notch signaling
limits Sema-2b expression to ventromedial ORN classes, within which Sema-2b cell-autonomously
sensitizes ORN axons to external semaphorins. Central-brain-derived Sema-2a and
Sema-2b attract Sema-2b-expressing axons to the ventromedial trajectory. In addition,
Sema-2b/PlexB-mediated axon-axon interactions consolidate this trajectory choice
and promote ventromedial axon-bundle formation. Selecting the correct developmental
trajectory is ultimately essential for proper target choice. These findings demonstrate
that Sema-2b couples ORN axon guidance to postsynaptic target neuron dendrite
patterning well before the final target selection phase, and exemplify how a single
guidance molecule can drive consecutive stages of neural circuit assembly with
the help of sophisticated spatial and temporal regulation.
article_processing_charge: No
article_type: original
author:
- first_name: William J.
full_name: Joo, William J.
last_name: Joo
- first_name: Lora Beatrice Jaeger
full_name: Sweeney, Lora Beatrice Jaeger
id: 56BE8254-C4F0-11E9-8E45-0B23E6697425
last_name: Sweeney
orcid: 0000-0001-9242-5601
- first_name: Liang
full_name: Liang, Liang
last_name: Liang
- first_name: Liqun
full_name: Luo, Liqun
last_name: Luo
citation:
ama: 'Joo WJ, Sweeney LB, Liang L, Luo L. Linking cell fate, trajectory choice,
and target selection: Genetic analysis of sema-2b in olfactory axon targeting.
Neuron. 2013;78(4):673-686. doi:10.1016/j.neuron.2013.03.022'
apa: 'Joo, W. J., Sweeney, L. B., Liang, L., & Luo, L. (2013). Linking cell
fate, trajectory choice, and target selection: Genetic analysis of sema-2b in
olfactory axon targeting. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.03.022'
chicago: 'Joo, William J., Lora B. Sweeney, Liang Liang, and Liqun Luo. “Linking
Cell Fate, Trajectory Choice, and Target Selection: Genetic Analysis of Sema-2b
in Olfactory Axon Targeting.” Neuron. Elsevier, 2013. https://doi.org/10.1016/j.neuron.2013.03.022.'
ieee: 'W. J. Joo, L. B. Sweeney, L. Liang, and L. Luo, “Linking cell fate, trajectory
choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting,”
Neuron, vol. 78, no. 4. Elsevier, pp. 673–686, 2013.'
ista: 'Joo WJ, Sweeney LB, Liang L, Luo L. 2013. Linking cell fate, trajectory choice,
and target selection: Genetic analysis of sema-2b in olfactory axon targeting.
Neuron. 78(4), 673–686.'
mla: 'Joo, William J., et al. “Linking Cell Fate, Trajectory Choice, and Target
Selection: Genetic Analysis of Sema-2b in Olfactory Axon Targeting.” Neuron,
vol. 78, no. 4, Elsevier, 2013, pp. 673–86, doi:10.1016/j.neuron.2013.03.022.'
short: W.J. Joo, L.B. Sweeney, L. Liang, L. Luo, Neuron 78 (2013) 673–686.
date_created: 2020-04-30T13:19:59Z
date_published: 2013-05-22T00:00:00Z
date_updated: 2024-01-31T10:15:25Z
day: '22'
doi: 10.1016/j.neuron.2013.03.022
extern: '1'
intvolume: ' 78'
issue: '4'
language:
- iso: eng
month: '05'
oa_version: None
page: 673-686
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Linking cell fate, trajectory choice, and target selection: Genetic analysis
of sema-2b in olfactory axon targeting'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 78
year: '2013'
...
---
_id: '2274'
abstract:
- lang: eng
text: "Proofs of work (PoW) have been suggested by Dwork and Naor (Crypto'92) as
protection to a shared resource. The basic idea is to ask the service requestor
to dedicate some non-trivial amount of computational work to every request. The
original applications included prevention of spam and protection against denial
of service attacks. More recently, PoWs have been used to prevent double spending
in the Bitcoin digital currency system.\r\n\r\nIn this work, we put forward an
alternative concept for PoWs -- so-called proofs of space (PoS), where a service
requestor must dedicate a significant amount of disk space as opposed to computation.
We construct secure PoS schemes in the random oracle model, using graphs with
high "pebbling complexity" and Merkle hash-trees. "
author:
- first_name: Stefan
full_name: Dziembowski, Stefan
last_name: Dziembowski
- first_name: Sebastian
full_name: Faust, Sebastian
last_name: Faust
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space.
IST Austria; 2013.
apa: Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2013). Proofs
of Space. IST Austria.
chicago: Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof
Z Pietrzak. Proofs of Space. IST Austria, 2013.
ieee: S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, Proofs of
Space. IST Austria, 2013.
ista: Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space,
IST Austria,p.
mla: Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
short: S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space,
IST Austria, 2013.
date_created: 2018-12-11T11:56:42Z
date_published: 2013-11-28T00:00:00Z
date_updated: 2024-03-20T08:31:49Z
day: '28'
ddc:
- '530'
department:
- _id: VlKo
- _id: KrPi
file:
- access_level: open_access
checksum: 37b61637b62fc079d9141c59d9f1a94f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:11Z
date_updated: 2020-07-14T12:45:36Z
file_id: '5197'
file_name: IST-2016-671-v1+1_796.pdf
file_size: 405870
relation: main_file
file_date_updated: 2020-07-14T12:45:36Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
publication_status: published
publisher: IST Austria
publist_id: '4670'
pubrep_id: '671'
related_material:
record:
- id: '1675'
relation: later_version
status: public
scopus_import: 1
status: public
title: Proofs of Space
type: report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '15162'
abstract:
- lang: eng
text: Cytological profiling (CP) is an unbiased image-based screening technique
that uses automated microscopy and image analysis to profile compounds based on
numerous quantifiable phenotypic features. We used CP to evaluate a library of
nearly 500 compounds with documented mechanisms of action (MOAs) spanning a wide
range of biological pathways. We developed informatics techniques for generating
dosage-independent phenotypic “fingerprints” for each compound, and for quantifying
the likelihood that a compound's CP fingerprint corresponds to its annotated MOA.
We identified groups of features that distinguish classes with closely related
phenotypes, such as microtubule poisons vs. HSP90 inhibitors, and DNA synthesis
vs. proteasome inhibitors. We tested several cases in which cytological profiles
indicated novel mechanisms, including a tyrphostin kinase inhibitor involved in
mitochondrial uncoupling, novel microtubule poisons, and a nominal PPAR-gamma
ligand that acts as a proteasome inhibitor, using independent biochemical assays
to confirm the MOAs predicted by the CP signatures. We also applied maximal-information
statistics to identify correlations between cytological features and kinase inhibitory
activities by combining the CP fingerprints of 24 kinase inhibitors with published
data on their specificities against a diverse panel of kinases. The resulting
analysis suggests a strategy for probing the biological functions of specific
kinases by compiling cytological data from inhibitors of varying specificities.
article_number: '2604'
article_processing_charge: No
article_type: original
author:
- first_name: Marcos H.
full_name: Woehrmann, Marcos H.
last_name: Woehrmann
- first_name: Walter M.
full_name: Bray, Walter M.
last_name: Bray
- first_name: James K.
full_name: Durbin, James K.
last_name: Durbin
- first_name: Sean C.
full_name: Nisam, Sean C.
last_name: Nisam
- first_name: Alicia Kathleen
full_name: Michael, Alicia Kathleen
id: 6437c950-2a03-11ee-914d-d6476dd7b75c
last_name: Michael
- first_name: Emerson
full_name: Glassey, Emerson
last_name: Glassey
- first_name: Joshua M.
full_name: Stuart, Joshua M.
last_name: Stuart
- first_name: R. Scott
full_name: Lokey, R. Scott
last_name: Lokey
citation:
ama: Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling
for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11).
doi:10.1039/c3mb70245f
apa: Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K.,
Glassey, E., … Lokey, R. S. (2013). Large-scale cytological profiling for functional
analysis of bioactive compounds. Molecular BioSystems. Royal Society of
Chemistry. https://doi.org/10.1039/c3mb70245f
chicago: Woehrmann, Marcos H., Walter M. Bray, James K. Durbin, Sean C. Nisam, Alicia
K. Michael, Emerson Glassey, Joshua M. Stuart, and R. Scott Lokey. “Large-Scale
Cytological Profiling for Functional Analysis of Bioactive Compounds.” Molecular
BioSystems. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3mb70245f.
ieee: M. H. Woehrmann et al., “Large-scale cytological profiling for functional
analysis of bioactive compounds,” Molecular BioSystems, vol. 9, no. 11.
Royal Society of Chemistry, 2013.
ista: Woehrmann MH, Bray WM, Durbin JK, Nisam SC, Michael AK, Glassey E, Stuart
JM, Lokey RS. 2013. Large-scale cytological profiling for functional analysis
of bioactive compounds. Molecular BioSystems. 9(11), 2604.
mla: Woehrmann, Marcos H., et al. “Large-Scale Cytological Profiling for Functional
Analysis of Bioactive Compounds.” Molecular BioSystems, vol. 9, no. 11,
2604, Royal Society of Chemistry, 2013, doi:10.1039/c3mb70245f.
short: M.H. Woehrmann, W.M. Bray, J.K. Durbin, S.C. Nisam, A.K. Michael, E. Glassey,
J.M. Stuart, R.S. Lokey, Molecular BioSystems 9 (2013).
date_created: 2024-03-21T07:58:57Z
date_published: 2013-08-20T00:00:00Z
date_updated: 2024-03-25T11:45:46Z
day: '20'
doi: 10.1039/c3mb70245f
extern: '1'
intvolume: ' 9'
issue: '11'
keyword:
- Molecular Biology
- Biotechnology
language:
- iso: eng
month: '08'
oa_version: None
publication: Molecular BioSystems
publication_identifier:
eissn:
- 1742-2051
issn:
- 1742-206X
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Large-scale cytological profiling for functional analysis of bioactive compounds
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2013'
...
---
_id: '10387'
abstract:
- lang: eng
text: We report numerical simulations of membrane tubulation driven by large colloidal
particles. Using Monte Carlo simulations we study how the process depends on particle
size and binding strength, and present accurate free energy calculations to sort
out how tube formation compares with the competing budding process. We find that
tube formation is a result of the collective behavior of the particles adhering
on the surface, and it occurs for binding strengths that are smaller than those
required for budding. We also find that long linear aggregates of particles forming
on the membrane surface act as nucleation seeds for tubulation by lowering the
free energy barrier associated to the process.
article_number: '188101'
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: Angelo
full_name: Cacciuto, Angelo
last_name: Cacciuto
citation:
ama: Šarić A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive
nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101
apa: Šarić, A., & Cacciuto, A. (2012). Mechanism of membrane tube formation
induced by adhesive nanocomponents. Physical Review Letters. American Physical
Society. https://doi.org/10.1103/physrevlett.109.188101
chicago: Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation
Induced by Adhesive Nanocomponents.” Physical Review Letters. American
Physical Society, 2012. https://doi.org/10.1103/physrevlett.109.188101.
ieee: A. Šarić and A. Cacciuto, “Mechanism of membrane tube formation induced by
adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American
Physical Society, 2012.
ista: Šarić A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by
adhesive nanocomponents. Physical Review Letters. 109(18), 188101.
mla: Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced
by Adhesive Nanocomponents.” Physical Review Letters, vol. 109, no. 18,
188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101.
short: A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).
date_created: 2021-11-29T14:08:00Z
date_published: 2012-10-31T00:00:00Z
date_updated: 2021-11-29T14:29:25Z
day: '31'
doi: 10.1103/physrevlett.109.188101
extern: '1'
external_id:
arxiv:
- '1206.3528'
pmid:
- '23215334'
intvolume: ' 109'
issue: '18'
keyword:
- general physics and astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1206.3528
month: '10'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanism of membrane tube formation induced by adhesive nanocomponents
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 109
year: '2012'
...
---
_id: '10388'
abstract:
- lang: eng
text: Using computer simulations, we show that lipid membranes can mediate linear
aggregation of spherical nanoparticles binding to it for a wide range of biologically
relevant bending rigidities. This result is in net contrast with the isotropic
aggregation of nanoparticles on fluid interfaces or the expected clustering of
isotropic insertions in biological membranes. We present a phase diagram indicating
where linear aggregation is expected and compute explicitly the free-energy barriers
associated with linear and isotropic aggregation. Finally, we provide simple scaling
arguments to explain this phenomenology.
acknowledgement: "This work was supported by the National Science Foundation under
Career Grant No. DMR-0846426.\r\n"
article_number: '118101'
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: Angelo
full_name: Cacciuto, Angelo
last_name: Cacciuto
citation:
ama: Šarić A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed
spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101
apa: Šarić, A., & Cacciuto, A. (2012). Fluid membranes can drive linear aggregation
of adsorbed spherical nanoparticles. Physical Review Letters. American
Physical Society. https://doi.org/10.1103/physrevlett.108.118101
chicago: Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation
of Adsorbed Spherical Nanoparticles.” Physical Review Letters. American
Physical Society, 2012. https://doi.org/10.1103/physrevlett.108.118101.
ieee: A. Šarić and A. Cacciuto, “Fluid membranes can drive linear aggregation of
adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no.
11. American Physical Society, 2012.
ista: Šarić A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of
adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101.
mla: Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation
of Adsorbed Spherical Nanoparticles.” Physical Review Letters, vol. 108,
no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101.
short: A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012).
date_created: 2021-11-29T14:30:05Z
date_published: 2012-03-14T00:00:00Z
date_updated: 2021-11-29T15:12:13Z
day: '14'
doi: 10.1103/physrevlett.108.118101
extern: '1'
external_id:
arxiv:
- '1201.0036'
pmid:
- '22540513'
intvolume: ' 108'
issue: '11'
keyword:
- general physics and astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1201.0036
month: '03'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 108
year: '2012'
...
---
_id: '1055'
abstract:
- lang: eng
text: In July, 2011, a 32-year-old man presented with thoracic pain radiating to
the left arm and upper dorsum, shortness of breath, and palpitations. He had had
upper back tension for 6 months. Medical history was unremarkable apart from moderate
nicotine use (two pack-years). Echocardiography, electrocardiography, and laboratory
tests were unremarkable, excluding a cardiac event. CT of the chest after chest
radiography showed a large bulla of 16 cm diameter in the right hemithorax (figure
A). We did not detect radiological evidence of underlying pulmonary disease. The
bulla wall was unremarkable and no structures were seen within the bulla.
acknowledgement: We thank the interdisciplinary team at the ELK Berlin Chest Hospital.
article_processing_charge: No
author:
- first_name: Barbara
full_name: Erne, Barbara
last_name: Erne
- first_name: Mareike
full_name: Graff, Mareike
last_name: Graff
- first_name: Wolfram
full_name: Klemm, Wolfram
last_name: Klemm
- 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: Gunda
full_name: Leschber, Gunda
last_name: Leschber
citation:
ama: Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet.
2012;380(9849). doi:10.1016/S0140-6736(12)60690-4
apa: Erne, B., Graff, M., Klemm, W., Danzl, J. G., & Leschber, G. (2012). Bulla
in the lung. The Lancet. Elsevier. https://doi.org/10.1016/S0140-6736(12)60690-4
chicago: Erne, Barbara, Mareike Graff, Wolfram Klemm, Johann G Danzl, and Gunda
Leschber. “Bulla in the Lung.” The Lancet. Elsevier, 2012. https://doi.org/10.1016/S0140-6736(12)60690-4.
ieee: B. Erne, M. Graff, W. Klemm, J. G. Danzl, and G. Leschber, “Bulla in the lung,”
The Lancet, vol. 380, no. 9849. Elsevier, 2012.
ista: Erne B, Graff M, Klemm W, Danzl JG, Leschber G. 2012. Bulla in the lung. The
Lancet. 380(9849).
mla: Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no.
9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.
short: B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
date_created: 2018-12-11T11:49:54Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2021-01-12T06:47:57Z
day: '01'
doi: 10.1016/S0140-6736(12)60690-4
extern: '1'
intvolume: ' 380'
issue: '9849'
language:
- iso: eng
month: '10'
oa_version: None
publication: The Lancet
publication_status: published
publisher: Elsevier
publist_id: '6333'
status: public
title: Bulla in the lung
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 380
year: '2012'
...
---
_id: '1056'
abstract:
- lang: eng
text: We prepare and study a metastable attractive Mott-insulator state formed with
bosonic atoms in a three-dimensional optical lattice. Starting from a Mott insulator
with Cs atoms at weak repulsive interactions, we use a magnetic Feshbach resonance
to tune the interactions to large attractive values and produce a metastable state
pinned by attractive interactions with a lifetime on the order of 10 s. We probe
the (de)excitation spectrum via lattice modulation spectroscopy, measuring the
interaction dependence of two- and three-body bound-state energies. As a result
of increased on-site three-body loss we observe resonance broadening and suppression
of tunneling processes that produce three-body occupation.
acknowledgement: We are indebted to R. Grimm for generous support. We thank J. von
Stecher, P. Johnson, and E. Tiesinga for fruitful discussions. We gratefully acknowledge
funding by the Austrian Science Fund (FWF) within Project No. I153-N16 and within
the framework of the European Science Foundation (ESF) EuroQUASAR collective research
project QuDeGPM, and by the European Research Council (ERC) under Project No. 278417.
article_processing_charge: No
author:
- first_name: Manfred
full_name: Mark, Manfred
last_name: Mark
- first_name: Elmar
full_name: Haller, Elmar
last_name: Haller
- first_name: Katharina
full_name: Lauber, Katharina
last_name: Lauber
- 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: Alexander
full_name: Janisch, Alexander
last_name: Janisch
- first_name: Hans
full_name: Büchler, Hans
last_name: Büchler
- first_name: Andrew
full_name: Daley, Andrew
last_name: Daley
- first_name: Hanns
full_name: Nägerl, Hanns
last_name: Nägerl
citation:
ama: Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable
mott-insulator state with attractive interactions. Physical Review Letters.
2012;108(21). doi:10.1103/PhysRevLett.108.215302
apa: Mark, M., Haller, E., Lauber, K., Danzl, J. G., Janisch, A., Büchler, H., …
Nägerl, H. (2012). Preparation and spectroscopy of a metastable mott-insulator
state with attractive interactions. Physical Review Letters. American Physical
Society. https://doi.org/10.1103/PhysRevLett.108.215302
chicago: Mark, Manfred, Elmar Haller, Katharina Lauber, Johann G Danzl, Alexander
Janisch, Hans Büchler, Andrew Daley, and Hanns Nägerl. “Preparation and Spectroscopy
of a Metastable Mott-Insulator State with Attractive Interactions.” Physical
Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.215302.
ieee: M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator
state with attractive interactions,” Physical Review Letters, vol. 108,
no. 21. American Physical Society, 2012.
ista: Mark M, Haller E, Lauber K, Danzl JG, Janisch A, Büchler H, Daley A, Nägerl
H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with
attractive interactions. Physical Review Letters. 108(21).
mla: Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator
State with Attractive Interactions.” Physical Review Letters, vol. 108,
no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.
short: M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley,
H. Nägerl, Physical Review Letters 108 (2012).
date_created: 2018-12-11T11:49:55Z
date_published: 2012-05-25T00:00:00Z
date_updated: 2021-01-12T06:47:58Z
day: '25'
doi: 10.1103/PhysRevLett.108.215302
extern: '1'
external_id:
arxiv:
- '1201.1008'
intvolume: ' 108'
issue: '21'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1201.1008
month: '05'
oa: 1
oa_version: Preprint
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6334'
status: public
title: Preparation and spectroscopy of a metastable mott-insulator state with attractive
interactions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 108
year: '2012'
...
---
_id: '10750'
abstract:
- lang: eng
text: The goal of this work is to study the superconducting coherence length in
the fluctuation regime in cuprate superconductors. In this work we present cantilever
torque magnetometry measurements of micron-size BSCCO flakes patterned with arrays
of nanometer scale rings or holes. Using ultrasensitive dynamic torque magnetometry,
oscillations in magnetization are observed near Tc as a function of the applied
magnetic flux threading the array. Special effort was made to detect the oscillations
in magnetization at temperatures above Tc, where the Nernst effect and magnetization
measurements suggest the possibility of pairing. To constrain the magnitude of
the coherence length in the fluctuation regime, we will present the dependence
of the amplitude of the h/2e period oscillations as a function of temperature
and hole size.
acknowledgement: This work was supported by the Center for Emergent Superconductivity,
an Energy Frontier Research Center funded by the U.S. DOE, Office of Science, under
Award No. DE-AC0298CH1088.
alternative_title:
- Bulletin of the American Physical Society
article_number: X21.00008
article_processing_charge: No
author:
- first_name: Hryhoriy
full_name: Polshyn, Hryhoriy
id: edfc7cb1-526e-11ec-b05a-e6ecc27e4e48
last_name: Polshyn
orcid: 0000-0001-8223-8896
- first_name: Raffi
full_name: Budakian, Raffi
last_name: Budakian
citation:
ama: 'Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected
BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical
Society; 2012.'
apa: 'Polshyn, H., & Budakian, R. (2012). Cantilever torque magnetometry study
of multiply connected BSCCO arrays near Tc. In APS March Meeting 2012 (Vol.
57). Boston, MA, United States: American Physical Society.'
chicago: Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry
Study of Multiply Connected BSCCO Arrays near Tc.” In APS March Meeting 2012,
Vol. 57. American Physical Society, 2012.
ieee: H. Polshyn and R. Budakian, “Cantilever torque magnetometry study of multiply
connected BSCCO arrays near Tc,” in APS March Meeting 2012, Boston, MA,
United States, 2012, vol. 57, no. 1.
ista: 'Polshyn H, Budakian R. 2012. Cantilever torque magnetometry study of multiply
connected BSCCO arrays near Tc. APS March Meeting 2012. APS: American Physical
Society, Bulletin of the American Physical Society, vol. 57, X21.00008.'
mla: Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study
of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol.
57, no. 1, X21.00008, American Physical Society, 2012.
short: H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society,
2012.
conference:
end_date: 2012-03-02
location: Boston, MA, United States
name: 'APS: American Physical Society'
start_date: 2012-02-27
date_created: 2022-02-08T10:39:08Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2022-02-08T10:48:01Z
day: '01'
extern: '1'
intvolume: ' 57'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://meetings.aps.org/Meeting/MAR12/Event/167014
month: '02'
oa: 1
oa_version: Published Version
publication: APS March Meeting 2012
publication_identifier:
issn:
- 0003-0503
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: Cantilever torque magnetometry study of multiply connected BSCCO arrays near
Tc
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 57
year: '2012'
...
---
_id: '10896'
abstract:
- lang: eng
text: Under physiological conditions the brain, via the purine salvage pathway,
reuses the preformed purine bases hypoxanthine, derived from ATP degradation,
and adenine (Ade), derived from polyamine synthesis, to restore its ATP pool.
However, the massive degradation of ATP during ischemia, although providing valuable
neuroprotective adenosine, results in the accumulation and loss of diffusible
purine metabolites and thereby leads to a protracted reduction in the post-ischemic
ATP pool size. In vivo, this may both limit the ability to deploy ATP-dependent
reparative mechanisms and reduce the subsequent availability of adenosine, whilst
in brain slices results in tissue with substantially lower levels of ATP than
in vivo. In the present review, we describe the mechanisms by which brain tissue
replenishes its ATP, how this can be improved with the clinically tolerated chemicals
D-ribose and adenine, and the functional, and potential therapeutic, implications
of doing so.
acknowledgement: We are grateful to Research into Ageing/Ageing UK and The Dunhill
Trust for funding SzN’s graduate studies, and to Prof Nicholas Dale for his valuable
input.
article_processing_charge: No
author:
- first_name: Stephanie
full_name: zur Nedden, Stephanie
id: 3C77F464-F248-11E8-B48F-1D18A9856A87
last_name: zur Nedden
- first_name: Alexander S.
full_name: Doney, Alexander S.
last_name: Doney
- first_name: Bruno G.
full_name: Frenguelli, Bruno G.
last_name: Frenguelli
citation:
ama: 'zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine
at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds.
Adenosine. 1st ed. New York: Springer; 2012:109-129. doi:10.1007/978-1-4614-3903-5_6'
apa: 'zur Nedden, S., Doney, A. S., & Frenguelli, B. G. (2012). The double-edged
sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S.
Masino & D. Boison (Eds.), Adenosine (1st ed., pp. 109–129). New York:
Springer. https://doi.org/10.1007/978-1-4614-3903-5_6'
chicago: 'Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The
Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the
Books.” In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed.,
109–29. New York: Springer, 2012. https://doi.org/10.1007/978-1-4614-3903-5_6.'
ieee: 'S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword:
Gaining Adenosine at the expense of ATP. How to balance the books,” in Adenosine,
1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.'
ista: 'zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining
Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.'
mla: 'zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at
the Expense of ATP. How to Balance the Books.” Adenosine, edited by Susan
Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.'
short: S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.),
Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
date_created: 2022-03-21T07:16:12Z
date_published: 2012-07-23T00:00:00Z
date_updated: 2022-06-21T11:51:58Z
day: '23'
department:
- _id: HaJa
doi: 10.1007/978-1-4614-3903-5_6
edition: '1'
editor:
- first_name: Susan
full_name: Masino, Susan
last_name: Masino
- first_name: Detlev
full_name: Boison, Detlev
last_name: Boison
language:
- iso: eng
month: '07'
oa_version: None
page: 109-129
place: New York
publication: Adenosine
publication_identifier:
eisbn:
- '9781461439035'
isbn:
- '9781461439028'
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance
the books'
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '11089'
abstract:
- lang: eng
text: The Nuclear Envelope (NE) contains over 100 different proteins that associate
with nuclear components such as chromatin, the lamina and the transcription machinery.
Mutations in genes encoding NE proteins have been shown to result in tissue-specific
defects and disease, suggesting cell-type specific differences in NE composition
and function. Consistent with these observations, recent studies have revealed
unexpected functions for numerous NE associated proteins during cell differentiation
and development. Here we review the latest insights into the roles played by the
NE in cell differentiation, development, disease and aging, focusing primarily
on inner nuclear membrane (INM) proteins and nuclear pore components.
article_processing_charge: No
article_type: original
author:
- first_name: J Sebastian
full_name: Gomez-Cavazos, J Sebastian
last_name: Gomez-Cavazos
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: 'Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific
roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 2012;24(6):775-783.
doi:10.1016/j.ceb.2012.08.008'
apa: 'Gomez-Cavazos, J. S., & Hetzer, M. (2012). Outfits for different occasions:
tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell
Biology. Elsevier. https://doi.org/10.1016/j.ceb.2012.08.008'
chicago: 'Gomez-Cavazos, J Sebastian, and Martin Hetzer. “Outfits for Different
Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion
in Cell Biology. Elsevier, 2012. https://doi.org/10.1016/j.ceb.2012.08.008.'
ieee: 'J. S. Gomez-Cavazos and M. Hetzer, “Outfits for different occasions: tissue-specific
roles of Nuclear Envelope proteins,” Current Opinion in Cell Biology, vol.
24, no. 6. Elsevier, pp. 775–783, 2012.'
ista: 'Gomez-Cavazos JS, Hetzer M. 2012. Outfits for different occasions: tissue-specific
roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 24(6), 775–783.'
mla: 'Gomez-Cavazos, J. Sebastian, and Martin Hetzer. “Outfits for Different Occasions:
Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion in Cell
Biology, vol. 24, no. 6, Elsevier, 2012, pp. 775–83, doi:10.1016/j.ceb.2012.08.008.'
short: J.S. Gomez-Cavazos, M. Hetzer, Current Opinion in Cell Biology 24 (2012)
775–783.
date_created: 2022-04-07T07:51:37Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2022-07-18T08:38:47Z
day: '01'
doi: 10.1016/j.ceb.2012.08.008
extern: '1'
external_id:
pmid:
- '22995343'
intvolume: ' 24'
issue: '6'
keyword:
- Cell Biology
language:
- iso: eng
month: '12'
oa_version: None
page: 775-783
pmid: 1
publication: Current Opinion in Cell Biology
publication_identifier:
issn:
- 0955-0674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Outfits for different occasions: tissue-specific roles of Nuclear Envelope
proteins'
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 24
year: '2012'
...
---
_id: '11091'
abstract:
- lang: eng
text: Neoplastic cells are often characterized by specific morphological abnormalities
of the nuclear envelope (NE), which have been used for cancer diagnosis for more
than a century. The NE is a double phospholipid bilayer that encapsulates the
nuclear genome, regulates all nuclear trafficking of RNAs and proteins and prevents
the passive diffusion of macromolecules between the nucleoplasm and the cytoplasm.
Whether there is a consequence to the proper functioning of the cell and loss
of structural integrity of the nucleus remains unclear. Using live cell imaging,
we characterize a phenomenon wherein nuclei of several proliferating human cancer
cell lines become temporarily ruptured during interphase. Strikingly, NE rupturing
was associated with the mislocalization of nucleoplasmic and cytoplasmic proteins
and, in the most extreme cases, the entrapment of cytoplasmic organelles in the
nuclear interior. In addition, we observed the formation of micronuclei-like structures
during interphase and the movement of chromatin out of the nuclear space. The
frequency of these NE rupturing events was higher in cells in which the nuclear
lamina, a network of intermediate filaments providing mechanical support to the
NE, was not properly formed. Our data uncover the existence of a NE instability
that has the potential to change the genomic landscape of cancer cells.
article_processing_charge: No
article_type: original
author:
- first_name: Jesse D.
full_name: Vargas, Jesse D.
last_name: Vargas
- first_name: Emily M.
full_name: Hatch, Emily M.
last_name: Hatch
- first_name: Daniel J.
full_name: Anderson, Daniel J.
last_name: Anderson
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Vargas JD, Hatch EM, Anderson DJ, Hetzer M. Transient nuclear envelope rupturing
during interphase in human cancer cells. Nucleus. 2012;3(1):88-100. doi:10.4161/nucl.18954
apa: Vargas, J. D., Hatch, E. M., Anderson, D. J., & Hetzer, M. (2012). Transient
nuclear envelope rupturing during interphase in human cancer cells. Nucleus.
Taylor & Francis. https://doi.org/10.4161/nucl.18954
chicago: Vargas, Jesse D., Emily M. Hatch, Daniel J. Anderson, and Martin Hetzer.
“Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.”
Nucleus. Taylor & Francis, 2012. https://doi.org/10.4161/nucl.18954.
ieee: J. D. Vargas, E. M. Hatch, D. J. Anderson, and M. Hetzer, “Transient nuclear
envelope rupturing during interphase in human cancer cells,” Nucleus, vol.
3, no. 1. Taylor & Francis, pp. 88–100, 2012.
ista: Vargas JD, Hatch EM, Anderson DJ, Hetzer M. 2012. Transient nuclear envelope
rupturing during interphase in human cancer cells. Nucleus. 3(1), 88–100.
mla: Vargas, Jesse D., et al. “Transient Nuclear Envelope Rupturing during Interphase
in Human Cancer Cells.” Nucleus, vol. 3, no. 1, Taylor & Francis, 2012,
pp. 88–100, doi:10.4161/nucl.18954.
short: J.D. Vargas, E.M. Hatch, D.J. Anderson, M. Hetzer, Nucleus 3 (2012) 88–100.
date_created: 2022-04-07T07:51:53Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2022-07-18T08:52:53Z
day: '01'
doi: 10.4161/nucl.18954
extern: '1'
external_id:
pmid:
- '22567193'
intvolume: ' 3'
issue: '1'
keyword:
- Cell Biology
language:
- iso: eng
month: '01'
oa_version: None
page: 88-100
pmid: 1
publication: Nucleus
publication_identifier:
eissn:
- 1949-1042
issn:
- 1949-1034
publication_status: published
publisher: Taylor & Francis
quality_controlled: '1'
scopus_import: '1'
status: public
title: Transient nuclear envelope rupturing during interphase in human cancer cells
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 3
year: '2012'
...
---
_id: '11093'
abstract:
- lang: eng
text: Nuclear pore complexes (NPCs) are built from ∼30 different proteins called
nucleoporins or Nups. Previous studies have shown that several Nups exhibit cell-type-specific
expression and that mutations in NPC components result in tissue-specific diseases.
Here we show that a specific change in NPC composition is required for both myogenic
and neuronal differentiation. The transmembrane nucleoporin Nup210 is absent in
proliferating myoblasts and embryonic stem cells (ESCs) but becomes expressed
and incorporated into NPCs during cell differentiation. Preventing Nup210 production
by RNAi blocks myogenesis and the differentiation of ESCs into neuroprogenitors.
We found that the addition of Nup210 to NPCs does not affect nuclear transport
but is required for the induction of genes that are essential for cell differentiation.
Our results identify a single change in NPC composition as an essential step in
cell differentiation and establish a role for Nup210 in gene expression regulation
and cell fate determination.
article_processing_charge: No
article_type: original
author:
- first_name: Maximiliano A.
full_name: D'Angelo, Maximiliano A.
last_name: D'Angelo
- first_name: J. Sebastian
full_name: Gomez-Cavazos, J. Sebastian
last_name: Gomez-Cavazos
- first_name: Arianna
full_name: Mei, Arianna
last_name: Mei
- first_name: Daniel H.
full_name: Lackner, Daniel H.
last_name: Lackner
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear
pore complex composition regulates cell differentiation. Developmental Cell.
2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021
apa: D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., & Hetzer,
M. (2012). A change in nuclear pore complex composition regulates cell differentiation.
Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2011.11.021
chicago: D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H.
Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates
Cell Differentiation.” Developmental Cell. Elsevier, 2012. https://doi.org/10.1016/j.devcel.2011.11.021.
ieee: M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer,
“A change in nuclear pore complex composition regulates cell differentiation,”
Developmental Cell, vol. 22, no. 2. Elsevier, pp. 446–458, 2012.
ista: D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change
in nuclear pore complex composition regulates cell differentiation. Developmental
Cell. 22(2), 446–458.
mla: D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition
Regulates Cell Differentiation.” Developmental Cell, vol. 22, no. 2, Elsevier,
2012, pp. 446–58, doi:10.1016/j.devcel.2011.11.021.
short: M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental
Cell 22 (2012) 446–458.
date_created: 2022-04-07T07:52:10Z
date_published: 2012-01-19T00:00:00Z
date_updated: 2022-07-18T08:53:16Z
day: '19'
doi: 10.1016/j.devcel.2011.11.021
extern: '1'
external_id:
pmid:
- '22264802'
intvolume: ' 22'
issue: '2'
keyword:
- Developmental Biology
- Cell Biology
- General Biochemistry
- Genetics and Molecular Biology
- Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.devcel.2011.11.021
month: '01'
oa: 1
oa_version: Published Version
page: 446-458
pmid: 1
publication: Developmental Cell
publication_identifier:
issn:
- 1534-5807
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: A change in nuclear pore complex composition regulates cell differentiation
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 22
year: '2012'
...
---
_id: '11092'
abstract:
- lang: eng
text: To combat the functional decline of the proteome, cells use the process of
protein turnover to replace potentially impaired polypeptides with new functional
copies. We found that extremely long-lived proteins (ELLPs) did not turn over
in postmitotic cells of the rat central nervous system. These ELLPs were associated
with chromatin and the nuclear pore complex, the central transport channels that
mediate all molecular trafficking in and out of the nucleus. The longevity of
these proteins would be expected to expose them to potentially harmful metabolites,
putting them at risk of accumulating damage over extended periods of time. Thus,
it is possible that failure to maintain proper levels and functional integrity
of ELLPs in nonproliferative cells might contribute to age-related deterioration
in cell and tissue function.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Jeffrey N.
full_name: Savas, Jeffrey N.
last_name: Savas
- first_name: Brandon H.
full_name: Toyama, Brandon H.
last_name: Toyama
- first_name: Tao
full_name: Xu, Tao
last_name: Xu
- first_name: John R.
full_name: Yates, John R.
last_name: Yates
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear
pore proteins in the rat brain. Science. 2012;335(6071):942-942. doi:10.1126/science.1217421
apa: Savas, J. N., Toyama, B. H., Xu, T., Yates, J. R., & Hetzer, M. (2012).
Extremely long-lived nuclear pore proteins in the rat brain. Science. American
Association for the Advancement of Science. https://doi.org/10.1126/science.1217421
chicago: Savas, Jeffrey N., Brandon H. Toyama, Tao Xu, John R. Yates, and Martin
Hetzer. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” Science.
American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1217421.
ieee: J. N. Savas, B. H. Toyama, T. Xu, J. R. Yates, and M. Hetzer, “Extremely long-lived
nuclear pore proteins in the rat brain,” Science, vol. 335, no. 6071. American
Association for the Advancement of Science, pp. 942–942, 2012.
ista: Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. 2012. Extremely long-lived
nuclear pore proteins in the rat brain. Science. 335(6071), 942–942.
mla: Savas, Jeffrey N., et al. “Extremely Long-Lived Nuclear Pore Proteins in the
Rat Brain.” Science, vol. 335, no. 6071, American Association for the Advancement
of Science, 2012, pp. 942–942, doi:10.1126/science.1217421.
short: J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012)
942–942.
date_created: 2022-04-07T07:52:01Z
date_published: 2012-02-02T00:00:00Z
date_updated: 2022-07-18T08:53:06Z
day: '02'
doi: 10.1126/science.1217421
extern: '1'
external_id:
pmid:
- '22300851'
intvolume: ' 335'
issue: '6071'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '02'
oa_version: None
page: 942-942
pmid: 1
publication: Science
publication_identifier:
eissn:
- 1095-9203
issn:
- 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Extremely long-lived nuclear pore proteins in the rat brain
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 335
year: '2012'
...
---
_id: '11090'
abstract:
- lang: eng
text: Nuclear export of mRNAs is thought to occur exclusively through nuclear pore
complexes. In this issue of Cell, Speese et al. identify an alternate pathway
for mRNA export in muscle cells where ribonucleoprotein complexes involved in
forming neuromuscular junctions transit the nuclear envelope by fusing with and
budding through the nuclear membrane.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Emily M.
full_name: Hatch, Emily M.
last_name: Hatch
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735.
doi:10.1016/j.cell.2012.04.018
apa: Hatch, E. M., & Hetzer, M. (2012). RNP export by nuclear envelope budding.
Cell. Elsevier. https://doi.org/10.1016/j.cell.2012.04.018
chicago: Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.”
Cell. Elsevier, 2012. https://doi.org/10.1016/j.cell.2012.04.018.
ieee: E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” Cell,
vol. 149, no. 4. Elsevier, pp. 733–735, 2012.
ista: Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4),
733–735.
mla: Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.”
Cell, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:10.1016/j.cell.2012.04.018.
short: E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.
date_created: 2022-04-07T07:51:45Z
date_published: 2012-05-11T00:00:00Z
date_updated: 2022-07-18T08:58:48Z
day: '11'
doi: 10.1016/j.cell.2012.04.018
extern: '1'
external_id:
pmid:
- '22579277'
intvolume: ' 149'
issue: '4'
keyword:
- General Biochemistry
- Genetics and Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2012.04.018
month: '05'
oa: 1
oa_version: Published Version
page: 733-735
pmid: 1
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: RNP export by nuclear envelope budding
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 149
year: '2012'
...
---
_id: '113'
abstract:
- lang: eng
text: 'Although liquids typically flow around intruding objects, a counterintuitive
phenomenon occurs in dense suspensions of micrometre-sized particles: they become
liquid-like when perturbed lightly, but harden when driven strongly. Rheological
experiments have investigated how such thickening arises under shear, and linked
it to hydrodynamic interactions or granular dilation. However, neither of these
mechanisms alone can explain the ability of suspensions to generate very large,
positive normal stresses under impact. To illustrate the phenomenon, such stresses
can be large enough to allow a person to run across a suspension without sinking,
and far exceed the upper limit observed under shear or extension. Here we show
that these stresses originate from an impact-generated solidification front that
transforms an initially compressible particle matrix into a rapidly growing jammed
region, ultimately leading to extraordinary amounts of momentum absorption. Using
high-speed videography, embedded force sensing and X-ray imaging, we capture the
detailed dynamics of this process as it decelerates a metal rod hitting a suspension
of cornflour (cornstarch) in water. We develop a model for the dynamic solidification
and its effect on the surrounding suspension that reproduces the observed behaviour
quantitatively. Our findings suggest that prior interpretations of the impact
resistance as dominated by shear thickening need to be revisited.'
acknowledgement: This work was supported by NSF through its MRSEC programme (DMR-0820054)
and by the US Army Research Office through grant number W911NF-12-1-0182. S.R.W.
acknowledges support from a Millikan fellowship.
author:
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
- first_name: Heinrich
full_name: Jaeger, Heinrich
last_name: Jaeger
citation:
ama: Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions
via dynamic jamming fronts. Nature. 2012;487(7406):205-209. doi:10.1038/nature11187
apa: Waitukaitis, S. R., & Jaeger, H. (2012). Impact-activated solidification
of dense suspensions via dynamic jamming fronts. Nature. Nature Publishing
Group. https://doi.org/10.1038/nature11187
chicago: Waitukaitis, Scott R, and Heinrich Jaeger. “Impact-Activated Solidification
of Dense Suspensions via Dynamic Jamming Fronts.” Nature. Nature Publishing
Group, 2012. https://doi.org/10.1038/nature11187.
ieee: S. R. Waitukaitis and H. Jaeger, “Impact-activated solidification of dense
suspensions via dynamic jamming fronts,” Nature, vol. 487, no. 7406. Nature
Publishing Group, pp. 205–209, 2012.
ista: Waitukaitis SR, Jaeger H. 2012. Impact-activated solidification of dense suspensions
via dynamic jamming fronts. Nature. 487(7406), 205–209.
mla: Waitukaitis, Scott R., and Heinrich Jaeger. “Impact-Activated Solidification
of Dense Suspensions via Dynamic Jamming Fronts.” Nature, vol. 487, no.
7406, Nature Publishing Group, 2012, pp. 205–09, doi:10.1038/nature11187.
short: S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
date_created: 2018-12-11T11:44:42Z
date_published: 2012-07-12T00:00:00Z
date_updated: 2021-01-12T06:48:30Z
day: '12'
doi: 10.1038/nature11187
extern: '1'
intvolume: ' 487'
issue: '7406'
language:
- iso: eng
month: '07'
oa_version: None
page: 205 - 209
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '7941'
status: public
title: Impact-activated solidification of dense suspensions via dynamic jamming fronts
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 487
year: '2012'
...
---
_id: '114'
abstract:
- lang: eng
text: We report on an investigation of the solidification of a cornstarch and water
suspension during normal impact on its surface. We find that a finite time after
impact, the suspension displays characteristics reminiscent of a solid, including
localized stress transmission, the development of a yield stress, and some elastic
energy storage. The time dependence of these characteristics depends on the thickness
of the cornstarch layer, showing that the solidification is a dynamic process
driven by the impacting object. These findings confirm previous speculations that
rapidly applied normal stress transforms the normally fluid-like suspension into
a temporarily jammed solid and draw a clear distinction between the effects of
normal stress and shear stress in dense suspensions.
acknowledgement: This work was supported by the NSF through its MRSEC program (DMR-0820054).
S. R. W. acknowledges support from a Millikan fellowship.
author:
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
- first_name: Heinrich
full_name: Jaeger, Heinrich
last_name: Jaeger
citation:
ama: Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension.
Revista Cubana de Fisica. 2012;29(1E):1E31-1E33.
apa: Waitukaitis, S. R., & Jaeger, H. (2012). Solidification of a cornstarch
and water suspension. Revista Cubana de Fisica. Universidad de La Habana.
chicago: Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch
and Water Suspension.” Revista Cubana de Fisica. Universidad de La Habana,
2012.
ieee: S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water
suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de
La Habana, p. 1E31-1E33, 2012.
ista: Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension.
Revista Cubana de Fisica. 29(1E), 1E31-1E33.
mla: Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch
and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad
de La Habana, 2012, p. 1E31-1E33.
short: S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
date_created: 2018-12-11T11:44:42Z
date_published: 2012-08-14T00:00:00Z
date_updated: 2021-01-12T06:48:34Z
day: '14'
ddc:
- '530'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: kschuh
date_created: 2019-05-16T11:08:52Z
date_updated: 2019-05-16T11:08:52Z
file_id: '6461'
file_name: 2012_RCF_Waitukaitis.pdf
file_size: 589776
relation: main_file
success: 1
file_date_updated: 2019-05-16T11:08:52Z
has_accepted_license: '1'
intvolume: ' 29'
issue: 1E
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '08'
oa: 1
oa_version: Published Version
page: 1E31 - 1E33
publication: Revista Cubana de Fisica
publication_status: published
publisher: Universidad de La Habana
publist_id: '7940'
quality_controlled: '1'
status: public
title: Solidification of a cornstarch and water suspension
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 29
year: '2012'
...
---
_id: '11656'
abstract:
- lang: eng
text: "Suppose your sole interest in recommending a product to me is to maximize
the amount paid to you by the seller for a sequence of recommendations. How should
you recommend optimally if I become more inclined to ignore you with each irrelevant
recommendation you make? Finding an answer to this question is a key challenge
in all forms of marketing that rely on and explore social ties; ranging from personal
recommendations to viral marketing.\r\n\r\nWe prove that even if the recommendee
regains her initial trust on each successful recommendation, the expected revenue
the recommender can make over an infinite period due to payments by the seller
is bounded. This can only be overcome when the recommendee also incrementally
regains trust during periods without any recommendation. Here, we see a connection
to \"banner blindness,\" suggesting that showing fewer ads can lead to a higher
long-term revenue."
article_processing_charge: No
author:
- first_name: Paul
full_name: Dütting, Paul
last_name: Dütting
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Ingmar
full_name: Weber, Ingmar
last_name: Weber
citation:
ama: 'Dütting P, Henzinger MH, Weber I. Maximizing revenue from strategic recommendations
under decaying trust. In: Proceedings of the 21st ACM International Conference
on Information and Knowledge Management. Association for Computing Machinery;
2012:2268-2286. doi:10.1145/2396761.2398621'
apa: 'Dütting, P., Henzinger, M. H., & Weber, I. (2012). Maximizing revenue
from strategic recommendations under decaying trust. In Proceedings of the
21st ACM international conference on Information and knowledge management
(pp. 2268–2286). Maui, HI, United States: Association for Computing Machinery.
https://doi.org/10.1145/2396761.2398621'
chicago: Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Maximizing Revenue
from Strategic Recommendations under Decaying Trust.” In Proceedings of the
21st ACM International Conference on Information and Knowledge Management,
2268–86. Association for Computing Machinery, 2012. https://doi.org/10.1145/2396761.2398621.
ieee: P. Dütting, M. H. Henzinger, and I. Weber, “Maximizing revenue from strategic
recommendations under decaying trust,” in Proceedings of the 21st ACM international
conference on Information and knowledge management, Maui, HI, United States,
2012, pp. 2268–2286.
ista: 'Dütting P, Henzinger MH, Weber I. 2012. Maximizing revenue from strategic
recommendations under decaying trust. Proceedings of the 21st ACM international
conference on Information and knowledge management. CIKM: Conference on Information
and Knowledge Management, 2268–2286.'
mla: Dütting, Paul, et al. “Maximizing Revenue from Strategic Recommendations under
Decaying Trust.” Proceedings of the 21st ACM International Conference on Information
and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–86,
doi:10.1145/2396761.2398621.
short: P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International
Conference on Information and Knowledge Management, Association for Computing
Machinery, 2012, pp. 2268–2286.
conference:
end_date: 2012-11-02
location: Maui, HI, United States
name: 'CIKM: Conference on Information and Knowledge Management'
start_date: 2012-10-29
date_created: 2022-07-27T06:47:53Z
date_published: 2012-10-29T00:00:00Z
date_updated: 2023-02-09T09:19:49Z
day: '29'
doi: 10.1145/2396761.2398621
extern: '1'
language:
- iso: eng
month: '10'
oa_version: None
page: 2268-2286
publication: Proceedings of the 21st ACM international conference on Information and
knowledge management
publication_identifier:
isbn:
- '9781450311564'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Maximizing revenue from strategic recommendations under decaying trust
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '11751'
abstract:
- lang: eng
text: The Seebeck coefficients, electrical resistivities, total thermal conductivities,
and magnetization are reported for temperatures between 5 and 350 K for n-type
Bi0.88Sb0.12 nano-composite alloys made by Ho-doping at the 0, 1, and 3 % atomic
levels. The alloys were prepared using a dc hot-pressing method, and are shown
to be single phase for both Ho contents with grain sizes on the average of 900
nm. We find the parent compound has a maximum of ZT = 0.28 at 231 K, while doping
1 % Ho increases the maximum ZT to 0.31 at 221 K and the 3 % doped sample suppresses
the maximum ZT = 0.24 at a temperature of 260 K.
article_processing_charge: No
article_type: original
author:
- first_name: K. C.
full_name: Lukas, K. C.
last_name: Lukas
- first_name: G.
full_name: Joshi, G.
last_name: Joshi
- 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: Z. F.
full_name: Ren, Z. F.
last_name: Ren
- first_name: C. P.
full_name: Opeil, C. P.
last_name: Opeil
citation:
ama: Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of
Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734.
doi:10.1007/s10853-012-6463-6
apa: Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012).
Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science.
Springer Nature. https://doi.org/10.1007/s10853-012-6463-6
chicago: Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric
Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer
Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
ieee: K. C. Lukas, G. Joshi, K. A. Modic, Z. F. Ren, and C. P. Opeil, “Thermoelectric
properties of Ho-doped Bi0.88Sb0.12,” Journal of Materials Science, vol.
47, no. 15. Springer Nature, pp. 5729–5734, 2012.
ista: Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties
of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.
mla: Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.”
Journal of Materials Science, vol. 47, no. 15, Springer Nature, 2012, pp.
5729–34, doi:10.1007/s10853-012-6463-6.
short: K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials
Science 47 (2012) 5729–5734.
date_created: 2022-08-08T08:28:20Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2022-08-11T09:34:39Z
day: '01'
doi: 10.1007/s10853-012-6463-6
extern: '1'
external_id:
arxiv:
- '1201.6304'
intvolume: ' 47'
issue: '15'
language:
- iso: eng
month: '08'
oa_version: Preprint
page: 5729-5734
publication: Journal of Materials Science
publication_identifier:
eissn:
- 1573-4803
issn:
- 0022-2461
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Thermoelectric properties of Ho-doped Bi0.88Sb0.12
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2012'
...
---
_id: '11794'
abstract:
- lang: eng
text: We study individual rational, Pareto optimal, and incentive compatible mechanisms
for auctions with heterogeneous items and budget limits. For multi-dimensional
valuations we show that there can be no deterministic mechanism with these properties
for divisible items. We use this to show that there can also be no randomized
mechanism that achieves this for either divisible or indivisible items. For single-dimensional
valuations we show that there can be no deterministic mechanism with these properties
for indivisible items, but that there is a randomized mechanism that achieves
this for either divisible or indivisible items. The impossibility results hold
for public budgets, while the mechanism allows private budgets, which is in both
cases the harder variant to show. While all positive results are polynomial-time
algorithms, all negative results hold independent of complexity considerations.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Paul
full_name: Dütting, Paul
last_name: Dütting
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Martin
full_name: Starnberger, Martin
last_name: Starnberger
citation:
ama: 'Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items
and budget limits. In: 8th International Workshop on Internet and Network Economics.
Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4'
apa: 'Dütting, P., Henzinger, M. H., & Starnberger, M. (2012). Auctions with
heterogeneous items and budget limits. In 8th International Workshop on Internet
and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer
Nature. https://doi.org/10.1007/978-3-642-35311-6_4'
chicago: Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Auctions with
Heterogeneous Items and Budget Limits.” In 8th International Workshop on Internet
and Network Economics, 7695:44–57. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-35311-6_4.
ieee: P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions with heterogeneous
items and budget limits,” in 8th International Workshop on Internet and Network
Economics, Liverpool, United Kingdom, 2012, vol. 7695, pp. 44–57.
ista: 'Dütting P, Henzinger MH, Starnberger M. 2012. Auctions with heterogeneous
items and budget limits. 8th International Workshop on Internet and Network Economics.
WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695,
44–57.'
mla: Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.”
8th International Workshop on Internet and Network Economics, vol. 7695,
Springer Nature, 2012, pp. 44–57, doi:10.1007/978-3-642-35311-6_4.
short: P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop
on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
conference:
end_date: 2012-12-14
location: Liverpool, United Kingdom
name: 'WINE: International Conference on Web and Internet Economics'
start_date: 2012-12-11
date_created: 2022-08-11T11:32:25Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2023-02-21T16:28:29Z
day: '01'
doi: 10.1007/978-3-642-35311-6_4
extern: '1'
external_id:
arxiv:
- '1209.6448'
intvolume: ' 7695'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1209.6448
month: '12'
oa: 1
oa_version: Preprint
page: 44–57
publication: 8th International Workshop on Internet and Network Economics
publication_identifier:
isbn:
- '9783642353109'
issn:
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11794'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Auctions with heterogeneous items and budget limits
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7695
year: '2012'
...
---
_id: '11795'
abstract:
- lang: eng
text: "We study multiple keyword sponsored search auctions with budgets. Each keyword
has multiple ad slots with a click-through rate. The bidders have additive valuations,
which are linear in the click-through rates, and budgets, which are restricting
their overall payments. Additionally, the number of slots per keyword assigned
to a bidder is bounded.\r\n\r\nWe show the following results: (1) We give the
first mechanism for multiple keywords, where click-through rates differ among
slots. Our mechanism is incentive compatible in expectation, individually rational
in expectation, and Pareto optimal. (2) We study the combinatorial setting, where
each bidder is only interested in a subset of the keywords. We give an incentive
compatible, individually rational, Pareto optimal, and deterministic mechanism
for identical click-through rates. (3) We give an impossibility result for incentive
compatible, individually rational, Pareto optimal, and deterministic mechanisms
for bidders with diminishing marginal valuations."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Riccardo
full_name: Colini-Baldeschi, Riccardo
last_name: Colini-Baldeschi
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Stefano
full_name: Leonardi, Stefano
last_name: Leonardi
- first_name: Martin
full_name: Starnberger, Martin
last_name: Starnberger
citation:
ama: 'Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. On multiple keyword
sponsored search auctions with budgets. In: 39th International Colloquium on
Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12.
doi:10.1007/978-3-642-31585-5_1'
apa: 'Colini-Baldeschi, R., Henzinger, M. H., Leonardi, S., & Starnberger, M.
(2012). On multiple keyword sponsored search auctions with budgets. In 39th
International Colloquium on Automata, Languages, and Programming (Vol. 7392,
pp. 1–12). Warwick, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-31585-5_1'
chicago: Colini-Baldeschi, Riccardo, Monika H Henzinger, Stefano Leonardi, and Martin
Starnberger. “On Multiple Keyword Sponsored Search Auctions with Budgets.” In
39th International Colloquium on Automata, Languages, and Programming,
7392:1–12. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-31585-5_1.
ieee: R. Colini-Baldeschi, M. H. Henzinger, S. Leonardi, and M. Starnberger, “On
multiple keyword sponsored search auctions with budgets,” in 39th International
Colloquium on Automata, Languages, and Programming, Warwick, United Kingdom,
2012, vol. 7392, pp. 1–12.
ista: 'Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. 2012. On multiple
keyword sponsored search auctions with budgets. 39th International Colloquium
on Automata, Languages, and Programming. ICALP: International Colloquium on Automata,
Languages, and Programming, LNCS, vol. 7392, 1–12.'
mla: Colini-Baldeschi, Riccardo, et al. “On Multiple Keyword Sponsored Search Auctions
with Budgets.” 39th International Colloquium on Automata, Languages, and Programming,
vol. 7392, Springer Nature, 2012, pp. 1–12, doi:10.1007/978-3-642-31585-5_1.
short: R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th
International Colloquium on Automata, Languages, and Programming, Springer Nature,
2012, pp. 1–12.
conference:
end_date: 2012-07-13
location: Warwick, United Kingdom
name: 'ICALP: International Colloquium on Automata, Languages, and Programming'
start_date: 2012-07-09
date_created: 2022-08-11T11:46:51Z
date_published: 2012-07-01T00:00:00Z
date_updated: 2023-02-21T16:28:31Z
day: '01'
doi: 10.1007/978-3-642-31585-5_1
extern: '1'
intvolume: ' 7392'
language:
- iso: eng
month: '07'
oa_version: None
page: 1–12
publication: 39th International Colloquium on Automata, Languages, and Programming
publication_identifier:
isbn:
- '9783642315848'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11795'
relation: later_version
status: public
scopus_import: '1'
status: public
title: On multiple keyword sponsored search auctions with budgets
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7392
year: '2012'
...
---
_id: '11964'
abstract:
- lang: eng
text: A detailed investigation on the direct arylation of benzene with aryl bromides
by using first-row transition metals under high-temperature/high-pressure (high-T/p)
conditions is described. By employing a parallel reactor platform for rapid reaction
screening and discovery at elevated temperatures, various metal/ligand/base combinations
were evaluated for their ability to enable biaryl formation through C-H activation.
The combination of cobalt(III) acetylacetonate and lithium bis(trimethylsilyl)amide
was subjected to further process intensification at 200 °C (15 bar), allowing
a significant reduction of the catalyst/base loading and a dramatic increase in
catalytic efficiency (turnover frequency) by a factor of 1000 compared to traditional
protocols. The high-throughput screening additionally identified novel nickel-
and copper-based metal/ligand combinations that favored an amination pathway competing
with C-H activation, with the addition of ligands, such as 1,10-phenanthroline,
having a profound influence on the selectivity. In addition to metal-based catalysts,
high-T/p process windows were also successfully applied to transition-metal-free
systems, utilizing 1,10-phenanthroline as organocatalyst.
article_processing_charge: No
article_type: original
author:
- first_name: Bartholomäus
full_name: Pieber, Bartholomäus
id: 93e5e5b2-0da6-11ed-8a41-af589a024726
last_name: Pieber
orcid: 0000-0001-8689-388X
- first_name: David
full_name: Cantillo, David
last_name: Cantillo
- first_name: C. Oliver
full_name: Kappe, C. Oliver
last_name: Kappe
citation:
ama: 'Pieber B, Cantillo D, Kappe CO. Direct arylation of benzene with aryl bromides
using high‐temperature/high‐pressure process windows: Expanding the scope of C-H
activation chemistry. Chemistry – A European Journal. 2012;18(16):5047-5055.
doi:10.1002/chem.201103748'
apa: 'Pieber, B., Cantillo, D., & Kappe, C. O. (2012). Direct arylation of benzene
with aryl bromides using high‐temperature/high‐pressure process windows: Expanding
the scope of C-H activation chemistry. Chemistry – A European Journal.
Wiley. https://doi.org/10.1002/chem.201103748'
chicago: 'Pieber, Bartholomäus, David Cantillo, and C. Oliver Kappe. “Direct Arylation
of Benzene with Aryl Bromides Using High‐temperature/High‐pressure Process Windows:
Expanding the Scope of C-H Activation Chemistry.” Chemistry – A European Journal.
Wiley, 2012. https://doi.org/10.1002/chem.201103748.'
ieee: 'B. Pieber, D. Cantillo, and C. O. Kappe, “Direct arylation of benzene with
aryl bromides using high‐temperature/high‐pressure process windows: Expanding
the scope of C-H activation chemistry,” Chemistry – A European Journal,
vol. 18, no. 16. Wiley, pp. 5047–5055, 2012.'
ista: 'Pieber B, Cantillo D, Kappe CO. 2012. Direct arylation of benzene with aryl
bromides using high‐temperature/high‐pressure process windows: Expanding the scope
of C-H activation chemistry. Chemistry – A European Journal. 18(16), 5047–5055.'
mla: 'Pieber, Bartholomäus, et al. “Direct Arylation of Benzene with Aryl Bromides
Using High‐temperature/High‐pressure Process Windows: Expanding the Scope of C-H
Activation Chemistry.” Chemistry – A European Journal, vol. 18, no. 16,
Wiley, 2012, pp. 5047–55, doi:10.1002/chem.201103748.'
short: B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012)
5047–5055.
date_created: 2022-08-24T12:48:28Z
date_published: 2012-04-16T00:00:00Z
date_updated: 2023-02-21T10:09:35Z
day: '16'
doi: 10.1002/chem.201103748
extern: '1'
external_id:
pmid:
- '22396386'
intvolume: ' 18'
issue: '16'
language:
- iso: eng
month: '04'
oa_version: None
page: 5047-5055
pmid: 1
publication: Chemistry – A European Journal
publication_identifier:
eissn:
- 1521-3765
issn:
- 0947-6539
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure
process windows: Expanding the scope of C-H activation chemistry'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2012'
...
---
_id: '11963'
abstract:
- lang: eng
text: 'Peroxides and ethers in flow: 2-Carbonyl-substituted phenols and β-ketoesters
react safely with ethers in a microreactor environment using a copper catalyst
and an organic peroxide (TBHP). This protocol results in unsymmetrical acetal
scaffolds not easily available otherwise (see scheme).'
article_processing_charge: No
article_type: letter_note
author:
- first_name: G. Sathish
full_name: Kumar, G. Sathish
last_name: Kumar
- first_name: Bartholomäus
full_name: Pieber, Bartholomäus
id: 93e5e5b2-0da6-11ed-8a41-af589a024726
last_name: Pieber
orcid: 0000-0001-8689-388X
- first_name: K. Rajender
full_name: Reddy, K. Rajender
last_name: Reddy
- first_name: C. Oliver
full_name: Kappe, C. Oliver
last_name: Kappe
citation:
ama: Kumar GS, Pieber B, Reddy KR, Kappe CO. Copper-catalyzed formation of C-O bonds
by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide
in batch and continuous-flow formats. Chemistry - A European Journal. 2012;18(20):6124-6128.
doi:10.1002/chem.201200815
apa: Kumar, G. S., Pieber, B., Reddy, K. R., & Kappe, C. O. (2012). Copper-catalyzed
formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric
amounts of peroxide in batch and continuous-flow formats. Chemistry - A European
Journal. Wiley. https://doi.org/10.1002/chem.201200815
chicago: Kumar, G. Sathish, Bartholomäus Pieber, K. Rajender Reddy, and C. Oliver
Kappe. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation
of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow
Formats.” Chemistry - A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201200815.
ieee: G. S. Kumar, B. Pieber, K. R. Reddy, and C. O. Kappe, “Copper-catalyzed formation
of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts
of peroxide in batch and continuous-flow formats,” Chemistry - A European Journal,
vol. 18, no. 20. Wiley, pp. 6124–6128, 2012.
ista: Kumar GS, Pieber B, Reddy KR, Kappe CO. 2012. Copper-catalyzed formation of
C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts
of peroxide in batch and continuous-flow formats. Chemistry - A European Journal.
18(20), 6124–6128.
mla: Kumar, G. Sathish, et al. “Copper-Catalyzed Formation of C-O Bonds by Direct
α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch
and Continuous-Flow Formats.” Chemistry - A European Journal, vol. 18,
no. 20, Wiley, 2012, pp. 6124–28, doi:10.1002/chem.201200815.
short: G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal
18 (2012) 6124–6128.
date_created: 2022-08-24T12:33:05Z
date_published: 2012-05-14T00:00:00Z
date_updated: 2023-02-21T10:09:33Z
day: '14'
doi: 10.1002/chem.201200815
extern: '1'
external_id:
pmid:
- '22492535'
intvolume: ' 18'
issue: '20'
language:
- iso: eng
month: '05'
oa_version: None
page: 6124-6128
pmid: 1
publication: Chemistry - A European Journal
publication_identifier:
eissn:
- 1521-3765
issn:
- 0947-6539
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of
ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2012'
...
---
_id: '12644'
abstract:
- lang: eng
text: In the Dry Andes of central Chile, summer water resources originate mostly
from snowmelt and ice melt. We use the physically based, spatially distributed
hydrological model TOPKAPI to study the exchange between glaciers and climate
in the upper Aconcagua River Basin during the summer season and identify the model
parameters that are robust and transferable and those that are more dependent
on calibration. TOPKAPI has recently been adapted to incorporate an enhanced temperature
index approach for snow and ice melting. We suggest a calibration procedure that
allows calibration of parameters in three steps by separating parameters governing
distinct processes. We evaluate the parameters' transferability in time and in
space by applying the model at two spatial scales. TOPKAPI's ability to simulate
the relevant processes is tested against meteorological, ablation, and glacier
runoff data measured on Juncal Norte Glacier during two glacier ablation seasons.
The model was applied successfully to the climatic setting of the Dry Andes once
its parameters were recalibrated. We found a clear distinction between parameters
that are stable in time and those that need recalibration. The parameters of the
melt model are transferable from one season to the other, while the parameters
governing the extrapolation of meteorological input data and the routing of glacier
meltwater need recalibration from one season to the other. Sensitivity analysis
revealed that the model is most sensitive to the temperature lapse rate governing
the extrapolation of air temperature from point measurements to the glacier scale
and to the melt parameter that multiplies the shortwave radiation balance.
article_number: W03509
article_processing_charge: No
article_type: original
author:
- first_name: S.
full_name: Ragettli, S.
last_name: Ragettli
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: 'Ragettli S, Pellicciotti F. Calibration of a physically based, spatially distributed
hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological
processes to constrain model parameters. Water Resources Research. 2012;48(3).
doi:10.1029/2011wr010559'
apa: 'Ragettli, S., & Pellicciotti, F. (2012). Calibration of a physically based,
spatially distributed hydrological model in a glacierized basin: On the use of
knowledge from glaciometeorological processes to constrain model parameters. Water
Resources Research. American Geophysical Union. https://doi.org/10.1029/2011wr010559'
chicago: 'Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically
Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the
Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.”
Water Resources Research. American Geophysical Union, 2012. https://doi.org/10.1029/2011wr010559.'
ieee: 'S. Ragettli and F. Pellicciotti, “Calibration of a physically based, spatially
distributed hydrological model in a glacierized basin: On the use of knowledge
from glaciometeorological processes to constrain model parameters,” Water Resources
Research, vol. 48, no. 3. American Geophysical Union, 2012.'
ista: 'Ragettli S, Pellicciotti F. 2012. Calibration of a physically based, spatially
distributed hydrological model in a glacierized basin: On the use of knowledge
from glaciometeorological processes to constrain model parameters. Water Resources
Research. 48(3), W03509.'
mla: 'Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based,
Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of
Knowledge from Glaciometeorological Processes to Constrain Model Parameters.”
Water Resources Research, vol. 48, no. 3, W03509, American Geophysical
Union, 2012, doi:10.1029/2011wr010559.'
short: S. Ragettli, F. Pellicciotti, Water Resources Research 48 (2012).
date_created: 2023-02-20T08:17:39Z
date_published: 2012-03-01T00:00:00Z
date_updated: 2023-02-21T09:38:36Z
day: '01'
doi: 10.1029/2011wr010559
extern: '1'
intvolume: ' 48'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2011WR010559
month: '03'
oa: 1
oa_version: Published Version
publication: Water Resources Research
publication_identifier:
issn:
- 0043-1397
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Calibration of a physically based, spatially distributed hydrological model
in a glacierized basin: On the use of knowledge from glaciometeorological processes
to constrain model parameters'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 48
year: '2012'
...
---
_id: '12646'
abstract:
- lang: eng
text: Assessment of water resources from remote mountainous catchments plays a crucial
role for the development of rural areas in or in the vicinity of mountain ranges.
The scarcity of data, however, prevents the application of standard approaches
that are based on data-driven models. The Hindu Kush–Karakoram–Himalaya mountain
range is a crucial area in terms of water resources, but our understanding of
the response of its high-elevation catchments to a changing climate is hindered
by lack of hydro-meteorological and cryospheric data. Hydrological modeling is
challenging here because internal inconsistencies—such as an underestimation of
precipitation input that can be compensated for by an overestimation of meltwater—might
be hidden due to the complexity of feedback mechanisms that govern melt and runoff
generation in such basins. Data scarcity adds to this difficulty by preventing
the application of systematic calibration procedures that would allow identification
of the parameter set that could guarantee internal consistency in the simulation
of the single hydrological components. In this work, we use simulations from the
Hunza River Basin in the Karakoram region obtained with the hydrological model
TOPKAPI to quantify the predictive power of discharge and snow-cover data sets,
as well as the combination of both. We also show that short-term measurements
of meteorological variables such as radiative fluxes, wind speed, relative humidity,
and air temperature from glacio-meteorological experiments are crucial for a correct
parameterization of surface melt processes. They enable detailed simulations of
the energy fluxes governing glacier–atmosphere interaction and the resulting ablation
through energy-balance modeling. These simulations are used to derive calibrated
parameters for the simplified snow and glacier routines in TOPKAPI. We demonstrate
that such parameters are stable in space and time in similar climatic regions,
thus reducing the number of parameters requiring calibration.
article_processing_charge: No
article_type: original
author:
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: Cyrill
full_name: Buergi, Cyrill
last_name: Buergi
- first_name: Walter Willem
full_name: Immerzeel, Walter Willem
last_name: Immerzeel
- first_name: Markus
full_name: Konz, Markus
last_name: Konz
- first_name: Arun B.
full_name: Shrestha, Arun B.
last_name: Shrestha
citation:
ama: 'Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and
uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan
(HKH) basins: Suggestions for calibration strategies. Mountain Research and
Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1'
apa: 'Pellicciotti, F., Buergi, C., Immerzeel, W. W., Konz, M., & Shrestha,
A. B. (2012). Challenges and uncertainties in hydrological modeling of remote
Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies.
Mountain Research and Development. International Mountain Society. https://doi.org/10.1659/mrd-journal-d-11-00092.1'
chicago: 'Pellicciotti, Francesca, Cyrill Buergi, Walter Willem Immerzeel, Markus
Konz, and Arun B. Shrestha. “Challenges and Uncertainties in Hydrological Modeling
of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration
Strategies.” Mountain Research and Development. International Mountain
Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00092.1.'
ieee: 'F. Pellicciotti, C. Buergi, W. W. Immerzeel, M. Konz, and A. B. Shrestha,
“Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan
(HKH) basins: Suggestions for calibration strategies,” Mountain Research and
Development, vol. 32, no. 1. International Mountain Society, pp. 39–50, 2012.'
ista: 'Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. 2012. Challenges
and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan
(HKH) basins: Suggestions for calibration strategies. Mountain Research and Development.
32(1), 39–50.'
mla: 'Pellicciotti, Francesca, et al. “Challenges and Uncertainties in Hydrological
Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for
Calibration Strategies.” Mountain Research and Development, vol. 32, no.
1, International Mountain Society, 2012, pp. 39–50, doi:10.1659/mrd-journal-d-11-00092.1.'
short: F. Pellicciotti, C. Buergi, W.W. Immerzeel, M. Konz, A.B. Shrestha, Mountain
Research and Development 32 (2012) 39–50.
date_created: 2023-02-20T08:17:47Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2023-02-21T09:31:54Z
day: '01'
doi: 10.1659/mrd-journal-d-11-00092.1
extern: '1'
intvolume: ' 32'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1659/MRD-JOURNAL-D-11-00092.1
month: '02'
oa: 1
oa_version: Published Version
page: 39-50
publication: Mountain Research and Development
publication_identifier:
eissn:
- 1994-7151
issn:
- 0276-4741
publication_status: published
publisher: International Mountain Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan
(HKH) basins: Suggestions for calibration strategies'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2012'
...
---
_id: '12647'
abstract:
- lang: eng
text: Accurate quantification of the spatial distribution of precipitation in mountain
regions is crucial for assessments of water resources and for the understanding
of high-altitude hydrology, yet it is one of the largest unknowns due to the lack
of high-altitude observations. The Hunza basin in Pakistan contains very large
glacier systems, which, given the melt, cannot persist unless precipitation (snow
input) is much higher than what is observed at the meteorological stations, mostly
located in mountain valleys. Several studies, therefore, suggest strong positive
vertical precipitation lapse rates; in the present study, we quantify this lapse
rate by using glaciers as a proxy. We assume a neutral mass balance for the glaciers
for the period from 2001 to 2003, and we inversely model the precipitation lapse
by balancing the total accumulation in the catchment area and the ablation over
the glacier area for the 50 largest glacier systems in the Hunza basin in the
Karakoram. Our results reveal a vertical precipitation lapse rate that equals
0.21 ± 0.12% m−1, with a maximum precipitation at an elevation of 5500 masl. We
showed that the total annual basin precipitation (828 mm) is 260% higher than
what is estimated based on interpolated observations (319 mm); this has major
consequences for hydrological modeling and water resource assessments in general.
Our results were validated by using previously published studies on individual
glaciers as well as the water balance of the Hunza basin. The approach is more
widely applicable in mountain ranges where precipitation measurements at high
altitude are lacking.
article_processing_charge: No
article_type: original
author:
- first_name: Walter Willem
full_name: Immerzeel, Walter Willem
last_name: Immerzeel
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: Arun B.
full_name: Shrestha, Arun B.
last_name: Shrestha
citation:
ama: Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify
the spatial distribution of precipitation in the Hunza basin. Mountain Research
and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1
apa: Immerzeel, W. W., Pellicciotti, F., & Shrestha, A. B. (2012). Glaciers
as a proxy to quantify the spatial distribution of precipitation in the Hunza
basin. Mountain Research and Development. International Mountain Society.
https://doi.org/10.1659/mrd-journal-d-11-00097.1
chicago: Immerzeel, Walter Willem, Francesca Pellicciotti, and Arun B. Shrestha.
“Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in
the Hunza Basin.” Mountain Research and Development. International Mountain
Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00097.1.
ieee: W. W. Immerzeel, F. Pellicciotti, and A. B. Shrestha, “Glaciers as a proxy
to quantify the spatial distribution of precipitation in the Hunza basin,” Mountain
Research and Development, vol. 32, no. 1. International Mountain Society,
pp. 30–38, 2012.
ista: Immerzeel WW, Pellicciotti F, Shrestha AB. 2012. Glaciers as a proxy to quantify
the spatial distribution of precipitation in the Hunza basin. Mountain Research
and Development. 32(1), 30–38.
mla: Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial
Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development,
vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1.
short: W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development
32 (2012) 30–38.
date_created: 2023-02-20T08:17:52Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2023-02-21T08:56:29Z
day: '01'
doi: 10.1659/mrd-journal-d-11-00097.1
extern: '1'
intvolume: ' 32'
issue: '1'
keyword:
- General Environmental Science
- Development
- Environmental Chemistry
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1659/MRD-JOURNAL-D-11-00097.1
month: '02'
oa: 1
oa_version: Published Version
page: 30-38
publication: Mountain Research and Development
publication_identifier:
eissn:
- 1994-7151
issn:
- 0276-4741
publication_status: published
publisher: International Mountain Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Glaciers as a proxy to quantify the spatial distribution of precipitation in
the Hunza basin
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2012'
...
---
_id: '12648'
abstract:
- lang: eng
text: Distributed glacier melt models generally assume that the glacier surface
consists of bare exposed ice and snow. In reality, many glaciers are wholly or
partially covered in layers of debris that tend to suppress ablation rates. In
this paper, an existing physically based point model for the ablation of debris-covered
ice is incorporated in a distributed melt model and applied to Haut Glacier d'Arolla,
Switzerland, which has three large patches of debris cover on its surface. The
model is based on a 10 m resolution digital elevation model (DEM) of the area;
each glacier pixel in the DEM is defined as either bare or debris-covered ice,
and may be covered in snow that must be melted off before ice ablation is assumed
to occur. Each debris-covered pixel is assigned a debris thickness value using
probability distributions based on over 1000 manual thickness measurements. Locally
observed meteorological data are used to run energy balance calculations in every
pixel, using an approach suitable for snow, bare ice or debris-covered ice as
appropriate. The use of the debris model significantly reduces the total ablation
in the debris-covered areas, however the precise reduction is sensitive to the
temperature extrapolation used in the model distribution because air near the
debris surface tends to be slightly warmer than over bare ice. Overall results
suggest that the debris patches, which cover 10% of the glacierized area, reduce
total runoff from the glacierized part of the basin by up to 7%.
article_number: D18105
article_processing_charge: No
article_type: original
author:
- first_name: T. D.
full_name: Reid, T. D.
last_name: Reid
- first_name: M.
full_name: Carenzo, M.
last_name: Carenzo
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: B. W.
full_name: Brock, B. W.
last_name: Brock
citation:
ama: 'Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects
in a distributed model of glacier ablation. Journal of Geophysical Research:
Atmospheres. 2012;117(D18). doi:10.1029/2012jd017795'
apa: 'Reid, T. D., Carenzo, M., Pellicciotti, F., & Brock, B. W. (2012). Including
debris cover effects in a distributed model of glacier ablation. Journal of
Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2012jd017795'
chicago: 'Reid, T. D., M. Carenzo, Francesca Pellicciotti, and B. W. Brock. “Including
Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of
Geophysical Research: Atmospheres. American Geophysical Union, 2012. https://doi.org/10.1029/2012jd017795.'
ieee: 'T. D. Reid, M. Carenzo, F. Pellicciotti, and B. W. Brock, “Including debris
cover effects in a distributed model of glacier ablation,” Journal of Geophysical
Research: Atmospheres, vol. 117, no. D18. American Geophysical Union, 2012.'
ista: 'Reid TD, Carenzo M, Pellicciotti F, Brock BW. 2012. Including debris cover
effects in a distributed model of glacier ablation. Journal of Geophysical Research:
Atmospheres. 117(D18), D18105.'
mla: 'Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model
of Glacier Ablation.” Journal of Geophysical Research: Atmospheres, vol.
117, no. D18, D18105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.'
short: 'T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical
Research: Atmospheres 117 (2012).'
date_created: 2023-02-20T08:17:57Z
date_published: 2012-09-27T00:00:00Z
date_updated: 2023-02-20T10:57:31Z
day: '27'
doi: 10.1029/2012jd017795
extern: '1'
intvolume: ' 117'
issue: D18
keyword:
- Paleontology
- Space and Planetary Science
- Earth and Planetary Sciences (miscellaneous)
- Atmospheric Science
- Earth-Surface Processes
- Geochemistry and Petrology
- Soil Science
- Water Science and Technology
- Ecology
- Aquatic Science
- Forestry
- Oceanography
- Geophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2012JD017795
month: '09'
oa: 1
oa_version: Published Version
publication: 'Journal of Geophysical Research: Atmospheres'
publication_identifier:
issn:
- 0148-0227
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: Including debris cover effects in a distributed model of glacier ablation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 117
year: '2012'
...
---
_id: '1384'
abstract:
- lang: eng
text: 'Software model checking, as an undecidable problem, has three possible outcomes:
(1) the program satisfies the specification, (2) the program does not satisfy
the specification, and (3) the model checker fails. The third outcome usually
manifests itself in a space-out, time-out, or one component of the verification
tool giving up; in all of these failing cases, significant computation is performed
by the verification tool before the failure, but no result is reported. We propose
to reformulate the model-checking problem as follows, in order to have the verification
tool report a summary of the performed work even in case of failure: given a program
and a specification, the model checker returns a condition Ψ - usually a state
predicate - such that the program satisfies the specification under the condition
Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied.
In our experiments, we investigated as one major application of conditional model
checking the sequential combination of model checkers with information passing.
We give the condition that one model checker produces, as input to a second conditional
model checker, such that the verification problem for the second is restricted
to the part of the state space that is not covered by the condition, i.e., the
second model checker works on the problems that the first model checker could
not solve. Our experiments demonstrate that repeated application of conditional
model checkers, passing information from one model checker to the next, can significantly
improve the verification results and performance, i.e., we can now verify programs
that we could not verify before.'
acknowledgement: This research was supported by the Canadian NSERC grant RGPIN 341819-07, the ERC Advanced Grant
QUAREM, and the Austrian Science Fund NFN RiSE.
article_number: '57'
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Mehmet
full_name: Keremoglu, Mehmet
last_name: Keremoglu
- first_name: Philipp
full_name: Wendler, Philipp
last_name: Wendler
citation:
ama: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking:
A technique to pass information between verifiers. In: Proceedings of the ACM
SIGSOFT 20th International Symposium on the Foundations of Software Engineering.
ACM; 2012. doi:10.1145/2393596.2393664'
apa: 'Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional
model checking: A technique to pass information between verifiers. In Proceedings
of the ACM SIGSOFT 20th International Symposium on the Foundations of Software
Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664'
chicago: 'Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler.
“Conditional Model Checking: A Technique to Pass Information between Verifiers.”
In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations
of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.'
ieee: 'D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model
checking: A technique to pass information between verifiers,” in Proceedings
of the ACM SIGSOFT 20th International Symposium on the Foundations of Software
Engineering, Cary, NC, USA, 2012.'
ista: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking:
A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT
20th International Symposium on the Foundations of Software Engineering. FSE:
Foundations of Software Engineering, 57.'
mla: 'Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information
between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium
on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.'
short: D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the
ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering,
ACM, 2012.
conference:
end_date: 2012-11-16
location: Cary, NC, USA
name: 'FSE: Foundations of Software Engineering'
start_date: 2012-11-11
date_created: 2018-12-11T11:51:42Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2021-01-12T06:50:18Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2393596.2393664
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1109.6926
month: '11'
oa: 1
oa_version: Preprint
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations
of Software Engineering
publication_status: published
publisher: ACM
publist_id: '5826'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Conditional model checking: A technique to pass information between verifiers'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '1472'
abstract:
- lang: eng
text: For G = GL 2, PGL 2, SL 2 we prove that the perverse filtration associated
with the Hitchin map on the rational cohomology of the moduli space of twisted
G-Higgs bundles on a compact Riemann surface C agrees with the weight filtration
on the rational cohomology of the twisted G character variety of C when the cohomologies
are identified via non-Abelian Hodge theory. The proof is accomplished by means
of a study of the topology of the Hitchin map over the locus of integral spectral
curves.
acknowledgement: Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F.
Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca
Migliorini was partially supported by PRIN 2007 project "Spazi di moduli e teoria
di Lie"
author:
- first_name: Mark
full_name: De Cataldo, Mark A
last_name: De Cataldo
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Luca
full_name: Migliorini, Luca
last_name: Migliorini
citation:
ama: 'De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge
theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407.
doi:10.4007/annals.2012.175.3.7'
apa: 'De Cataldo, M., Hausel, T., & Migliorini, L. (2012). Topology of hitchin
systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics.
Princeton University Press. https://doi.org/10.4007/annals.2012.175.3.7'
chicago: 'De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin
Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics.
Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.'
ieee: 'M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems
and Hodge theory of character varieties: The case A 1,” Annals of Mathematics,
vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.'
ista: 'De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and
Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3),
1329–1407.'
mla: 'De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of
Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no.
3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.'
short: M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012)
1329–1407.
date_created: 2018-12-11T11:52:13Z
date_published: 2012-05-01T00:00:00Z
date_updated: 2021-01-12T06:50:59Z
day: '01'
doi: 10.4007/annals.2012.175.3.7
extern: 1
intvolume: ' 175'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1004.1420
month: '05'
oa: 1
page: 1329 - 1407
publication: Annals of Mathematics
publication_status: published
publisher: Princeton University Press
publist_id: '5727'
quality_controlled: 0
status: public
title: 'Topology of hitchin systems and Hodge theory of character varieties: The case
A 1'
type: journal_article
volume: 175
year: '2012'
...
---
_id: '1471'
abstract:
- lang: eng
text: 'Given a possibly reducible and non-reduced spectral cover π: X → C over a
smooth projective complex curve C we determine the group of connected components
of the Prym variety Prym(X/C). As an immediate application we show that the finite
group of n-torsion points of the Jacobian of C acts trivially on the cohomology
of the twisted SL n-Higgs moduli space up to the degree which is predicted by
topological mirror symmetry. In particular this yields a new proof of a result
of Harder-Narasimhan, showing that this finite group acts trivially on the cohomology
of the twisted SL n stable bundle moduli space.'
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Christian
full_name: Pauly, Christian
last_name: Pauly
citation:
ama: Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology.
2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609
apa: Hausel, T., & Pauly, C. (2012). Prym varieties of spectral covers. Geometry
and Topology. University of Warwick. https://doi.org/10.2140/gt.2012.16.1609
chicago: Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.”
Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609.
ieee: T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and
Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.
ista: Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology.
16(3), 1609–1638.
mla: Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry
and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609.
short: T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
date_created: 2018-12-11T11:52:13Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2021-01-12T06:50:58Z
day: '01'
doi: 10.2140/gt.2012.16.1609
extern: 1
intvolume: ' 16'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1012.4748
month: '08'
oa: 1
page: 1609 - 1638
publication: Geometry and Topology
publication_status: published
publisher: University of Warwick
publist_id: '5726'
quality_controlled: 0
status: public
title: Prym varieties of spectral covers
type: journal_article
volume: 16
year: '2012'
...
---
_id: '171'
abstract:
- lang: eng
text: For given non-zero integers a, b, q we investigate the density of solutions
(x, y) ∈ ℤ2 to the binary cubic congruence ax2 + by3 ≡ 0 mod q, and use it to
establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined
over ℚ.
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Stephan
full_name: Baier, Stephan
last_name: Baier
citation:
ama: Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on
del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65.
doi:https://doi.org/10.1515/crelle.2012.039
apa: Browning, T. D., & Baier, S. (2012). Inhomogeneous cubic congruences and
rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte
Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039
chicago: Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences
and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte
Mathematik. Walter de Gruyter, 2012. https://doi.org/10.1515/crelle.2012.039.
ieee: T. D. Browning and S. Baier, “Inhomogeneous cubic congruences and rational
points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik,
vol. 2013, no. 680. Walter de Gruyter, pp. 1–65, 2012.
ista: Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points
on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680),
1–65.
mla: Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and
Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte
Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039.
short: T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik
2013 (2012) 1–65.
date_created: 2018-12-11T11:45:00Z
date_published: 2012-04-03T00:00:00Z
date_updated: 2021-01-12T06:52:41Z
day: '03'
doi: https://doi.org/10.1515/crelle.2012.039
extern: 1
intvolume: ' 2013'
issue: '680'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1011.3434
month: '04'
oa: 1
page: 1 - 65
publication: Journal fur die Reine und Angewandte Mathematik
publication_status: published
publisher: Walter de Gruyter
publist_id: '7750'
quality_controlled: 0
status: public
title: Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
type: journal_article
volume: 2013
year: '2012'
...
---
_id: '1725'
abstract:
- lang: eng
text: The spatial organization of cell fates during development involves the interpretation
of morphogen gradients by cellular signaling cascades and transcriptional networks.
Recent studies use biophysical models, genetics, and quantitative imaging to unravel
how tissue-level morphogen behavior arises from subcellular events. Moreover,
data from several systems show that morphogen gradients, downstream signaling,
and the activity of cell-intrinsic transcriptional networks change dynamically
during pattern formation. Studies from Drosophila and now also vertebrates suggest
that transcriptional network dynamics are central to the generation of gene expression
patterns. Together, this leads to the view that pattern formation is an emergent
behavior that results from the coordination of events occurring across molecular,
cellular, and tissue scales. The development of novel approaches to study this
complex process remains a challenge.
acknowledgement: 'Funding provided by the Medical Research Council (UK). '
author:
- first_name: Anna
full_name: Anna Kicheva
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
- first_name: Michael
full_name: Cohen, Michael H
last_name: Cohen
- first_name: James
full_name: Briscoe, James
last_name: Briscoe
citation:
ama: 'Kicheva A, Cohen M, Briscoe J. Developmental pattern formation: Insights from
physics and biology. Science. 2012;338(6104):210-212. doi:10.1126/science.1225182'
apa: 'Kicheva, A., Cohen, M., & Briscoe, J. (2012). Developmental pattern formation:
Insights from physics and biology. Science. American Association for the
Advancement of Science. https://doi.org/10.1126/science.1225182'
chicago: 'Kicheva, Anna, Michael Cohen, and James Briscoe. “Developmental Pattern
Formation: Insights from Physics and Biology.” Science. American Association
for the Advancement of Science, 2012. https://doi.org/10.1126/science.1225182.'
ieee: 'A. Kicheva, M. Cohen, and J. Briscoe, “Developmental pattern formation: Insights
from physics and biology,” Science, vol. 338, no. 6104. American Association
for the Advancement of Science, pp. 210–212, 2012.'
ista: 'Kicheva A, Cohen M, Briscoe J. 2012. Developmental pattern formation: Insights
from physics and biology. Science. 338(6104), 210–212.'
mla: 'Kicheva, Anna, et al. “Developmental Pattern Formation: Insights from Physics
and Biology.” Science, vol. 338, no. 6104, American Association for the
Advancement of Science, 2012, pp. 210–12, doi:10.1126/science.1225182.'
short: A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212.
date_created: 2018-12-11T11:53:40Z
date_published: 2012-10-12T00:00:00Z
date_updated: 2021-01-12T06:52:47Z
day: '12'
doi: 10.1126/science.1225182
extern: 1
intvolume: ' 338'
issue: '6104'
month: '10'
page: 210 - 212
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '5404'
quality_controlled: 0
status: public
title: 'Developmental pattern formation: Insights from physics and biology'
type: journal_article
volume: 338
year: '2012'
...
---
_id: '1757'
abstract:
- lang: eng
text: Self-assembled Ge wires with a height of only 3 unit cells and a length of
up to 2 micrometers were grown on Si(001) by means of a catalyst-free method based
on molecular beam epitaxy. The wires grow horizontally along either the [100]
or the [010] direction. On atomically flat surfaces, they exhibit a highly uniform,
triangular cross section. A simple thermodynamic model accounts for the existence
of a preferential base width for longitudinal expansion, in quantitative agreement
with the experimental findings. Despite the absence of intentional doping, the
first transistor-type devices made from single wires show low-resistive electrical
contacts and single-hole transport at sub-Kelvin temperatures. In view of their
exceptionally small and self-defined cross section, these Ge wires hold promise
for the realization of hole systems with exotic properties and provide a new development
route for silicon-based nanoelectronics.
acknowledgement: We acknowledge the financial support by the DFG SPP1386, P. Chen
and D. J. Thurmer for MBE assistance, R. Wacquez for providing the ultrathin SOI
wafers, and G. Bauer, Y. Hu, X. Jehl, S. Kiravittaya, C. Klöffel, E. J. H. Lee,
F. Liu, D. Loss, and S. Mahapatra for helpful discussions. G. K. acknowledges support
from the European commission via a Marie Curie Carrer Integration Grant. S. D. F.
acknowledges support from the European Research Council through the starting grant
program
author:
- first_name: Jianjun
full_name: Zhang, Jianjun
last_name: Zhang
- first_name: Georgios
full_name: Georgios Katsaros
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
- first_name: Francesco
full_name: Montalenti, Francesco
last_name: Montalenti
- first_name: Daniele
full_name: Scopece, Daniele
last_name: Scopece
- first_name: Roman
full_name: Rezaev, Roman O
last_name: Rezaev
- first_name: Christine
full_name: Mickel, Christine H
last_name: Mickel
- first_name: Bernd
full_name: Rellinghaus, Bernd
last_name: Rellinghaus
- first_name: Leo
full_name: Miglio, Leo P
last_name: Miglio
- first_name: Silvano
full_name: De Franceschi, Silvano
last_name: De Franceschi
- first_name: Armando
full_name: Rastelli, Armando
last_name: Rastelli
- first_name: Oliver
full_name: Schmidt, Oliver G
last_name: Schmidt
citation:
ama: Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge
nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502
apa: Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C.,
… Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) .
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.085502
chicago: Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece,
Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of
Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters. American
Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.085502.
ieee: J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001)
,” Physical Review Letters, vol. 109, no. 8. American Physical Society,
2012.
ista: Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus
B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of
ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).
mla: Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001)
.” Physical Review Letters, vol. 109, no. 8, American Physical Society,
2012, doi:10.1103/PhysRevLett.109.085502.
short: J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B.
Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review
Letters 109 (2012).
date_created: 2018-12-11T11:53:51Z
date_published: 2012-08-23T00:00:00Z
date_updated: 2021-01-12T06:53:00Z
day: '23'
doi: 10.1103/PhysRevLett.109.085502
extern: 1
intvolume: ' 109'
issue: '8'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1208.0666
month: '08'
oa: 1
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '5367'
quality_controlled: 0
status: public
title: 'Monolithic growth of ultrathin Ge nanowires on Si(001) '
type: journal_article
volume: 109
year: '2012'
...
---
_id: '1758'
abstract:
- lang: eng
text: We studied the low-energy states of spin-1/2 quantum dots defined in InAs/InP
nanowires and coupled to aluminum superconducting leads. By varying the superconducting
gap Δ with a magnetic field B we investigated the transition from strong coupling
Δ≪T K to weak-coupling Δ≫T K, where T K is the Kondo temperature. Below the critical
field, we observe a persisting zero-bias Kondo resonance that vanishes only for
low B or higher temperatures, leaving the room to more robust subgap structures
at bias voltages between Δ and 2Δ. For strong and approximately symmetric tunnel
couplings, a Josephson supercurrent is observed in addition to the Kondo peak.
We ascribe the coexistence of a Kondo resonance and a superconducting gap to a
significant density of intragap quasiparticle states, and the finite-bias subgap
structures to tunneling through Shiba states. Our results, supported by numerical
calculations, own relevance also in relation to tunnel-spectroscopy experiments
aiming at the observation of Majorana fermions in hybrid nanostructures.
acknowledgement: This work was supported by the EU Marie Curie program and by the
Agence Nationale de la Recherche. R. A. acknowledges support from the Spanish Ministry
of Science and Innovation through Grant No. FIS2009-08744
author:
- first_name: Eduardo
full_name: Lee, Eduardo J
last_name: Lee
- first_name: Xiaocheng
full_name: Jiang, Xiaocheng
last_name: Jiang
- first_name: Ramón
full_name: Aguado, Ramón
last_name: Aguado
- first_name: Georgios
full_name: Georgios Katsaros
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
- first_name: Charles
full_name: Lieber, Charles M
last_name: Lieber
- first_name: Silvano
full_name: De Franceschi, Silvano
last_name: De Franceschi
citation:
ama: Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias
anomaly in a nanowire quantum dot coupled to superconductors. Physical Review
Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802
apa: Lee, E., Jiang, X., Aguado, R., Katsaros, G., Lieber, C., & De Franceschi,
S. (2012). Zero-bias anomaly in a nanowire quantum dot coupled to superconductors.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.186802
chicago: Lee, Eduardo, Xiaocheng Jiang, Ramón Aguado, Georgios Katsaros, Charles
Lieber, and Silvano De Franceschi. “Zero-Bias Anomaly in a Nanowire Quantum Dot
Coupled to Superconductors.” Physical Review Letters. American Physical
Society, 2012. https://doi.org/10.1103/PhysRevLett.109.186802.
ieee: E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, and S. De Franceschi,
“Zero-bias anomaly in a nanowire quantum dot coupled to superconductors,” Physical
Review Letters, vol. 109, no. 18. American Physical Society, 2012.
ista: Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. 2012. Zero-bias
anomaly in a nanowire quantum dot coupled to superconductors. Physical Review
Letters. 109(18).
mla: Lee, Eduardo, et al. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to
Superconductors.” Physical Review Letters, vol. 109, no. 18, American Physical
Society, 2012, doi:10.1103/PhysRevLett.109.186802.
short: E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical
Review Letters 109 (2012).
date_created: 2018-12-11T11:53:51Z
date_published: 2012-10-31T00:00:00Z
date_updated: 2021-01-12T06:53:01Z
day: '31'
doi: 10.1103/PhysRevLett.109.186802
extern: 1
intvolume: ' 109'
issue: '18'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1207.1259
month: '10'
oa: 1
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '5366'
quality_controlled: 0
status: public
title: Zero-bias anomaly in a nanowire quantum dot coupled to superconductors
type: journal_article
volume: 109
year: '2012'
...
---
_id: '1756'
abstract:
- lang: eng
text: We report on the electronic transport properties of multiple-gate devices
fabricated from undoped silicon nanowires. Understanding and control of the relevant
transport mechanisms was achieved by means of local electrostatic gating and temperature-dependent
measurements. The roles of the source/drain contacts and of the silicon channel
could be independently evaluated and tuned. Wrap gates surrounding the silicide-silicon
contact interfaces were proved to be effective in inducing a full suppression
of the contact Schottky barriers, thereby enabling carrier injection down to liquid
helium temperature. By independently tuning the effective Schottky barrier heights,
a variety of reconfigurable device functionalities could be obtained. In particular,
the same nanowire device could be configured to work as a Schottky barrier transistor,
a Schottky diode, or a p-n diode with tunable polarities. This versatility was
eventually exploited to realize a NAND logic gate with gain well above one.
acknowledgement: This work was supported by the Agence Nationale de la Recherche (ANR)
through the ACCESS and COHESION projects and by the European Commission through
the Chemtronics program MEST-CT-2005-020513
author:
- first_name: Massimo
full_name: Mongillo, Massimo
last_name: Mongillo
- first_name: Panayotis
full_name: Spathis, Panayotis N
last_name: Spathis
- first_name: Georgios
full_name: Georgios Katsaros
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
- first_name: Pascal
full_name: Gentile, Pascal
last_name: Gentile
- first_name: Silvano
full_name: De Franceschi, Silvano
last_name: De Franceschi
citation:
ama: Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional
devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079.
doi:10.1021/nl300930m
apa: Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., & De Franceschi,
S. (2012). Multifunctional devices and logic gates with undoped silicon nanowires.
Nano Letters. American Chemical Society. https://doi.org/10.1021/nl300930m
chicago: Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Pascal Gentile,
and Silvano De Franceschi. “Multifunctional Devices and Logic Gates with Undoped
Silicon Nanowires.” Nano Letters. American Chemical Society, 2012. https://doi.org/10.1021/nl300930m.
ieee: M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, and S. De Franceschi, “Multifunctional
devices and logic gates with undoped silicon nanowires,” Nano Letters,
vol. 12, no. 6. American Chemical Society, pp. 3074–3079, 2012.
ista: Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. 2012. Multifunctional
devices and logic gates with undoped silicon nanowires. Nano Letters. 12(6), 3074–3079.
mla: Mongillo, Massimo, et al. “Multifunctional Devices and Logic Gates with Undoped
Silicon Nanowires.” Nano Letters, vol. 12, no. 6, American Chemical Society,
2012, pp. 3074–79, doi:10.1021/nl300930m.
short: M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano
Letters 12 (2012) 3074–3079.
date_created: 2018-12-11T11:53:50Z
date_published: 2012-06-13T00:00:00Z
date_updated: 2021-01-12T06:53:00Z
day: '13'
doi: 10.1021/nl300930m
extern: 1
intvolume: ' 12'
issue: '6'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1208.1465
month: '06'
oa: 1
page: 3074 - 3079
publication: Nano Letters
publication_status: published
publisher: American Chemical Society
publist_id: '5368'
quality_controlled: 0
status: public
title: Multifunctional devices and logic gates with undoped silicon nanowires
type: journal_article
volume: 12
year: '2012'
...
---
_id: '1783'
abstract:
- lang: eng
text: Nonlinearity and entanglement are two important properties by which physical
systems can be identified as nonclassical. We study the dynamics of the resonant
interaction of up to N=3 two-level systems and a single mode of the electromagnetic
field sharing a single excitation dynamically. We observe coherent vacuum Rabi
oscillations and their nonlinear √N speedup by tracking the populations of all
qubits and the resonator in time. We use quantum state tomography to show explicitly
that the dynamics generates maximally entangled states of the W class in a time
limited only by the collective interaction rate. We use an entanglement witness
and the 3-tangle to characterize the state whose fidelity F=78% is limited in
our experiments by crosstalk arising during the simultaneous qubit manipulations
which is absent in a sequential approach with F=91%.
acknowledgement: This work was supported by the Swiss National Science Foundation
(SNF) and the EU IP SOLID
author:
- first_name: Jonas
full_name: Mlynek, Jonas A
last_name: Mlynek
- first_name: Abdufarrukh
full_name: Abdumalikov, Abdufarrukh A
last_name: Abdumalikov
- first_name: Johannes M
full_name: Johannes Fink
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: L.
full_name: Steffen, L. Kraig
last_name: Steffen
- first_name: Matthias
full_name: Baur, Matthias P
last_name: Baur
- first_name: C
full_name: Lang, C
last_name: Lang
- first_name: Arjan
full_name: Van Loo, Arjan F
last_name: Van Loo
- first_name: Andreas
full_name: Wallraff, Andreas
last_name: Wallraff
citation:
ama: Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement
of Dicke states in resonant cavity quantum electrodynamics. Physical Review
A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838
apa: Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C.,
… Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant
cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and
Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.86.053838
chicago: Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias
Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement
of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review
A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012.
https://doi.org/10.1103/PhysRevA.86.053838.
ieee: J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states
in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular,
and Optical Physics, vol. 86, no. 5. American Physical Society, 2012.
ista: Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff
A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity
quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics.
86(5).
mla: Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in
Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular,
and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838.
short: J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van
Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86
(2012).
date_created: 2018-12-11T11:53:59Z
date_published: 2012-11-30T00:00:00Z
date_updated: 2021-01-12T06:53:10Z
day: '30'
doi: 10.1103/PhysRevA.86.053838
extern: 1
intvolume: ' 86'
issue: '5'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1202.5191
month: '11'
oa: 1
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_status: published
publisher: American Physical Society
publist_id: '5332'
quality_controlled: 0
status: public
title: Demonstrating W-type entanglement of Dicke states in resonant cavity quantum
electrodynamics
type: journal_article
volume: 86
year: '2012'
...