---
_id: '1702'
abstract:
- lang: eng
text: In this paper we present INTERHORN, a solver for recursion-free Horn clauses.
The main application domain of INTERHORN lies in solving interpolation problems
arising in software verification. We show how a range of interpolation problems,
including path, transition, nested, state/transition and well-founded interpolation
can be handled directly by INTERHORN. By detailing these interpolation problems
and their Horn clause representations, we hope to encourage the emergence of a
common back-end interpolation interface useful for diverse verification tools.
alternative_title:
- EPTCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Corneliu
full_name: Popeea, Corneliu
last_name: Popeea
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
citation:
ama: 'Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion
free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science,
EPTCS. Vol 169. Open Publishing Association; 2014:31-38. doi:10.4204/EPTCS.169.5'
apa: 'Gupta, A., Popeea, C., & Rybalchenko, A. (2014). Generalised interpolation
by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical
Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing
Association. https://doi.org/10.4204/EPTCS.169.5'
chicago: Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised
Interpolation by Solving Recursion Free-Horn Clauses.” In Electronic Proceedings
in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing Association,
2014. https://doi.org/10.4204/EPTCS.169.5.
ieee: A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving
recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer
Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
ista: 'Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving
recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science,
EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169, 31–38.'
mla: Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn
Clauses.” Electronic Proceedings in Theoretical Computer Science, EPTCS,
vol. 169, Open Publishing Association, 2014, pp. 31–38, doi:10.4204/EPTCS.169.5.
short: A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical
Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.
conference:
end_date: 2014-07-17
location: Vienna, Austria
name: 'HCVS: Horn Clauses for Verification and Synthesis'
start_date: 2014-07-17
corr_author: '1'
date_created: 2018-12-11T11:53:33Z
date_published: 2014-12-02T00:00:00Z
date_updated: 2025-06-11T08:03:28Z
day: '02'
department:
- _id: ToHe
doi: 10.4204/EPTCS.169.5
external_id:
arxiv:
- '1303.7378'
intvolume: ' 169'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1303.7378
month: '12'
oa: 1
oa_version: Submitted Version
page: 31 - 38
publication: Electronic Proceedings in Theoretical Computer Science, EPTCS
publication_status: published
publisher: Open Publishing Association
publist_id: '5435'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Generalised interpolation by solving recursion free-horn clauses
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 169
year: '2014'
...
---
_id: '1708'
abstract:
- lang: eng
text: It has been long argued that, because of inherent ambiguity and noise, the
brain needs to represent uncertainty in the form of probability distributions.
The neural encoding of such distributions remains however highly controversial.
Here we present a novel circuit model for representing multidimensional real-valued
distributions using a spike based spatio-temporal code. Our model combines the
computational advantages of the currently competing models for probabilistic codes
and exhibits realistic neural responses along a variety of classic measures. Furthermore,
the model highlights the challenges associated with interpreting neural activity
in relation to behavioral uncertainty and points to alternative population-level
approaches for the experimental validation of distributed representations.
article_processing_charge: No
author:
- first_name: Cristina
full_name: Savin, Cristina
id: 3933349E-F248-11E8-B48F-1D18A9856A87
last_name: Savin
- first_name: Sophie
full_name: Denève, Sophie
last_name: Denève
citation:
ama: 'Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking
neural networks. In: Vol 27. Neural Information Processing Systems Foundation;
2014:2024-2032.'
apa: 'Savin, C., & Denève, S. (2014). Spatio-temporal representations of uncertainty
in spiking neural networks (Vol. 27, pp. 2024–2032). Presented at the NIPS: Neural
Information Processing Systems, Montreal, Canada: Neural Information Processing
Systems Foundation.'
chicago: Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of
Uncertainty in Spiking Neural Networks,” 27:2024–32. Neural Information Processing
Systems Foundation, 2014.
ieee: 'C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in
spiking neural networks,” presented at the NIPS: Neural Information Processing
Systems, Montreal, Canada, 2014, vol. 27, no. January, pp. 2024–2032.'
ista: 'Savin C, Denève S. 2014. Spatio-temporal representations of uncertainty in
spiking neural networks. NIPS: Neural Information Processing Systems vol. 27,
2024–2032.'
mla: Savin, Cristina, and Sophie Denève. Spatio-Temporal Representations of Uncertainty
in Spiking Neural Networks. Vol. 27, no. January, Neural Information Processing
Systems Foundation, 2014, pp. 2024–32.
short: C. Savin, S. Denève, in:, Neural Information Processing Systems Foundation,
2014, pp. 2024–2032.
conference:
end_date: 2014-12-13
location: Montreal, Canada
name: 'NIPS: Neural Information Processing Systems'
start_date: 2014-12-08
corr_author: '1'
date_created: 2018-12-11T11:53:35Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2025-06-03T11:45:08Z
day: '01'
department:
- _id: GaTk
intvolume: ' 27'
issue: January
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://papers.nips.cc/paper/5343-spatio-temporal-representations-of-uncertainty-in-spiking-neural-networks.pdf
month: '01'
oa: 1
oa_version: None
page: 2024 - 2032
publication_status: published
publisher: Neural Information Processing Systems Foundation
publist_id: '5427'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spatio-temporal representations of uncertainty in spiking neural networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2014'
...
---
_id: '1733'
abstract:
- lang: eng
text: The classical (boolean) notion of refinement for behavioral interfaces of
system components is the alternating refinement preorder. In this paper, we define
a distance for interfaces, called interface simulation distance. It makes the
alternating refinement preorder quantitative by, intuitively, tolerating errors
(while counting them) in the alternating simulation game. We show that the interface
simulation distance satisfies the triangle inequality, that the distance between
two interfaces does not increase under parallel composition with a third interface,
that the distance between two interfaces can be bounded from above and below by
distances between abstractions of the two interfaces, and how to synthesize an
interface from incompatible requirements. We illustrate the framework, and the
properties of the distances under composition of interfaces, with two case studies.
article_processing_charge: No
arxiv: 1
author:
- first_name: Pavol
full_name: Cerny, Pavol
last_name: Cerny
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
citation:
ama: Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances.
Theoretical Computer Science. 2014;560(3):348-363. doi:10.1016/j.tcs.2014.08.019
apa: Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2014). Interface
simulation distances. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.08.019
chicago: Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna.
“Interface Simulation Distances.” Theoretical Computer Science. Elsevier,
2014. https://doi.org/10.1016/j.tcs.2014.08.019.
ieee: P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation
distances,” Theoretical Computer Science, vol. 560, no. 3. Elsevier, pp.
348–363, 2014.
ista: Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2014. Interface simulation
distances. Theoretical Computer Science. 560(3), 348–363.
mla: Cerny, Pavol, et al. “Interface Simulation Distances.” Theoretical Computer
Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi:10.1016/j.tcs.2014.08.019.
short: P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer
Science 560 (2014) 348–363.
corr_author: '1'
date_created: 2018-12-11T11:53:43Z
date_published: 2014-12-04T00:00:00Z
date_updated: 2025-09-29T13:14:25Z
day: '04'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1016/j.tcs.2014.08.019
ec_funded: 1
external_id:
arxiv:
- '1210.2450'
isi:
- '000347601300009'
intvolume: ' 560'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1210.2450
month: '12'
oa: 1
oa_version: Submitted Version
page: 348 - 363
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _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: Theoretical Computer Science
publication_status: published
publisher: Elsevier
publist_id: '5392'
quality_controlled: '1'
related_material:
record:
- id: '2916'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Interface simulation distances
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 560
year: '2014'
...
---
OA_place: publisher
OA_type: free access
_id: '8044'
abstract:
- lang: eng
text: Many questions concerning models in quantum mechanics require a detailed analysis
of the spectrum of the corresponding Hamiltonian, a linear operator on a suitable
Hilbert space. Of particular relevance for an understanding of the low-temperature
properties of a system is the structure of the excitation spectrum, which is the
part of the spectrum close to the spectral bottom. We present recent progress
on this question for bosonic many-body quantum systems with weak two-body interactions.
Such system are currently of great interest, due to their experimental realization
in ultra-cold atomic gases. We investigate the accuracy of the Bogoliubov approximations,
which predicts that the low-energy spectrum is made up of sums of elementary excitations,
with linear dispersion law at low momentum. The latter property is crucial for
the superfluid behavior the system.
article_processing_charge: No
author:
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Seiringer R. Structure of the excitation spectrum for many-body quantum systems.
In: Proceeding of the International Congress of Mathematicans. Vol 3. International
Congress of Mathematicians; 2014:1175-1194.'
apa: 'Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum
systems. In Proceeding of the International Congress of Mathematicans (Vol.
3, pp. 1175–1194). Seoul, South Korea: International Congress of Mathematicians.'
chicago: Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body
Quantum Systems.” In Proceeding of the International Congress of Mathematicans,
3:1175–94. International Congress of Mathematicians, 2014.
ieee: R. Seiringer, “Structure of the excitation spectrum for many-body quantum
systems,” in Proceeding of the International Congress of Mathematicans,
Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
ista: 'Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum
systems. Proceeding of the International Congress of Mathematicans. ICM: International
Congress of Mathematicans vol. 3, 1175–1194.'
mla: Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum
Systems.” Proceeding of the International Congress of Mathematicans, vol.
3, International Congress of Mathematicians, 2014, pp. 1175–94.
short: R. Seiringer, in:, Proceeding of the International Congress of Mathematicans,
International Congress of Mathematicians, 2014, pp. 1175–1194.
conference:
end_date: 2014-08-21
location: Seoul, South Korea
name: 'ICM: International Congress of Mathematicans'
start_date: 2014-08-13
corr_author: '1'
date_created: 2020-06-29T07:59:35Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2025-07-15T08:39:50Z
day: '01'
department:
- _id: RoSe
intvolume: ' 3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.icm2014.org/en/vod/proceedings.html
month: '08'
oa: 1
oa_version: Published Version
page: 1175-1194
publication: Proceeding of the International Congress of Mathematicans
publication_identifier:
isbn:
- '9788961058063'
publication_status: published
publisher: International Congress of Mathematicians
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structure of the excitation spectrum for many-body quantum systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2014'
...
---
_id: '9458'
abstract:
- lang: eng
text: Dnmt1 epigenetically propagates symmetrical CG methylation in many eukaryotes.
Their genomes are typically depleted of CG dinucleotides because of imperfect
repair of deaminated methylcytosines. Here, we extensively survey diverse species
lacking Dnmt1 and show that, surprisingly, symmetrical CG methylation is nonetheless
frequently present and catalyzed by a different DNA methyltransferase family,
Dnmt5. Numerous Dnmt5-containing organisms that diverged more than a billion years
ago exhibit clustered methylation, specifically in nucleosome linkers. Clustered
methylation occurs at unprecedented densities and directly disfavors nucleosomes,
contributing to nucleosome positioning between clusters. Dense methylation is
enabled by a regime of genomic sequence evolution that enriches CG dinucleotides
and drives the highest CG frequencies known. Species with linker methylation have
small, transcriptionally active nuclei that approach the physical limits of chromatin
compaction. These features constitute a previously unappreciated genome architecture,
in which dense methylation influences nucleosome positions, likely facilitating
nuclear processes under extreme spatial constraints.
article_processing_charge: No
article_type: original
author:
- first_name: Jason T.
full_name: Huff, Jason T.
last_name: Huff
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Huff JT, Zilberman D. Dnmt1-independent CG methylation contributes to nucleosome
positioning in diverse eukaryotes. Cell. 2014;156(6):1286-1297. doi:10.1016/j.cell.2014.01.029
apa: Huff, J. T., & Zilberman, D. (2014). Dnmt1-independent CG methylation contributes
to nucleosome positioning in diverse eukaryotes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2014.01.029
chicago: Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation
Contributes to Nucleosome Positioning in Diverse Eukaryotes.” Cell. Elsevier,
2014. https://doi.org/10.1016/j.cell.2014.01.029.
ieee: J. T. Huff and D. Zilberman, “Dnmt1-independent CG methylation contributes
to nucleosome positioning in diverse eukaryotes,” Cell, vol. 156, no. 6.
Elsevier, pp. 1286–1297, 2014.
ista: Huff JT, Zilberman D. 2014. Dnmt1-independent CG methylation contributes to
nucleosome positioning in diverse eukaryotes. Cell. 156(6), 1286–1297.
mla: Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes
to Nucleosome Positioning in Diverse Eukaryotes.” Cell, vol. 156, no. 6,
Elsevier, 2014, pp. 1286–97, doi:10.1016/j.cell.2014.01.029.
short: J.T. Huff, D. Zilberman, Cell 156 (2014) 1286–1297.
date_created: 2021-06-04T12:00:16Z
date_published: 2014-03-13T00:00:00Z
date_updated: 2021-12-14T08:22:36Z
day: '13'
department:
- _id: DaZi
doi: 10.1016/j.cell.2014.01.029
extern: '1'
external_id:
pmid:
- '24630728'
intvolume: ' 156'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2014.01.029
month: '03'
oa: 1
oa_version: Published Version
page: 1286-1297
pmid: 1
publication: Cell
publication_identifier:
eissn:
- 1097-4172
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse
eukaryotes
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 156
year: '2014'
...
---
_id: '9479'
abstract:
- lang: eng
text: Centromeres mediate chromosome segregation and are defined by the centromere-specific
histone H3 variant (CenH3)/centromere protein A (CENP-A). Removal of CenH3 from
centromeres is a general property of terminally differentiated cells, and the
persistence of CenH3 increases the risk of diseases such as cancer. However, active
mechanisms of centromere disassembly are unknown. Nondividing Arabidopsis pollen
vegetative cells, which transport engulfed sperm by extended tip growth, undergo
loss of CenH3; centromeric heterochromatin decondensation; and bulk activation
of silent rRNA genes, accompanied by their translocation into the nucleolus. Here,
we show that these processes are blocked by mutations in the evolutionarily conserved
AAA-ATPase molecular chaperone, CDC48A, homologous to yeast Cdc48 and human p97
proteins, both of which are implicated in ubiquitin/small ubiquitin-like modifier
(SUMO)-targeted protein degradation. We demonstrate that CDC48A physically associates
with its heterodimeric cofactor UFD1-NPL4, known to bind ubiquitin and SUMO, as
well as with SUMO1-modified CenH3 and mutations in NPL4 phenocopy cdc48a mutations.
In WT vegetative cell nuclei, genetically unlinked ribosomal DNA (rDNA) loci are
uniquely clustered together within the nucleolus and all major rRNA gene variants,
including those rDNA variants silenced in leaves, are transcribed. In cdc48a mutant
vegetative cell nuclei, however, these rDNA loci frequently colocalized with condensed
centromeric heterochromatin at the external periphery of the nucleolus. Our results
indicate that the CDC48ANPL4 complex actively removes sumoylated CenH3 from centromeres
and disrupts centromeric heterochromatin to release bulk rRNA genes into the nucleolus
for ribosome production, which fuels single nucleus-driven pollen tube growth
and is essential for plant reproduction.
article_processing_charge: No
article_type: original
author:
- first_name: Zsuzsanna
full_name: Mérai, Zsuzsanna
last_name: Mérai
- first_name: Nina
full_name: Chumak, Nina
last_name: Chumak
- first_name: Marcelina
full_name: García-Aguilar, Marcelina
last_name: García-Aguilar
- first_name: Tzung-Fu
full_name: Hsieh, Tzung-Fu
last_name: Hsieh
- first_name: Toshiro
full_name: Nishimura, Toshiro
last_name: Nishimura
- first_name: Vera K.
full_name: Schoft, Vera K.
last_name: Schoft
- first_name: János
full_name: Bindics, János
last_name: Bindics
- first_name: Lucyna
full_name: Ślusarz, Lucyna
last_name: Ślusarz
- first_name: Stéphanie
full_name: Arnoux, Stéphanie
last_name: Arnoux
- first_name: Susanne
full_name: Opravil, Susanne
last_name: Opravil
- first_name: Karl
full_name: Mechtler, Karl
last_name: Mechtler
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
- first_name: Robert L.
full_name: Fischer, Robert L.
last_name: Fischer
- first_name: Hisashi
full_name: Tamaru, Hisashi
last_name: Tamaru
citation:
ama: Mérai Z, Chumak N, García-Aguilar M, et al. The AAA-ATPase molecular chaperone
Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and
activates ribosomal RNA genes. Proceedings of the National Academy of Sciences.
2014;111(45):16166-16171. doi:10.1073/pnas.1418564111
apa: Mérai, Z., Chumak, N., García-Aguilar, M., Hsieh, T.-F., Nishimura, T., Schoft,
V. K., … Tamaru, H. (2014). The AAA-ATPase molecular chaperone Cdc48/p97 disassembles
sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA
genes. Proceedings of the National Academy of Sciences. National Academy
of Sciences. https://doi.org/10.1073/pnas.1418564111
chicago: Mérai, Zsuzsanna, Nina Chumak, Marcelina García-Aguilar, Tzung-Fu Hsieh,
Toshiro Nishimura, Vera K. Schoft, János Bindics, et al. “The AAA-ATPase Molecular
Chaperone Cdc48/P97 Disassembles Sumoylated Centromeres, Decondenses Heterochromatin,
and Activates Ribosomal RNA Genes.” Proceedings of the National Academy of
Sciences. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1418564111.
ieee: Z. Mérai et al., “The AAA-ATPase molecular chaperone Cdc48/p97 disassembles
sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA
genes,” Proceedings of the National Academy of Sciences, vol. 111, no.
45. National Academy of Sciences, pp. 16166–16171, 2014.
ista: Mérai Z, Chumak N, García-Aguilar M, Hsieh T-F, Nishimura T, Schoft VK, Bindics
J, Ślusarz L, Arnoux S, Opravil S, Mechtler K, Zilberman D, Fischer RL, Tamaru
H. 2014. The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated
centromeres, decondenses heterochromatin, and activates ribosomal RNA genes. Proceedings
of the National Academy of Sciences. 111(45), 16166–16171.
mla: Mérai, Zsuzsanna, et al. “The AAA-ATPase Molecular Chaperone Cdc48/P97 Disassembles
Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA
Genes.” Proceedings of the National Academy of Sciences, vol. 111, no.
45, National Academy of Sciences, 2014, pp. 16166–71, doi:10.1073/pnas.1418564111.
short: Z. Mérai, N. Chumak, M. García-Aguilar, T.-F. Hsieh, T. Nishimura, V.K. Schoft,
J. Bindics, L. Ślusarz, S. Arnoux, S. Opravil, K. Mechtler, D. Zilberman, R.L.
Fischer, H. Tamaru, Proceedings of the National Academy of Sciences 111 (2014)
16166–16171.
date_created: 2021-06-07T07:23:43Z
date_published: 2014-11-11T00:00:00Z
date_updated: 2021-12-14T08:23:26Z
day: '11'
department:
- _id: DaZi
doi: 10.1073/pnas.1418564111
extern: '1'
external_id:
pmid:
- '25344531'
intvolume: ' 111'
issue: '45'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1073/pnas.1418564111
month: '11'
oa: 1
oa_version: Published Version
page: 16166-16171
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres,
decondenses heterochromatin, and activates ribosomal RNA genes
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 111
year: '2014'
...
---
_id: '9519'
abstract:
- lang: eng
text: Transposons are selfish genetic sequences that can increase their copy number
and inflict substantial damage on their hosts. To combat these genomic parasites,
plants have evolved multiple pathways to identify and silence transposons by methylating
their DNA. Plants have also evolved mechanisms to limit the collateral damage
from the antitransposon machinery. In this review, we examine recent developments
that have elucidated many of the molecular workings of these pathways. We also
highlight the evidence that the methylation and demethylation pathways interact,
indicating that plants have a highly sophisticated, integrated system of transposon
defense that has an important role in the regulation of gene expression.
article_processing_charge: No
article_type: review
author:
- first_name: M. Yvonne
full_name: Kim, M. Yvonne
last_name: Kim
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Kim MY, Zilberman D. DNA methylation as a system of plant genomic immunity.
Trends in Plant Science. 2014;19(5):320-326. doi:10.1016/j.tplants.2014.01.014
apa: Kim, M. Y., & Zilberman, D. (2014). DNA methylation as a system of plant
genomic immunity. Trends in Plant Science. Elsevier. https://doi.org/10.1016/j.tplants.2014.01.014
chicago: Kim, M. Yvonne, and Daniel Zilberman. “DNA Methylation as a System of Plant
Genomic Immunity.” Trends in Plant Science. Elsevier, 2014. https://doi.org/10.1016/j.tplants.2014.01.014.
ieee: M. Y. Kim and D. Zilberman, “DNA methylation as a system of plant genomic
immunity,” Trends in Plant Science, vol. 19, no. 5. Elsevier, pp. 320–326,
2014.
ista: Kim MY, Zilberman D. 2014. DNA methylation as a system of plant genomic immunity.
Trends in Plant Science. 19(5), 320–326.
mla: Kim, M. Yvonne, and Daniel Zilberman. “DNA Methylation as a System of Plant
Genomic Immunity.” Trends in Plant Science, vol. 19, no. 5, Elsevier, 2014,
pp. 320–26, doi:10.1016/j.tplants.2014.01.014.
short: M.Y. Kim, D. Zilberman, Trends in Plant Science 19 (2014) 320–326.
date_created: 2021-06-07T14:38:09Z
date_published: 2014-05-04T00:00:00Z
date_updated: 2021-12-14T08:24:48Z
day: '04'
department:
- _id: DaZi
doi: 10.1016/j.tplants.2014.01.014
extern: '1'
external_id:
pmid:
- '24618094 '
intvolume: ' 19'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 320-326
pmid: 1
publication: Trends in Plant Science
publication_identifier:
eissn:
- 1878-4372
issn:
- 1360-1385
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: DNA methylation as a system of plant genomic immunity
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 19
year: '2014'
...
---
_id: '9722'
article_processing_charge: No
author:
- first_name: Anna
full_name: Lovrics, Anna
last_name: Lovrics
- first_name: Yu
full_name: Gao, Yu
last_name: Gao
- first_name: Bianka
full_name: Juhász, Bianka
last_name: Juhász
- first_name: István
full_name: Bock, István
last_name: Bock
- first_name: Helen M.
full_name: Byrne, Helen M.
last_name: Byrne
- first_name: András
full_name: Dinnyés, András
last_name: Dinnyés
- first_name: Krisztián
full_name: Kovács, Krisztián
id: 2AB5821E-F248-11E8-B48F-1D18A9856A87
last_name: Kovács
citation:
ama: Lovrics A, Gao Y, Juhász B, et al. Transition probability between TF expression
states when Dbx2 inhibits Nkx2.2. 2014. doi:10.1371/journal.pone.0111430.s006
apa: Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H. M., Dinnyés, A., &
Kovács, K. (2014). Transition probability between TF expression states when Dbx2
inhibits Nkx2.2. Public Library of Science. https://doi.org/10.1371/journal.pone.0111430.s006
chicago: Lovrics, Anna, Yu Gao, Bianka Juhász, István Bock, Helen M. Byrne, András
Dinnyés, and Krisztián Kovács. “Transition Probability between TF Expression States
When Dbx2 Inhibits Nkx2.2.” Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0111430.s006.
ieee: A. Lovrics et al., “Transition probability between TF expression states
when Dbx2 inhibits Nkx2.2.” Public Library of Science, 2014.
ista: Lovrics A, Gao Y, Juhász B, Bock I, Byrne HM, Dinnyés A, Kovács K. 2014. Transition
probability between TF expression states when Dbx2 inhibits Nkx2.2, Public Library
of Science, 10.1371/journal.pone.0111430.s006.
mla: Lovrics, Anna, et al. Transition Probability between TF Expression States
When Dbx2 Inhibits Nkx2.2. Public Library of Science, 2014, doi:10.1371/journal.pone.0111430.s006.
short: A. Lovrics, Y. Gao, B. Juhász, I. Bock, H.M. Byrne, A. Dinnyés, K. Kovács,
(2014).
date_created: 2021-07-26T14:35:00Z
date_published: 2014-11-14T00:00:00Z
date_updated: 2025-09-29T12:02:47Z
day: '14'
department:
- _id: JoCs
doi: 10.1371/journal.pone.0111430.s006
month: '11'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '2004'
relation: used_in_publication
status: public
status: public
title: Transition probability between TF expression states when Dbx2 inhibits Nkx2.2
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9739'
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: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Ben
full_name: Adlam, Ben
last_name: Adlam
- first_name: Martin
full_name: Novak, Martin
last_name: Novak
citation:
ama: Chatterjee K, Pavlogiannis A, Adlam B, Novak M. Detailed proofs for “The time
scale of evolutionary innovation.” 2014. doi:10.1371/journal.pcbi.1003818.s001
apa: Chatterjee, K., Pavlogiannis, A., Adlam, B., & Novak, M. (2014). Detailed
proofs for “The time scale of evolutionary innovation.” Public Library of Science.
https://doi.org/10.1371/journal.pcbi.1003818.s001
chicago: Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Novak.
“Detailed Proofs for ‘The Time Scale of Evolutionary Innovation.’” Public Library
of Science, 2014. https://doi.org/10.1371/journal.pcbi.1003818.s001.
ieee: K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Novak, “Detailed proofs for
‘The time scale of evolutionary innovation.’” Public Library of Science, 2014.
ista: Chatterjee K, Pavlogiannis A, Adlam B, Novak M. 2014. Detailed proofs for
“The time scale of evolutionary innovation”, Public Library of Science, 10.1371/journal.pcbi.1003818.s001.
mla: Chatterjee, Krishnendu, et al. Detailed Proofs for “The Time Scale of Evolutionary
Innovation.” Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.s001.
short: K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Novak, (2014).
date_created: 2021-07-28T08:13:57Z
date_published: 2014-09-11T00:00:00Z
date_updated: 2025-09-29T11:53:46Z
day: '11'
department:
- _id: KrCh
doi: 10.1371/journal.pcbi.1003818.s001
month: '09'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '2039'
relation: used_in_publication
status: public
status: public
title: Detailed proofs for “The time scale of evolutionary innovation”
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9740'
abstract:
- lang: eng
text: The fitness effects of symbionts on their hosts can be context-dependent,
with usually benign symbionts causing detrimental effects when their hosts are
stressed, or typically parasitic symbionts providing protection towards their
hosts (e.g. against pathogen infection). Here, we studied the novel association
between the invasive garden ant Lasius neglectus and its fungal ectosymbiont Laboulbenia
formicarum for potential costs and benefits. We tested ants with different Laboulbenia
levels for their survival and immunity under resource limitation and exposure
to the obligate killing entomopathogen Metarhizium brunneum. While survival of
L. neglectus workers under starvation was significantly decreased with increasing
Laboulbenia levels, host survival under Metarhizium exposure increased with higher
levels of the ectosymbiont, suggesting a symbiont-mediated anti-pathogen protection,
which seems to be driven mechanistically by both improved sanitary behaviours
and an upregulated immune system. Ants with high Laboulbenia levels showed significantly
longer self-grooming and elevated expression of immune genes relevant for wound
repair and antifungal responses (β-1,3-glucan binding protein, Prophenoloxidase),
compared with ants carrying low Laboulbenia levels. This suggests that the ectosymbiont
Laboulbenia formicarum weakens its ant host by either direct resource exploitation
or the costs of an upregulated behavioural and immunological response, which,
however, provides a prophylactic protection upon later exposure to pathogens.
article_processing_charge: No
author:
- first_name: Matthias
full_name: Konrad, Matthias
id: 46528076-F248-11E8-B48F-1D18A9856A87
last_name: Konrad
- first_name: Anna V
full_name: Grasse, Anna V
id: 406F989C-F248-11E8-B48F-1D18A9856A87
last_name: Grasse
- first_name: Simon
full_name: Tragust, Simon
id: 35A7A418-F248-11E8-B48F-1D18A9856A87
last_name: Tragust
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: 'Konrad M, Grasse AV, Tragust S, Cremer S. Data from: Anti-pathogen protection
versus survival costs mediated by an ectosymbiont in an ant host. 2014. doi:10.5061/dryad.vm0vc'
apa: 'Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2014). Data from:
Anti-pathogen protection versus survival costs mediated by an ectosymbiont in
an ant host. Dryad. https://doi.org/10.5061/dryad.vm0vc'
chicago: 'Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Data
from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont
in an Ant Host.” Dryad, 2014. https://doi.org/10.5061/dryad.vm0vc.'
ieee: 'M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Data from: Anti-pathogen
protection versus survival costs mediated by an ectosymbiont in an ant host.”
Dryad, 2014.'
ista: 'Konrad M, Grasse AV, Tragust S, Cremer S. 2014. Data from: Anti-pathogen
protection versus survival costs mediated by an ectosymbiont in an ant host, Dryad,
10.5061/dryad.vm0vc.'
mla: 'Konrad, Matthias, et al. Data from: Anti-Pathogen Protection versus Survival
Costs Mediated by an Ectosymbiont in an Ant Host. Dryad, 2014, doi:10.5061/dryad.vm0vc.'
short: M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
corr_author: '1'
date_created: 2021-07-28T08:38:40Z
date_published: 2014-11-13T00:00:00Z
date_updated: 2025-09-23T07:55:02Z
day: '13'
department:
- _id: SyCr
doi: 10.5061/dryad.vm0vc
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.vm0vc
month: '11'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '1993'
relation: used_in_publication
status: public
status: public
title: 'Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont
in an ant host'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9741'
abstract:
- lang: eng
text: In rapidly changing environments, selection history may impact the dynamics
of adaptation. Mutations selected in one environment may result in pleiotropic
fitness trade-offs in subsequent novel environments, slowing the rates of adaptation.
Epistatic interactions between mutations selected in sequential stressful environments
may slow or accelerate subsequent rates of adaptation, depending on the nature
of that interaction. We explored the dynamics of adaptation during sequential
exposure to herbicides with different modes of action in Chlamydomonas reinhardtii.
Evolution of resistance to two of the herbicides was largely independent of selection
history. For carbetamide, previous adaptation to other herbicide modes of action
positively impacted the likelihood of adaptation to this herbicide. Furthermore,
while adaptation to all individual herbicides was associated with pleiotropic
fitness costs in stress-free environments, we observed that accumulation of resistance
mechanisms was accompanied by a reduction in overall fitness costs. We suggest
that antagonistic epistasis may be a driving mechanism that enables populations
to more readily adapt in novel environments. These findings highlight the potential
for sequences of xenobiotics to facilitate the rapid evolution of multiple-drug
and -pesticide resistance, as well as the potential for epistatic interactions
between adaptive mutations to facilitate evolutionary rescue in rapidly changing
environments.
article_processing_charge: No
author:
- first_name: Mato
full_name: Lagator, Mato
id: 345D25EC-F248-11E8-B48F-1D18A9856A87
last_name: Lagator
- first_name: Nick
full_name: Colegrave, Nick
last_name: Colegrave
- first_name: Paul
full_name: Neve, Paul
last_name: Neve
citation:
ama: 'Lagator M, Colegrave N, Neve P. Data from: Selection history and epistatic
interactions impact dynamics of adaptation to novel environmental stresses. 2014.
doi:10.5061/dryad.85dn7'
apa: 'Lagator, M., Colegrave, N., & Neve, P. (2014). Data from: Selection history
and epistatic interactions impact dynamics of adaptation to novel environmental
stresses. Dryad. https://doi.org/10.5061/dryad.85dn7'
chicago: 'Lagator, Mato, Nick Colegrave, and Paul Neve. “Data from: Selection History
and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental
Stresses.” Dryad, 2014. https://doi.org/10.5061/dryad.85dn7.'
ieee: 'M. Lagator, N. Colegrave, and P. Neve, “Data from: Selection history and
epistatic interactions impact dynamics of adaptation to novel environmental stresses.”
Dryad, 2014.'
ista: 'Lagator M, Colegrave N, Neve P. 2014. Data from: Selection history and epistatic
interactions impact dynamics of adaptation to novel environmental stresses, Dryad,
10.5061/dryad.85dn7.'
mla: 'Lagator, Mato, et al. Data from: Selection History and Epistatic Interactions
Impact Dynamics of Adaptation to Novel Environmental Stresses. Dryad, 2014,
doi:10.5061/dryad.85dn7.'
short: M. Lagator, N. Colegrave, P. Neve, (2014).
date_created: 2021-07-28T08:48:06Z
date_published: 2014-08-21T00:00:00Z
date_updated: 2025-09-29T11:54:45Z
day: '21'
department:
- _id: CaGu
doi: 10.5061/dryad.85dn7
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.85dn7
month: '08'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2036'
relation: used_in_publication
status: public
status: public
title: 'Data from: Selection history and epistatic interactions impact dynamics of
adaptation to novel environmental stresses'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9747'
abstract:
- lang: eng
text: Understanding the effects of sex and migration on adaptation to novel environments
remains a key problem in evolutionary biology. Using a single-cell alga Chlamydomonas
reinhardtii, we investigated how sex and migration affected rates of evolutionary
rescue in a sink environment, and subsequent changes in fitness following evolutionary
rescue. We show that sex and migration affect both the rate of evolutionary rescue
and subsequent adaptation. However, their combined effects change as the populations
adapt to a sink habitat. Both sex and migration independently increased rates
of evolutionary rescue, but the effect of sex on subsequent fitness improvements,
following initial rescue, changed with migration, as sex was beneficial in the
absence of migration but constraining adaptation when combined with migration.
These results suggest that sex and migration are beneficial during the initial
stages of adaptation, but can become detrimental as the population adapts to its
environment.
article_processing_charge: No
author:
- first_name: Mato
full_name: Lagator, Mato
id: 345D25EC-F248-11E8-B48F-1D18A9856A87
last_name: Lagator
- first_name: Andrew
full_name: Morgan, Andrew
last_name: Morgan
- first_name: Paul
full_name: Neve, Paul
last_name: Neve
- first_name: Nick
full_name: Colegrave, Nick
last_name: Colegrave
citation:
ama: 'Lagator M, Morgan A, Neve P, Colegrave N. Data from: Role of sex and migration
in adaptation to sink environments. 2014. doi:10.5061/dryad.s42n1'
apa: 'Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Data from:
Role of sex and migration in adaptation to sink environments. Dryad. https://doi.org/10.5061/dryad.s42n1'
chicago: 'Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Data from:
Role of Sex and Migration in Adaptation to Sink Environments.” Dryad, 2014. https://doi.org/10.5061/dryad.s42n1.'
ieee: 'M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Data from: Role of sex
and migration in adaptation to sink environments.” Dryad, 2014.'
ista: 'Lagator M, Morgan A, Neve P, Colegrave N. 2014. Data from: Role of sex and
migration in adaptation to sink environments, Dryad, 10.5061/dryad.s42n1.'
mla: 'Lagator, Mato, et al. Data from: Role of Sex and Migration in Adaptation
to Sink Environments. Dryad, 2014, doi:10.5061/dryad.s42n1.'
short: M. Lagator, A. Morgan, P. Neve, N. Colegrave, (2014).
date_created: 2021-07-28T15:32:55Z
date_published: 2014-04-17T00:00:00Z
date_updated: 2025-09-29T11:46:47Z
day: '17'
department:
- _id: CaGu
doi: 10.5061/dryad.s42n1
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.s42n1
month: '04'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2083'
relation: used_in_publication
status: public
status: public
title: 'Data from: Role of sex and migration in adaptation to sink environments'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9752'
abstract:
- lang: eng
text: Redundancies and correlations in the responses of sensory neurons may seem
to waste neural resources, but they can also carry cues about structured stimuli
and may help the brain to correct for response errors. To investigate the effect
of stimulus structure on redundancy in retina, we measured simultaneous responses
from populations of retinal ganglion cells presented with natural and artificial
stimuli that varied greatly in correlation structure; these stimuli and recordings
are publicly available online. Responding to spatio-temporally structured stimuli
such as natural movies, pairs of ganglion cells were modestly more correlated
than in response to white noise checkerboards, but they were much less correlated
than predicted by a non-adapting functional model of retinal response. Meanwhile,
responding to stimuli with purely spatial correlations, pairs of ganglion cells
showed increased correlations consistent with a static, non-adapting receptive
field and nonlinearity. We found that in response to spatio-temporally correlated
stimuli, ganglion cells had faster temporal kernels and tended to have stronger
surrounds. These properties of individual cells, along with gain changes that
opposed changes in effective contrast at the ganglion cell input, largely explained
the pattern of pairwise correlations across stimuli where receptive field measurements
were possible.
article_processing_charge: No
author:
- first_name: Kristina
full_name: Simmons, Kristina
last_name: Simmons
- first_name: Jason
full_name: Prentice, Jason
last_name: Prentice
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
- first_name: Jan
full_name: Homann, Jan
last_name: Homann
- first_name: Heather
full_name: Yee, Heather
last_name: Yee
- first_name: Stephanie
full_name: Palmer, Stephanie
last_name: Palmer
- first_name: Philip
full_name: Nelson, Philip
last_name: Nelson
- first_name: Vijay
full_name: Balasubramanian, Vijay
last_name: Balasubramanian
citation:
ama: 'Simmons K, Prentice J, Tkačik G, et al. Data from: Transformation of stimulus
correlations by the retina. 2014. doi:10.5061/dryad.246qg'
apa: 'Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., …
Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations
by the retina. Dryad. https://doi.org/10.5061/dryad.246qg'
chicago: 'Simmons, Kristina, Jason Prentice, Gašper Tkačik, Jan Homann, Heather
Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Data from: Transformation
of Stimulus Correlations by the Retina.” Dryad, 2014. https://doi.org/10.5061/dryad.246qg.'
ieee: 'K. Simmons et al., “Data from: Transformation of stimulus correlations
by the retina.” Dryad, 2014.'
ista: 'Simmons K, Prentice J, Tkačik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian
V. 2014. Data from: Transformation of stimulus correlations by the retina, Dryad,
10.5061/dryad.246qg.'
mla: 'Simmons, Kristina, et al. Data from: Transformation of Stimulus Correlations
by the Retina. Dryad, 2014, doi:10.5061/dryad.246qg.'
short: K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson,
V. Balasubramanian, (2014).
date_created: 2021-07-30T08:13:52Z
date_published: 2014-11-07T00:00:00Z
date_updated: 2025-09-29T14:27:23Z
day: '07'
department:
- _id: GaTk
doi: 10.5061/dryad.246qg
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.246qg
month: '11'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2277'
relation: used_in_publication
status: public
status: public
title: 'Data from: Transformation of stimulus correlations by the retina'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '9753'
abstract:
- lang: eng
text: 'Background: The brood of ants and other social insects is highly susceptible
to pathogens, particularly those that penetrate the soft larval and pupal cuticle.
We here test whether the presence of a pupal cocoon, which occurs in some ant
species but not in others, affects the sanitary brood care and fungal infection
patterns after exposure to the entomopathogenic fungus Metarhizium brunneum. We
use a) a comparative approach analysing four species with either naked or cocooned
pupae and b) a within-species analysis of a single ant species, in which both
pupal types co-exist in the same colony. Results: We found that the presence of
a cocoon did not compromise fungal pathogen detection by the ants and that species
with cocooned pupae increased brood grooming after pathogen exposure. All tested
ant species further removed brood from their nests, which was predominantly expressed
towards larvae and naked pupae treated with the live fungal pathogen. In contrast,
cocooned pupae exposed to live fungus were not removed at higher rates than cocooned
pupae exposed to dead fungus or a sham control. Consistent with this, exposure
to the live fungus caused high numbers of infections and fungal outgrowth in larvae
and naked pupae, but not in cocooned pupae. Moreover, the ants consistently removed
the brood prior to fungal outgrowth, ensuring a clean brood chamber. Conclusion:
Our study suggests that the pupal cocoon has a protective effect against fungal
infection, causing an adaptive change in sanitary behaviours by the ants. It further
demonstrates that brood removal - originally described for honeybees as “hygienic
behaviour” – is a widespread sanitary behaviour in ants, which likely has important
implications on disease dynamics in social insect colonies.'
article_processing_charge: No
author:
- first_name: Simon
full_name: Tragust, Simon
id: 35A7A418-F248-11E8-B48F-1D18A9856A87
last_name: Tragust
- 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: Michel
full_name: Chapuisat, Michel
last_name: Chapuisat
- first_name: Jürgen
full_name: Heinze, Jürgen
last_name: Heinze
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: 'Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Data from: Pupal cocoons
affect sanitary brood care and limit fungal infections in ant colonies. 2014.
doi:10.5061/dryad.nc0gc'
apa: 'Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2014).
Data from: Pupal cocoons affect sanitary brood care and limit fungal infections
in ant colonies. Dryad. https://doi.org/10.5061/dryad.nc0gc'
chicago: 'Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia
Cremer. “Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal
Infections in Ant Colonies.” Dryad, 2014. https://doi.org/10.5061/dryad.nc0gc.'
ieee: 'S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Data
from: Pupal cocoons affect sanitary brood care and limit fungal infections in
ant colonies.” Dryad, 2014.'
ista: 'Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2014. Data from:
Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies,
Dryad, 10.5061/dryad.nc0gc.'
mla: 'Tragust, Simon, et al. Data from: Pupal Cocoons Affect Sanitary Brood Care
and Limit Fungal Infections in Ant Colonies. Dryad, 2014, doi:10.5061/dryad.nc0gc.'
short: S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).
date_created: 2021-07-30T08:24:11Z
date_published: 2014-10-08T00:00:00Z
date_updated: 2025-09-29T14:24:12Z
day: '08'
department:
- _id: SyCr
doi: 10.5061/dryad.nc0gc
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.nc0gc
month: '10'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2284'
relation: used_in_publication
status: public
status: public
title: 'Data from: Pupal cocoons affect sanitary brood care and limit fungal infections
in ant colonies'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2014'
...
---
_id: '468'
abstract:
- lang: eng
text: Invasive alien parasites and pathogens are a growing threat to biodiversity
worldwide, which can contribute to the extinction of endemic species. On the Galápagos
Islands, the invasive parasitic fly Philornis downsi poses a major threat to the
endemic avifauna. Here, we investigated the influence of this parasite on the
breeding success of two Darwin's finch species, the warbler finch (Certhidea olivacea)
and the sympatric small tree finch (Camarhynchus parvulus), on Santa Cruz Island
in 2010 and 2012. While the population of the small tree finch appeared to be
stable, the warbler finch has experienced a dramatic decline in population size
on Santa Cruz Island since 1997. We aimed to identify whether warbler finches
are particularly vulnerable during different stages of the breeding cycle. Contrary
to our prediction, breeding success was lower in the small tree finch than in
the warbler finch. In both species P. downsi had a strong negative impact on breeding
success and our data suggest that heavy rain events also lowered the fledging
success. On the one hand parents might be less efficient in compensating their
chicks' energy loss due to parasitism as they might be less efficient in foraging
on days of heavy rain. On the other hand, intense rainfalls might lead to increased
humidity and more rapid cooling of the nests. In the case of the warbler finch
we found that the control of invasive plant species with herbicides had a significant
additive negative impact on the breeding success. It is very likely that the availability
of insects (i.e. food abundance) is lower in such controlled areas, as herbicide
usage led to the removal of the entire understory. Predation seems to be a minor
factor in brood loss.
acknowledgement: The study was funded by the University of Vienna (Focus of Excellence
grant), the Galápagos Conservation Trust, and the Ethologische Gesellschaft e.V.
article_number: '0107518'
article_processing_charge: No
author:
- first_name: Arno
full_name: Cimadom, Arno
last_name: Cimadom
- first_name: Angel
full_name: Ulloa, Angel
last_name: Ulloa
- first_name: Patrick
full_name: Meidl, Patrick
id: 4709BCE6-F248-11E8-B48F-1D18A9856A87
last_name: Meidl
- first_name: Markus
full_name: Zöttl, Markus
last_name: Zöttl
- first_name: Elisabet
full_name: Zöttl, Elisabet
last_name: Zöttl
- first_name: Birgit
full_name: Fessl, Birgit
last_name: Fessl
- first_name: Erwin
full_name: Nemeth, Erwin
last_name: Nemeth
- first_name: Michael
full_name: Dvorak, Michael
last_name: Dvorak
- first_name: Francesca
full_name: Cunninghame, Francesca
last_name: Cunninghame
- first_name: Sabine
full_name: Tebbich, Sabine
last_name: Tebbich
citation:
ama: Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy
rainfall reduce breeding success in Darwin’s finches. PLoS One. 2014;9(9).
doi:10.1371/journal.pone.0107518
apa: Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B., … Tebbich,
S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding
success in Darwin’s finches. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0107518
chicago: Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl,
Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine
Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding
Success in Darwin’s Finches.” PLoS One. Public Library of Science, 2014.
https://doi.org/10.1371/journal.pone.0107518.
ieee: A. Cimadom et al., “Invasive parasites habitat change and heavy rainfall
reduce breeding success in Darwin’s finches,” PLoS One, vol. 9, no. 9.
Public Library of Science, 2014.
ista: Cimadom A, Ulloa A, Meidl P, Zöttl M, Zöttl E, Fessl B, Nemeth E, Dvorak M,
Cunninghame F, Tebbich S. 2014. Invasive parasites habitat change and heavy rainfall
reduce breeding success in Darwin’s finches. PLoS One. 9(9), 0107518.
mla: Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall
Reduce Breeding Success in Darwin’s Finches.” PLoS One, vol. 9, no. 9,
0107518, Public Library of Science, 2014, doi:10.1371/journal.pone.0107518.
short: A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth,
M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
date_created: 2018-12-11T11:46:38Z
date_published: 2014-09-23T00:00:00Z
date_updated: 2025-09-29T13:19:35Z
day: '23'
ddc:
- '576'
department:
- _id: CampIT
doi: 10.1371/journal.pone.0107518
external_id:
isi:
- '000342351800025'
file:
- access_level: open_access
checksum: b24e7518ccd41effed0d7d9e2498f67f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:48Z
date_updated: 2020-07-14T12:46:34Z
file_id: '5103'
file_name: IST-2018-954-v1+1_2014_Meidl_Invasive_parasites.PDF
file_size: 489387
relation: main_file
file_date_updated: 2020-07-14T12:46:34Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '7352'
pubrep_id: '954'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Invasive parasites habitat change and heavy rainfall reduce breeding success
in Darwin's finches
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: 9
year: '2014'
...
---
_id: '475'
abstract:
- lang: eng
text: 'First cycle games (FCG) are played on a finite graph by two players who push
a token along the edges until a vertex is repeated, and a simple cycle is formed.
The winner is determined by some fixed property Y of the sequence of labels of
the edges (or nodes) forming this cycle. These games are traditionally of interest
because of their connection with infinite-duration games such as parity and mean-payoff
games. We study the memory requirements for winning strategies of FCGs and certain
associated infinite duration games. We exhibit a simple FCG that is not memoryless
determined (this corrects a mistake in Memoryless determinacy of parity and mean
payoff games: a simple proof by Bj⋯orklund, Sandberg, Vorobyov (2004) that claims
that FCGs for which Y is closed under cyclic permutations are memoryless determined).
We show that θ (n)! memory (where n is the number of nodes in the graph), which
is always sufficient, may be necessary to win some FCGs. On the other hand, we
identify easy to check conditions on Y (i.e., Y is closed under cyclic permutations,
and both Y and its complement are closed under concatenation) that are sufficient
to ensure that the corresponding FCGs and their associated infinite duration games
are memoryless determined. We demonstrate that many games considered in the literature,
such as mean-payoff, parity, energy, etc., satisfy these conditions. On the complexity
side, we show (for efficiently computable Y) that while solving FCGs is in PSPACE,
solving some families of FCGs is PSPACE-hard. '
alternative_title:
- EPTCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Benjamin
full_name: Aminof, Benjamin
id: 4A55BD00-F248-11E8-B48F-1D18A9856A87
last_name: Aminof
- first_name: Sasha
full_name: Rubin, Sasha
id: 2EC51194-F248-11E8-B48F-1D18A9856A87
last_name: Rubin
citation:
ama: 'Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical
Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90.
doi:10.4204/EPTCS.146.11'
apa: 'Aminof, B., & Rubin, S. (2014). First cycle games. In Electronic Proceedings
in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France:
Open Publishing Association. https://doi.org/10.4204/EPTCS.146.11'
chicago: Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” In Electronic
Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing
Association, 2014. https://doi.org/10.4204/EPTCS.146.11.
ieee: B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings
in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146,
pp. 83–90.
ista: 'Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical
Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.'
mla: Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings
in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association,
2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
short: B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer
Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
conference:
end_date: 2014-04-06
location: Grenoble, France
name: 'SR: Strategic Reasoning'
start_date: 2014-04-05
corr_author: '1'
date_created: 2018-12-11T11:46:41Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2025-04-14T13:51:05Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.4204/EPTCS.146.11
ec_funded: 1
external_id:
arxiv:
- '1404.0843'
file:
- access_level: open_access
checksum: 4d7b4ab82980cca2b96ac7703992a8c8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:08Z
date_updated: 2020-07-14T12:46:35Z
file_id: '5260'
file_name: IST-2018-952-v1+1_2014_Rubin_First_cycle.pdf
file_size: 100115
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 146'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 83 - 90
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: Electronic Proceedings in Theoretical Computer Science, EPTCS
publication_status: published
publisher: Open Publishing Association
publist_id: '7345'
pubrep_id: '952'
quality_controlled: '1'
scopus_import: '1'
status: public
title: First cycle games
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: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 146
year: '2014'
...
---
_id: '535'
abstract:
- lang: eng
text: Energy games belong to a class of turn-based two-player infinite-duration
games played on a weighted directed graph. It is one of the rare and intriguing
combinatorial problems that lie in NP∩co-NP, but are not known to be in P. The
existence of polynomial-time algorithms has been a major open problem for decades
and apart from pseudopolynomial algorithms there is no algorithm that solves any
non-trivial subclass in polynomial time. In this paper, we give several results
based on the weight structures of the graph. First, we identify a notion of penalty
and present a polynomial-time algorithm when the penalty is large. Our algorithm
is the first polynomial-time algorithm on a large class of weighted graphs. It
includes several worst-case instances on which previous algorithms, such as value
iteration and random facet algorithms, require at least sub-exponential time.
Our main technique is developing the first non-trivial approximation algorithm
and showing how to convert it to an exact algorithm. Moreover, we show that in
a practical case in verification where weights are clustered around a constant
number of values, the energy game problem can be solved in polynomial time. We
also show that the problem is still as hard as in general when the clique-width
is bounded or the graph is strongly ergodic, suggesting that restricting the graph
structure does not necessarily help.
article_processing_charge: No
article_type: original
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: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Sebastian
full_name: Krinninger, Sebastian
last_name: Krinninger
- first_name: Danupon
full_name: Nanongkai, Danupon
last_name: Nanongkai
citation:
ama: Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms
for energy games with special weight structures. Algorithmica. 2014;70(3):457-492.
doi:10.1007/s00453-013-9843-7
apa: Chatterjee, K., Henzinger, M., Krinninger, S., & Nanongkai, D. (2014).
Polynomial-time algorithms for energy games with special weight structures. Algorithmica.
Springer. https://doi.org/10.1007/s00453-013-9843-7
chicago: Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, and Danupon
Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”
Algorithmica. Springer, 2014. https://doi.org/10.1007/s00453-013-9843-7.
ieee: K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time
algorithms for energy games with special weight structures,” Algorithmica,
vol. 70, no. 3. Springer, pp. 457–492, 2014.
ista: Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2014. Polynomial-time
algorithms for energy games with special weight structures. Algorithmica. 70(3),
457–492.
mla: Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games
with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer,
2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
short: K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70
(2014) 457–492.
date_created: 2018-12-11T11:47:01Z
date_published: 2014-11-01T00:00:00Z
date_updated: 2025-09-29T13:18:38Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/s00453-013-9843-7
ec_funded: 1
external_id:
arxiv:
- '1604.08234'
isi:
- '000340552300005'
intvolume: ' 70'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.08234
month: '11'
oa: 1
oa_version: Preprint
page: 457 - 492
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Algorithmica
publication_status: published
publisher: Springer
publist_id: '7282'
quality_controlled: '1'
related_material:
record:
- id: '10905'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Polynomial-time algorithms for energy games with special weight structures
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 70
year: '2014'
...
---
_id: '537'
abstract:
- lang: eng
text: Transgenerational effects are broader than only parental relationships. Despite
mounting evidence that multigenerational effects alter phenotypic and life-history
traits, our understanding of how they combine to determine fitness is not well
developed because of the added complexity necessary to study them. Here, we derive
a quantitative genetic model of adaptation to an extraordinary new environment
by an additive genetic component, phenotypic plasticity, maternal and grandmaternal
effects. We show how, at equilibrium, negative maternal and negative grandmaternal
effects maximize expected population mean fitness. We define negative transgenerational
effects as those that have a negative effect on trait expression in the subsequent
generation, that is, they slow, or potentially reverse, the expected evolutionary
dynamic. When maternal effects are positive, negative grandmaternal effects are
preferred. As expected under Mendelian inheritance, the grandmaternal effects
have a lower impact on fitness than the maternal effects, but this dual inheritance
model predicts a more complex relationship between maternal and grandmaternal
effects to constrain phenotypic variance and so maximize expected population mean
fitness in the offspring.
article_processing_charge: No
author:
- first_name: Roshan
full_name: Prizak, Roshan
id: 4456104E-F248-11E8-B48F-1D18A9856A87
last_name: Prizak
- first_name: Thomas
full_name: Ezard, Thomas
last_name: Ezard
- first_name: Rebecca
full_name: Hoyle, Rebecca
last_name: Hoyle
citation:
ama: Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal
effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
apa: Prizak, R., Ezard, T., & Hoyle, R. (2014). Fitness consequences of maternal
and grandmaternal effects. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.1150
chicago: Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences
of Maternal and Grandmaternal Effects.” Ecology and Evolution. Wiley-Blackwell,
2014. https://doi.org/10.1002/ece3.1150.
ieee: R. Prizak, T. Ezard, and R. Hoyle, “Fitness consequences of maternal and grandmaternal
effects,” Ecology and Evolution, vol. 4, no. 15. Wiley-Blackwell, pp. 3139–3145,
2014.
ista: Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal
effects. Ecology and Evolution. 4(15), 3139–3145.
mla: Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal
Effects.” Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014,
pp. 3139–45, doi:10.1002/ece3.1150.
short: R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
date_created: 2018-12-11T11:47:02Z
date_published: 2014-07-19T00:00:00Z
date_updated: 2025-09-29T13:17:53Z
day: '19'
ddc:
- '530'
- '571'
department:
- _id: NiBa
- _id: GaTk
doi: 10.1002/ece3.1150
external_id:
isi:
- '000340575000015'
file:
- access_level: open_access
checksum: e32abf75a248e7a11811fd7f60858769
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:31Z
date_updated: 2020-07-14T12:46:38Z
file_id: '4886'
file_name: IST-2018-934-v1+1_Prizak_et_al-2014-Ecology_and_Evolution.pdf
file_size: 621582
relation: main_file
file_date_updated: 2020-07-14T12:46:38Z
has_accepted_license: '1'
intvolume: ' 4'
isi: 1
issue: '15'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 3139 - 3145
publication: Ecology and Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7280'
pubrep_id: '934'
scopus_import: '1'
status: public
title: Fitness consequences of maternal and grandmaternal effects
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: 4
year: '2014'
...
---
_id: '5411'
abstract:
- lang: eng
text: "Model-based testing is a promising technology for black-box software and
hardware testing, in which test cases are generated automatically from high-level
specifications. Nowadays, systems typically consist of multiple interacting components
and, due to their complexity, testing presents a considerable portion of the effort
and cost in the design process. Exploiting the compositional structure of system
specifications can considerably reduce the effort in model-based testing. Moreover,
inferring properties about the system from testing its individual components allows
the designer to reduce the amount of integration testing.\r\nIn this paper, we
study compositional properties of the IOCO-testing theory. We propose a new approach
to composition and hiding operations, inspired by contract-based design and interface
theories. These operations preserve behaviors that are compatible under composition
and hiding, and prune away incompatible ones. The resulting specification characterizes
the input sequences for which the unit testing of components is sufficient to
infer the correctness of component integration without the need for further tests.
We provide a methodology that uses these results to minimize integration testing
effort, but also to detect potential weaknesses in specifications. While we focus
on asynchronous models and the IOCO conformance relation, the resulting methodology
can be applied to a broader class of systems."
alternative_title:
- IST Austria Technical Report
author:
- first_name: Przemyslaw
full_name: Daca, Przemyslaw
id: 49351290-F248-11E8-B48F-1D18A9856A87
last_name: Daca
- 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: Willibald
full_name: Krenn, Willibald
last_name: Krenn
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
citation:
ama: Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications
for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1
apa: Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional
specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
chicago: Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic.
Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.
ieee: P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications
for IOCO testing. IST Austria, 2014.
ista: Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications
for IOCO testing, IST Austria, 20p.
mla: Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing.
IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
short: P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications
for IOCO Testing, IST Austria, 2014.
date_created: 2018-12-12T11:39:11Z
date_published: 2014-01-28T00:00:00Z
date_updated: 2025-09-29T11:40:47Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2014-148-v2-1
file:
- access_level: open_access
checksum: 0e03aba625cc334141a3148432aa5760
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:21Z
date_updated: 2020-07-14T12:46:46Z
file_id: '5543'
file_name: IST-2014-148-v2+1_main_tr.pdf
file_size: 534732
relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '20'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '152'
related_material:
record:
- id: '2167'
relation: later_version
status: public
status: public
title: Compositional specifications for IOCO testing
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '5412'
abstract:
- lang: eng
text: "We consider Markov decision processes (MDPs) which are a standard model for
probabilistic systems. We focus on qualitative properties for MDPs that can express
that desired behaviors of the system arise almost-surely (with probability 1)
or with positive probability.\r\nWe introduce a new simulation relation to capture
the refinement relation of MDPs with respect to qualitative properties, and present
discrete graph theoretic algorithms with quadratic complexity to compute the simulation
relation.\r\nWe present an automated technique for assume-guarantee style reasoning
for compositional analysis of MDPs with qualitative properties by giving a counter-example
guided abstraction-refinement approach to compute our new simulation relation.
We have implemented our algorithms and show that the compositional analysis leads
to significant improvements. "
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Przemyslaw
full_name: Daca, Przemyslaw
id: 49351290-F248-11E8-B48F-1D18A9856A87
last_name: Daca
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
citation:
ama: Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic
Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
apa: Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative
analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v1-1
chicago: Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for
Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v1-1.
ieee: K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis
of probabilistic systems. IST Austria, 2014.
ista: Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic
systems, IST Austria, 31p.
mla: Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic
Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
short: K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic
Systems, IST Austria, 2014.
date_created: 2018-12-12T11:39:11Z
date_published: 2014-01-29T00:00:00Z
date_updated: 2025-04-15T07:56:48Z
day: '29'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2014-153-v1-1
file:
- access_level: open_access
checksum: 4d6cda4bebed970926403ad6ad8c745f
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:39Z
date_updated: 2020-07-14T12:46:47Z
file_id: '5500'
file_name: IST-2014-153-v1+1_main.pdf
file_size: 423322
relation: main_file
file_date_updated: 2020-07-14T12:46:47Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '31'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '153'
related_material:
record:
- id: '5413'
relation: later_version
status: public
- id: '5414'
relation: later_version
status: public
- id: '2063'
relation: later_version
status: public
status: public
title: CEGAR for qualitative analysis of probabilistic systems
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...