---
_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
arxiv: 1
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
arxiv: 1
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
arxiv: 1
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: '10903'
abstract:
- lang: eng
text: We propose a logic-based framework for automated reasoning about sequential
programs manipulating singly-linked lists and arrays with unbounded data. We introduce
the logic SLAD, which allows combining shape constraints, written in a fragment
of Separation Logic, with data and size constraints. We address the problem of
checking the entailment between SLAD formulas, which is crucial in performing
pre-post condition reasoning. Although this problem is undecidable in general
for SLAD, we propose a sound and powerful procedure that is able to solve this
problem for a large class of formulas, beyond the capabilities of existing techniques
and tools. We prove that this procedure is complete, i.e., it is actually a decision
procedure for this problem, for an important fragment of SLAD including known
decidable logics. We implemented this procedure and shown its preciseness and
its efficiency on a significant benchmark of formulas.
acknowledgement: This work has been partially supported by the French ANR project
Veridyc
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ahmed
full_name: Bouajjani, Ahmed
last_name: Bouajjani
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- first_name: Constantin
full_name: Enea, Constantin
last_name: Enea
- first_name: Mihaela
full_name: Sighireanu, Mihaela
last_name: Sighireanu
citation:
ama: 'Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for
programs manipulating lists and arrays with infinite data. In: Automated Technology
for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer;
2012:167-182. doi:10.1007/978-3-642-33386-6_14'
apa: 'Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate
invariant checking for programs manipulating lists and arrays with infinite data.
In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182).
Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14'
chicago: 'Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu.
“Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite
Data.” In Automated Technology for Verification and Analysis, 7561:167–82.
LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_14.'
ieee: A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking
for programs manipulating lists and arrays with infinite data,” in Automated
Technology for Verification and Analysis, Thiruvananthapuram, India, 2012,
vol. 7561, pp. 167–182.
ista: 'Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking
for programs manipulating lists and arrays with infinite data. Automated Technology
for Verification and Analysis. ATVA: Automated Technology for Verification and
AnalysisLNCS, LNCS, vol. 7561, 167–182.'
mla: Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating
Lists and Arrays with Infinite Data.” Automated Technology for Verification
and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
short: A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology
for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
conference:
end_date: 2012-10-06
location: Thiruvananthapuram, India
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2012-10-03
date_created: 2022-03-21T07:58:39Z
date_published: 2012-10-15T00:00:00Z
date_updated: 2023-09-05T14:07:24Z
day: '15'
department:
- _id: ToHe
doi: 10.1007/978-3-642-33386-6_14
intvolume: ' 7561'
language:
- iso: eng
month: '10'
oa_version: None
page: 167-182
place: Berlin, Heidelberg
publication: Automated Technology for Verification and Analysis
publication_identifier:
eisbn:
- '9783642333866'
eissn:
- 1611-3349
isbn:
- '9783642333859'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: Accurate invariant checking for programs manipulating lists and arrays with
infinite data
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7561
year: '2012'
...
---
_id: '10904'
abstract:
- lang: eng
text: Multi-dimensional mean-payoff and energy games provide the mathematical foundation
for the quantitative study of reactive systems, and play a central role in the
emerging quantitative theory of verification and synthesis. In this work, we study
the strategy synthesis problem for games with such multi-dimensional objectives
along with a parity condition, a canonical way to express ω-regular conditions.
While in general, the winning strategies in such games may require infinite memory,
for synthesis the most relevant problem is the construction of a finite-memory
winning strategy (if one exists). Our main contributions are as follows. First,
we show a tight exponential bound (matching upper and lower bounds) on the memory
required for finite-memory winning strategies in both multi-dimensional mean-payoff
and energy games along with parity objectives. This significantly improves the
triple exponential upper bound for multi energy games (without parity) that could
be derived from results in literature for games on VASS (vector addition systems
with states). Second, we present an optimal symbolic and incremental algorithm
to compute a finite-memory winning strategy (if one exists) in such games. Finally,
we give a complete characterization of when finite memory of strategies can be
traded off for randomness. In particular, we show that for one-dimension mean-payoff
parity games, randomized memoryless strategies are as powerful as their pure finite-memory
counterparts.
acknowledgement: 'Author supported by Austrian Science Fund (FWF) Grant No P 23499-N23,
FWF NFN Grant No S11407 (RiSE), ERC Start Grant (279307: Graph Games), Microsoft
faculty fellowship.'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Mickael
full_name: Randour, Mickael
last_name: Randour
- first_name: Jean-François
full_name: Raskin, Jean-François
last_name: Raskin
citation:
ama: 'Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional
quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency
Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10'
apa: 'Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy synthesis
for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski
(Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin,
Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32940-1_10'
chicago: 'Chatterjee, Krishnendu, Mickael Randour, and Jean-François Raskin. “Strategy
Synthesis for Multi-Dimensional Quantitative Objectives.” In CONCUR 2012 -
Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, 7454:115–31.
Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-32940-1_10.'
ieee: K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional
quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle
upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.
ista: 'Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional
quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference
on Concurrency Theory, LNCS, vol. 7454, 115–131.'
mla: Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative
Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny
and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, doi:10.1007/978-3-642-32940-1_10.
short: K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.),
CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
conference:
end_date: 2012-09-07
location: Newcastle upon Tyne, United Kingdom
name: 'CONCUR: Conference on Concurrency Theory'
start_date: 2012-09-04
date_created: 2022-03-21T08:00:21Z
date_published: 2012-09-15T00:00:00Z
date_updated: 2023-02-23T10:55:06Z
day: '15'
department:
- _id: KrCh
doi: 10.1007/978-3-642-32940-1_10
ec_funded: 1
editor:
- first_name: Maciej
full_name: Koutny, Maciej
last_name: Koutny
- first_name: Irek
full_name: Ulidowski, Irek
last_name: Ulidowski
external_id:
arxiv:
- '1201.5073'
intvolume: ' 7454'
language:
- iso: eng
month: '09'
oa_version: Preprint
page: 115-131
place: Berlin, Heidelberg
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: CONCUR 2012 - Concurrency Theory
publication_identifier:
eisbn:
- '9783642329401'
isbn:
- '9783642329395'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer
quality_controlled: '1'
related_material:
record:
- id: '2716'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Strategy synthesis for multi-dimensional quantitative objectives
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7454
year: '2012'
...
---
_id: '10905'
abstract:
- lang: eng
text: "Energy games belong to a class of turn-based two-player infinite-duration
games played on a weighted directed graph. It is one of the rare and intriguing
combinatorial problems that lie in NP ∩ co−NP, but are not known to be in P. While
the existence of polynomial-time algorithms has been a major open problem for
decades, there is no algorithm that solves any non-trivial subclass in polynomial
time.\r\nIn this paper, we give several results based on the weight structures
of the graph. First, we identify a notion of penalty and present a polynomial-time
algorithm when the penalty is large. Our algorithm is the first polynomial-time
algorithm on a large class of weighted graphs. It includes several counter examples
that show that many previous algorithms, such as value iteration and random facet
algorithms, require at least sub-exponential time. Our main technique is developing
the first non-trivial approximation algorithm and showing how to convert it to
an exact algorithm. Moreover, we show that in a practical case in verification
where weights are clustered around a constant number of values, the energy game
problem can be solved in polynomial time. We also show that the problem is still
as hard as in general when the clique-width is bounded or the graph is strongly
ergodic, suggesting that restricting graph structures need not help."
acknowledgement: 'Supported by the Austrian Science Fund (FWF): P23499-N23, the Austrian
Science Fund (FWF): S11407-N23 (RiSE), an ERC Start Grant (279307: Graph Games),
and a Microsoft Faculty Fellows Award'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Sebastian
full_name: Krinninger, Sebastian
last_name: Krinninger
- first_name: Danupon
full_name: Nanongkai, Danupon
last_name: Nanongkai
citation:
ama: 'Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms
for energy games with special weight structures. In: Algorithms – ESA 2012.
Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27'
apa: 'Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2012).
Polynomial-time algorithms for energy games with special weight structures. In
Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer.
https://doi.org/10.1007/978-3-642-33090-2_27'
chicago: Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon
Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”
In Algorithms – ESA 2012, 7501:301–12. Springer, 2012. https://doi.org/10.1007/978-3-642-33090-2_27.
ieee: K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time
algorithms for energy games with special weight structures,” in Algorithms
– ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
ista: 'Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time
algorithms for energy games with special weight structures. Algorithms – ESA 2012.
ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.'
mla: Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games
with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer,
2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
short: K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms
– ESA 2012, Springer, 2012, pp. 301–312.
conference:
end_date: 2012-09-12
location: Ljubljana, Slovenia
name: 'ESA: European Symposium on Algorithms'
start_date: 2012-09-10
date_created: 2022-03-21T08:01:45Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2023-09-05T14:09:30Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-33090-2_27
ec_funded: 1
external_id:
arxiv:
- '1604.08234'
intvolume: ' 7501'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.08234
month: '10'
oa: 1
oa_version: Preprint
page: 301-312
project:
- _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: Algorithms – ESA 2012
publication_identifier:
eisbn:
- '9783642330902'
eissn:
- 1611-3349
isbn:
- '9783642330896'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
related_material:
record:
- id: '535'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Polynomial-time algorithms for energy games with special weight structures
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7501
year: '2012'
...
---
_id: '10906'
abstract:
- lang: eng
text: HSF(C) is a tool that automates verification of safety and liveness properties
for C programs. This paper describes the verification approach taken by HSF(C)
and provides instructions on how to install and use the tool.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sergey
full_name: Grebenshchikov, Sergey
last_name: Grebenshchikov
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Nuno P.
full_name: Lopes, Nuno P.
last_name: Lopes
- first_name: Corneliu
full_name: Popeea, Corneliu
last_name: Popeea
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
citation:
ama: 'Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software
verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms
for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg:
Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46'
apa: 'Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko,
A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan &
B. König (Eds.), Tools and Algorithms for the Construction and Analysis of
Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46'
chicago: 'Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea,
and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In
Tools and Algorithms for the Construction and Analysis of Systems, edited
by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer,
2012. https://doi.org/10.1007/978-3-642-28756-5_46.'
ieee: 'S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko,
“HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms
for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol.
7214, pp. 549–551.'
ista: 'Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C):
A software verifier based on Horn clauses. Tools and Algorithms for the Construction
and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and
Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.'
mla: 'Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn
Clauses.” Tools and Algorithms for the Construction and Analysis of Systems,
edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51,
doi:10.1007/978-3-642-28756-5_46.'
short: S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:,
C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis
of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
conference:
end_date: 2012-04-01
location: Tallinn, Estonia
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2012-03-24
date_created: 2022-03-21T08:03:30Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2023-09-05T14:09:54Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-28756-5_46
editor:
- first_name: Cormac
full_name: Flanagan, Cormac
last_name: Flanagan
- first_name: Barbara
full_name: König, Barbara
last_name: König
intvolume: ' 7214'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-642-28756-5_46
month: '04'
oa: 1
oa_version: Published Version
page: 549-551
place: Berlin, Heidelberg
publication: Tools and Algorithms for the Construction and Analysis of Systems
publication_identifier:
eisbn:
- '9783642287565'
eissn:
- 1611-3349
isbn:
- '9783642287558'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: 'HSF(C): A software verifier based on Horn clauses'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7214
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: '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: '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: '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: '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: '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
arxiv: 1
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
arxiv: 1
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'
...