---
_id: '1820'
abstract:
- lang: eng
text: 'We consider partially observable Markov decision processes (POMDPs) with
a set of target states and every transition is associated with an integer cost.
The optimization objec- tive we study asks to minimize the expected total cost
till the target set is reached, while ensuring that the target set is reached
almost-surely (with probability 1). We show that for integer costs approximating
the optimal cost is undecidable. For positive costs, our results are as follows:
(i) we establish matching lower and upper bounds for the optimal cost and the
bound is double exponential; (ii) we show that the problem of approximating the
optimal cost is decidable and present ap- proximation algorithms developing on
the existing algorithms for POMDPs with finite-horizon objectives. While the worst-
case running time of our algorithm is double exponential, we present efficient
stopping criteria for the algorithm and show experimentally that it performs well
in many examples.'
acknowledgement: ' The research was partly supported by Austrian Science Fund (FWF)
Grant No P23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307:
Graph Games), and Microsoft faculty fellows award.'
alternative_title:
- Artifical Intelligence
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Raghav
full_name: Gupta, Raghav
last_name: Gupta
- first_name: Ayush
full_name: Kanodia, Ayush
last_name: Kanodia
citation:
ama: 'Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability
in POMDPs. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial
Intelligence . Vol 5. AAAI Press; 2015:3496-3502.'
apa: 'Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Optimal
cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth
AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3496–3502). Austin,
TX, USA: AAAI Press.'
chicago: Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia.
“Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth
AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.
ieee: K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure
reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference
on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.
ista: 'Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Optimal cost almost-sure
reachability in POMDPs. Proceedings of the Twenty-Ninth AAAI Conference on Artificial
Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical
Intelligence, vol. 5, 3496–3502.'
mla: Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.”
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
, vol. 5, AAAI Press, 2015, pp. 3496–502.
short: K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the
Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp.
3496–3502.
conference:
end_date: 2015-01-30
location: Austin, TX, USA
name: 'IAAI: Innovative Applications of Artificial Intelligence'
start_date: 2015-01-25
date_created: 2018-12-11T11:54:11Z
date_published: 2015-06-01T00:00:00Z
date_updated: 2023-02-23T10:02:57Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
external_id:
arxiv:
- '1411.3880'
intvolume: ' 5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1411.3880
month: '06'
oa: 1
oa_version: Preprint
page: 3496-3502
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication: 'Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence '
publication_status: published
publisher: AAAI Press
publist_id: '5286'
quality_controlled: '1'
related_material:
record:
- id: '1529'
relation: later_version
status: public
scopus_import: 1
status: public
title: Optimal cost almost-sure reachability in POMDPs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2015'
...
---
_id: '1823'
abstract:
- lang: eng
text: Abstract Drug combinations are increasingly important in disease treatments,
for combating drug resistance, and for elucidating fundamental relationships in
cell physiology. When drugs are combined, their individual effects on cells may
be amplified or weakened. Such drug interactions are crucial for treatment efficacy,
but their underlying mechanisms remain largely unknown. To uncover the causes
of drug interactions, we developed a systematic approach based on precise quantification
of the individual and joint effects of antibiotics on growth of genome-wide Escherichia
coli gene deletion strains. We found that drug interactions between antibiotics
representing the main modes of action are highly robust to genetic perturbation.
This robustness is encapsulated in a general principle of bacterial growth, which
enables the quantitative prediction of mutant growth rates under drug combinations.
Rare violations of this principle exposed recurring cellular functions controlling
drug interactions. In particular, we found that polysaccharide and ATP synthesis
control multiple drug interactions with previously unexplained mechanisms, and
small molecule adjuvants targeting these functions synthetically reshape drug
interactions in predictable ways. These results provide a new conceptual framework
for the design of multidrug combinations and suggest that there are universal
mechanisms at the heart of most drug interactions. Synopsis A general principle
of bacterial growth enables the prediction of mutant growth rates under drug combinations.
Rare violations of this principle expose cellular functions that control drug
interactions and can be targeted by small molecules to alter drug interactions
in predictable ways. Drug interactions between antibiotics are highly robust to
genetic perturbations. A general principle of bacterial growth enables the prediction
of mutant growth rates under drug combinations. Rare violations of this principle
expose cellular functions that control drug interactions. Diverse drug interactions
are controlled by recurring cellular functions, including LPS synthesis and ATP
synthesis. A general principle of bacterial growth enables the prediction of mutant
growth rates under drug combinations. Rare violations of this principle expose
cellular functions that control drug interactions and can be targeted by small
molecules to alter drug interactions in predictable ways.
article_number: '807'
author:
- first_name: Guillaume
full_name: Chevereau, Guillaume
id: 424D78A0-F248-11E8-B48F-1D18A9856A87
last_name: Chevereau
- first_name: Mark Tobias
full_name: Bollenbach, Mark Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
citation:
ama: Chevereau G, Bollenbach MT. Systematic discovery of drug interaction mechanisms.
Molecular Systems Biology. 2015;11(4). doi:10.15252/msb.20156098
apa: Chevereau, G., & Bollenbach, M. T. (2015). Systematic discovery of drug
interaction mechanisms. Molecular Systems Biology. Nature Publishing Group.
https://doi.org/10.15252/msb.20156098
chicago: Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery
of Drug Interaction Mechanisms.” Molecular Systems Biology. Nature Publishing
Group, 2015. https://doi.org/10.15252/msb.20156098.
ieee: G. Chevereau and M. T. Bollenbach, “Systematic discovery of drug interaction
mechanisms,” Molecular Systems Biology, vol. 11, no. 4. Nature Publishing
Group, 2015.
ista: Chevereau G, Bollenbach MT. 2015. Systematic discovery of drug interaction
mechanisms. Molecular Systems Biology. 11(4), 807.
mla: Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of
Drug Interaction Mechanisms.” Molecular Systems Biology, vol. 11, no. 4,
807, Nature Publishing Group, 2015, doi:10.15252/msb.20156098.
short: G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
date_created: 2018-12-11T11:54:12Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2021-01-12T06:53:26Z
day: '01'
ddc:
- '570'
department:
- _id: ToBo
doi: 10.15252/msb.20156098
ec_funded: 1
file:
- access_level: open_access
checksum: 4289b518fbe2166682fb1a1ef9b405f3
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:34Z
date_updated: 2020-07-14T12:45:17Z
file_id: '5087'
file_name: IST-2015-395-v1+1_807.full.pdf
file_size: 1273573
relation: main_file
file_date_updated: 2020-07-14T12:45:17Z
has_accepted_license: '1'
intvolume: ' 11'
issue: '4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
project:
- _id: 25E9AF9E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27201-B22
name: Revealing the mechanisms underlying drug interactions
- _id: 25EB3A80-B435-11E9-9278-68D0E5697425
grant_number: RGP0042/2013
name: Revealing the fundamental limits of cell growth
- _id: 25E83C2C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '303507'
name: Optimality principles in responses to antibiotics
publication: Molecular Systems Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '5283'
pubrep_id: '395'
quality_controlled: '1'
scopus_import: 1
status: public
title: Systematic discovery of drug interaction mechanisms
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2015'
...
---
_id: '1824'
abstract:
- lang: eng
text: Condensation phenomena arise through a collective behaviour of particles.
They are observed in both classical and quantum systems, ranging from the formation
of traffic jams in mass transport models to the macroscopic occupation of the
energetic ground state in ultra-cold bosonic gases (Bose-Einstein condensation).
Recently, it has been shown that a driven and dissipative system of bosons may
form multiple condensates. Which states become the condensates has, however, remained
elusive thus far. The dynamics of this condensation are described by coupled birth-death
processes, which also occur in evolutionary game theory. Here we apply concepts
from evolutionary game theory to explain the formation of multiple condensates
in such driven-dissipative bosonic systems. We show that the vanishing of relative
entropy production determines their selection. The condensation proceeds exponentially
fast, but the system never comes to rest. Instead, the occupation numbers of condensates
may oscillate, as we demonstrate for a rock-paper-scissors game of condensates.
article_number: '6977'
author:
- first_name: Johannes
full_name: Knebel, Johannes
last_name: Knebel
- first_name: Markus
full_name: Weber, Markus
last_name: Weber
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
- first_name: Erwin
full_name: Frey, Erwin
last_name: Frey
citation:
ama: Knebel J, Weber M, Krüger TH, Frey E. Evolutionary games of condensates in
coupled birth-death processes. Nature Communications. 2015;6. doi:10.1038/ncomms7977
apa: Knebel, J., Weber, M., Krüger, T. H., & Frey, E. (2015). Evolutionary games
of condensates in coupled birth-death processes. Nature Communications.
Nature Publishing Group. https://doi.org/10.1038/ncomms7977
chicago: Knebel, Johannes, Markus Weber, Torben H Krüger, and Erwin Frey. “Evolutionary
Games of Condensates in Coupled Birth-Death Processes.” Nature Communications.
Nature Publishing Group, 2015. https://doi.org/10.1038/ncomms7977.
ieee: J. Knebel, M. Weber, T. H. Krüger, and E. Frey, “Evolutionary games of condensates
in coupled birth-death processes,” Nature Communications, vol. 6. Nature
Publishing Group, 2015.
ista: Knebel J, Weber M, Krüger TH, Frey E. 2015. Evolutionary games of condensates
in coupled birth-death processes. Nature Communications. 6, 6977.
mla: Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death
Processes.” Nature Communications, vol. 6, 6977, Nature Publishing Group,
2015, doi:10.1038/ncomms7977.
short: J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
date_created: 2018-12-11T11:54:13Z
date_published: 2015-04-24T00:00:00Z
date_updated: 2021-01-12T06:53:26Z
day: '24'
ddc:
- '530'
department:
- _id: LaEr
doi: 10.1038/ncomms7977
file:
- access_level: open_access
checksum: c4cffb5c8b245e658a34eac71a03e7cc
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:54Z
date_updated: 2020-07-14T12:45:17Z
file_id: '5245'
file_name: IST-2016-451-v1+1_ncomms7977.pdf
file_size: 1151501
relation: main_file
file_date_updated: 2020-07-14T12:45:17Z
has_accepted_license: '1'
intvolume: ' 6'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
publist_id: '5282'
pubrep_id: '451'
quality_controlled: '1'
scopus_import: 1
status: public
title: Evolutionary games of condensates in coupled birth-death processes
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2015'
...
---
_id: '1827'
abstract:
- lang: eng
text: Bow-tie or hourglass structure is a common architectural feature found in
many biological systems. A bow-tie in a multi-layered structure occurs when intermediate
layers have much fewer components than the input and output layers. Examples include
metabolism where a handful of building blocks mediate between multiple input nutrients
and multiple output biomass components, and signaling networks where information
from numerous receptor types passes through a small set of signaling pathways
to regulate multiple output genes. Little is known, however, about how bow-tie
architectures evolve. Here, we address the evolution of bow-tie architectures
using simulations of multi-layered systems evolving to fulfill a given input-output
goal. We find that bow-ties spontaneously evolve when the information in the evolutionary
goal can be compressed. Mathematically speaking, bow-ties evolve when the rank
of the input-output matrix describing the evolutionary goal is deficient. The
maximal compression possible (the rank of the goal) determines the size of the
narrowest part of the network—that is the bow-tie. A further requirement is that
a process is active to reduce the number of links in the network, such as product-rule
mutations, otherwise a non-bow-tie solution is found in the evolutionary simulations.
This offers a mechanism to understand a common architectural principle of biological
systems, and a way to quantitate the effective rank of the goals under which they
evolved.
article_processing_charge: No
author:
- first_name: Tamar
full_name: Friedlander, Tamar
id: 36A5845C-F248-11E8-B48F-1D18A9856A87
last_name: Friedlander
- first_name: Avraham
full_name: Mayo, Avraham
last_name: Mayo
- first_name: Tsvi
full_name: Tlusty, Tsvi
last_name: Tlusty
- first_name: Uri
full_name: Alon, Uri
last_name: Alon
citation:
ama: Friedlander T, Mayo A, Tlusty T, Alon U. Evolution of bow-tie architectures
in biology. PLoS Computational Biology. 2015;11(3). doi:10.1371/journal.pcbi.1004055
apa: Friedlander, T., Mayo, A., Tlusty, T., & Alon, U. (2015). Evolution of
bow-tie architectures in biology. PLoS Computational Biology. Public Library
of Science. https://doi.org/10.1371/journal.pcbi.1004055
chicago: Friedlander, Tamar, Avraham Mayo, Tsvi Tlusty, and Uri Alon. “Evolution
of Bow-Tie Architectures in Biology.” PLoS Computational Biology. Public
Library of Science, 2015. https://doi.org/10.1371/journal.pcbi.1004055.
ieee: T. Friedlander, A. Mayo, T. Tlusty, and U. Alon, “Evolution of bow-tie architectures
in biology,” PLoS Computational Biology, vol. 11, no. 3. Public Library
of Science, 2015.
ista: Friedlander T, Mayo A, Tlusty T, Alon U. 2015. Evolution of bow-tie architectures
in biology. PLoS Computational Biology. 11(3).
mla: Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.”
PLoS Computational Biology, vol. 11, no. 3, Public Library of Science,
2015, doi:10.1371/journal.pcbi.1004055.
short: T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11
(2015).
date_created: 2018-12-11T11:54:14Z
date_published: 2015-03-23T00:00:00Z
date_updated: 2023-02-23T14:07:51Z
day: '23'
ddc:
- '576'
department:
- _id: GaTk
doi: 10.1371/journal.pcbi.1004055
ec_funded: 1
file:
- access_level: open_access
checksum: b8aa66f450ff8de393014b87ec7d2efb
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:39Z
date_updated: 2020-07-14T12:45:17Z
file_id: '5161'
file_name: IST-2016-452-v1+1_journal.pcbi.1004055.pdf
file_size: 1811647
relation: main_file
file_date_updated: 2020-07-14T12:45:17Z
has_accepted_license: '1'
intvolume: ' 11'
issue: '3'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: PLoS Computational Biology
publication_status: published
publisher: Public Library of Science
publist_id: '5278'
pubrep_id: '452'
quality_controlled: '1'
related_material:
record:
- id: '9718'
relation: research_data
status: public
- id: '9773'
relation: research_data
status: public
scopus_import: 1
status: public
title: Evolution of bow-tie architectures in biology
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2015'
...
---
_id: '1828'
abstract:
- lang: eng
text: We construct a non-linear Markov process connected with a biological model
of a bacterial genome recombination. The description of invariant measures of
this process gives us the solution of one problem in elementary probability theory.
article_processing_charge: No
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Sergey
full_name: Pirogov, Sergey
last_name: Pirogov
- first_name: Aleksandr
full_name: Rybko, Aleksandr
last_name: Rybko
citation:
ama: Akopyan A, Pirogov S, Rybko A. Invariant measures of genetic recombination
process. Journal of Statistical Physics. 2015;160(1):163-167. doi:10.1007/s10955-015-1238-5
apa: Akopyan, A., Pirogov, S., & Rybko, A. (2015). Invariant measures of genetic
recombination process. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-015-1238-5
chicago: Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “Invariant Measures
of Genetic Recombination Process.” Journal of Statistical Physics. Springer,
2015. https://doi.org/10.1007/s10955-015-1238-5.
ieee: A. Akopyan, S. Pirogov, and A. Rybko, “Invariant measures of genetic recombination
process,” Journal of Statistical Physics, vol. 160, no. 1. Springer, pp.
163–167, 2015.
ista: Akopyan A, Pirogov S, Rybko A. 2015. Invariant measures of genetic recombination
process. Journal of Statistical Physics. 160(1), 163–167.
mla: Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.”
Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67,
doi:10.1007/s10955-015-1238-5.
short: A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015)
163–167.
date_created: 2018-12-11T11:54:14Z
date_published: 2015-07-01T00:00:00Z
date_updated: 2021-01-12T06:53:28Z
day: '01'
department:
- _id: HeEd
doi: 10.1007/s10955-015-1238-5
ec_funded: 1
intvolume: ' 160'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: arxiv.org/abs/1406.5313
month: '07'
oa: 1
oa_version: Preprint
page: 163 - 167
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '5276'
quality_controlled: '1'
scopus_import: 1
status: public
title: Invariant measures of genetic recombination process
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 160
year: '2015'
...
---
_id: '1830'
abstract:
- lang: eng
text: To prevent epidemics, insect societies have evolved collective disease defences
that are highly effective at curing exposed individuals and limiting disease transmission
to healthy group members. Grooming is an important sanitary behaviour—either performed
towards oneself (self-grooming) or towards others (allogrooming)—to remove infectious
agents from the body surface of exposed individuals, but at the risk of disease
contraction by the groomer. We use garden ants (Lasius neglectus) and the fungal
pathogen Metarhizium as a model system to study how pathogen presence affects
self-grooming and allogrooming between exposed and healthy individuals. We develop
an epidemiological SIS model to explore how experimentally observed grooming patterns
affect disease spread within the colony, thereby providing a direct link between
the expression and direction of sanitary behaviours, and their effects on colony-level
epidemiology. We find that fungus-exposed ants increase self-grooming, while simultaneously
decreasing allogrooming. This behavioural modulation seems universally adaptive
and is predicted to contain disease spread in a great variety of host–pathogen
systems. In contrast, allogrooming directed towards pathogen-exposed individuals
might both increase and decrease disease risk. Our model reveals that the effect
of allogrooming depends on the balance between pathogen infectiousness and efficiency
of social host defences, which are likely to vary across host–pathogen systems.
acknowledgement: We thank Meghan L. Vyleta for the genetical fungal strain characterization
and Eva Sixt for ant drawings, Matthias Konrad for discussion and Christopher D.
Pull, Barbara Casillas-Peréz, Sebastian Novak, as well as three anonymous reviewers
and the theme issue editors Peter Kappeler and Charlie Nunn for valuable comments
on the manuscript.
article_processing_charge: No
article_type: original
author:
- first_name: Fabian
full_name: Theis, Fabian
last_name: Theis
- 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: Carsten
full_name: Marr, Carsten
last_name: Marr
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on
disease transmission in ant societies. Philosophical Transactions of the Royal
Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108
apa: Theis, F., Ugelvig, L. V., Marr, C., & Cremer, S. (2015). Opposing effects
of allogrooming on disease transmission in ant societies. Philosophical Transactions
of the Royal Society of London. Series B, Biological Sciences. Royal Society,
The. https://doi.org/10.1098/rstb.2014.0108
chicago: Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Opposing
Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences.
Royal Society, The, 2015. https://doi.org/10.1098/rstb.2014.0108.
ieee: F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Opposing effects of allogrooming
on disease transmission in ant societies,” Philosophical Transactions of the
Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669.
Royal Society, The, 2015.
ista: Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Opposing effects of allogrooming
on disease transmission in ant societies. Philosophical Transactions of the Royal
Society of London. Series B, Biological Sciences. 370(1669).
mla: Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission
in Ant Societies.” Philosophical Transactions of the Royal Society of London.
Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015,
doi:10.1098/rstb.2014.0108.
short: F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of
the Royal Society of London. Series B, Biological Sciences 370 (2015).
date_created: 2018-12-11T11:54:15Z
date_published: 2015-05-26T00:00:00Z
date_updated: 2023-02-23T14:06:12Z
day: '26'
department:
- _id: SyCr
doi: 10.1098/rstb.2014.0108
ec_funded: 1
external_id:
pmid:
- '25870394'
intvolume: ' 370'
issue: '1669'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4410374/
month: '05'
oa: 1
oa_version: Submitted Version
pmid: 1
project:
- _id: 25DC711C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '243071'
name: 'Social Vaccination in Ant Colonies: from Individual Mechanisms to Society
Effects'
- _id: 25DDF0F0-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '302004'
name: 'Pathogen Detectors Collective disease defence and pathogen detection abilities
in ant societies: a chemo-neuro-immunological approach'
- _id: 25E0E184-B435-11E9-9278-68D0E5697425
name: Antnet
- _id: 25E24DB2-B435-11E9-9278-68D0E5697425
name: Fellowship of Wissenschaftskolleg zu Berlin
publication: Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences
publication_identifier:
eissn:
- 1471-2970
issn:
- 0962-8436
publication_status: published
publisher: Royal Society, The
publist_id: '5273'
quality_controlled: '1'
related_material:
record:
- id: '9721'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Opposing effects of allogrooming on disease transmission in ant societies
type: journal_article
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
volume: 370
year: '2015'
...
---
_id: '1831'
abstract:
- lang: eng
text: This paper introduces a theme issue presenting the latest developments in
research on the impacts of sociality on health and fitness. The articles that
follow cover research on societies ranging from insects to humans. Variation in
measures of fitness (i.e. survival and reproduction) has been linked to various
aspects of sociality in humans and animals alike, and variability in individual
health and condition has been recognized as a key mediator of these relationships.
Viewed from a broad evolutionary perspective, the evolutionary transitions from
a solitary lifestyle to group living have resulted in several new health-related
costs and benefits of sociality. Social transmission of parasites within groups
represents a major cost of group living, but some behavioural mechanisms, such
as grooming, have evolved repeatedly to reduce this cost. Group living also has
created novel costs in terms of altered susceptibility to infectious and non-infectious
disease as a result of the unavoidable physiological consequences of social competition
and integration, which are partly alleviated by social buffering in some vertebrates.
Here, we define the relevant aspects of sociality, summarize their health-related
costs and benefits, and discuss possible fitness measures in different study systems.
Given the pervasive effects of social factors on health and fitness, we propose
a synthesis of existing conceptual approaches in disease ecology, ecological immunology
and behavioural neurosciences by adding sociality as a key factor, with the goal
to generate a broader framework for organismal integration of health-related research.
acknowledgement: We thank the German Research Foundation (DFG), the Ministry of Science
and Culture of Lower-Saxony (MWK Hannover) and the German Primate Centre (DPZ) for
their support of the 9. Göttinger Freilandtage in 2013, a conference at which most
contributions to this issue were first presented, the referees of the contributions
to this issue for their constructive comments, Meggan Craft for comments, and Helen
Eaton for her support in producing this theme issue.
article_number: '20140116'
author:
- first_name: Peter
full_name: Kappeler, Peter
last_name: Kappeler
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
- first_name: Charles
full_name: Nunn, Charles
last_name: Nunn
citation:
ama: 'Kappeler P, Cremer S, Nunn C. Sociality and health: Impacts of sociality on
disease susceptibility and transmission in animal and human societies. Philosophical
Transactions of the Royal Society of London Series B, Biological Sciences.
2015;370(1669). doi:10.1098/rstb.2014.0116'
apa: 'Kappeler, P., Cremer, S., & Nunn, C. (2015). Sociality and health: Impacts
of sociality on disease susceptibility and transmission in animal and human societies.
Philosophical Transactions of the Royal Society of London. Series B, Biological
Sciences. Royal Society. https://doi.org/10.1098/rstb.2014.0116'
chicago: 'Kappeler, Peter, Sylvia Cremer, and Charles Nunn. “Sociality and Health:
Impacts of Sociality on Disease Susceptibility and Transmission in Animal and
Human Societies.” Philosophical Transactions of the Royal Society of London.
Series B, Biological Sciences. Royal Society, 2015. https://doi.org/10.1098/rstb.2014.0116.'
ieee: 'P. Kappeler, S. Cremer, and C. Nunn, “Sociality and health: Impacts of sociality
on disease susceptibility and transmission in animal and human societies,” Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences,
vol. 370, no. 1669. Royal Society, 2015.'
ista: 'Kappeler P, Cremer S, Nunn C. 2015. Sociality and health: Impacts of sociality
on disease susceptibility and transmission in animal and human societies. Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669),
20140116.'
mla: 'Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease
Susceptibility and Transmission in Animal and Human Societies.” Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences,
vol. 370, no. 1669, 20140116, Royal Society, 2015, doi:10.1098/rstb.2014.0116.'
short: P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal
Society of London. Series B, Biological Sciences 370 (2015).
date_created: 2018-12-11T11:54:15Z
date_published: 2015-05-01T00:00:00Z
date_updated: 2021-01-12T06:53:29Z
day: '01'
department:
- _id: SyCr
doi: 10.1098/rstb.2014.0116
external_id:
pmid:
- '25870402'
intvolume: ' 370'
issue: '1669'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4410382/
month: '05'
oa: 1
oa_version: Submitted Version
pmid: 1
publication: Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences
publication_status: published
publisher: Royal Society
publist_id: '5272'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Sociality and health: Impacts of sociality on disease susceptibility and transmission
in animal and human societies'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 370
year: '2015'
...
---
_id: '1832'
abstract:
- lang: eng
text: 'Linearizability of concurrent data structures is usually proved by monolithic
simulation arguments relying on the identification of the so-called linearization
points. Regrettably, such proofs, whether manual or automatic, are often complicated
and scale poorly to advanced non-blocking concurrency patterns, such as helping
and optimistic updates. In response, we propose a more modular way of checking
linearizability of concurrent queue algorithms that does not involve identifying
linearization points. We reduce the task of proving linearizability with respect
to the queue specification to establishing four basic properties, each of which
can be proved independently by simpler arguments. As a demonstration of our approach,
we verify the Herlihy and Wing queue, an algorithm that is challenging to verify
by a simulation proof. '
article_number: '20'
article_processing_charge: No
article_type: original
author:
- first_name: Soham
full_name: Chakraborty, Soham
last_name: Chakraborty
- 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: Ali
full_name: Sezgin, Ali
last_name: Sezgin
- first_name: Viktor
full_name: Vafeiadis, Viktor
last_name: Vafeiadis
citation:
ama: Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability
proofs. Logical Methods in Computer Science. 2015;11(1). doi:10.2168/LMCS-11(1:20)2015
apa: Chakraborty, S., Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2015).
Aspect-oriented linearizability proofs. Logical Methods in Computer Science.
International Federation of Computational Logic. https://doi.org/10.2168/LMCS-11(1:20)2015
chicago: Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis.
“Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science.
International Federation of Computational Logic, 2015. https://doi.org/10.2168/LMCS-11(1:20)2015.
ieee: S. Chakraborty, T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented
linearizability proofs,” Logical Methods in Computer Science, vol. 11,
no. 1. International Federation of Computational Logic, 2015.
ista: Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. 2015. Aspect-oriented
linearizability proofs. Logical Methods in Computer Science. 11(1), 20.
mla: Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical
Methods in Computer Science, vol. 11, no. 1, 20, International Federation
of Computational Logic, 2015, doi:10.2168/LMCS-11(1:20)2015.
short: S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods
in Computer Science 11 (2015).
date_created: 2018-12-11T11:54:15Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2023-02-23T10:38:13Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.2168/LMCS-11(1:20)2015
ec_funded: 1
file:
- access_level: open_access
checksum: 7370e164d0a731f442424a92669efc34
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:27Z
date_updated: 2020-07-14T12:45:17Z
file_id: '4881'
file_name: IST-2015-390-v1+1_1502.07639.pdf
file_size: 380203
relation: main_file
file_date_updated: 2020-07-14T12:45:17Z
has_accepted_license: '1'
intvolume: ' 11'
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nd/4.0/
month: '04'
oa: 1
oa_version: Published Version
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication: Logical Methods in Computer Science
publication_status: published
publisher: International Federation of Computational Logic
publist_id: '5271'
pubrep_id: '390'
quality_controlled: '1'
related_material:
record:
- id: '2328'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Aspect-oriented linearizability proofs
tmp:
image: /image/cc_by_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode
name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)
short: CC BY-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2015'
...
---
_id: '1834'
abstract:
- lang: eng
text: Huge body of evidences demonstrated that volatile anesthetics affect the hippocampal
neurogenesis and neurocognitive functions, and most of them showed impairment
at anesthetic dose. Here, we investigated the effect of low dose (1.8%) sevoflurane
on hippocampal neurogenesis and dentate gyrus-dependent learning. Neonatal rats
at postnatal day 4 to 6 (P4-6) were treated with 1.8% sevoflurane for 6 hours.
Neurogenesis was quantified by bromodeoxyuridine labeling and electrophysiology
recording. Four and seven weeks after treatment, the Morris water maze and contextual-fear
discrimination learning tests were performed to determine the influence on spatial
learning and pattern separation. A 6-hour treatment with 1.8% sevoflurane promoted
hippocampal neurogenesis and increased the survival of newborn cells and the proportion
of immature granular cells in the dentate gyrus of neonatal rats. Sevoflurane-treated
rats performed better during the training days of the Morris water maze test and
in contextual-fear discrimination learning test. These results suggest that a
subanesthetic dose of sevoflurane promotes hippocampal neurogenesis in neonatal
rats and facilitates their performance in dentate gyrus-dependent learning tasks.
article_processing_charge: No
article_type: original
author:
- first_name: Chong
full_name: Chen, Chong
id: 3DFD581A-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Chao
full_name: Wang, Chao
last_name: Wang
- first_name: Xuan
full_name: Zhao, Xuan
last_name: Zhao
- first_name: Tao
full_name: Zhou, Tao
last_name: Zhou
- first_name: Dao
full_name: Xu, Dao
last_name: Xu
- first_name: Zhi
full_name: Wang, Zhi
last_name: Wang
- first_name: Ying
full_name: Wang, Ying
last_name: Wang
citation:
ama: Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis
and facilitates the development of dentate gyrus-dependent learning in neonatal
rats. ASN Neuro. 2015;7(2). doi:10.1177/1759091415575845
apa: Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., & Wang, Y. (2015).
Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development
of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. SAGE Publications.
https://doi.org/10.1177/1759091415575845
chicago: Chen, Chong, Chao Wang, Xuan Zhao, Tao Zhou, Dao Xu, Zhi Wang, and Ying
Wang. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the
Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” ASN Neuro.
SAGE Publications, 2015. https://doi.org/10.1177/1759091415575845.
ieee: C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis
and facilitates the development of dentate gyrus-dependent learning in neonatal
rats,” ASN Neuro, vol. 7, no. 2. SAGE Publications, 2015.
ista: Chen C, Wang C, Zhao X, Zhou T, Xu D, Wang Z, Wang Y. 2015. Low-dose sevoflurane
promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent
learning in neonatal rats. ASN Neuro. 7(2).
mla: Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis
and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal
Rats.” ASN Neuro, vol. 7, no. 2, SAGE Publications, 2015, doi:10.1177/1759091415575845.
short: C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7
(2015).
date_created: 2018-12-11T11:54:16Z
date_published: 2015-04-13T00:00:00Z
date_updated: 2023-10-18T06:47:30Z
day: '13'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1177/1759091415575845
file:
- access_level: open_access
checksum: 53e16bd3fc2ae2c0d7de9164626c37aa
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:08Z
date_updated: 2020-07-14T12:45:18Z
file_id: '5057'
file_name: IST-2016-456-v1+1_ASN_Neuro-2015-Chen-.pdf
file_size: 1146814
relation: main_file
file_date_updated: 2020-07-14T12:45:18Z
has_accepted_license: '1'
intvolume: ' 7'
issue: '2'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: ASN Neuro
publication_status: published
publisher: SAGE Publications
publist_id: '5269'
pubrep_id: '456'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development
of dentate gyrus-dependent learning in neonatal rats
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/3.0/legalcode
name: Creative Commons Attribution 3.0 Unported (CC BY 3.0)
short: CC BY (3.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2015'
...
---
_id: '1835'
abstract:
- lang: eng
text: The behaviour of gene regulatory networks (GRNs) is typically analysed using
simulation-based statistical testing-like methods. In this paper, we demonstrate
that we can replace this approach by a formal verification-like method that gives
higher assurance and scalability. We focus on Wagner’s weighted GRN model with
varying weights, which is used in evolutionary biology. In the model, weight parameters
represent the gene interaction strength that may change due to genetic mutations.
For a property of interest, we synthesise the constraints over the parameter space
that represent the set of GRNs satisfying the property. We experimentally show
that our parameter synthesis procedure computes the mutational robustness of GRNs
–an important problem of interest in evolutionary biology– more efficiently than
the classical simulation method. We specify the property in linear temporal logics.
We employ symbolic bounded model checking and SMT solving to compute the space
of GRNs that satisfy the property, which amounts to synthesizing a set of linear
constraints on the weights.
acknowledgement: "SNSF Early Postdoc.Mobility Fellowship, the grant number P2EZP2
148797.\r\n"
alternative_title:
- LNCS
author:
- first_name: Mirco
full_name: Giacobbe, Mirco
id: 3444EA5E-F248-11E8-B48F-1D18A9856A87
last_name: Giacobbe
orcid: 0000-0001-8180-0904
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- 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: Tiago
full_name: Paixao, Tiago
id: 2C5658E6-F248-11E8-B48F-1D18A9856A87
last_name: Paixao
orcid: 0000-0003-2361-3953
- first_name: Tatjana
full_name: Petrov, Tatjana
id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
last_name: Petrov
orcid: 0000-0002-9041-0905
citation:
ama: Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking
gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47
apa: 'Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &
Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS:
Tools and Algorithms for the Construction and Analysis of Systems, London, United
Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47'
chicago: Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago
Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture
Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_47.
ieee: M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov,
“Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
ista: Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2015. Model
checking gene regulatory networks. 9035, 469–483.
mla: Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol.
9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
short: M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035
(2015) 469–483.
conference:
end_date: 2015-04-18
location: London, United Kingdom
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2015-04-11
date_created: 2018-12-11T11:54:16Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2025-05-28T11:57:04Z
day: '01'
department:
- _id: ToHe
- _id: CaGu
- _id: NiBa
doi: 10.1007/978-3-662-46681-0_47
ec_funded: 1
intvolume: ' 9035'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1410.7704
month: '04'
oa: 1
oa_version: Preprint
page: 469 - 483
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25B1EC9E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618091'
name: Speed of Adaptation in Population Genetics and Evolutionary Computation
- _id: 25B07788-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '250152'
name: Limits to selection in biology and in evolutionary computation
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication_status: published
publisher: Springer
publist_id: '5267'
quality_controlled: '1'
related_material:
record:
- id: '1351'
relation: later_version
status: public
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Model checking gene regulatory networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9035
year: '2015'
...
---
_id: '1836'
abstract:
- lang: eng
text: In the standard framework for worst-case execution time (WCET) analysis of
programs, the main data structure is a single instance of integer linear programming
(ILP) that represents the whole program. The instance of this NP-hard problem
must be solved to find an estimate forWCET, and it must be refined if the estimate
is not tight.We propose a new framework for WCET analysis, based on abstract segment
trees (ASTs) as the main data structure. The ASTs have two advantages. First,
they allow computing WCET by solving a number of independent small ILP instances.
Second, ASTs store more expressive constraints, thus enabling a more efficient
and precise refinement procedure. In order to realize our framework algorithmically,
we develop an algorithm for WCET estimation on ASTs, and we develop an interpolation-based
counterexample-guided refinement scheme for ASTs. Furthermore, we extend our framework
to obtain parametric estimates of WCET. We experimentally evaluate our approach
on a set of examples from WCET benchmark suites and linear-algebra packages. We
show that our analysis, with comparable effort, provides WCET estimates that in
many cases significantly improve those computed by existing tools.
alternative_title:
- LNCS
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- 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: Laura
full_name: Kovács, Laura
last_name: Kovács
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Jakob
full_name: Zwirchmayr, Jakob
last_name: Zwirchmayr
citation:
ama: Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction
for worst-case execution time analysis. 2015;9032:105-131. doi:10.1007/978-3-662-46669-8_5
apa: 'Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., & Zwirchmayr,
J. (2015). Segment abstraction for worst-case execution time analysis. Presented
at the ESOP: European Symposium on Programming, London, United Kingdom: Springer.
https://doi.org/10.1007/978-3-662-46669-8_5'
chicago: Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and
Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.”
Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46669-8_5.
ieee: P. Cerny, T. A. Henzinger, L. Kovács, A. Radhakrishna, and J. Zwirchmayr,
“Segment abstraction for worst-case execution time analysis,” vol. 9032. Springer,
pp. 105–131, 2015.
ista: Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. 2015. Segment
abstraction for worst-case execution time analysis. 9032, 105–131.
mla: Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis.
Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
short: P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032
(2015) 105–131.
conference:
end_date: 2015-04-18
location: London, United Kingdom
name: 'ESOP: European Symposium on Programming'
start_date: 2015-04-11
date_created: 2018-12-11T11:54:16Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2020-08-11T10:09:32Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-662-46669-8_5
ec_funded: 1
intvolume: ' 9032'
language:
- iso: eng
month: '04'
oa_version: None
page: 105 - 131
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '5266'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Segment abstraction for worst-case execution time analysis
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9032
year: '2015'
...
---
_id: '1837'
abstract:
- lang: eng
text: 'Transition to turbulence in straight pipes occurs in spite of the linear
stability of the laminar Hagen-Poiseuille flow if both the amplitude of flow perturbations
and the Reynolds number Re exceed a minimum threshold (subcritical transition).
As the pipe curvature increases, centrifugal effects become important, modifying
the basic flow as well as the most unstable linear modes. If the curvature (tube-to-coiling
diameter d/D) is sufficiently large, a Hopf bifurcation (supercritical instability)
is encountered before turbulence can be excited (subcritical instability). We
trace the instability thresholds in the Re - d/D parameter space in the range
0.01 ≤ d/D\ ≤ 0.1 by means of laser-Doppler velocimetry and determine the point
where the subcritical and supercritical instabilities meet. Two different experimental
set-ups are used: a closed system where the pipe forms an axisymmetric torus and
an open system employing a helical pipe. Implications for the measurement of friction
factors in curved pipes are discussed.'
article_number: R3
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jakob
full_name: Kühnen, Jakob
id: 3A47AE32-F248-11E8-B48F-1D18A9856A87
last_name: Kühnen
orcid: 0000-0003-4312-0179
- first_name: P
full_name: Braunshier, P
last_name: Braunshier
- first_name: M
full_name: Schwegel, M
last_name: Schwegel
- first_name: Hendrik
full_name: Kuhlmann, Hendrik
last_name: Kuhlmann
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. Subcritical versus supercritical
transition to turbulence in curved pipes. Journal of Fluid Mechanics. 2015;770(5).
doi:10.1017/jfm.2015.184
apa: Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., & Hof, B. (2015).
Subcritical versus supercritical transition to turbulence in curved pipes. Journal
of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2015.184
chicago: Kühnen, Jakob, P Braunshier, M Schwegel, Hendrik Kuhlmann, and Björn Hof.
“Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal
of Fluid Mechanics. Cambridge University Press, 2015. https://doi.org/10.1017/jfm.2015.184.
ieee: J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, and B. Hof, “Subcritical
versus supercritical transition to turbulence in curved pipes,” Journal of
Fluid Mechanics, vol. 770, no. 5. Cambridge University Press, 2015.
ista: Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. 2015. Subcritical versus
supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics.
770(5), R3.
mla: Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence
in Curved Pipes.” Journal of Fluid Mechanics, vol. 770, no. 5, R3, Cambridge
University Press, 2015, doi:10.1017/jfm.2015.184.
short: J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid
Mechanics 770 (2015).
date_created: 2018-12-11T11:54:17Z
date_published: 2015-04-08T00:00:00Z
date_updated: 2021-01-12T06:53:31Z
day: '08'
department:
- _id: BjHo
doi: 10.1017/jfm.2015.184
ec_funded: 1
external_id:
arxiv:
- '1508.06559'
intvolume: ' 770'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1508.06559
month: '04'
oa: 1
oa_version: Preprint
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '306589'
name: Decoding the complexity of turbulence at its origin
publication: Journal of Fluid Mechanics
publication_status: published
publisher: Cambridge University Press
publist_id: '5265'
quality_controlled: '1'
scopus_import: 1
status: public
title: Subcritical versus supercritical transition to turbulence in curved pipes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 770
year: '2015'
...
---
_id: '1838'
abstract:
- lang: eng
text: Synthesis of program parts is particularly useful for concurrent systems.
However, most approaches do not support common design tasks, like modifying a
single process without having to re-synthesize or verify the whole system. Assume-guarantee
synthesis (AGS) provides robustness against modifications of system parts, but
thus far has been limited to the perfect information setting. This means that
local variables cannot be hidden from other processes, which renders synthesis
results cumbersome or even impossible to realize.We resolve this shortcoming by
defining AGS under partial information. We analyze the complexity and decidability
in different settings, showing that the problem has a high worstcase complexity
and is undecidable in many interesting cases. Based on these observations, we
present a pragmatic algorithm based on bounded synthesis, and demonstrate its
practical applicability on several examples.
acknowledgement: 'This work was supported by the Austrian Science Fund (FWF) through
the research network RiSE (S11406-N23, S11407-N23) and grant nr. P23499-N23, by
the European Commission through an ERC Start grant (279307: Graph Games) and project
STANCE (317753), as well as by the German Research Foundation (DFG) through SFB/TR
14 AVACS and project ASDPS(JA 2357/2-1).'
alternative_title:
- LNCS
author:
- first_name: Roderick
full_name: Bloem, Roderick
last_name: Bloem
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Swen
full_name: Jacobs, Swen
last_name: Jacobs
- first_name: Robert
full_name: Könighofer, Robert
last_name: Könighofer
citation:
ama: 'Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis
for concurrent reactive programs with partial information. In: Vol 9035. Springer;
2015:517-532. doi:10.1007/978-3-662-46681-0_50'
apa: 'Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee
synthesis for concurrent reactive programs with partial information (Vol. 9035,
pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction
and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_50'
chicago: Bloem, Roderick, Krishnendu Chatterjee, Swen Jacobs, and Robert Könighofer.
“Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information,”
9035:517–32. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_50.
ieee: 'R. Bloem, K. Chatterjee, S. Jacobs, and R. Könighofer, “Assume-guarantee
synthesis for concurrent reactive programs with partial information,” presented
at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
London, United Kingdom, 2015, vol. 9035, pp. 517–532.'
ista: 'Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis
for concurrent reactive programs with partial information. TACAS: Tools and Algorithms
for the Construction and Analysis of Systems, LNCS, vol. 9035, 517–532.'
mla: Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive
Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32,
doi:10.1007/978-3-662-46681-0_50.
short: R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp.
517–532.
conference:
end_date: 2015-04-18
location: London, United Kingdom
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2015-04-11
date_created: 2018-12-11T11:54:17Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2021-01-12T06:53:32Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-662-46681-0_50
ec_funded: 1
intvolume: ' 9035'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1411.4604
month: '01'
oa: 1
oa_version: Preprint
page: 517 - 532
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_status: published
publisher: Springer
publist_id: '5264'
scopus_import: 1
status: public
title: Assume-guarantee synthesis for concurrent reactive programs with partial information
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9035
year: '2015'
...
---
_id: '1839'
abstract:
- lang: eng
text: We present MultiGain, a tool to synthesize strategies for Markov decision
processes (MDPs) with multiple mean-payoff objectives. Our models are described
in PRISM, and our tool uses the existing interface and simulator of PRISM. Our
tool extends PRISM by adding novel algorithms for multiple mean-payoff objectives,
and also provides features such as (i) generating strategies and exploring them
for simulation, and checking them with respect to other properties; and (ii) generating
an approximate Pareto curve for two mean-payoff objectives. In addition, we present
a new practical algorithm for the analysis of MDPs with multiple mean-payoff objectives
under memoryless strategies.
alternative_title:
- LNCS
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Antonín
full_name: Kučera, Antonín
last_name: Kučera
citation:
ama: 'Brázdil T, Chatterjee K, Forejt V, Kučera A. Multigain: A controller synthesis
tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. doi:10.1007/978-3-662-46681-0_12'
apa: 'Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2015). Multigain:
A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented
at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12'
chicago: 'Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera.
“Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.”
Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_12.'
ieee: 'T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Multigain: A controller
synthesis tool for MDPs with multiple mean-payoff objectives,” vol. 9035. Springer,
pp. 181–187, 2015.'
ista: 'Brázdil T, Chatterjee K, Forejt V, Kučera A. 2015. Multigain: A controller
synthesis tool for MDPs with multiple mean-payoff objectives. 9035, 181–187.'
mla: 'Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs
with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87,
doi:10.1007/978-3-662-46681-0_12.'
short: T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
conference:
end_date: 2015-04-18
location: London, United Kingdom
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2015-04-11
date_created: 2018-12-11T11:54:18Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2020-01-21T13:18:52Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-662-46681-0_12
ec_funded: 1
intvolume: ' 9035'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1501.03093
month: '01'
oa: 1
oa_version: Preprint
page: 181 - 187
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_status: published
publisher: Springer
publist_id: '5263'
quality_controlled: '1'
series_title: Lecture Notes in Computer Science
status: public
title: 'Multigain: A controller synthesis tool for MDPs with multiple mean-payoff
objectives'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9035
year: '2015'
...
---
_id: '1840'
abstract:
- lang: eng
text: In this paper, we present a method for reducing a regular, discrete-time Markov
chain (DTMC) to another DTMC with a given, typically much smaller number of states.
The cost of reduction is defined as the Kullback-Leibler divergence rate between
a projection of the original process through a partition function and a DTMC on
the correspondingly partitioned state space. Finding the reduced model with minimal
cost is computationally expensive, as it requires an exhaustive search among all
state space partitions, and an exact evaluation of the reduction cost for each
candidate partition. Our approach deals with the latter problem by minimizing
an upper bound on the reduction cost instead of minimizing the exact cost. The
proposed upper bound is easy to compute and it is tight if the original chain
is lumpable with respect to the partition. Then, we express the problem in the
form of information bottleneck optimization, and propose using the agglomerative
information bottleneck algorithm for searching a suboptimal partition greedily,
rather than exhaustively. The theory is illustrated with examples and one application
scenario in the context of modeling bio-molecular interactions.
acknowledgement: "This work was supported by the Austrian Research Association under
Project 06/12684, by the Swiss National Science Foundation (SNSF) under Grant PP00P2
128503/1, by the SystemsX.ch (the Swiss Inititative for Systems Biology), and by
a SNSF Early Postdoc.Mobility Fellowship grant P2EZP2_148797.\r\n"
author:
- first_name: Bernhard
full_name: Geiger, Bernhard
last_name: Geiger
- first_name: Tatjana
full_name: Petrov, Tatjana
id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
last_name: Petrov
orcid: 0000-0002-9041-0905
- first_name: Gernot
full_name: Kubin, Gernot
last_name: Kubin
- first_name: Heinz
full_name: Koeppl, Heinz
last_name: Koeppl
citation:
ama: Geiger B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation
via information bottleneck. IEEE Transactions on Automatic Control. 2015;60(4):1010-1022.
doi:10.1109/TAC.2014.2364971
apa: Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler
aggregation via information bottleneck. IEEE Transactions on Automatic Control.
IEEE. https://doi.org/10.1109/TAC.2014.2364971
chicago: Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal
Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions
on Automatic Control. IEEE, 2015. https://doi.org/10.1109/TAC.2014.2364971.
ieee: B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation
via information bottleneck,” IEEE Transactions on Automatic Control, vol.
60, no. 4. IEEE, pp. 1010–1022, 2015.
ista: Geiger B, Petrov T, Kubin G, Koeppl H. 2015. Optimal Kullback-Leibler aggregation
via information bottleneck. IEEE Transactions on Automatic Control. 60(4), 1010–1022.
mla: Geiger, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information
Bottleneck.” IEEE Transactions on Automatic Control, vol. 60, no. 4, IEEE,
2015, pp. 1010–22, doi:10.1109/TAC.2014.2364971.
short: B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic
Control 60 (2015) 1010–1022.
date_created: 2018-12-11T11:54:18Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2021-01-12T06:53:33Z
day: '01'
department:
- _id: CaGu
- _id: ToHe
doi: 10.1109/TAC.2014.2364971
intvolume: ' 60'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1304.6603
month: '04'
oa: 1
oa_version: Preprint
page: 1010 - 1022
publication: IEEE Transactions on Automatic Control
publication_identifier:
issn:
- 0018-9286
publication_status: published
publisher: IEEE
publist_id: '5262'
quality_controlled: '1'
scopus_import: 1
status: public
title: Optimal Kullback-Leibler aggregation via information bottleneck
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 60
year: '2015'
...
---
_id: '1841'
abstract:
- lang: eng
text: We propose a new family of message passing techniques for MAP estimation in
graphical models which we call Sequential Reweighted Message Passing (SRMP). Special
cases include well-known techniques such as Min-Sum Diffusion (MSD) and a faster
Sequential Tree-Reweighted Message Passing (TRW-S). Importantly, our derivation
is simpler than the original derivation of TRW-S, and does not involve a decomposition
into trees. This allows easy generalizations. The new family of algorithms can
be viewed as a generalization of TRW-S from pairwise to higher-order graphical
models. We test SRMP on several real-world problems with promising results.
author:
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
citation:
ama: Kolmogorov V. A new look at reweighted message passing. IEEE Transactions
on Pattern Analysis and Machine Intelligence. 2015;37(5):919-930. doi:10.1109/TPAMI.2014.2363465
apa: Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions
on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2014.2363465
chicago: Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE
Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2015. https://doi.org/10.1109/TPAMI.2014.2363465.
ieee: V. Kolmogorov, “A new look at reweighted message passing,” IEEE Transactions
on Pattern Analysis and Machine Intelligence, vol. 37, no. 5. IEEE, pp. 919–930,
2015.
ista: Kolmogorov V. 2015. A new look at reweighted message passing. IEEE Transactions
on Pattern Analysis and Machine Intelligence. 37(5), 919–930.
mla: Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions
on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015,
pp. 919–30, doi:10.1109/TPAMI.2014.2363465.
short: V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence
37 (2015) 919–930.
date_created: 2018-12-11T11:54:18Z
date_published: 2015-05-01T00:00:00Z
date_updated: 2021-01-12T06:53:33Z
day: '01'
department:
- _id: VlKo
doi: 10.1109/TPAMI.2014.2363465
ec_funded: 1
intvolume: ' 37'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1309.5655
month: '05'
oa: 1
oa_version: Preprint
page: 919 - 930
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '616160'
name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication: IEEE Transactions on Pattern Analysis and Machine Intelligence
publication_status: published
publisher: IEEE
publist_id: '5261'
quality_controlled: '1'
scopus_import: 1
status: public
title: A new look at reweighted message passing
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 37
year: '2015'
...
---
_id: '1845'
abstract:
- lang: eng
text: Based on extrapolation from excitatory synapses, it is often assumed that
depletion of the releasable pool of synaptic vesicles is the main factor underlying
depression at inhibitory synapses. In this issue of Neuron, using subcellular
patch-clamp recording from inhibitory presynaptic terminals, Kawaguchi and Sakaba
(2015) show that at Purkinje cell-deep cerebellar nuclei neuron synapses, changes
in presynaptic action potential waveform substantially contribute to synaptic
depression. Based on extrapolation from excitatory synapses, it is often assumed
that depletion of the releasable pool of synaptic vesicles is the main factor
underlying depression at inhibitory synapses. In this issue of Neuron, using subcellular
patch-clamp recording from inhibitory presynaptic terminals, Kawaguchi and Sakaba
(2015) show that at Purkinje cell-deep cerebellar nuclei neuron synapses, changes
in presynaptic action potential waveform substantially contribute to synaptic
depression.
article_processing_charge: No
author:
- first_name: David H
full_name: Vandael, David H
id: 3AE48E0A-F248-11E8-B48F-1D18A9856A87
last_name: Vandael
orcid: 0000-0001-7577-1676
- first_name: 'Claudia '
full_name: 'Espinoza Martinez, Claudia '
id: 31FFEE2E-F248-11E8-B48F-1D18A9856A87
last_name: Espinoza Martinez
orcid: 0000-0003-4710-2082
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Vandael DH, Espinoza Martinez C, Jonas PM. Excitement about inhibitory presynaptic
terminals. Neuron. 2015;85(6):1149-1151. doi:10.1016/j.neuron.2015.03.006
apa: Vandael, D. H., Espinoza Martinez, C., & Jonas, P. M. (2015). Excitement
about inhibitory presynaptic terminals. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2015.03.006
chicago: Vandael, David H, Claudia Espinoza Martinez, and Peter M Jonas. “Excitement
about Inhibitory Presynaptic Terminals.” Neuron. Elsevier, 2015. https://doi.org/10.1016/j.neuron.2015.03.006.
ieee: D. H. Vandael, C. Espinoza Martinez, and P. M. Jonas, “Excitement about inhibitory
presynaptic terminals,” Neuron, vol. 85, no. 6. Elsevier, pp. 1149–1151,
2015.
ista: Vandael DH, Espinoza Martinez C, Jonas PM. 2015. Excitement about inhibitory
presynaptic terminals. Neuron. 85(6), 1149–1151.
mla: Vandael, David H., et al. “Excitement about Inhibitory Presynaptic Terminals.”
Neuron, vol. 85, no. 6, Elsevier, 2015, pp. 1149–51, doi:10.1016/j.neuron.2015.03.006.
short: D.H. Vandael, C. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
date_created: 2018-12-11T11:54:19Z
date_published: 2015-03-18T00:00:00Z
date_updated: 2021-10-08T09:07:34Z
day: '18'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1016/j.neuron.2015.03.006
file:
- access_level: open_access
checksum: d1808550e376a0eca2a950fda017cfa6
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:07Z
date_updated: 2020-07-14T12:45:19Z
file_id: '5192'
file_name: IST-2017-822-v1+1_Perspective_Fig__Final.pdf
file_size: 411832
relation: main_file
- access_level: open_access
checksum: a279f4ae61e6c8f33d68f69a0d02097d
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:07Z
date_updated: 2020-07-14T12:45:19Z
file_id: '5193'
file_name: IST-2017-822-v1+2_Perspective_Final2.pdf
file_size: 100769
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 85'
issue: '6'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 1149 - 1151
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '5256'
pubrep_id: '822'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Excitement about inhibitory presynaptic terminals
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 85
year: '2015'
...
---
_id: '1846'
abstract:
- lang: eng
text: Modal transition systems (MTS) is a well-studied specification formalism of
reactive systems supporting a step-wise refinement methodology. Despite its many
advantages, the formalism as well as its currently known extensions are incapable
of expressing some practically needed aspects in the refinement process like exclusive,
conditional and persistent choices. We introduce a new model called parametric
modal transition systems (PMTS) together with a general modal refinement notion
that overcomes many of the limitations. We investigate the computational complexity
of modal and thorough refinement checking on PMTS and its subclasses and provide
a direct encoding of the modal refinement problem into quantified Boolean formulae,
allowing us to employ state-of-the-art QBF solvers for modal refinement checking.
The experiments we report on show that the feasibility of refinement checking
is more influenced by the degree of nondeterminism rather than by the syntactic
restrictions on the types of formulae allowed in the description of the PMTS.
article_processing_charge: No
article_type: original
author:
- first_name: Nikola
full_name: Beneš, Nikola
last_name: Beneš
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Kim
full_name: Larsen, Kim
last_name: Larsen
- first_name: Mikael
full_name: Möller, Mikael
last_name: Möller
- first_name: Salomon
full_name: Sickert, Salomon
last_name: Sickert
- first_name: Jiří
full_name: Srba, Jiří
last_name: Srba
citation:
ama: Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. Refinement checking
on parametric modal transition systems. Acta Informatica. 2015;52(2-3):269-297.
doi:10.1007/s00236-015-0215-4
apa: Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba,
J. (2015). Refinement checking on parametric modal transition systems. Acta
Informatica. Springer. https://doi.org/10.1007/s00236-015-0215-4
chicago: Beneš, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert,
and Jiří Srba. “Refinement Checking on Parametric Modal Transition Systems.” Acta
Informatica. Springer, 2015. https://doi.org/10.1007/s00236-015-0215-4.
ieee: N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, and J. Srba, “Refinement
checking on parametric modal transition systems,” Acta Informatica, vol.
52, no. 2–3. Springer, pp. 269–297, 2015.
ista: Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. 2015. Refinement
checking on parametric modal transition systems. Acta Informatica. 52(2–3), 269–297.
mla: Beneš, Nikola, et al. “Refinement Checking on Parametric Modal Transition Systems.”
Acta Informatica, vol. 52, no. 2–3, Springer, 2015, pp. 269–97, doi:10.1007/s00236-015-0215-4.
short: N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica
52 (2015) 269–297.
date_created: 2018-12-11T11:54:20Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2021-01-12T06:53:35Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1007/s00236-015-0215-4
ec_funded: 1
file:
- access_level: open_access
checksum: fb4037ddc4fc05f33080dd3547ede350
content_type: application/pdf
creator: dernst
date_created: 2020-05-15T08:57:44Z
date_updated: 2020-07-14T12:45:19Z
file_id: '7854'
file_name: 2015_ActaInfo_Benes.pdf
file_size: 488482
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 52'
issue: 2-3
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 269 - 297
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Acta Informatica
publication_status: published
publisher: Springer
publist_id: '5255'
quality_controlled: '1'
scopus_import: 1
status: public
title: Refinement checking on parametric modal transition systems
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 52
year: '2015'
...
---
_id: '1847'
acknowledgement: This work was supported by the European Research Council (project
ERC-2011-StG-20101109-PSDP), European Social Fund (CZ.1.07/2.3.00/20.0043), and
the Czech Science Foundation GAČR (GA13-40637S).
author:
- first_name: Peter
full_name: Grones, Peter
id: 399876EC-F248-11E8-B48F-1D18A9856A87
last_name: Grones
- first_name: Jiřĺ
full_name: Friml, Jiřĺ
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: 'Grones P, Friml J. ABP1: Finally docking. Molecular Plant. 2015;8(3):356-358.
doi:10.1016/j.molp.2014.12.013'
apa: 'Grones, P., & Friml, J. (2015). ABP1: Finally docking. Molecular Plant.
Elsevier. https://doi.org/10.1016/j.molp.2014.12.013'
chicago: 'Grones, Peter, and Jiří Friml. “ABP1: Finally Docking.” Molecular Plant.
Elsevier, 2015. https://doi.org/10.1016/j.molp.2014.12.013.'
ieee: 'P. Grones and J. Friml, “ABP1: Finally docking,” Molecular Plant,
vol. 8, no. 3. Elsevier, pp. 356–358, 2015.'
ista: 'Grones P, Friml J. 2015. ABP1: Finally docking. Molecular Plant. 8(3), 356–358.'
mla: 'Grones, Peter, and Jiří Friml. “ABP1: Finally Docking.” Molecular Plant,
vol. 8, no. 3, Elsevier, 2015, pp. 356–58, doi:10.1016/j.molp.2014.12.013.'
short: P. Grones, J. Friml, Molecular Plant 8 (2015) 356–358.
date_created: 2018-12-11T11:54:20Z
date_published: 2015-03-02T00:00:00Z
date_updated: 2021-01-12T06:53:35Z
day: '02'
department:
- _id: JiFr
doi: 10.1016/j.molp.2014.12.013
intvolume: ' 8'
issue: '3'
language:
- iso: eng
month: '03'
oa_version: None
page: 356 - 358
publication: Molecular Plant
publication_status: published
publisher: Elsevier
publist_id: '5254'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'ABP1: Finally docking'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2015'
...
---
_id: '1848'
abstract:
- lang: eng
text: The ability to escape apoptosis is a hallmark of cancer-initiating cells and
a key factor of resistance to oncolytic therapy. Here, we identify FAM96A as a
ubiquitous, evolutionarily conserved apoptosome-activating protein and investigate
its potential pro-apoptotic tumor suppressor function in gastrointestinal stromal
tumors (GISTs). Interaction between FAM96A and apoptotic peptidase activating
factor 1 (APAF1) was identified in yeast two-hybrid screen and further studied
by deletion mutants, glutathione-S-transferase pull-down, co-immunoprecipitation
and immunofluorescence. Effects of FAM96A overexpression and knock-down on apoptosis
sensitivity were examined in cancer cells and zebrafish embryos. Expression of
FAM96A in GISTs and histogenetically related cells including interstitial cells
of Cajal (ICCs), “fibroblast-like cells” (FLCs) and ICC stem cells (ICC-SCs) was
investigated by Northern blotting, reverse transcription—polymerase chain reaction,
immunohistochemistry and Western immunoblotting. Tumorigenicity of GIST cells
and transformed murine ICC-SCs stably transduced to re-express FAM96A was studied
by xeno- and allografting into immunocompromised mice. FAM96A was found to bind
APAF1 and to enhance the induction of mitochondrial apoptosis. FAM96A protein
or mRNA was dramatically reduced or lost in 106 of 108 GIST samples representing
three independent patient cohorts. Whereas ICCs, ICC-SCs and FLCs, the presumed
normal counterparts of GIST, were found to robustly express FAM96A protein and
mRNA, FAM96A expression was much reduced in tumorigenic ICC-SCs. Re-expression
of FAM96A in GIST cells and transformed ICC-SCs increased apoptosis sensitivity
and diminished tumorigenicity. Our data suggest FAM96A is a novel pro-apoptotic
tumor suppressor that is lost during GIST tumorigenesis.
article_processing_charge: No
article_type: original
author:
- first_name: Bettina
full_name: Schwamb, Bettina
last_name: Schwamb
- first_name: Robert
full_name: Pick, Robert
last_name: Pick
- first_name: Sara
full_name: Fernández, Sara
last_name: Fernández
- first_name: Kirsten
full_name: Völp, Kirsten
last_name: Völp
- first_name: Jan
full_name: Heering, Jan
last_name: Heering
- first_name: Volker
full_name: Dötsch, Volker
last_name: Dötsch
- first_name: Susanne
full_name: Bösser, Susanne
last_name: Bösser
- first_name: Jennifer
full_name: Jung, Jennifer
last_name: Jung
- first_name: Rasa
full_name: Beinoravičiute Kellner, Rasa
last_name: Beinoravičiute Kellner
- first_name: Josephine
full_name: Wesely, Josephine
last_name: Wesely
- first_name: Inka
full_name: Zörnig, Inka
last_name: Zörnig
- first_name: Matthias
full_name: Hammerschmidt, Matthias
last_name: Hammerschmidt
- first_name: Matthias
full_name: Nowak, Matthias
id: 30845DAA-F248-11E8-B48F-1D18A9856A87
last_name: Nowak
- first_name: Roland
full_name: Penzel, Roland
last_name: Penzel
- first_name: Kurt
full_name: Zatloukal, Kurt
last_name: Zatloukal
- first_name: Stefan
full_name: Joos, Stefan
last_name: Joos
- first_name: Ralf
full_name: Rieker, Ralf
last_name: Rieker
- first_name: Abbas
full_name: Agaimy, Abbas
last_name: Agaimy
- first_name: Stephan
full_name: Söder, Stephan
last_name: Söder
- first_name: Kmarie
full_name: Reid Lombardo, Kmarie
last_name: Reid Lombardo
- first_name: Michael
full_name: Kendrick, Michael
last_name: Kendrick
- first_name: Michael
full_name: Bardsley, Michael
last_name: Bardsley
- first_name: Yujiro
full_name: Hayashi, Yujiro
last_name: Hayashi
- first_name: David
full_name: Asuzu, David
last_name: Asuzu
- first_name: Sabriya
full_name: Syed, Sabriya
last_name: Syed
- first_name: Tamás
full_name: Ördög, Tamás
last_name: Ördög
- first_name: Martin
full_name: Zörnig, Martin
last_name: Zörnig
citation:
ama: Schwamb B, Pick R, Fernández S, et al. FAM96A is a novel pro-apoptotic tumor
suppressor in gastrointestinal stromal tumors. International Journal of Cancer.
2015;137(6):1318-1329. doi:10.1002/ijc.29498
apa: Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V., …
Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal
stromal tumors. International Journal of Cancer. Wiley. https://doi.org/10.1002/ijc.29498
chicago: Schwamb, Bettina, Robert Pick, Sara Fernández, Kirsten Völp, Jan Heering,
Volker Dötsch, Susanne Bösser, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor
in Gastrointestinal Stromal Tumors.” International Journal of Cancer. Wiley,
2015. https://doi.org/10.1002/ijc.29498.
ieee: B. Schwamb et al., “FAM96A is a novel pro-apoptotic tumor suppressor
in gastrointestinal stromal tumors,” International Journal of Cancer, vol.
137, no. 6. Wiley, pp. 1318–1329, 2015.
ista: Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung
J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel
R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick
M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is
a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International
Journal of Cancer. 137(6), 1318–1329.
mla: Schwamb, Bettina, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor
in Gastrointestinal Stromal Tumors.” International Journal of Cancer, vol.
137, no. 6, Wiley, 2015, pp. 1318–29, doi:10.1002/ijc.29498.
short: B. Schwamb, R. Pick, S. Fernández, K. Völp, J. Heering, V. Dötsch, S. Bösser,
J. Jung, R. Beinoravičiute Kellner, J. Wesely, I. Zörnig, M. Hammerschmidt, M.
Nowak, R. Penzel, K. Zatloukal, S. Joos, R. Rieker, A. Agaimy, S. Söder, K. Reid
Lombardo, M. Kendrick, M. Bardsley, Y. Hayashi, D. Asuzu, S. Syed, T. Ördög, M.
Zörnig, International Journal of Cancer 137 (2015) 1318–1329.
date_created: 2018-12-11T11:54:20Z
date_published: 2015-09-01T00:00:00Z
date_updated: 2021-01-12T06:53:36Z
day: '01'
department:
- _id: LifeSc
doi: 10.1002/ijc.29498
external_id:
pmid:
- '25716227'
intvolume: ' 137'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4497860/
month: '09'
oa: 1
oa_version: Submitted Version
page: 1318 - 1329
pmid: 1
publication: International Journal of Cancer
publication_status: published
publisher: Wiley
publist_id: '5253'
quality_controlled: '1'
scopus_import: 1
status: public
title: FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal
tumors
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 137
year: '2015'
...