---
_id: '1705'
abstract:
- lang: eng
text: Hybrid systems represent an important and powerful formalism for modeling
real-world applications such as embedded systems. A verification tool like SpaceEx
is based on the exploration of a symbolic search space (the region space). As
a verification tool, it is typically optimized towards proving the absence of
errors. In some settings, e.g., when the verification tool is employed in a feedback-directed
design cycle, one would like to have the option to call a version that is optimized
towards finding an error trajectory in the region space. A recent approach in
this direction is based on guided search. Guided search relies on a cost function
that indicates which states are promising to be explored, and preferably explores
more promising states first. In this paper, we propose an abstraction-based cost
function based on coarse-grained space abstractions for guiding the reachability
analysis. For this purpose, a suitable abstraction technique that exploits the
flexible granularity of modern reachability analysis algorithms is introduced.
The new cost function is an effective extension of pattern database approaches
that have been successfully applied in other areas. The approach has been implemented
in the SpaceEx model checker. The evaluation shows its practical potential.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Sergiy
full_name: Bogomolov, Sergiy
id: 369D9A44-F248-11E8-B48F-1D18A9856A87
last_name: Bogomolov
orcid: 0000-0002-0686-0365
- first_name: Alexandre
full_name: Donzé, Alexandre
last_name: Donzé
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Radu
full_name: Grosu, Radu
last_name: Grosu
- first_name: Taylor
full_name: Johnson, Taylor
last_name: Johnson
- first_name: Hamed
full_name: Ladan, Hamed
last_name: Ladan
- first_name: Andreas
full_name: Podelski, Andreas
last_name: Podelski
- first_name: Martin
full_name: Wehrle, Martin
last_name: Wehrle
citation:
ama: Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based
on coarse-grained space abstractions. International Journal on Software Tools
for Technology Transfer. 2016;18(4):449-467. doi:10.1007/s10009-015-0393-y
apa: Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., …
Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space
abstractions. International Journal on Software Tools for Technology Transfer.
Springer. https://doi.org/10.1007/s10009-015-0393-y
chicago: Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson,
Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems
Based on Coarse-Grained Space Abstractions.” International Journal on Software
Tools for Technology Transfer. Springer, 2016. https://doi.org/10.1007/s10009-015-0393-y.
ieee: S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained
space abstractions,” International Journal on Software Tools for Technology
Transfer, vol. 18, no. 4. Springer, pp. 449–467, 2016.
ista: Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle
M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions.
International Journal on Software Tools for Technology Transfer. 18(4), 449–467.
mla: Bogomolov, Sergiy, et al. “Guided Search for Hybrid Systems Based on Coarse-Grained
Space Abstractions.” International Journal on Software Tools for Technology
Transfer, vol. 18, no. 4, Springer, 2016, pp. 449–67, doi:10.1007/s10009-015-0393-y.
short: S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski,
M. Wehrle, International Journal on Software Tools for Technology Transfer 18
(2016) 449–467.
corr_author: '1'
date_created: 2018-12-11T11:53:34Z
date_published: 2016-08-01T00:00:00Z
date_updated: 2025-09-18T10:50:19Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s10009-015-0393-y
ec_funded: 1
external_id:
isi:
- '000379708300007'
file:
- access_level: open_access
checksum: 31561d7705599a9bd4ea816accc0752e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:26Z
date_updated: 2020-07-14T12:45:13Z
file_id: '5146'
file_name: IST-2016-457-v1+1_s10009-015-0393-y.pdf
file_size: 2296522
relation: main_file
file_date_updated: 2020-07-14T12:45:13Z
has_accepted_license: '1'
intvolume: ' 18'
isi: 1
issue: '4'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 449 - 467
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: International Journal on Software Tools for Technology Transfer
publication_status: published
publisher: Springer
publist_id: '5431'
pubrep_id: '457'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Guided search for hybrid systems based on coarse-grained space abstractions
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: 18
year: '2016'
...
---
_id: '1707'
abstract:
- lang: eng
text: "Volunteer supporters play an important role in modern crisis and disaster
management. In the times of mobile Internet devices, help from thousands of volunteers
can be requested within a short time span, thus relieving professional helpers
from minor chores or geographically spread-out tasks. However, the simultaneous
availability of many volunteers also poses new problems. In particular, the volunteer
efforts must be well coordinated, or otherwise situations might emerge in which
too many idle volunteers at one location become more of a burden than a relief
to the professionals.\r\nIn this work, we study the task of optimally assigning
volunteers to selected locations, e.g. in order to perform regular measurements,
to report on damage, or to distribute information or resources to the population
in a crisis situation. We formulate the assignment tasks as an optimization problem
and propose an effective and efficient solution procedure. Experiments on real
data of the Team Österreich, consisting of over 36,000 Austrian volunteers, show
the effectiveness and efficiency of our approach."
acknowledgement: The DRIVER FP7 project has received funding from the European Unions
Seventh Framework Programme for research, technological development and demonstration
under grant agreement no 607798. RE-ACTA was funded within the framework of the
Austrian Security Research Programme KIRAS by the Federal Ministry for Transport,
Innovation and Technology.
article_number: '7402041'
author:
- first_name: Jasmin
full_name: Pielorz, Jasmin
id: 49BC895A-F248-11E8-B48F-1D18A9856A87
last_name: Pielorz
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Pielorz J, Lampert C. Optimal geospatial allocation of volunteers for crisis
management. In: IEEE; 2016. doi:10.1109/ICT-DM.2015.7402041'
apa: 'Pielorz, J., & Lampert, C. (2016). Optimal geospatial allocation of volunteers
for crisis management. Presented at the ICT-DM: Information and Communication
Technologies for Disaster Management, Rennes, France: IEEE. https://doi.org/10.1109/ICT-DM.2015.7402041'
chicago: Pielorz, Jasmin, and Christoph Lampert. “Optimal Geospatial Allocation
of Volunteers for Crisis Management.” IEEE, 2016. https://doi.org/10.1109/ICT-DM.2015.7402041.
ieee: 'J. Pielorz and C. Lampert, “Optimal geospatial allocation of volunteers for
crisis management,” presented at the ICT-DM: Information and Communication Technologies
for Disaster Management, Rennes, France, 2016.'
ista: 'Pielorz J, Lampert C. 2016. Optimal geospatial allocation of volunteers for
crisis management. ICT-DM: Information and Communication Technologies for Disaster
Management, 7402041.'
mla: Pielorz, Jasmin, and Christoph Lampert. Optimal Geospatial Allocation of
Volunteers for Crisis Management. 7402041, IEEE, 2016, doi:10.1109/ICT-DM.2015.7402041.
short: J. Pielorz, C. Lampert, in:, IEEE, 2016.
conference:
end_date: 2015-12-02
location: Rennes, France
name: 'ICT-DM: Information and Communication Technologies for Disaster Management'
start_date: 2015-11-30
date_created: 2018-12-11T11:53:35Z
date_published: 2016-02-11T00:00:00Z
date_updated: 2021-01-12T06:52:39Z
day: '11'
department:
- _id: ChLa
doi: 10.1109/ICT-DM.2015.7402041
language:
- iso: eng
month: '02'
oa_version: None
publication_status: published
publisher: IEEE
publist_id: '5429'
quality_controlled: '1'
scopus_import: 1
status: public
title: Optimal geospatial allocation of volunteers for crisis management
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '8094'
abstract:
- lang: eng
text: 'With the accelerated development of robot technologies, optimal control becomes
one of the central themes of research. In traditional approaches, the controller,
by its internal functionality, finds appropriate actions on the basis of the history
of sensor values, guided by the goals, intentions, objectives, learning schemes,
and so forth. The idea is that the controller controls the world---the body plus
its environment---as reliably as possible. This paper focuses on new lines of
self-organization for developmental robotics. We apply the recently developed
differential extrinsic synaptic plasticity to a muscle-tendon driven arm-shoulder
system from the Myorobotics toolkit. In the experiments, we observe a vast variety
of self-organized behavior patterns: when left alone, the arm realizes pseudo-random
sequences of different poses. By applying physical forces, the system can be entrained
into definite motion patterns like wiping a table. Most interestingly, after attaching
an object, the controller gets in a functional resonance with the object''s internal
dynamics, starting to shake spontaneously bottles half-filled with water or sensitively
driving an attached pendulum into a circular mode. When attached to the crank
of a wheel the neural system independently discovers how to rotate it. In this
way, the robot discovers affordances of objects its body is interacting with.'
article_processing_charge: No
author:
- first_name: Georg S
full_name: Martius, Georg S
id: 3A276B68-F248-11E8-B48F-1D18A9856A87
last_name: Martius
- first_name: Rafael
full_name: Hostettler, Rafael
last_name: Hostettler
- first_name: Alois
full_name: Knoll, Alois
last_name: Knoll
- first_name: Ralf
full_name: Der, Ralf
last_name: Der
citation:
ama: 'Martius GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon
driven arm by differential extrinsic plasticity. In: 15th International Conference
on the Synthesis and Simulation of Living Systems. Vol 28. MIT Press; 2016:142-143.
doi:10.7551/978-0-262-33936-0-ch029'
apa: 'Martius, G. S., Hostettler, R., Knoll, A., & Der, R. (2016). Self-organized
control of an tendon driven arm by differential extrinsic plasticity. In 15th
International Conference on the Synthesis and Simulation of Living Systems
(Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press. https://doi.org/10.7551/978-0-262-33936-0-ch029'
chicago: Martius, Georg S, Rafael Hostettler, Alois Knoll, and Ralf Der. “Self-Organized
Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.” In 15th
International Conference on the Synthesis and Simulation of Living Systems,
28:142–43. MIT Press, 2016. https://doi.org/10.7551/978-0-262-33936-0-ch029.
ieee: G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control
of an tendon driven arm by differential extrinsic plasticity,” in 15th International
Conference on the Synthesis and Simulation of Living Systems, Cancun, Mexico,
2016, vol. 28, pp. 142–143.
ista: 'Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of
an tendon driven arm by differential extrinsic plasticity. 15th International
Conference on the Synthesis and Simulation of Living Systems. ALIFE 2016: Conference
on the Synthesis and Simulation of Living Systems vol. 28, 142–143.'
mla: Martius, Georg S., et al. “Self-Organized Control of an Tendon Driven Arm by
Differential Extrinsic Plasticity.” 15th International Conference on the Synthesis
and Simulation of Living Systems, vol. 28, MIT Press, 2016, pp. 142–43, doi:10.7551/978-0-262-33936-0-ch029.
short: G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, 15th International Conference
on the Synthesis and Simulation of Living Systems, MIT Press, 2016, pp. 142–143.
conference:
end_date: 2016-07-08
location: Cancun, Mexico
name: 'ALIFE 2016: Conference on the Synthesis and Simulation of Living Systems'
start_date: 2016-07-04
corr_author: '1'
date_created: 2020-07-05T22:00:47Z
date_published: 2016-09-01T00:00:00Z
date_updated: 2025-07-10T11:55:05Z
day: '01'
ddc:
- '610'
department:
- _id: ChLa
- _id: GaTk
doi: 10.7551/978-0-262-33936-0-ch029
ec_funded: 1
file:
- access_level: open_access
checksum: cff63e7a4b8ac466ba51a9c84153a940
content_type: application/pdf
creator: cziletti
date_created: 2020-07-06T12:59:09Z
date_updated: 2020-07-14T12:48:09Z
file_id: '8096'
file_name: 2016_ProcALIFE_Martius.pdf
file_size: 678670
relation: main_file
file_date_updated: 2020-07-14T12:48:09Z
has_accepted_license: '1'
intvolume: ' 28'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 142-143
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: 15th International Conference on the Synthesis and Simulation of Living
Systems
publication_identifier:
isbn:
- '9780262339360'
publication_status: published
publisher: MIT Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Self-organized control of an tendon driven arm by differential extrinsic plasticity
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: 28
year: '2016'
...
---
_id: '9456'
abstract:
- lang: eng
text: The discovery of introns four decades ago was one of the most unexpected findings
in molecular biology. Introns are sequences interrupting genes that must be removed
as part of messenger RNA production. Genome sequencing projects have shown that
most eukaryotic genes contain at least one intron, and frequently many. Comparison
of these genomes reveals a history of long evolutionary periods during which few
introns were gained, punctuated by episodes of rapid, extensive gain. However,
although several detailed mechanisms for such episodic intron generation have
been proposed, none has been empirically supported on a genomic scale. Here we
show how short, non-autonomous DNA transposons independently generated hundreds
to thousands of introns in the prasinophyte Micromonas pusilla and the pelagophyte
Aureococcus anophagefferens. Each transposon carries one splice site. The other
splice site is co-opted from the gene sequence that is duplicated upon transposon
insertion, allowing perfect splicing out of the RNA. The distributions of sequences
that can be co-opted are biased with respect to codons, and phasing of transposon-generated
introns is similarly biased. These transposons insert between pre-existing nucleosomes,
so that multiple nearby insertions generate nucleosome-sized intervening segments.
Thus, transposon insertion and sequence co-option may explain the intron phase
biases and prevalence of nucleosome-sized exons observed in eukaryotes. Overall,
the two independent examples of proliferating elements illustrate a general DNA
transposon mechanism that can plausibly account for episodes of rapid, extensive
intron gain during eukaryotic evolution.
article_processing_charge: No
article_type: letter_note
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
- first_name: Scott W.
full_name: Roy, Scott W.
last_name: Roy
citation:
ama: Huff JT, Zilberman D, Roy SW. Mechanism for DNA transposons to generate introns
on genomic scales. Nature. 2016;538(7626):533-536. doi:10.1038/nature20110
apa: Huff, J. T., Zilberman, D., & Roy, S. W. (2016). Mechanism for DNA transposons
to generate introns on genomic scales. Nature. Springer Nature . https://doi.org/10.1038/nature20110
chicago: Huff, Jason T., Daniel Zilberman, and Scott W. Roy. “Mechanism for DNA
Transposons to Generate Introns on Genomic Scales.” Nature. Springer Nature
, 2016. https://doi.org/10.1038/nature20110.
ieee: J. T. Huff, D. Zilberman, and S. W. Roy, “Mechanism for DNA transposons to
generate introns on genomic scales,” Nature, vol. 538, no. 7626. Springer
Nature , pp. 533–536, 2016.
ista: Huff JT, Zilberman D, Roy SW. 2016. Mechanism for DNA transposons to generate
introns on genomic scales. Nature. 538(7626), 533–536.
mla: Huff, Jason T., et al. “Mechanism for DNA Transposons to Generate Introns on
Genomic Scales.” Nature, vol. 538, no. 7626, Springer Nature , 2016, pp.
533–36, doi:10.1038/nature20110.
short: J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
date_created: 2021-06-04T11:34:55Z
date_published: 2016-10-27T00:00:00Z
date_updated: 2021-12-14T07:55:30Z
day: '27'
department:
- _id: DaZi
doi: 10.1038/nature20110
extern: '1'
external_id:
pmid:
- '27760113'
intvolume: ' 538'
issue: '7626'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5684705/
month: '10'
oa: 1
oa_version: Submitted Version
page: 533-536
pmid: 1
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: 'Springer Nature '
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanism for DNA transposons to generate introns on genomic scales
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 538
year: '2016'
...
---
_id: '9473'
abstract:
- lang: eng
text: Cytosine DNA methylation regulates the expression of eukaryotic genes and
transposons. Methylation is copied by methyltransferases after DNA replication,
which results in faithful transmission of methylation patterns during cell division
and, at least in flowering plants, across generations. Transgenerational inheritance
is mediated by a small group of cells that includes gametes and their progenitors.
However, methylation is usually analyzed in somatic tissues that do not contribute
to the next generation, and the mechanisms of transgenerational inheritance are
inferred from such studies. To gain a better understanding of how DNA methylation
is inherited, we analyzed purified Arabidopsis thaliana sperm and vegetative cells-the
cell types that comprise pollen-with mutations in the DRM, CMT2, and CMT3 methyltransferases.
We find that DNA methylation dependency on these enzymes is similar in sperm,
vegetative cells, and somatic tissues, although DRM activity extends into heterochromatin
in vegetative cells, likely reflecting transcription of heterochromatic transposons
in this cell type. We also show that lack of histone H1, which elevates heterochromatic
DNA methylation in somatic tissues, does not have this effect in pollen. Instead,
levels of CG methylation in wild-type sperm and vegetative cells, as well as in
wild-type microspores from which both pollen cell types originate, are substantially
higher than in wild-type somatic tissues and similar to those of H1-depleted roots.
Our results demonstrate that the mechanisms of methylation maintenance are similar
between pollen and somatic cells, but the efficiency of CG methylation is higher
in pollen, allowing methylation patterns to be accurately inherited across generations.
article_processing_charge: No
article_type: original
author:
- first_name: Ping-Hung
full_name: Hsieh, Ping-Hung
last_name: Hsieh
- first_name: Shengbo
full_name: He, Shengbo
last_name: He
- first_name: Toby
full_name: Buttress, Toby
last_name: Buttress
- first_name: Hongbo
full_name: Gao, Hongbo
last_name: Gao
- first_name: Matthew
full_name: Couchman, Matthew
last_name: Couchman
- first_name: Robert L.
full_name: Fischer, Robert L.
last_name: Fischer
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
- first_name: Xiaoqi
full_name: Feng, Xiaoqi
id: e0164712-22ee-11ed-b12a-d80fcdf35958
last_name: Feng
orcid: 0000-0002-4008-1234
citation:
ama: Hsieh P-H, He S, Buttress T, et al. Arabidopsis male sexual lineage exhibits
more robust maintenance of CG methylation than somatic tissues. Proceedings
of the National Academy of Sciences. 2016;113(52):15132-15137. doi:10.1073/pnas.1619074114
apa: Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L.,
… Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance
of CG methylation than somatic tissues. Proceedings of the National Academy
of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619074114
chicago: Hsieh, Ping-Hung, Shengbo He, Toby Buttress, Hongbo Gao, Matthew Couchman,
Robert L. Fischer, Daniel Zilberman, and Xiaoqi Feng. “Arabidopsis Male Sexual
Lineage Exhibits More Robust Maintenance of CG Methylation than Somatic Tissues.”
Proceedings of the National Academy of Sciences. National Academy of Sciences,
2016. https://doi.org/10.1073/pnas.1619074114.
ieee: P.-H. Hsieh et al., “Arabidopsis male sexual lineage exhibits more
robust maintenance of CG methylation than somatic tissues,” Proceedings of
the National Academy of Sciences, vol. 113, no. 52. National Academy of Sciences,
pp. 15132–15137, 2016.
ista: Hsieh P-H, He S, Buttress T, Gao H, Couchman M, Fischer RL, Zilberman D, Feng
X. 2016. Arabidopsis male sexual lineage exhibits more robust maintenance of CG
methylation than somatic tissues. Proceedings of the National Academy of Sciences.
113(52), 15132–15137.
mla: Hsieh, Ping-Hung, et al. “Arabidopsis Male Sexual Lineage Exhibits More Robust
Maintenance of CG Methylation than Somatic Tissues.” Proceedings of the National
Academy of Sciences, vol. 113, no. 52, National Academy of Sciences, 2016,
pp. 15132–37, doi:10.1073/pnas.1619074114.
short: P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman,
X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
date_created: 2021-06-07T06:21:39Z
date_published: 2016-12-27T00:00:00Z
date_updated: 2023-05-08T11:00:40Z
day: '27'
department:
- _id: DaZi
- _id: XiFe
doi: 10.1073/pnas.1619074114
extern: '1'
external_id:
pmid:
- '27956643'
intvolume: ' 113'
issue: '52'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1073/pnas.1619074114
month: '12'
oa: 1
oa_version: Published Version
page: 15132-15137
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: Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation
than somatic tissues
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 113
year: '2016'
...
---
_id: '9477'
abstract:
- lang: eng
text: Cytosine methylation is a DNA modification with important regulatory functions
in eukaryotes. In flowering plants, sexual reproduction is accompanied by extensive
DNA demethylation, which is required for proper gene expression in the endosperm,
a nutritive extraembryonic seed tissue. Endosperm arises from a fusion of a sperm
cell carried in the pollen and a female central cell. Endosperm DNA demethylation
is observed specifically on the chromosomes inherited from the central cell in
Arabidopsis thaliana, rice, and maize, and requires the DEMETER DNA demethylase
in Arabidopsis. DEMETER is expressed in the central cell before fertilization,
suggesting that endosperm demethylation patterns are inherited from the central
cell. Down-regulation of the MET1 DNA methyltransferase has also been proposed
to contribute to central cell demethylation. However, with the exception of three
maize genes, central cell DNA methylation has not been directly measured, leaving
the origin and mechanism of endosperm demethylation uncertain. Here, we report
genome-wide analysis of DNA methylation in the central cells of Arabidopsis and
rice—species that diverged 150 million years ago—as well as in rice egg cells.
We find that DNA demethylation in both species is initiated in central cells,
which requires DEMETER in Arabidopsis. However, we do not observe a global reduction
of CG methylation that would be indicative of lowered MET1 activity; on the contrary,
CG methylation efficiency is elevated in female gametes compared with nonsexual
tissues. Our results demonstrate that locus-specific, active DNA demethylation
in the central cell is the origin of maternal chromosome hypomethylation in the
endosperm.
article_processing_charge: No
article_type: original
author:
- first_name: Kyunghyuk
full_name: Park, Kyunghyuk
last_name: Park
- first_name: M. Yvonne
full_name: Kim, M. Yvonne
last_name: Kim
- first_name: Martin
full_name: Vickers, Martin
last_name: Vickers
- first_name: Jin-Sup
full_name: Park, Jin-Sup
last_name: Park
- first_name: Youbong
full_name: Hyun, Youbong
last_name: Hyun
- first_name: Takashi
full_name: Okamoto, Takashi
last_name: Okamoto
- 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: Xiaoqi
full_name: Feng, Xiaoqi
id: e0164712-22ee-11ed-b12a-d80fcdf35958
last_name: Feng
orcid: 0000-0002-4008-1234
- first_name: Yeonhee
full_name: Choi, Yeonhee
last_name: Choi
- first_name: Stefan
full_name: Scholten, Stefan
last_name: Scholten
citation:
ama: Park K, Kim MY, Vickers M, et al. DNA demethylation is initiated in the central
cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences.
2016;113(52):15138-15143. doi:10.1073/pnas.1619047114
apa: Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T., … Scholten,
S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis
and rice. Proceedings of the National Academy of Sciences. National Academy
of Sciences. https://doi.org/10.1073/pnas.1619047114
chicago: Park, Kyunghyuk, M. Yvonne Kim, Martin Vickers, Jin-Sup Park, Youbong Hyun,
Takashi Okamoto, Daniel Zilberman, et al. “DNA Demethylation Is Initiated in the
Central Cells of Arabidopsis and Rice.” Proceedings of the National Academy
of Sciences. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1619047114.
ieee: K. Park et al., “DNA demethylation is initiated in the central cells
of Arabidopsis and rice,” Proceedings of the National Academy of Sciences,
vol. 113, no. 52. National Academy of Sciences, pp. 15138–15143, 2016.
ista: Park K, Kim MY, Vickers M, Park J-S, Hyun Y, Okamoto T, Zilberman D, Fischer
RL, Feng X, Choi Y, Scholten S. 2016. DNA demethylation is initiated in the central
cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences.
113(52), 15138–15143.
mla: Park, Kyunghyuk, et al. “DNA Demethylation Is Initiated in the Central Cells
of Arabidopsis and Rice.” Proceedings of the National Academy of Sciences,
vol. 113, no. 52, National Academy of Sciences, 2016, pp. 15138–43, doi:10.1073/pnas.1619047114.
short: K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman,
R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy
of Sciences 113 (2016) 15138–15143.
date_created: 2021-06-07T07:10:59Z
date_published: 2016-12-27T00:00:00Z
date_updated: 2023-05-08T11:00:07Z
day: '27'
department:
- _id: DaZi
- _id: XiFe
doi: 10.1073/pnas.1619047114
extern: '1'
external_id:
pmid:
- '27956642'
intvolume: ' 113'
issue: '52'
keyword:
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1073/pnas.1619047114
month: '12'
oa: 1
oa_version: Published Version
page: 15138-15143
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: DNA demethylation is initiated in the central cells of Arabidopsis and rice
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 113
year: '2016'
...
---
_id: '948'
abstract:
- lang: eng
text: Experience constantly shapes neural circuits through a variety of plasticity
mechanisms. While the functional roles of some plasticity mechanisms are well-understood,
it remains unclear how changes in neural excitability contribute to learning.
Here, we develop a normative interpretation of intrinsic plasticity (IP) as a
key component of unsupervised learning. We introduce a novel generative mixture
model that accounts for the class-specific statistics of stimulus intensities,
and we derive a neural circuit that learns the input classes and their intensities.
We will analytically show that inference and learning for our generative model
can be achieved by a neural circuit with intensity-sensitive neurons equipped
with a specific form of IP. Numerical experiments verify our analytical derivations
and show robust behavior for artificial and natural stimuli. Our results link
IP to non-trivial input statistics, in particular the statistics of stimulus intensities
for classes to which a neuron is sensitive. More generally, our work paves the
way toward new classification algorithms that are robust to intensity variations.
acknowledgement: DFG Cluster of Excellence EXC 1077/1 (Hearing4all) and LU 1196/5-1
(JL and TM), People Programme (Marie Curie Actions) FP7/2007-2013 grant agreement
no. 291734 (CS)
alternative_title:
- Advances in Neural Information Processing Systems
article_processing_charge: No
author:
- first_name: Travis
full_name: Monk, Travis
last_name: Monk
- first_name: Cristina
full_name: Savin, Cristina
id: 3933349E-F248-11E8-B48F-1D18A9856A87
last_name: Savin
- first_name: Jörg
full_name: Lücke, Jörg
last_name: Lücke
citation:
ama: 'Monk T, Savin C, Lücke J. Neurons equipped with intrinsic plasticity learn
stimulus intensity statistics. In: Vol 29. Neural Information Processing Systems
Foundation; 2016:4285-4293.'
apa: 'Monk, T., Savin, C., & Lücke, J. (2016). Neurons equipped with intrinsic
plasticity learn stimulus intensity statistics (Vol. 29, pp. 4285–4293). Presented
at the NIPS: Neural Information Processing Systems, Barcelona, Spaine: Neural
Information Processing Systems Foundation.'
chicago: Monk, Travis, Cristina Savin, and Jörg Lücke. “Neurons Equipped with Intrinsic
Plasticity Learn Stimulus Intensity Statistics,” 29:4285–93. Neural Information
Processing Systems Foundation, 2016.
ieee: 'T. Monk, C. Savin, and J. Lücke, “Neurons equipped with intrinsic plasticity
learn stimulus intensity statistics,” presented at the NIPS: Neural Information
Processing Systems, Barcelona, Spaine, 2016, vol. 29, pp. 4285–4293.'
ista: 'Monk T, Savin C, Lücke J. 2016. Neurons equipped with intrinsic plasticity
learn stimulus intensity statistics. NIPS: Neural Information Processing Systems,
Advances in Neural Information Processing Systems, vol. 29, 4285–4293.'
mla: Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus
Intensity Statistics. Vol. 29, Neural Information Processing Systems Foundation,
2016, pp. 4285–93.
short: T. Monk, C. Savin, J. Lücke, in:, Neural Information Processing Systems Foundation,
2016, pp. 4285–4293.
conference:
end_date: 2016-12-10
location: Barcelona, Spaine
name: 'NIPS: Neural Information Processing Systems'
start_date: 2016-12-05
date_created: 2018-12-11T11:49:21Z
date_published: 2016-01-01T00:00:00Z
date_updated: 2025-06-03T11:18:32Z
day: '01'
department:
- _id: GaTk
ec_funded: 1
intvolume: ' 29'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://papers.nips.cc/paper/6582-neurons-equipped-with-intrinsic-plasticity-learn-stimulus-intensity-statistics
month: '01'
oa: 1
oa_version: None
page: 4285 - 4293
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication_status: published
publisher: Neural Information Processing Systems Foundation
publist_id: '6469'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Neurons equipped with intrinsic plasticity learn stimulus intensity statistics
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 29
year: '2016'
...
---
_id: '9704'
abstract:
- lang: eng
text: Emerging infectious diseases (EIDs) have contributed significantly to the
current biodiversity crisis, leading to widespread epidemics and population loss.
Owing to genetic variation in pathogen virulence, a complete understanding of
species decline requires the accurate identification and characterization of EIDs.
We explore this issue in the Western honeybee, where increasing mortality of populations
in the Northern Hemisphere has caused major concern. Specifically, we investigate
the importance of genetic identity of the main suspect in mortality, deformed
wing virus (DWV), in driving honeybee loss. Using laboratory experiments and a
systematic field survey, we demonstrate that an emerging DWV genotype (DWV-B)
is more virulent than the established DWV genotype (DWV-A) and is widespread in
the landscape. Furthermore, we show in a simple model that colonies infected with
DWV-B collapse sooner than colonies infected with DWV-A. We also identify potential
for rapid DWV evolution by revealing extensive genome-wide recombination in vivo.
The emergence of DWV-B in naive honeybee populations, including via recombination
with DWV-A, could be of significant ecological and economic importance. Our findings
emphasize that knowledge of pathogen genetic identity and diversity is critical
to understanding drivers of species decline.
article_processing_charge: No
author:
- first_name: Dino
full_name: Mcmahon, Dino
last_name: Mcmahon
- first_name: Myrsini
full_name: Natsopoulou, Myrsini
last_name: Natsopoulou
- first_name: Vincent
full_name: Doublet, Vincent
last_name: Doublet
- first_name: Matthias
full_name: Fürst, Matthias
id: 393B1196-F248-11E8-B48F-1D18A9856A87
last_name: Fürst
orcid: 0000-0002-3712-925X
- first_name: Silvio
full_name: Weging, Silvio
last_name: Weging
- first_name: Mark
full_name: Brown, Mark
last_name: Brown
- first_name: Andreas
full_name: Gogol Döring, Andreas
last_name: Gogol Döring
- first_name: Robert
full_name: Paxton, Robert
last_name: Paxton
citation:
ama: 'Mcmahon D, Natsopoulou M, Doublet V, et al. Data from: Elevated virulence
of an emerging viral genotype as a driver of honeybee loss. 2016. doi:10.5061/dryad.cq7t1'
apa: 'Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M.,
… Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype
as a driver of honeybee loss. Dryad. https://doi.org/10.5061/dryad.cq7t1'
chicago: 'Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio
Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Data from: Elevated
Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.” Dryad,
2016. https://doi.org/10.5061/dryad.cq7t1.'
ieee: 'D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral
genotype as a driver of honeybee loss.” Dryad, 2016.'
ista: 'Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring
A, Paxton R. 2016. Data from: Elevated virulence of an emerging viral genotype
as a driver of honeybee loss, Dryad, 10.5061/dryad.cq7t1.'
mla: 'Mcmahon, Dino, et al. Data from: Elevated Virulence of an Emerging Viral
Genotype as a Driver of Honeybee Loss. Dryad, 2016, doi:10.5061/dryad.cq7t1.'
short: D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A.
Gogol Döring, R. Paxton, (2016).
date_created: 2021-07-23T08:30:38Z
date_published: 2016-05-06T00:00:00Z
date_updated: 2025-09-22T08:59:29Z
day: '06'
department:
- _id: SyCr
doi: 10.5061/dryad.cq7t1
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.cq7t1
month: '05'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '1262'
relation: used_in_publication
status: public
status: public
title: 'Data from: Elevated virulence of an emerging viral genotype as a driver of
honeybee loss'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2016'
...
---
_id: '9710'
abstract:
- lang: eng
text: Much of quantitative genetics is based on the ‘infinitesimal model’, under
which selection has a negligible effect on the genetic variance. This is typically
justified by assuming a very large number of loci with additive effects. However,
it applies even when genes interact, provided that the number of loci is large
enough that selection on each of them is weak relative to random drift. In the
long term, directional selection will change allele frequencies, but even then,
the effects of epistasis on the ultimate change in trait mean due to selection
may be modest. Stabilising selection can maintain many traits close to their optima,
even when the underlying alleles are weakly selected. However, the number of traits
that can be optimised is apparently limited to ~4Ne by the ‘drift load’, and this
is hard to reconcile with the apparent complexity of many organisms. Just as for
the mutation load, this limit can be evaded by a particular form of negative epistasis.
A more robust limit is set by the variance in reproductive success. This suggests
that selection accumulates information most efficiently in the infinitesimal regime,
when selection on individual alleles is weak, and comparable with random drift.
A review of evidence on selection strength suggests that although most variance
in fitness may be because of alleles with large Nes, substantial amounts of adaptation
may be because of alleles in the infinitesimal regime, in which epistasis has
modest effects.
article_processing_charge: No
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: 'Barton NH. Data from: How does epistasis influence the response to selection?
2016. doi:10.5061/dryad.s5s7r'
apa: 'Barton, N. H. (2016). Data from: How does epistasis influence the response
to selection? Dryad. https://doi.org/10.5061/dryad.s5s7r'
chicago: 'Barton, Nicholas H. “Data from: How Does Epistasis Influence the Response
to Selection?” Dryad, 2016. https://doi.org/10.5061/dryad.s5s7r.'
ieee: 'N. H. Barton, “Data from: How does epistasis influence the response to selection?”
Dryad, 2016.'
ista: 'Barton NH. 2016. Data from: How does epistasis influence the response to
selection?, Dryad, 10.5061/dryad.s5s7r.'
mla: 'Barton, Nicholas H. Data from: How Does Epistasis Influence the Response
to Selection? Dryad, 2016, doi:10.5061/dryad.s5s7r.'
short: N.H. Barton, (2016).
date_created: 2021-07-23T11:45:47Z
date_published: 2016-09-23T00:00:00Z
date_updated: 2025-04-15T07:11:02Z
day: '23'
department:
- _id: NiBa
doi: 10.5061/dryad.s5s7r
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.s5s7r
month: '09'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '1199'
relation: used_in_publication
status: public
status: public
title: 'Data from: How does epistasis influence the response to selection?'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2016'
...
---
_id: '9720'
abstract:
- lang: eng
text: 'Summary: Declining populations of bee pollinators are a cause of concern,
with major repercussions for biodiversity loss and food security. RNA viruses
associated with honeybees represent a potential threat to other insect pollinators,
but the extent of this threat is poorly understood. This study aims to attain
a detailed understanding of the current and ongoing risk of emerging infectious
disease (EID) transmission between managed and wild pollinator species across
a wide range of RNA viruses. Within a structured large-scale national survey across
26 independent sites, we quantify the prevalence and pathogen loads of multiple
RNA viruses in co-occurring managed honeybee (Apis mellifera) and wild bumblebee
(Bombus spp.) populations. We then construct models that compare virus prevalence
between wild and managed pollinators. Multiple RNA viruses associated with honeybees
are widespread in sympatric wild bumblebee populations. Virus prevalence in honeybees
is a significant predictor of virus prevalence in bumblebees, but we remain cautious
in speculating over the principle direction of pathogen transmission. We demonstrate
species-specific differences in prevalence, indicating significant variation in
disease susceptibility or tolerance. Pathogen loads within individual bumblebees
may be high and in the case of at least one RNA virus, prevalence is higher in
wild bumblebees than in managed honeybee populations. Our findings indicate widespread
transmission of RNA viruses between managed and wild bee pollinators, pointing
to an interconnected network of potential disease pressures within and among pollinator
species. In the context of the biodiversity crisis, our study emphasizes the importance
of targeting a wide range of pathogens and defining host associations when considering
potential drivers of population decline.'
article_processing_charge: No
author:
- first_name: Dino
full_name: Mcmahon, Dino
last_name: Mcmahon
- first_name: Matthias
full_name: Fürst, Matthias
id: 393B1196-F248-11E8-B48F-1D18A9856A87
last_name: Fürst
orcid: 0000-0002-3712-925X
- first_name: Jesicca
full_name: Caspar, Jesicca
last_name: Caspar
- first_name: Panagiotis
full_name: Theodorou, Panagiotis
last_name: Theodorou
- first_name: Mark
full_name: Brown, Mark
last_name: Brown
- first_name: Robert
full_name: Paxton, Robert
last_name: Paxton
citation:
ama: 'Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. Data from: A
sting in the spit: widespread cross-infection of multiple RNA viruses across wild
and managed bees. 2016. doi:10.5061/dryad.4b565'
apa: 'Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton,
R. (2016). Data from: A sting in the spit: widespread cross-infection of multiple
RNA viruses across wild and managed bees. Dryad. https://doi.org/10.5061/dryad.4b565'
chicago: 'Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark
Brown, and Robert Paxton. “Data from: A Sting in the Spit: Widespread Cross-Infection
of Multiple RNA Viruses across Wild and Managed Bees.” Dryad, 2016. https://doi.org/10.5061/dryad.4b565.'
ieee: 'D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “Data
from: A sting in the spit: widespread cross-infection of multiple RNA viruses
across wild and managed bees.” Dryad, 2016.'
ista: 'Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. 2016. Data
from: A sting in the spit: widespread cross-infection of multiple RNA viruses
across wild and managed bees, Dryad, 10.5061/dryad.4b565.'
mla: 'Mcmahon, Dino, et al. Data from: A Sting in the Spit: Widespread Cross-Infection
of Multiple RNA Viruses across Wild and Managed Bees. Dryad, 2016, doi:10.5061/dryad.4b565.'
short: D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).
date_created: 2021-07-26T09:14:19Z
date_published: 2016-01-22T00:00:00Z
date_updated: 2025-09-23T07:26:23Z
day: '22'
department:
- _id: SyCr
doi: 10.5061/dryad.4b565
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.4b565
month: '01'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '1855'
relation: used_in_publication
status: public
status: public
title: 'Data from: A sting in the spit: widespread cross-infection of multiple RNA
viruses across wild and managed bees'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2016'
...
---
_id: '478'
abstract:
- lang: eng
text: 'Magic: the Gathering is a game about magical combat for any number of players.
Formally it is a zero-sum, imperfect information stochastic game that consists
of a potentially unbounded number of steps. We consider the problem of deciding
if a move is legal in a given single step of Magic. We show that the problem is
(a) coNP-complete in general; and (b) in P if either of two small sets of cards
are not used. Our lower bound holds even for single-player Magic games. The significant
aspects of our results are as follows: First, in most real-life game problems,
the task of deciding whether a given move is legal in a single step is trivial,
and the computationally hard task is to find the best sequence of legal moves
in the presence of multiple players. In contrast, quite uniquely our hardness
result holds for single step and with only one-player. Second, we establish efficient
algorithms for important special cases of Magic.'
alternative_title:
- Frontiers in Artificial Intelligence and Applications
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: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
citation:
ama: 'Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single
step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432'
apa: 'Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding
legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented
at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands:
IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432'
chicago: 'Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding
Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016.
https://doi.org/10.3233/978-1-61499-672-9-1432.'
ieee: 'K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of
a single step of magic: The gathering,” presented at the ECAI: European Conference
on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.'
ista: 'Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of
a single step of magic: The gathering. ECAI: European Conference on Artificial
Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285,
1432–1439.'
mla: 'Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding
Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016,
pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.'
short: K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
conference:
end_date: 2016-09-02
location: The Hague, Netherlands
name: 'ECAI: European Conference on Artificial Intelligence'
start_date: 2016-08-29
corr_author: '1'
date_created: 2018-12-11T11:46:41Z
date_published: 2016-01-01T00:00:00Z
date_updated: 2025-09-22T14:26:27Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.3233/978-1-61499-672-9-1432
external_id:
isi:
- '000385793700166'
file:
- access_level: open_access
checksum: 848043c812ace05e459579c923f3d3cf
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:07:59Z
date_updated: 2020-07-14T12:46:35Z
file_id: '4658'
file_name: IST-2018-950-v1+1_2016_Chatterjee_The_complexity.pdf
file_size: 2116225
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 285'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 1432 - 1439
publication_status: published
publisher: IOS Press
publist_id: '7342'
pubrep_id: '950'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The complexity of deciding legality of a single step of magic: The gathering'
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: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 285
year: '2016'
...
---
_id: '479'
abstract:
- lang: eng
text: Clinical guidelines and decision support systems (DSS) play an important role
in daily practices of medicine. Many text-based guidelines have been encoded for
work-flow simulation of DSS to automate health care. During the collaboration
with Carle hospital to develop a DSS, we identify that, for some complex and life-critical
diseases, it is highly desirable to automatically rigorously verify some complex
temporal properties in guidelines, which brings new challenges to current simulation
based DSS with limited support of automatical formal verification and real-time
data analysis. In this paper, we conduct the first study on applying runtime verification
to cooperate with current DSS based on real-time data. Within the proposed technique,
a user-friendly domain specific language, named DRTV, is designed to specify vital
real-time data sampled by medical devices and temporal properties originated from
clinical guidelines. Some interfaces are developed for data acquisition and communication.
Then, for medical practice scenarios described in DRTV model, we will automatically
generate event sequences and runtime property verifier automata. If a temporal
property violates, real-time warnings will be produced by the formal verifier
and passed to medical DSS. We have used DRTV to specify different kinds of medical
care scenarios, and applied the proposed technique to assist existing DSS. As
presented in experiment results, in terms of warning detection, it outperforms
the only use of DSS or human inspection, and improves the quality of clinical
health care of hospital
acknowledgement: "This work is supported by NSF CNS 13-30077, NSF CNS 13-29886, NSF
CNS 15-45002, and NSFC 61303014.\r\nThe authors thank Dr. Bobby and Dr. Hill at
Carle Hospital, Urbana, IL for their help with the discussion on medical knowledge.\r\n\r\n"
alternative_title:
- Proceedings International Conference on Software Engineering
article_processing_charge: No
author:
- first_name: Yu
full_name: Jiang, Yu
last_name: Jiang
- first_name: Han
full_name: Liu, Han
last_name: Liu
- first_name: Hui
full_name: Kong, Hui
id: 3BDE25AA-F248-11E8-B48F-1D18A9856A87
last_name: Kong
orcid: 0000-0002-3066-6941
- first_name: Rui
full_name: Wang, Rui
last_name: Wang
- first_name: Mohamad
full_name: Hosseini, Mohamad
last_name: Hosseini
- first_name: Jiaguang
full_name: Sun, Jiaguang
last_name: Sun
- first_name: Lui
full_name: Sha, Lui
last_name: Sha
citation:
ama: 'Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality
of medical care practice. In: Proceedings of the 38th International Conference
on Software Engineering Companion . IEEE; 2016:112-121. doi:10.1145/2889160.2889233'
apa: 'Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., & Sha,
L. (2016). Use runtime verification to improve the quality of medical care practice.
In Proceedings of the 38th International Conference on Software Engineering
Companion (pp. 112–121). Austin, TX, USA: IEEE. https://doi.org/10.1145/2889160.2889233'
chicago: Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun,
and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care
Practice.” In Proceedings of the 38th International Conference on Software
Engineering Companion , 112–21. IEEE, 2016. https://doi.org/10.1145/2889160.2889233.
ieee: Y. Jiang et al., “Use runtime verification to improve the quality of
medical care practice,” in Proceedings of the 38th International Conference
on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.
ista: 'Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime
verification to improve the quality of medical care practice. Proceedings of the
38th International Conference on Software Engineering Companion . ICSE: International
Conference on Software Engineering, Proceedings International Conference on Software
Engineering, , 112–121.'
mla: Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical
Care Practice.” Proceedings of the 38th International Conference on Software
Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.
short: Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings
of the 38th International Conference on Software Engineering Companion , IEEE,
2016, pp. 112–121.
conference:
end_date: 2016-05-22
location: Austin, TX, USA
name: 'ICSE: International Conference on Software Engineering'
start_date: 2016-05-14
date_created: 2018-12-11T11:46:42Z
date_published: 2016-05-14T00:00:00Z
date_updated: 2025-09-22T14:22:48Z
day: '14'
department:
- _id: ToHe
doi: 10.1145/2889160.2889233
external_id:
isi:
- '000402155300016'
isi: 1
language:
- iso: eng
month: '05'
oa_version: None
page: 112 - 121
publication: 'Proceedings of the 38th International Conference on Software Engineering
Companion '
publication_status: published
publisher: IEEE
publist_id: '7341'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Use runtime verification to improve the quality of medical care practice
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2016'
...
---
_id: '480'
abstract:
- lang: eng
text: Graph games provide the foundation for modeling and synthesizing reactive
processes. In the synthesis of stochastic reactive processes, the traditional
model is perfect-information stochastic games, where some transitions of the game
graph are controlled by two adversarial players, and the other transitions are
executed probabilistically. We consider such games where the objective is the
conjunction of several quantitative objectives (specified as mean-payoff conditions),
which we refer to as generalized mean-payoff objectives. The basic decision problem
asks for the existence of a finite-memory strategy for a player that ensures the
generalized mean-payoff objective be satisfied with a desired probability against
all strategies of the opponent. A special case of the decision problem is the
almost-sure problem where the desired probability is 1. Previous results presented
a semi-decision procedure for -approximations of the almost-sure problem. In this
work, we show that both the almost-sure problem as well as the general basic decision
problem are coNP-complete, significantly improving the previous results. Moreover,
we show that in the case of 1-player stochastic games, randomized memoryless strategies
are sufficient and the problem can be solved in polynomial time. In contrast,
in two-player stochastic games, we show that even with randomized strategies exponential
memory is required in general, and present a matching exponential upper bound.
We also study the basic decision problem with infinite-memory strategies and present
computational complexity results for the problem. Our results are relevant in
the synthesis of stochastic reactive systems with multiple quantitative requirements.
alternative_title:
- Proceedings Symposium on Logic in Computer Science
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: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: 'Chatterjee K, Doyen L. Perfect-information stochastic games with generalized
mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513'
apa: 'Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games
with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented
at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513'
chicago: Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic
Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE,
2016. https://doi.org/10.1145/2933575.2934513.
ieee: 'K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized
mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New
York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.'
ista: 'Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized
mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium
on Logic in Computer Science, vol. 05-08-July-2016, 247–256.'
mla: Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic
Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE,
2016, pp. 247–56, doi:10.1145/2933575.2934513.
short: K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
conference:
end_date: 2016-07-08
location: New York, NY, USA
name: 'LICS: Logic in Computer Science'
start_date: 2016-07-05
date_created: 2018-12-11T11:46:42Z
date_published: 2016-07-05T00:00:00Z
date_updated: 2025-09-22T14:22:08Z
day: '05'
department:
- _id: KrCh
doi: 10.1145/2933575.2934513
ec_funded: 1
external_id:
arxiv:
- '1604.06376'
isi:
- '000387609200025'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.06376
month: '07'
oa: 1
oa_version: Preprint
page: 247 - 256
project:
- _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: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication_status: published
publisher: IEEE
publist_id: '7340'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Perfect-information stochastic games with generalized mean-payoff objectives
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 05-08-July-2016
year: '2016'
...
---
_id: '482'
abstract:
- lang: eng
text: Nonlinear electro-optical conversion of microwave radiation into the optical
telecommunication band is achieved within a crystalline whispering gallery mode
resonator, reaching 0.1% photon number conversion efficiency with MHz bandwidth.
alternative_title:
- Optics InfoBase Conference Papers
article_processing_charge: No
author:
- first_name: Alfredo
full_name: Rueda, Alfredo
last_name: Rueda
- first_name: Florian
full_name: Sedlmeir, Florian
last_name: Sedlmeir
- first_name: Michele
full_name: Collodo, Michele
last_name: Collodo
- first_name: Ulrich
full_name: Vogl, Ulrich
last_name: Vogl
- first_name: Birgit
full_name: Stiller, Birgit
last_name: Stiller
- first_name: Gerhard
full_name: Schunk, Gerhard
last_name: Schunk
- first_name: Dmitry
full_name: Strekalov, Dmitry
last_name: Strekalov
- first_name: Christoph
full_name: Marquardt, Christoph
last_name: Marquardt
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: Oskar
full_name: Painter, Oskar
last_name: Painter
- first_name: Gerd
full_name: Leuchs, Gerd
last_name: Leuchs
- first_name: Harald
full_name: Schwefel, Harald
last_name: Schwefel
citation:
ama: 'Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave
to optical conversion using an electro-optic WGM-resonator. In: Optica Publishing
Group; 2016. doi:10.1364/NP.2016.NTh3A.6'
apa: 'Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., …
Schwefel, H. (2016). Nonlinear single sideband microwave to optical conversion
using an electro-optic WGM-resonator. Presented at the NP: Nonlinear Photonics,
Sydney, Australia: Optica Publishing Group. https://doi.org/10.1364/NP.2016.NTh3A.6'
chicago: Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit
Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Nonlinear Single Sideband Microwave
to Optical Conversion Using an Electro-Optic WGM-Resonator.” Optica Publishing
Group, 2016. https://doi.org/10.1364/NP.2016.NTh3A.6.
ieee: 'A. Rueda et al., “Nonlinear single sideband microwave to optical conversion
using an electro-optic WGM-resonator,” presented at the NP: Nonlinear Photonics,
Sydney, Australia, 2016.'
ista: 'Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D,
Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Nonlinear single
sideband microwave to optical conversion using an electro-optic WGM-resonator.
NP: Nonlinear Photonics, Optics InfoBase Conference Papers, .'
mla: Rueda, Alfredo, et al. Nonlinear Single Sideband Microwave to Optical Conversion
Using an Electro-Optic WGM-Resonator. Optica Publishing Group, 2016, doi:10.1364/NP.2016.NTh3A.6.
short: A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov,
C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing
Group, 2016.
conference:
end_date: 2016-09-08
location: Sydney, Australia
name: 'NP: Nonlinear Photonics'
start_date: 2016-09-05
date_created: 2018-12-11T11:46:43Z
date_published: 2016-08-29T00:00:00Z
date_updated: 2023-10-17T12:16:43Z
day: '29'
department:
- _id: JoFi
doi: 10.1364/NP.2016.NTh3A.6
language:
- iso: eng
month: '08'
oa_version: None
publication_status: published
publisher: Optica Publishing Group
publist_id: '7339'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nonlinear single sideband microwave to optical conversion using an electro-optic
WGM-resonator
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '510'
abstract:
- lang: eng
text: 'The CLE (CLAVATA3/Embryo Surrounding Region-related) peptides are small secreted
signaling peptides that are primarily involved in the regulation of stem cell
homeostasis in different plant meristems. Particularly, the characterization of
the CLE41-PXY/TDR signaling pathway has greatly advanced our understanding on
the potential roles of CLE peptides in vascular development and wood formation.
Nevertheless, our knowledge on this gene family in a tree species is limited.
In a recent study, we reported on a systematically investigation of the CLE gene
family in Populus trichocarpa . The potential roles of PtCLE genes were studied
by comparative analysis and transcriptional pro fi ling. Among fi fty PtCLE members,
many PtCLE proteins share identical CLE motifs or contain the same CLE motif as
that of AtCLEs, while PtCLE genes exhibited either comparable or distinct expression
patterns comparing to their Arabidopsis counterparts. These fi ndings indicate
the existence of both functional conservation and functional divergence between
PtCLEs and their AtCLE orthologues. Our results provide valuable resources for
future functional investigations of these critical signaling molecules in woody
plants. '
acknowledgement: 'We are grateful to Dr. Long (Laboratoire de Reproduction et Developpement
des Plantes,CNRS,INRA,ENSLyon,UCBL,Universite de Lyon,France)for critical reading
of the article. Work in our group is supported by the National Natural Science Foundation
of China (31271575; 31200902), the Fundamental Research Funds for the Central Univ
ersities (GK201103005), the Specialized Research Fund for the Doctoral Program of
Higher Education from the Ministry of Education of China (20120202120009), the Scientific
Research Foundation for the Returned Overseas Chinese Scholars, State Education
Ministry, and the Natural Science Basic Research Plan in Shaanxi Province of China
(2014JM3064). '
article_number: e1191734
article_processing_charge: No
author:
- first_name: Zhijun
full_name: Liu, Zhijun
last_name: Liu
- first_name: 'Nan'
full_name: Yang, Nan
last_name: Yang
- first_name: Yanting
full_name: Lv, Yanting
last_name: Lv
- first_name: Lixia
full_name: Pan, Lixia
last_name: Pan
- first_name: Shuo
full_name: Lv, Shuo
last_name: Lv
- first_name: Huibin
full_name: Han, Huibin
id: 31435098-F248-11E8-B48F-1D18A9856A87
last_name: Han
- first_name: Guodong
full_name: Wang, Guodong
last_name: Wang
citation:
ama: Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. Plant
Signaling & Behavior. 2016;11(6). doi:10.1080/15592324.2016.1191734
apa: Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., & Wang, G. (2016).
The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior.
Taylor & Francis. https://doi.org/10.1080/15592324.2016.1191734
chicago: Liu, Zhijun, Nan Yang, Yanting Lv, Lixia Pan, Shuo Lv, Huibin Han, and
Guodong Wang. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling
& Behavior. Taylor & Francis, 2016. https://doi.org/10.1080/15592324.2016.1191734.
ieee: Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant
Signaling & Behavior, vol. 11, no. 6. Taylor & Francis, 2016.
ista: Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family
in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
mla: Liu, Zhijun, et al. “The CLE Gene Family in Populus Trichocarpa.” Plant
Signaling & Behavior, vol. 11, no. 6, e1191734, Taylor & Francis,
2016, doi:10.1080/15592324.2016.1191734.
short: Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling &
Behavior 11 (2016).
date_created: 2018-12-11T11:46:53Z
date_published: 2016-06-02T00:00:00Z
date_updated: 2025-09-22T14:21:19Z
day: '02'
department:
- _id: JiFr
doi: 10.1080/15592324.2016.1191734
external_id:
isi:
- '000378740600025'
intvolume: ' 11'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4973754/
month: '06'
oa: 1
oa_version: Submitted Version
publication: Plant Signaling & Behavior
publication_status: published
publisher: Taylor & Francis
publist_id: '7308'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The CLE gene family in Populus trichocarpa
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 11
year: '2016'
...
---
_id: '5445'
abstract:
- lang: eng
text: 'We consider the quantitative analysis problem for interprocedural control-flow
graphs (ICFGs). The input consists of an ICFG, a positive weight function that
assigns every transition a positive integer-valued number, and a labelling of
the transitions (events) as good, bad, and neutral events. The weight function
assigns to each transition a numerical value that represents ameasure of how good
or bad an event is. The quantitative analysis problem asks whether there is a
run of the ICFG where the ratio of the sum of the numerical weights of good events
versus the sum of weights of bad events in the long-run is at least a given threshold
(or equivalently, to compute the maximal ratio among all valid paths in the ICFG).
The quantitative analysis problem for ICFGs can be solved in polynomial time,
and we present an efficient and practical algorithm for the problem. We show that
several problems relevant for static program analysis, such as estimating the
worst-case execution time of a program or the average energy consumption of a
mobile application, can be modeled in our framework. We have implemented our algorithm
as a tool in the Java Soot framework. We demonstrate the effectiveness of our
approach with two case studies. First, we show that our framework provides a sound
approach (no false positives) for the analysis of inefficiently-used containers.
Second, we show that our approach can also be used for static profiling of programs
which reasons about methods that are frequently invoked. Our experimental results
show that our tool scales to relatively large benchmarks, and discovers relevant
and useful information that can be used to optimize performance of the programs. '
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: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Yaron
full_name: Velner, Yaron
last_name: Velner
citation:
ama: Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis.
IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
apa: Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative
interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
chicago: Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative
Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
ieee: K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural
analysis. IST Austria, 2016.
ista: Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural
analysis, IST Austria, 33p.
mla: Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis.
IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
short: K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis,
IST Austria, 2016.
date_created: 2018-12-12T11:39:22Z
date_published: 2016-03-31T00:00:00Z
date_updated: 2025-04-15T08:11:41Z
day: '31'
ddc:
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2016-523-v1-1
file:
- access_level: open_access
checksum: cef516fa091925b5868813e355268fb4
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:52Z
date_updated: 2020-07-14T12:46:58Z
file_id: '5513'
file_name: IST-2016-523-v1+1_main.pdf
file_size: 1012204
relation: main_file
file_date_updated: 2020-07-14T12:46:58Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '33'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '523'
related_material:
record:
- id: '1604'
relation: later_version
status: public
status: public
title: Quantitative interprocedural analysis
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '5449'
abstract:
- lang: eng
text: "The fixation probability is the probability that a new mutant introduced
in a homogeneous population eventually takes over the entire population.\r\nThe
fixation probability is a fundamental quantity of natural selection, and known
to depend on the population structure.\r\nAmplifiers of natural selection are
population structures which increase the fixation probability of advantageous
mutants, as compared to the baseline case of well-mixed populations. In this work
we focus on symmetric population structures represented as undirected graphs.
In the regime of undirected graphs, the strongest amplifier known has been the
Star graph, and the existence of undirected graphs with stronger amplification
properties has remained open for over a decade.\r\nIn this work we present the
Comet and Comet-swarm families of undirected graphs. We show that for a range
of fitness values of the mutants, the Comet and Comet-swarm graphs have fixation
probability strictly larger than the fixation probability of the Star graph, for
fixed population size and at the limit of large populations, respectively."
alternative_title:
- IST Austria Technical Report
author:
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- 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: Nowak, Martin
last_name: Nowak
citation:
ama: 'Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected
Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1'
apa: 'Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification
on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1'
chicago: 'Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin
Nowak. Amplification on Undirected Population Structures: Comets Beat Stars.
IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.'
ieee: 'A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification
on undirected population structures: Comets beat stars. IST Austria, 2016.'
ista: 'Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on
undirected population structures: Comets beat stars, IST Austria, 22p.'
mla: 'Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures:
Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.'
short: 'A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected
Population Structures: Comets Beat Stars, IST Austria, 2016.'
date_created: 2018-12-12T11:39:24Z
date_published: 2016-11-09T00:00:00Z
date_updated: 2025-09-18T09:50:09Z
day: '09'
ddc:
- '519'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2016-648-v1-1
file:
- access_level: open_access
checksum: 8345a8c1e7d7f0cd92516d182b7fc59e
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:07Z
date_updated: 2020-07-14T12:46:58Z
file_id: '5529'
file_name: IST-2016-648-v1+1_tr.pdf
file_size: 1264221
relation: main_file
file_date_updated: 2020-07-14T12:46:58Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Updated Version
page: '22'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '648'
related_material:
record:
- id: '512'
relation: later_version
status: public
status: public
title: 'Amplification on undirected population structures: Comets beat stars'
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '5451'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- 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: Nowak, Martin
last_name: Nowak
citation:
ama: Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural
Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
apa: Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong
amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
chicago: Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin
Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
ieee: A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers
of natural selection. IST Austria, 2016.
ista: Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers
of natural selection, IST Austria, 34p.
mla: Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection.
IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
short: A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of
Natural Selection, IST Austria, 2016.
date_created: 2018-12-12T11:39:24Z
date_published: 2016-12-30T00:00:00Z
date_updated: 2023-02-23T12:27:05Z
day: '30'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2016-728-v1-1
file:
- access_level: open_access
checksum: 7b8bb17c322c0556acba6ac169fa71c1
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:04Z
date_updated: 2020-07-14T12:46:59Z
file_id: '5465'
file_name: IST-2016-728-v1+1_main.pdf
file_size: 1014732
relation: main_file
file_date_updated: 2020-07-14T12:46:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '34'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '728'
status: public
title: Strong amplifiers of natural selection
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '5452'
alternative_title:
- IST Austria Technical Report
article_processing_charge: No
author:
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- 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: Nowak, Martin
last_name: Nowak
citation:
ama: Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers
of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
apa: Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily
strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-728-v2-1
chicago: Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin
Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria,
2016. https://doi.org/10.15479/AT:IST-2017-728-v2-1.
ieee: A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong
amplifiers of natural selection. IST Austria, 2016.
ista: Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong
amplifiers of natural selection, IST Austria, 32p.
mla: Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection.
IST Austria, 2016, doi:10.15479/AT:IST-2017-728-v2-1.
short: A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong
Amplifiers of Natural Selection, IST Austria, 2016.
date_created: 2018-12-12T11:39:25Z
date_published: 2016-12-30T00:00:00Z
date_updated: 2025-04-15T07:55:39Z
day: '30'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2017-728-v2-1
ec_funded: 1
file:
- access_level: open_access
checksum: 58e895f26c82f560c0f0989bf8b08599
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:52:59Z
date_updated: 2020-07-14T12:46:59Z
file_id: '5460'
file_name: IST-2017-728-v2+1_main.pdf
file_size: 811558
relation: main_file
file_date_updated: 2020-07-14T12:46:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '32'
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '750'
related_material:
record:
- id: '5453'
relation: later_version
status: public
- id: '5559'
relation: popular_science
status: public
status: public
title: Arbitrarily strong amplifiers of natural selection
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '5453'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- 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: Nowak, Martin
last_name: Nowak
citation:
ama: Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers
of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
apa: Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily
strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
chicago: Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin
Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria,
2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
ieee: A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong
amplifiers of natural selection. IST Austria, 2016.
ista: Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong
amplifiers of natural selection, IST Austria, 34p.
mla: Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection.
IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
short: A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong
Amplifiers of Natural Selection, IST Austria, 2016.
date_created: 2018-12-12T11:39:25Z
date_published: 2016-12-30T00:00:00Z
date_updated: 2025-04-15T07:55:37Z
day: '30'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2017-749-v3-1
file:
- access_level: open_access
checksum: 83b0313dab3bff4bdb6ac38695026fda
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:13Z
date_updated: 2020-07-14T12:46:59Z
file_id: '5474'
file_name: IST-2017-749-v3+1_main.pdf
file_size: 1015647
relation: main_file
file_date_updated: 2020-07-14T12:46:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '34'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '755'
related_material:
record:
- id: '5452'
relation: earlier_version
status: public
status: public
title: Arbitrarily strong amplifiers of natural selection
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...