---
_id: '8503'
abstract:
- lang: eng
text: We prove there are finitely many isometry classes of planar central configurations
(also called relative equilibria) in the Newtonian 5-body problem, except perhaps
if the 5-tuple of positive masses belongs to a given codimension 2 subvariety
of the mass space.
article_processing_charge: No
article_type: original
author:
- first_name: Alain
full_name: Albouy, Alain
last_name: Albouy
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
citation:
ama: Albouy A, Kaloshin V. Finiteness of central configurations of five bodies in
the plane. Annals of Mathematics. 2012;176(1):535-588. doi:10.4007/annals.2012.176.1.10
apa: Albouy, A., & Kaloshin, V. (2012). Finiteness of central configurations
of five bodies in the plane. Annals of Mathematics. Princeton University
Press. https://doi.org/10.4007/annals.2012.176.1.10
chicago: Albouy, Alain, and Vadim Kaloshin. “Finiteness of Central Configurations
of Five Bodies in the Plane.” Annals of Mathematics. Princeton University
Press, 2012. https://doi.org/10.4007/annals.2012.176.1.10.
ieee: A. Albouy and V. Kaloshin, “Finiteness of central configurations of five bodies
in the plane,” Annals of Mathematics, vol. 176, no. 1. Princeton University
Press, pp. 535–588, 2012.
ista: Albouy A, Kaloshin V. 2012. Finiteness of central configurations of five bodies
in the plane. Annals of Mathematics. 176(1), 535–588.
mla: Albouy, Alain, and Vadim Kaloshin. “Finiteness of Central Configurations of
Five Bodies in the Plane.” Annals of Mathematics, vol. 176, no. 1, Princeton
University Press, 2012, pp. 535–88, doi:10.4007/annals.2012.176.1.10.
short: A. Albouy, V. Kaloshin, Annals of Mathematics 176 (2012) 535–588.
date_created: 2020-09-18T10:47:24Z
date_published: 2012-07-01T00:00:00Z
date_updated: 2021-01-12T08:19:44Z
day: '01'
doi: 10.4007/annals.2012.176.1.10
extern: '1'
intvolume: ' 176'
issue: '1'
language:
- iso: eng
month: '07'
oa_version: None
page: 535-588
publication: Annals of Mathematics
publication_identifier:
issn:
- 0003-486X
publication_status: published
publisher: Princeton University Press
quality_controlled: '1'
status: public
title: Finiteness of central configurations of five bodies in the plane
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 176
year: '2012'
...
---
_id: '887'
abstract:
- lang: eng
text: A subject of extensive study in evolutionary theory has been the issue of
how neutral, redundant copies can be maintained in the genome for long periods
of time. Concurrently, examples of adaptive gene duplications to various environmental
conditions in different species have been described. At this point, it is too
early to tell whether or not a substantial fraction of gene copies have initially
achieved fixation by positive selection for increased dosage. Nevertheless, enough
examples have accumulated in the literature that such a possibility should be
considered. Here, I review the recent examples of adaptive gene duplications and
make an attempt to draw generalizations on what types of genes may be particularly
prone to be selected for under certain environmental conditions. The identification
of copy-number variation in ecological field studies of species adapting to stressful
or novel environmental conditions may improve our understanding of gene duplications
as a mechanism of adaptation and its relevance to the long-term persistence of
gene duplications.
acknowledgement: The work was supported by a Plan Nacional grant no. BFU2009-09271
from the Spanish Ministry of Science and Innovation. The author is a European Molecular
Biology Organization Young Investigator and Howard Hughes Medical Institute International
Early Career Scientist.
author:
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Kondrashov F. Gene duplication as a mechanism of genomic adaptation to a changing
environment. Proceedings of the Royal Society of London Series B Biological
Sciences. 2012;279(1749):5048-5057. doi:10.1098/rspb.2012.1108
apa: Kondrashov, F. (2012). Gene duplication as a mechanism of genomic adaptation
to a changing environment. Proceedings of the Royal Society of London Series
B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.1108
chicago: Kondrashov, Fyodor. “Gene Duplication as a Mechanism of Genomic Adaptation
to a Changing Environment.” Proceedings of the Royal Society of London Series
B Biological Sciences. Royal Society, The, 2012. https://doi.org/10.1098/rspb.2012.1108.
ieee: F. Kondrashov, “Gene duplication as a mechanism of genomic adaptation to a
changing environment,” Proceedings of the Royal Society of London Series B
Biological Sciences, vol. 279, no. 1749. Royal Society, The, pp. 5048–5057,
2012.
ista: Kondrashov F. 2012. Gene duplication as a mechanism of genomic adaptation
to a changing environment. Proceedings of the Royal Society of London Series B
Biological Sciences. 279(1749), 5048–5057.
mla: Kondrashov, Fyodor. “Gene Duplication as a Mechanism of Genomic Adaptation
to a Changing Environment.” Proceedings of the Royal Society of London Series
B Biological Sciences, vol. 279, no. 1749, Royal Society, The, 2012, pp. 5048–57,
doi:10.1098/rspb.2012.1108.
short: F. Kondrashov, Proceedings of the Royal Society of London Series B Biological
Sciences 279 (2012) 5048–5057.
date_created: 2018-12-11T11:49:01Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T08:21:16Z
day: '01'
doi: 10.1098/rspb.2012.1108
extern: 1
intvolume: ' 279'
issue: '1749'
license: https://creativecommons.org/licenses/by/4.0/
month: '01'
page: 5048 - 5057
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_status: published
publisher: Royal Society, The
publist_id: '6765'
quality_controlled: 0
status: public
title: Gene duplication as a mechanism of genomic adaptation to a changing environment
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: 279
year: '2012'
...
---
_id: '9049'
abstract:
- lang: eng
text: 'Diffusiophoretic motion of colloids and macromolecules under salt gradients
exhibits a logarithmic-sensing, i.e. the particle velocity is proportional to
the spatial gradient of the logarithm of the salt concentration, as VDP = DDP∇logc.
Here we explore experimentally the implications of this log-sensing behavior,
on the basis of a hydrogel microfluidic device allowing to build spatially and
temporally controlled gradients. We first demonstrate that the non-linearity of
the salt-taxis leads to a trapping of particles under concentration gradient oscillations
via a rectification of the motion. As an alternative, we make use of the high
sensitivity of diffusiophoretic migration to vanishing salt concentration due
to the log-sensing: in a counter-intuitive way, a vanishing gradient can lead
to measurable velocity provided that the solute concentration is low enough, thus
keeping ∇c/c finite. We show that this leads to a strong segregation of particles
in osmotic shock configuration, resulting from a step change of the salt concentration
at the boundaries. These various phenomena are rationalized on the basis of a
theoretical description for the time-dependent Smoluchowski equation for the colloidal
density.'
article_processing_charge: No
article_type: original
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. Osmotic traps for colloids
and macromolecules based on logarithmic sensing in salt taxis. Soft Matter.
2012;8(4):980-994. doi:10.1039/c1sm06395b
apa: Palacci, J. A., Cottin-Bizonne, C., Ybert, C., & Bocquet, L. (2012). Osmotic
traps for colloids and macromolecules based on logarithmic sensing in salt taxis.
Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c1sm06395b
chicago: Palacci, Jérémie A, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric
Bocquet. “Osmotic Traps for Colloids and Macromolecules Based on Logarithmic Sensing
in Salt Taxis.” Soft Matter. Royal Society of Chemistry, 2012. https://doi.org/10.1039/c1sm06395b.
ieee: J. A. Palacci, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Osmotic traps
for colloids and macromolecules based on logarithmic sensing in salt taxis,” Soft
Matter, vol. 8, no. 4. Royal Society of Chemistry, pp. 980–994, 2012.
ista: Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2012. Osmotic traps for
colloids and macromolecules based on logarithmic sensing in salt taxis. Soft Matter.
8(4), 980–994.
mla: Palacci, Jérémie A., et al. “Osmotic Traps for Colloids and Macromolecules
Based on Logarithmic Sensing in Salt Taxis.” Soft Matter, vol. 8, no. 4,
Royal Society of Chemistry, 2012, pp. 980–94, doi:10.1039/c1sm06395b.
short: J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Soft Matter 8 (2012)
980–994.
date_created: 2021-02-01T13:43:10Z
date_published: 2012-01-28T00:00:00Z
date_updated: 2023-02-23T13:47:31Z
day: '28'
doi: 10.1039/c1sm06395b
extern: '1'
intvolume: ' 8'
issue: '4'
language:
- iso: eng
month: '01'
oa_version: None
page: 980-994
publication: Soft Matter
publication_identifier:
eissn:
- 1744-6848
issn:
- 1744-683X
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Osmotic traps for colloids and macromolecules based on logarithmic sensing
in salt taxis
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 8
year: '2012'
...
---
_id: '922'
abstract:
- lang: eng
text: 'We study theoretically the morphologies of biological tubes affected by various
pathologies. When epithelial cells grow, the negative tension produced by their
division provokes a buckling instability. Several shapes are investigated: varicose,
dilated, sinuous, or sausagelike. They are all found in pathologies of tracheal,
renal tubes, or arteries. The final shape depends crucially on the mechanical
parameters of the tissues: Young''s modulus, wall-to-lumen ratio, homeostatic
pressure. We argue that since tissues must be in quasistatic mechanical equilibrium,
abnormal shapes convey information as to what causes the pathology. We calculate
a phase diagram of tubular instabilities which could be a helpful guide for investigating
the underlying genetic regulation.'
article_processing_charge: No
author:
- 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: Jacques
full_name: Prost, Jacques
last_name: Prost
- first_name: Jean
full_name: Joanny, Jean
last_name: Joanny
citation:
ama: Hannezo EB, Prost J, Joanny J. Mechanical instabilities of biological tubes.
Physical Review Letters. 2012;109(1). doi:10.1103/PhysRevLett.109.018101
apa: Hannezo, E. B., Prost, J., & Joanny, J. (2012). Mechanical instabilities
of biological tubes. Physical Review Letters. American Physical Society.
https://doi.org/10.1103/PhysRevLett.109.018101
chicago: Hannezo, Edouard B, Jacques Prost, and Jean Joanny. “Mechanical Instabilities
of Biological Tubes.” Physical Review Letters. American Physical Society,
2012. https://doi.org/10.1103/PhysRevLett.109.018101.
ieee: E. B. Hannezo, J. Prost, and J. Joanny, “Mechanical instabilities of biological
tubes,” Physical Review Letters, vol. 109, no. 1. American Physical Society,
2012.
ista: Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological
tubes. Physical Review Letters. 109(1).
mla: Hannezo, Edouard B., et al. “Mechanical Instabilities of Biological Tubes.”
Physical Review Letters, vol. 109, no. 1, American Physical Society, 2012,
doi:10.1103/PhysRevLett.109.018101.
short: E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).
date_created: 2018-12-11T11:49:13Z
date_published: 2012-07-03T00:00:00Z
date_updated: 2021-01-12T08:21:56Z
day: '03'
doi: 10.1103/PhysRevLett.109.018101
extern: '1'
external_id:
arxiv:
- '1207.1516'
intvolume: ' 109'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1207.1516
month: '07'
oa: 1
oa_version: Preprint
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6519'
status: public
title: Mechanical instabilities of biological tubes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 109
year: '2012'
...
---
_id: '9499'
abstract:
- lang: eng
text: EMBRYONIC FLOWER1 (EMF1) is a plant-specific gene crucial to Arabidopsis vegetative
development. Loss of function mutants in the EMF1 gene mimic the phenotype caused
by mutations in Polycomb Group protein (PcG) genes, which encode epigenetic repressors
that regulate many aspects of eukaryotic development. In Arabidopsis, Polycomb
Repressor Complex 2 (PRC2), made of PcG proteins, catalyzes trimethylation of
lysine 27 on histone H3 (H3K27me3) and PRC1-like proteins catalyze H2AK119 ubiquitination.
Despite functional similarity to PcG proteins, EMF1 lacks sequence homology with
known PcG proteins; thus, its role in the PcG mechanism is unclear. To study the
EMF1 functions and its mechanism of action, we performed genome-wide mapping of
EMF1 binding and H3K27me3 modification sites in Arabidopsis seedlings. The EMF1
binding pattern is similar to that of H3K27me3 modification on the chromosomal
and genic level. ChIPOTLe peak finding and clustering analyses both show that
the highly trimethylated genes also have high enrichment levels of EMF1 binding,
termed EMF1_K27 genes. EMF1 interacts with regulatory genes, which are silenced
to allow vegetative growth, and with genes specifying cell fates during growth
and differentiation. H3K27me3 marks not only these genes but also some genes that
are involved in endosperm development and maternal effects. Transcriptome analysis,
coupled with the H3K27me3 pattern, of EMF1_K27 genes in emf1 and PRC2 mutants
showed that EMF1 represses gene activities via diverse mechanisms and plays a
novel role in the PcG mechanism.
article_number: e1002512
article_processing_charge: No
article_type: original
author:
- first_name: Sang Yeol
full_name: Kim, Sang Yeol
last_name: Kim
- first_name: Jungeun
full_name: Lee, Jungeun
last_name: Lee
- first_name: Leor
full_name: Eshed-Williams, Leor
last_name: Eshed-Williams
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
- first_name: Z. Renee
full_name: Sung, Z. Renee
last_name: Sung
citation:
ama: Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. EMF1 and PRC2 cooperate
to repress key regulators of Arabidopsis development. PLoS Genetics. 2012;8(3).
doi:10.1371/journal.pgen.1002512
apa: Kim, S. Y., Lee, J., Eshed-Williams, L., Zilberman, D., & Sung, Z. R. (2012).
EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development.
PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002512
chicago: Kim, Sang Yeol, Jungeun Lee, Leor Eshed-Williams, Daniel Zilberman, and
Z. Renee Sung. “EMF1 and PRC2 Cooperate to Repress Key Regulators of Arabidopsis
Development.” PLoS Genetics. Public Library of Science, 2012. https://doi.org/10.1371/journal.pgen.1002512.
ieee: S. Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, and Z. R. Sung, “EMF1
and PRC2 cooperate to repress key regulators of Arabidopsis development,” PLoS
Genetics, vol. 8, no. 3. Public Library of Science, 2012.
ista: Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EMF1 and PRC2
cooperate to repress key regulators of Arabidopsis development. PLoS Genetics.
8(3), e1002512.
mla: Kim, Sang Yeol, et al. “EMF1 and PRC2 Cooperate to Repress Key Regulators of
Arabidopsis Development.” PLoS Genetics, vol. 8, no. 3, e1002512, Public
Library of Science, 2012, doi:10.1371/journal.pgen.1002512.
short: S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics
8 (2012).
date_created: 2021-06-07T11:07:56Z
date_published: 2012-03-22T00:00:00Z
date_updated: 2021-12-14T08:31:14Z
day: '22'
department:
- _id: DaZi
doi: 10.1371/journal.pgen.1002512
extern: '1'
external_id:
pmid:
- '22457632'
intvolume: ' 8'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1371/journal.pgen.1002512
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS Genetics
publication_identifier:
eissn:
- 1553-7404
issn:
- 1553-7390
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 8
year: '2012'
...
---
_id: '9497'
abstract:
- lang: eng
text: The regulation of eukaryotic chromatin relies on interactions between many
epigenetic factors, including histone modifications, DNA methylation, and the
incorporation of histone variants. H2A.Z, one of the most conserved but enigmatic
histone variants that is enriched at the transcriptional start sites of genes,
has been implicated in a variety of chromosomal processes. Recently, we reported
a genome-wide anticorrelation between H2A.Z and DNA methylation, an epigenetic
hallmark of heterochromatin that has also been found in the bodies of active genes
in plants and animals. Here, we investigate the basis of this anticorrelation
using a novel h2a.z loss-of-function line in Arabidopsis thaliana. Through genome-wide
bisulfite sequencing, we demonstrate that loss of H2A.Z in Arabidopsis has only
a minor effect on the level or profile of DNA methylation in genes, and we propose
that the global anticorrelation between DNA methylation and H2A.Z is primarily
caused by the exclusion of H2A.Z from methylated DNA. RNA sequencing and genomic
mapping of H2A.Z show that H2A.Z enrichment across gene bodies, rather than at
the TSS, is correlated with lower transcription levels and higher measures of
gene responsiveness. Loss of H2A.Z causes misregulation of many genes that are
disproportionately associated with response to environmental and developmental
stimuli. We propose that H2A.Z deposition in gene bodies promotes variability
in levels and patterns of gene expression, and that a major function of genic
DNA methylation is to exclude H2A.Z from constitutively expressed genes.
article_number: e1002988
article_processing_charge: No
article_type: original
author:
- first_name: Devin
full_name: Coleman-Derr, Devin
last_name: Coleman-Derr
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Coleman-Derr D, Zilberman D. Deposition of histone variant H2A.Z within gene
bodies regulates responsive genes. PLoS Genetics. 2012;8(10). doi:10.1371/journal.pgen.1002988
apa: Coleman-Derr, D., & Zilberman, D. (2012). Deposition of histone variant
H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. Public
Library of Science. https://doi.org/10.1371/journal.pgen.1002988
chicago: Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant
H2A.Z within Gene Bodies Regulates Responsive Genes.” PLoS Genetics. Public
Library of Science, 2012. https://doi.org/10.1371/journal.pgen.1002988.
ieee: D. Coleman-Derr and D. Zilberman, “Deposition of histone variant H2A.Z within
gene bodies regulates responsive genes,” PLoS Genetics, vol. 8, no. 10.
Public Library of Science, 2012.
ista: Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant H2A.Z within
gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.
mla: Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant H2A.Z
within Gene Bodies Regulates Responsive Genes.” PLoS Genetics, vol. 8,
no. 10, e1002988, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002988.
short: D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).
date_created: 2021-06-07T10:55:27Z
date_published: 2012-10-11T00:00:00Z
date_updated: 2021-12-14T08:29:57Z
day: '11'
department:
- _id: DaZi
doi: 10.1371/journal.pgen.1002988
extern: '1'
external_id:
pmid:
- '23071449'
intvolume: ' 8'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1371/journal.pgen.1002988
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS Genetics
publication_identifier:
eissn:
- 1553-7404
issn:
- 1553-7390
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Deposition of histone variant H2A.Z within gene bodies regulates responsive
genes
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 8
year: '2012'
...
---
_id: '9528'
abstract:
- lang: eng
text: Accumulating evidence points toward diverse functions for plant chromatin.
Remarkable progress has been made over the last few years in elucidating the mechanisms
for a number of these functions. Activity of the histone demethylase IBM1 accurately
targets DNA methylation to silent repeats and transposable elements, not to genes.
A genetic screen uncovered the surprising role of H2A.Z-containing nucleosomes
in sensing precise differences in ambient temperature and consequent gene regulation.
Precise maintenance of chromosome number is assured by a histone modification
that suppresses inappropriate DNA replication and by centromeric histone H3 regulation
of chromosome segregation. Histones and noncoding RNAs regulate FLOWERING LOCUS
C, the expression of which quantitatively measures the duration of cold exposure,
functioning as memory of winter. These findings are a testament to the power of
using plants to research chromatin organization, and demonstrate examples of how
chromatin functions to achieve biological accuracy, precision, and memory.
article_processing_charge: No
article_type: review
author:
- first_name: Jason T.
full_name: Huff, Jason T.
last_name: Huff
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Huff JT, Zilberman D. Regulation of biological accuracy, precision, and memory
by plant chromatin organization. Current Opinion in Genetics and Development.
2012;22(2):132-138. doi:10.1016/j.gde.2012.01.007
apa: Huff, J. T., & Zilberman, D. (2012). Regulation of biological accuracy,
precision, and memory by plant chromatin organization. Current Opinion in Genetics
and Development. Elsevier. https://doi.org/10.1016/j.gde.2012.01.007
chicago: Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy,
Precision, and Memory by Plant Chromatin Organization.” Current Opinion in
Genetics and Development. Elsevier, 2012. https://doi.org/10.1016/j.gde.2012.01.007.
ieee: J. T. Huff and D. Zilberman, “Regulation of biological accuracy, precision,
and memory by plant chromatin organization,” Current Opinion in Genetics and
Development, vol. 22, no. 2. Elsevier, pp. 132–138, 2012.
ista: Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision,
and memory by plant chromatin organization. Current Opinion in Genetics and Development.
22(2), 132–138.
mla: Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision,
and Memory by Plant Chromatin Organization.” Current Opinion in Genetics and
Development, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:10.1016/j.gde.2012.01.007.
short: J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012)
132–138.
date_created: 2021-06-08T08:58:52Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2021-12-14T08:32:38Z
department:
- _id: DaZi
doi: 10.1016/j.gde.2012.01.007
extern: '1'
external_id:
pmid:
- '22336527'
intvolume: ' 22'
issue: '2'
language:
- iso: eng
month: '04'
oa_version: None
page: 132-138
pmid: 1
publication: Current Opinion in Genetics and Development
publication_identifier:
issn:
- 0959-437X
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Regulation of biological accuracy, precision, and memory by plant chromatin
organization
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 22
year: '2012'
...
---
_id: '966'
abstract:
- lang: eng
text: Motivated by recent experiments on Ba3NiSb2O 9, we investigate possible quantum
spin liquid ground states for spin S=1 Heisenberg models on the triangular lattice.
We use variational Monte Carlo techniques to calculate the energies of microscopic
spin liquid wave functions where spin is represented by three flavors of fermionic
spinon operators. These energies are compared with the energies of various competing
three-sublattice ordered states. Our approach shows that the antiferromagnetic
Heisenberg model with biquadratic term and single-ion anisotropy does not have
a low-temperature spin liquid phase. However, for an SU(3)-invariant model with
sufficiently strong ring-exchange terms, we find a paired chiral quantum spin
liquid with a Fermi surface of deconfined spinons that is stable against all types
of ordering patterns we considered. We discuss the physics of this exotic spin
liquid state in relation to the recent experiment and suggest new ways to test
this scenario.
acknowledgement: We thank Kuang-Ting Chen, Rebecca Flint, Dmitri Ivanov, Z.-X. Liu,
Tai-Kai Ng, Lara Thompson, Tamás Tóth, and Fa Wang for helpful discussions. T.S.
is supported by NSF DMR 1005434. P.A.L. is supported by NSF DMR 1104498. S.B. acknowledges
support from the Swiss National Science Foundation (SNSF).
author:
- first_name: Samuel
full_name: Bieri, Samuel
last_name: Bieri
- first_name: Maksym
full_name: Maksym Serbyn
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
- first_name: Todadri
full_name: Senthil, Todadri S
last_name: Senthil
- first_name: Patrick
full_name: Lee, Patrick
last_name: Lee
citation:
ama: Bieri S, Serbyn M, Senthil T, Lee P. Paired chiral spin liquid with a Fermi
surface in S=1 model on the triangular lattice. Physical Review B - Condensed
Matter and Materials Physics. 2012;86(22). doi:10.1103/PhysRevB.86.224409
apa: Bieri, S., Serbyn, M., Senthil, T., & Lee, P. (2012). Paired chiral spin
liquid with a Fermi surface in S=1 model on the triangular lattice. Physical
Review B - Condensed Matter and Materials Physics. American Physical Society.
https://doi.org/10.1103/PhysRevB.86.224409
chicago: Bieri, Samuel, Maksym Serbyn, Todadri Senthil, and Patrick Lee. “Paired
Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.”
Physical Review B - Condensed Matter and Materials Physics. American Physical
Society, 2012. https://doi.org/10.1103/PhysRevB.86.224409.
ieee: S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with
a Fermi surface in S=1 model on the triangular lattice,” Physical Review B
- Condensed Matter and Materials Physics, vol. 86, no. 22. American Physical
Society, 2012.
ista: Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with
a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed
Matter and Materials Physics. 86(22).
mla: Bieri, Samuel, et al. “Paired Chiral Spin Liquid with a Fermi Surface in S=1
Model on the Triangular Lattice.” Physical Review B - Condensed Matter and
Materials Physics, vol. 86, no. 22, American Physical Society, 2012, doi:10.1103/PhysRevB.86.224409.
short: S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter
and Materials Physics 86 (2012).
date_created: 2018-12-11T11:49:27Z
date_published: 2012-12-13T00:00:00Z
date_updated: 2021-01-12T08:22:18Z
day: '13'
doi: 10.1103/PhysRevB.86.224409
extern: 1
intvolume: ' 86'
issue: '22'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1208.3231
month: '12'
oa: 1
publication: Physical Review B - Condensed Matter and Materials Physics
publication_status: published
publisher: American Physical Society
publist_id: '6431'
quality_controlled: 0
status: public
title: Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular
lattice
type: journal_article
volume: 86
year: '2012'
...
---
_id: '2968'
abstract:
- lang: eng
text: Little is known about the stability of trophic relationships in complex natural
communities over evolutionary timescales. Here, we use sequence data from 18 nuclear
loci to reconstruct and compare the intraspecific histories of major Pleistocene
refugial populations in the Middle East, the Balkans and Iberia in a guild of
four Chalcid parasitoids (Cecidostiba fungosa, Cecidostiba semifascia, Hobbya
stenonota and Mesopolobus amaenus) all attacking Cynipid oak galls. We develop
a likelihood method to numerically estimate models of divergence between three
populations from multilocus data. We investigate the power of this framework on
simulated data, and-using triplet alignments of intronic loci-quantify the support
for all possible divergence relationships between refugial populations in the
four parasitoids. Although an East to West order of population divergence has
highest support in all but one species, we cannot rule out alternative population
tree topologies. Comparing the estimated times of population splits between species,
we find that one species, M. amaenus, has a significantly older history than the
rest of the guild and must have arrived in central Europe at least one glacial
cycle prior to other guild members. This suggests that although all four species
may share a common origin in the East, they expanded westwards into Europe at
different times. © 2012 Blackwell Publishing Ltd.
acknowledgement: "This work was supported by funding from the UK Natural Environment
Research Council to KL (NE/I020288/1) and GS (NE/H000038/1, NE/E014453/1, NER/B/504406/1,
NER/B/S2003/00856) and a grant from the European Research Council (250152) to NB.\r\nWe
thank Majide Tavakoli, Juli Pujade-Villar and Pablo-Fuentes Utrilla for contributing
specimens. Mike Hickerson and three anonymous reviewers gave helpful comments on
earlier versions of the manuscript. "
author:
- first_name: Konrad
full_name: Lohse, Konrad
last_name: Lohse
- 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: George
full_name: Melika, George
last_name: Melika
- first_name: Graham
full_name: Stone, Graham
last_name: Stone
citation:
ama: Lohse K, Barton NH, Melika G, Stone G. A likelihood based comparison of population
histories in a parasitoid guild. Molecular Ecology. 2012;21(18):4605-4617.
doi:10.1111/j.1365-294X.2012.05700.x
apa: Lohse, K., Barton, N. H., Melika, G., & Stone, G. (2012). A likelihood
based comparison of population histories in a parasitoid guild. Molecular Ecology.
Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05700.x
chicago: Lohse, Konrad, Nicholas H Barton, George Melika, and Graham Stone. “A Likelihood
Based Comparison of Population Histories in a Parasitoid Guild.” Molecular
Ecology. Wiley-Blackwell, 2012. https://doi.org/10.1111/j.1365-294X.2012.05700.x.
ieee: K. Lohse, N. H. Barton, G. Melika, and G. Stone, “A likelihood based comparison
of population histories in a parasitoid guild,” Molecular Ecology, vol.
21, no. 18. Wiley-Blackwell, pp. 4605–4617, 2012.
ista: Lohse K, Barton NH, Melika G, Stone G. 2012. A likelihood based comparison
of population histories in a parasitoid guild. Molecular Ecology. 21(18), 4605–4617.
mla: Lohse, Konrad, et al. “A Likelihood Based Comparison of Population Histories
in a Parasitoid Guild.” Molecular Ecology, vol. 21, no. 18, Wiley-Blackwell,
2012, pp. 4605–17, doi:10.1111/j.1365-294X.2012.05700.x.
short: K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
date_created: 2018-12-11T12:00:36Z
date_published: 2012-09-01T00:00:00Z
date_updated: 2023-05-30T13:07:47Z
day: '01'
ddc:
- '570'
- '579'
department:
- _id: NiBa
doi: 10.1111/j.1365-294X.2012.05700.x
ec_funded: 1
file:
- access_level: open_access
checksum: c14ee4cb2a8ba9575bfd8a9bb7a883bb
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:47Z
date_updated: 2020-07-14T12:45:57Z
file_id: '5304'
file_name: IST-2014-296-v1+1_4_wasps_revised3.pdf
file_size: 235820
relation: main_file
- access_level: open_access
checksum: f00afc5b887c8222014b57375b8caece
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:48Z
date_updated: 2020-07-14T12:45:57Z
file_id: '5305'
file_name: IST-2014-296-v1+2_4_wasps_Supporting2.pdf
file_size: 41975
relation: main_file
file_date_updated: 2020-07-14T12:45:57Z
has_accepted_license: '1'
intvolume: ' 21'
issue: '18'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 4605 - 4617
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '250152'
name: Limits to selection in biology and in evolutionary computation
publication: Molecular Ecology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3746'
pubrep_id: '296'
quality_controlled: '1'
related_material:
record:
- id: '13075'
relation: research_data
status: public
scopus_import: 1
status: public
title: A likelihood based comparison of population histories in a parasitoid guild
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2012'
...
---
_id: '13075'
abstract:
- lang: eng
text: Little is known about the stability of trophic relationships in complex natural
communities over evolutionary timescales. Here, we use sequence data from 18 nuclear
loci to reconstruct and compare the intraspecific histories of major Pleistocene
refugial populations in the Middle East, the Balkans and Iberia in a guild of
four Chalcid parasitoids (Cecidostiba fungosa, C. semifascia, Hobbya stenonota
and Mesopolobus amaenus) all attacking Cynipid oak galls. We develop a likelihood
method to numerically estimate models of divergence between three populations
from multilocus data. We investigate the power of this framework on simulated
data, and - using triplet alignments of intronic loci - quantify the support for
all possible divergence relationships between refugial populations in the four
parasitoids. Although an East to West order of population divergence has highest
support in all but one species, we cannot rule out alternative population tree
topologies. Comparing the estimated times of population splits between species,
we find that one species, M. amaenus, has a significantly older history than the
rest of the guild and must have arrived in central Europe at least one glacial
cycle prior to other guild members. This suggests that although all four species
may share a common origin in the East, they expanded westwards into Europe at
different times.
article_processing_charge: No
author:
- first_name: Konrad
full_name: Lohse, Konrad
last_name: Lohse
- 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: Graham
full_name: Stone, Graham
last_name: Stone
- first_name: George
full_name: Melika, George
last_name: Melika
citation:
ama: 'Lohse K, Barton NH, Stone G, Melika G. Data from: A likelihood-based comparison
of population histories in a parasitoid guild. 2012. doi:10.5061/DRYAD.0G0FS'
apa: 'Lohse, K., Barton, N. H., Stone, G., & Melika, G. (2012). Data from: A
likelihood-based comparison of population histories in a parasitoid guild. Dryad.
https://doi.org/10.5061/DRYAD.0G0FS'
chicago: 'Lohse, Konrad, Nicholas H Barton, Graham Stone, and George Melika. “Data
from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild.”
Dryad, 2012. https://doi.org/10.5061/DRYAD.0G0FS.'
ieee: 'K. Lohse, N. H. Barton, G. Stone, and G. Melika, “Data from: A likelihood-based
comparison of population histories in a parasitoid guild.” Dryad, 2012.'
ista: 'Lohse K, Barton NH, Stone G, Melika G. 2012. Data from: A likelihood-based
comparison of population histories in a parasitoid guild, Dryad, 10.5061/DRYAD.0G0FS.'
mla: 'Lohse, Konrad, et al. Data from: A Likelihood-Based Comparison of Population
Histories in a Parasitoid Guild. Dryad, 2012, doi:10.5061/DRYAD.0G0FS.'
short: K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
date_created: 2023-05-23T17:01:02Z
date_published: 2012-06-08T00:00:00Z
date_updated: 2023-05-30T13:07:48Z
day: '08'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.5061/DRYAD.0G0FS
license: https://creativecommons.org/publicdomain/zero/1.0/
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.0g0fs
month: '06'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2968'
relation: used_in_publication
status: public
status: public
title: 'Data from: A likelihood-based comparison of population histories in a parasitoid
guild'
tmp:
image: /images/cc_0.png
legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
name: Creative Commons Public Domain Dedication (CC0 1.0)
short: CC0 (1.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '13407'
abstract:
- lang: eng
text: We show that diamagnetic particles can be remotely manipulated by a magnet
by the reversible adsorption of dual-responsive, light-switchable/superparamagnetic
nanoparticles down to their surface. Adsorption occurs upon exposure to UV light,
and can be reversed thermally or by ambient light. The dynamic self-assembly of
thin films of the dual-responsive nanoparticles induces attractive interactions
between diamagnetic particles. We demonstrate that catalytic amounts of the dual-responsive
nanoparticles are sufficient to magnetically guide and deliver the diamagnetic
particles to desired locations, where they can then be released by disassembling
the dynamic layers of superparamagnetic nanoparticles with visible light.
article_processing_charge: No
article_type: original
author:
- first_name: Olga
full_name: Chovnik, Olga
last_name: Chovnik
- first_name: Renata
full_name: Balgley, Renata
last_name: Balgley
- first_name: Joel R.
full_name: Goldman, Joel R.
last_name: Goldman
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Chovnik O, Balgley R, Goldman JR, Klajn R. Dynamically self-assembling carriers
enable guiding of diamagnetic particles by weak magnets. Journal of the American
Chemical Society. 2012;134(48):19564-19567. doi:10.1021/ja309633v
apa: Chovnik, O., Balgley, R., Goldman, J. R., & Klajn, R. (2012). Dynamically
self-assembling carriers enable guiding of diamagnetic particles by weak magnets.
Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja309633v
chicago: Chovnik, Olga, Renata Balgley, Joel R. Goldman, and Rafal Klajn. “Dynamically
Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.”
Journal of the American Chemical Society. American Chemical Society, 2012.
https://doi.org/10.1021/ja309633v.
ieee: O. Chovnik, R. Balgley, J. R. Goldman, and R. Klajn, “Dynamically self-assembling
carriers enable guiding of diamagnetic particles by weak magnets,” Journal
of the American Chemical Society, vol. 134, no. 48. American Chemical Society,
pp. 19564–19567, 2012.
ista: Chovnik O, Balgley R, Goldman JR, Klajn R. 2012. Dynamically self-assembling
carriers enable guiding of diamagnetic particles by weak magnets. Journal of the
American Chemical Society. 134(48), 19564–19567.
mla: Chovnik, Olga, et al. “Dynamically Self-Assembling Carriers Enable Guiding
of Diamagnetic Particles by Weak Magnets.” Journal of the American Chemical
Society, vol. 134, no. 48, American Chemical Society, 2012, pp. 19564–67,
doi:10.1021/ja309633v.
short: O. Chovnik, R. Balgley, J.R. Goldman, R. Klajn, Journal of the American Chemical
Society 134 (2012) 19564–19567.
date_created: 2023-08-01T09:47:42Z
date_published: 2012-11-26T00:00:00Z
date_updated: 2023-08-08T07:51:10Z
day: '26'
doi: 10.1021/ja309633v
extern: '1'
external_id:
pmid:
- '23181449'
intvolume: ' 134'
issue: '48'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
month: '11'
oa_version: Published Version
page: 19564-19567
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dynamically self-assembling carriers enable guiding of diamagnetic particles
by weak magnets
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 134
year: '2012'
...
---
_id: '13408'
abstract:
- lang: eng
text: Well-defined metallic nanobowls can be prepared by extending the concept of
a protecting group to colloidal synthesis. Magnetic nanoparticles are employed
as “protecting groups” during the galvanic replacement of silver with gold. The
replacement reaction is accompanied by spontantous dissociation of the protecting
groups, leaving behind metallic nanobowls.
article_processing_charge: No
article_type: original
author:
- first_name: Yonatan
full_name: Ridelman, Yonatan
last_name: Ridelman
- first_name: Gurvinder
full_name: Singh, Gurvinder
last_name: Singh
- first_name: Ronit
full_name: Popovitz-Biro, Ronit
last_name: Popovitz-Biro
- first_name: Sharon G.
full_name: Wolf, Sharon G.
last_name: Wolf
- first_name: Sanjib
full_name: Das, Sanjib
last_name: Das
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. Metallic nanobowls
by galvanic replacement reaction on heterodimeric nanoparticles. Small.
2012;8(5):654-660. doi:10.1002/smll.201101882
apa: Ridelman, Y., Singh, G., Popovitz-Biro, R., Wolf, S. G., Das, S., & Klajn,
R. (2012). Metallic nanobowls by galvanic replacement reaction on heterodimeric
nanoparticles. Small. Wiley. https://doi.org/10.1002/smll.201101882
chicago: Ridelman, Yonatan, Gurvinder Singh, Ronit Popovitz-Biro, Sharon G. Wolf,
Sanjib Das, and Rafal Klajn. “Metallic Nanobowls by Galvanic Replacement Reaction
on Heterodimeric Nanoparticles.” Small. Wiley, 2012. https://doi.org/10.1002/smll.201101882.
ieee: Y. Ridelman, G. Singh, R. Popovitz-Biro, S. G. Wolf, S. Das, and R. Klajn,
“Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles,”
Small, vol. 8, no. 5. Wiley, pp. 654–660, 2012.
ista: Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. 2012. Metallic
nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small.
8(5), 654–660.
mla: Ridelman, Yonatan, et al. “Metallic Nanobowls by Galvanic Replacement Reaction
on Heterodimeric Nanoparticles.” Small, vol. 8, no. 5, Wiley, 2012, pp.
654–60, doi:10.1002/smll.201101882.
short: Y. Ridelman, G. Singh, R. Popovitz-Biro, S.G. Wolf, S. Das, R. Klajn, Small
8 (2012) 654–660.
date_created: 2023-08-01T09:47:55Z
date_published: 2012-03-12T00:00:00Z
date_updated: 2023-08-08T07:55:10Z
day: '12'
doi: 10.1002/smll.201101882
extern: '1'
external_id:
pmid:
- '22392681'
intvolume: ' 8'
issue: '5'
keyword:
- Biomaterials
- Biotechnology
- General Materials Science
- General Chemistry
language:
- iso: eng
month: '03'
oa_version: None
page: 654-660
pmid: 1
publication: Small
publication_identifier:
eissn:
- 1613-6829
issn:
- 1613-6810
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2012'
...
---
_id: '10903'
abstract:
- lang: eng
text: We propose a logic-based framework for automated reasoning about sequential
programs manipulating singly-linked lists and arrays with unbounded data. We introduce
the logic SLAD, which allows combining shape constraints, written in a fragment
of Separation Logic, with data and size constraints. We address the problem of
checking the entailment between SLAD formulas, which is crucial in performing
pre-post condition reasoning. Although this problem is undecidable in general
for SLAD, we propose a sound and powerful procedure that is able to solve this
problem for a large class of formulas, beyond the capabilities of existing techniques
and tools. We prove that this procedure is complete, i.e., it is actually a decision
procedure for this problem, for an important fragment of SLAD including known
decidable logics. We implemented this procedure and shown its preciseness and
its efficiency on a significant benchmark of formulas.
acknowledgement: This work has been partially supported by the French ANR project
Veridyc
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ahmed
full_name: Bouajjani, Ahmed
last_name: Bouajjani
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- first_name: Constantin
full_name: Enea, Constantin
last_name: Enea
- first_name: Mihaela
full_name: Sighireanu, Mihaela
last_name: Sighireanu
citation:
ama: 'Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for
programs manipulating lists and arrays with infinite data. In: Automated Technology
for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer;
2012:167-182. doi:10.1007/978-3-642-33386-6_14'
apa: 'Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate
invariant checking for programs manipulating lists and arrays with infinite data.
In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182).
Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14'
chicago: 'Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu.
“Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite
Data.” In Automated Technology for Verification and Analysis, 7561:167–82.
LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_14.'
ieee: A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking
for programs manipulating lists and arrays with infinite data,” in Automated
Technology for Verification and Analysis, Thiruvananthapuram, India, 2012,
vol. 7561, pp. 167–182.
ista: 'Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking
for programs manipulating lists and arrays with infinite data. Automated Technology
for Verification and Analysis. ATVA: Automated Technology for Verification and
AnalysisLNCS, LNCS, vol. 7561, 167–182.'
mla: Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating
Lists and Arrays with Infinite Data.” Automated Technology for Verification
and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
short: A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology
for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
conference:
end_date: 2012-10-06
location: Thiruvananthapuram, India
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2012-10-03
date_created: 2022-03-21T07:58:39Z
date_published: 2012-10-15T00:00:00Z
date_updated: 2023-09-05T14:07:24Z
day: '15'
department:
- _id: ToHe
doi: 10.1007/978-3-642-33386-6_14
intvolume: ' 7561'
language:
- iso: eng
month: '10'
oa_version: None
page: 167-182
place: Berlin, Heidelberg
publication: Automated Technology for Verification and Analysis
publication_identifier:
eisbn:
- '9783642333866'
eissn:
- 1611-3349
isbn:
- '9783642333859'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: Accurate invariant checking for programs manipulating lists and arrays with
infinite data
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7561
year: '2012'
...
---
_id: '10905'
abstract:
- lang: eng
text: "Energy games belong to a class of turn-based two-player infinite-duration
games played on a weighted directed graph. It is one of the rare and intriguing
combinatorial problems that lie in NP ∩ co−NP, but are not known to be in P. While
the existence of polynomial-time algorithms has been a major open problem for
decades, there is no algorithm that solves any non-trivial subclass in polynomial
time.\r\nIn this paper, we give several results based on the weight structures
of the graph. First, we identify a notion of penalty and present a polynomial-time
algorithm when the penalty is large. Our algorithm is the first polynomial-time
algorithm on a large class of weighted graphs. It includes several counter examples
that show that many previous algorithms, such as value iteration and random facet
algorithms, require at least sub-exponential time. Our main technique is developing
the first non-trivial approximation algorithm and showing how to convert it to
an exact algorithm. Moreover, we show that in a practical case in verification
where weights are clustered around a constant number of values, the energy game
problem can be solved in polynomial time. We also show that the problem is still
as hard as in general when the clique-width is bounded or the graph is strongly
ergodic, suggesting that restricting graph structures need not help."
acknowledgement: 'Supported by the Austrian Science Fund (FWF): P23499-N23, the Austrian
Science Fund (FWF): S11407-N23 (RiSE), an ERC Start Grant (279307: Graph Games),
and a Microsoft Faculty Fellows Award'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Sebastian
full_name: Krinninger, Sebastian
last_name: Krinninger
- first_name: Danupon
full_name: Nanongkai, Danupon
last_name: Nanongkai
citation:
ama: 'Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms
for energy games with special weight structures. In: Algorithms – ESA 2012.
Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27'
apa: 'Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2012).
Polynomial-time algorithms for energy games with special weight structures. In
Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer.
https://doi.org/10.1007/978-3-642-33090-2_27'
chicago: Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon
Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”
In Algorithms – ESA 2012, 7501:301–12. Springer, 2012. https://doi.org/10.1007/978-3-642-33090-2_27.
ieee: K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time
algorithms for energy games with special weight structures,” in Algorithms
– ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
ista: 'Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time
algorithms for energy games with special weight structures. Algorithms – ESA 2012.
ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.'
mla: Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games
with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer,
2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
short: K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms
– ESA 2012, Springer, 2012, pp. 301–312.
conference:
end_date: 2012-09-12
location: Ljubljana, Slovenia
name: 'ESA: European Symposium on Algorithms'
start_date: 2012-09-10
date_created: 2022-03-21T08:01:45Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2023-09-05T14:09:30Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-33090-2_27
ec_funded: 1
external_id:
arxiv:
- '1604.08234'
intvolume: ' 7501'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.08234
month: '10'
oa: 1
oa_version: Preprint
page: 301-312
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Algorithms – ESA 2012
publication_identifier:
eisbn:
- '9783642330902'
eissn:
- 1611-3349
isbn:
- '9783642330896'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
related_material:
record:
- id: '535'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Polynomial-time algorithms for energy games with special weight structures
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7501
year: '2012'
...
---
_id: '10906'
abstract:
- lang: eng
text: HSF(C) is a tool that automates verification of safety and liveness properties
for C programs. This paper describes the verification approach taken by HSF(C)
and provides instructions on how to install and use the tool.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sergey
full_name: Grebenshchikov, Sergey
last_name: Grebenshchikov
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Nuno P.
full_name: Lopes, Nuno P.
last_name: Lopes
- first_name: Corneliu
full_name: Popeea, Corneliu
last_name: Popeea
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
citation:
ama: 'Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software
verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms
for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg:
Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46'
apa: 'Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko,
A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan &
B. König (Eds.), Tools and Algorithms for the Construction and Analysis of
Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46'
chicago: 'Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea,
and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In
Tools and Algorithms for the Construction and Analysis of Systems, edited
by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer,
2012. https://doi.org/10.1007/978-3-642-28756-5_46.'
ieee: 'S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko,
“HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms
for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol.
7214, pp. 549–551.'
ista: 'Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C):
A software verifier based on Horn clauses. Tools and Algorithms for the Construction
and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and
Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.'
mla: 'Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn
Clauses.” Tools and Algorithms for the Construction and Analysis of Systems,
edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51,
doi:10.1007/978-3-642-28756-5_46.'
short: S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:,
C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis
of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
conference:
end_date: 2012-04-01
location: Tallinn, Estonia
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2012-03-24
date_created: 2022-03-21T08:03:30Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2023-09-05T14:09:54Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-28756-5_46
editor:
- first_name: Cormac
full_name: Flanagan, Cormac
last_name: Flanagan
- first_name: Barbara
full_name: König, Barbara
last_name: König
intvolume: ' 7214'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-642-28756-5_46
month: '04'
oa: 1
oa_version: Published Version
page: 549-551
place: Berlin, Heidelberg
publication: Tools and Algorithms for the Construction and Analysis of Systems
publication_identifier:
eisbn:
- '9783642287565'
eissn:
- 1611-3349
isbn:
- '9783642287558'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: 'HSF(C): A software verifier based on Horn clauses'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7214
year: '2012'
...
---
_id: '5745'
article_processing_charge: No
author:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
last_name: Gupta
citation:
ama: 'Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In:
Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin,
Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:10.1007/978-3-642-33386-6_10'
apa: 'Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction.
In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121).
Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10'
chicago: 'Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof
Reduction.” In Automated Technology for Verification and Analysis, 7561:107–21.
LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.'
ieee: 'A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,”
in Automated Technology for Verification and Analysis, vol. 7561, Berlin,
Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.'
ista: 'Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction.
In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.'
mla: Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.”
Automated Technology for Verification and Analysis, vol. 7561, Springer
Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
short: A. Gupta, in:, Automated Technology for Verification and Analysis, Springer
Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
conference:
end_date: 2012-10-06
location: Thiruvananthapuram, Kerala, India
name: ATVA 2012
start_date: 2012-10-03
date_created: 2018-12-18T13:01:46Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2023-09-05T14:15:29Z
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-33386-6_10
ec_funded: 1
file:
- access_level: open_access
checksum: 68415837a315de3cc4d120f6019d752c
content_type: application/pdf
creator: dernst
date_created: 2018-12-18T13:07:35Z
date_updated: 2020-07-14T12:47:10Z
file_id: '5746'
file_name: 2012_ATVA_Gupta.pdf
file_size: 465502
relation: main_file
file_date_updated: 2020-07-14T12:47:10Z
has_accepted_license: '1'
intvolume: ' 7561'
language:
- iso: eng
oa: 1
oa_version: None
page: 107-121
place: Berlin, Heidelberg
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication: Automated Technology for Verification and Analysis
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783642333859'
- '9783642333866'
issn:
- 0302-9743
publication_status: published
publisher: Springer Berlin Heidelberg
pubrep_id: '180'
quality_controlled: '1'
series_title: LNCS
status: public
title: Improved Single Pass Algorithms for Resolution Proof Reduction
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7561
year: '2012'
...
---
_id: '3251'
abstract:
- lang: eng
text: Many infinite state systems can be seen as well-structured transition systems
(WSTS), i.e., systems equipped with a well-quasi-ordering on states that is also
a simulation relation. WSTS are an attractive target for formal analysis because
there exist generic algorithms that decide interesting verification problems for
this class. Among the most popular algorithms are acceleration-based forward analyses
for computing the covering set. Termination of these algorithms can only be guaranteed
for flattable WSTS. Yet, many WSTS of practical interest are not flattable and
the question whether any given WSTS is flattable is itself undecidable. We therefore
propose an analysis that computes the covering set and captures the essence of
acceleration-based algorithms, but sacrifices precision for guaranteed termination.
Our analysis is an abstract interpretation whose abstract domain builds on the
ideal completion of the well-quasi-ordered state space, and a widening operator
that mimics acceleration and controls the loss of precision of the analysis. We
present instances of our framework for various classes of WSTS. Our experience
with a prototype implementation indicates that, despite the inherent precision
loss, our analysis often computes the precise covering set of the analyzed system.
acknowledgement: This research was supported in part by the European Research Council
(ERC) Advanced Investigator Grant QUAREM and by the Austrian Science Fund (FWF)
project S11402-N23.
alternative_title:
- LNCS
author:
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition
systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29'
apa: 'Zufferey, D., Wies, T., & Henzinger, T. A. (2012). Ideal abstractions
for well structured transition systems (Vol. 7148, pp. 445–460). Presented at
the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia,
PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_29'
chicago: Zufferey, Damien, Thomas Wies, and Thomas A Henzinger. “Ideal Abstractions
for Well Structured Transition Systems,” 7148:445–60. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_29.
ieee: 'D. Zufferey, T. Wies, and T. A. Henzinger, “Ideal abstractions for well structured
transition systems,” presented at the VMCAI: Verification, Model Checking and
Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 445–460.'
ista: 'Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured
transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation,
LNCS, vol. 7148, 445–460.'
mla: Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition
Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
short: D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
conference:
end_date: 2012-01-24
location: Philadelphia, PA, USA
name: 'VMCAI: Verification, Model Checking and Abstract Interpretation'
start_date: 2012-01-22
date_created: 2018-12-11T12:02:16Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2023-09-07T11:36:36Z
day: '01'
ddc:
- '000'
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-27940-9_29
ec_funded: 1
file:
- access_level: open_access
checksum: f2f0d55efa32309ad1fe65a5fcaad90c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:35Z
date_updated: 2020-07-14T12:46:05Z
file_id: '4759'
file_name: IST-2012-100-v1+1_Ideal_abstractions_for_well-structured_transition_systems.pdf
file_size: 217104
relation: main_file
file_date_updated: 2020-07-14T12:46:05Z
has_accepted_license: '1'
intvolume: ' 7148'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 445 - 460
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '3406'
pubrep_id: '100'
quality_controlled: '1'
related_material:
record:
- id: '1405'
relation: dissertation_contains
status: public
status: public
title: Ideal abstractions for well structured transition systems
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7148
year: '2012'
...
---
_id: '3157'
abstract:
- lang: eng
text: Colorectal tumours that are wild type for KRAS are often sensitive to EGFR
blockade, but almost always develop resistance within several months of initiating
therapy. The mechanisms underlying this acquired resistance to anti-EGFR antibodies
are largely unknown. This situation is in marked contrast to that of small-molecule
targeted agents, such as inhibitors of ABL, EGFR, BRAF and MEK, in which mutations
in the genes encoding the protein targets render the tumours resistant to the
effects of the drugs. The simplest hypothesis to account for the development of
resistance to EGFR blockade is that rare cells with KRAS mutations pre-exist at
low levels in tumours with ostensibly wild-type KRAS genes. Although this hypothesis
would seem readily testable, there is no evidence in pre-clinical models to support
it, nor is there data from patients. To test this hypothesis, we determined whether
mutant KRAS DNA could be detected in the circulation of 28 patients receiving
monotherapy with panitumumab, a therapeutic anti-EGFR antibody. We found that
9 out of 24 (38%) patients whose tumours were initially KRAS wild type developed
detectable mutations in KRAS in their sera, three of which developed multiple
different KRAS mutations. The appearance of these mutations was very consistent,
generally occurring between 5 and 6months following treatment. Mathematical modelling
indicated that the mutations were present in expanded subclones before the initiation
of panitumumab treatment. These results suggest that the emergence of KRAS mutations
is a mediator of acquired resistance to EGFR blockade and that these mutations
can be detected in a non-invasive manner. They explain why solid tumours develop
resistance to targeted therapies in a highly reproducible fashion.
author:
- first_name: Luis
full_name: Diaz Jr, Luis
last_name: Diaz Jr
- first_name: Richard
full_name: Williams, Richard
last_name: Williams
- first_name: Jian
full_name: Wu, Jian
last_name: Wu
- first_name: Isaac
full_name: Kinde, Isaac
last_name: Kinde
- first_name: Joel
full_name: Hecht, Joel
last_name: Hecht
- first_name: Jordan
full_name: Berlin, Jordan
last_name: Berlin
- first_name: Benjamin
full_name: Allen, Benjamin
last_name: Allen
- first_name: Ivana
full_name: Božić, Ivana
last_name: Božić
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
- first_name: Kenneth
full_name: Kinzler, Kenneth
last_name: Kinzler
- first_name: Kelly
full_name: Oliner, Kelly
last_name: Oliner
- first_name: Bert
full_name: Vogelstein, Bert
last_name: Vogelstein
citation:
ama: Diaz Jr L, Williams R, Wu J, et al. The molecular evolution of acquired resistance
to targeted EGFR blockade in colorectal cancers. Nature. 2012;486(7404):537-540.
doi:10.1038/nature11219
apa: Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein,
B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade
in colorectal cancers. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11219
chicago: Diaz Jr, Luis, Richard Williams, Jian Wu, Isaac Kinde, Joel Hecht, Jordan
Berlin, Benjamin Allen, et al. “The Molecular Evolution of Acquired Resistance
to Targeted EGFR Blockade in Colorectal Cancers.” Nature. Nature Publishing
Group, 2012. https://doi.org/10.1038/nature11219.
ieee: L. Diaz Jr et al., “The molecular evolution of acquired resistance
to targeted EGFR blockade in colorectal cancers,” Nature, vol. 486, no.
7404. Nature Publishing Group, pp. 537–540, 2012.
ista: Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I,
Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution
of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature.
486(7404), 537–540.
mla: Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted
EGFR Blockade in Colorectal Cancers.” Nature, vol. 486, no. 7404, Nature
Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.
short: L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen,
I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486
(2012) 537–540.
date_created: 2018-12-11T12:01:43Z
date_published: 2012-06-28T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '28'
department:
- _id: KrCh
doi: 10.1038/nature11219
ec_funded: 1
external_id:
pmid:
- '22722843'
intvolume: ' 486'
issue: '7404'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3436069/
month: '06'
oa: 1
oa_version: Submitted Version
page: 537 - 540
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '3537'
quality_controlled: '1'
related_material:
record:
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: The molecular evolution of acquired resistance to targeted EGFR blockade in
colorectal cancers
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 486
year: '2012'
...
---
_id: '3260'
abstract:
- lang: eng
text: "Many scenarios in the living world, where individual organisms compete for
winning positions (or resources), have properties of auctions. Here we study the
evolution of bids in biological auctions. For each auction, n individuals are
drawn at random from a population of size N. Each individual makes a bid which
entails a cost. The winner obtains a benefit of a certain value. Costs and benefits
are translated into reproductive success (fitness). Therefore, successful bidding
strategies spread in the population. We compare two types of auctions. In “biological
all-pay auctions”, the costs are the bid for every participating individual. In
“biological second price all-pay auctions”, the cost for everyone other than the
winner is the bid, but the cost for the winner is the second highest bid. Second
price all-pay auctions are generalizations of the “war of attrition” introduced
by Maynard Smith. We study evolutionary dynamics in both types of auctions. We
calculate pairwise invasion plots and evolutionarily stable distributions over
the continuous strategy space. We find that the average bid in second price all-pay
auctions is higher than in all-pay auctions, but the average cost for the winner
is similar in both auctions. In both cases, the average bid is a declining function
of the number of participants, n. The more individuals participate in an auction
the smaller is the chance of winning, and thus expensive bids must be avoided.\r\n"
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Chatterjee K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions.
Theoretical Population Biology. 2012;81(1):69-80. doi:10.1016/j.tpb.2011.11.003
apa: Chatterjee, K., Reiter, J., & Nowak, M. (2012). Evolutionary dynamics of
biological auctions. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2011.11.003
chicago: Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary
Dynamics of Biological Auctions.” Theoretical Population Biology. Academic
Press, 2012. https://doi.org/10.1016/j.tpb.2011.11.003.
ieee: K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological
auctions,” Theoretical Population Biology, vol. 81, no. 1. Academic Press,
pp. 69–80, 2012.
ista: Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological
auctions. Theoretical Population Biology. 81(1), 69–80.
mla: Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.”
Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp.
69–80, doi:10.1016/j.tpb.2011.11.003.
short: K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012)
69–80.
date_created: 2018-12-11T12:02:19Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '01'
department:
- _id: KrCh
doi: 10.1016/j.tpb.2011.11.003
ec_funded: 1
external_id:
pmid:
- '22120126'
intvolume: ' 81'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: 'http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3279759/ '
month: '02'
oa: 1
oa_version: Submitted Version
page: 69 - 80
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Theoretical Population Biology
publication_status: published
publisher: Academic Press
publist_id: '3388'
quality_controlled: '1'
related_material:
record:
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Evolutionary dynamics of biological auctions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 81
year: '2012'
...
---
_id: '3258'
abstract:
- lang: eng
text: CA3 pyramidal neurons are important for memory formation and pattern completion
in the hippocampal network. It is generally thought that proximal synapses from
the mossy fibers activate these neurons most efficiently, whereas distal inputs
from the perforant path have a weaker modulatory influence. We used confocally
targeted patch-clamp recording from dendrites and axons to map the activation
of rat CA3 pyramidal neurons at the subcellular level. Our results reveal two
distinct dendritic domains. In the proximal domain, action potentials initiated
in the axon backpropagate actively with large amplitude and fast time course.
In the distal domain, Na+ channel–mediated dendritic spikes are efficiently initiated
by waveforms mimicking synaptic events. CA3 pyramidal neuron dendrites showed
a high Na+-to-K+ conductance density ratio, providing ideal conditions for active
backpropagation and dendritic spike initiation. Dendritic spikes may enhance the
computational power of CA3 pyramidal neurons in the hippocampal network.
acknowledgement: This work was supported by the Deutsche Forschungsgemeinschaft (TR
3/B10) and the European Union (European Research Council Advanced grant to P.J.).
article_processing_charge: No
article_type: original
author:
- first_name: Sooyun
full_name: Kim, Sooyun
id: 394AB1C8-F248-11E8-B48F-1D18A9856A87
last_name: Kim
- first_name: José
full_name: Guzmán, José
id: 30CC5506-F248-11E8-B48F-1D18A9856A87
last_name: Guzmán
orcid: 0000-0003-2209-5242
- first_name: Hua
full_name: Hu, Hua
id: 4AC0145C-F248-11E8-B48F-1D18A9856A87
last_name: Hu
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Kim S, Guzmán J, Hu H, Jonas PM. Active dendrites support efficient initiation
of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience.
2012;15(4):600-606. doi:10.1038/nn.3060
apa: Kim, S., Guzmán, J., Hu, H., & Jonas, P. M. (2012). Active dendrites support
efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons.
Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3060
chicago: Kim, Sooyun, José Guzmán, Hua Hu, and Peter M Jonas. “Active Dendrites
Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal
Neurons.” Nature Neuroscience. Nature Publishing Group, 2012. https://doi.org/10.1038/nn.3060.
ieee: S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient
initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” Nature
Neuroscience, vol. 15, no. 4. Nature Publishing Group, pp. 600–606, 2012.
ista: Kim S, Guzmán J, Hu H, Jonas PM. 2012. Active dendrites support efficient
initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience.
15(4), 600–606.
mla: Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic
Spikes in Hippocampal CA3 Pyramidal Neurons.” Nature Neuroscience, vol.
15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:10.1038/nn.3060.
short: S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
date_created: 2018-12-11T12:02:18Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2023-09-07T11:43:52Z
day: '01'
department:
- _id: PeJo
doi: 10.1038/nn.3060
external_id:
pmid:
- '22388958'
intvolume: ' 15'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3617474/
month: '04'
oa: 1
oa_version: Published Version
page: 600 - 606
pmid: 1
project:
- _id: 25BDE9A4-B435-11E9-9278-68D0E5697425
grant_number: SFB-TR3-TP10B
name: Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen
publication: Nature Neuroscience
publication_identifier:
issn:
- 1546-1726
publication_status: published
publisher: Nature Publishing Group
publist_id: '3390'
quality_controlled: '1'
related_material:
record:
- id: '2964'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Active dendrites support efficient initiation of dendritic spikes in hippocampal
CA3 pyramidal neurons
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 15
year: '2012'
...