---
_id: '5407'
abstract:
- lang: eng
text: This document is created as a part of the project “Repository for Research
Data at IST Austria”. It summarises the mandatory features, which need to be fulfilled
to provide an institutional repository as a platform and also a service to the
scientists at the institute. It also includes optional features, which would be
of strong benefit for the scientists and would increase the usage of the repository,
and hence the visibility of research at IST Austria.
author:
- first_name: Jana
full_name: Porsche, Jana
id: 3252EDC2-F248-11E8-B48F-1D18A9856A87
last_name: Porsche
citation:
ama: Porsche J. Technical Requirements and Features. IST Austria; 2013.
apa: Porsche, J. (2013). Technical requirements and features. IST Austria.
chicago: Porsche, Jana. Technical Requirements and Features. IST Austria,
2013.
ieee: J. Porsche, Technical requirements and features. IST Austria, 2013.
ista: Porsche J. 2013. Technical requirements and features, IST Austria,p.
mla: Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
short: J. Porsche, Technical Requirements and Features, IST Austria, 2013.
date_created: 2018-12-12T11:39:09Z
date_published: 2013-07-13T00:00:00Z
date_updated: 2020-07-14T23:07:51Z
day: '13'
ddc:
- '020'
department:
- _id: E-Lib
file:
- access_level: open_access
checksum: 9e4f9abf79a56f651f0012a34909880f
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:02Z
date_updated: 2020-07-14T12:46:46Z
file_id: '5463'
file_name: IST-2013-135-v1+1_Features.pdf
file_size: 90311
relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication_status: published
publisher: IST Austria
pubrep_id: '135'
status: public
title: Technical requirements and features
type: report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '5408'
abstract:
- lang: eng
text: "We consider two-player partial-observation stochastic games where player
1 has partial observation and player 2 has perfect observation. The winning condition
we study are omega-regular conditions specified as parity objectives. The qualitative
analysis problem given a partial-observation stochastic game and a parity objective
asks whether there is a strategy to ensure that the objective is satisfied with
probability 1 (resp. positive probability). While the qualitative analysis problems
are known to be undecidable even for very special cases of parity objectives,
they were shown to be decidable in 2EXPTIME under finite-memory strategies. We
improve the complexity and show that the qualitative analysis problems for partial-observation
stochastic parity games under finite-memory strategies are \r\nEXPTIME-complete;
and also establish optimal (exponential) memory bounds for finite-memory strategies
required for qualitative analysis. "
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: Laurent
full_name: Doyen, Laurent
last_name: Doyen
- first_name: Sumit
full_name: Nain, Sumit
last_name: Nain
- first_name: Moshe
full_name: Vardi, Moshe
last_name: Vardi
citation:
ama: Chatterjee K, Doyen L, Nain S, Vardi M. The Complexity of Partial-Observation
Stochastic Parity Games with Finite-Memory Strategies. IST Austria; 2013.
doi:10.15479/AT:IST-2013-141-v1-1
apa: Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2013). The complexity
of partial-observation stochastic parity games with finite-memory strategies.
IST Austria. https://doi.org/10.15479/AT:IST-2013-141-v1-1
chicago: Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The
Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies.
IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-141-v1-1.
ieee: K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation
stochastic parity games with finite-memory strategies. IST Austria, 2013.
ista: Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation
stochastic parity games with finite-memory strategies, IST Austria, 17p.
mla: Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic
Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
short: K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation
Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
date_created: 2018-12-12T11:39:10Z
date_published: 2013-09-12T00:00:00Z
date_updated: 2023-02-23T10:33:11Z
day: '12'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2013-141-v1-1
file:
- access_level: open_access
checksum: 226bc791124f8d3138379778ce834e86
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:16Z
date_updated: 2020-07-14T12:46:46Z
file_id: '5477'
file_name: IST-2013-141-v1+1_main-tech-rpt.pdf
file_size: 300481
relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '17'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '141'
related_material:
record:
- id: '2213'
relation: later_version
status: public
status: public
title: The complexity of partial-observation stochastic parity games with finite-memory
strategies
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '5409'
abstract:
- lang: eng
text: "The edit distance between two (untimed) traces is the minimum cost of a sequence
of edit operations (insertion, deletion, or substitution) needed to transform
one trace to the other. Edit distances have been extensively studied in the untimed
setting, and form the basis for approximate matching of sequences in different
domains such as coding theory, parsing, and speech recognition. \r\nIn this paper,
we lift the study of edit distances from untimed languages to the timed setting.
We define an edit distance between timed words which incorporates both the edit
distance between the untimed words and the absolute difference in timestamps.
Our edit distance between two timed words is computable in polynomial time. Further,
we show that the edit distance between a timed word and a timed language generated
by a timed automaton, defined as the edit distance between the word and the closest
word in the language, is PSPACE-complete. While computing the edit distance between
two timed automata is undecidable, we show that the approximate version, where
we decide if the edit distance between two timed automata is either less than
a given parameter or more than delta away from the parameter, for delta>0, can
be solved in exponential space and is EXPSPACE-hard. Our definitions and techniques
can be generalized to the setting of hybrid systems, and we show analogous decidability
results for rectangular automata."
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: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
- first_name: Rupak
full_name: Majumdar, Rupak
last_name: Majumdar
citation:
ama: Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata.
IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1
apa: Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance
for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
chicago: Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit
Distance for Timed Automata. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-144-v1-1.
ieee: K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed
automata. IST Austria, 2013.
ista: Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata,
IST Austria, 12p.
mla: Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST
Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
short: K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata,
IST Austria, 2013.
date_created: 2018-12-12T11:39:10Z
date_published: 2013-10-30T00:00:00Z
date_updated: 2023-02-23T10:33:18Z
day: '30'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2013-144-v1-1
file:
- access_level: open_access
checksum: 0f7633081ba8299c543322f0ad08571f
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:08Z
date_updated: 2020-07-14T12:46:46Z
file_id: '5469'
file_name: IST-2013-144-v1+1_main.pdf
file_size: 336377
relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: '12'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '144'
related_material:
record:
- id: '2216'
relation: later_version
status: public
status: public
title: Edit distance for timed automata
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '5410'
abstract:
- lang: eng
text: "Board games, like Tic-Tac-Toe and CONNECT-4, play an important role not only
in development of mathematical and logical skills, but also in emotional and social
development. In this paper, we address the problem of generating targeted starting
positions for such games. This can facilitate new approaches for bringing novice
players to mastery, and also leads to discovery of interesting game variants.
\r\nOur approach generates starting states of varying hardness levels for player
1 in a two-player board game, given rules of the board game, the desired number
of steps required for player 1 to win, and the expertise levels of the two players.
Our approach leverages symbolic methods and iterative simulation to efficiently
search the extremely large state space. We present experimental results that include
discovery of states of varying hardness levels for several simple grid-based board
games. Also, the presence of such states for standard game variants like Tic-Tac-Toe
on board size 4x4 opens up new games to be played that have not been played for
ages since the default start state is heavily biased. "
alternative_title:
- IST Austria Technical Report
author:
- first_name: Umair
full_name: Ahmed, Umair
last_name: Ahmed
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Sumit
full_name: Gulwani, Sumit
last_name: Gulwani
citation:
ama: Ahmed U, Chatterjee K, Gulwani S. Automatic Generation of Alternative Starting
Positions for Traditional Board Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-146-v1-1
apa: Ahmed, U., Chatterjee, K., & Gulwani, S. (2013). Automatic generation
of alternative starting positions for traditional board games. IST Austria.
https://doi.org/10.15479/AT:IST-2013-146-v1-1
chicago: Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation
of Alternative Starting Positions for Traditional Board Games. IST Austria,
2013. https://doi.org/10.15479/AT:IST-2013-146-v1-1.
ieee: U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative
starting positions for traditional board games. IST Austria, 2013.
ista: Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative
starting positions for traditional board games, IST Austria, 13p.
mla: Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions
for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
short: U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative
Starting Positions for Traditional Board Games, IST Austria, 2013.
date_created: 2018-12-12T11:39:10Z
date_published: 2013-12-03T00:00:00Z
date_updated: 2023-02-23T10:00:50Z
day: '03'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2013-146-v1-1
file:
- access_level: open_access
checksum: 409f3aaaf1184e4057b89cbb449dac80
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:06Z
date_updated: 2020-07-14T12:46:46Z
file_id: '5528'
file_name: IST-2013-146-v1+1_main.pdf
file_size: 818189
relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '13'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '146'
related_material:
record:
- id: '1481'
relation: later_version
status: public
status: public
title: Automatic generation of alternative starting positions for traditional board
games
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '5747'
article_processing_charge: No
author:
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- 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
citation:
ama: 'Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent
Objects with Cooperating Updates. In: Computer Aided Verification. Vol
8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11'
apa: 'Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability
Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification
(Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11'
chicago: 'Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability
Proofs of Concurrent Objects with Cooperating Updates.” In Computer Aided Verification,
8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39799-8_11.'
ieee: 'C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs
of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification,
vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.'
ista: 'Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of
Concurrent Objects with Cooperating Updates. In: Computer Aided Verification.
vol. 8044, 174–190.'
mla: Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects
with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer
Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
short: C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer
Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
conference:
end_date: 2013-07-19
location: Saint Petersburg, Russia
name: CAV 2013
start_date: 2013-07-13
date_created: 2018-12-18T13:10:21Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2023-09-05T14:16:07Z
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39799-8_11
ec_funded: 1
file:
- access_level: open_access
checksum: a901cc6b71db08b61c0d4c0cbacc6287
content_type: application/pdf
creator: dernst
date_created: 2018-12-18T13:13:33Z
date_updated: 2020-07-14T12:47:10Z
file_id: '5748'
file_name: 2013_CAV_Dragoi.pdf
file_size: 236480
relation: main_file
file_date_updated: 2020-07-14T12:47:10Z
has_accepted_license: '1'
intvolume: ' 8044'
language:
- iso: eng
oa: 1
oa_version: None
page: 174-190
place: Berlin, Heidelberg
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: Computer Aided Verification
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783642397981'
- '9783642397998'
issn:
- 0302-9743
publication_status: published
publisher: Springer Berlin Heidelberg
pubrep_id: '195'
quality_controlled: '1'
scopus_import: '1'
series_title: CAV
status: public
title: Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8044
year: '2013'
...
---
_id: '6440'
abstract:
- lang: eng
text: In order to guarantee that each method of a data structure updates the logical
state exactly once, al-most all non-blocking implementations employ Compare-And-Swap
(CAS) based synchronization. For FIFO queue implementations this translates into concurrent enqueue or dequeue methods
competing among themselves to update the same variable, the tail or the head,
respectively, leading to high contention and poor scalability. Recent non-blocking
queue implementations try to alleviate high contentionby increasing the number
of contention points, all the while using CAS-based synchronization. Furthermore,
obtaining a wait-free implementation with competition is achieved by additional
synchronization which leads to further degradation of performance.In this paper
we formalize the notion of competitiveness of a synchronizing statement which
can beused as a measure for the scalability of concurrent implementations. We
present a new queue implementation, the Speculative Pairing (SP) queue, which,
as we show, decreases competitiveness by using Fetch-And-Increment (FAI) instead
of CAS. We prove that the SP queue is linearizable and lock-free.We also show
that replacing CAS with FAI leads to wait-freedom for dequeue methods without
an adverse effect on performance. In fact, our experiments suggest that the SP
queue can perform and scale better than the state-of-the-art queue implementations.
alternative_title:
- IST Austria Technical Report
author:
- 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: Hannes
full_name: Payer, Hannes
last_name: Payer
- first_name: Ali
full_name: Sezgin, Ali
id: 4C7638DA-F248-11E8-B48F-1D18A9856A87
last_name: Sezgin
citation:
ama: Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation
to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1
apa: Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition
with cooperation to achieve scalable lock-free FIFO queues . IST Austria.
https://doi.org/10.15479/AT:IST-2013-124-v1-1
chicago: Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition
with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria,
2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.
ieee: T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation
to achieve scalable lock-free FIFO queues . IST Austria, 2013.
ista: Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation
to achieve scalable lock-free FIFO queues , IST Austria, 23p.
mla: Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve
Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
short: T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation
to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
date_created: 2019-05-13T14:13:27Z
date_published: 2013-06-13T00:00:00Z
date_updated: 2020-07-14T23:06:19Z
day: '13'
ddc:
- '000'
- '005'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2013-124-v1-1
file:
- access_level: open_access
checksum: a219ba4eada6cd62befed52262ee15d4
content_type: application/pdf
creator: dernst
date_created: 2019-05-13T14:11:39Z
date_updated: 2020-07-14T12:47:30Z
file_id: '6441'
file_name: 2013_TechRep_Henzinger.pdf
file_size: 549684
relation: main_file
file_date_updated: 2020-07-14T12:47:30Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '23'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '124'
status: public
title: 'Replacing competition with cooperation to achieve scalable lock-free FIFO
queues '
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '10396'
abstract:
- lang: eng
text: Stimfit is a free cross-platform software package for viewing and analyzing
electrophysiological data. It supports most standard file types for cellular neurophysiology
and other biomedical formats. Its analysis algorithms have been used and validated
in several experimental laboratories. Its embedded Python scripting interface
makes Stimfit highly extensible and customizable.
article_number: '000010151520134181'
article_processing_charge: No
article_type: original
author:
- first_name: Alois
full_name: Schlögl, Alois
id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
last_name: Schlögl
orcid: 0000-0002-5621-8100
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
- first_name: C.
full_name: Schmidt-Hieber, C.
last_name: Schmidt-Hieber
- first_name: S. J.
full_name: Guzman, S. J.
last_name: Guzman
citation:
ama: 'Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. Stimfit: A fast visualization
and analysis environment for cellular neurophysiology. Biomedical Engineering
/ Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181'
apa: 'Schlögl, A., Jonas, P. M., Schmidt-Hieber, C., & Guzman, S. J. (2013).
Stimfit: A fast visualization and analysis environment for cellular neurophysiology.
Biomedical Engineering / Biomedizinische Technik. Graz, Austria: De Gruyter.
https://doi.org/10.1515/bmt-2013-4181'
chicago: 'Schlögl, Alois, Peter M Jonas, C. Schmidt-Hieber, and S. J. Guzman. “Stimfit:
A Fast Visualization and Analysis Environment for Cellular Neurophysiology.” Biomedical
Engineering / Biomedizinische Technik. De Gruyter, 2013. https://doi.org/10.1515/bmt-2013-4181.'
ieee: 'A. Schlögl, P. M. Jonas, C. Schmidt-Hieber, and S. J. Guzman, “Stimfit: A
fast visualization and analysis environment for cellular neurophysiology,” Biomedical
Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G. De Gruyter,
2013.'
ista: 'Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. 2013. Stimfit: A fast visualization
and analysis environment for cellular neurophysiology. Biomedical Engineering
/ Biomedizinische Technik. 58(SI-1-Track-G), 000010151520134181.'
mla: 'Schlögl, Alois, et al. “Stimfit: A Fast Visualization and Analysis Environment
for Cellular Neurophysiology.” Biomedical Engineering / Biomedizinische Technik,
vol. 58, no. SI-1-Track-G, 000010151520134181, De Gruyter, 2013, doi:10.1515/bmt-2013-4181.'
short: A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering
/ Biomedizinische Technik 58 (2013).
conference:
end_date: 2013-09-21
location: Graz, Austria
name: 'BMT: Biomedizinische Technik '
start_date: 2013-09-19
date_created: 2021-12-01T14:35:35Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2021-12-02T12:51:12Z
day: '01'
ddc:
- '005'
- '610'
department:
- _id: PeJo
doi: 10.1515/bmt-2013-4181
external_id:
pmid:
- '24042795'
file:
- access_level: open_access
checksum: cdfc5339b530a25d6079f7223f0b1f16
content_type: application/pdf
creator: schloegl
date_created: 2021-12-01T14:38:08Z
date_updated: 2021-12-01T14:38:08Z
file_id: '10397'
file_name: Schloegl_Abstract-BMT2013.pdf
file_size: 149825
relation: main_file
success: 1
file_date_updated: 2021-12-01T14:38:08Z
has_accepted_license: '1'
intvolume: ' 58'
issue: SI-1-Track-G
keyword:
- biomedical engineering
- data analysis
- free software
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
pmid: 1
publication: Biomedical Engineering / Biomedizinische Technik
publication_identifier:
eissn:
- 1862-278X
issn:
- 0013-5585
publication_status: published
publisher: De Gruyter
quality_controlled: '1'
status: public
title: 'Stimfit: A fast visualization and analysis environment for cellular neurophysiology'
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 58
year: '2013'
...
---
_id: '9749'
abstract:
- lang: eng
text: Cooperative behavior, where one individual incurs a cost to help another,
is a wide spread phenomenon. Here we study direct reciprocity in the context of
the alternating Prisoner's Dilemma. We consider all strategies that can be implemented
by one and two-state automata. We calculate the payoff matrix of all pairwise
encounters in the presence of noise. We explore deterministic selection dynamics
with and without mutation. Using different error rates and payoff values, we observe
convergence to a small number of distinct equilibria. Two of them are uncooperative
strict Nash equilibria representing always-defect (ALLD) and Grim. The third equilibrium
is mixed and represents a cooperative alliance of several strategies, dominated
by a strategy which we call Forgiver. Forgiver cooperates whenever the opponent
has cooperated; it defects once when the opponent has defected, but subsequently
Forgiver attempts to re-establish cooperation even if the opponent has defected
again. Forgiver is not an evolutionarily stable strategy, but the alliance, which
it rules, is asymptotically stable. For a wide range of parameter values the most
commonly observed outcome is convergence to the mixed equilibrium, dominated by
Forgiver. Our results show that although forgiving might incur a short-term loss
it can lead to a long-term gain. Forgiveness facilitates stable cooperation in
the presence of exploitation and noise.
article_processing_charge: No
author:
- first_name: Benjamin
full_name: Zagorsky, Benjamin
last_name: Zagorsky
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- 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: Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating
prisoner’s dilemma . 2013. doi:10.1371/journal.pone.0080814.s001
apa: Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver
triumphs in alternating prisoner’s dilemma . Public Library of Science. https://doi.org/10.1371/journal.pone.0080814.s001
chicago: Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin
Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” Public Library
of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.s001.
ieee: B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in
alternating prisoner’s dilemma .” Public Library of Science, 2013.
ista: Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating
prisoner’s dilemma , Public Library of Science, 10.1371/journal.pone.0080814.s001.
mla: Zagorsky, Benjamin, et al. Forgiver Triumphs in Alternating Prisoner’s Dilemma
. Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.s001.
short: B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
date_created: 2021-07-28T15:45:07Z
date_published: 2013-12-12T00:00:00Z
date_updated: 2023-02-23T10:34:39Z
day: '12'
department:
- _id: KrCh
doi: 10.1371/journal.pone.0080814.s001
month: '12'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '2247'
relation: used_in_publication
status: public
status: public
title: 'Forgiver triumphs in alternating prisoner''s dilemma '
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2013'
...
---
_id: '9751'
abstract:
- lang: eng
text: High relatedness among interacting individuals has generally been considered
a precondition for the evolution of altruism. However, kin-selection theory also
predicts the evolution of altruism when relatedness is low, as long as the cost
of the altruistic act is minor compared to its benefit. Here, we demonstrate evidence
for a low-cost altruistic act in bacteria. We investigated Escherichia coli responding
to the attack of an obligately lytic phage by committing suicide in order to prevent
parasite transmission to nearby relatives. We found that bacterial suicide provides
large benefits to survivors at marginal costs to committers. The cost of suicide
was low because infected cells are moribund, rapidly dying upon phage infection,
such that no more opportunity for reproduction remains. As a consequence of its
marginal cost, host suicide was selectively favoured even when relatedness between
committers and survivors approached zero. Altogether, our findings demonstrate
that low-cost suicide can evolve with ease, represents an effective host-defence
strategy, and seems to be widespread among microbes. Moreover, low-cost suicide
might also occur in higher organisms as exemplified by infected social insect
workers leaving the colony to die in isolation.
article_processing_charge: No
author:
- first_name: Dominik
full_name: Refardt, Dominik
last_name: Refardt
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Rolf
full_name: Kümmerli, Rolf
last_name: Kümmerli
citation:
ama: 'Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness
is low: evidence from bacteria committing suicide upon phage infection. 2013.
doi:10.5061/dryad.b1q2n'
apa: 'Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Data from: Altruism
can evolve when relatedness is low: evidence from bacteria committing suicide
upon phage infection. Dryad. https://doi.org/10.5061/dryad.b1q2n'
chicago: 'Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism
Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide
upon Phage Infection.” Dryad, 2013. https://doi.org/10.5061/dryad.b1q2n.'
ieee: 'D. Refardt, T. Bergmiller, and R. Kümmerli, “Data from: Altruism can evolve
when relatedness is low: evidence from bacteria committing suicide upon phage
infection.” Dryad, 2013.'
ista: 'Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve
when relatedness is low: evidence from bacteria committing suicide upon phage
infection, Dryad, 10.5061/dryad.b1q2n.'
mla: 'Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness
Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad,
2013, doi:10.5061/dryad.b1q2n.'
short: D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
date_created: 2021-07-30T08:08:09Z
date_published: 2013-03-21T00:00:00Z
date_updated: 2023-10-18T06:43:22Z
day: '21'
department:
- _id: CaGu
doi: 10.5061/dryad.b1q2n
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.b1q2n
month: '03'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2853'
relation: used_in_publication
status: public
status: public
title: 'Data from: Altruism can evolve when relatedness is low: evidence from bacteria
committing suicide upon phage infection'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2013'
...
---
_id: '9754'
abstract:
- lang: eng
text: Short-read sequencing technologies have in principle made it feasible to draw
detailed inferences about the recent history of any organism. In practice, however,
this remains challenging due to the difficulty of genome assembly in most organisms
and the lack of statistical methods powerful enough to discriminate among recent,
non-equilibrium histories. We address both the assembly and inference challenges.
We develop a bioinformatic pipeline for generating outgroup-rooted alignments
of orthologous sequence blocks from de novo low-coverage short-read data for a
small number of genomes, and show how such sequence blocks can be used to fit
explicit models of population divergence and admixture in a likelihood framework.
To illustrate our approach, we reconstruct the Pleistocene history of an oak-feeding
insect (the oak gallwasp Biorhiza pallida) which, in common with many other taxa,
was restricted during Pleistocene ice ages to a longitudinal series of southern
refugia spanning theWestern Palaearctic. Our analysis of sequence blocks sampled
from a single genome from each of three major glacial refugia reveals support
for an unexpected history dominated by recent admixture. Despite the fact that
80% of the genome is affected by admixture during the last glacial cycle, we are
able to infer the deeper divergence history of these populations. These inferences
are robust to variation in block length, mutation model, and the sampling location
of individual genomes within refugia. This combination of de novo assembly and
numerical likelihood calculation provides a powerful framework for estimating
recent population history that can be applied to any organism without the need
for prior genetic resources.
article_processing_charge: No
author:
- first_name: Jack
full_name: Hearn, Jack
last_name: Hearn
- first_name: Graham
full_name: Stone, Graham
last_name: Stone
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Konrad
full_name: Lohse, Konrad
last_name: Lohse
- first_name: Lynsey
full_name: Bunnefeld, Lynsey
last_name: Bunnefeld
citation:
ama: 'Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. Data from: Likelihood-based
inference of population history from low coverage de novo genome assemblies. 2013.
doi:10.5061/dryad.r3r60'
apa: 'Hearn, J., Stone, G., Barton, N. H., Lohse, K., & Bunnefeld, L. (2013).
Data from: Likelihood-based inference of population history from low coverage
de novo genome assemblies. Dryad. https://doi.org/10.5061/dryad.r3r60'
chicago: 'Hearn, Jack, Graham Stone, Nicholas H Barton, Konrad Lohse, and Lynsey
Bunnefeld. “Data from: Likelihood-Based Inference of Population History from Low
Coverage de Novo Genome Assemblies.” Dryad, 2013. https://doi.org/10.5061/dryad.r3r60.'
ieee: 'J. Hearn, G. Stone, N. H. Barton, K. Lohse, and L. Bunnefeld, “Data from:
Likelihood-based inference of population history from low coverage de novo genome
assemblies.” Dryad, 2013.'
ista: 'Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. 2013. Data from: Likelihood-based
inference of population history from low coverage de novo genome assemblies, Dryad,
10.5061/dryad.r3r60.'
mla: 'Hearn, Jack, et al. Data from: Likelihood-Based Inference of Population
History from Low Coverage de Novo Genome Assemblies. Dryad, 2013, doi:10.5061/dryad.r3r60.'
short: J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
date_created: 2021-07-30T08:31:22Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2023-02-23T10:31:17Z
day: '01'
department:
- _id: NiBa
doi: 10.5061/dryad.r3r60
main_file_link:
- open_access: '1'
url: https://doi.org/10.5061/dryad.r3r60
month: '10'
oa: 1
oa_version: Published Version
publisher: Dryad
related_material:
record:
- id: '2170'
relation: used_in_publication
status: public
status: public
title: 'Data from: Likelihood-based inference of population history from low coverage
de novo genome assemblies'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2013'
...
---
_id: '2443'
abstract:
- lang: eng
text: The mode of action of auxin is based on its non-uniform distribution within
tissues and organs. Despite the wide use of several auxin analogues in research
and agriculture, little is known about the specificity of different auxin-related
transport and signalling processes towards these compounds. Using seedlings of
Arabidopsis thaliana and suspension-cultured cells of Nicotiana tabacum (BY-2),
the physiological activity of several auxin analogues was investigated, together
with their capacity to induce auxin-dependent gene expression, to inhibit endocytosis
and to be transported across the plasma membrane. This study shows that the specificity
criteria for different auxin-related processes vary widely. Notably, the special
behaviour of some synthetic auxin analogues suggests that they might be useful
tools in investigations of the molecular mechanism of auxin action. Thus, due
to their differential stimulatory effects on DR5 expression, indole-3-propionic
(IPA) and 2,4,5-trichlorophenoxy acetic (2,4,5-T) acids can serve in studies of
TRANSPORT INHIBITOR RESPONSE 1/AUXIN SIGNALLING F-BOX (TIR1/AFB)-mediated auxin
signalling, and 5-fluoroindole-3-acetic acid (5-F-IAA) can help to discriminate
between transcriptional and non-transcriptional pathways of auxin signalling.
The results demonstrate that the major determinants for the auxin-like physiological
potential of a particular compound are very complex and involve its chemical and
metabolic stability, its ability to distribute in tissues in a polar manner and
its activity towards auxin signalling machinery.
acknowledgement: The authors thank Dr Christian Luschnig (University of Natural Resources
and Life Sciences (BOKU), Vienna, Austria) for the anti-PIN2 antibody, Professor
Mark Estelle (University of California, San Diego, CA, USA) for tir1-1 mutant seeds
and, last but not least, to Dr David Morris for critical reading of the manuscript.
We also thank Markéta Pařezová and Jana Stýblová for excellent technical assistance.
This work was supported by the Grant Agency of the Czech Republic (P305/11/0797
to E.Z. and 13-40637S to J.F.), the Central European Institute of Technology project
CZ.1.05/1.1.00/02.0068 from the European Regional Development Fund and by a European
Research Council starting independent research grant ERC-2011-StG-20101109-PSDP
(to J.F.).
article_processing_charge: No
article_type: original
author:
- first_name: Sibu
full_name: Simon, Sibu
id: 4542EF9A-F248-11E8-B48F-1D18A9856A87
last_name: Simon
orcid: 0000-0002-1998-6741
- first_name: Martin
full_name: Kubeš, Martin
last_name: Kubeš
- first_name: Pawel
full_name: Baster, Pawel
id: 3028BD74-F248-11E8-B48F-1D18A9856A87
last_name: Baster
- first_name: Stéphanie
full_name: Robert, Stéphanie
last_name: Robert
- first_name: Petre
full_name: Dobrev, Petre
last_name: Dobrev
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Jan
full_name: Petrášek, Jan
last_name: Petrášek
- first_name: Eva
full_name: Zažímalová, Eva
last_name: Zažímalová
citation:
ama: 'Simon S, Kubeš M, Baster P, et al. Defining the selectivity of processes along
the auxin response chain: A study using auxin analogues. New Phytologist.
2013;200(4):1034-1048. doi:10.1111/nph.12437'
apa: 'Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová,
E. (2013). Defining the selectivity of processes along the auxin response chain:
A study using auxin analogues. New Phytologist. Wiley. https://doi.org/10.1111/nph.12437'
chicago: 'Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev,
Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes
along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist.
Wiley, 2013. https://doi.org/10.1111/nph.12437.'
ieee: 'S. Simon et al., “Defining the selectivity of processes along the
auxin response chain: A study using auxin analogues,” New Phytologist,
vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.'
ista: 'Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová
E. 2013. Defining the selectivity of processes along the auxin response chain:
A study using auxin analogues. New Phytologist. 200(4), 1034–1048.'
mla: 'Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin
Response Chain: A Study Using Auxin Analogues.” New Phytologist, vol. 200,
no. 4, Wiley, 2013, pp. 1034–48, doi:10.1111/nph.12437.'
short: S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek,
E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
das_tickbox: '1'
date_created: 2018-12-11T11:57:41Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2026-06-18T07:49:41Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/nph.12437
ec_funded: 1
intvolume: ' 200'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/nph.12437
month: '12'
oa: 1
oa_version: Published Version
page: 1034 - 1048
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: New Phytologist
publication_status: published
publisher: Wiley
publist_id: '4460'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Defining the selectivity of processes along the auxin response chain: A study
using auxin analogues'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 200
year: '2013'
...
---
_id: '2444'
abstract:
- lang: eng
text: 'We consider two core algorithmic problems for probabilistic verification:
the maximal end-component decomposition and the almost-sure reachability set computation
for Markov decision processes (MDPs). For MDPs with treewidth k, we present two
improved static algorithms for both the problems that run in time O(n·k 2.38·2k
) and O(m·logn· k), respectively, where n is the number of states and m is the
number of edges, significantly improving the previous known O(n·k·√n· k) bound
for low treewidth. We also present decremental algorithms for both problems for
MDPs with constant treewidth that run in amortized logarithmic time, which is
a huge improvement over the previously known algorithms that require amortized
linear time.'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Jakub
full_name: Ła̧Cki, Jakub
last_name: Ła̧Cki
citation:
ama: Chatterjee K, Ła̧Cki J. Faster algorithms for Markov decision processes with
low treewidth. 2013;8044:543-558. doi:10.1007/978-3-642-39799-8_36
apa: 'Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision
processes with low treewidth. Presented at the CAV: Computer Aided Verification,
St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_36'
chicago: Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov
Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer,
2013. https://doi.org/10.1007/978-3-642-39799-8_36.
ieee: K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes
with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
ista: Chatterjee K, Ła̧Cki J. 2013. Faster algorithms for Markov decision processes
with low treewidth. 8044, 543–558.
mla: Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision
Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
short: K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
das_tickbox: '1'
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2026-06-18T07:50:03Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-642-39799-8_36
ec_funded: 1
external_id:
arxiv:
- '1304.0084'
intvolume: ' 8044'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1304.0084
month: '07'
oa: 1
oa_version: Preprint
page: 543 - 558
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: Springer
publist_id: '4459'
quality_controlled: '1'
scopus_import: '1'
series_title: Lecture Notes in Computer Science
status: public
title: Faster algorithms for Markov decision processes with low treewidth
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '3321'
author:
- first_name: Novi
full_name: Quadrianto, Novi
last_name: Quadrianto
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Quadrianto N, Lampert C. Kernel based learning. In: Dubitzky W, Wolkenhauer
O, Cho K, Yokota H, eds. Encyclopedia of Systems Biology. Vol 3. Springer;
2013:1069-1069. doi:10.1007/978-1-4419-9863-7_604'
apa: Quadrianto, N., & Lampert, C. (2013). Kernel based learning. In W. Dubitzky,
O. Wolkenhauer, K. Cho, & H. Yokota (Eds.), Encyclopedia of Systems Biology
(Vol. 3, pp. 1069–1069). Springer. https://doi.org/10.1007/978-1-4419-9863-7_604
chicago: Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.” In Encyclopedia
of Systems Biology, edited by Werner Dubitzky, Olaf Wolkenhauer, Kwang Cho,
and Hiroki Yokota, 3:1069–1069. Springer, 2013. https://doi.org/10.1007/978-1-4419-9863-7_604.
ieee: N. Quadrianto and C. Lampert, “Kernel based learning,” in Encyclopedia
of Systems Biology, vol. 3, W. Dubitzky, O. Wolkenhauer, K. Cho, and H. Yokota,
Eds. Springer, 2013, pp. 1069–1069.
ista: 'Quadrianto N, Lampert C. 2013.Kernel based learning. In: Encyclopedia of
Systems Biology. vol. 3, 1069–1069.'
mla: Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.” Encyclopedia
of Systems Biology, edited by Werner Dubitzky et al., vol. 3, Springer, 2013,
pp. 1069–1069, doi:10.1007/978-1-4419-9863-7_604.
short: N. Quadrianto, C. Lampert, in:, W. Dubitzky, O. Wolkenhauer, K. Cho, H. Yokota
(Eds.), Encyclopedia of Systems Biology, Springer, 2013, pp. 1069–1069.
date_created: 2018-12-11T12:02:39Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T07:42:38Z
day: '01'
department:
- _id: ChLa
doi: 10.1007/978-1-4419-9863-7_604
editor:
- first_name: Werner
full_name: Dubitzky, Werner
last_name: Dubitzky
- first_name: Olaf
full_name: Wolkenhauer, Olaf
last_name: Wolkenhauer
- first_name: Kwang
full_name: Cho, Kwang
last_name: Cho
- first_name: Hiroki
full_name: Yokota, Hiroki
last_name: Yokota
intvolume: ' 3'
language:
- iso: eng
month: '01'
oa_version: None
page: 1069 - 1069
publication: Encyclopedia of Systems Biology
publication_status: published
publisher: Springer
publist_id: '3314'
quality_controlled: '1'
status: public
title: Kernel based learning
type: encyclopedia_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2013'
...
---
_id: '450'
abstract:
- lang: eng
text: Understanding the relative importance of heterosis and outbreeding depression
over multiple generations is a key question in evolutionary biology and is essential
for identifying appropriate genetic sources for population and ecosystem restoration.
Here we use 2455 experimental crosses between 12 population pairs of the rare
perennial plant Rutidosis leptorrhynchoides (Asteraceae) to investigate the multi-generational
(F1, F2, F3) fitness outcomes of inter-population hybridization. We detected no
evidence of outbreeding depression, with inter-population hybrids and backcrosses
showing either similar fitness or significant heterosis for fitness components
across the three generations. Variation in heterosis among population pairs was
best explained by characteristics of the foreign source or home population, and
was greatest when the source population was large, with high genetic diversity
and low inbreeding, and the home population was small and inbred. Our results
indicate that the primary consideration for maximizing progeny fitness following
population augmentation or restoration is the use of seed from large, genetically
diverse populations.
article_number: '2058'
author:
- first_name: Melinda
full_name: Pickup, Melinda
id: 2C78037E-F248-11E8-B48F-1D18A9856A87
last_name: Pickup
orcid: 0000-0001-6118-0541
- first_name: David
full_name: Field, David
id: 419049E2-F248-11E8-B48F-1D18A9856A87
last_name: Field
orcid: 0000-0002-4014-8478
- first_name: David
full_name: Rowell, David
last_name: Rowell
- first_name: Andrew
full_name: Young, Andrew
last_name: Young
citation:
ama: Pickup M, Field D, Rowell D, Young A. Source population characteristics affect
heterosis following genetic rescue of fragmented plant populations. Proceedings
of the Royal Society of London Series B Biological Sciences. 2013;280(1750).
doi:10.1098/rspb.2012.2058
apa: Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population
characteristics affect heterosis following genetic rescue of fragmented plant
populations. Proceedings of the Royal Society of London Series B Biological
Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.2058
chicago: Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Source Population
Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant
Populations.” Proceedings of the Royal Society of London Series B Biological
Sciences. Royal Society, The, 2013. https://doi.org/10.1098/rspb.2012.2058.
ieee: M. Pickup, D. Field, D. Rowell, and A. Young, “Source population characteristics
affect heterosis following genetic rescue of fragmented plant populations,” Proceedings
of the Royal Society of London Series B Biological Sciences, vol. 280, no.
1750. Royal Society, The, 2013.
ista: Pickup M, Field D, Rowell D, Young A. 2013. Source population characteristics
affect heterosis following genetic rescue of fragmented plant populations. Proceedings
of the Royal Society of London Series B Biological Sciences. 280(1750), 2058.
mla: Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis
Following Genetic Rescue of Fragmented Plant Populations.” Proceedings of the
Royal Society of London Series B Biological Sciences, vol. 280, no. 1750,
2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.
short: M. Pickup, D. Field, D. Rowell, A. Young, Proceedings of the Royal Society
of London Series B Biological Sciences 280 (2013).
date_created: 2018-12-11T11:46:32Z
date_published: 2013-01-07T00:00:00Z
date_updated: 2021-01-12T07:57:25Z
day: '07'
department:
- _id: NiBa
doi: 10.1098/rspb.2012.2058
external_id:
pmid:
- '23173202'
intvolume: ' 280'
issue: '1750'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3574427/
month: '01'
oa: 1
oa_version: Submitted Version
pmid: 1
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_status: published
publisher: Royal Society, The
publist_id: '7372'
quality_controlled: '1'
status: public
title: Source population characteristics affect heterosis following genetic rescue
of fragmented plant populations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 280
year: '2013'
...
---
_id: '476'
abstract:
- lang: eng
text: 'Maternal exposure to infection occurring mid-gestation produces a three-fold
increase in the risk of schizophrenia in the offspring. The critical initiating
factor appears to be the maternal immune activation (MIA) that follows infection.
This process can be induced in rodents by exposure of pregnant dams to the viral
mimic Poly I:C, which triggers an immune response that results in structural,
functional, behavioral, and electrophysiological phenotypes in the adult offspring
that model those seen in schizophrenia. We used this model to explore the role
of synchronization in brain neural networks, a process thought to be dysfunctional
in schizophrenia and previously associated with positive, negative, and cognitive
symptoms of schizophrenia. Exposure of pregnant dams to Poly I:C on GD15 produced
an impairment in long-range neural synchrony in adult offspring between two regions
implicated in schizophrenia pathology; the hippocampus and the medial prefrontal
cortex (mPFC). This reduction in synchrony was ameliorated by acute doses of the
antipsychotic clozapine. MIA animals have previously been shown to have impaired
pre-pulse inhibition (PPI), a gold-standard measure of schizophrenia-like deficits
in animal models. Our data showed that deficits in synchrony were positively correlated
with the impairments in PPI. Subsequent analysis of LFP activity during the PPI
response also showed that reduced coupling between the mPFC and the hippocampus
following processing of the pre-pulse was associated with reduced PPI. The ability
of the MIA intervention to model neurodevelopmental aspects of schizophrenia pathology
provides a useful platform from which to investigate the ontogeny of aberrant
synchronous processes. Further, the way in which the model expresses translatable
deficits such as aberrant synchrony and reduced PPI will allow researchers to
explore novel intervention strategies targeted to these changes. '
author:
- first_name: Desiree
full_name: Dickerson, Desiree
id: 444EB89E-F248-11E8-B48F-1D18A9856A87
last_name: Dickerson
- first_name: David
full_name: Bilkey, David
last_name: Bilkey
citation:
ama: 'Dickerson D, Bilkey D. Aberrant neural synchrony in the maternal immune activation
model: Using translatable measures to explore targeted interventions. Frontiers
in Behavioral Neuroscience. 2013;7(DEC). doi:10.3389/fnbeh.2013.00217'
apa: 'Dickerson, D., & Bilkey, D. (2013). Aberrant neural synchrony in the maternal
immune activation model: Using translatable measures to explore targeted interventions.
Frontiers in Behavioral Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnbeh.2013.00217'
chicago: 'Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the
Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted
Interventions.” Frontiers in Behavioral Neuroscience. Frontiers Research
Foundation, 2013. https://doi.org/10.3389/fnbeh.2013.00217.'
ieee: 'D. Dickerson and D. Bilkey, “Aberrant neural synchrony in the maternal immune
activation model: Using translatable measures to explore targeted interventions,”
Frontiers in Behavioral Neuroscience, vol. 7, no. DEC. Frontiers Research
Foundation, 2013.'
ista: 'Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune
activation model: Using translatable measures to explore targeted interventions.
Frontiers in Behavioral Neuroscience. 7(DEC).'
mla: 'Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal
Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.”
Frontiers in Behavioral Neuroscience, vol. 7, no. DEC, Frontiers Research
Foundation, 2013, doi:10.3389/fnbeh.2013.00217.'
short: D. Dickerson, D. Bilkey, Frontiers in Behavioral Neuroscience 7 (2013).
date_created: 2018-12-11T11:46:41Z
date_published: 2013-12-27T00:00:00Z
date_updated: 2021-01-12T08:00:53Z
day: '27'
ddc:
- '571'
department:
- _id: JoCs
doi: 10.3389/fnbeh.2013.00217
file:
- access_level: open_access
checksum: cd7183121e56251176100ccac165c95c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:10Z
date_updated: 2020-07-14T12:46:35Z
file_id: '5128'
file_name: IST-2018-953-v1+1_2013_Dickerson_Aberrant_neural.pdf
file_size: 530134
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 7'
issue: DEC
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: Frontiers in Behavioral Neuroscience
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '7346'
pubrep_id: '953'
quality_controlled: '1'
status: public
title: 'Aberrant neural synchrony in the maternal immune activation model: Using translatable
measures to explore targeted interventions'
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: 7
year: '2013'
...
---
_id: '499'
abstract:
- lang: eng
text: Exposure of an isogenic bacterial population to a cidal antibiotic typically
fails to eliminate a small fraction of refractory cells. Historically, fractional
killing has been attributed to infrequently dividing or nondividing "persisters."
Using microfluidic cultures and time-lapse microscopy, we found that Mycobacterium
smegmatis persists by dividing in the presence of the drug isoniazid (INH). Although
persistence in these studies was characterized by stable numbers of cells, this
apparent stability was actually a dynamic state of balanced division and death.
Single cells expressed catalase-peroxidase (KatG), which activates INH, in stochastic
pulses that were negatively correlated with cell survival. These behaviors may
reflect epigenetic effects, because KatG pulsing and death were correlated between
sibling cells. Selection of lineages characterized by infrequent KatG pulsing
could allow nonresponsive adaptation during prolonged drug exposure.
author:
- first_name: Yurichi
full_name: Wakamoto, Yurichi
last_name: Wakamoto
- first_name: Neraaj
full_name: Dhar, Neraaj
last_name: Dhar
- first_name: Remy P
full_name: Chait, Remy P
id: 3464AE84-F248-11E8-B48F-1D18A9856A87
last_name: Chait
orcid: 0000-0003-0876-3187
- first_name: Katrin
full_name: Schneider, Katrin
last_name: Schneider
- first_name: François
full_name: Signorino Gelo, François
last_name: Signorino Gelo
- first_name: Stanislas
full_name: Leibler, Stanislas
last_name: Leibler
- first_name: John
full_name: Mckinney, John
last_name: Mckinney
citation:
ama: Wakamoto Y, Dhar N, Chait RP, et al. Dynamic persistence of antibiotic-stressed
mycobacteria. Science. 2013;339(6115):91-95. doi:10.1126/science.1229858
apa: Wakamoto, Y., Dhar, N., Chait, R. P., Schneider, K., Signorino Gelo, F., Leibler,
S., & Mckinney, J. (2013). Dynamic persistence of antibiotic-stressed mycobacteria.
Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1229858
chicago: Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François
Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of
Antibiotic-Stressed Mycobacteria.” Science. American Association for the
Advancement of Science, 2013. https://doi.org/10.1126/science.1229858.
ieee: Y. Wakamoto et al., “Dynamic persistence of antibiotic-stressed mycobacteria,”
Science, vol. 339, no. 6115. American Association for the Advancement of
Science, pp. 91–95, 2013.
ista: Wakamoto Y, Dhar N, Chait RP, Schneider K, Signorino Gelo F, Leibler S, Mckinney
J. 2013. Dynamic persistence of antibiotic-stressed mycobacteria. Science. 339(6115),
91–95.
mla: Wakamoto, Yurichi, et al. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.”
Science, vol. 339, no. 6115, American Association for the Advancement of
Science, 2013, pp. 91–95, doi:10.1126/science.1229858.
short: Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler,
J. Mckinney, Science 339 (2013) 91–95.
date_created: 2018-12-11T11:46:48Z
date_published: 2013-01-04T00:00:00Z
date_updated: 2021-01-12T08:01:06Z
day: '04'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1126/science.1229858
intvolume: ' 339'
issue: '6115'
language:
- iso: eng
month: '01'
oa_version: None
page: 91 - 95
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7321'
quality_controlled: '1'
scopus_import: 1
status: public
title: Dynamic persistence of antibiotic-stressed mycobacteria
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 339
year: '2013'
...
---
_id: '500'
abstract:
- lang: eng
text: 'Background: Reassortment between the RNA segments encoding haemagglutinin
(HA) and neuraminidase (NA), the major antigenic influenza proteins, produces
viruses with novel HA and NA subtype combinations and has preceded the emergence
of pandemic strains. It has been suggested that productive viral infection requires
a balance in the level of functional activity of HA and NA, arising from their
closely interacting roles in the viral life cycle, and that this functional balance
could be mediated by genetic changes in the HA and NA. Here, we investigate how
the selective pressure varies for H7 avian influenza HA on different NA subtype
backgrounds. Results: By extending Bayesian stochastic mutational mapping methods
to calculate the ratio of the rate of non-synonymous change to the rate of synonymous
change (d N/d S), we found the average d N/d S across the avian influenza H7 HA1
region to be significantly greater on an N2 NA subtype background than on an N1,
N3 or N7 background. Observed differences in evolutionary rates of H7 HA on different
NA subtype backgrounds could not be attributed to underlying differences between
avian host species or virus pathogenicity. Examination of d N/d S values for each
subtype on a site-by-site basis indicated that the elevated d N/d S on the N2
NA background was a result of increased selection, rather than a relaxation of
selective constraint. Conclusions: Our results are consistent with the hypothesis
that reassortment exposes influenza HA to significant changes in selective pressure
through genetic interactions with NA. Such epistatic effects might be explicitly
accounted for in future models of influenza evolution.'
acknowledgement: "This work was supported by the Biotechnology and Biological Sciences
Research Council, the Government of the Republic of Panama, the Interdisciplinary
Centre for Human and Avian Influenza Research (www.ichair-flu.org) funded by the
Scottish Funding Council, and the Institute for Science and Technology Austria.\r\nCC
BY 2.0\r\n"
article_number: '222'
author:
- first_name: Melissa
full_name: Ward, Melissa
last_name: Ward
- first_name: Samantha
full_name: Lycett, Samantha
last_name: Lycett
- first_name: Dorita
full_name: Avila, Dorita
last_name: Avila
- first_name: Jonathan P
full_name: Bollback, Jonathan P
id: 2C6FA9CC-F248-11E8-B48F-1D18A9856A87
last_name: Bollback
orcid: 0000-0002-4624-4612
- first_name: Andrew
full_name: Leigh Brown, Andrew
last_name: Leigh Brown
citation:
ama: Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. Evolutionary interactions
between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary
Biology. 2013;13(1). doi:10.1186/1471-2148-13-222
apa: Ward, M., Lycett, S., Avila, D., Bollback, J. P., & Leigh Brown, A. (2013).
Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza.
BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-13-222
chicago: Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and
Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase
in Avian Influenza.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-222.
ieee: M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary
interactions between haemagglutinin and neuraminidase in avian influenza,” BMC
Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
ista: Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. 2013. Evolutionary
interactions between haemagglutinin and neuraminidase in avian influenza. BMC
Evolutionary Biology. 13(1), 222.
mla: Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and
Neuraminidase in Avian Influenza.” BMC Evolutionary Biology, vol. 13, no.
1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.
short: M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary
Biology 13 (2013).
date_created: 2018-12-11T11:46:49Z
date_published: 2013-10-09T00:00:00Z
date_updated: 2021-01-12T08:01:08Z
day: '09'
ddc:
- '576'
department:
- _id: JoBo
doi: 10.1186/1471-2148-13-222
file:
- access_level: open_access
checksum: 52cf48a7c1794676ae8b0029573a84a9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:59Z
date_updated: 2020-07-14T12:46:36Z
file_id: '4722'
file_name: IST-2018-941-v1+1_2013_Bollback_Evolutionary_interactionspdf.pdf
file_size: 1150052
relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
publication: BMC Evolutionary Biology
publication_status: published
publisher: BioMed Central
publist_id: '7320'
pubrep_id: '941'
quality_controlled: '1'
scopus_import: 1
status: public
title: Evolutionary interactions between haemagglutinin and neuraminidase in avian
influenza
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: 13
year: '2013'
...
---
_id: '501'
abstract:
- lang: eng
text: 'All known species of extant tapirs are allopatric: 1 in southeastern Asia
and 3 in Central and South America. The fossil record for tapirs, however, is
much wider in geographical range, including Europe, Asia, and North and South
America, going back to the late Oligocene, making the present distribution a relict
of the original one. We here describe a new species of living Tapirus from the
Amazon rain forest, the 1st since T. bairdii Gill, 1865, and the 1st new Perissodactyla
in more than 100 years, from both morphological and molecular characters. It is
shorter in stature than T. terrestris (Linnaeus, 1758) and has distinctive skull
morphology, and it is basal to the clade formed by T. terrestris and T. pinchaque
(Roulin, 1829). This highlights the unrecognized biodiversity in western Amazonia,
where the biota faces increasing threats. Local peoples have long recognized our
new species, suggesting a key role for traditional knowledge in understanding
the biodiversity of the region.'
author:
- first_name: Mario
full_name: Cozzuol, Mario
last_name: Cozzuol
- first_name: Camila
full_name: Clozato, Camila
last_name: Clozato
- first_name: Elizete
full_name: Holanda, Elizete
last_name: Holanda
- first_name: Flávio
full_name: Rodrigues, Flávio
last_name: Rodrigues
- first_name: Samuel
full_name: Nienow, Samuel
last_name: Nienow
- first_name: Benoit
full_name: De Thoisy, Benoit
last_name: De Thoisy
- first_name: Rodrigo A
full_name: Fernandes Redondo, Rodrigo A
id: 409D5C96-F248-11E8-B48F-1D18A9856A87
last_name: Fernandes Redondo
orcid: 0000-0002-5837-2793
- first_name: Fabrício
full_name: Santos, Fabrício
last_name: Santos
citation:
ama: Cozzuol M, Clozato C, Holanda E, et al. A new species of tapir from the Amazon.
Journal of Mammalogy. 2013;94(6):1331-1345. doi:10.1644/12-MAMM-A-169.1
apa: Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy,
B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of
Mammalogy. Oxford University Press. https://doi.org/10.1644/12-MAMM-A-169.1
chicago: Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel
Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A
New Species of Tapir from the Amazon.” Journal of Mammalogy. Oxford University
Press, 2013. https://doi.org/10.1644/12-MAMM-A-169.1.
ieee: M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal
of Mammalogy, vol. 94, no. 6. Oxford University Press, pp. 1331–1345, 2013.
ista: Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes
Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of
Mammalogy. 94(6), 1331–1345.
mla: Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.” Journal
of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45,
doi:10.1644/12-MAMM-A-169.1.
short: M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy,
R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.
date_created: 2018-12-11T11:46:49Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2021-01-12T08:01:09Z
day: '01'
ddc:
- '570'
department:
- _id: JoBo
doi: 10.1644/12-MAMM-A-169.1
file:
- access_level: open_access
checksum: 8007815078dccac21ecd1cf73a269dc6
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:59Z
date_updated: 2020-07-14T12:46:36Z
file_id: '4980'
file_name: IST-2018-940-v1+1_2013_Redondo_A_new.pdf
file_size: 1040765
relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: ' 94'
issue: '6'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 1331 - 1345
publication: Journal of Mammalogy
publication_status: published
publisher: Oxford University Press
publist_id: '7319'
pubrep_id: '940'
quality_controlled: '1'
scopus_import: 1
status: public
title: A new species of tapir from the Amazon
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 94
year: '2013'
...
---
_id: '502'
abstract:
- lang: eng
text: 'Blind signatures allow users to obtain signatures on messages hidden from
the signer; moreover, the signer cannot link the resulting message/signature pair
to the signing session. This paper presents blind signature schemes, in which
the number of interactions between the user and the signer is minimal and whose
blind signatures are short. Our schemes are defined over bilinear groups and are
proved secure in the common-reference-string model without random oracles and
under standard assumptions: CDH and the decision-linear assumption. (We also give
variants over asymmetric groups based on similar assumptions.) The blind signatures
are Waters signatures, which consist of 2 group elements. Moreover, we instantiate
partially blind signatures, where the message consists of a part hidden from the
signer and a commonly known public part, and schemes achieving perfect blindness.
We propose new variants of blind signatures, such as signer-friendly partially
blind signatures, where the public part can be chosen by the signer without prior
agreement, 3-party blind signatures, as well as blind signatures on multiple aggregated
messages provided by independent sources. We also extend Waters signatures to
non-binary alphabets by proving a new result on the underlying hash function. '
author:
- first_name: Olivier
full_name: Blazy, Olivier
last_name: Blazy
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
- first_name: David
full_name: Pointcheval, David
last_name: Pointcheval
- first_name: Damien
full_name: Vergnaud, Damien
last_name: Vergnaud
citation:
ama: Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. Short blind signatures. Journal
of Computer Security. 2013;21(5):627-661. doi:10.3233/JCS-130477
apa: Blazy, O., Fuchsbauer, G., Pointcheval, D., & Vergnaud, D. (2013). Short
blind signatures. Journal of Computer Security. IOS Press. https://doi.org/10.3233/JCS-130477
chicago: Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud.
“Short Blind Signatures.” Journal of Computer Security. IOS Press, 2013.
https://doi.org/10.3233/JCS-130477.
ieee: O. Blazy, G. Fuchsbauer, D. Pointcheval, and D. Vergnaud, “Short blind signatures,”
Journal of Computer Security, vol. 21, no. 5. IOS Press, pp. 627–661, 2013.
ista: Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. 2013. Short blind signatures.
Journal of Computer Security. 21(5), 627–661.
mla: Blazy, Olivier, et al. “Short Blind Signatures.” Journal of Computer Security,
vol. 21, no. 5, IOS Press, 2013, pp. 627–61, doi:10.3233/JCS-130477.
short: O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer
Security 21 (2013) 627–661.
date_created: 2018-12-11T11:46:50Z
date_published: 2013-11-22T00:00:00Z
date_updated: 2021-01-12T08:01:09Z
day: '22'
department:
- _id: KrPi
doi: 10.3233/JCS-130477
intvolume: ' 21'
issue: '5'
language:
- iso: eng
month: '11'
oa_version: None
page: 627 - 661
publication: Journal of Computer Security
publication_status: published
publisher: IOS Press
publist_id: '7318'
quality_controlled: '1'
scopus_import: 1
status: public
title: Short blind signatures
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2013'
...
---
_id: '505'
abstract:
- lang: eng
text: Alkyd resins are polyesters containing unsaturated fatty acids that are used
as binding agents in paints and coatings. Chemical drying of these polyesters
is based on heavy metal catalyzed cross-linking of the unsaturated fatty acid
moieties. Among the heavy-metal catalysts, cobalt complexes are the most effective,
yet they have been proven to be carcinogenic. Therefore, strategies to replace
the cobalt-based catalyst by environmentally friendlier and less toxic alternatives
are under development. Here, we demonstrate for the first time that a laccase-mediator
system can effectively replace the heavy-metal catalyst and cross-link alkyd resins.
Interestingly, the biocatalytic reaction does not only work in aqueous media,
but also in a solid film, where enzyme diffusion is limited. Within the catalytic
cycle, the mediator oxidizes the alkyd resin and is regenerated by the laccase,
which is uniformly distributed within the drying film as evidenced by confocal
laser scanning microscopy. During gradual build-up of molecular weight, there
is a concomitant decrease of the oxygen content in the film. A new optical sensor
to follow oxygen consumption during the cross-linking reaction was developed and
validated with state of the art techniques. A remarkable feature is the low sample
amount required, which allows faster screening of new catalysts.
acknowledgement: "This study was performed within the Austrian Centre of Indus-\r\ntrial
Biotechnology ACIB and the COST Action 868. This work\r\nhas been supported by the
Federal Ministry of Economy,\r\nFamily and Youth (BMWFJ), the Federal Ministry of
Tra\r\nffi\r\nc,\r\nInnovation and Technology (bmvit), the Styrian Business\r\nPromotion
Agency SFG, the Standortagentur Tirol and ZIT\r\n–\r\nTechnology Agency of the
\ City of Vienna through the\r\nCOMET-Funding Program managed by the Austrian
Research\r\nPromotion Agency FFG. Dr Massimiliano Cardinale (Institute of\r\nEnvironmental
Biotechnology, TU Graz) is gratefully acknowl-\r\nedged for technical support with
the CLSM measurements."
author:
- first_name: Katrin
full_name: Greimel, Katrin
last_name: Greimel
- first_name: Veronika
full_name: Perz, Veronika
last_name: Perz
- first_name: Klaus
full_name: Koren, Klaus
id: 382FBD6A-F248-11E8-B48F-1D18A9856A87
last_name: Koren
- first_name: Roland
full_name: Feola, Roland
last_name: Feola
- first_name: Armin
full_name: Temel, Armin
last_name: Temel
- first_name: Christian
full_name: Sohar, Christian
last_name: Sohar
- first_name: Enrique
full_name: Herrero Acero, Enrique
last_name: Herrero Acero
- first_name: Ingo
full_name: Klimant, Ingo
last_name: Klimant
- first_name: Georg
full_name: Guebitz, Georg
last_name: Guebitz
citation:
ama: 'Greimel K, Perz V, Koren K, et al. Banning toxic heavy-metal catalysts from
paints: Enzymatic cross-linking of alkyd resins. Green Chemistry. 2013;15(2):381-388.
doi:10.1039/c2gc36666e'
apa: 'Greimel, K., Perz, V., Koren, K., Feola, R., Temel, A., Sohar, C., … Guebitz,
G. (2013). Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking
of alkyd resins. Green Chemistry. Royal Society of Chemistry. https://doi.org/10.1039/c2gc36666e'
chicago: 'Greimel, Katrin, Veronika Perz, Klaus Koren, Roland Feola, Armin Temel,
Christian Sohar, Enrique Herrero Acero, Ingo Klimant, and Georg Guebitz. “Banning
Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.”
Green Chemistry. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c2gc36666e.'
ieee: 'K. Greimel et al., “Banning toxic heavy-metal catalysts from paints:
Enzymatic cross-linking of alkyd resins,” Green Chemistry, vol. 15, no.
2. Royal Society of Chemistry, pp. 381–388, 2013.'
ista: 'Greimel K, Perz V, Koren K, Feola R, Temel A, Sohar C, Herrero Acero E, Klimant
I, Guebitz G. 2013. Banning toxic heavy-metal catalysts from paints: Enzymatic
cross-linking of alkyd resins. Green Chemistry. 15(2), 381–388.'
mla: 'Greimel, Katrin, et al. “Banning Toxic Heavy-Metal Catalysts from Paints:
Enzymatic Cross-Linking of Alkyd Resins.” Green Chemistry, vol. 15, no.
2, Royal Society of Chemistry, 2013, pp. 381–88, doi:10.1039/c2gc36666e.'
short: K. Greimel, V. Perz, K. Koren, R. Feola, A. Temel, C. Sohar, E. Herrero Acero,
I. Klimant, G. Guebitz, Green Chemistry 15 (2013) 381–388.
date_created: 2018-12-11T11:46:51Z
date_published: 2013-02-01T00:00:00Z
date_updated: 2021-01-12T08:01:11Z
day: '01'
department:
- _id: HaJa
doi: 10.1039/c2gc36666e
intvolume: ' 15'
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 381 - 388
publication: Green Chemistry
publication_status: published
publisher: Royal Society of Chemistry
publist_id: '7313'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of
alkyd resins'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2013'
...