---
_id: '3395'
abstract:
- lang: eng
text: Defining population structure and genetic diversity levels is of the utmost
importance for developing efficient conservation strategies. Overfishing has caused
mean annual catches of the European spiny lobster (Palinurus elephas) to decrease
alarmingly along its distribution area. In this context, there is a need for comprehensive
studies aiming to evaluate the genetic health of the exploited populations. The
present study is based on a set of ten nuclear markers amplified in 331 individuals
from ten different localities covering most of P. elephas distribution area. Samples
from Atlantic and Mediterranean basins showed small but significant differences,
indicating that P. elephas populations do not behave as a single panmictic unit
but form two partially-overlapping groups. Despite intense overfishing, our dataset
did not recover a recent bottleneck signal, and instead showed a large and stable
historical effective size. This result could be accounted for by specific life-history
traits (reproduction and longevity) and the limitations of molecular markers in
covering recent timescales for nontemporal samples. The findings of the present
study emphasize the need to integrate information on effective population sizes
and life-history parameters when evaluating population connectivity levels from
genetic data.
acknowledgement: This work was supported by a pre-doctoral fellowship awarded by the
Autonomous Government of Catalonia to F.P. (2006FIC-00082). Research was funded
by projects FBBVA-BIOCON 08-187/09, CGL2006-13423, and CTM2007-66635. The authors
are part of the research group 2009SGR-636, 2009SGR-655, and 2009SGR-1364 of the
Generalitat de Catalunya. F.P. acknowledges EU-Synthesys grant (GB-TAF-4474).
article_processing_charge: No
author:
- first_name: Ferran
full_name: Palero, Ferran
id: 3F0E2A22-F248-11E8-B48F-1D18A9856A87
last_name: Palero
orcid: 0000-0002-0343-8329
- first_name: Pere
full_name: Abello, Pere
last_name: Abello
- first_name: Enrique
full_name: Macpherson, Enrique
last_name: Macpherson
- first_name: Mark
full_name: Beaumont, Mark
last_name: Beaumont
- first_name: Marta
full_name: Pascual, Marta
last_name: Pascual
citation:
ama: Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. Effect of oceanographic
barriers and overfishing on the population genetic structure of the European spiny
lobster Palinurus elephas. Biological Journal of the Linnean Society. 2011;104(2):407-418.
doi:10.1111/j.1095-8312.2011.01728.x
apa: Palero, F., Abello, P., Macpherson, E., Beaumont, M., & Pascual, M. (2011).
Effect of oceanographic barriers and overfishing on the population genetic structure
of the European spiny lobster Palinurus elephas. Biological Journal of the
Linnean Society. Wiley-Blackwell. https://doi.org/10.1111/j.1095-8312.2011.01728.x
chicago: Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta
Pascual. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic
Structure of the European Spiny Lobster Palinurus Elephas.” Biological Journal
of the Linnean Society. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1095-8312.2011.01728.x.
ieee: F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Effect
of oceanographic barriers and overfishing on the population genetic structure
of the European spiny lobster Palinurus elephas,” Biological Journal of the
Linnean Society, vol. 104, no. 2. Wiley-Blackwell, pp. 407–418, 2011.
ista: Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Effect of oceanographic
barriers and overfishing on the population genetic structure of the European spiny
lobster Palinurus elephas. Biological Journal of the Linnean Society. 104(2),
407–418.
mla: Palero, Ferran, et al. “Effect of Oceanographic Barriers and Overfishing on
the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas.”
Biological Journal of the Linnean Society, vol. 104, no. 2, Wiley-Blackwell,
2011, pp. 407–18, doi:10.1111/j.1095-8312.2011.01728.x.
short: F. Palero, P. Abello, E. Macpherson, M. Beaumont, M. Pascual, Biological
Journal of the Linnean Society 104 (2011) 407–418.
date_created: 2018-12-11T12:03:06Z
date_published: 2011-09-14T00:00:00Z
date_updated: 2023-02-23T14:07:31Z
day: '14'
department:
- _id: NiBa
doi: 10.1111/j.1095-8312.2011.01728.x
intvolume: ' 104'
issue: '2'
language:
- iso: eng
month: '09'
oa_version: None
page: 407 - 418
publication: Biological Journal of the Linnean Society
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3212'
quality_controlled: '1'
related_material:
record:
- id: '9762'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Effect of oceanographic barriers and overfishing on the population genetic
structure of the European spiny lobster Palinurus elephas
type: journal_article
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
volume: 104
year: '2011'
...
---
_id: '3396'
abstract:
- lang: eng
text: Facial branchiomotor neurons (FBMNs) in zebrafish and mouse embryonic hindbrain
undergo a characteristic tangential migration from rhombomere (r) 4, where they
are born, to r6/7. Cohesion among neuroepithelial cells (NCs) has been suggested
to function in FBMN migration by inhibiting FBMNs positioned in the basal neuroepithelium
such that they move apically between NCs towards the midline of the neuroepithelium
instead of tangentially along the basal side of the neuroepithelium towards r6/7.
However, direct experimental evaluation of this hypothesis is still lacking. Here,
we have used a combination of biophysical cell adhesion measurements and high-resolution
time-lapse microscopy to determine the role of NC cohesion in FBMN migration.
We show that reducing NC cohesion by interfering with Cadherin 2 (Cdh2) activity
results in FBMNs positioned at the basal side of the neuroepithelium moving apically
towards the neural tube midline instead of tangentially towards r6/7. In embryos
with strongly reduced NC cohesion, ectopic apical FBMN movement frequently results
in fusion of the bilateral FBMN clusters over the apical midline of the neural
tube. By contrast, reducing cohesion among FBMNs by interfering with Contactin
2 (Cntn2) expression in these cells has little effect on apical FBMN movement,
but reduces the fusion of the bilateral FBMN clusters in embryos with strongly
diminished NC cohesion. These data provide direct experimental evidence that NC
cohesion functions in tangential FBMN migration by restricting their apical movement.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
article_type: original
author:
- first_name: Petra
full_name: Stockinger, Petra
id: 261CB030-E90D-11E9-B182-F697D44B663C
last_name: Stockinger
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Jean-Léon
full_name: Maître, Jean-Léon
id: 48F1E0D8-F248-11E8-B48F-1D18A9856A87
last_name: Maître
orcid: 0000-0002-3688-1474
citation:
ama: Stockinger P, Heisenberg C-PJ, Maître J-L. Defective neuroepithelial cell cohesion
affects tangential branchiomotor neuron migration in the zebrafish neural tube.
Development. 2011;138(21):4673-4683. doi:10.1242/dev.071233
apa: Stockinger, P., Heisenberg, C.-P. J., & Maître, J.-L. (2011). Defective
neuroepithelial cell cohesion affects tangential branchiomotor neuron migration
in the zebrafish neural tube. Development. Company of Biologists. https://doi.org/10.1242/dev.071233
chicago: Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective
Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration
in the Zebrafish Neural Tube.” Development. Company of Biologists, 2011.
https://doi.org/10.1242/dev.071233.
ieee: P. Stockinger, C.-P. J. Heisenberg, and J.-L. Maître, “Defective neuroepithelial
cell cohesion affects tangential branchiomotor neuron migration in the zebrafish
neural tube,” Development, vol. 138, no. 21. Company of Biologists, pp.
4673–4683, 2011.
ista: Stockinger P, Heisenberg C-PJ, Maître J-L. 2011. Defective neuroepithelial
cell cohesion affects tangential branchiomotor neuron migration in the zebrafish
neural tube. Development. 138(21), 4673–4683.
mla: Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects
Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development,
vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
short: P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.
date_created: 2018-12-11T12:03:06Z
date_published: 2011-09-28T00:00:00Z
date_updated: 2021-01-12T07:43:11Z
day: '28'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.1242/dev.071233
file:
- access_level: open_access
checksum: ca12b79e01ef36c1ef1aea31cf7e7139
content_type: application/pdf
creator: dernst
date_created: 2019-10-07T14:19:42Z
date_updated: 2020-07-14T12:46:12Z
file_id: '6930'
file_name: 2011_Development_Stockinger.pdf
file_size: 4672439
relation: main_file
file_date_updated: 2020-07-14T12:46:12Z
has_accepted_license: '1'
intvolume: ' 138'
issue: '21'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 4673 - 4683
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '3210'
quality_controlled: '1'
scopus_import: 1
status: public
title: Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron
migration in the zebrafish neural tube
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 138
year: '2011'
...
---
_id: '3397'
abstract:
- lang: eng
text: Recent advances in microscopy techniques and biophysical measurements have
provided novel insight into the molecular, cellular and biophysical basis of cell
adhesion. However, comparably little is known about a core element of cell–cell
adhesion—the energy of adhesion at the cell–cell contact. In this review, we discuss
approaches to understand the nature and regulation of adhesion energy, and propose
strategies to determine adhesion energy between cells in vitro and in vivo.
author:
- first_name: Jean-Léon
full_name: Maître, Jean-Léon
id: 48F1E0D8-F248-11E8-B48F-1D18A9856A87
last_name: Maître
orcid: 0000-0002-3688-1474
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: Maître J-L, Heisenberg C-PJ. The role of adhesion energy in controlling cell-cell
contacts. Current Opinion in Cell Biology. 2011;23(5):508-514. doi:10.1016/j.ceb.2011.07.004
apa: Maître, J.-L., & Heisenberg, C.-P. J. (2011). The role of adhesion energy
in controlling cell-cell contacts. Current Opinion in Cell Biology. Elsevier.
https://doi.org/10.1016/j.ceb.2011.07.004
chicago: Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “The Role of Adhesion
Energy in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology.
Elsevier, 2011. https://doi.org/10.1016/j.ceb.2011.07.004.
ieee: J.-L. Maître and C.-P. J. Heisenberg, “The role of adhesion energy in controlling
cell-cell contacts,” Current Opinion in Cell Biology, vol. 23, no. 5. Elsevier,
pp. 508–514, 2011.
ista: Maître J-L, Heisenberg C-PJ. 2011. The role of adhesion energy in controlling
cell-cell contacts. Current Opinion in Cell Biology. 23(5), 508–514.
mla: Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “The Role of Adhesion Energy
in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology, vol.
23, no. 5, Elsevier, 2011, pp. 508–14, doi:10.1016/j.ceb.2011.07.004.
short: J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011)
508–514.
date_created: 2018-12-11T12:03:06Z
date_published: 2011-10-01T00:00:00Z
date_updated: 2021-01-12T07:43:12Z
day: '01'
department:
- _id: CaHe
doi: 10.1016/j.ceb.2011.07.004
intvolume: ' 23'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3188705/
month: '10'
oa: 1
oa_version: Submitted Version
page: 508 - 514
publication: Current Opinion in Cell Biology
publication_status: published
publisher: Elsevier
publist_id: '3211'
quality_controlled: '1'
scopus_import: 1
status: public
title: The role of adhesion energy in controlling cell-cell contacts
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2011'
...
---
_id: '3399'
abstract:
- lang: eng
text: Context-dependent adjustment of mating tactics can drastically increase the
mating success of behaviourally flexible animals. We used the ant Cardiocondyla
obscurior as a model system to study adaptive adjustment of male mating tactics.
This species shows a male diphenism of wingless fighter males and peaceful winged
males. Whereas the wingless males stay and exclusively mate in the maternal colony,
the mating behaviour of winged males is plastic. They copulate with female sexuals
in their natal nests early in life but later disperse in search for sexuals outside.
In this study, we observed the nest-leaving behaviour of winged males under different
conditions and found that they adaptively adjust the timing of their dispersal
to the availability of mating partners, as well as the presence, and even the
type of competitors in their natal nests. In colonies with virgin female queens
winged males stayed longest when they were the only male in the nest. They left
earlier when mating partners were not available or when other males were present.
In the presence of wingless, locally mating fighter males, winged males dispersed
earlier than in the presence of docile, winged competitors. This suggests that
C. obscurior males are capable of estimating their local breeding chances and
adaptively adjust their dispersal behaviour in both an opportunistic and a risk-sensitive
way, thus showing hitherto unknown behavioural plasticity in social insect males.
acknowledgement: This work was supported by the German Science Foundation (www.dfg.de,
He 1623/23).
article_number: e17323
author:
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
- first_name: Alexandra
full_name: Schrempf, Alexandra
last_name: Schrempf
- first_name: Jürgen
full_name: Heinze, Jürgen
last_name: Heinze
citation:
ama: Cremer S, Schrempf A, Heinze J. Competition and opportunity shape the reproductive
tactics of males in the ant Cardiocondyla obscurior. PLoS One. 2011;6(3).
doi:10.1371/journal.pone.0017323
apa: Cremer, S., Schrempf, A., & Heinze, J. (2011). Competition and opportunity
shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS
One. Public Library of Science. https://doi.org/10.1371/journal.pone.0017323
chicago: Cremer, Sylvia, Alexandra Schrempf, and Jürgen Heinze. “Competition and
Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.”
PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0017323.
ieee: S. Cremer, A. Schrempf, and J. Heinze, “Competition and opportunity shape
the reproductive tactics of males in the ant Cardiocondyla obscurior,” PLoS
One, vol. 6, no. 3. Public Library of Science, 2011.
ista: Cremer S, Schrempf A, Heinze J. 2011. Competition and opportunity shape the
reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 6(3),
e17323.
mla: Cremer, Sylvia, et al. “Competition and Opportunity Shape the Reproductive
Tactics of Males in the Ant Cardiocondyla Obscurior.” PLoS One, vol. 6,
no. 3, e17323, Public Library of Science, 2011, doi:10.1371/journal.pone.0017323.
short: S. Cremer, A. Schrempf, J. Heinze, PLoS One 6 (2011).
date_created: 2018-12-11T12:03:07Z
date_published: 2011-03-29T00:00:00Z
date_updated: 2021-01-12T07:43:12Z
day: '29'
ddc:
- '576'
department:
- _id: SyCr
doi: 10.1371/journal.pone.0017323
file:
- access_level: open_access
checksum: 46f8cbde61f06fcacf8fa297cacfa0e5
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:40Z
date_updated: 2020-07-14T12:46:12Z
file_id: '5162'
file_name: IST-2015-377-v1+1_journal.pone.0017323.pdf
file_size: 147367
relation: main_file
file_date_updated: 2020-07-14T12:46:12Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '3'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '3059'
pubrep_id: '377'
quality_controlled: '1'
scopus_import: 1
status: public
title: Competition and opportunity shape the reproductive tactics of males in the
ant Cardiocondyla obscurior
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2011'
...
---
_id: '3405'
abstract:
- lang: eng
text: Glutamate is the major excitatory neurotransmitter in the mammalian central
nervous system and gates non-selective cation channels. The origins of glutamate
receptors are not well understood as they differ structurally and functionally
from simple bacterial ligand-gated ion channels. Here we report the discovery
of an ionotropic glutamate receptor that combines the typical eukaryotic domain
architecture with the 'TXVGYG' signature sequence of the selectivity filter found
in K+ channels. This receptor exhibits functional properties intermediate between
bacterial and eukaryotic glutamate-gated ion channels, suggesting a link in the
evolution of ionotropic glutamate receptors.
author:
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- first_name: Guillaume
full_name: Sandoz, Guillaume
last_name: Sandoz
- first_name: Ehud
full_name: Isacoff, Ehud
last_name: Isacoff
citation:
ama: Janovjak HL, Sandoz G, Isacoff E. Modern ionotropic glutamate receptor with
a K+ selectivity signature sequence. Nature Communications. 2011;2(232):1-6.
doi:10.1038/ncomms1231
apa: Janovjak, H. L., Sandoz, G., & Isacoff, E. (2011). Modern ionotropic glutamate
receptor with a K+ selectivity signature sequence. Nature Communications.
Nature Publishing Group. https://doi.org/10.1038/ncomms1231
chicago: Janovjak, Harald L, Guillaume Sandoz, and Ehud Isacoff. “Modern Ionotropic
Glutamate Receptor with a K+ Selectivity Signature Sequence.” Nature Communications.
Nature Publishing Group, 2011. https://doi.org/10.1038/ncomms1231.
ieee: H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor
with a K+ selectivity signature sequence,” Nature Communications, vol.
2, no. 232. Nature Publishing Group, pp. 1–6, 2011.
ista: Janovjak HL, Sandoz G, Isacoff E. 2011. Modern ionotropic glutamate receptor
with a K+ selectivity signature sequence. Nature Communications. 2(232), 1–6.
mla: Janovjak, Harald L., et al. “Modern Ionotropic Glutamate Receptor with a K+
Selectivity Signature Sequence.” Nature Communications, vol. 2, no. 232,
Nature Publishing Group, 2011, pp. 1–6, doi:10.1038/ncomms1231.
short: H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
date_created: 2018-12-11T12:03:09Z
date_published: 2011-03-08T00:00:00Z
date_updated: 2021-01-12T07:43:15Z
day: '08'
ddc:
- '570'
- '571'
department:
- _id: HaJa
doi: 10.1038/ncomms1231
file:
- access_level: open_access
checksum: 6b68d65aadd97c18d663eb117a0a9d35
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:36Z
date_updated: 2020-07-14T12:46:12Z
file_id: '4891'
file_name: IST-2017-832-v1+1_janovjak.pdf
file_size: 387654
relation: main_file
file_date_updated: 2020-07-14T12:46:12Z
has_accepted_license: '1'
intvolume: ' 2'
issue: '232'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 1 - 6
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
publist_id: '2997'
pubrep_id: '832'
quality_controlled: '1'
scopus_import: 1
status: public
title: Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2011'
...
---
_id: '3429'
abstract:
- lang: eng
text: Transcription factors are central to sustaining pluripotency, yet little is
known about transcription factor dynamics in defining pluripotency in the early
mammalian embryo. Here, we establish a fluorescence decay after photoactivation
(FDAP) assay to quantitatively study the kinetic behaviour of Oct4, a key transcription
factor controlling pre-implantation development in the mouse embryo. FDAP measurements
reveal that each cell in a developing embryo shows one of two distinct Oct4 kinetics,
before there are any morphologically distinguishable differences or outward signs
of lineage patterning. The differences revealed by FDAP are due to differences
in the accessibility of Oct4 to its DNA binding sites in the nucleus. Lineage
tracing of the cells in the two distinct sub-populations demonstrates that the
Oct4 kinetics predict lineages of the early embryo. Cells with slower Oct4 kinetics
are more likely to give rise to the pluripotent cell lineage that contributes
to the inner cell mass. Those with faster Oct4 kinetics contribute mostly to the
extra-embryonic lineage. Our findings identify Oct4 kinetics, rather than differences
in total transcription factor expression levels, as a predictive measure of developmental
cell lineage patterning in the early mouse embryo.
acknowledgement: This work was supported by the Beckman Institute and Biological Imaging
Center at the California Institute of Technology and by the NHGRI Center of Excellence
in Genomic Science grant P50HG004071.
author:
- first_name: Nicolas
full_name: Plachta, Nicolas
last_name: Plachta
- first_name: Mark Tobias
full_name: Bollenbach, Mark Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
- first_name: Shirley
full_name: Pease, Shirley
last_name: Pease
- first_name: Scott
full_name: Fraser, Scott
last_name: Fraser
- first_name: Periklis
full_name: Pantazis, Periklis
last_name: Pantazis
citation:
ama: Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. Oct4 kinetics predict
cell lineage patterning in the early mammalian embryo. Nature Cell Biology.
2011;13(2):117-123. doi:10.1038/ncb2154
apa: Plachta, N., Bollenbach, M. T., Pease, S., Fraser, S., & Pantazis, P. (2011).
Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature
Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb2154
chicago: Plachta, Nicolas, Mark Tobias Bollenbach, Shirley Pease, Scott Fraser,
and Periklis Pantazis. “Oct4 Kinetics Predict Cell Lineage Patterning in the Early
Mammalian Embryo.” Nature Cell Biology. Nature Publishing Group, 2011.
https://doi.org/10.1038/ncb2154.
ieee: N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4
kinetics predict cell lineage patterning in the early mammalian embryo,” Nature
Cell Biology, vol. 13, no. 2. Nature Publishing Group, pp. 117–123, 2011.
ista: Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. 2011. Oct4 kinetics
predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology.
13(2), 117–123.
mla: Plachta, Nicolas, et al. “Oct4 Kinetics Predict Cell Lineage Patterning in
the Early Mammalian Embryo.” Nature Cell Biology, vol. 13, no. 2, Nature
Publishing Group, 2011, pp. 117–23, doi:10.1038/ncb2154.
short: N. Plachta, M.T. Bollenbach, S. Pease, S. Fraser, P. Pantazis, Nature Cell
Biology 13 (2011) 117–123.
date_created: 2018-12-11T12:03:17Z
date_published: 2011-01-23T00:00:00Z
date_updated: 2021-01-12T07:43:24Z
day: '23'
department:
- _id: ToBo
doi: 10.1038/ncb2154
intvolume: ' 13'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 117 - 123
publication: Nature Cell Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '2971'
scopus_import: 1
status: public
title: Oct4 kinetics predict cell lineage patterning in the early mammalian embryo
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2011'
...
---
_id: '3505'
abstract:
- lang: eng
text: Cell migration on two-dimensional (2D) substrates follows entirely different
rules than cell migration in three-dimensional (3D) environments. This is especially
relevant for leukocytes that are able to migrate in the absence of adhesion receptors
within the confined geometry of artificial 3D extracellular matrix scaffolds and
within the interstitial space in vivo. Here, we describe in detail a simple and
economical protocol to visualize dendritic cell migration in 3D collagen scaffolds
along chemotactic gradients. This method can be adapted to other cell types and
may serve as a physiologically relevant paradigm for the directed locomotion of
most amoeboid cells.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
article_type: original
author:
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Tim
full_name: Lämmermann, Tim
last_name: Lämmermann
citation:
ama: Sixt MK, Lämmermann T. In vitro analysis of chemotactic leukocyte migration
in 3D environments. Cell Migration. 2011;769:149-165. doi:10.1007/978-1-61779-207-6_11
apa: Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic
leukocyte migration in 3D environments. Cell Migration. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
chicago: Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic
Leukocyte Migration in 3D Environments.” Cell Migration. Springer, 2011.
https://doi.org/10.1007/978-1-61779-207-6_11.
ieee: M. K. Sixt and T. Lämmermann, “In vitro analysis of chemotactic leukocyte
migration in 3D environments,” Cell Migration, vol. 769. Springer, pp.
149–165, 2011.
ista: Sixt MK, Lämmermann T. 2011. In vitro analysis of chemotactic leukocyte migration
in 3D environments. Cell Migration. 769, 149–165.
mla: Sixt, Michael K., and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte
Migration in 3D Environments.” Cell Migration, vol. 769, Springer, 2011,
pp. 149–65, doi:10.1007/978-1-61779-207-6_11.
short: M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
date_created: 2018-12-11T12:03:41Z
date_published: 2011-05-17T00:00:00Z
date_updated: 2021-01-12T07:43:55Z
day: '17'
department:
- _id: MiSi
doi: 10.1007/978-1-61779-207-6_11
intvolume: ' 769'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://pure.mpg.de/pubman/item/item_3219628_1/component/file_3219630/Sixt%20et%20al..pdf
month: '05'
oa: 1
oa_version: Published Version
page: 149 - 165
publication: Cell Migration
publication_status: published
publisher: Springer
publist_id: '2882'
quality_controlled: '1'
status: public
title: In vitro analysis of chemotactic leukocyte migration in 3D environments
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 769
year: '2011'
...
---
_id: '3771'
abstract:
- lang: eng
text: The small-sized frugivorous bat Carollia perspicillata is an understory specialist
and occurs in a wide range of lowland habitats, tending to be more common in tropical
dry or moist forests of South and Central America. Its sister species, Carollia
brevicauda, occurs almost exclusively in the Amazon rainforest. A recent phylogeographic
study proposed a hypothesis of origin and subsequent diversification for C. perspicillata
along the Atlantic coastal forest of Brazil. Additionally, it also found two allopatric
clades for C. brevicauda separated by the Amazon Basin. We used cytochrome b gene
sequences and a more extensive sampling to test hypotheses related to the origin
and diversification of C. perspicillata plus C. brevicauda clade in South America.
The results obtained indicate that there are two sympatric evolutionary lineages
within each species. In C. perspicillata, one lineage is limited to the Southern
Atlantic Forest, whereas the other is widely distributed. Coalescent analysis
points to a simultaneous origin for C. perspicillata and C. brevicauda, although
no place for the diversification of each species can be firmly suggested. The
phylogeographic pattern shown by C. perspicillata is also congruent with the Pleistocene
refugia hypothesis as a likely vicariant phenomenon shaping the present distribution
of its intraspecific lineages.
author:
- first_name: Ana
full_name: Pavan, Ana
last_name: Pavan
- first_name: Felipe
full_name: Martins, Felipe
last_name: Martins
- first_name: Fabrício
full_name: Santos, Fabrício
last_name: Santos
- first_name: Albert
full_name: Ditchfield, Albert
last_name: Ditchfield
- first_name: Rodrigo A
full_name: Fernandes Redondo, Rodrigo A
id: 409D5C96-F248-11E8-B48F-1D18A9856A87
last_name: Fernandes Redondo
orcid: 0000-0002-5837-2793
citation:
ama: 'Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. Patterns
of diversification in two species of short-tailed bats (Carollia Gray, 1838):
the effects of historical fragmentation of Brazilian rainforests. Biological
Journal of the Linnean Society. 2011;102(3):527-539. doi:10.1111/j.1095-8312.2010.01601.x'
apa: 'Pavan, A., Martins, F., Santos, F., Ditchfield, A., & Fernandes Redondo,
R. A. (2011). Patterns of diversification in two species of short-tailed bats
(Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.
Biological Journal of the Linnean Society. Wiley-Blackwell. https://doi.org/10.1111/j.1095-8312.2010.01601.x'
chicago: 'Pavan, Ana, Felipe Martins, Fabrício Santos, Albert Ditchfield, and Rodrigo
A Fernandes Redondo. “Patterns of Diversification in Two Species of Short-Tailed
Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian
Rainforests.” Biological Journal of the Linnean Society. Wiley-Blackwell,
2011. https://doi.org/10.1111/j.1095-8312.2010.01601.x.'
ieee: 'A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo,
“Patterns of diversification in two species of short-tailed bats (Carollia Gray,
1838): the effects of historical fragmentation of Brazilian rainforests.,” Biological
Journal of the Linnean Society, vol. 102, no. 3. Wiley-Blackwell, pp. 527–539,
2011.'
ista: 'Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. 2011. Patterns
of diversification in two species of short-tailed bats (Carollia Gray, 1838):
the effects of historical fragmentation of Brazilian rainforests. Biological Journal
of the Linnean Society. 102(3), 527–539.'
mla: 'Pavan, Ana, et al. “Patterns of Diversification in Two Species of Short-Tailed
Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian
Rainforests.” Biological Journal of the Linnean Society, vol. 102, no.
3, Wiley-Blackwell, 2011, pp. 527–39, doi:10.1111/j.1095-8312.2010.01601.x.'
short: A. Pavan, F. Martins, F. Santos, A. Ditchfield, R.A. Fernandes Redondo, Biological
Journal of the Linnean Society 102 (2011) 527–539.
date_created: 2018-12-11T12:05:05Z
date_published: 2011-02-10T00:00:00Z
date_updated: 2021-01-12T07:52:05Z
day: '10'
department:
- _id: FyKo
doi: 10.1111/j.1095-8312.2010.01601.x
intvolume: ' 102'
issue: '3'
language:
- iso: eng
month: '02'
oa_version: None
page: 527 - 539
publication: Biological Journal of the Linnean Society
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2456'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Patterns of diversification in two species of short-tailed bats (Carollia
Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.'
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 102
year: '2011'
...
---
_id: '3778'
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Barton NH. Estimating linkage disequilibria. Heredity. 2011;106(2):205-206.
doi:10.1038/hdy.2010.67
apa: Barton, N. H. (2011). Estimating linkage disequilibria. Heredity. Nature
Publishing Group. https://doi.org/10.1038/hdy.2010.67
chicago: Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity.
Nature Publishing Group, 2011. https://doi.org/10.1038/hdy.2010.67.
ieee: N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106,
no. 2. Nature Publishing Group, pp. 205–206, 2011.
ista: Barton NH. 2011. Estimating linkage disequilibria. Heredity. 106(2), 205–206.
mla: Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity, vol.
106, no. 2, Nature Publishing Group, 2011, pp. 205–06, doi:10.1038/hdy.2010.67.
short: N.H. Barton, Heredity 106 (2011) 205–206.
date_created: 2018-12-11T12:05:07Z
date_published: 2011-02-01T00:00:00Z
date_updated: 2021-01-12T07:52:08Z
day: '01'
department:
- _id: NiBa
doi: 10.1038/hdy.2010.67
external_id:
pmid:
- '20502479'
intvolume: ' 106'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3183869/
month: '02'
oa: 1
oa_version: Submitted Version
page: 205 - 206
pmid: 1
publication: Heredity
publication_status: published
publisher: Nature Publishing Group
publist_id: '2449'
scopus_import: 1
status: public
title: Estimating linkage disequilibria
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 106
year: '2011'
...
---
_id: '3781'
abstract:
- lang: eng
text: We bound the difference in length of two curves in terms of their total curvatures
and the Fréchet distance. The bound is independent of the dimension of the ambient
Euclidean space, it improves upon a bound by Cohen-Steiner and Edelsbrunner, and
it generalizes a result by Fáry and Chakerian.
acknowledgement: Funded by Graduate Aid in Areas of National Need (GAANN) Fellowship.
author:
- first_name: Brittany Terese
full_name: Fasy, Brittany Terese
id: F65D502E-E68D-11E9-9252-C644099818F6
last_name: Fasy
citation:
ama: Fasy BT. The difference in length of curves in R^n. Acta Sci Math (Szeged).
2011;77(1-2):359-367.
apa: Fasy, B. T. (2011). The difference in length of curves in R^n. Acta Sci.
Math. (Szeged). Szegedi Tudományegyetem.
chicago: Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta
Sci. Math. (Szeged). Szegedi Tudományegyetem, 2011.
ieee: B. T. Fasy, “The difference in length of curves in R^n,” Acta Sci. Math.
(Szeged), vol. 77, no. 1–2. Szegedi Tudományegyetem, pp. 359–367, 2011.
ista: Fasy BT. 2011. The difference in length of curves in R^n. Acta Sci. Math.
(Szeged). 77(1–2), 359–367.
mla: Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta
Sci. Math. (Szeged), vol. 77, no. 1–2, Szegedi Tudományegyetem, 2011, pp.
359–67.
short: B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
date_created: 2018-12-11T12:05:08Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T07:52:09Z
day: '01'
department:
- _id: HeEd
intvolume: ' 77'
issue: 1-2
language:
- iso: eng
month: '01'
oa_version: None
page: 359 - 367
publication: Acta Sci. Math. (Szeged)
publication_status: published
publisher: Szegedi Tudományegyetem
publist_id: '2446'
quality_controlled: '1'
status: public
title: The difference in length of curves in R^n
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2011'
...
---
_id: '3784'
abstract:
- lang: eng
text: Advanced stages of Scyllarus phyllosoma larvae were collected by demersal
trawling during fishery research surveys in the western Mediterranean Sea in 2003–2005.
Nucleotide sequence analysis of the mitochondrial 16S rDNA gene allowed the final-stage
phyllosoma of Scyllarus arctus to be identified among these larvae. Its morphology
is described and illustrated. This constitutes the second complete description
of a Scyllaridae phyllosoma with its specific identity being validated by molecular
techniques (the first was S. pygmaeus). These results also solved a long lasting
taxonomic anomaly of several species assigned to the ancient genus Phyllosoma
Leach, 1814. Detailed examination indicated that the final-stage phyllosoma of
S. arctus shows closer affinities with the American scyllarid Scyllarus depressus
or with the Australian Scyllarus sp. b (sensu Phillips et al., 1981) than to its
sympatric species S. pygmaeus.
article_processing_charge: No
article_type: original
author:
- first_name: Ferran
full_name: Palero, Ferran
id: 3F0E2A22-F248-11E8-B48F-1D18A9856A87
last_name: Palero
orcid: 0000-0002-0343-8329
- first_name: Guillermo
full_name: Guerao, Guillermo
last_name: Guerao
- first_name: Paul
full_name: Clark, Paul
last_name: Clark
- first_name: Pere
full_name: Abello, Pere
last_name: Abello
citation:
ama: 'Palero F, Guerao G, Clark P, Abello P. Scyllarus arctus (Crustacea: Decapoda:
Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological
description. Journal of the Marine Biological Association of the United Kingdom.
2011;91(2):485-492. doi:10.1017/S0025315410000287'
apa: 'Palero, F., Guerao, G., Clark, P., & Abello, P. (2011). Scyllarus arctus
(Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis,
with morphological description. Journal of the Marine Biological Association
of the United Kingdom. Cambridge University Press. https://doi.org/10.1017/S0025315410000287'
chicago: 'Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Scyllarus
Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by
DNA Analysis, with Morphological Description.” Journal of the Marine Biological
Association of the United Kingdom. Cambridge University Press, 2011. https://doi.org/10.1017/S0025315410000287.'
ieee: 'F. Palero, G. Guerao, P. Clark, and P. Abello, “Scyllarus arctus (Crustacea:
Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with
morphological description,” Journal of the Marine Biological Association of
the United Kingdom, vol. 91, no. 2. Cambridge University Press, pp. 485–492,
2011.'
ista: 'Palero F, Guerao G, Clark P, Abello P. 2011. Scyllarus arctus (Crustacea:
Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with
morphological description. Journal of the Marine Biological Association of the
United Kingdom. 91(2), 485–492.'
mla: 'Palero, Ferran, et al. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae)
Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.”
Journal of the Marine Biological Association of the United Kingdom, vol.
91, no. 2, Cambridge University Press, 2011, pp. 485–92, doi:10.1017/S0025315410000287.'
short: F. Palero, G. Guerao, P. Clark, P. Abello, Journal of the Marine Biological
Association of the United Kingdom 91 (2011) 485–492.
date_created: 2018-12-11T12:05:09Z
date_published: 2011-03-01T00:00:00Z
date_updated: 2021-01-12T07:52:10Z
day: '01'
department:
- _id: NiBa
doi: 10.1017/S0025315410000287
intvolume: ' 91'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://digital.csic.es/bitstream/10261/32783/3/Palero_et_al_2011.pdf
month: '03'
oa: 1
oa_version: Published Version
page: 485 - 492
publication: Journal of the Marine Biological Association of the United Kingdom
publication_status: published
publisher: Cambridge University Press
publist_id: '2443'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma
identified by DNA analysis, with morphological description'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 91
year: '2011'
...
---
_id: '3791'
abstract:
- lang: eng
text: During the development of multicellular organisms, cell fate specification
is followed by the sorting of different cell types into distinct domains from
where the different tissues and organs are formed. Cell sorting involves both
the segregation of a mixed population of cells with different fates and properties
into distinct domains, and the active maintenance of their segregated state. Because
of its biological importance and apparent resemblance to fluid segregation in
physics, cell sorting was extensively studied by both biologists and physicists
over the last decades. Different theories were developed that try to explain cell
sorting on the basis of the physical properties of the constituent cells. However,
only recently the molecular and cellular mechanisms that control the physical
properties driving cell sorting, have begun to be unraveled. In this review, we
will provide an overview of different cell-sorting processes in development and
discuss how these processes can be explained by the different sorting theories,
and how these theories in turn can be connected to the molecular and cellular
mechanisms driving these processes.
alternative_title:
- Current Topics in Developmental Biology
article_processing_charge: No
author:
- first_name: Gabriel
full_name: Krens, Gabriel
id: 2B819732-F248-11E8-B48F-1D18A9856A87
last_name: Krens
orcid: 0000-0003-4761-5996
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: 'Krens G, Heisenberg C-PJ. Cell sorting in development. In: Labouesse M, ed.
Forces and Tension in Development. Vol 95. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2'
apa: Krens, G., & Heisenberg, C.-P. J. (2011). Cell sorting in development.
In M. Labouesse (Ed.), Forces and Tension in Development (Vol. 95, pp.
189–213). Elsevier. https://doi.org/10.1016/B978-0-12-385065-2.00006-2
chicago: Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.”
In Forces and Tension in Development, edited by Michel Labouesse, 95:189–213.
Elsevier, 2011. https://doi.org/10.1016/B978-0-12-385065-2.00006-2.
ieee: G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Forces
and Tension in Development, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp.
189–213.
ista: 'Krens G, Heisenberg C-PJ. 2011.Cell sorting in development. In: Forces and
Tension in Development. Current Topics in Developmental Biology, vol. 95, 189–213.'
mla: Krens, Gabriel, and Carl-Philipp J. Heisenberg. “Cell Sorting in Development.”
Forces and Tension in Development, edited by Michel Labouesse, vol. 95,
Elsevier, 2011, pp. 189–213, doi:10.1016/B978-0-12-385065-2.00006-2.
short: G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension
in Development, Elsevier, 2011, pp. 189–213.
date_created: 2018-12-11T12:05:11Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T07:52:13Z
day: '01'
department:
- _id: CaHe
doi: 10.1016/B978-0-12-385065-2.00006-2
editor:
- first_name: Michel
full_name: Labouesse, Michel
last_name: Labouesse
intvolume: ' 95'
language:
- iso: eng
month: '01'
oa_version: None
page: 189 - 213
publication: Forces and Tension in Development
publication_status: published
publisher: Elsevier
publist_id: '2436'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cell sorting in development
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 95
year: '2011'
...
---
_id: '3796'
abstract:
- lang: eng
text: We address the problem of covering ℝ n with congruent balls, while minimizing
the number of balls that contain an average point. Considering the 1-parameter
family of lattices defined by stretching or compressing the integer grid in diagonal
direction, we give a closed formula for the covering density that depends on the
distortion parameter. We observe that our family contains the thinnest lattice
coverings in dimensions 2 to 5. We also consider the problem of packing congruent
balls in ℝ n , for which we give a closed formula for the packing density as well.
Again we observe that our family contains optimal configurations, this time densest
packings in dimensions 2 and 3.
alternative_title:
- LNCS
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michael
full_name: Kerber, Michael
id: 36E4574A-F248-11E8-B48F-1D18A9856A87
last_name: Kerber
orcid: 0000-0002-8030-9299
citation:
ama: 'Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion
in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science.
Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer;
2011:20-35. doi:10.1007/978-3-642-19391-0_2'
apa: Edelsbrunner, H., & Kerber, M. (2011). Covering and packing with spheres
by diagonal distortion in R^n. In C. Calude, G. Rozenberg, & A. Salomaa (Eds.),
Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer. https://doi.org/10.1007/978-3-642-19391-0_2
chicago: Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres
by Diagonal Distortion in R^n.” In Rainbow of Computer Science, edited
by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated
to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011. https://doi.org/10.1007/978-3-642-19391-0_2.
ieee: H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal
distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude,
G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.
ista: 'Edelsbrunner H, Kerber M. 2011.Covering and packing with spheres by diagonal
distortion in R^n. In: Rainbow of Computer Science. LNCS, vol. 6570, 20–35.'
mla: Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres
by Diagonal Distortion in R^n.” Rainbow of Computer Science, edited by
Cristian Calude et al., vol. 6570, Springer, 2011, pp. 20–35, doi:10.1007/978-3-642-19391-0_2.
short: H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.),
Rainbow of Computer Science, Springer, 2011, pp. 20–35.
date_created: 2018-12-11T12:05:13Z
date_published: 2011-05-03T00:00:00Z
date_updated: 2021-01-12T07:52:15Z
day: '03'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1007/978-3-642-19391-0_2
editor:
- first_name: Cristian
full_name: Calude, Cristian
last_name: Calude
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
- first_name: Arto
full_name: Salomaa, Arto
last_name: Salomaa
file:
- access_level: open_access
checksum: aaf22b4d7bd4277ffe8db532119cf474
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:07:42Z
date_updated: 2020-07-14T12:46:16Z
file_id: '4640'
file_name: IST-2016-539-v1+1_2011-B-01-CoveringPacking.pdf
file_size: 436875
relation: main_file
file_date_updated: 2020-07-14T12:46:16Z
has_accepted_license: '1'
intvolume: ' 6570'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 20 - 35
publication: Rainbow of Computer Science
publication_status: published
publisher: Springer
publist_id: '2427'
pubrep_id: '539'
quality_controlled: '1'
series_title: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
status: public
title: Covering and packing with spheres by diagonal distortion in R^n
type: book_chapter
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6570
year: '2011'
...
---
_id: '3965'
abstract:
- lang: eng
text: The elevation function on a smoothly embedded 2-manifold in R-3 reflects the
multiscale topography of cavities and protrusions as local maxima. The function
has been useful in identifying coarse docking configurations for protein pairs.
Transporting the concept from the smooth to the piecewise linear category, this
paper describes an algorithm for finding all local maxima. While its worst-case
running time is the same as of the algorithm used in prior work, its performance
in practice is orders of magnitudes superior. We cast light on this improvement
by relating the running time to the total absolute Gaussian curvature of the 2-manifold.
author:
- first_name: Bei
full_name: Wang, Bei
last_name: Wang
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Dmitriy
full_name: Morozov, Dmitriy
last_name: Morozov
citation:
ama: Wang B, Edelsbrunner H, Morozov D. Computing elevation maxima by searching
the Gauss sphere. Journal of Experimental Algorithmics. 2011;16(2.2):1-13.
doi:10.1145/1963190.1970375
apa: Wang, B., Edelsbrunner, H., & Morozov, D. (2011). Computing elevation maxima
by searching the Gauss sphere. Journal of Experimental Algorithmics. ACM.
https://doi.org/10.1145/1963190.1970375
chicago: Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation
Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics.
ACM, 2011. https://doi.org/10.1145/1963190.1970375.
ieee: B. Wang, H. Edelsbrunner, and D. Morozov, “Computing elevation maxima by searching
the Gauss sphere,” Journal of Experimental Algorithmics, vol. 16, no. 2.2.
ACM, pp. 1–13, 2011.
ista: Wang B, Edelsbrunner H, Morozov D. 2011. Computing elevation maxima by searching
the Gauss sphere. Journal of Experimental Algorithmics. 16(2.2), 1–13.
mla: Wang, Bei, et al. “Computing Elevation Maxima by Searching the Gauss Sphere.”
Journal of Experimental Algorithmics, vol. 16, no. 2.2, ACM, 2011, pp.
1–13, doi:10.1145/1963190.1970375.
short: B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics
16 (2011) 1–13.
date_created: 2018-12-11T12:06:09Z
date_published: 2011-05-01T00:00:00Z
date_updated: 2021-01-12T07:53:31Z
day: '01'
department:
- _id: HeEd
doi: 10.1145/1963190.1970375
intvolume: ' 16'
issue: '2.2'
language:
- iso: eng
month: '05'
oa_version: None
page: 1 - 13
publication: Journal of Experimental Algorithmics
publication_status: published
publisher: ACM
publist_id: '2161'
quality_controlled: '1'
scopus_import: 1
status: public
title: Computing elevation maxima by searching the Gauss sphere
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2011'
...
---
_id: '469'
abstract:
- lang: eng
text: 'Spontaneous release of glutamate is important for maintaining synaptic strength
and controlling spike timing in the brain. Mechanisms regulating spontaneous exocytosis
remain poorly understood. Extracellular calcium concentration ([Ca2+]o) regulates
Ca2+ entry through voltage-activated calcium channels (VACCs) and consequently
is a pivotal determinant of action potential-evoked vesicle fusion. Extracellular
Ca 2+ also enhances spontaneous release, but via unknown mechanisms. Here we report
that external Ca2+ triggers spontaneous glutamate release more weakly than evoked
release in mouse neocortical neurons. Blockade of VACCs has no effect on the spontaneous
release rate or its dependence on [Ca2+]o. Intracellular [Ca2+] slowly increases
in a minority of neurons following increases in [Ca2+]o. Furthermore, the enhancement
of spontaneous release by extracellular calcium is insensitive to chelation of
intracellular calcium by BAPTA. Activation of the calcium-sensing receptor (CaSR),
a G-protein-coupled receptor present in nerve terminals, by several specific agonists
increased spontaneous glutamate release. The frequency of spontaneous synaptic
transmission was decreased in CaSR mutant neurons. The concentration-effect relationship
for extracellular calcium regulation of spontaneous release was well described
by a combination of CaSR-dependent and CaSR-independent mechanisms. Overall these
results indicate that extracellular Ca2+ does not trigger spontaneous glutamate
release by simply increasing calcium influx but stimulates CaSR and thereby promotes
resting spontaneous glutamate release. '
author:
- first_name: Nicholas
full_name: Vyleta, Nicholas
id: 36C4978E-F248-11E8-B48F-1D18A9856A87
last_name: Vyleta
- first_name: Stephen
full_name: Smith, Stephen
last_name: Smith
citation:
ama: Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium
influx and tonically activated by the calcium-sensing receptor. European Journal
of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011
apa: Vyleta, N., & Smith, S. (2011). Spontaneous glutamate release is independent
of calcium influx and tonically activated by the calcium-sensing receptor. European
Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1523/JNEUROSCI.6398-10.2011
chicago: Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is
Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.”
European Journal of Neuroscience. Wiley-Blackwell, 2011. https://doi.org/10.1523/JNEUROSCI.6398-10.2011.
ieee: N. Vyleta and S. Smith, “Spontaneous glutamate release is independent of calcium
influx and tonically activated by the calcium-sensing receptor,” European Journal
of Neuroscience, vol. 31, no. 12. Wiley-Blackwell, pp. 4593–4606, 2011.
ista: Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium
influx and tonically activated by the calcium-sensing receptor. European Journal
of Neuroscience. 31(12), 4593–4606.
mla: Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent
of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.” European
Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606,
doi:10.1523/JNEUROSCI.6398-10.2011.
short: N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.
date_created: 2018-12-11T11:46:39Z
date_published: 2011-03-23T00:00:00Z
date_updated: 2021-01-12T08:00:49Z
day: '23'
department:
- _id: PeJo
doi: 10.1523/JNEUROSCI.6398-10.2011
intvolume: ' 31'
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3097128/
month: '03'
oa: 1
oa_version: Submitted Version
page: 4593 - 4606
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7353'
quality_controlled: '1'
scopus_import: 1
status: public
title: Spontaneous glutamate release is independent of calcium influx and tonically
activated by the calcium-sensing receptor
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 31
year: '2011'
...
---
_id: '490'
abstract:
- lang: eng
text: 'BioSig is an open source software library for biomedical signal processing.
The aim of the BioSig project is to foster research in biomedical signal processing
by providing free and open source software tools for many different application
areas. Some of the areas where BioSig can be employed are neuroinformatics, brain-computer
interfaces, neurophysiology, psychology, cardiovascular systems, and sleep research.
Moreover, the analysis of biosignals such as the electroencephalogram (EEG), electrocorticogram
(ECoG), electrocardiogram (ECG), electrooculogram (EOG), electromyogram (EMG),
or respiration signals is a very relevant element of the BioSig project. Specifically,
BioSig provides solutions for data acquisition, artifact processing, quality control,
feature extraction, classification, modeling, and data visualization, to name
a few. In this paper, we highlight several methods to help students and researchers
to work more efficiently with biomedical signals. '
article_number: '935364'
author:
- first_name: Alois
full_name: Schlögl, Alois
id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
last_name: Schlögl
orcid: 0000-0002-5621-8100
- first_name: Carmen
full_name: Vidaurre, Carmen
last_name: Vidaurre
- first_name: Tilmann
full_name: Sander, Tilmann
last_name: Sander
citation:
ama: 'Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software
library for biomedical signal processing. Computational Intelligence and Neuroscience.
2011;2011. doi:10.1155/2011/935364'
apa: 'Schlögl, A., Vidaurre, C., & Sander, T. (2011). BioSig: The free and open
source software library for biomedical signal processing. Computational Intelligence
and Neuroscience. Hindawi Publishing Corporation. https://doi.org/10.1155/2011/935364'
chicago: 'Schlögl, Alois, Carmen Vidaurre, and Tilmann Sander. “BioSig: The Free
and Open Source Software Library for Biomedical Signal Processing.” Computational
Intelligence and Neuroscience. Hindawi Publishing Corporation, 2011. https://doi.org/10.1155/2011/935364.'
ieee: 'A. Schlögl, C. Vidaurre, and T. Sander, “BioSig: The free and open source
software library for biomedical signal processing,” Computational Intelligence
and Neuroscience, vol. 2011. Hindawi Publishing Corporation, 2011.'
ista: 'Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software
library for biomedical signal processing. Computational Intelligence and Neuroscience.
2011, 935364.'
mla: 'Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library
for Biomedical Signal Processing.” Computational Intelligence and Neuroscience,
vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.'
short: A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience
2011 (2011).
date_created: 2018-12-11T11:46:45Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T08:01:02Z
day: '01'
ddc:
- '005'
department:
- _id: ScienComp
- _id: PeJo
doi: 10.1155/2011/935364
file:
- access_level: open_access
checksum: 8263bbf255171f2054f43f3db5f53b6e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:07:44Z
date_updated: 2020-07-14T12:46:35Z
file_id: '4642'
file_name: IST-2018-947-v1+1_2011_Schloegl_BioSig.pdf
file_size: 2863551
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 2011'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: Computational Intelligence and Neuroscience
publication_status: published
publisher: Hindawi Publishing Corporation
publist_id: '7330'
pubrep_id: '947'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'BioSig: The free and open source software library for biomedical signal processing'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 2011
year: '2011'
...
---
_id: '491'
abstract:
- lang: eng
text: In their search for antigens, lymphocytes continuously shuttle among blood
vessels, lymph vessels, and lymphatic tissues. Chemokines mediate entry of lymphocytes
into lymphatic tissues, and sphingosine 1-phosphate (S1P) promotes localization
of lymphocytes to the vasculature. Both signals are sensed through G protein-coupled
receptors (GPCRs). Most GPCRs undergo ligand-dependent homologous receptor desensitization,
a process that decreases their signaling output after previous exposure to high
ligand concentration. Such desensitization can explain why lymphocytes do not
take an intermediate position between two signals but rather oscillate between
them. The desensitization of S1P receptor 1 (S1PR1) is mediated by GPCR kinase
2 (GRK2). Deletion of GRK2 in lymphocytes compromises desensitization by high
vascular S1P concentrations, thereby reducing responsiveness to the chemokine
signal and trapping the cells in the vascular compartment. The desensitization
kinetics of S1PR1 allows lymphocytes to dynamically shuttle between vasculature
and lymphatic tissue, although the positional information in both compartments
is static.
article_number: pe43
author:
- first_name: Alexander
full_name: Eichner, Alexander
id: 4DFA52AE-F248-11E8-B48F-1D18A9856A87
last_name: Eichner
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Eichner A, Sixt MK. Setting the clock for recirculating lymphocytes. Science
Signaling. 2011;4(198). doi:10.1126/scisignal.2002617
apa: Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating
lymphocytes. Science Signaling. American Association for the Advancement
of Science. https://doi.org/10.1126/scisignal.2002617
chicago: Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating
Lymphocytes.” Science Signaling. American Association for the Advancement
of Science, 2011. https://doi.org/10.1126/scisignal.2002617.
ieee: A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,”
Science Signaling, vol. 4, no. 198. American Association for the Advancement
of Science, 2011.
ista: Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes.
Science Signaling. 4(198), pe43.
mla: Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating
Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association
for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
short: A. Eichner, M.K. Sixt, Science Signaling 4 (2011).
date_created: 2018-12-11T11:46:46Z
date_published: 2011-11-08T00:00:00Z
date_updated: 2021-01-12T08:01:02Z
day: '08'
department:
- _id: MiSi
doi: 10.1126/scisignal.2002617
intvolume: ' 4'
issue: '198'
language:
- iso: eng
month: '11'
oa_version: None
publication: Science Signaling
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7329'
quality_controlled: '1'
scopus_import: 1
status: public
title: Setting the clock for recirculating lymphocytes
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2011'
...
---
_id: '518'
abstract:
- lang: eng
text: Cancer stem cells or cancer initiating cells are believed to contribute to
cancer recurrence after therapy. MicroRNAs (miRNAs) are short RNA molecules with
fundamental roles in gene regulation. The role of miRNAs in cancer stem cells
is only poorly understood. Here, we report miRNA expression profiles of glioblastoma
stem cell-containing CD133 + cell populations. We find that miR-9, miR-9 * (referred
to as miR-9/9 *), miR-17 and miR-106b are highly abundant in CD133 + cells. Furthermore,
inhibition of miR-9/9 * or miR-17 leads to reduced neurosphere formation and stimulates
cell differentiation. Calmodulin-binding transcription activator 1 (CAMTA1) is
a putative transcription factor, which induces the expression of the anti-proliferative
cardiac hormone natriuretic peptide A (NPPA). We identify CAMTA1 as an miR-9/9
* and miR-17 target. CAMTA1 expression leads to reduced neurosphere formation
and tumour growth in nude mice, suggesting that CAMTA1 can function as tumour
suppressor. Consistently, CAMTA1 and NPPA expression correlate with patient survival.
Our findings could provide a basis for novel strategies of glioblastoma therapy.
article_processing_charge: No
article_type: original
author:
- first_name: Daniel
full_name: Schraivogel, Daniel
last_name: Schraivogel
- first_name: Lasse
full_name: Weinmann, Lasse
last_name: Weinmann
- first_name: Dagmar
full_name: Beier, Dagmar
last_name: Beier
- first_name: Ghazaleh
full_name: Tabatabai, Ghazaleh
last_name: Tabatabai
- first_name: Alexander
full_name: Eichner, Alexander
id: 4DFA52AE-F248-11E8-B48F-1D18A9856A87
last_name: Eichner
- first_name: Jia
full_name: Zhu, Jia
last_name: Zhu
- first_name: Martina
full_name: Anton, Martina
last_name: Anton
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Michael
full_name: Weller, Michael
last_name: Weller
- first_name: Christoph
full_name: Beier, Christoph
last_name: Beier
- first_name: Gunter
full_name: Meister, Gunter
last_name: Meister
citation:
ama: Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor
regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322.
doi:10.1038/emboj.2011.301
apa: Schraivogel, D., Weinmann, L., Beier, D., Tabatabai, G., Eichner, A., Zhu,
J., … Meister, G. (2011). CAMTA1 is a novel tumour suppressor regulated by miR-9/9
* in glioblastoma stem cells. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.301
chicago: Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai,
Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMTA1 Is a Novel Tumour Suppressor
Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal. Wiley-Blackwell,
2011. https://doi.org/10.1038/emboj.2011.301.
ieee: D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated
by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20.
Wiley-Blackwell, pp. 4309–4322, 2011.
ista: Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M,
Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor
regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
mla: Schraivogel, Daniel, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated
by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal, vol. 30, no. 20,
Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
short: D. Schraivogel, L. Weinmann, D. Beier, G. Tabatabai, A. Eichner, J. Zhu,
M. Anton, M.K. Sixt, M. Weller, C. Beier, G. Meister, EMBO Journal 30 (2011) 4309–4322.
date_created: 2018-12-11T11:46:55Z
date_published: 2011-10-19T00:00:00Z
date_updated: 2021-01-12T08:01:19Z
day: '19'
department:
- _id: MiSi
doi: 10.1038/emboj.2011.301
external_id:
pmid:
- '21857646'
intvolume: ' 30'
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3199389/
month: '10'
oa: 1
oa_version: Submitted Version
page: 4309 - 4322
pmid: 1
publication: EMBO Journal
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7301'
quality_controlled: '1'
scopus_import: 1
status: public
title: CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma
stem cells
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2011'
...
---
_id: '531'
abstract:
- lang: eng
text: Software transactional memories (STM) are described in the literature with
assumptions of sequentially consistent program execution and atomicity of high
level operations like read, write, and abort. However, in a realistic setting,
processors use relaxed memory models to optimize hardware performance. Moreover,
the atomicity of operations depends on the underlying hardware. This paper presents
the first approach to verify STMs under relaxed memory models with atomicity of
32 bit loads and stores, and read-modify-write operations. We describe RML, a
simple language for expressing concurrent programs. We develop a semantics of
RML parametrized by a relaxed memory model. We then present our tool, FOIL, which
takes as input the RML description of an STM algorithm restricted to two threads
and two variables, and the description of a memory model, and automatically determines
the locations of fences, which if inserted, ensure the correctness of the restricted
STM algorithm under the given memory model. We use FOIL to verify DSTM, TL2, and
McRT STM under the memory models of sequential consistency, total store order,
partial store order, and relaxed memory order for two threads and two variables.
Finally, we extend the verification results for DSTM and TL2 to an arbitrary number
of threads and variables by manually proving that the structural properties of
STMs are satisfied at the hardware level of atomicity under the considered relaxed
memory models.
article_processing_charge: No
article_type: original
author:
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- 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: Vasu
full_name: Singh, Vasu
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
ama: Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models.
Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
apa: Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM
on relaxed memory models. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-011-0131-3
chicago: Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of
STM on Relaxed Memory Models.” Formal Methods in System Design. Springer,
2011. https://doi.org/10.1007/s10703-011-0131-3.
ieee: R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed
memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer,
pp. 297–331, 2011.
ista: Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory
models. Formal Methods in System Design. 39(3), 297–331.
mla: Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal
Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
short: R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39
(2011) 297–331.
date_created: 2018-12-11T11:47:00Z
date_published: 2011-12-01T00:00:00Z
date_updated: 2021-01-12T08:01:27Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s10703-011-0131-3
intvolume: ' 39'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://infoscience.epfl.ch/record/178042/files/art3A10.10072Fs10703-011-0131-3.pdf
month: '12'
oa: 1
oa_version: Published Version
page: 297 - 331
publication: Formal Methods in System Design
publication_status: published
publisher: Springer
publist_id: '7288'
quality_controlled: '1'
scopus_import: 1
status: public
title: Verification of STM on relaxed memory models
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2011'
...
---
_id: '5379'
abstract:
- lang: eng
text: Computing the winning set for Büchi objectives in alternating games on graphs
is a central problem in computer aided verification with a large number of applications.
The long standing best known upper bound for solving the problem is ̃O(n·m), where
n is the number of vertices and m is the number of edges in the graph. We are
the first to break the ̃O(n·m) boundary by presenting a new technique that reduces
the running time to O(n2). This bound also leads to O(n2) time algorithms for
computing the set of almost-sure winning vertices for Büchi objectives (1) in
alternating games with probabilistic transitions (improving an earlier bound of
O(n·m)), (2) in concurrent graph games with constant actions (improving an earlier
bound of O(n3)), and (3) in Markov decision processes (improving for m > n4/3
an earlier bound of O(min(m1.5, m·n2/3)). We also show that the same technique
can be used to compute the maximal end-component decomposition of a graph in time
O(n2), which is an improvement over earlier bounds for m > n4/3. Finally, we show
how to maintain the winning set for Büchi objectives in alternating games under
a sequence of edge insertions or a sequence of edge deletions in O(n) amortized
time per operation. This is the first dynamic algorithm for this problem.
alternative_title:
- IST Austria Technical Report
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
citation:
ama: Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi
Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
apa: Chatterjee, K., & Henzinger, M. H. (2011). An O(n2) time algorithm for
alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009
chicago: Chatterjee, Krishnendu, and Monika H Henzinger. An O(N2) Time Algorithm
for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
ieee: K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating
Büchi games. IST Austria, 2011.
ista: Chatterjee K, Henzinger MH. 2011. An O(n2) time algorithm for alternating
Büchi games, IST Austria, 20p.
mla: Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm
for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
short: K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi
Games, IST Austria, 2011.
date_created: 2018-12-12T11:38:59Z
date_published: 2011-07-11T00:00:00Z
date_updated: 2023-02-23T11:15:12Z
day: '11'
ddc:
- '000'
- '004'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0009
file:
- access_level: open_access
checksum: 0b354264229045d982332fd2cb5b9a26
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:43Z
date_updated: 2020-07-14T12:46:39Z
file_id: '5504'
file_name: IST-2011-0009_IST-2011-0009.pdf
file_size: 388665
relation: main_file
file_date_updated: 2020-07-14T12:46:39Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '20'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '15'
related_material:
record:
- id: '3165'
relation: later_version
status: public
status: public
title: An O(n2) time algorithm for alternating Büchi games
type: technical_report
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2011'
...