---
_id: '872'
abstract:
- lang: eng
text: The rate of spontaneous mutation in natural populations is a fundamental parameter
for many evolutionary phenomena. Because the rate of mutation is generally low,
most of what is currently known about mutation has been obtained through indirect,
complex and imprecise methodological approaches. However, in the past few years
genome-wide sequencing of closely related individuals has made it possible to
estimate the rates of mutation directly at the level of the DNA, avoiding most
of the problems associated with using indirect methods. Here, we review the methods
used in the past with an emphasis on next generation sequencing, which may soon
make the accurate measurement of spontaneous mutation rates a matter of routine.
author:
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
- first_name: Alexey
full_name: Kondrashov, Alexey S
last_name: Kondrashov
citation:
ama: Kondrashov F, Kondrashov A. Measurements of spontaneous rates of mutations
in the recent past and the near future. Philosophical Transactions of the Royal
Society of London Series B, Biological Sciences. 2010;365(1544):1169-1176.
doi:10.1098/rstb.2009.0286
apa: Kondrashov, F., & Kondrashov, A. (2010). Measurements of spontaneous rates
of mutations in the recent past and the near future. Philosophical Transactions
of the Royal Society of London. Series B, Biological Sciences. Royal Society,
The. https://doi.org/10.1098/rstb.2009.0286
chicago: Kondrashov, Fyodor, and Alexey Kondrashov. “Measurements of Spontaneous
Rates of Mutations in the Recent Past and the near Future.” Philosophical Transactions
of the Royal Society of London. Series B, Biological Sciences. Royal Society,
The, 2010. https://doi.org/10.1098/rstb.2009.0286.
ieee: F. Kondrashov and A. Kondrashov, “Measurements of spontaneous rates of mutations
in the recent past and the near future,” Philosophical Transactions of the
Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544.
Royal Society, The, pp. 1169–1176, 2010.
ista: Kondrashov F, Kondrashov A. 2010. Measurements of spontaneous rates of mutations
in the recent past and the near future. Philosophical Transactions of the Royal
Society of London. Series B, Biological Sciences. 365(1544), 1169–1176.
mla: Kondrashov, Fyodor, and Alexey Kondrashov. “Measurements of Spontaneous Rates
of Mutations in the Recent Past and the near Future.” Philosophical Transactions
of the Royal Society of London. Series B, Biological Sciences, vol. 365, no.
1544, Royal Society, The, 2010, pp. 1169–76, doi:10.1098/rstb.2009.0286.
short: F. Kondrashov, A. Kondrashov, Philosophical Transactions of the Royal Society
of London. Series B, Biological Sciences 365 (2010) 1169–1176.
date_created: 2018-12-11T11:48:57Z
date_published: 2010-04-27T00:00:00Z
date_updated: 2021-01-12T08:20:43Z
day: '27'
doi: 10.1098/rstb.2009.0286
extern: 1
intvolume: ' 365'
issue: '1544'
month: '04'
page: 1169 - 1176
publication: Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences
publication_status: published
publisher: Royal Society, The
publist_id: '6772'
quality_controlled: 0
status: public
title: Measurements of spontaneous rates of mutations in the recent past and the near
future
type: journal_article
volume: 365
year: '2010'
...
---
_id: '884'
abstract:
- lang: eng
text: 'Background: Divergence of two independently evolving sequences that originated
from a common ancestor can be described by two parameters, the asymptotic level
of divergence E and the rate r at which this level of divergence is approached.
Constant negative selection impedes allele replacements and, therefore, is routinely
assumed to decelerate sequence divergence. However, its impact on E and on r has
not been formally investigated.Results: Strong selection that favors only one
allele can make E arbitrarily small and r arbitrarily large. In contrast, in the
case of 4 possible alleles and equal mutation rates, the lowest value of r, attained
when two alleles confer equal fitnesses and the other two are strongly deleterious,
is only two times lower than its value under selective neutrality.Conclusions:
Constant selection can strongly constrain the level of sequence divergence, but
cannot reduce substantially the rate at which this level is approached. In particular,
under any constant selection the divergence of sequences that accumulated one
substitution per neutral site since their origin from the common ancestor must
already constitute at least one half of the asymptotic divergence at sites under
such selection.Reviewers: This article was reviewed by Drs. Nicolas Galtier, Sergei
Maslov, and Nick Grishin.'
author:
- first_name: Alexey
full_name: Kondrashov, Alexey S
last_name: Kondrashov
- first_name: Inna
full_name: Povolotskaya, Inna
last_name: Povolotskaya
- first_name: Dmitry
full_name: Ivankov, Dmitry N
last_name: Ivankov
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Kondrashov A, Povolotskaya I, Ivankov D, Kondrashov F. Rate of sequence divergence
under constant selection. Biology Direct. 2010;5. doi:10.1186/1745-6150-5-5
apa: Kondrashov, A., Povolotskaya, I., Ivankov, D., & Kondrashov, F. (2010).
Rate of sequence divergence under constant selection. Biology Direct. BioMed
Central. https://doi.org/10.1186/1745-6150-5-5
chicago: Kondrashov, Alexey, Inna Povolotskaya, Dmitry Ivankov, and Fyodor Kondrashov.
“Rate of Sequence Divergence under Constant Selection.” Biology Direct.
BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-5.
ieee: A. Kondrashov, I. Povolotskaya, D. Ivankov, and F. Kondrashov, “Rate of sequence
divergence under constant selection,” Biology Direct, vol. 5. BioMed Central,
2010.
ista: Kondrashov A, Povolotskaya I, Ivankov D, Kondrashov F. 2010. Rate of sequence
divergence under constant selection. Biology Direct. 5.
mla: Kondrashov, Alexey, et al. “Rate of Sequence Divergence under Constant Selection.”
Biology Direct, vol. 5, BioMed Central, 2010, doi:10.1186/1745-6150-5-5.
short: A. Kondrashov, I. Povolotskaya, D. Ivankov, F. Kondrashov, Biology Direct
5 (2010).
date_created: 2018-12-11T11:49:00Z
date_published: 2010-01-21T00:00:00Z
date_updated: 2021-01-12T08:21:15Z
day: '21'
doi: 10.1186/1745-6150-5-5
extern: 1
intvolume: ' 5'
month: '01'
publication: Biology Direct
publication_status: published
publisher: BioMed Central
publist_id: '6762'
quality_controlled: 0
status: public
title: Rate of sequence divergence under constant selection
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
volume: 5
year: '2010'
...
---
_id: '89'
abstract:
- lang: eng
text: We demonstrate the operation of a device that can produce chitosan nanoparticles
in a tunable size range from 50-300 nm with small size dispersion. A piezoelectric
oscillator operated at megahertz frequencies is used to aerosolize a solution
containing dissolved chitosan. The solvent is then evaporated from the aerosolized
droplets in a heat pipe, leaving monodisperse nanoparticles to be collected. The
nanoparticle size is controlled both by the concentration of the dissolved polymer
and by the size of the aerosol droplets that are created. Our device can be used
with any polymer or polymer/therapeutic combination that can be prepared in a
homogeneous solution and vaporized.
acknowledgement: This work was supported by the National Science Foundation under
Grants PHY-0456898 and PHY-0757989, and acknowledgment is made to the Donors of
the Petroleum Research Fund administered by the American Chemical Society for partial
support of this research.
author:
- first_name: Ian
full_name: Wright, Ian
last_name: Wright
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
- first_name: Shenda
full_name: Baker, Shenda
last_name: Baker
- first_name: Tom
full_name: Donnelly, Tom
last_name: Donnelly
citation:
ama: Wright I, Higginbotham AP, Baker S, Donnelly T. Generation of nanoparticles
of controlled size using ultrasonic piezoelectric oscillators in solution. ACS
Applied Materials and Interfaces. 2010;2(8):2360-2364. doi:10.1021/am100375w
apa: Wright, I., Higginbotham, A. P., Baker, S., & Donnelly, T. (2010). Generation
of nanoparticles of controlled size using ultrasonic piezoelectric oscillators
in solution. ACS Applied Materials and Interfaces. American Chemical Society.
https://doi.org/10.1021/am100375w
chicago: Wright, Ian, Andrew P Higginbotham, Shenda Baker, and Tom Donnelly. “Generation
of Nanoparticles of Controlled Size Using Ultrasonic Piezoelectric Oscillators
in Solution.” ACS Applied Materials and Interfaces. American Chemical Society,
2010. https://doi.org/10.1021/am100375w.
ieee: I. Wright, A. P. Higginbotham, S. Baker, and T. Donnelly, “Generation of nanoparticles
of controlled size using ultrasonic piezoelectric oscillators in solution,” ACS
Applied Materials and Interfaces, vol. 2, no. 8. American Chemical Society,
pp. 2360–2364, 2010.
ista: Wright I, Higginbotham AP, Baker S, Donnelly T. 2010. Generation of nanoparticles
of controlled size using ultrasonic piezoelectric oscillators in solution. ACS
Applied Materials and Interfaces. 2(8), 2360–2364.
mla: Wright, Ian, et al. “Generation of Nanoparticles of Controlled Size Using Ultrasonic
Piezoelectric Oscillators in Solution.” ACS Applied Materials and Interfaces,
vol. 2, no. 8, American Chemical Society, 2010, pp. 2360–64, doi:10.1021/am100375w.
short: I. Wright, A.P. Higginbotham, S. Baker, T. Donnelly, ACS Applied Materials
and Interfaces 2 (2010) 2360–2364.
date_created: 2018-12-11T11:44:34Z
date_published: 2010-07-20T00:00:00Z
date_updated: 2021-01-12T08:21:17Z
day: '20'
doi: 10.1021/am100375w
extern: '1'
external_id:
pmid:
- ' 20735108'
intvolume: ' 2'
issue: '8'
language:
- iso: eng
month: '07'
oa_version: None
page: 2360 - 2364
pmid: 1
publication: ACS Applied Materials and Interfaces
publication_status: published
publisher: American Chemical Society
publist_id: '7965'
quality_controlled: '1'
status: public
title: Generation of nanoparticles of controlled size using ultrasonic piezoelectric
oscillators in solution
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2010'
...
---
_id: '891'
abstract:
- lang: eng
text: Gene duplications and their subsequent divergence play an important part in
the evolution of novel gene functions. Several models for the emergence, maintenance
and evolution of gene copies have been proposed. However, a clear consensus on
how gene duplications are fixed and maintained in genomes is lacking. Here, we
present a comprehensive classification of the models that are relevant to all
stages of the evolution of gene duplications. Each model predicts a unique combination
of evolutionary dynamics and functional properties. Setting out these predictions
is an important step towards identifying the main mechanisms that are involved
in the evolution of gene duplications.
acknowledgement: |
We thank M. Lynch for insightful comments on the manuscript.
author:
- first_name: Hideki
full_name: Innan, Hideki
last_name: Innan
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: 'Innan H, Kondrashov F. The evolution of gene duplications: Classifying and
distinguishing between models. Nature Reviews Genetics. 2010;11(2):97-108.
doi:10.1038/nrg2689'
apa: 'Innan, H., & Kondrashov, F. (2010). The evolution of gene duplications:
Classifying and distinguishing between models. Nature Reviews Genetics.
Nature Publishing Group. https://doi.org/10.1038/nrg2689'
chicago: 'Innan, Hideki, and Fyodor Kondrashov. “The Evolution of Gene Duplications:
Classifying and Distinguishing between Models.” Nature Reviews Genetics.
Nature Publishing Group, 2010. https://doi.org/10.1038/nrg2689.'
ieee: 'H. Innan and F. Kondrashov, “The evolution of gene duplications: Classifying
and distinguishing between models,” Nature Reviews Genetics, vol. 11, no.
2. Nature Publishing Group, pp. 97–108, 2010.'
ista: 'Innan H, Kondrashov F. 2010. The evolution of gene duplications: Classifying
and distinguishing between models. Nature Reviews Genetics. 11(2), 97–108.'
mla: 'Innan, Hideki, and Fyodor Kondrashov. “The Evolution of Gene Duplications:
Classifying and Distinguishing between Models.” Nature Reviews Genetics,
vol. 11, no. 2, Nature Publishing Group, 2010, pp. 97–108, doi:10.1038/nrg2689.'
short: H. Innan, F. Kondrashov, Nature Reviews Genetics 11 (2010) 97–108.
date_created: 2018-12-11T11:49:03Z
date_published: 2010-02-01T00:00:00Z
date_updated: 2021-01-12T08:21:19Z
day: '01'
doi: 10.1038/nrg2689
extern: 1
intvolume: ' 11'
issue: '2'
month: '02'
page: 97 - 108
publication: Nature Reviews Genetics
publication_status: published
publisher: Nature Publishing Group
publist_id: '6755'
quality_controlled: 0
status: public
title: 'The evolution of gene duplications: Classifying and distinguishing between
models'
type: journal_article
volume: 11
year: '2010'
...
---
_id: '901'
abstract:
- lang: eng
text: 'Background: Surveying deleterious variation in human populations is crucial
for our understanding, diagnosis and potential treatment of human genetic pathologies.
A number of recent genome-wide analyses focused on the prevalence of segregating
deleterious alleles in the nuclear genome. However, such studies have not been
conducted for the mitochondrial genome.Results: We present a systematic survey
of polymorphisms in the human mitochondrial genome, including those predicted
to be deleterious and those that correspond to known pathogenic mutations. Analyzing
4458 completely sequenced mitochondrial genomes we characterize the genetic diversity
of different types of single nucleotide polymorphisms (SNPs) in African (L haplotypes)
and non-African (M and N haplotypes) populations. We find that the overall level
of polymorphism is higher in the mitochondrial compared to the nuclear genome,
although the mitochondrial genome appears to be under stronger selection as indicated
by proportionally fewer nonsynonymous than synonymous substitutions. The African
mitochondrial genomes show higher heterozygosity, a greater number of polymorphic
sites and higher frequencies of polymorphisms for synonymous, benign and damaging
polymorphism than non-African genomes. However, African genomes carry significantly
fewer SNPs that have been previously characterized as pathogenic compared to non-African
genomes.Conclusions: Finding SNPs classified as pathogenic to be the only category
of polymorphisms that are more abundant in non-African genomes is best explained
by a systematic ascertainment bias that favours the discovery of pathogenic polymorphisms
segregating in non-African populations. This further suggests that, contrary to
the common disease-common variant hypothesis, pathogenic mutations are largely
population-specific and different SNPs may be associated with the same disease
in different populations. Therefore, to obtain a comprehensive picture of the
deleterious variability in the human population, as well as to improve the diagnostics
of individuals carrying African mitochondrial haplotypes, it is necessary to survey
different populations independently.Reviewers: This article was reviewed by Dr
Mikhail Gelfand, Dr Vasily Ramensky (nominated by Dr Eugene Koonin) and Dr David
Rand (nominated by Dr Laurence Hurst).'
acknowledgement: We thank Ivan Adzhubei and Shamil Sunyaev for extensive assistance
with PolyPhen 2 and insightful discussion. We thank the Spanish Ministry of Science
and Innovation, Plan Nacional Program grant BFU2009-09271 for funding.
author:
- first_name: Michael
full_name: Breen, Michael S
last_name: Breen
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Breen M, Kondrashov F. Mitochondrial pathogenic mutations are population-specific.
Biology Direct. 2010;5. doi:10.1186/1745-6150-5-68
apa: Breen, M., & Kondrashov, F. (2010). Mitochondrial pathogenic mutations
are population-specific. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-5-68
chicago: Breen, Michael, and Fyodor Kondrashov. “Mitochondrial Pathogenic Mutations
Are Population-Specific.” Biology Direct. BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-68.
ieee: M. Breen and F. Kondrashov, “Mitochondrial pathogenic mutations are population-specific,”
Biology Direct, vol. 5. BioMed Central, 2010.
ista: Breen M, Kondrashov F. 2010. Mitochondrial pathogenic mutations are population-specific.
Biology Direct. 5.
mla: Breen, Michael, and Fyodor Kondrashov. “Mitochondrial Pathogenic Mutations
Are Population-Specific.” Biology Direct, vol. 5, BioMed Central, 2010,
doi:10.1186/1745-6150-5-68.
short: M. Breen, F. Kondrashov, Biology Direct 5 (2010).
date_created: 2018-12-11T11:49:06Z
date_published: 2010-12-31T00:00:00Z
date_updated: 2021-01-12T08:21:46Z
day: '31'
doi: 10.1186/1745-6150-5-68
extern: 1
intvolume: ' 5'
month: '12'
publication: Biology Direct
publication_status: published
publisher: BioMed Central
publist_id: '6749'
quality_controlled: 0
status: public
title: Mitochondrial pathogenic mutations are population-specific
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
volume: 5
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'
...
---
_id: '9013'
abstract:
- lang: eng
text: In this Letter, we investigate experimentally the nonequilibrium steady state
of an active colloidal suspension under gravity field. The active particles are
made of chemically powered colloids, showing self propulsion in the presence of
an added fuel, here hydrogen peroxide. The active suspension is studied in a dedicated
microfluidic device, made of permeable gel microstructures. Both the microdynamics
of individual colloids and the global stationary state of the suspension under
gravity are measured with optical microscopy. This yields a direct measurement
of the effective temperature of the active system as a function of the particle
activity, on the basis of the fluctuation-dissipation relationship. Our work is
a first step in the experimental exploration of the out-of-equilibrium properties
of active colloidal systems.
article_number: '088304'
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: 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, Cottin-Bizonne C, Ybert C, Bocquet L. Sedimentation and effective
temperature of active colloidal suspensions. Physical Review Letters. 2010;105(8).
doi:10.1103/physrevlett.105.088304
apa: Palacci, J. A., Cottin-Bizonne, C., Ybert, C., & Bocquet, L. (2010). Sedimentation
and effective temperature of active colloidal suspensions. Physical Review
Letters. American Physical Society . https://doi.org/10.1103/physrevlett.105.088304
chicago: Palacci, Jérémie A, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric
Bocquet. “Sedimentation and Effective Temperature of Active Colloidal Suspensions.”
Physical Review Letters. American Physical Society , 2010. https://doi.org/10.1103/physrevlett.105.088304.
ieee: J. A. Palacci, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Sedimentation
and effective temperature of active colloidal suspensions,” Physical Review
Letters, vol. 105, no. 8. American Physical Society , 2010.
ista: Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and
effective temperature of active colloidal suspensions. Physical Review Letters.
105(8), 088304.
mla: Palacci, Jérémie A., et al. “Sedimentation and Effective Temperature of Active
Colloidal Suspensions.” Physical Review Letters, vol. 105, no. 8, 088304,
American Physical Society , 2010, doi:10.1103/physrevlett.105.088304.
short: J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters
105 (2010).
date_created: 2021-01-19T10:26:33Z
date_published: 2010-08-20T00:00:00Z
date_updated: 2023-02-23T13:46:42Z
day: '20'
doi: 10.1103/physrevlett.105.088304
extern: '1'
external_id:
arxiv:
- '1004.4340'
pmid:
- '20868136'
intvolume: ' 105'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1004.4340
month: '08'
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: Sedimentation and effective temperature of active colloidal suspensions
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 105
year: '2010'
...
---
_id: '9145'
abstract:
- lang: eng
text: "We have found a new way to express the solutions of the RSM (Reynolds Stress
Model) equations that allows us to present the turbulent diffusivities for heat,
salt and momentum in a way that is considerably simpler and thus easier to implement
than in previous work. The RSM provides the dimensionless mixing efficiencies
Γα (α stands for heat, salt and momentum). However, to compute the diffusivities,
one needs additional information, specifically, the dissipation ε. Since a dynamic
equation for the latter that includes the physical processes relevant to the ocean
is still not available, one must resort to different sources of information outside
the RSM to obtain a complete Mixing Scheme usable in OGCMs.\r\nAs for the RSM
results, we show that the Γα’s are functions of both Ri and Rρ (Richardson number
and density ratio representing double diffusion, DD); the Γα are different for
heat, salt and momentum; in the case of heat, the traditional value Γh = 0.2 is
valid only in the presence of strong shear (when DD is inoperative) while when
shear subsides, NATRE data show that Γh can be three times as large, a result
that we reproduce. The salt Γs is given in terms of Γh. The momentum Γm has thus
far been guessed with different prescriptions while the RSM provides a well defined
expression for Γm(Ri, Rρ). Having tested Γh, we then test the momentum Γm by showing
that the turbulent Prandtl number Γm/Γh vs. Ri reproduces the available data quite
well.\r\n\r\nAs for the dissipation ε, we use different representations, one for
the mixed layer (ML), one for the thermocline and one for the ocean’s bottom.
For the ML, we adopt a procedure analogous to the one successfully used in PB
(planetary boundary layer) studies; for the thermocline, we employ an expression
for the variable εN−2 from studies of the internal gravity waves spectra which
includes a latitude dependence; for the ocean bottom, we adopt the enhanced bottom
diffusivity expression used by previous authors but with a state of the art internal
tidal energy formulation and replace the fixed Γα = 0.2 with the RSM result that
brings into the problem the Ri, Rρ dependence of the Γα; the unresolved bottom
drag, which has thus far been either ignored or modeled with heuristic relations,
is modeled using a formalism we previously developed and tested in PBL studies.\r\nWe
carried out several tests without an OGCM. Prandtl and flux Richardson numbers
vs. Ri. The RSM model reproduces both types of data satisfactorily. DD and Mixing
efficiency Γh(Ri, Rρ). The RSM model reproduces well the NATRE data. Bimodal ε-distribution.
NATRE data show that ε(Ri < 1) ≈ 10ε(Ri > 1), which our model reproduces. Heat
to salt flux ratio. In the Ri ≫ 1 regime, the RSM predictions reproduce the data
satisfactorily. NATRE mass diffusivity. The z-profile of the mass diffusivity
reproduces well the measurements at NATRE. The local form of the mixing scheme
is algebraic with one cubic equation to solve."
article_processing_charge: No
article_type: original
author:
- first_name: V.M.
full_name: Canuto, V.M.
last_name: Canuto
- first_name: A.M.
full_name: Howard, A.M.
last_name: Howard
- first_name: Y.
full_name: Cheng, Y.
last_name: Cheng
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: A.
full_name: Leboissetier, A.
last_name: Leboissetier
- first_name: S.R.
full_name: Jayne, S.R.
last_name: Jayne
citation:
ama: 'Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. Ocean
turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 2010;34(3-4):70-91.
doi:10.1016/j.ocemod.2010.04.006'
apa: 'Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A.,
& Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme.
Ocean Modelling. Elsevier. https://doi.org/10.1016/j.ocemod.2010.04.006'
chicago: 'Canuto, V.M., A.M. Howard, Y. Cheng, Caroline J Muller, A. Leboissetier,
and S.R. Jayne. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” Ocean
Modelling. Elsevier, 2010. https://doi.org/10.1016/j.ocemod.2010.04.006.'
ieee: 'V. M. Canuto, A. M. Howard, Y. Cheng, C. J. Muller, A. Leboissetier, and
S. R. Jayne, “Ocean turbulence, III: New GISS vertical mixing scheme,” Ocean
Modelling, vol. 34, no. 3–4. Elsevier, pp. 70–91, 2010.'
ista: 'Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. 2010.
Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 34(3–4),
70–91.'
mla: 'Canuto, V. M., et al. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.”
Ocean Modelling, vol. 34, no. 3–4, Elsevier, 2010, pp. 70–91, doi:10.1016/j.ocemod.2010.04.006.'
short: V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne,
Ocean Modelling 34 (2010) 70–91.
date_created: 2021-02-15T14:40:19Z
date_published: 2010-05-12T00:00:00Z
date_updated: 2022-01-24T13:51:35Z
day: '12'
doi: 10.1016/j.ocemod.2010.04.006
extern: '1'
intvolume: ' 34'
issue: 3-4
keyword:
- Computer Science (miscellaneous)
- Geotechnical Engineering and Engineering Geology
- Atmospheric Science
- Oceanography
language:
- iso: eng
month: '05'
oa_version: None
page: 70-91
publication: Ocean Modelling
publication_identifier:
issn:
- 1463-5003
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Ocean turbulence, III: New GISS vertical mixing scheme'
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 34
year: '2010'
...
---
_id: '9146'
abstract:
- lang: eng
text: "The factors governing the rate of change in the amount of atmospheric water
vapor are analyzed in simulations of climate change. The global-mean amount of
water vapor is estimated to increase at a differential rate of 7.3% K − 1 with
respect to global-mean surface air temperature in the multi-model mean. Larger
rates of change result if the fractional change is evaluated over a finite change
in temperature (e.g., 8.2% K − 1 for a 3 K warming), and rates of change of zonal-mean
column water vapor range from 6 to 12% K − 1 depending on latitude.\r\nClausius–Clapeyron
scaling is directly evaluated using an invariant distribution of monthly-mean
relative humidity, giving a rate of 7.4% K − 1 for global-mean water vapor. There
are deviations from Clausius–Clapeyron scaling of zonal-mean column water vapor
in the tropics and mid-latitudes, but they largely cancel in the global mean.
A purely thermodynamic scaling based on a saturated troposphere gives a higher
global rate of 7.9% K − 1.\r\nSurface specific humidity increases at a rate of
5.7% K − 1, considerably lower than the rate for global-mean water vapor. Surface
specific humidity closely follows Clausius–Clapeyron scaling over ocean. But there
are widespread decreases in surface relative humidity over land (by more than
1% K − 1 in many regions), and it is argued that decreases of this magnitude could
result from the land/ocean contrast in surface warming."
article_number: '025207'
article_processing_charge: No
article_type: original
author:
- first_name: P A
full_name: O’Gorman, P A
last_name: O’Gorman
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
citation:
ama: O’Gorman PA, Muller CJ. How closely do changes in surface and column water
vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental
Research Letters. 2010;5(2). doi:10.1088/1748-9326/5/2/025207
apa: O’Gorman, P. A., & Muller, C. J. (2010). How closely do changes in surface
and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?
Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/5/2/025207
chicago: O’Gorman, P A, and Caroline J Muller. “How Closely Do Changes in Surface
and Column Water Vapor Follow Clausius–Clapeyron Scaling in Climate Change Simulations?”
Environmental Research Letters. IOP Publishing, 2010. https://doi.org/10.1088/1748-9326/5/2/025207.
ieee: P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column
water vapor follow Clausius–Clapeyron scaling in climate change simulations?,”
Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.
ista: O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column
water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental
Research Letters. 5(2), 025207.
mla: O’Gorman, P. A., and Caroline J. Muller. “How Closely Do Changes in Surface
and Column Water Vapor Follow Clausius–Clapeyron Scaling in Climate Change Simulations?”
Environmental Research Letters, vol. 5, no. 2, 025207, IOP Publishing,
2010, doi:10.1088/1748-9326/5/2/025207.
short: P.A. O’Gorman, C.J. Muller, Environmental Research Letters 5 (2010).
date_created: 2021-02-15T14:40:46Z
date_published: 2010-04-09T00:00:00Z
date_updated: 2022-01-24T13:51:02Z
day: '09'
doi: 10.1088/1748-9326/5/2/025207
extern: '1'
intvolume: ' 5'
issue: '2'
keyword:
- Renewable Energy
- Sustainability and the Environment
- Public Health
- Environmental and Occupational Health
- General Environmental Science
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1088/1748-9326/5/2/025207
month: '04'
oa: 1
oa_version: Published Version
publication: Environmental Research Letters
publication_identifier:
issn:
- 1748-9326
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
status: public
title: How closely do changes in surface and column water vapor follow Clausius–Clapeyron
scaling in climate change simulations?
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 5
year: '2010'
...
---
_id: '920'
abstract:
- lang: eng
text: Most eukaryotic cells sense and respond to the mechanical properties of their
surroundings. This can strongly influence their collective behavior in embryonic
development, tissue function, and wound healing. We use a deformable substrate
to measure collective behavior in cell motion due to substrate mediated cell-cell
interactions. We quantify spatial and temporal correlations in migration velocity
and substrate deformation, and show that cooperative cell-driven patterns of substrate
deformation mediate long-distance mechanical coupling between cells and control
collective cell migration.
acknowledgement: "This work was supported by the NSF (DMR-0602684) and the Harvard
MRSEC (DMR-0820484).\r\nWe would like to thank Dr. James Butler for helpful conversations."
article_processing_charge: No
author:
- first_name: Thomas
full_name: Angelini, Thomas
last_name: Angelini
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Xavier
full_name: Trepat, Xavier
last_name: Trepat
- first_name: Jeffrey
full_name: Fredberg, Jeffrey
last_name: Fredberg
- first_name: David
full_name: Weitz, David
last_name: Weitz
citation:
ama: Angelini T, Hannezo EB, Trepat X, Fredberg J, Weitz D. Cell migration driven
by cooperative substrate deformation patterns. Physical Review Letters.
2010;104(16). doi:10.1103/PhysRevLett.104.168104
apa: Angelini, T., Hannezo, E. B., Trepat, X., Fredberg, J., & Weitz, D. (2010).
Cell migration driven by cooperative substrate deformation patterns. Physical
Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.104.168104
chicago: Angelini, Thomas, Edouard B Hannezo, Xavier Trepat, Jeffrey Fredberg, and
David Weitz. “Cell Migration Driven by Cooperative Substrate Deformation Patterns.”
Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.168104.
ieee: T. Angelini, E. B. Hannezo, X. Trepat, J. Fredberg, and D. Weitz, “Cell migration
driven by cooperative substrate deformation patterns,” Physical Review Letters,
vol. 104, no. 16. American Physical Society, 2010.
ista: Angelini T, Hannezo EB, Trepat X, Fredberg J, Weitz D. 2010. Cell migration
driven by cooperative substrate deformation patterns. Physical Review Letters.
104(16).
mla: Angelini, Thomas, et al. “Cell Migration Driven by Cooperative Substrate Deformation
Patterns.” Physical Review Letters, vol. 104, no. 16, American Physical
Society, 2010, doi:10.1103/PhysRevLett.104.168104.
short: T. Angelini, E.B. Hannezo, X. Trepat, J. Fredberg, D. Weitz, Physical Review
Letters 104 (2010).
date_created: 2018-12-11T11:49:12Z
date_published: 2010-04-23T00:00:00Z
date_updated: 2021-01-12T08:21:55Z
day: '23'
doi: 10.1103/PhysRevLett.104.168104
extern: '1'
intvolume: ' 104'
issue: '16'
language:
- iso: eng
month: '04'
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6523'
status: public
title: Cell migration driven by cooperative substrate deformation patterns
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 104
year: '2010'
...
---
_id: '9452'
abstract:
- lang: eng
text: Eukaryotic cytosine methylation represses transcription but also occurs in
the bodies of active genes, and the extent of methylation biology conservation
is unclear. We quantified DNA methylation in 17 eukaryotic genomes and found that
gene body methylation is conserved between plants and animals, whereas selective
methylation of transposons is not. We show that methylation of plant transposons
in the CHG context extends to green algae and that exclusion of histone H2A.Z
from methylated DNA is conserved between plants and animals, and we present evidence
for RNA-directed DNA methylation of fungal genes. Our data demonstrate that extant
DNA methylation systems are mosaics of conserved and derived features, and indicate
that gene body methylation is an ancient property of eukaryotic genomes.
article_processing_charge: No
article_type: original
author:
- first_name: 'Assaf '
full_name: 'Zemach, Assaf '
last_name: Zemach
- first_name: Ivy E.
full_name: McDaniel, Ivy E.
last_name: McDaniel
- first_name: Pedro
full_name: Silva, Pedro
last_name: Silva
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Zemach A, McDaniel IE, Silva P, Zilberman D. Genome-wide evolutionary analysis
of eukaryotic DNA methylation. Science. 2010;328(5980):916-919. doi:10.1126/science.1186366
apa: Zemach, A., McDaniel, I. E., Silva, P., & Zilberman, D. (2010). Genome-wide
evolutionary analysis of eukaryotic DNA methylation. Science. American
Association for the Advancement of Science. https://doi.org/10.1126/science.1186366
chicago: Zemach, Assaf , Ivy E. McDaniel, Pedro Silva, and Daniel Zilberman. “Genome-Wide
Evolutionary Analysis of Eukaryotic DNA Methylation.” Science. American
Association for the Advancement of Science, 2010. https://doi.org/10.1126/science.1186366.
ieee: A. Zemach, I. E. McDaniel, P. Silva, and D. Zilberman, “Genome-wide evolutionary
analysis of eukaryotic DNA methylation,” Science, vol. 328, no. 5980. American
Association for the Advancement of Science, pp. 916–919, 2010.
ista: Zemach A, McDaniel IE, Silva P, Zilberman D. 2010. Genome-wide evolutionary
analysis of eukaryotic DNA methylation. Science. 328(5980), 916–919.
mla: Zemach, Assaf, et al. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA
Methylation.” Science, vol. 328, no. 5980, American Association for the
Advancement of Science, 2010, pp. 916–19, doi:10.1126/science.1186366.
short: A. Zemach, I.E. McDaniel, P. Silva, D. Zilberman, Science 328 (2010) 916–919.
date_created: 2021-06-04T08:26:08Z
date_published: 2010-05-14T00:00:00Z
date_updated: 2021-12-14T08:35:37Z
day: '14'
department:
- _id: DaZi
doi: 10.1126/science.1186366
extern: '1'
external_id:
pmid:
- '20395474 '
intvolume: ' 328'
issue: '5980'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '05'
oa_version: None
page: 916-919
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: Genome-wide evolutionary analysis of eukaryotic DNA methylation
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 328
year: '2010'
...
---
_id: '9485'
abstract:
- lang: eng
text: 'Cytosine methylation silences transposable elements in plants, vertebrates,
and fungi but also regulates gene expression. Plant methylation is catalyzed by
three families of enzymes, each with a preferred sequence context: CG, CHG (H
= A, C, or T), and CHH, with CHH methylation targeted by the RNAi pathway. Arabidopsis
thaliana endosperm, a placenta-like tissue that nourishes the embryo, is globally
hypomethylated in the CG context while retaining high non-CG methylation. Global
methylation dynamics in seeds of cereal crops that provide the bulk of human nutrition
remain unknown. Here, we show that rice endosperm DNA is hypomethylated in all
sequence contexts. Non-CG methylation is reduced evenly across the genome, whereas
CG hypomethylation is localized. CHH methylation of small transposable elements
is increased in embryos, suggesting that endosperm demethylation enhances transposon
silencing. Genes preferentially expressed in endosperm, including those coding
for major storage proteins and starch synthesizing enzymes, are frequently hypomethylated
in endosperm, indicating that DNA methylation is a crucial regulator of rice endosperm
biogenesis. Our data show that genome-wide reshaping of seed DNA methylation is
conserved among angiosperms and has a profound effect on gene expression in cereal
crops.'
article_processing_charge: No
article_type: original
author:
- first_name: Assaf
full_name: Zemach, Assaf
last_name: Zemach
- first_name: M. Yvonne
full_name: Kim, M. Yvonne
last_name: Kim
- first_name: Pedro
full_name: Silva, Pedro
last_name: Silva
- first_name: Jessica A.
full_name: Rodrigues, Jessica A.
last_name: Rodrigues
- first_name: Bradley
full_name: Dotson, Bradley
last_name: Dotson
- first_name: Matthew D.
full_name: Brooks, Matthew D.
last_name: Brooks
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Zemach A, Kim MY, Silva P, et al. Local DNA hypomethylation activates genes
in rice endosperm. Proceedings of the National Academy of Sciences. 2010;107(43):18729-18734.
doi:10.1073/pnas.1009695107
apa: Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M.
D., & Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice
endosperm. Proceedings of the National Academy of Sciences. National Academy
of Sciences. https://doi.org/10.1073/pnas.1009695107
chicago: Zemach, Assaf, M. Yvonne Kim, Pedro Silva, Jessica A. Rodrigues, Bradley
Dotson, Matthew D. Brooks, and Daniel Zilberman. “Local DNA Hypomethylation Activates
Genes in Rice Endosperm.” Proceedings of the National Academy of Sciences.
National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1009695107.
ieee: A. Zemach et al., “Local DNA hypomethylation activates genes in rice
endosperm,” Proceedings of the National Academy of Sciences, vol. 107,
no. 43. National Academy of Sciences, pp. 18729–18734, 2010.
ista: Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, Zilberman D.
2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings
of the National Academy of Sciences. 107(43), 18729–18734.
mla: Zemach, Assaf, et al. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.”
Proceedings of the National Academy of Sciences, vol. 107, no. 43, National
Academy of Sciences, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.
short: A. Zemach, M.Y. Kim, P. Silva, J.A. Rodrigues, B. Dotson, M.D. Brooks, D.
Zilberman, Proceedings of the National Academy of Sciences 107 (2010) 18729–18734.
date_created: 2021-06-07T09:31:01Z
date_published: 2010-10-26T00:00:00Z
date_updated: 2021-12-14T08:40:02Z
day: '26'
department:
- _id: DaZi
doi: 10.1073/pnas.1009695107
extern: '1'
external_id:
pmid:
- '20937895'
intvolume: ' 107'
issue: '43'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1073/pnas.1009695107
month: '10'
oa: 1
oa_version: Published Version
page: 18729-18734
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local DNA hypomethylation activates genes in rice endosperm
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 107
year: '2010'
...
---
_id: '9489'
abstract:
- lang: eng
text: Cytosine methylation is an ancient process with conserved enzymology but diverse
biological functions that include defense against transposable elements and regulation
of gene expression. Here we will discuss the evolution and biological significance
of eukaryotic DNA methylation, the likely drivers of that evolution, and major
remaining mysteries.
article_processing_charge: No
article_type: review
author:
- first_name: Assaf
full_name: Zemach, Assaf
last_name: Zemach
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Zemach A, Zilberman D. Evolution of eukaryotic DNA methylation and the pursuit
of safer sex. Current Biology. 2010;20(17):R780-R785. doi:10.1016/j.cub.2010.07.007
apa: Zemach, A., & Zilberman, D. (2010). Evolution of eukaryotic DNA methylation
and the pursuit of safer sex. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2010.07.007
chicago: Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation
and the Pursuit of Safer Sex.” Current Biology. Elsevier, 2010. https://doi.org/10.1016/j.cub.2010.07.007.
ieee: A. Zemach and D. Zilberman, “Evolution of eukaryotic DNA methylation and the
pursuit of safer sex,” Current Biology, vol. 20, no. 17. Elsevier, pp.
R780–R785, 2010.
ista: Zemach A, Zilberman D. 2010. Evolution of eukaryotic DNA methylation and the
pursuit of safer sex. Current Biology. 20(17), R780–R785.
mla: Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation
and the Pursuit of Safer Sex.” Current Biology, vol. 20, no. 17, Elsevier,
2010, pp. R780–85, doi:10.1016/j.cub.2010.07.007.
short: A. Zemach, D. Zilberman, Current Biology 20 (2010) R780–R785.
date_created: 2021-06-07T09:45:27Z
date_published: 2010-09-14T00:00:00Z
date_updated: 2021-12-14T08:52:34Z
day: '14'
department:
- _id: DaZi
doi: 10.1016/j.cub.2010.07.007
extern: '1'
external_id:
pmid:
- '20833323'
intvolume: ' 20'
issue: '17'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cub.2010.07.007
month: '09'
oa: 1
oa_version: Published Version
page: R780-R785
pmid: 1
publication: Current Biology
publication_identifier:
eissn:
- 1879-0445
issn:
- 0960-9822
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evolution of eukaryotic DNA methylation and the pursuit of safer sex
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 20
year: '2010'
...
---
_id: '9764'
article_processing_charge: No
author:
- first_name: Ulises
full_name: Rosas, Ulises
last_name: Rosas
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Lucy
full_name: Copsey, Lucy
last_name: Copsey
- first_name: Pierre
full_name: Barbier De Reuille, Pierre
last_name: Barbier De Reuille
- first_name: Enrico
full_name: Coen, Enrico
last_name: Coen
citation:
ama: Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Heterosis and the
drift load. 2010. doi:10.1371/journal.pbio.1000429.s003
apa: Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E.
(2010). Heterosis and the drift load. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429.s003
chicago: Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille,
and Enrico Coen. “Heterosis and the Drift Load.” Public Library of Science, 2010.
https://doi.org/10.1371/journal.pbio.1000429.s003.
ieee: U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Heterosis
and the drift load.” Public Library of Science, 2010.
ista: Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Heterosis
and the drift load, Public Library of Science, 10.1371/journal.pbio.1000429.s003.
mla: Rosas, Ulises, et al. Heterosis and the Drift Load. Public Library of
Science, 2010, doi:10.1371/journal.pbio.1000429.s003.
short: U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, (2010).
date_created: 2021-08-02T09:45:39Z
date_published: 2010-07-20T00:00:00Z
date_updated: 2025-09-30T09:42:52Z
day: '20'
department:
- _id: NiBa
doi: 10.1371/journal.pbio.1000429.s003
month: '07'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '3779'
relation: used_in_publication
status: public
status: public
title: Heterosis and the drift load
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2010'
...
---
_id: '474'
abstract:
- lang: eng
text: 'Classical models of gene flow fail in three ways: they cannot explain large-scale
patterns; they predict much more genetic diversity than is observed; and they
assume that loosely linked genetic loci evolve independently. We propose a new
model that deals with these problems. Extinction events kill some fraction of
individuals in a region. These are replaced by offspring from a small number of
parents, drawn from the preexisting population. This model of evolution forwards
in time corresponds to a backwards model, in which ancestral lineages jump to
a new location if they are hit by an event, and may coalesce with other lineages
that are hit by the same event. We derive an expression for the identity in allelic
state, and show that, over scales much larger than the largest event, this converges
to the classical value derived by Wright and Malécot. However, rare events that
cover large areas cause low genetic diversity, large-scale patterns, and correlations
in ancestry between unlinked loci.'
acknowledgement: This work has made use of the resources provided by the Edinburgh
Compute and Data Facility (ECDF). The ECDF is partially supported by the eDIKT initiative.
NHB is supported in part by EPSRC Grant EP/E066070/1; JK is supported by EPSRC Grant
EP/E066070/1; and AME is supported in part by EPSRC Grant EP/E065945/1.
article_processing_charge: No
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Jerome
full_name: Kelleher, Jerome
last_name: Kelleher
- first_name: Alison
full_name: Etheridge, Alison
last_name: Etheridge
citation:
ama: 'Barton NH, Kelleher J, Etheridge A. A new model for extinction and recolonization
in two dimensions: Quantifying phylogeography. Evolution. 2010;64(9):2701-2715.
doi:10.1111/j.1558-5646.2010.01019.x'
apa: 'Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction
and recolonization in two dimensions: Quantifying phylogeography. Evolution.
Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2010.01019.x'
chicago: 'Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model
for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”
Evolution. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1558-5646.2010.01019.x.'
ieee: 'N. H. Barton, J. Kelleher, and A. Etheridge, “A new model for extinction
and recolonization in two dimensions: Quantifying phylogeography,” Evolution,
vol. 64, no. 9. Wiley-Blackwell, pp. 2701–2715, 2010.'
ista: 'Barton NH, Kelleher J, Etheridge A. 2010. A new model for extinction and
recolonization in two dimensions: Quantifying phylogeography. Evolution. 64(9),
2701–2715.'
mla: 'Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization
in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no.
9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.'
short: N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
corr_author: '1'
date_created: 2018-12-11T11:46:40Z
date_published: 2010-09-01T00:00:00Z
date_updated: 2025-09-30T09:50:22Z
day: '01'
department:
- _id: NiBa
doi: 10.1111/j.1558-5646.2010.01019.x
external_id:
isi:
- '000281636400017'
intvolume: ' 64'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa_version: None
page: 2701 - 2715
publication: Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2780'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'A new model for extinction and recolonization in two dimensions: Quantifying
phylogeography'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 64
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
article_processing_charge: No
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
corr_author: '1'
date_created: 2018-12-11T11:46:45Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2025-09-30T09:49:32Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.FSTTCS.2010.1
external_id:
isi:
- '000310361000001'
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'
isi: 1
language:
- iso: eng
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
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
article_processing_charge: No
arxiv: 1
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
corr_author: '1'
date_created: 2018-12-11T11:46:45Z
date_published: 2010-06-09T00:00:00Z
date_updated: 2025-06-11T08:14:27Z
day: '09'
department:
- _id: KrCh
doi: 10.4204/EPTCS.25.7
external_id:
arxiv:
- '1006.1404'
intvolume: ' 25'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1006.1404
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2010'
...
---
_id: '533'
abstract:
- lang: eng
text: Any programming error that can be revealed before compiling a program saves
precious time for the programmer. While integrated development environments already
do a good job by detecting, e.g., data-flow abnormalities, current static analysis
tools suffer from false positives ("noise") or require strong user interaction.
We propose to avoid this deficiency by defining a new class of errors. A program
fragment is doomed if its execution will inevitably fail, regardless of which
state it is started in. We use a formal verification method to identify such errors
fully automatically and, most significantly, without producing noise. We report
on experiments with a prototype tool.
article_processing_charge: No
author:
- first_name: Jochen
full_name: Hoenicke, Jochen
last_name: Hoenicke
- first_name: Kari
full_name: Leino, Kari
last_name: Leino
- first_name: Andreas
full_name: Podelski, Andreas
last_name: Podelski
- first_name: Martin
full_name: Schäf, Martin
last_name: Schäf
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
citation:
ama: Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal
Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
apa: Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed
program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
chicago: Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas
Wies. “Doomed Program Points.” Formal Methods in System Design. Springer,
2010. https://doi.org/10.1007/s10703-010-0102-0.
ieee: J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program
points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp.
171–199, 2010.
ista: Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. 2010. Doomed program points.
Formal Methods in System Design. 37(2–3), 171–199.
mla: Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System
Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
short: J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in
System Design 37 (2010) 171–199.
corr_author: '1'
date_created: 2018-12-11T11:47:01Z
date_published: 2010-12-01T00:00:00Z
date_updated: 2025-09-30T09:48:58Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/s10703-010-0102-0
external_id:
isi:
- '000286631700004'
intvolume: ' 37'
isi: 1
issue: 2-3
language:
- iso: eng
month: '12'
oa_version: None
page: 171 - 199
publication: Formal Methods in System Design
publication_status: published
publisher: Springer
publist_id: '7284'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Doomed program points
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 37
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: 2025-04-15T08:12:00Z
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: 2025-09-30T07:46:05Z
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: '4393'
relation: later_version
status: public
- id: '3249'
relation: later_version
status: public
status: public
title: Simulation distances
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2010'
...