---
_id: '2323'
abstract:
- lang: eng
text: Since the first experimental realization of Bose-Einstein condensation in
cold atomic gases in 1995 there has been a surge of activity in this field. Ingenious
experiments have allowed us to probe matter close to zero temperature and reveal
some of the fascinating effects quantum mechanics has bestowed on nature. It is
a challenge for mathematical physicists to understand these various phenomena
from first principles, that is, starting from the underlying many-body Schrödinger
equation. Recent progress in this direction concerns mainly equilibrium properties
of dilute, cold quantum gases. We shall explain some of the results in this article,
and describe the mathematics involved in understanding these phenomena. Topics
include the ground state energy and the free energy at positive temperature, the
effect of interparticle interaction on the critical temperature for Bose-Einstein
condensation, as well as the occurrence of superfluidity and quantized vortices
in rapidly rotating gases.
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Seiringer R. Hot topics on cold gases. In: World Scientific Publishing; 2010:231-245.
doi:10.1142/9789814304634_0013'
apa: 'Seiringer, R. (2010). Hot topics on cold gases (pp. 231–245). Presented at
the ICMP: International Congress on Mathematical Physics, World Scientific Publishing.
https://doi.org/10.1142/9789814304634_0013'
chicago: Seiringer, Robert. “Hot Topics on Cold Gases,” 231–45. World Scientific
Publishing, 2010. https://doi.org/10.1142/9789814304634_0013.
ieee: 'R. Seiringer, “Hot topics on cold gases,” presented at the ICMP: International
Congress on Mathematical Physics, 2010, pp. 231–245.'
ista: 'Seiringer R. 2010. Hot topics on cold gases. ICMP: International Congress
on Mathematical Physics, 231–245.'
mla: Seiringer, Robert. Hot Topics on Cold Gases. World Scientific Publishing,
2010, pp. 231–45, doi:10.1142/9789814304634_0013.
short: R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.
conference:
name: 'ICMP: International Congress on Mathematical Physics'
date_created: 2018-12-11T11:56:59Z
date_published: 2010-03-31T00:00:00Z
date_updated: 2021-01-12T06:56:46Z
day: '31'
doi: 10.1142/9789814304634_0013
extern: 1
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0908.3686
month: '03'
oa: 1
page: 231 - 245
publication_status: published
publisher: World Scientific Publishing
publist_id: '4604'
quality_controlled: 0
status: public
title: Hot topics on cold gases
type: conference
year: '2010'
...
---
_id: '2324'
abstract:
- lang: eng
text: We determine the sharp constant in the Hardy inequality for fractional Sobolev
spaces on half-spaces. Our proof relies on a nonlinear and nonlocal version of
the ground state representation.
alternative_title:
- International Mathematical Series
author:
- first_name: Rupert
full_name: Frank, Rupert L
last_name: Frank
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Frank R, Seiringer R. Sharp fractional Hardy inequalities in half-spaces.
In: Around the Research of Vladimir Maz’ya I. Vol 11. Springer; 2010:161-167.
doi:10.1007/978-1-4419-1341-8_6'
apa: Frank, R., & Seiringer, R. (2010). Sharp fractional Hardy inequalities
in half-spaces. In Around the Research of Vladimir Maz’ya I (Vol. 11, pp.
161–167). Springer. https://doi.org/10.1007/978-1-4419-1341-8_6
chicago: Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities
in Half-Spaces.” In Around the Research of Vladimir Maz’ya I, 11:161–67.
Springer, 2010. https://doi.org/10.1007/978-1-4419-1341-8_6.
ieee: R. Frank and R. Seiringer, “Sharp fractional Hardy inequalities in half-spaces,”
in Around the Research of Vladimir Maz’ya I, vol. 11, Springer, 2010, pp.
161–167.
ista: 'Frank R, Seiringer R. 2010.Sharp fractional Hardy inequalities in half-spaces.
In: Around the Research of Vladimir Maz’ya I. International Mathematical Series,
vol. 11, 161–167.'
mla: Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in
Half-Spaces.” Around the Research of Vladimir Maz’ya I, vol. 11, Springer,
2010, pp. 161–67, doi:10.1007/978-1-4419-1341-8_6.
short: R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer,
2010, pp. 161–167.
date_created: 2018-12-11T11:56:59Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:46Z
day: '01'
doi: 10.1007/978-1-4419-1341-8_6
extern: 1
intvolume: ' 11'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0906.1561
month: '01'
oa: 1
page: 161 - 167
publication: Around the Research of Vladimir Maz'ya I
publication_status: published
publisher: Springer
publist_id: '4603'
quality_controlled: 0
status: public
title: Sharp fractional Hardy inequalities in half-spaces
type: book_chapter
volume: 11
year: '2010'
...
---
_id: '2389'
abstract:
- lang: eng
text: We study the eigenvalues of Schrödinger type operators T + λV and their asymptotic
behavior in the small coupling limit λ → 0, in the case where the symbol of the
kinetic energy, T (p), strongly degenerates on a non-trivial manifold of codimension
one.
author:
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type
operators with degenerate kinetic energy. Mathematische Nachrichten. 2010;283(3):489-499.
doi:10.1002/mana.200810195
apa: Hainzl, C., & Seiringer, R. (2010). Asymptotic behavior of eigenvalues
of Schrödinger type operators with degenerate kinetic energy. Mathematische
Nachrichten. Wiley-Blackwell. https://doi.org/10.1002/mana.200810195
chicago: Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues
of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische
Nachrichten. Wiley-Blackwell, 2010. https://doi.org/10.1002/mana.200810195.
ieee: C. Hainzl and R. Seiringer, “Asymptotic behavior of eigenvalues of Schrödinger
type operators with degenerate kinetic energy,” Mathematische Nachrichten,
vol. 283, no. 3. Wiley-Blackwell, pp. 489–499, 2010.
ista: Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger
type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3),
489–499.
mla: Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues
of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische
Nachrichten, vol. 283, no. 3, Wiley-Blackwell, 2010, pp. 489–99, doi:10.1002/mana.200810195.
short: C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
date_created: 2018-12-11T11:57:23Z
date_published: 2010-03-01T00:00:00Z
date_updated: 2021-01-12T06:57:11Z
day: '01'
doi: 10.1002/mana.200810195
extern: 1
intvolume: ' 283'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0808.3737
month: '03'
oa: 1
page: 489 - 499
publication: Mathematische Nachrichten
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4537'
quality_controlled: 0
status: public
title: Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate
kinetic energy
type: journal_article
volume: 283
year: '2010'
...
---
_id: '2392'
abstract:
- lang: eng
text: The binding of polarons, or its absence, is an old and subtle topic. Here
we prove two things rigorously. First, the transition from many-body collapse
to the existence of a thermodynamic limit for N polarons occurs precisely at U=2α,
where U is the electronic Coulomb repulsion and α is the polaron coupling constant.
Second, if U is large enough, there is no multipolaron binding of any kind. Considering
the known fact that there is binding for some U>2α, these conclusions are not
obvious and their proof has been an open problem for some time.
author:
- first_name: Rupert
full_name: Frank, Rupert L
last_name: Frank
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Lawrence
full_name: Thomas, Lawrence E
last_name: Thomas
citation:
ama: Frank R, Lieb É, Seiringer R, Thomas L. Bipolaron and N-polaron binding energies.
Physical Review Letters. 2010;104(21). doi:10.1103/PhysRevLett.104.210402
apa: Frank, R., Lieb, É., Seiringer, R., & Thomas, L. (2010). Bipolaron and
N-polaron binding energies. Physical Review Letters. American Physical
Society. https://doi.org/10.1103/PhysRevLett.104.210402
chicago: Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Bipolaron
and N-Polaron Binding Energies.” Physical Review Letters. American Physical
Society, 2010. https://doi.org/10.1103/PhysRevLett.104.210402.
ieee: R. Frank, É. Lieb, R. Seiringer, and L. Thomas, “Bipolaron and N-polaron binding
energies,” Physical Review Letters, vol. 104, no. 21. American Physical
Society, 2010.
ista: Frank R, Lieb É, Seiringer R, Thomas L. 2010. Bipolaron and N-polaron binding
energies. Physical Review Letters. 104(21).
mla: Frank, Rupert, et al. “Bipolaron and N-Polaron Binding Energies.” Physical
Review Letters, vol. 104, no. 21, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.210402.
short: R. Frank, É. Lieb, R. Seiringer, L. Thomas, Physical Review Letters 104 (2010).
date_created: 2018-12-11T11:57:24Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:12Z
day: '01'
doi: 10.1103/PhysRevLett.104.210402
extern: 1
intvolume: ' 104'
issue: '21'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1004.1196
month: '01'
oa: 1
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4536'
quality_controlled: 0
status: public
title: Bipolaron and N-polaron binding energies
type: journal_article
volume: 104
year: '2010'
...
---
_id: '2409'
abstract:
- lang: eng
text: "Background: The availability of many gene alignments with overlapping taxon
sets raises the question of which strategy is the best to infer species phylogenies
from multiple gene information. Methods and programs abound that use the gene
alignment in different ways to reconstruct the species tree. In particular, different
methods combine the original data at different points along the way from the underlying
sequences to the final tree. Accordingly, they are classified into superalignment,
supertree and medium-level approaches. Here, we present a simulation study to
compare different methods from each of these three approaches.\r\n\r\nResults:
We observe that superalignment methods usually outperform the other approaches
over a wide range of parameters including sparse data and gene-specific evolutionary
parameters. In the presence of high incongruency among gene trees, however, other
combination methods show better performance than the superalignment approach.
Surprisingly, some supertree and medium-level methods exhibit, on average, worse
results than a single gene phylogeny with complete taxon information.\r\n\r\nConclusions:
For some methods, using the reconstructed gene tree as an estimation of the species
tree is superior to the combination of incomplete information. Superalignment
usually performs best since it is less susceptible to stochastic error. Supertree
methods can outperform superalignment in the presence of gene-tree conflict."
acknowledgement: Financial support from the Wiener Wissenschafts-, Forschungs- and
Technologiefonds (WWTF) is greatly appreciated. A.v.H. acknowledges support from
the German Research Foundation (DFG, SPP-1174).
article_number: '37'
author:
- first_name: Anne
full_name: Kupczok, Anne
id: 2BB22BC2-F248-11E8-B48F-1D18A9856A87
last_name: Kupczok
- first_name: Heiko
full_name: Schmidt, Heiko
last_name: Schmidt
- first_name: Arndt
full_name: Von Haeseler, Arndt
last_name: Von Haeseler
citation:
ama: Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction
methods combining overlapping gene data sets . Algorithms for Molecular Biology.
2010;5(1). doi:10.1186/1748-7188-5-37
apa: Kupczok, A., Schmidt, H., & Von Haeseler, A. (2010). Accuracy of phylogeny
reconstruction methods combining overlapping gene data sets . Algorithms for
Molecular Biology. BioMed Central. https://doi.org/10.1186/1748-7188-5-37
chicago: Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny
Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for
Molecular Biology. BioMed Central, 2010. https://doi.org/10.1186/1748-7188-5-37.
ieee: A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction
methods combining overlapping gene data sets ,” Algorithms for Molecular Biology,
vol. 5, no. 1. BioMed Central, 2010.
ista: Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction
methods combining overlapping gene data sets . Algorithms for Molecular Biology.
5(1), 37.
mla: Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining
Overlapping Gene Data Sets .” Algorithms for Molecular Biology, vol. 5,
no. 1, 37, BioMed Central, 2010, doi:10.1186/1748-7188-5-37.
short: A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology
5 (2010).
date_created: 2018-12-11T11:57:30Z
date_published: 2010-12-06T00:00:00Z
date_updated: 2021-01-12T06:57:18Z
day: '06'
ddc:
- '576'
department:
- _id: JoBo
doi: 10.1186/1748-7188-5-37
file:
- access_level: open_access
checksum: e2497285388bc4da629bafb46662eb43
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:16Z
date_updated: 2020-07-14T12:45:40Z
file_id: '4739'
file_name: IST-2018-939-v1+1_2010_Kupczok_Accuracy_of.pdf
file_size: 723929
relation: main_file
file_date_updated: 2020-07-14T12:45:40Z
has_accepted_license: '1'
intvolume: ' 5'
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '12'
oa: 1
oa_version: Published Version
publication: Algorithms for Molecular Biology
publication_status: published
publisher: BioMed Central
publist_id: '4517'
pubrep_id: '939'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Accuracy of phylogeny reconstruction methods combining overlapping gene data
sets '
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2010'
...
---
_id: '7078'
abstract:
- lang: eng
text: We report resonant ultrasound spectroscopy (RUS), dilatometry/magnetostriction,
magnetotransport, magnetization, specific-heat, and 119Sn Mössbauer spectroscopy
measurements on SnTe and Sn0.995Cr0.005Te. Hall measurements at T=77 K indicate
that our Bridgman-grown single crystals have a p-type carrier concentration of
3.4×1019 cm−3 and that our Cr-doped crystals have an n-type concentration of 5.8×1022 cm−3.
Although our SnTe crystals are diamagnetic over the temperature range 2≤T≤1100 K,
the Cr-doped crystals are room-temperature ferromagnets with a Curie temperature
of 294 K. For each sample type, three-terminal capacitive dilatometry measurements
detect a subtle 0.5 μm distortion at Tc≈85 K. Whereas our RUS measurements on
SnTe show elastic hardening near the structural transition, pointing to co-elastic
behavior, similar measurements on Sn0.995Cr0.005Te show a pronounced softening,
pointing to ferroelastic behavior. Effective Debye temperature, θD, values of
SnTe obtained from 119Sn Mössbauer studies show a hardening of phonons in the
range 60–115 K (θD=162 K) as compared with the 100–300 K range (θD=150 K). In
addition, a precursor softening extending over approximately 100 K anticipates
this collapse at the critical temperature and quantitative analysis over three
decades of its reduced modulus finds ΔC44/C44=A|(T−T0)/T0|−κ with κ=0.50±0.02,
a value indicating a three-dimensional softening of phonon branches at a temperature
T0∼75 K, considerably below Tc. We suggest that the differences in these two types
of elastic behaviors lie in the absence of elastic domain-wall motion in the one
case and their nucleation in the other.
article_number: '184112'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: E. K. H.
full_name: Salje, E. K. H.
last_name: Salje
- first_name: D. J.
full_name: Safarik, D. J.
last_name: Safarik
- first_name: Kimberly A
full_name: Modic, Kimberly A
id: 13C26AC0-EB69-11E9-87C6-5F3BE6697425
last_name: Modic
orcid: 0000-0001-9760-3147
- first_name: J. E.
full_name: Gubernatis, J. E.
last_name: Gubernatis
- first_name: J. C.
full_name: Cooley, J. C.
last_name: Cooley
- first_name: R. D.
full_name: Taylor, R. D.
last_name: Taylor
- first_name: B.
full_name: Mihaila, B.
last_name: Mihaila
- first_name: A.
full_name: Saxena, A.
last_name: Saxena
- first_name: T.
full_name: Lookman, T.
last_name: Lookman
- first_name: J. L.
full_name: Smith, J. L.
last_name: Smith
- first_name: R. A.
full_name: Fisher, R. A.
last_name: Fisher
- first_name: M.
full_name: Pasternak, M.
last_name: Pasternak
- first_name: C. P.
full_name: Opeil, C. P.
last_name: Opeil
- first_name: T.
full_name: Siegrist, T.
last_name: Siegrist
- first_name: P. B.
full_name: Littlewood, P. B.
last_name: Littlewood
- first_name: J. C.
full_name: Lashley, J. C.
last_name: Lashley
citation:
ama: 'Salje EKH, Safarik DJ, Modic KA, et al. Tin telluride: A weakly co-elastic
metal. Physical Review B. 2010;82(18). doi:10.1103/physrevb.82.184112'
apa: 'Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley,
J. C., Taylor, R. D., … Lashley, J. C. (2010). Tin telluride: A weakly co-elastic
metal. Physical Review B. APS. https://doi.org/10.1103/physrevb.82.184112'
chicago: 'Salje, E. K. H., D. J. Safarik, Kimberly A Modic, J. E. Gubernatis, J.
C. Cooley, R. D. Taylor, B. Mihaila, et al. “Tin Telluride: A Weakly Co-Elastic
Metal.” Physical Review B. APS, 2010. https://doi.org/10.1103/physrevb.82.184112.'
ieee: 'E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,”
Physical Review B, vol. 82, no. 18. APS, 2010.'
ista: 'Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila
B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T,
Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical
Review B. 82(18), 184112.'
mla: 'Salje, E. K. H., et al. “Tin Telluride: A Weakly Co-Elastic Metal.” Physical
Review B, vol. 82, no. 18, 184112, APS, 2010, doi:10.1103/physrevb.82.184112.'
short: E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D.
Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak,
C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
date_created: 2019-11-19T13:46:28Z
date_published: 2010-11-18T00:00:00Z
date_updated: 2021-01-12T08:11:44Z
day: '18'
doi: 10.1103/physrevb.82.184112
extern: '1'
external_id:
arxiv:
- '1011.1445'
intvolume: ' 82'
issue: '18'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1011.1445
month: '11'
oa: 1
oa_version: Preprint
publication: Physical Review B
publication_identifier:
issn:
- 1098-0121
- 1550-235X
publication_status: published
publisher: APS
quality_controlled: '1'
status: public
title: 'Tin telluride: A weakly co-elastic metal'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 82
year: '2010'
...
---
_id: '488'
abstract:
- lang: eng
text: 'Streaming string transducers [1] define (partial) functions from input strings
to output strings. A streaming string transducer makes a single pass through the
input string and uses a finite set of variables that range over strings from the
output alphabet. At every step, the transducer processes an input symbol, and
updates all the variables in parallel using assignments whose right-hand-sides
are concatenations of output symbols and variables with the restriction that a
variable can be used at most once in a right-hand-side expression. It has been
shown that streaming string transducers operating on strings over infinite data
domains are of interest in algorithmic verification of list-processing programs,
as they lead to PSPACE decision procedures for checking pre/post conditions and
for checking semantic equivalence, for a well-defined class of heap-manipulating
programs. In order to understand the theoretical expressiveness of streaming transducers,
we focus on streaming transducers processing strings over finite alphabets, given
the existence of a robust and well-studied class of "regular" transductions
for this case. Such regular transductions can be defined either by two-way deterministic
finite-state transducers, or using a logical MSO-based characterization. Our main
result is that the expressiveness of streaming string transducers coincides exactly
with this class of regular transductions. '
alternative_title:
- LIPIcs
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
citation:
ama: 'Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1'
apa: 'Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers
(Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology
and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1'
chicago: Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,”
8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
ieee: 'R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented
at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science,
Chennai, India, 2010, vol. 8, pp. 1–12.'
ista: 'Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS:
Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol.
8, 1–12.'
mla: Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers.
Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
short: R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2010, pp. 1–12.
conference:
end_date: 2010-12-18
location: Chennai, India
name: 'FSTTCS: Foundations of Software Technology and Theoretical Computer Science'
start_date: 2010-12-15
date_created: 2018-12-11T11:46:45Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2021-01-12T08:01:00Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.FSTTCS.2010.1
file:
- access_level: open_access
checksum: 5845be5aa19791830f7407d8853f2df0
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:29Z
date_updated: 2020-07-14T12:46:35Z
file_id: '4690'
file_name: IST-2018-948-v1+1_2011_Cerny_Expressiveness_of.pdf
file_size: 492344
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 8'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '01'
oa: 1
oa_version: Published Version
page: 1 - 12
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7331'
pubrep_id: '948'
quality_controlled: '1'
scopus_import: 1
status: public
title: Expressiveness of streaming string transducers
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2010'
...
---
_id: '489'
abstract:
- lang: eng
text: 'Graph games of infinite length are a natural model for open reactive processes:
one player represents the controller, trying to ensure a given specification,
and the other represents a hostile environment. The evolution of the system depends
on the decisions of both players, supplemented by chance. In this work, we focus
on the notion of randomised strategy. More specifically, we show that three natural
definitions may lead to very different results: in the most general cases, an
almost-surely winning situation may become almost-surely losing if the player
is only allowed to use a weaker notion of strategy. In more reasonable settings,
translations exist, but they require infinite memory, even in simple cases. Finally,
some traditional problems becomes undecidable for the strongest type of strategies.'
alternative_title:
- EPTCS
author:
- first_name: Julien
full_name: Cristau, Julien
last_name: Cristau
- first_name: Claire
full_name: David, Claire
last_name: David
- first_name: Florian
full_name: Horn, Florian
id: 37327ACE-F248-11E8-B48F-1D18A9856A87
last_name: Horn
citation:
ama: 'Cristau J, David C, Horn F. How do we remember the past in randomised strategies?
. In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association;
2010:30-39. doi:10.4204/EPTCS.25.7'
apa: 'Cristau, J., David, C., & Horn, F. (2010). How do we remember the past
in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp.
30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7'
chicago: Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the
Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39.
Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
ieee: J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised
strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy,
2010, vol. 25, pp. 30–39.
ista: 'Cristau J, David C, Horn F. 2010. How do we remember the past in randomised
strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and
Formal Verification, EPTCS, vol. 25, 30–39.'
mla: Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies?
.” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010,
pp. 30–39, doi:10.4204/EPTCS.25.7.
short: J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing
Association, 2010, pp. 30–39.
conference:
end_date: 2010-06-18
location: Minori, Amalfi Coast, Italy
name: 'GandALF: Games, Automata, Logic, and Formal Verification'
start_date: 2010-06-17
date_created: 2018-12-11T11:46:45Z
date_published: 2010-06-09T00:00:00Z
date_updated: 2021-01-12T08:01:01Z
day: '09'
department:
- _id: KrCh
doi: 10.4204/EPTCS.25.7
intvolume: ' 25'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1006.1404v1
month: '06'
oa: 1
oa_version: Published Version
page: 30 - 39
publication: Proceedings of GandALF 2010
publication_status: published
publisher: Open Publishing Association
publist_id: '7332'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'How do we remember the past in randomised strategies? '
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2010'
...
---
_id: '5388'
abstract:
- lang: eng
text: "We present an algorithmic method for the synthesis of concurrent programs
that are optimal with respect to quantitative performance measures. The input
consists of a sequential sketch, that is, a program that does not contain synchronization
constructs, and of a parametric performance model that assigns costs to actions
such as locking, context switching, and idling. The quantitative synthesis problem
is to automatically introduce synchronization constructs into the sequential sketch
so that both correctness is guaranteed and worst-case (or average-case) performance
is optimized. Correctness is formalized as race freedom or linearizability.\r\n\r\nWe
show that for worst-case performance, the problem can be modeled\r\nas a 2-player
graph game with quantitative (limit-average) objectives, and\r\nfor average-case
performance, as a 2 1/2 -player graph game (with probabilistic transitions). In
both cases, the optimal correct program is derived from an optimal strategy in
the corresponding quantitative game. We prove that the respective game problems
are computationally expensive (NP-complete), and present several techniques that
overcome the theoretical difficulty in cases of concurrent programs of practical
interest.\r\n\r\nWe have implemented a prototype tool and used it for the automatic
syn- thesis of programs that access a concurrent list. For certain parameter val-
ues, our method automatically synthesizes various classical synchronization schemes
for implementing a concurrent list, such as fine-grained locking or a lazy algorithm.
For other parameter values, a new, hybrid synchronization style is synthesized,
which uses both the lazy approach and coarse-grained locks (instead of standard
fine-grained locks). The trade-off occurs because while fine-grained locking tends
to decrease the cost that is due to waiting for locks, it increases cache size
requirements."
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: 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: Rohit
full_name: Singh, Rohit
last_name: Singh
citation:
ama: Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative
Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
apa: Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh,
R. (2010). Quantitative synthesis for concurrent programs. IST Austria.
https://doi.org/10.15479/AT:IST-2010-0004
chicago: Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna,
and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria,
2010. https://doi.org/10.15479/AT:IST-2010-0004.
ieee: K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative
synthesis for concurrent programs. IST Austria, 2010.
ista: Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative
synthesis for concurrent programs, IST Austria, 17p.
mla: Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs.
IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
short: K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative
Synthesis for Concurrent Programs, IST Austria, 2010.
date_created: 2018-12-12T11:39:03Z
date_published: 2010-10-07T00:00:00Z
date_updated: 2023-02-23T11:24:08Z
day: '07'
ddc:
- '000'
- '005'
department:
- _id: KrCh
- _id: ToHe
doi: 10.15479/AT:IST-2010-0004
file:
- access_level: open_access
checksum: da38782d2388a6fa32109d10bb9bad67
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:53Z
date_updated: 2020-07-14T12:46:42Z
file_id: '5515'
file_name: IST-2010-0004_IST-2010-0004.pdf
file_size: 429101
relation: main_file
file_date_updated: 2020-07-14T12:46:42Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: '17'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '24'
related_material:
record:
- id: '3366'
relation: later_version
status: public
status: public
title: Quantitative synthesis for concurrent programs
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2010'
...
---
_id: '5389'
abstract:
- lang: eng
text: Boolean notions of correctness are formalized by preorders on systems. Quantitative
measures of correctness can be formalized by real-valued distance functions between
systems, where the distance between implementation and specification provides
a measure of “fit” or “desirability.” We extend the simulation preorder to the
quantitative setting, by making each player of a simulation game pay a certain
price for her choices. We use the resulting games with quantitative objectives
to define three different simulation distances. The correctness distance measures
how much the specification must be changed in order to be satisfied by the implementation.
The coverage distance measures how much the im- plementation restricts the degrees
of freedom offered by the specification. The robustness distance measures how
much a system can deviate from the implementation description without violating
the specification. We consider these distances for safety as well as liveness
specifications. The distances can be computed in polynomial time for safety specifications,
and for liveness specifications given by weak fairness constraints. We show that
the distance functions satisfy the triangle inequality, that the distance between
two systems does not increase under parallel composition with a third system,
and that the distance between two systems can be bounded from above and below
by distances between abstractions of the two systems. These properties suggest
that our simulation distances provide an appropriate basis for a quantitative
theory of discrete systems. We also demonstrate how the robustness distance can
be used to measure how many transmission errors are tolerated by error correcting
codes.
alternative_title:
- IST Austria Technical Report
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
citation:
ama: Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria;
2010. doi:10.15479/AT:IST-2010-0003
apa: Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances.
IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
chicago: Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation
Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
ieee: P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances.
IST Austria, 2010.
ista: Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria,
24p.
mla: Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
short: P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria,
2010.
date_created: 2018-12-12T11:39:03Z
date_published: 2010-06-04T00:00:00Z
date_updated: 2023-02-23T12:09:16Z
day: '04'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2010-0003
file:
- access_level: open_access
checksum: 284ded99764e32a583a8ea83fcea254b
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:25Z
date_updated: 2020-07-14T12:46:42Z
file_id: '5547'
file_name: IST-2010-0003_IST-2010-0003.pdf
file_size: 367246
relation: main_file
file_date_updated: 2020-07-14T12:46:42Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '24'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '25'
related_material:
record:
- id: '3249'
relation: later_version
status: public
- id: '4393'
relation: later_version
status: public
status: public
title: Simulation distances
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2010'
...
---
_id: '5390'
abstract:
- lang: eng
text: The class of ω regular languages provide a robust specification language in
verification. Every ω-regular condition can be decomposed into a safety part and
a liveness part. The liveness part ensures that something good happens “eventually.”
Two main strengths of the classical, infinite-limit formulation of liveness are
robustness (independence from the granularity of transitions) and simplicity (abstraction
of complicated time bounds). However, the classical liveness formulation suffers
from the drawback that the time until something good happens may be unbounded.
A stronger formulation of liveness, so-called finitary liveness, overcomes this
drawback, while still retaining robustness and simplicity. Finitary liveness requires
that there exists an unknown, fixed bound b such that something good happens within
b transitions. In this work we consider the finitary parity and Streett (fairness)
conditions. We present the topological, automata-theoretic and logical characterization
of finitary languages defined by finitary parity and Streett conditions. We (a)
show that the finitary parity and Streett languages are Σ2-complete; (b) present
a complete characterization of the expressive power of various classes of automata
with finitary and infinitary conditions (in particular we show that non-deterministic
finitary parity and Streett automata cannot be determinized to deterministic finitary
parity or Streett automata); and (c) show that the languages defined by non-deterministic
finitary parity automata exactly characterize the star-free fragment of ωB-regular
languages.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Nathanaël
full_name: Fijalkow, Nathanaël
last_name: Fijalkow
citation:
ama: Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization
of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
apa: Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic
and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
chicago: Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic
and Logical Characterization of Finitary Languages. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0002.
ieee: K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical
characterization of finitary languages. IST Austria, 2010.
ista: Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical
characterization of finitary languages, IST Austria, 21p.
mla: Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic
and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
short: K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization
of Finitary Languages, IST Austria, 2010.
date_created: 2018-12-12T11:39:03Z
date_published: 2010-06-04T00:00:00Z
date_updated: 2020-07-14T23:04:41Z
day: '04'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2010-0002
file:
- access_level: open_access
checksum: 283d3604d76dd4d5161585d4c8625fbe
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:10Z
date_updated: 2020-07-14T12:46:43Z
file_id: '5532'
file_name: IST-2010-0002_IST-2010-0002.pdf
file_size: 395662
relation: main_file
file_date_updated: 2020-07-14T12:46:43Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '21'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '26'
status: public
title: Topological, automata-theoretic and logical characterization of finitary languages
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2010'
...
---
_id: '5391'
abstract:
- lang: eng
text: Concurrent data structures with fine-grained synchronization are notoriously
difficult to implement correctly. The difficulty of reasoning about these implementations
does not stem from the number of variables or the program size, but rather from
the large number of possible interleavings. These implementations are therefore
prime candidates for model checking. We introduce an algorithm for verifying linearizability
of singly-linked heap-based concurrent data structures. We consider a model consisting
of an unbounded heap where each node consists an element from an unbounded data
domain, with a restricted set of operations for testing and updating pointers
and data elements. Our main result is that linearizability is decidable for programs
that invoke a fixed number of methods, possibly in parallel. This decidable fragment
covers many of the common implementation techniques — fine-grained locking, lazy
synchronization, and lock-free synchronization. We also show how the technique
can be used to verify optimistic implementations with the help of programmer annotations.
We developed a verification tool CoLT and evaluated it on a representative sample
of Java implementations of the concurrent set data structure. The tool verified
linearizability of a number of implementations, found a known error in a lock-free
imple- mentation and proved that the corrected version is linearizable.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
- first_name: Swarat
full_name: Chaudhuri, Swarat
last_name: Chaudhuri
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
citation:
ama: Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking
of Linearizability of Concurrent List Implementations. IST Austria; 2010.
doi:10.15479/AT:IST-2010-0001
apa: Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010).
Model checking of linearizability of concurrent list implementations. IST
Austria. https://doi.org/10.15479/AT:IST-2010-0001
chicago: Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and
Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations.
IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0001.
ieee: P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model
checking of linearizability of concurrent list implementations. IST Austria,
2010.
ista: Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking
of linearizability of concurrent list implementations, IST Austria, 27p.
mla: Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List
Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
short: P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking
of Linearizability of Concurrent List Implementations, IST Austria, 2010.
date_created: 2018-12-12T11:39:04Z
date_published: 2010-04-19T00:00:00Z
date_updated: 2023-02-23T12:09:09Z
day: '19'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2010-0001
file:
- access_level: open_access
checksum: 986645caad7dd85a6a091488f6c646dc
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:44Z
date_updated: 2020-07-14T12:46:43Z
file_id: '5505'
file_name: IST-2010-0001_IST-2010-0001.pdf
file_size: 372286
relation: main_file
file_date_updated: 2020-07-14T12:46:43Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '27'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '27'
related_material:
record:
- id: '4390'
relation: later_version
status: public
status: public
title: Model checking of linearizability of concurrent list implementations
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2010'
...
---
_id: '598'
abstract:
- lang: eng
text: It is not well understood how the human Mediator complex, transcription factor
IIH and RNA polymerase II (Pol II) work together with activators to initiate transcription.
Activator binding alters Mediator structure, yet the functional consequences of
such structural shifts remain unknown. The p53 C terminus and its activation domain
interact with different Mediator subunits, and we find that each interaction differentially
affects Mediator structure; strikingly, distinct p53-Mediator structures differentially
affect Pol II activity. Only the p53 activation domain induces the formation of
a large pocket domain at the Mediator-Pol II interaction site, and this correlates
with activation of stalled Pol II to a productively elongating state. Moreover,
we define a Mediator requirement for TFIIH-dependent Pol II C-terminal domain
phosphorylation and identify substantial differences in Pol II C-terminal domain
processing that correspond to distinct p53-Mediator structural states. Our results
define a fundamental mechanism by which p53 activates transcription and suggest
that Mediator structural shifts trigger activation of stalled Pol II complexes.
article_processing_charge: No
author:
- first_name: Krista
full_name: Meyer, Krista
last_name: Meyer
- first_name: Shih
full_name: Lin, Shih
last_name: Lin
- first_name: Carrie A
full_name: Bernecky, Carrie A
id: 2CB9DFE2-F248-11E8-B48F-1D18A9856A87
last_name: Bernecky
orcid: 0000-0003-0893-7036
- first_name: Yuefeng
full_name: Gao, Yuefeng
last_name: Gao
- first_name: Dylan
full_name: Taatjes, Dylan
last_name: Taatjes
citation:
ama: Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by
directing structural shifts in Mediator. Nature Structural and Molecular Biology.
2010;17(6):753-760. doi:10.1038/nsmb.1816
apa: Meyer, K., Lin, S., Bernecky, C., Gao, Y., & Taatjes, D. (2010). P53 activates
transcription by directing structural shifts in Mediator. Nature Structural
and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
chicago: Meyer, Krista, Shih Lin, Carrie Bernecky, Yuefeng Gao, and Dylan Taatjes.
“P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature
Structural and Molecular Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/nsmb.1816.
ieee: K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “P53 activates transcription
by directing structural shifts in Mediator,” Nature Structural and Molecular
Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.
ista: Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010. P53 activates transcription
by directing structural shifts in Mediator. Nature Structural and Molecular Biology.
17(6), 753–760.
mla: Meyer, Krista, et al. “P53 Activates Transcription by Directing Structural
Shifts in Mediator.” Nature Structural and Molecular Biology, vol. 17,
no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.
short: K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and
Molecular Biology 17 (2010) 753–760.
date_created: 2018-12-11T11:47:24Z
date_published: 2010-06-01T00:00:00Z
date_updated: 2021-01-12T08:05:28Z
day: '01'
doi: 10.1038/nsmb.1816
extern: '1'
intvolume: ' 17'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2932482/
month: '06'
oa: 1
oa_version: None
page: 753 - 760
publication: Nature Structural and Molecular Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '7210'
status: public
title: P53 activates transcription by directing structural shifts in Mediator
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 17
year: '2010'
...
---
_id: '6142'
abstract:
- lang: eng
text: Defining the mutational landscape when individuals of a species grow separately
and diverge over many generations can provide insights into trait evolution. A
specific example of this involves studying changes associated with domestication
where different lines of the same wild stock have been cultivated independently
in different standard environments. Whole genome sequence comparison of such lines
permits estimation of mutation rates, inference of genes' ancestral states and
ancestry of existing strains, and correction of sequencing errors in genome databases.
Here we study domestication of the C. elegans Bristol strain as a model, and report
the genome sequence of LSJ1 (Bristol), a sibling of the standard C. elegans reference
wild type N2 (Bristol). The LSJ1 and N2 lines were cultivated separately from
shortly after the Bristol strain was isolated until methods to freeze C. elegans
were developed. We find that during this time the two strains have accumulated
1208 genetic differences. We describe phenotypic variation between N2 and LSJ1
in the rate at which embryos develop, the rate of production of eggs, the maturity
of eggs at laying, and feeding behavior, all the result of post-isolation changes.
We infer the ancestral alleles in the original Bristol isolate and highlight 2038
likely sequencing errors in the original N2 reference genome sequence. Many of
these changes modify genome annotation. Our study provides a starting point to
further investigate genotype-phenotype association and offers insights into the
process of selection as a result of laboratory domestication.
article_number: e13922
author:
- first_name: Katherine P.
full_name: Weber, Katherine P.
last_name: Weber
- first_name: Subhajyoti
full_name: De, Subhajyoti
last_name: De
- first_name: Iwanka
full_name: Kozarewa, Iwanka
last_name: Kozarewa
- first_name: Daniel J.
full_name: Turner, Daniel J.
last_name: Turner
- first_name: M. Madan
full_name: Babu, M. Madan
last_name: Babu
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing
highlights genetic changes associated with laboratory domestication of C. elegans.
PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
apa: Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono,
M. (2010). Whole genome sequencing highlights genetic changes associated with
laboratory domestication of C. elegans. PLoS ONE. Public Library of Science.
https://doi.org/10.1371/journal.pone.0013922
chicago: Weber, Katherine P., Subhajyoti De, Iwanka Kozarewa, Daniel J. Turner,
M. Madan Babu, and Mario de Bono. “Whole Genome Sequencing Highlights Genetic
Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE.
Public Library of Science, 2010. https://doi.org/10.1371/journal.pone.0013922.
ieee: K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono,
“Whole genome sequencing highlights genetic changes associated with laboratory
domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library
of Science, 2010.
ista: Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome
sequencing highlights genetic changes associated with laboratory domestication
of C. elegans. PLoS ONE. 5(11), e13922.
mla: Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes
Associated with Laboratory Domestication of C. Elegans.” PLoS ONE, vol.
5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.
short: K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS
ONE 5 (2010).
date_created: 2019-03-20T15:20:30Z
date_published: 2010-11-11T00:00:00Z
date_updated: 2021-01-12T08:06:20Z
day: '11'
ddc:
- '570'
doi: 10.1371/journal.pone.0013922
extern: '1'
external_id:
pmid:
- '21085631'
file:
- access_level: open_access
checksum: a01e6bbe15f044c0c79a26d7d881953e
content_type: application/pdf
creator: kschuh
date_created: 2019-03-20T15:22:48Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6143'
file_name: 2010_PLOS_Weber.PDF
file_size: 578059
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 5'
issue: '11'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS ONE
publication_identifier:
issn:
- 1932-6203
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
status: public
title: Whole genome sequencing highlights genetic changes associated with laboratory
domestication of C. elegans
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2010'
...
---
_id: '6320'
abstract:
- lang: eng
text: We study the average order of the divisor function, as it ranges over the
values of binary quartic forms that are reducible over ℚ.
arxiv: 1
author:
- first_name: Régis de la
full_name: Bretèche, Régis de la
last_name: Bretèche
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
citation:
ama: Bretèche R de la, Browning TD. Le problème des diviseurs pour des formes binaires
de degré 4. Crelles Journal. 2010;2010(646):1-44. doi:10.1515/crelle.2010.064
apa: Bretèche, R. de la, & Browning, T. D. (2010). Le problème des diviseurs
pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter
GmbH. https://doi.org/10.1515/crelle.2010.064
chicago: Bretèche, Régis de la, and Timothy D Browning. “Le Problème Des Diviseurs
Pour Des Formes Binaires de Degré 4.” Crelles Journal. Walter de Gruyter
GmbH, 2010. https://doi.org/10.1515/crelle.2010.064.
ieee: R. de la Bretèche and T. D. Browning, “Le problème des diviseurs pour des
formes binaires de degré 4,” Crelles Journal, vol. 2010, no. 646. Walter
de Gruyter GmbH, pp. 1–44, 2010.
ista: Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes
binaires de degré 4. Crelles Journal. 2010(646), 1–44.
mla: Bretèche, Régis de la, and Timothy D. Browning. “Le Problème Des Diviseurs
Pour Des Formes Binaires de Degré 4.” Crelles Journal, vol. 2010, no. 646,
Walter de Gruyter GmbH, 2010, pp. 1–44, doi:10.1515/crelle.2010.064.
short: R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
date_created: 2019-04-16T13:51:40Z
date_published: 2010-09-01T00:00:00Z
date_updated: 2021-01-12T08:07:04Z
day: '01'
doi: 10.1515/crelle.2010.064
extern: '1'
external_id:
arxiv:
- 0808.2340v2
intvolume: ' 2010'
issue: '646'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0808.2340v2
month: '09'
oa: 1
oa_version: Preprint
page: 1-44
publication: Crelles Journal
publication_status: published
publisher: Walter de Gruyter GmbH
quality_controlled: '1'
status: public
title: Le problème des diviseurs pour des formes binaires de degré 4
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 2010
year: '2010'
...
---
_id: '1465'
abstract:
- lang: eng
text: We prove a generating function formula for the Betti numbers of Nakajima quiver
varieties. We prove that it is a q-deformation of the Weyl-Kac character formula.
In particular this implies that the constant term of the polynomial counting the
number of absolutely indecomposable representations of a quiver equals the multiplicity
of a certain weight in the corresponding Kac-Moody algebra, which was conjectured
by Kac in 1982.
acknowledgement: This work has been supported by a Royal Society University Research
Fellowship, NSF grants DMS-0305505 and DMS-0604775 and an Alfred Sloan Fellowship
2005-2007.
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
citation:
ama: Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae.
2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
apa: Hausel, T. (2010). Kac’s conjecture from Nakajima quiver varieties. Inventiones
Mathematicae. Springer. https://doi.org/10.1007/s00222-010-0241-3
chicago: Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones
Mathematicae. Springer, 2010. https://doi.org/10.1007/s00222-010-0241-3.
ieee: T. Hausel, “Kac’s conjecture from Nakajima quiver varieties,” Inventiones
Mathematicae, vol. 181, no. 1. Springer, pp. 21–37, 2010.
ista: Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones
Mathematicae. 181(1), 21–37.
mla: Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones
Mathematicae, vol. 181, no. 1, Springer, 2010, pp. 21–37, doi:10.1007/s00222-010-0241-3.
short: T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
date_created: 2018-12-11T11:52:11Z
date_published: 2010-07-01T00:00:00Z
date_updated: 2021-01-12T06:50:56Z
day: '01'
doi: 10.1007/s00222-010-0241-3
extern: 1
intvolume: ' 181'
issue: '1'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0811.1569
month: '07'
oa: 1
page: 21 - 37
publication: Inventiones Mathematicae
publication_status: published
publisher: Springer
publist_id: '5730'
quality_controlled: 0
status: public
title: Kac's conjecture from Nakajima quiver varieties
type: journal_article
volume: 181
year: '2010'
...
---
_id: '1466'
abstract:
- lang: eng
text: In Hausel et al. (2008) [10] we presented a conjecture generalizing the Cauchy
formula for Macdonald polynomial. This conjecture encodes the mixed Hodge polynomials
of the character varieties of representations of the fundamental group of a punctured
Riemann surface of genus g. We proved several results which support this conjecture.
Here we announce new results which are consequences of those in Hausel et al.
(2008) [10].
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Emmanuel
full_name: Letellier, Emmanuel
last_name: Letellier
- first_name: Fernando
full_name: Rodríguez Villegas, Fernando
last_name: Rodríguez Villegas
citation:
ama: Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties
and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135.
doi:10.1016/j.crma.2010.01.025
apa: Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2010). Topology of
character varieties and representations of quivers. Comptes Rendus Mathematique.
Elsevier. https://doi.org/10.1016/j.crma.2010.01.025
chicago: Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Topology
of Character Varieties and Representations of Quivers.” Comptes Rendus Mathematique.
Elsevier, 2010. https://doi.org/10.1016/j.crma.2010.01.025.
ieee: T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Topology of character
varieties and representations of quivers,” Comptes Rendus Mathematique,
vol. 348, no. 3–4. Elsevier, pp. 131–135, 2010.
ista: Hausel T, Letellier E, Rodríguez Villegas F. 2010. Topology of character varieties
and representations of quivers. Comptes Rendus Mathematique. 348(3–4), 131–135.
mla: Hausel, Tamás, et al. “Topology of Character Varieties and Representations
of Quivers.” Comptes Rendus Mathematique, vol. 348, no. 3–4, Elsevier,
2010, pp. 131–35, doi:10.1016/j.crma.2010.01.025.
short: T. Hausel, E. Letellier, F. Rodríguez Villegas, Comptes Rendus Mathematique
348 (2010) 131–135.
date_created: 2018-12-11T11:52:11Z
date_published: 2010-02-01T00:00:00Z
date_updated: 2021-01-12T06:50:56Z
day: '01'
doi: 10.1016/j.crma.2010.01.025
extern: 1
intvolume: ' 348'
issue: 3-4
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0905.3491
month: '02'
oa: 1
page: 131 - 135
publication: Comptes Rendus Mathematique
publication_status: published
publisher: Elsevier
publist_id: '5731'
quality_controlled: 0
status: public
title: Topology of character varieties and representations of quivers
type: journal_article
volume: 348
year: '2010'
...
---
_id: '1468'
abstract:
- lang: eng
text: 'This chapter surveys the motivations, related results, and progress made
towards the following problem, raised by Hitchin in 1995: What is the space of
L2 harmonic forms on the moduli space of Higgs bundles on a Riemann surface?'
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
citation:
ama: 'Hausel T. S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of
Geometry: A Tribute to Nigel Hitchin. Oxford University Press; 2010. doi:10.1093/acprof:oso/9780199534920.003.0016'
apa: 'Hausel, T. (2010). S-Duality in HyperkäHler Hodge Theory. In The Many Facets
of Geometry: A Tribute to Nigel Hitchin. Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199534920.003.0016'
chicago: 'Hausel, Tamás. “S-Duality in HyperkäHler Hodge Theory.” In The Many
Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press, 2010.
https://doi.org/10.1093/acprof:oso/9780199534920.003.0016.'
ieee: 'T. Hausel, “S-Duality in HyperkäHler Hodge Theory,” in The Many Facets
of Geometry: A Tribute to Nigel Hitchin, Oxford University Press, 2010.'
ista: 'Hausel T. 2010.S-Duality in HyperkäHler Hodge Theory. In: The Many Facets
of Geometry: A Tribute to Nigel Hitchin. .'
mla: 'Hausel, Tamás. “S-Duality in HyperkäHler Hodge Theory.” The Many Facets
of Geometry: A Tribute to Nigel Hitchin, Oxford University Press, 2010, doi:10.1093/acprof:oso/9780199534920.003.0016.'
short: 'T. Hausel, in:, The Many Facets of Geometry: A Tribute to Nigel Hitchin,
Oxford University Press, 2010.'
date_created: 2018-12-11T11:52:12Z
date_published: 2010-09-01T00:00:00Z
date_updated: 2021-01-12T06:50:57Z
day: '01'
doi: 10.1093/acprof:oso/9780199534920.003.0016
extern: 1
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0709.0504
month: '09'
oa: 1
publication: 'The Many Facets of Geometry: A Tribute to Nigel Hitchin'
publication_status: published
publisher: Oxford University Press
publist_id: '5729'
quality_controlled: 0
status: public
title: S-Duality in HyperkäHler Hodge Theory
type: book_chapter
year: '2010'
...
---
_id: '13409'
abstract:
- lang: eng
text: The immobilization of molecular switches onto inorganic supports has recently
become a hot topic as it can give rise to novel hybrid materials in which the
properties of the two components are mutually enhanced. Even more attractive is
the concept of “transferring” the switchable characteristics of single layers
of organic molecules onto the underlying inorganic components, rendering them
responsive to external stimuli as well. Of the various molecular switches studied,
azobenzene (AB) has arguably attracted most attention due to its simple molecular
structure, and because its “trigger” (light) is a noninvasive one, it can be delivered
instantaneously, and into a precise location. In order to fully realize its potential,
however, it is necessary to immobilize AB onto solid supports. It is the goal
of this manuscript to comprehensively yet concisely review such hybrid systems
which comprise AB forming well-defined self-assembled monolayers (SAMs) on planar
and curved (colloidal and nanoporous) inorganic surfaces. I discuss methods to
immobilize AB derivatives onto surfaces, strategies to ensure efficient AB isomerization,
ways to monitor the switching process, properties of these switchable hybrid materials,
and, last but not least, their emerging applications.
article_processing_charge: No
article_type: original
author:
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Klajn R. Immobilized azobenzenes for the construction of photoresponsive materials.
Pure and Applied Chemistry. 2010;82(12):2247-2279. doi:10.1351/pac-con-10-09-04
apa: Klajn, R. (2010). Immobilized azobenzenes for the construction of photoresponsive
materials. Pure and Applied Chemistry. De Gruyter. https://doi.org/10.1351/pac-con-10-09-04
chicago: Klajn, Rafal. “Immobilized Azobenzenes for the Construction of Photoresponsive
Materials.” Pure and Applied Chemistry. De Gruyter, 2010. https://doi.org/10.1351/pac-con-10-09-04.
ieee: R. Klajn, “Immobilized azobenzenes for the construction of photoresponsive
materials,” Pure and Applied Chemistry, vol. 82, no. 12. De Gruyter, pp.
2247–2279, 2010.
ista: Klajn R. 2010. Immobilized azobenzenes for the construction of photoresponsive
materials. Pure and Applied Chemistry. 82(12), 2247–2279.
mla: Klajn, Rafal. “Immobilized Azobenzenes for the Construction of Photoresponsive
Materials.” Pure and Applied Chemistry, vol. 82, no. 12, De Gruyter, 2010,
pp. 2247–79, doi:10.1351/pac-con-10-09-04.
short: R. Klajn, Pure and Applied Chemistry 82 (2010) 2247–2279.
date_created: 2023-08-01T09:48:11Z
date_published: 2010-10-15T00:00:00Z
date_updated: 2023-08-08T07:58:13Z
day: '15'
doi: 10.1351/pac-con-10-09-04
extern: '1'
intvolume: ' 82'
issue: '12'
keyword:
- General Chemical Engineering
- General Chemistry
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1351/pac-con-10-09-04
month: '10'
oa: 1
oa_version: Published Version
page: 2247-2279
publication: Pure and Applied Chemistry
publication_identifier:
eissn:
- 1365-3075
issn:
- 0033-4545
publication_status: published
publisher: De Gruyter
quality_controlled: '1'
scopus_import: '1'
status: public
title: Immobilized azobenzenes for the construction of photoresponsive materials
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 82
year: '2010'
...
---
_id: '9012'
abstract:
- lang: eng
text: In this Letter, we characterize experimentally the diffusiophoretic motion
of colloids and λ-DNA toward higher concentration of solutes, using microfluidic
technology to build spatially and temporally controlled concentration gradients.
We then demonstrate that segregation and spatial patterning of the particles can
be achieved from temporal variations of the solute concentration profile. This
segregation takes the form of a strong trapping potential, stemming from an osmotically
induced rectification mechanism of the solute time-dependent variations. Depending
on the spatial and temporal symmetry of the solute signal, localization patterns
with various shapes can be achieved. These results highlight the role of solute
contrasts in out-of-equilibrium processes occurring in soft matter.
article_number: '138302'
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: Jérémie A
full_name: Palacci, Jérémie A
id: 8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d
last_name: Palacci
orcid: 0000-0002-7253-9465
- first_name: Benjamin
full_name: Abécassis, Benjamin
last_name: Abécassis
- first_name: Cécile
full_name: Cottin-Bizonne, Cécile
last_name: Cottin-Bizonne
- first_name: Christophe
full_name: Ybert, Christophe
last_name: Ybert
- first_name: Lydéric
full_name: Bocquet, Lydéric
last_name: Bocquet
citation:
ama: Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. Colloidal motility
and pattern formation under rectified diffusiophoresis. Physical Review Letters.
2010;104(13). doi:10.1103/physrevlett.104.138302
apa: Palacci, J. A., Abécassis, B., Cottin-Bizonne, C., Ybert, C., & Bocquet,
L. (2010). Colloidal motility and pattern formation under rectified diffusiophoresis.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.104.138302
chicago: Palacci, Jérémie A, Benjamin Abécassis, Cécile Cottin-Bizonne, Christophe
Ybert, and Lydéric Bocquet. “Colloidal Motility and Pattern Formation under Rectified
Diffusiophoresis.” Physical Review Letters. American Physical Society,
2010. https://doi.org/10.1103/physrevlett.104.138302.
ieee: J. A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, and L. Bocquet,
“Colloidal motility and pattern formation under rectified diffusiophoresis,” Physical
Review Letters, vol. 104, no. 13. American Physical Society, 2010.
ista: Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal
motility and pattern formation under rectified diffusiophoresis. Physical Review
Letters. 104(13), 138302.
mla: Palacci, Jérémie A., et al. “Colloidal Motility and Pattern Formation under
Rectified Diffusiophoresis.” Physical Review Letters, vol. 104, no. 13,
138302, American Physical Society, 2010, doi:10.1103/physrevlett.104.138302.
short: J.A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical
Review Letters 104 (2010).
date_created: 2021-01-19T10:25:04Z
date_published: 2010-04-02T00:00:00Z
date_updated: 2023-02-23T13:46:40Z
day: '02'
doi: 10.1103/physrevlett.104.138302
extern: '1'
external_id:
arxiv:
- '1004.1256 '
pmid:
- '20481918'
intvolume: ' 104'
issue: '13'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1004.1256
month: '04'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- '10797114'
issn:
- '00319007'
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Colloidal motility and pattern formation under rectified diffusiophoresis
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 104
year: '2010'
...