---
_id: '2931'
abstract:
- lang: eng
text: "In this paper, we present a new approach for establishing correspondences
between sparse image features related by an unknown nonrigid mapping and corrupted
by clutter and occlusion, such as points extracted from images of different instances
of the same object category. We formulate this matching task as an energy minimization
problem by defining an elaborate objective function of the appearance and the
spatial arrangement of the features. Optimization of this energy is an instance
of graph matching, which is in general an NP-hard problem. We describe a novel
graph matching optimization technique, which we refer to as dual decomposition
(DD), and demonstrate on a variety of examples that this method outperforms existing
graph matching algorithms. In the majority of our examples, DD is able to find
the global minimum within a minute. The ability to globally optimize the objective
allows us to accurately learn the parameters of our matching model from training
examples. We show on several matching tasks that our learned model yields results
superior to those of state-of-the-art methods.\r\n"
acknowledgement: This research was funded in part by Microsoft Research.
article_processing_charge: No
author:
- first_name: Lorenzo
full_name: Torresani, Lorenzo
last_name: Torresani
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Carsten
full_name: Rother, Carsten
last_name: Rother
citation:
ama: Torresani L, Kolmogorov V, Rother C. A dual decomposition approach to feature
correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence.
2012;35(2):259-271. doi:10.1109/TPAMI.2012.105
apa: Torresani, L., Kolmogorov, V., & Rother, C. (2012). A dual decomposition
approach to feature correspondence. IEEE Transactions on Pattern Analysis and
Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2012.105
chicago: Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “A Dual Decomposition
Approach to Feature Correspondence.” IEEE Transactions on Pattern Analysis
and Machine Intelligence. IEEE, 2012. https://doi.org/10.1109/TPAMI.2012.105.
ieee: L. Torresani, V. Kolmogorov, and C. Rother, “A dual decomposition approach
to feature correspondence,” IEEE Transactions on Pattern Analysis and Machine
Intelligence, vol. 35, no. 2. IEEE, pp. 259–271, 2012.
ista: Torresani L, Kolmogorov V, Rother C. 2012. A dual decomposition approach to
feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence.
35(2), 259–271.
mla: Torresani, Lorenzo, et al. “A Dual Decomposition Approach to Feature Correspondence.”
IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 35,
no. 2, IEEE, 2012, pp. 259–71, doi:10.1109/TPAMI.2012.105.
short: L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis
and Machine Intelligence 35 (2012) 259–271.
date_created: 2018-12-11T12:00:24Z
date_published: 2012-05-08T00:00:00Z
date_updated: 2025-09-30T08:15:06Z
day: '08'
department:
- _id: VlKo
doi: 10.1109/TPAMI.2012.105
external_id:
isi:
- '000312560600002'
fulldoi: https://doi.org/10.1109/TPAMI.2012.105
intvolume: ' 35'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa_version: None
page: 259 - 271
project:
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: IEEE Transactions on Pattern Analysis and Machine Intelligence
publication_status: published
publisher: IEEE
publist_id: '3805'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A dual decomposition approach to feature correspondence
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 35
year: '2012'
...
---
_id: '2937'
abstract:
- lang: eng
text: Developers building cryptography into security-sensitive applications face
a daunting task. Not only must they understand the security guarantees delivered
by the constructions they choose, they must also implement and combine them correctly
and efficiently. Cryptographic compilers free developers from this task by turning
high-level specifications of security goals into efficient implementations. Yet,
trusting such tools is hard as they rely on complex mathematical machinery and
claim security properties that are subtle and difficult to verify. In this paper
we present ZKCrypt, an optimizing cryptographic compiler achieving an unprecedented
level of assurance without sacrificing practicality for a comprehensive class
of cryptographic protocols, known as Zero-Knowledge Proofs of Knowledge. The pipeline
of ZKCrypt integrates purpose-built verified compilers and verifying compilers
producing formal proofs in the CertiCrypt framework. By combining the guarantees
delivered by each stage, ZKCrypt provides assurance that the output implementation
securely realizes the abstract proof goal given as input. We report on the main
characteristics of ZKCrypt, highlight new definitions and concepts at its foundations,
and illustrate its applicability through a representative example of an anonymous
credential system.
acknowledgement: This work was partially funded by National Funds through the FCT
- Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and
Technology) within project ENI-AC/2224/2009, by ENIAC Joint Undertaking under grant
agreement number 120224, European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT,
Spanish National project TIN2009-14599 DESAFIOS 10, and Madrid Regional project
S2009TIC-1465 PROMETIDOS.
article_processing_charge: No
author:
- first_name: José
full_name: Almeida, José
last_name: Almeida
- first_name: Manuel
full_name: Barbosa, Manuel
last_name: Barbosa
- first_name: Endre
full_name: Bangerter, Endre
last_name: Bangerter
- first_name: Gilles
full_name: Barthe, Gilles
last_name: Barthe
- first_name: Stephan
full_name: Krenn, Stephan
id: 329FCCF0-F248-11E8-B48F-1D18A9856A87
last_name: Krenn
orcid: 0000-0003-2835-9093
- first_name: Santiago
full_name: Béguelin, Santiago
last_name: Béguelin
citation:
ama: 'Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. Full proof
cryptography: Verifiable compilation of efficient zero-knowledge protocols. In:
Proceedings of the 2012 ACM Conference on Computer and Communications Security.
ACM; 2012:488-500. doi:10.1145/2382196.2382249'
apa: 'Almeida, J., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., & Béguelin,
S. (2012). Full proof cryptography: Verifiable compilation of efficient zero-knowledge
protocols. In Proceedings of the 2012 ACM conference on Computer and communications
security (pp. 488–500). Raleigh, NC, USA: ACM. https://doi.org/10.1145/2382196.2382249'
chicago: 'Almeida, José, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan
Krenn, and Santiago Béguelin. “Full Proof Cryptography: Verifiable Compilation
of Efficient Zero-Knowledge Protocols.” In Proceedings of the 2012 ACM Conference
on Computer and Communications Security, 488–500. ACM, 2012. https://doi.org/10.1145/2382196.2382249.'
ieee: 'J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, and S. Béguelin,
“Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols,”
in Proceedings of the 2012 ACM conference on Computer and communications security,
Raleigh, NC, USA, 2012, pp. 488–500.'
ista: 'Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. 2012. Full
proof cryptography: Verifiable compilation of efficient zero-knowledge protocols.
Proceedings of the 2012 ACM conference on Computer and communications security.
CCS: Conference on Computer and Communications Security, 488–500.'
mla: 'Almeida, José, et al. “Full Proof Cryptography: Verifiable Compilation of
Efficient Zero-Knowledge Protocols.” Proceedings of the 2012 ACM Conference
on Computer and Communications Security, ACM, 2012, pp. 488–500, doi:10.1145/2382196.2382249.'
short: J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:,
Proceedings of the 2012 ACM Conference on Computer and Communications Security,
ACM, 2012, pp. 488–500.
conference:
end_date: 2012-10-18
location: Raleigh, NC, USA
name: 'CCS: Conference on Computer and Communications Security'
start_date: 2012-10-16
date_created: 2018-12-11T12:00:26Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2025-07-10T11:52:23Z
day: '01'
department:
- _id: KrPi
doi: 10.1145/2382196.2382249
fulldoi: https://doi.org/10.1145/2382196.2382249
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2012/258
month: '10'
oa: 1
oa_version: Submitted Version
page: 488 - 500
publication: Proceedings of the 2012 ACM conference on Computer and communications
security
publication_status: published
publisher: ACM
publist_id: '3798'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Full proof cryptography: Verifiable compilation of efficient zero-knowledge
protocols'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '2938'
abstract:
- lang: eng
text: 'Social insects have a very high potential to become invasive pest species.
Here, we explore how their social lifestyle and their interaction with parasites
may contribute to this invasive success. Similar to solitary species, parasite
release followed by the evolution of increased competitive ability can promote
establishment of introduced social insect hosts in their introduced range. Genetic
bottlenecks during introduction of low numbers of founder individuals decrease
the genetic diversity at three levels: the population, the colony and the individual,
with the colony level being specific to social insects. Reduced genetic diversity
can affect both the individual immune system and the collective colony-level disease
defences (social immunity). Still, the dual immune system is likely to make social
insects more robust to parasite attack. Changes in social structure from small,
family-based, territorially aggressive societies in native populations towards
huge networks of cooperating nests (unicoloniality) occur in some invasive social
insects, for example, most invasive ants and some termites. Unicoloniality is
likely to affect disease dynamics in multiple ways. The free exchange of individuals
within the population leads to an increased genetic heterogeneity among individuals
of a single nest, thereby decreasing disease transmission. However, the multitude
of reproductively active queens per colony buffers the effect of individual diseased
queens and their offspring, which may result in a higher level of vertical disease
transmission in unicolonial societies. Lastly, unicoloniality provides a competitive
advantage over native species, allowing them to quickly become the dominant species
in the habitat, which in turn selects for parasite adaptation to this common host
genotype and thus eventually a high parasite pressure. Overall, invasions by insect
societies are characterized by general features applying to all introduced species,
as well as idiosyncrasies that emerge from their social lifestyle. It is important
to study these effects in concert to be able to develop efficient management and
biocontrol strategies. © 2012 British Ecological Society.'
acknowledgement: We thank Mark Brown, Christopher Pull, Meghan L. Vyleta, Miriam Stock,
Barbara Casillas-Perez and three anonymous reviewers for valuable comments on the
manuscript and Eva Sixt for ant drawings. Funding was obtained from the German Science
Foundation (DFG, by an Individual Research Grant to S.C.) and the European Research
Council (ERC, by an ERC-Starting Grant to SC and an Individual Marie Curie EIF fellowship
to L.desU.). The authors declare no conflict of interests.
article_processing_charge: No
author:
- first_name: Line V
full_name: Ugelvig, Line V
id: 3DC97C8E-F248-11E8-B48F-1D18A9856A87
last_name: Ugelvig
orcid: 0000-0003-1832-8883
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Ugelvig LV, Cremer S. Effects of social immunity and unicoloniality on host
parasite interactions in invasive insect societies. Functional Ecology.
2012;26(6):1300-1312. doi:10.1111/1365-2435.12013
apa: Ugelvig, L. V., & Cremer, S. (2012). Effects of social immunity and unicoloniality
on host parasite interactions in invasive insect societies. Functional Ecology.
Wiley-Blackwell. https://doi.org/10.1111/1365-2435.12013
chicago: Ugelvig, Line V, and Sylvia Cremer. “Effects of Social Immunity and Unicoloniality
on Host Parasite Interactions in Invasive Insect Societies.” Functional Ecology.
Wiley-Blackwell, 2012. https://doi.org/10.1111/1365-2435.12013.
ieee: L. V. Ugelvig and S. Cremer, “Effects of social immunity and unicoloniality
on host parasite interactions in invasive insect societies,” Functional Ecology,
vol. 26, no. 6. Wiley-Blackwell, pp. 1300–1312, 2012.
ista: Ugelvig LV, Cremer S. 2012. Effects of social immunity and unicoloniality
on host parasite interactions in invasive insect societies. Functional Ecology.
26(6), 1300–1312.
mla: Ugelvig, Line V., and Sylvia Cremer. “Effects of Social Immunity and Unicoloniality
on Host Parasite Interactions in Invasive Insect Societies.” Functional Ecology,
vol. 26, no. 6, Wiley-Blackwell, 2012, pp. 1300–12, doi:10.1111/1365-2435.12013.
short: L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
corr_author: '1'
date_created: 2018-12-11T12:00:27Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2025-09-30T08:14:20Z
day: '01'
department:
- _id: SyCr
doi: 10.1111/1365-2435.12013
external_id:
isi:
- '000311433600008'
fulldoi: https://doi.org/10.1111/1365-2435.12013
intvolume: ' 26'
isi: 1
issue: '6'
language:
- iso: eng
month: '01'
oa_version: None
page: 1300 - 1312
publication: Functional Ecology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3797'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Effects of social immunity and unicoloniality on host parasite interactions
in invasive insect societies
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 26
year: '2012'
...
---
_id: '2941'
article_processing_charge: No
author:
- first_name: Nikolai
full_name: Dolbilin, Nikolai
last_name: Dolbilin
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Oleg
full_name: Musin, Oleg
last_name: Musin
citation:
ama: Dolbilin N, Edelsbrunner H, Musin O. On the optimality of functionals over
triangulations of Delaunay sets. Russian Mathematical Surveys. 2012;67(4):781-783.
doi:10.1070/RM2012v067n04ABEH004807
apa: Dolbilin, N., Edelsbrunner, H., & Musin, O. (2012). On the optimality of
functionals over triangulations of Delaunay sets. Russian Mathematical Surveys.
IOP Publishing. https://doi.org/10.1070/RM2012v067n04ABEH004807
chicago: Dolbilin, Nikolai, Herbert Edelsbrunner, and Oleg Musin. “On the Optimality
of Functionals over Triangulations of Delaunay Sets.” Russian Mathematical
Surveys. IOP Publishing, 2012. https://doi.org/10.1070/RM2012v067n04ABEH004807.
ieee: N. Dolbilin, H. Edelsbrunner, and O. Musin, “On the optimality of functionals
over triangulations of Delaunay sets,” Russian Mathematical Surveys, vol.
67, no. 4. IOP Publishing, pp. 781–783, 2012.
ista: Dolbilin N, Edelsbrunner H, Musin O. 2012. On the optimality of functionals
over triangulations of Delaunay sets. Russian Mathematical Surveys. 67(4), 781–783.
mla: Dolbilin, Nikolai, et al. “On the Optimality of Functionals over Triangulations
of Delaunay Sets.” Russian Mathematical Surveys, vol. 67, no. 4, IOP Publishing,
2012, pp. 781–83, doi:10.1070/RM2012v067n04ABEH004807.
short: N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012)
781–783.
date_created: 2018-12-11T12:00:28Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-09-30T08:13:48Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1070/RM2012v067n04ABEH004807
external_id:
isi:
- '000310789000005'
file:
- access_level: open_access
checksum: 389a5ae53d6347de36c3468034f2821d
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:49Z
date_updated: 2020-07-14T12:45:55Z
file_id: '5239'
file_name: IST-2013-132-v1+1_2012-J-04-Functional-E.pdf
file_size: 253816
relation: main_file
file_date_updated: 2020-07-14T12:45:55Z
fulldoi: https://doi.org/10.1070/RM2012v067n04ABEH004807
has_accepted_license: '1'
intvolume: ' 67'
isi: 1
issue: '4'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 781 - 783
publication: Russian Mathematical Surveys
publication_status: published
publisher: IOP Publishing
publist_id: '3792'
pubrep_id: '132'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the optimality of functionals over triangulations of Delaunay sets
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 67
year: '2012'
...
---
_id: '2943'
abstract:
- lang: eng
text: We examine whether the Escherichia coli chromosome is folded into a self-adherent
nucleoprotein complex, or alternately is a confined but otherwise unconstrained
self-avoiding polymer. We address this through in vivo visualization, using an
inducible GFP fusion to the nucleoid-associated protein Fis to non-specifically
decorate the entire chromosome. For a range of different growth conditions, the
chromosome is a compact structure that does not fill the volume of the cell, and
which moves from the new pole to the cell centre. During rapid growth, chromosome
segregation occurs well before cell division, with daughter chromosomes coupled
by a thin inter-daughter filament before complete segregation, whereas during
slow growth chromosomes stay adjacent until cell division occurs. Image correlation
analysis indicates that sub-nucleoid structure is stable on a 1min timescale,
comparable to the timescale for redistribution time measured for GFP-Fis after
photobleaching. Optical deconvolution and writhe calculation analysis indicate
that the nucleoid has a large-scale coiled organization rather than being an amorphous
mass. Our observations are consistent with the chromosome having a self-adherent
filament organization.
acknowledgement: We thank Professor Philippe Cluzel and Mr Lance Min for providing
advice and materials. Jeannette Chau provided technical support. Work at NU was
supported by NSF Grants DMR-0715099, MCB-1022117, DMR-1206868, DMR-0520513 and DMR-1121262
(NU-MRSEC), by NIH-NCI Grant U54CA143869-01 (NU-PS-OC) and by the Chicago Biomedical
Consortium with support from the Searle Funds at the Chicago Community Trust. Work
at UCLA was supported by NIH Grant GM038509.
article_processing_charge: No
author:
- first_name: Nastaran
full_name: Hadizadeh Yazdi, Nastaran
last_name: Hadizadeh Yazdi
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Reid
full_name: Johnson, Reid
last_name: Johnson
- first_name: John
full_name: Marko, John
last_name: Marko
citation:
ama: Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. Variation of the folding and
dynamics of the Escherichia coli chromosome with growth conditions. Molecular
Microbiology. 2012;86(6):1318-1333. doi:10.1111/mmi.12071
apa: Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., & Marko, J. (2012). Variation
of the folding and dynamics of the Escherichia coli chromosome with growth conditions.
Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.12071
chicago: Hadizadeh Yazdi, Nastaran, Calin C Guet, Reid Johnson, and John Marko.
“Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with
Growth Conditions.” Molecular Microbiology. Wiley-Blackwell, 2012. https://doi.org/10.1111/mmi.12071.
ieee: N. Hadizadeh Yazdi, C. C. Guet, R. Johnson, and J. Marko, “Variation of the
folding and dynamics of the Escherichia coli chromosome with growth conditions,”
Molecular Microbiology, vol. 86, no. 6. Wiley-Blackwell, pp. 1318–1333,
2012.
ista: Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. 2012. Variation of the folding
and dynamics of the Escherichia coli chromosome with growth conditions. Molecular
Microbiology. 86(6), 1318–1333.
mla: Hadizadeh Yazdi, Nastaran, et al. “Variation of the Folding and Dynamics of
the Escherichia Coli Chromosome with Growth Conditions.” Molecular Microbiology,
vol. 86, no. 6, Wiley-Blackwell, 2012, pp. 1318–33, doi:10.1111/mmi.12071.
short: N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology
86 (2012) 1318–1333.
date_created: 2018-12-11T12:00:28Z
date_published: 2012-11-09T00:00:00Z
date_updated: 2025-09-30T08:13:13Z
day: '09'
department:
- _id: CaGu
doi: 10.1111/mmi.12071
external_id:
isi:
- '000312557000005'
fulldoi: https://doi.org/10.1111/mmi.12071
intvolume: ' 86'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://europepmc.org/articles/pmc3524407
month: '11'
oa: 1
oa_version: Submitted Version
page: 1318 - 1333
publication: Molecular Microbiology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3790'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Variation of the folding and dynamics of the Escherichia coli chromosome with
growth conditions
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 86
year: '2012'
...
---
_id: '2945'
abstract:
- lang: eng
text: In search of foreign antigens, lymphocytes recirculate from the blood, through
lymph nodes, into lymphatics and back to the blood. Dendritic cells also migrate
to lymph nodes for optimal interaction with lymphocytes. This continuous trafficking
of immune cells into and out of lymph nodes is essential for immune surveillance
of foreign invaders. In this article, we review our current understanding of the
functions of high endothelial venules (HEVs), stroma and lymphatics in the entry,
positioning and exit of immune cells in lymph nodes during homeostasis, and we
highlight the unexpected role of dendritic cells in the control of lymphocyte
homing through HEVs.
acknowledgement: We thank M. Sixt and A. Peixoto for helpful comments on the manuscript.
Work in the laboratory of J.-P.G. is supported by grants from Fondation ARC pour
la Recherche sur le Cancer, Agence Nationale de la Recherche (ANR), Institut National
du Cancer (INCA), Fondation RITC and Région Midi-Pyrénées. Research by R.F. is supported
by Deutsche Forschungsgemeinschaft (DFG) grants SFB621-A1, SFB738-B5, SFB587-B3,
SFB900-B1 and KFO 250-FO 334/2-1. We regret that, owing to space limitations, we
could not always quote the work of colleagues who have contributed to the field.
article_processing_charge: No
author:
- first_name: Jean
full_name: Girard, Jean
last_name: Girard
- first_name: Christine
full_name: Moussion, Christine
id: 3356F664-F248-11E8-B48F-1D18A9856A87
last_name: Moussion
- first_name: Reinhold
full_name: Förster, Reinhold
last_name: Förster
citation:
ama: Girard J, Moussion C, Förster R. HEVs, lymphatics and homeostatic immune cell
trafficking in lymph nodes. Nature Reviews Immunology. 2012;12(11):762-773.
doi:10.1038/nri3298
apa: Girard, J., Moussion, C., & Förster, R. (2012). HEVs, lymphatics and homeostatic
immune cell trafficking in lymph nodes. Nature Reviews Immunology. Nature
Publishing Group. https://doi.org/10.1038/nri3298
chicago: Girard, Jean, Christine Moussion, and Reinhold Förster. “HEVs, Lymphatics
and Homeostatic Immune Cell Trafficking in Lymph Nodes.” Nature Reviews Immunology.
Nature Publishing Group, 2012. https://doi.org/10.1038/nri3298.
ieee: J. Girard, C. Moussion, and R. Förster, “HEVs, lymphatics and homeostatic
immune cell trafficking in lymph nodes,” Nature Reviews Immunology, vol.
12, no. 11. Nature Publishing Group, pp. 762–773, 2012.
ista: Girard J, Moussion C, Förster R. 2012. HEVs, lymphatics and homeostatic immune
cell trafficking in lymph nodes. Nature Reviews Immunology. 12(11), 762–773.
mla: Girard, Jean, et al. “HEVs, Lymphatics and Homeostatic Immune Cell Trafficking
in Lymph Nodes.” Nature Reviews Immunology, vol. 12, no. 11, Nature Publishing
Group, 2012, pp. 762–73, doi:10.1038/nri3298.
short: J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
date_created: 2018-12-11T12:00:29Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-09-30T08:12:46Z
day: '01'
department:
- _id: MiSi
doi: 10.1038/nri3298
external_id:
isi:
- '000310523400010'
fulldoi: https://doi.org/10.1038/nri3298
intvolume: ' 12'
isi: 1
issue: '11'
language:
- iso: eng
month: '11'
oa_version: None
page: 762 - 773
publication: Nature Reviews Immunology
publication_status: published
publisher: Nature Publishing Group
publist_id: '3787'
quality_controlled: '1'
scopus_import: '1'
status: public
title: HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 12
year: '2012'
...
---
_id: '2946'
abstract:
- lang: eng
text: MicroRNAs (miRNAs) are small noncoding RNAs that function in literally all
cellular processes. miRNAs interact with Argonaute (Ago) proteins and guide them
to specific target sites located in the 3′-untranslated region (3′-UTR) of target
mRNAs leading to translational repression and deadenylation-induced mRNA degradation.
Most miRNAs are processed from hairpin-structured precursors by the consecutive
action of the RNase III enzymes Drosha and Dicer. However, processing of miR-451
is Dicer independent and cleavage is mediated by the endonuclease Ago2. Here we
have characterized miR-451 sequence and structure requirements for processing
as well as sorting of miRNAs into different Ago proteins. Pre-miR-451 appears
to be optimized for Ago2 cleavage and changes result in reduced processing. In
addition, we show that the mature miR-451 only associates with Ago2 suggesting
that mature miRNAs are not exchanged between different members of the Ago protein
family. Based on cloning and deep sequencing of endogenous miRNAs associated with
Ago1-3, we do not find evidence for miRNA sorting in human cells. However, Ago
identity appears to influence the length of some miRNAs, while others remain unaffected.
acknowledgement: "Deutsche Forschungsgemeinschaft (DFG) (SFB 960 and FOR855); European
Research Council (ERC grant ‘sRNAs’); European Union (FP7 project ‘ONCOMIRs’); German
Bundesministerium für Bildung und Forschung (BMBF, NGFN+, FKZ PIM-01GS0804-5); Bavarian
Genome Research Network (BayGene to G.M.); The Netherlands Organization for Scientific
Research (NWO, VIDI grant to E.B.). Funding for open access charge: DFG via the
open access publishing program. \r\n\r\nWe thank Sigrun Ammon and Corinna Friederich
for technical assistance and Sebastian Petri and Daniel Schraivogel for helpful
discussions."
article_processing_charge: No
author:
- first_name: Anne
full_name: Dueck, Anne
last_name: Dueck
- first_name: Christian
full_name: Ziegler, Christian
last_name: Ziegler
- first_name: Alexander
full_name: Eichner, Alexander
id: 4DFA52AE-F248-11E8-B48F-1D18A9856A87
last_name: Eichner
- first_name: Eugène
full_name: Berezikov, Eugène
last_name: Berezikov
- first_name: Gunter
full_name: Meister, Gunter
last_name: Meister
citation:
ama: Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. MicroRNAs associated
with the different human Argonaute proteins. Nucleic Acids Research. 2012;40(19):9850-9862.
doi:10.1093/nar/gks705
apa: Dueck, A., Ziegler, C., Eichner, A., Berezikov, E., & Meister, G. (2012).
MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids
Research. Oxford University Press. https://doi.org/10.1093/nar/gks705
chicago: Dueck, Anne, Christian Ziegler, Alexander Eichner, Eugène Berezikov, and
Gunter Meister. “MicroRNAs Associated with the Different Human Argonaute Proteins.”
Nucleic Acids Research. Oxford University Press, 2012. https://doi.org/10.1093/nar/gks705.
ieee: A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, and G. Meister, “MicroRNAs
associated with the different human Argonaute proteins,” Nucleic Acids Research,
vol. 40, no. 19. Oxford University Press, pp. 9850–9862, 2012.
ista: Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. 2012. MicroRNAs associated
with the different human Argonaute proteins. Nucleic Acids Research. 40(19), 9850–9862.
mla: Dueck, Anne, et al. “MicroRNAs Associated with the Different Human Argonaute
Proteins.” Nucleic Acids Research, vol. 40, no. 19, Oxford University Press,
2012, pp. 9850–62, doi:10.1093/nar/gks705.
short: A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids
Research 40 (2012) 9850–9862.
corr_author: '1'
date_created: 2018-12-11T12:00:29Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2025-09-30T08:12:07Z
day: '01'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1093/nar/gks705
external_id:
isi:
- '000310377200046'
file:
- access_level: open_access
checksum: 1bb8d1ff894014b481657a21083c941c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:12Z
date_updated: 2020-07-14T12:45:55Z
file_id: '4993'
file_name: IST-2015-383-v1+1_Nucl._Acids_Res.-2012-Dueck-9850-62.pdf
file_size: 8126936
relation: main_file
file_date_updated: 2020-07-14T12:45:55Z
fulldoi: https://doi.org/10.1093/nar/gks705
has_accepted_license: '1'
intvolume: ' 40'
isi: 1
issue: '19'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '10'
oa: 1
oa_version: Published Version
page: 9850 - 9862
publication: Nucleic Acids Research
publication_status: published
publisher: Oxford University Press
publist_id: '3786'
pubrep_id: '383'
quality_controlled: '1'
scopus_import: '1'
status: public
title: MicroRNAs associated with the different human Argonaute proteins
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 40
year: '2012'
...
---
_id: '2947'
abstract:
- lang: eng
text: We introduce games with probabilistic uncertainty, a model for controller
synthesis in which the controller observes the state through imprecise sensors
that provide correct information about the current state with a fixed probability.
That is, in each step, the sensors return an observed state, and given the observed
state, there is a probability distribution (due to the estimation error) over
the actual current state. The controller must base its decision on the observed
state (rather than the actual current state, which it does not know). On the other
hand, we assume that the environment can perfectly observe the current state.
We show that controller synthesis for qualitative ω-regular objectives in our
model can be reduced in polynomial time to standard partial-observation stochastic
games, and vice-versa. As a consequence we establish the precise decidability
frontier for the new class of games, and establish optimal complexity results
for all the decidable problems.
acknowledgement: 'The research was supported by Austrian Science Fund (FWF) Grant
No P 23499-N23 on Modern Graph Algorithmic Techniques in Formal Verification, FWF
NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft
faculty fellows award.'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
citation:
ama: 'Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic
uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399.
doi:10.1007/978-3-642-33386-6_30'
apa: 'Chatterjee, K., Chmelik, M., & Majumdar, R. (2012). Equivalence of games
with probabilistic uncertainty and partial observation games (Vol. 7561, pp. 385–399).
Presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram,
India: Springer. https://doi.org/10.1007/978-3-642-33386-6_30'
chicago: Chatterjee, Krishnendu, Martin Chmelik, and Ritankar Majumdar. “Equivalence
of Games with Probabilistic Uncertainty and Partial Observation Games,” 7561:385–99.
Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_30.
ieee: 'K. Chatterjee, M. Chmelik, and R. Majumdar, “Equivalence of games with probabilistic
uncertainty and partial observation games,” presented at the ATVA: Automated Technology
for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp.
385–399.'
ista: 'Chatterjee K, Chmelik M, Majumdar R. 2012. Equivalence of games with probabilistic
uncertainty and partial observation games. ATVA: Automated Technology for Verification
and Analysis, LNCS, vol. 7561, 385–399.'
mla: Chatterjee, Krishnendu, et al. Equivalence of Games with Probabilistic Uncertainty
and Partial Observation Games. Vol. 7561, Springer, 2012, pp. 385–99, doi:10.1007/978-3-642-33386-6_30.
short: K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
conference:
end_date: 2012-10-06
location: Thiruvananthapuram, India
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2012-10-03
date_created: 2018-12-11T12:00:29Z
date_published: 2012-06-01T00:00:00Z
date_updated: 2025-07-10T11:52:24Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-33386-6_30
ec_funded: 1
external_id:
arxiv:
- '1202.4140'
fulldoi: https://doi.org/10.1007/978-3-642-33386-6_30
intvolume: ' 7561'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1202.4140
month: '06'
oa: 1
oa_version: Preprint
page: 385 - 399
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _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_status: published
publisher: Springer
publist_id: '3785'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Equivalence of games with probabilistic uncertainty and partial observation
games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7561
year: '2012'
...
---
_id: '2949'
article_processing_charge: No
author:
- first_name: David
full_name: Dupret, David
last_name: Dupret
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
citation:
ama: Dupret D, Csicsvari JL. The medial entorhinal cortex keeps Up. Nature Neuroscience.
2012;15(11):1471-1472. doi:10.1038/nn.3245
apa: Dupret, D., & Csicsvari, J. L. (2012). The medial entorhinal cortex keeps
Up. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3245
chicago: Dupret, David, and Jozsef L Csicsvari. “The Medial Entorhinal Cortex Keeps
Up.” Nature Neuroscience. Nature Publishing Group, 2012. https://doi.org/10.1038/nn.3245.
ieee: D. Dupret and J. L. Csicsvari, “The medial entorhinal cortex keeps Up,” Nature
Neuroscience, vol. 15, no. 11. Nature Publishing Group, pp. 1471–1472, 2012.
ista: Dupret D, Csicsvari JL. 2012. The medial entorhinal cortex keeps Up. Nature
Neuroscience. 15(11), 1471–1472.
mla: Dupret, David, and Jozsef L. Csicsvari. “The Medial Entorhinal Cortex Keeps
Up.” Nature Neuroscience, vol. 15, no. 11, Nature Publishing Group, 2012,
pp. 1471–72, doi:10.1038/nn.3245.
short: D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
corr_author: '1'
date_created: 2018-12-11T12:00:30Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-09-30T08:11:33Z
day: '01'
department:
- _id: JoCs
doi: 10.1038/nn.3245
external_id:
isi:
- '000310424900003'
fulldoi: https://doi.org/10.1038/nn.3245
intvolume: ' 15'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- url: http://www.mrcbndu.ox.ac.uk/publications/medial-entorhinal-cortex-keeps
month: '11'
oa_version: None
page: 1471 - 1472
publication: Nature Neuroscience
publication_status: published
publisher: Nature Publishing Group
publist_id: '3782'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The medial entorhinal cortex keeps Up
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2012'
...
---
_id: '2951'
abstract:
- lang: eng
text: Differential cell adhesion and cortex tension are thought to drive cell sorting
by controlling cell-cell contact formation. Here, we show that cell adhesion and
cortex tension have different mechanical functions in controlling progenitor cell-cell
contact formation and sorting during zebrafish gastrulation. Cortex tension controls
cell-cell contact expansion by modulating interfacial tension at the contact.
By contrast, adhesion has little direct function in contact expansion, but instead
is needed to mechanically couple the cortices of adhering cells at their contacts,
allowing cortex tension to control contact expansion. The coupling function of
adhesion is mediated by E-cadherin and limited by the mechanical anchoring of
E-cadherin to the cortex. Thus, cell adhesion provides the mechanical scaffold
for cell cortex tension to drive cell sorting during gastrulation.
acknowledged_ssus:
- _id: SSU
article_processing_charge: No
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: Hélène
full_name: Berthoumieux, Hélène
last_name: Berthoumieux
- first_name: Gabriel
full_name: Krens, Gabriel
id: 2B819732-F248-11E8-B48F-1D18A9856A87
last_name: Krens
orcid: 0000-0003-4761-5996
- first_name: Guillaume
full_name: Salbreux, Guillaume
last_name: Salbreux
- first_name: Frank
full_name: Julicher, Frank
last_name: Julicher
- first_name: Ewa
full_name: Paluch, Ewa
last_name: Paluch
- 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, Berthoumieux H, Krens G, et al. Adhesion functions in cell sorting
by mechanically coupling the cortices of adhering cells. Science. 2012;338(6104):253-256.
doi:10.1126/science.1225399
apa: Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch,
E., & Heisenberg, C.-P. J. (2012). Adhesion functions in cell sorting by mechanically
coupling the cortices of adhering cells. Science. American Association
for the Advancement of Science. https://doi.org/10.1126/science.1225399
chicago: Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux,
Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Adhesion Functions
in Cell Sorting by Mechanically Coupling the Cortices of Adhering Cells.” Science.
American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1225399.
ieee: J.-L. Maître et al., “Adhesion functions in cell sorting by mechanically
coupling the cortices of adhering cells,” Science, vol. 338, no. 6104.
American Association for the Advancement of Science, pp. 253–256, 2012.
ista: Maître J-L, Berthoumieux H, Krens G, Salbreux G, Julicher F, Paluch E, Heisenberg
C-PJ. 2012. Adhesion functions in cell sorting by mechanically coupling the cortices
of adhering cells. Science. 338(6104), 253–256.
mla: Maître, Jean-Léon, et al. “Adhesion Functions in Cell Sorting by Mechanically
Coupling the Cortices of Adhering Cells.” Science, vol. 338, no. 6104,
American Association for the Advancement of Science, 2012, pp. 253–56, doi:10.1126/science.1225399.
short: J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch,
C.-P.J. Heisenberg, Science 338 (2012) 253–256.
corr_author: '1'
date_created: 2018-12-11T12:00:31Z
date_published: 2012-10-12T00:00:00Z
date_updated: 2025-09-30T08:10:36Z
day: '12'
department:
- _id: CaHe
doi: 10.1126/science.1225399
external_id:
isi:
- '000309712300045'
fulldoi: https://doi.org/10.1126/science.1225399
intvolume: ' 338'
isi: 1
issue: '6104'
language:
- iso: eng
month: '10'
oa_version: None
page: 253 - 256
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '3777'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adhesion functions in cell sorting by mechanically coupling the cortices of
adhering cells
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 338
year: '2012'
...
---
_id: '2952'
abstract:
- lang: eng
text: Body axis elongation represents a common and fundamental morphogenetic process
in development. A key mechanism triggering body axis elongation without additional
growth is convergent extension (CE), whereby a tissue undergoes simultaneous narrowing
and extension. Both collective cell migration and cell intercalation are thought
to drive CE and are used to different degrees in various species as they elongate
their body axis. Here, we provide an overview of CE as a general strategy for
body axis elongation and discuss conserved and divergent mechanisms underlying
CE among different species.
acknowledgement: 'M.T. is supported by the UK Medical Research Council (MRC) and Royal
Society and C.-P.H. by the Fonds zur Förderung der wissenschaftlichen Forschung
(FWF), Deutsche Forschungsgemeinschaft (DFG) and Institute of Science and Technology
Austria. '
article_processing_charge: No
author:
- first_name: Masazumi
full_name: Tada, Masazumi
last_name: Tada
- 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: Tada M, Heisenberg C-PJ. Convergent extension Using collective cell migration
and cell intercalation to shape embryos. Development. 2012;139(21):3897-3904.
doi:10.1242/dev.073007
apa: Tada, M., & Heisenberg, C.-P. J. (2012). Convergent extension Using collective
cell migration and cell intercalation to shape embryos. Development. Company
of Biologists. https://doi.org/10.1242/dev.073007
chicago: Tada, Masazumi, and Carl-Philipp J Heisenberg. “Convergent Extension Using
Collective Cell Migration and Cell Intercalation to Shape Embryos.” Development.
Company of Biologists, 2012. https://doi.org/10.1242/dev.073007.
ieee: M. Tada and C.-P. J. Heisenberg, “Convergent extension Using collective cell
migration and cell intercalation to shape embryos,” Development, vol. 139,
no. 21. Company of Biologists, pp. 3897–3904, 2012.
ista: Tada M, Heisenberg C-PJ. 2012. Convergent extension Using collective cell
migration and cell intercalation to shape embryos. Development. 139(21), 3897–3904.
mla: Tada, Masazumi, and Carl-Philipp J. Heisenberg. “Convergent Extension Using
Collective Cell Migration and Cell Intercalation to Shape Embryos.” Development,
vol. 139, no. 21, Company of Biologists, 2012, pp. 3897–904, doi:10.1242/dev.073007.
short: M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.
corr_author: '1'
date_created: 2018-12-11T12:00:31Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-09-30T08:10:08Z
day: '01'
department:
- _id: CaHe
doi: 10.1242/dev.073007
external_id:
isi:
- '000309701300002'
fulldoi: https://doi.org/10.1242/dev.073007
intvolume: ' 139'
isi: 1
issue: '21'
language:
- iso: eng
month: '11'
oa_version: None
page: 3897 - 3904
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '3776'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Convergent extension Using collective cell migration and cell intercalation
to shape embryos
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 139
year: '2012'
...
---
_id: '2953'
article_processing_charge: No
author:
- 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: Reinhard
full_name: Fässler, Reinhard
last_name: Fässler
citation:
ama: Heisenberg C-PJ, Fässler R. Cell-cell adhesion and extracellular matrix diversity
counts. Current Opinion in Cell Biology. 2012;24(5):559-561. doi:10.1016/j.ceb.2012.09.002
apa: Heisenberg, C.-P. J., & Fässler, R. (2012). Cell-cell adhesion and extracellular
matrix diversity counts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2012.09.002
chicago: Heisenberg, Carl-Philipp J, and Reinhard Fässler. “Cell-Cell Adhesion and
Extracellular Matrix Diversity Counts.” Current Opinion in Cell Biology.
Elsevier, 2012. https://doi.org/10.1016/j.ceb.2012.09.002.
ieee: C.-P. J. Heisenberg and R. Fässler, “Cell-cell adhesion and extracellular
matrix diversity counts,” Current Opinion in Cell Biology, vol. 24, no.
5. Elsevier, pp. 559–561, 2012.
ista: Heisenberg C-PJ, Fässler R. 2012. Cell-cell adhesion and extracellular matrix
diversity counts. Current Opinion in Cell Biology. 24(5), 559–561.
mla: Heisenberg, Carl-Philipp J., and Reinhard Fässler. “Cell-Cell Adhesion and
Extracellular Matrix Diversity Counts.” Current Opinion in Cell Biology,
vol. 24, no. 5, Elsevier, 2012, pp. 559–61, doi:10.1016/j.ceb.2012.09.002.
short: C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012)
559–561.
corr_author: '1'
date_created: 2018-12-11T12:00:31Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2025-09-30T08:09:10Z
day: '01'
department:
- _id: CaHe
doi: 10.1016/j.ceb.2012.09.002
external_id:
isi:
- '000310943300001'
fulldoi: https://doi.org/10.1016/j.ceb.2012.09.002
intvolume: ' 24'
isi: 1
issue: '5'
language:
- iso: eng
month: '10'
oa_version: None
page: 559 - 561
publication: Current Opinion in Cell Biology
publication_status: published
publisher: Elsevier
publist_id: '3773'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cell-cell adhesion and extracellular matrix diversity counts
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 24
year: '2012'
...
---
OA_place: repository
OA_type: green
_id: '2956'
abstract:
- lang: eng
text: 'Two-player games on graphs are central in many problems in formal verification
and program analysis such as synthesis and verification of open systems. In this
work we consider solving recursive game graphs (or pushdown game graphs) that
can model the control flow of sequential programs with recursion. While pushdown
games have been studied before with qualitative objectives, such as reachability
and parity objectives, in this work we study for the first time such games with
the most well-studied quantitative objective, namely, mean payoff objectives.
In pushdown games two types of strategies are relevant: (1) global strategies,
that depend on the entire global history; and (2) modular strategies, that have
only local memory and thus do not depend on the context of invocation, but only
on the history of the current invocation of the module. Our main results are as
follows: (1) One-player pushdown games with mean-payoff objectives under global
strategies are decidable in polynomial time. (2) Two-player pushdown games with
mean-payoff objectives under global strategies are undecidable. (3) One-player
pushdown games with mean-payoff objectives under modular strategies are NP-hard.
(4) Two-player pushdown games with mean-payoff objectives under modular strategies
can be solved in NP (i.e., both one-player and two-player pushdown games with
mean-payoff objectives under modular strategies are NP-complete). We also establish
the optimal strategy complexity showing that global strategies for mean-payoff
objectives require infinite memory even in one-player pushdown games; and memoryless
modular strategies are sufficient in two-player pushdown games. Finally we also
show that all the problems have the same computational complexity if the stack
boundedness condition is added, where along with the mean-payoff objective the
player must also ensure that the stack height is bounded.'
acknowledgement: "The research was supported by Austrian Science Fund (FWF) Grant
No P 23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph
Games), Microsoft faculty fellows award, the Israeli Centers of Research Excellence
(ICORE) program, (Center No. 4/11), the RICH Model Toolkit (ICT COST Action IC0901),
and was carried out in partial fulfillment of the requirements for the Ph.D. degree
of the second author.\r\nA Technical Report of this paper is available via internal
link."
article_number: '6280438'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Yaron
full_name: Velner, Yaron
last_name: Velner
citation:
ama: 'Chatterjee K, Velner Y. Mean payoff pushdown games. In: Proceedings of
the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE;
2012. doi:10.1109/LICS.2012.30'
apa: 'Chatterjee, K., & Velner, Y. (2012). Mean payoff pushdown games. In Proceedings
of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik,
Croatia : IEEE. https://doi.org/10.1109/LICS.2012.30'
chicago: Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.”
In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer
Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.30.
ieee: K. Chatterjee and Y. Velner, “Mean payoff pushdown games,” in Proceedings
of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik,
Croatia , 2012.
ista: 'Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of
the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic
in Computer Science, 6280438.'
mla: Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” Proceedings
of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280438,
IEEE, 2012, doi:10.1109/LICS.2012.30.
short: K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE
Symposium on Logic in Computer Science, IEEE, 2012.
conference:
end_date: 2012-06-28
location: 'Dubrovnik, Croatia '
name: 'LICS: Logic in Computer Science'
start_date: 2012-06-25
date_created: 2018-12-11T12:00:32Z
date_published: 2012-08-23T00:00:00Z
date_updated: 2025-09-30T08:08:13Z
day: '23'
department:
- _id: KrCh
doi: 10.1109/LICS.2012.30
ec_funded: 1
external_id:
arxiv:
- '1201.2829'
isi:
- '000309059900025'
fulldoi: https://doi.org/10.1109/LICS.2012.30
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1201.2829
month: '08'
oa: 1
oa_version: Preprint
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _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: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer
Science
publication_status: published
publisher: IEEE
publist_id: '3770'
quality_controlled: '1'
related_material:
record:
- id: '5377'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Mean payoff pushdown games
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2012'
...
---
_id: '2957'
abstract:
- lang: eng
text: 'We consider probabilistic automata on infinite words with acceptance defined
by parity conditions. We consider three qualitative decision problems: (i) the
positive decision problem asks whether there is a word that is accepted with positive
probability; (ii) the almost decision problem asks whether there is a word that
is accepted with probability 1; and (iii) the limit decision problem asks whether
words are accepted with probability arbitrarily close to 1. We unify and generalize
several decidability results for probabilistic automata over infinite words, and
identify a robust (closed under union and intersection) subclass of probabilistic
automata for which all the qualitative decision problems are decidable for parity
conditions. We also show that if the input words are restricted to lasso shape
(regular) words, then the positive and almost problems are decidable for all probabilistic
automata with parity conditions. For most decidable problems we show an optimal
PSPACE-complete complexity bound.'
article_number: '6280437'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Mathieu
full_name: Tracol, Mathieu
id: 3F54FA38-F248-11E8-B48F-1D18A9856A87
last_name: Tracol
citation:
ama: 'Chatterjee K, Tracol M. Decidable problems for probabilistic automata on infinite
words. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic
in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.29'
apa: 'Chatterjee, K., & Tracol, M. (2012). Decidable problems for probabilistic
automata on infinite words. In Proceedings of the 2012 27th Annual ACM/IEEE
Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.29'
chicago: Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic
Automata on Infinite Words.” In Proceedings of the 2012 27th Annual ACM/IEEE
Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.29.
ieee: K. Chatterjee and M. Tracol, “Decidable problems for probabilistic automata
on infinite words,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium
on Logic in Computer Science, Dubrovnik, Croatia , 2012.
ista: 'Chatterjee K, Tracol M. 2012. Decidable problems for probabilistic automata
on infinite words. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic
in Computer Science. LICS: Logic in Computer Science, 6280437.'
mla: Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic
Automata on Infinite Words.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium
on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.
short: K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE
Symposium on Logic in Computer Science, IEEE, 2012.
conference:
end_date: 2012-06-28
location: 'Dubrovnik, Croatia '
name: 'LICS: Logic in Computer Science'
start_date: 2012-06-25
corr_author: '1'
date_created: 2018-12-11T12:00:33Z
date_published: 2012-08-23T00:00:00Z
date_updated: 2025-09-30T08:07:39Z
day: '23'
department:
- _id: KrCh
doi: 10.1109/LICS.2012.29
ec_funded: 1
external_id:
arxiv:
- '1107.2091'
isi:
- '000309059900024'
fulldoi: https://doi.org/10.1109/LICS.2012.29
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1107.2091
month: '08'
oa: 1
oa_version: Preprint
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _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: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer
Science
publication_status: published
publisher: IEEE
publist_id: '3769'
quality_controlled: '1'
related_material:
record:
- id: '5384'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Decidable problems for probabilistic automata on infinite words
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2012'
...
---
_id: '2958'
abstract:
- lang: eng
text: 'The activity of hippocampal pyramidal cells reflects both the current position
of the animal and information related to its current behavior. Here we investigated
whether single hippocampal neurons can encode several independent features defining
trials during a memory task. We also tested whether task-related information is
represented by partial remapping of the place cell population or, instead, via
firing rate modulation of spatially stable place cells. To address these two questions,
the activity of hippocampal neurons was recorded in rats performing a conditional
discrimination task on a modified T-maze in which the identity of a food reward
guided behavior. When the rat was on the central arm of the maze, the firing rate
of pyramidal cells changed depending on two independent factors: (1) the identity
of the food reward given to the animal and (2) the previous location of the animal
on the maze. Importantly, some pyramidal cells encoded information relative to
both factors. This trial-type specific and retrospective coding did not interfere
with the spatial representation of the maze: hippocampal cells had stable place
fields and their theta-phase precession profiles were unaltered during the task,
indicating that trial-related information was encoded via rate remapping. During
error trials, encoding of both trial-related information and spatial location
was impaired. Finally, we found that pyramidal cells also encode trial-related
information via rate remapping during the continuous version of the rewarded alternation
task without delays. These results suggest that hippocampal neurons can encode
several task-related cognitive aspects via rate remapping.'
acknowledgement: J.C. was supported by a MRC Intramural Programme Grant (U138197111)
and a European Research Council Starter Grant (281511). K.A. held a Wellcome Trust
PhD studentship and a Humboldt Research Fellowship for Postdoctoral Researchers.
D.M.B. was supported by Wellcome Trust Senior Fellowships (074385 and 087736).
article_processing_charge: No
author:
- first_name: Kevin
full_name: Allen, Kevin
last_name: Allen
- first_name: J Nick
full_name: Rawlins, J Nick
last_name: Rawlins
- first_name: David
full_name: Bannerman, David
last_name: Bannerman
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
citation:
ama: Allen K, Rawlins JN, Bannerman D, Csicsvari JL. Hippocampal place cells can
encode multiple trial-dependent features through rate remapping. Journal of
Neuroscience. 2012;32(42):14752-14766. doi:10.1523/JNEUROSCI.6175-11.2012
apa: Allen, K., Rawlins, J. N., Bannerman, D., & Csicsvari, J. L. (2012). Hippocampal
place cells can encode multiple trial-dependent features through rate remapping.
Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6175-11.2012
chicago: Allen, Kevin, J Nick Rawlins, David Bannerman, and Jozsef L Csicsvari.
“Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through
Rate Remapping.” Journal of Neuroscience. Society for Neuroscience, 2012.
https://doi.org/10.1523/JNEUROSCI.6175-11.2012.
ieee: K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place
cells can encode multiple trial-dependent features through rate remapping,” Journal
of Neuroscience, vol. 32, no. 42. Society for Neuroscience, pp. 14752–14766,
2012.
ista: Allen K, Rawlins JN, Bannerman D, Csicsvari JL. 2012. Hippocampal place cells
can encode multiple trial-dependent features through rate remapping. Journal of
Neuroscience. 32(42), 14752–14766.
mla: Allen, Kevin, et al. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent
Features through Rate Remapping.” Journal of Neuroscience, vol. 32, no.
42, Society for Neuroscience, 2012, pp. 14752–66, doi:10.1523/JNEUROSCI.6175-11.2012.
short: K. Allen, J.N. Rawlins, D. Bannerman, J.L. Csicsvari, Journal of Neuroscience
32 (2012) 14752–14766.
date_created: 2018-12-11T12:00:33Z
date_published: 2012-10-17T00:00:00Z
date_updated: 2025-09-30T08:07:06Z
day: '17'
department:
- _id: JoCs
doi: 10.1523/JNEUROSCI.6175-11.2012
ec_funded: 1
external_id:
isi:
- '000310054000028'
pmid:
- '23077060'
fulldoi: https://doi.org/10.1523/JNEUROSCI.6175-11.2012
intvolume: ' 32'
isi: 1
issue: '42'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3531717/
month: '10'
oa: 1
oa_version: Submitted Version
page: 14752 - 14766
pmid: 1
project:
- _id: 257A4776-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '281511'
name: Memory-related information processing in neuronal circuits of the hippocampus
and entorhinal cortex
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '3768'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Hippocampal place cells can encode multiple trial-dependent features through
rate remapping
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 32
year: '2012'
...
---
_id: '2959'
abstract:
- lang: eng
text: We study maximum likelihood estimation in Gaussian graphical models from a
geometric point of view. An algebraic elimination criterion allows us to find
exact lower bounds on the number of observations needed to ensure that the maximum
likelihood estimator (MLE) exists with probability one. This is applied to bipartite
graphs, grids and colored graphs. We also study the ML degree, and we present
the first instance of a graph for which the MLE exists with probability one, even
when the number of observations equals the treewidth.
acknowledgement: "I wish to thank Bernd Sturmfels for many helpful discus- sions and
Steffen Lauritzen for introducing me to the problem of the existence of the MLE
in Gaussian graphical models. I would also like to thank two referees who provided
helpful comments on the original version of this paper.\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Caroline
full_name: Uhler, Caroline
id: 49ADD78E-F248-11E8-B48F-1D18A9856A87
last_name: Uhler
orcid: 0000-0002-7008-0216
citation:
ama: Uhler C. Geometry of maximum likelihood estimation in Gaussian graphical models.
Annals of Statistics. 2012;40(1):238-261. doi:10.1214/11-AOS957
apa: Uhler, C. (2012). Geometry of maximum likelihood estimation in Gaussian graphical
models. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOS957
chicago: Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian
Graphical Models.” Annals of Statistics. Institute of Mathematical Statistics,
2012. https://doi.org/10.1214/11-AOS957.
ieee: C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical
models,” Annals of Statistics, vol. 40, no. 1. Institute of Mathematical
Statistics, pp. 238–261, 2012.
ista: Uhler C. 2012. Geometry of maximum likelihood estimation in Gaussian graphical
models. Annals of Statistics. 40(1), 238–261.
mla: Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical
Models.” Annals of Statistics, vol. 40, no. 1, Institute of Mathematical
Statistics, 2012, pp. 238–61, doi:10.1214/11-AOS957.
short: C. Uhler, Annals of Statistics 40 (2012) 238–261.
corr_author: '1'
date_created: 2018-12-11T12:00:33Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2025-09-30T08:06:35Z
day: '01'
department:
- _id: CaUh
doi: 10.1214/11-AOS957
external_id:
arxiv:
- '1012.2643'
isi:
- '000304684900010'
fulldoi: https://doi.org/10.1214/11-AOS957
intvolume: ' 40'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1012.2643
month: '02'
oa: 1
oa_version: Preprint
page: 238 - 261
publication: Annals of Statistics
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '3767'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Geometry of maximum likelihood estimation in Gaussian graphical models
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 40
year: '2012'
...
---
_id: '2962'
abstract:
- lang: eng
text: The choice of summary statistics is a crucial step in approximate Bayesian
computation (ABC). Since statistics are often not sufficient, this choice involves
a trade-off between loss of information and reduction of dimensionality. The latter
may increase the efficiency of ABC. Here, we propose an approach for choosing
summary statistics based on boosting, a technique from the machine learning literature.
We consider different types of boosting and compare them to partial least squares
regression as an alternative. To mitigate the lack of sufficiency, we also propose
an approach for choosing summary statistics locally, in the putative neighborhood
of the true parameter value. We study a demographic model motivated by the re-introduction
of Alpine ibex (Capra ibex) into the Swiss Alps. The parameters of interest are
the mean and standard deviation across microsatellites of the scaled ancestral
mutation rate (θanc = 4 Ne u), and the proportion of males obtaining access to
matings per breeding season (ω). By simulation, we assess the properties of the
posterior distribution obtained with the various methods. According to our criteria,
ABC with summary statistics chosen locally via boosting with the L2-loss performs
best. Applying that method to the ibex data, we estimate θanc ≈ 1.288, and find
that most of the variation across loci of the ancestral mutation rate u is between
7.7×10−4 and 3.5×10−3 per locus per generation. The proportion of males with access
to matings is estimated to ω ≈ 0.21, which is in good agreement with recent independent
estimates.
acknowledged_ssus:
- _id: ScienComp
article_processing_charge: No
author:
- first_name: Simon
full_name: Aeschbacher, Simon
id: 2D35326E-F248-11E8-B48F-1D18A9856A87
last_name: Aeschbacher
- first_name: Mark
full_name: Beaumont, Mark
last_name: Beaumont
- first_name: Andreas
full_name: Futschik, Andreas
last_name: Futschik
citation:
ama: Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary
statistics in approximate Bayesian computation. Genetics. 2012;192(3):1027-1047.
doi:10.1534/genetics.112.143164
apa: Aeschbacher, S., Beaumont, M., & Futschik, A. (2012). A novel approach
for choosing summary statistics in approximate Bayesian computation. Genetics.
Genetics Society of America. https://doi.org/10.1534/genetics.112.143164
chicago: Aeschbacher, Simon, Mark Beaumont, and Andreas Futschik. “A Novel Approach
for Choosing Summary Statistics in Approximate Bayesian Computation.” Genetics.
Genetics Society of America, 2012. https://doi.org/10.1534/genetics.112.143164.
ieee: S. Aeschbacher, M. Beaumont, and A. Futschik, “A novel approach for choosing
summary statistics in approximate Bayesian computation,” Genetics, vol.
192, no. 3. Genetics Society of America, pp. 1027–1047, 2012.
ista: Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing
summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047.
mla: Aeschbacher, Simon, et al. “A Novel Approach for Choosing Summary Statistics
in Approximate Bayesian Computation.” Genetics, vol. 192, no. 3, Genetics
Society of America, 2012, pp. 1027–47, doi:10.1534/genetics.112.143164.
short: S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
corr_author: '1'
date_created: 2018-12-11T12:00:34Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-09-30T08:06:06Z
day: '01'
department:
- _id: NiBa
doi: 10.1534/genetics.112.143164
external_id:
isi:
- '000310793900018'
pmid:
- '22960215'
fulldoi: https://doi.org/10.1534/genetics.112.143164
intvolume: ' 192'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3522150/
month: '11'
oa: 1
oa_version: Submitted Version
page: 1027 - 1047
pmid: 1
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '3763'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A novel approach for choosing summary statistics in approximate Bayesian computation
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 192
year: '2012'
...
---
_id: '2963'
abstract:
- lang: eng
text: 'Zebra finches are an ubiquitous model system for the study of vocal learning
in animal communication. Their song has been well described, but its possible
function(s) in social communication are only partly understood. The so-called
‘directed song’ is a high-intensity, high-performance song given during courtship
in close proximity to the female, which is known to mediate mate choice and mating.
However, this singing mode constitutes only a fraction of zebra finch males’ prolific
song output. Potential communicative functions of their second, ‘undirected’ singing
mode remain unresolved in the face of contradicting reports of both facilitating
and inhibiting effects of social company on singing. We addressed this issue by
experimentally manipulating social contexts in a within-subject design, comparing
a solo versus male or female only company condition, each lasting for 24 hours.
Males’ total song output was significantly higher when a conspecific was in audible
and visible distance than when they were alone. Male and female company had an
equally facilitating effect on song output. Our findings thus indicate that singing
motivation is facilitated rather than inhibited by social company, suggesting
that singing in zebra finches might function both in inter- and intrasexual communication. '
article_processing_charge: No
author:
- first_name: Fabienne
full_name: Jesse, Fabienne
id: 4C8C26A4-F248-11E8-B48F-1D18A9856A87
last_name: Jesse
- first_name: Katharina
full_name: Riebel, Katharina
last_name: Riebel
citation:
ama: Jesse F, Riebel K. Social facilitation of male song by male and female conspecifics
in the zebra finch, Taeniopygia guttata. Behavioural Processes. 2012;91(3):262-266.
doi:10.1016/j.beproc.2012.09.006
apa: Jesse, F., & Riebel, K. (2012). Social facilitation of male song by male
and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural
Processes. Elsevier. https://doi.org/10.1016/j.beproc.2012.09.006
chicago: Jesse, Fabienne, and Katharina Riebel. “Social Facilitation of Male Song
by Male and Female Conspecifics in the Zebra Finch, Taeniopygia Guttata.” Behavioural
Processes. Elsevier, 2012. https://doi.org/10.1016/j.beproc.2012.09.006.
ieee: F. Jesse and K. Riebel, “Social facilitation of male song by male and female
conspecifics in the zebra finch, Taeniopygia guttata,” Behavioural Processes,
vol. 91, no. 3. Elsevier, pp. 262–266, 2012.
ista: Jesse F, Riebel K. 2012. Social facilitation of male song by male and female
conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. 91(3),
262–266.
mla: Jesse, Fabienne, and Katharina Riebel. “Social Facilitation of Male Song by
Male and Female Conspecifics in the Zebra Finch, Taeniopygia Guttata.” Behavioural
Processes, vol. 91, no. 3, Elsevier, 2012, pp. 262–66, doi:10.1016/j.beproc.2012.09.006.
short: F. Jesse, K. Riebel, Behavioural Processes 91 (2012) 262–266.
corr_author: '1'
date_created: 2018-12-11T12:00:35Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2025-09-30T08:05:37Z
day: '01'
department:
- _id: JoBo
doi: 10.1016/j.beproc.2012.09.006
external_id:
isi:
- '000311660200007'
fulldoi: https://doi.org/10.1016/j.beproc.2012.09.006
intvolume: ' 91'
isi: 1
issue: '3'
language:
- iso: eng
month: '11'
oa_version: None
page: 262 - 266
publication: Behavioural Processes
publication_status: published
publisher: Elsevier
publist_id: '3756'
quality_controlled: '1'
status: public
title: Social facilitation of male song by male and female conspecifics in the zebra
finch, Taeniopygia guttata
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 91
year: '2012'
...
---
OA_place: publisher
_id: '2964'
abstract:
- lang: eng
text: 'CA3 pyramidal neurons are important for memory formation and pattern completion
in the hippocampal network. These neurons receive multiple excitatory inputs from
numerous sources. Therefore, the rules of spatiotemporal integration of multiple
synaptic inputs and propagation of action potentials are important to understand
how CA3 neurons contribute to higher brain functions at cellular level. By using
confocally targeted patch-clamp recording techniques, we investigated the biophysical
properties of rat CA3 pyramidal neuron dendrites. We found two distinct dendritic
domains critical for action potential initiation and propagation: 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 evoked by local dendritic depolarization or waveforms mimicking
synaptic events. These findings can be explained by a high Na+-to-K+ conductance
density ratio of CA3 pyramidal neuron dendrites. The results challenge the prevailing
view that proximal mossy fiber inputs activate CA3 pyramidal neurons more efficiently
than distal perforant inputs by showing that the distal synapses trigger a different
form of activity represented by dendritic spikes. The high probability of dendritic
spike initiation in the distal area may enhance the computational power of CA3
pyramidal neurons in the hippocampal network. '
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sooyun
full_name: Kim, Sooyun
id: 394AB1C8-F248-11E8-B48F-1D18A9856A87
last_name: Kim
citation:
ama: Kim S. Active properties of hippocampal CA3 pyramidal neuron dendrites. 2012.
apa: Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites.
Institute of Science and Technology Austria.
chicago: Kim, Sooyun. “Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites.”
Institute of Science and Technology Austria, 2012.
ieee: S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,”
Institute of Science and Technology Austria, 2012.
ista: Kim S. 2012. Active properties of hippocampal CA3 pyramidal neuron dendrites.
Institute of Science and Technology Austria.
mla: Kim, Sooyun. Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites.
Institute of Science and Technology Austria, 2012.
short: S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites,
Institute of Science and Technology Austria, 2012.
corr_author: '1'
date_created: 2018-12-11T12:00:35Z
date_published: 2012-06-01T00:00:00Z
date_updated: 2026-06-18T18:41:53Z
day: '01'
degree_awarded: PhD
department:
- _id: PeJo
- _id: GradSch
language:
- iso: eng
month: '06'
oa_version: None
page: '65'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '3755'
related_material:
record:
- id: '3258'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
title: Active properties of hippocampal CA3 pyramidal neuron dendrites
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2012'
...
---
_id: '2966'
abstract:
- lang: eng
text: 'Background: The outcome of male-male competition can be predicted from the
relative fighting qualities of the opponents, which often depend on their age.
In insects, freshly emerged and still sexually inactive males are morphologically
indistinct from older, sexually active males. These young inactive males may thus
be easy targets for older males if they cannot conceal themselves from their attacks.
The ant Cardiocondyla obscurior is characterised by lethal fighting between wingless
(" ergatoid" ) males. Here, we analyse for how long young males are
defenceless after eclosion, and how early adult males can detect the presence
of rival males.Results: We found that old ergatoid males consistently won fights
against ergatoid males younger than two days. Old males did not differentiate
between different types of unpigmented pupae several days before emergence, but
had more frequent contact to ready-to-eclose pupae of female sexuals and winged
males than of workers and ergatoid males. In rare cases, old ergatoid males displayed
alleviated biting of pigmented ergatoid male pupae shortly before adult eclosion,
as well as copulation attempts to dark pupae of female sexuals and winged males.
Ergatoid male behaviour may be promoted by a closer similarity of the chemical
profile of ready-to-eclose pupae to the profile of adults than that of young pupae
several days prior to emergence.Conclusion: Young ergatoid males of C. obscurior
would benefit greatly by hiding their identity from older, resident males, as
they are highly vulnerable during the first two days of their adult lives. In
contrast to the winged males of the same species, which are able to prevent ergatoid
male attacks by chemical female mimicry, young ergatoids do not seem to be able
to produce a protective chemical profile. Conflicts in male-male competition between
ergatoid males of different age thus seem to be resolved in favour of the older
males. This might represent selection at the colony level rather than the individual
level. © 2012 Cremer et al.; licensee BioMed Central Ltd.'
article_number: '7'
article_processing_charge: No
author:
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
- first_name: Masaki
full_name: Suefuji, Masaki
last_name: Suefuji
- 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, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition
in Cardiocondyla obscurior ants. BMC Ecology. 2012;12. doi:10.1186/1472-6785-12-7
apa: Cremer, S., Suefuji, M., Schrempf, A., & Heinze, J. (2012). The dynamics
of male-male competition in Cardiocondyla obscurior ants. BMC Ecology.
BioMed Central. https://doi.org/10.1186/1472-6785-12-7
chicago: Cremer, Sylvia, Masaki Suefuji, Alexandra Schrempf, and Jürgen Heinze.
“The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” BMC
Ecology. BioMed Central, 2012. https://doi.org/10.1186/1472-6785-12-7.
ieee: S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male
competition in Cardiocondyla obscurior ants,” BMC Ecology, vol. 12. BioMed
Central, 2012.
ista: Cremer S, Suefuji M, Schrempf A, Heinze J. 2012. The dynamics of male-male
competition in Cardiocondyla obscurior ants. BMC Ecology. 12, 7.
mla: Cremer, Sylvia, et al. “The Dynamics of Male-Male Competition in Cardiocondyla
Obscurior Ants.” BMC Ecology, vol. 12, 7, BioMed Central, 2012, doi:10.1186/1472-6785-12-7.
short: S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
corr_author: '1'
date_created: 2018-12-11T12:00:35Z
date_published: 2012-06-15T00:00:00Z
date_updated: 2025-09-30T08:05:03Z
day: '15'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.1186/1472-6785-12-7
external_id:
isi:
- '000307777500001'
file:
- access_level: open_access
checksum: 03d004bdff3724fb1627e3f5004bad80
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:44Z
date_updated: 2020-07-14T12:45:57Z
file_id: '4706'
file_name: IST-2012-94-v1+1_1472-6785-12-7.pdf
file_size: 489994
relation: main_file
file_date_updated: 2020-07-14T12:45:57Z
fulldoi: https://doi.org/10.1186/1472-6785-12-7
has_accepted_license: '1'
intvolume: ' 12'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '06'
oa: 1
oa_version: Published Version
publication: BMC Ecology
publication_status: published
publisher: BioMed Central
publist_id: '3753'
pubrep_id: '94'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The dynamics of male-male competition in Cardiocondyla obscurior ants
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 12
year: '2012'
...