---
_id: '2024'
abstract:
- lang: eng
text: 'The yeast Rab5 homologue, Vps21p, is known to be involved both in the vacuolar
protein sorting (VPS) pathway from the trans-Golgi network to the vacuole, and
in the endocytic pathway from the plasma membrane to the vacuole. However, the
intracellular location at which these two pathways converge remains unclear. In
addition, the endocytic pathway is not completely blocked in yeast cells lacking
all Rab5 genes, suggesting the existence of an unidentified route that bypasses
the Rab5-dependent endocytic pathway. Here we show that convergence of the endocytic
and VPS pathways occurs upstream of the requirement for Vps21p in these pathways.
We also identify a previously unidentified endocytic pathway mediated by the AP-3
complex. Importantly, the AP-3-mediated pathway appears mostly intact in Rab5-disrupted
cells, and thus works as an alternative route to the vacuole/lysosome. We propose
that the endocytic traffic branches into two routes to reach the vacuole: a Rab5-dependent
VPS pathway and a Rab5-independent AP-3-mediated pathway.'
article_number: '3498'
author:
- first_name: Junko
full_name: Toshima, Junko
last_name: Toshima
- first_name: Show
full_name: Nishinoaki, Show
last_name: Nishinoaki
- first_name: Yoshifumi
full_name: Sato, Yoshifumi
last_name: Sato
- first_name: Wataru
full_name: Yamamoto, Wataru
last_name: Yamamoto
- first_name: Daiki
full_name: Furukawa, Daiki
last_name: Furukawa
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
- first_name: Akira
full_name: Sawaguchi, Akira
last_name: Sawaguchi
- first_name: Jiro
full_name: Toshima, Jiro
last_name: Toshima
citation:
ama: Toshima J, Nishinoaki S, Sato Y, et al. Bifurcation of the endocytic pathway
into Rab5-dependent and -independent transport to the vacuole. Nature Communications.
2014;5. doi:10.1038/ncomms4498
apa: Toshima, J., Nishinoaki, S., Sato, Y., Yamamoto, W., Furukawa, D., Siekhaus,
D. E., … Toshima, J. (2014). Bifurcation of the endocytic pathway into Rab5-dependent
and -independent transport to the vacuole. Nature Communications. Nature
Publishing Group. https://doi.org/10.1038/ncomms4498
chicago: Toshima, Junko, Show Nishinoaki, Yoshifumi Sato, Wataru Yamamoto, Daiki
Furukawa, Daria E Siekhaus, Akira Sawaguchi, and Jiro Toshima. “Bifurcation of
the Endocytic Pathway into Rab5-Dependent and -Independent Transport to the Vacuole.”
Nature Communications. Nature Publishing Group, 2014. https://doi.org/10.1038/ncomms4498.
ieee: J. Toshima et al., “Bifurcation of the endocytic pathway into Rab5-dependent
and -independent transport to the vacuole,” Nature Communications, vol.
5. Nature Publishing Group, 2014.
ista: Toshima J, Nishinoaki S, Sato Y, Yamamoto W, Furukawa D, Siekhaus DE, Sawaguchi
A, Toshima J. 2014. Bifurcation of the endocytic pathway into Rab5-dependent and
-independent transport to the vacuole. Nature Communications. 5, 3498.
mla: Toshima, Junko, et al. “Bifurcation of the Endocytic Pathway into Rab5-Dependent
and -Independent Transport to the Vacuole.” Nature Communications, vol.
5, 3498, Nature Publishing Group, 2014, doi:10.1038/ncomms4498.
short: J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus,
A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
date_created: 2018-12-11T11:55:16Z
date_published: 2014-03-25T00:00:00Z
date_updated: 2021-01-12T06:54:48Z
day: '25'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.1038/ncomms4498
file:
- access_level: open_access
checksum: 614fb6579c86d1f95bdd95eeb9ab01b0
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:11Z
date_updated: 2020-07-14T12:45:25Z
file_id: '4864'
file_name: IST-2016-616-v1+1_DaSi_Bifurcation_Postprint.pdf
file_size: 4803515
relation: main_file
file_date_updated: 2020-07-14T12:45:25Z
has_accepted_license: '1'
intvolume: ' 5'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
publist_id: '5048'
pubrep_id: '616'
quality_controlled: '1'
scopus_import: 1
status: public
title: Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport
to the vacuole
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2014'
...
---
_id: '2026'
abstract:
- lang: eng
text: 'We present a tool for translating LTL formulae into deterministic ω-automata.
It is the first tool that covers the whole LTL that does not use Safra’s determinization
or any of its variants. This leads to smaller automata. There are several outputs
of the tool: firstly, deterministic Rabin automata, which are the standard input
for probabilistic model checking, e.g. for the probabilistic model-checker PRISM;
secondly, deterministic generalized Rabin automata, which can also be used for
probabilistic model checking and are sometimes by orders of magnitude smaller.
We also link our tool to PRISM and show that this leads to a significant speed-up
of probabilistic LTL model checking, especially with the generalized Rabin automata.'
acknowledgement: "Sponsor: P202/12/G061; GACR; Czech Science Foundation\r\n\r\n"
alternative_title:
- LNCS
author:
- first_name: Zuzana
full_name: Komárková, Zuzana
last_name: Komárková
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
citation:
ama: 'Komárková Z, Kretinsky J. Rabinizer 3: Safraless translation of ltl to small
deterministic automata. In: Cassez F, Raskin J-F, eds. Lecture Notes in Computer
Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics). Vol 8837. Springer; 2014:235-241. doi:10.1007/978-3-319-11936-6_17'
apa: 'Komárková, Z., & Kretinsky, J. (2014). Rabinizer 3: Safraless translation
of ltl to small deterministic automata. In F. Cassez & J.-F. Raskin (Eds.),
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 235–241).
Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_17'
chicago: 'Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation
of Ltl to Small Deterministic Automata.” In Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, 8837:235–41.
Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_17.'
ieee: 'Z. Komárková and J. Kretinsky, “Rabinizer 3: Safraless translation of ltl
to small deterministic automata,” in Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Sydney, Australia, 2014, vol. 8837, pp. 235–241.'
ista: 'Komárková Z, Kretinsky J. 2014. Rabinizer 3: Safraless translation of ltl
to small deterministic automata. Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 235–241.'
mla: 'Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation
of Ltl to Small Deterministic Automata.” Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol.
8837, Springer, 2014, pp. 235–41, doi:10.1007/978-3-319-11936-6_17.'
short: Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture
Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
conference:
end_date: 2014-11-07
location: Sydney, Australia
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2014-11-03
date_created: 2018-12-11T11:55:17Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:54:49Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-319-11936-6_17
ec_funded: 1
editor:
- first_name: Franck
full_name: Cassez, Franck
last_name: Cassez
- first_name: Jean-François
full_name: Raskin, Jean-François
last_name: Raskin
intvolume: ' 8837'
language:
- iso: eng
month: '01'
oa_version: None
page: 235 - 241
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_status: published
publisher: Springer
publist_id: '5045'
quality_controlled: '1'
status: public
title: 'Rabinizer 3: Safraless translation of ltl to small deterministic automata'
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8837
year: '2014'
...
---
_id: '2027'
abstract:
- lang: eng
text: We present a general framework for applying machine-learning algorithms to
the verification of Markov decision processes (MDPs). The primary goal of these
techniques is to improve performance by avoiding an exhaustive exploration of
the state space. Our framework focuses on probabilistic reachability, which is
a core property for verification, and is illustrated through two distinct instantiations.
The first assumes that full knowledge of the MDP is available, and performs a
heuristic-driven partial exploration of the model, yielding precise lower and
upper bounds on the required probability. The second tackles the case where we
may only sample the MDP, and yields probabilistic guarantees, again in terms of
both the lower and upper bounds, which provides efficient stopping criteria for
the approximation. The latter is the first extension of statistical model checking
for unbounded properties inMDPs. In contrast with other related techniques, our
approach is not restricted to time-bounded (finite-horizon) or discounted properties,
nor does it assume any particular properties of the MDP. We also show how our
methods extend to LTL objectives. We present experimental results showing the
performance of our framework on several examples.
acknowledgement: This research was funded in part by the European Research Council
(ERC) under grant agreement 246967 (VERIWARE), by the EU FP7 project HIERATIC, by
the Czech Science Foundation grant No P202/12/P612, by EPSRC project EP/K038575/1.
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: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Marta
full_name: Kwiatkowska, Marta
last_name: Kwiatkowska
- first_name: David
full_name: Parker, David
last_name: Parker
- first_name: Mateusz
full_name: Ujma, Mateusz
last_name: Ujma
citation:
ama: 'Brázdil T, Chatterjee K, Chmelik M, et al. Verification of markov decision
processes using learning algorithms. In: Cassez F, Raskin J-F, eds. Lecture
Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics). Vol 8837. Society of Industrial and
Applied Mathematics; 2014:98-114. doi:10.1007/978-3-319-11936-6_8'
apa: 'Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska,
M., … Ujma, M. (2014). Verification of markov decision processes using learning
algorithms. In F. Cassez & J.-F. Raskin (Eds.), Lecture Notes in Computer
Science (including subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics) (Vol. 8837, pp. 98–114). Sydney, Australia: Society
of Industrial and Applied Mathematics. https://doi.org/10.1007/978-3-319-11936-6_8'
chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt,
Jan Kretinsky, Marta Kwiatkowska, David Parker, and Mateusz Ujma. “Verification
of Markov Decision Processes Using Learning Algorithms.” In Lecture Notes
in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François
Raskin, 8837:98–114. Society of Industrial and Applied Mathematics, 2014. https://doi.org/10.1007/978-3-319-11936-6_8.
ieee: T. Brázdil et al., “Verification of markov decision processes using
learning algorithms,” in Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Sydney, Australia, 2014, vol. 8837, pp. 98–114.
ista: 'Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M,
Parker D, Ujma M. 2014. Verification of markov decision processes using learning
algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics). ALENEX: Algorithm
Engineering and Experiments, LNCS, vol. 8837, 98–114.'
mla: Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning
Algorithms.” Lecture Notes in Computer Science (Including Subseries Lecture
Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited
by Franck Cassez and Jean-François Raskin, vol. 8837, Society of Industrial and
Applied Mathematics, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
short: T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska,
D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer
Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014,
pp. 98–114.
conference:
end_date: 2014-11-07
location: Sydney, Australia
name: 'ALENEX: Algorithm Engineering and Experiments'
start_date: 2014-11-03
date_created: 2018-12-11T11:55:17Z
date_published: 2014-11-01T00:00:00Z
date_updated: 2021-01-12T06:54:49Z
day: '01'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-11936-6_8
ec_funded: 1
editor:
- first_name: Franck
full_name: Cassez, Franck
last_name: Cassez
- first_name: Jean-François
full_name: Raskin, Jean-François
last_name: Raskin
intvolume: ' 8837'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1402.2967
month: '11'
oa: 1
oa_version: Submitted Version
page: 98 - 114
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 26241A12-B435-11E9-9278-68D0E5697425
grant_number: '24696'
name: LIGHT-REGULATED LIGAND TRAPS FOR SPATIO-TEMPORAL INHIBITION OF CELL SIGNALING
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: ' Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)'
publication_status: published
publisher: Society of Industrial and Applied Mathematics
publist_id: '5046'
quality_controlled: '1'
status: public
title: Verification of markov decision processes using learning algorithms
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8837
year: '2014'
...
---
_id: '2028'
abstract:
- lang: eng
text: 'Understanding the dynamics of noisy neurons remains an important challenge
in neuroscience. Here, we describe a simple probabilistic model that accurately
describes the firing behavior in a large class (type II) of neurons. To demonstrate
the usefulness of this model, we show how it accurately predicts the interspike
interval (ISI) distributions, bursting patterns and mean firing rates found by:
(1) simulations of the classic Hodgkin-Huxley model with channel noise, (2) experimental
data from squid giant axon with a noisy input current and (3) experimental data
on noisy firing from a neuron within the suprachiasmatic nucleus (SCN). This simple
model has 6 parameters, however, in some cases, two of these parameters are coupled
and only 5 parameters account for much of the known behavior. From these parameters,
many properties of spiking can be found through simple calculation. Thus, we show
how the complex effects of noise can be understood through a simple and general
probabilistic model.'
acknowledgement: 'This work is supported by AFOSR grant FA 9550-11-1-0165, program
grant RPG 24/2012 from the Human Frontiers of Science (DBF) and travel support from
the European Commission Marie Curie International Reintegration Grant PIRG04-GA-2008-239429
(KB). DP was supported by NIHR01 GM104987 and the Wyss Institute of Biologically
Inspired Engineering. '
article_processing_charge: No
author:
- first_name: Katarina
full_name: Bodova, Katarina
id: 2BA24EA0-F248-11E8-B48F-1D18A9856A87
last_name: Bodova
orcid: 0000-0002-7214-0171
- first_name: David
full_name: Paydarfar, David
last_name: Paydarfar
- first_name: Daniel
full_name: Forger, Daniel
last_name: Forger
citation:
ama: Bodova K, Paydarfar D, Forger D. Characterizing spiking in noisy type II neurons.
Journal of Theoretical Biology. 2014;365:40-54. doi:10.1016/j.jtbi.2014.09.041
apa: Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking
in noisy type II neurons. Journal of Theoretical Biology. Academic Press.
https://doi.org/10.1016/j.jtbi.2014.09.041
chicago: Bodova, Katarina, David Paydarfar, and Daniel Forger. “Characterizing Spiking
in Noisy Type II Neurons.” Journal of Theoretical Biology. Academic Press,
2014. https://doi.org/10.1016/j.jtbi.2014.09.041.
ieee: K. Bodova, D. Paydarfar, and D. Forger, “Characterizing spiking in noisy type
II neurons,” Journal of Theoretical Biology, vol. 365. Academic Press,
pp. 40–54, 2014.
ista: Bodova K, Paydarfar D, Forger D. 2014. Characterizing spiking in noisy type
II neurons. Journal of Theoretical Biology. 365, 40–54.
mla: Bodova, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.”
Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54,
doi:10.1016/j.jtbi.2014.09.041.
short: K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014)
40–54.
date_created: 2018-12-11T11:55:18Z
date_published: 2014-10-12T00:00:00Z
date_updated: 2022-08-25T14:00:47Z
day: '12'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1016/j.jtbi.2014.09.041
file:
- access_level: open_access
checksum: a9dbae18d3233b3dab6944fd3f2cd49e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:58Z
date_updated: 2020-07-14T12:45:25Z
file_id: '5316'
file_name: IST-2016-444-v1+1_1-s2.0-S0022519314005888-main.pdf
file_size: 2679222
relation: main_file
file_date_updated: 2020-07-14T12:45:25Z
has_accepted_license: '1'
intvolume: ' 365'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 40 - 54
publication: ' Journal of Theoretical Biology'
publication_status: published
publisher: Academic Press
publist_id: '5043'
pubrep_id: '444'
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1016/j.jtbi.2015.03.013
scopus_import: '1'
status: public
title: Characterizing spiking in noisy type II neurons
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 365
year: '2014'
...
---
_id: '2029'
abstract:
- lang: eng
text: Spin-wave theory is a key ingredient in our comprehension of quantum spin
systems, and is used successfully for understanding a wide range of magnetic phenomena,
including magnon condensation and stability of patterns in dipolar systems. Nevertheless,
several decades of research failed to establish the validity of spin-wave theory
rigorously, even for the simplest models of quantum spins. A rigorous justification
of the method for the three-dimensional quantum Heisenberg ferromagnet at low
temperatures is presented here. We derive sharp bounds on its free energy by combining
a bosonic formulation of the model introduced by Holstein and Primakoff with probabilistic
estimates and operator inequalities.
acknowledgement: 239694; ERC; European Research Council
article_number: '20003'
author:
- first_name: Michele
full_name: Correggi, Michele
last_name: Correggi
- first_name: Alessandro
full_name: Giuliani, Alessandro
last_name: Giuliani
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Correggi M, Giuliani A, Seiringer R. Validity of spin-wave theory for the quantum
Heisenberg model. EPL. 2014;108(2). doi:10.1209/0295-5075/108/20003
apa: Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave
theory for the quantum Heisenberg model. EPL. IOP Publishing Ltd. https://doi.org/10.1209/0295-5075/108/20003
chicago: Correggi, Michele, Alessandro Giuliani, and Robert Seiringer. “Validity
of Spin-Wave Theory for the Quantum Heisenberg Model.” EPL. IOP Publishing
Ltd., 2014. https://doi.org/10.1209/0295-5075/108/20003.
ieee: M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory
for the quantum Heisenberg model,” EPL, vol. 108, no. 2. IOP Publishing
Ltd., 2014.
ista: Correggi M, Giuliani A, Seiringer R. 2014. Validity of spin-wave theory for
the quantum Heisenberg model. EPL. 108(2), 20003.
mla: Correggi, Michele, et al. “Validity of Spin-Wave Theory for the Quantum Heisenberg
Model.” EPL, vol. 108, no. 2, 20003, IOP Publishing Ltd., 2014, doi:10.1209/0295-5075/108/20003.
short: M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
date_created: 2018-12-11T11:55:18Z
date_published: 2014-10-13T00:00:00Z
date_updated: 2021-01-12T06:54:50Z
day: '13'
department:
- _id: RoSe
doi: 10.1209/0295-5075/108/20003
intvolume: ' 108'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1404.4717
month: '10'
oa: 1
oa_version: Submitted Version
publication: EPL
publication_status: published
publisher: IOP Publishing Ltd.
publist_id: '5044'
quality_controlled: '1'
scopus_import: 1
status: public
title: Validity of spin-wave theory for the quantum Heisenberg model
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 108
year: '2014'
...
---
_id: '2031'
abstract:
- lang: eng
text: A puzzling property of synaptic transmission, originally established at the
neuromuscular junction, is that the time course of transmitter release is independent
of the extracellular Ca2+ concentration ([Ca2+]o), whereas the rate of release
is highly [Ca2+]o-dependent. Here, we examine the time course of release at inhibitory
basket cell-Purkinje cell synapses and show that it is independent of [Ca2+]o.
Modeling of Ca2+-dependent transmitter release suggests that the invariant time
course of release critically depends on tight coupling between Ca2+ channels and
release sensors. Experiments with exogenous Ca2+ chelators reveal that channel-sensor
coupling at basket cell-Purkinje cell synapses is very tight, with a mean distance
of 10–20 nm. Thus, tight channel-sensor coupling provides a mechanistic explanation
for the apparent [Ca2+]o independence of the time course of release.
author:
- first_name: Itaru
full_name: Arai, Itaru
id: 32A73F6C-F248-11E8-B48F-1D18A9856A87
last_name: Arai
- 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: Arai itaru, Jonas PM. Nanodomain coupling explains Ca^2+ independence of transmitter
release time course at a fast central synapse. eLife. 2014;3. doi:10.7554/eLife.04057
apa: Arai, itaru, & Jonas, P. M. (2014). Nanodomain coupling explains Ca^2+
independence of transmitter release time course at a fast central synapse. ELife.
eLife Sciences Publications. https://doi.org/10.7554/eLife.04057
chicago: Arai, itaru, and Peter M Jonas. “Nanodomain Coupling Explains Ca^2+ Independence
of Transmitter Release Time Course at a Fast Central Synapse.” ELife. eLife
Sciences Publications, 2014. https://doi.org/10.7554/eLife.04057.
ieee: itaru Arai and P. M. Jonas, “Nanodomain coupling explains Ca^2+ independence
of transmitter release time course at a fast central synapse,” eLife, vol.
3. eLife Sciences Publications, 2014.
ista: Arai itaru, Jonas PM. 2014. Nanodomain coupling explains Ca^2+ independence
of transmitter release time course at a fast central synapse. eLife. 3.
mla: Arai, itaru, and Peter M. Jonas. “Nanodomain Coupling Explains Ca^2+ Independence
of Transmitter Release Time Course at a Fast Central Synapse.” ELife, vol.
3, eLife Sciences Publications, 2014, doi:10.7554/eLife.04057.
short: itaru Arai, P.M. Jonas, ELife 3 (2014).
date_created: 2018-12-11T11:55:19Z
date_published: 2014-12-09T00:00:00Z
date_updated: 2021-01-12T06:54:51Z
day: '09'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.7554/eLife.04057
ec_funded: 1
file:
- access_level: open_access
checksum: c240f915450d4ebe8f95043a2a8c7b1a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:41Z
date_updated: 2020-07-14T12:45:26Z
file_id: '5094'
file_name: IST-2016-421-v1+1_e04057.full.pdf
file_size: 2239563
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 3'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Submitted Version
project:
- _id: 25C26B1E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P24909-B24
name: Mechanisms of transmitter release at GABAergic synapses
- _id: 25C0F108-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '268548'
name: Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '5041'
pubrep_id: '421'
quality_controlled: '1'
scopus_import: 1
status: public
title: Nanodomain coupling explains Ca^2+ independence of transmitter release time
course at a fast central synapse
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2014'
...
---
_id: '2032'
abstract:
- lang: eng
text: As light-based control of fundamental signaling pathways is becoming a reality,
the field of optogenetics is rapidly moving beyond neuroscience. We have recently
developed receptor tyrosine kinases that are activated by light and control cell
proliferation, epithelial–mesenchymal transition, and angiogenic sprouting—cell
behaviors central to cancer progression.
article_number: e964045
author:
- first_name: Álvaro
full_name: Inglés Prieto, Álvaro
id: 2A9DB292-F248-11E8-B48F-1D18A9856A87
last_name: Inglés Prieto
orcid: 0000-0002-5409-8571
- first_name: Eva
full_name: Gschaider-Reichhart, Eva
id: 3FEE232A-F248-11E8-B48F-1D18A9856A87
last_name: Gschaider-Reichhart
orcid: 0000-0002-7218-7738
- first_name: Karin
full_name: Schelch, Karin
last_name: Schelch
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- first_name: Michael
full_name: Grusch, Michael
last_name: Grusch
citation:
ama: 'Inglés Prieto Á, Gschaider-Reichhart E, Schelch K, Janovjak HL, Grusch M.
The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology.
2014;1(4). doi:10.4161/23723548.2014.964045'
apa: 'Inglés Prieto, Á., Gschaider-Reichhart, E., Schelch, K., Janovjak, H. L.,
& Grusch, M. (2014). The optogenetic promise for oncology: Episode I. Molecular
and Cellular Oncology. Taylor & Francis. https://doi.org/10.4161/23723548.2014.964045'
chicago: 'Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Karin Schelch, Harald
L Janovjak, and Michael Grusch. “The Optogenetic Promise for Oncology: Episode
I.” Molecular and Cellular Oncology. Taylor & Francis, 2014. https://doi.org/10.4161/23723548.2014.964045.'
ieee: 'Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H. L. Janovjak, and
M. Grusch, “The optogenetic promise for oncology: Episode I,” Molecular and
Cellular Oncology, vol. 1, no. 4. Taylor & Francis, 2014.'
ista: 'Inglés Prieto Á, Gschaider-Reichhart E, Schelch K, Janovjak HL, Grusch M.
2014. The optogenetic promise for oncology: Episode I. Molecular and Cellular
Oncology. 1(4), e964045.'
mla: 'Inglés Prieto, Álvaro, et al. “The Optogenetic Promise for Oncology: Episode
I.” Molecular and Cellular Oncology, vol. 1, no. 4, e964045, Taylor &
Francis, 2014, doi:10.4161/23723548.2014.964045.'
short: Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch,
Molecular and Cellular Oncology 1 (2014).
date_created: 2018-12-11T11:55:19Z
date_published: 2014-12-31T00:00:00Z
date_updated: 2021-01-12T06:54:51Z
day: '31'
ddc:
- '570'
department:
- _id: HaJa
doi: 10.4161/23723548.2014.964045
file:
- access_level: open_access
checksum: 44e17ad40577ab46eb602e88a8b0b8fd
content_type: application/pdf
creator: kschuh
date_created: 2019-05-16T13:39:11Z
date_updated: 2020-07-14T12:45:26Z
file_id: '6464'
file_name: 2014_Taylor_Alvaro.pdf
file_size: 1765933
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 1'
issue: '4'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: Molecular and Cellular Oncology
publication_status: published
publisher: Taylor & Francis
publist_id: '5040'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'The optogenetic promise for oncology: Episode I'
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2014'
...
---
_id: '2033'
abstract:
- lang: eng
text: 'The learning with privileged information setting has recently attracted a
lot of attention within the machine learning community, as it allows the integration
of additional knowledge into the training process of a classifier, even when this
comes in the form of a data modality that is not available at test time. Here,
we show that privileged information can naturally be treated as noise in the latent
function of a Gaussian process classifier (GPC). That is, in contrast to the standard
GPC setting, the latent function is not just a nuisance but a feature: it becomes
a natural measure of confidence about the training data by modulating the slope
of the GPC probit likelihood function. Extensive experiments on public datasets
show that the proposed GPC method using privileged noise, called GPC+, improves
over a standard GPC without privileged knowledge, and also over the current state-of-the-art
SVM-based method, SVM+. Moreover, we show that advanced neural networks and deep
learning methods can be compressed as privileged information.'
author:
- first_name: Daniel
full_name: Hernandez Lobato, Daniel
last_name: Hernandez Lobato
- first_name: Viktoriia
full_name: Sharmanska, Viktoriia
id: 2EA6D09E-F248-11E8-B48F-1D18A9856A87
last_name: Sharmanska
orcid: 0000-0003-0192-9308
- first_name: Kristian
full_name: Kersting, Kristian
last_name: Kersting
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
- first_name: Novi
full_name: Quadrianto, Novi
last_name: Quadrianto
citation:
ama: 'Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. Mind
the nuisance: Gaussian process classification using privileged noise. In: Advances
in Neural Information Processing Systems. Vol 1. Neural Information Processing
Systems; 2014:837-845.'
apa: 'Hernandez Lobato, D., Sharmanska, V., Kersting, K., Lampert, C., & Quadrianto,
N. (2014). Mind the nuisance: Gaussian process classification using privileged
noise. In Advances in Neural Information Processing Systems (Vol. 1, pp.
837–845). Montreal, Canada: Neural Information Processing Systems.'
chicago: 'Hernandez Lobato, Daniel, Viktoriia Sharmanska, Kristian Kersting, Christoph
Lampert, and Novi Quadrianto. “Mind the Nuisance: Gaussian Process Classification
Using Privileged Noise.” In Advances in Neural Information Processing Systems,
1:837–45. Neural Information Processing Systems, 2014.'
ieee: 'D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, and N. Quadrianto,
“Mind the nuisance: Gaussian process classification using privileged noise,” in
Advances in Neural Information Processing Systems, Montreal, Canada, 2014,
vol. 1, no. January, pp. 837–845.'
ista: 'Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. 2014.
Mind the nuisance: Gaussian process classification using privileged noise. Advances
in Neural Information Processing Systems. NIPS: Neural Information Processing
Systems vol. 1, 837–845.'
mla: 'Hernandez Lobato, Daniel, et al. “Mind the Nuisance: Gaussian Process Classification
Using Privileged Noise.” Advances in Neural Information Processing Systems,
vol. 1, no. January, Neural Information Processing Systems, 2014, pp. 837–45.'
short: D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto,
in:, Advances in Neural Information Processing Systems, Neural Information Processing
Systems, 2014, pp. 837–845.
conference:
end_date: 2014-12-13
location: Montreal, Canada
name: 'NIPS: Neural Information Processing Systems'
start_date: 2014-12-08
date_created: 2018-12-11T11:55:20Z
date_published: 2014-12-08T00:00:00Z
date_updated: 2023-02-23T10:25:24Z
day: '08'
department:
- _id: ChLa
intvolume: ' 1'
issue: January
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://papers.nips.cc/paper/5373-mind-the-nuisance-gaussian-process-classification-using-privileged-noise
month: '12'
oa: 1
oa_version: Submitted Version
page: 837-845
publication: Advances in Neural Information Processing Systems
publication_status: published
publisher: Neural Information Processing Systems
publist_id: '5038'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Mind the nuisance: Gaussian process classification using privileged noise'
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2014'
...
---
_id: '2036'
abstract:
- lang: eng
text: ' In rapidly changing environments, selection history may impact the dynamics
of adaptation. Mutations selected in one environment may result in pleiotropic
fitness trade-offs in subsequent novel environments, slowing the rates of adaptation.
Epistatic interactions between mutations selected in sequential stressful environments
may slow or accelerate subsequent rates of adaptation, depending on the nature
of that interaction. We explored the dynamics of adaptation during sequential
exposure to herbicides with different modes of action in Chlamydomonas reinhardtii.
Evolution of resistance to two of the herbicides was largely independent of selection
history. For carbetamide, previous adaptation to other herbicide modes of action
positively impacted the likelihood of adaptation to this herbicide. Furthermore,
while adaptation to all individual herbicides was associated with pleiotropic
fitness costs in stress-free environments, we observed that accumulation of resistance
mechanisms was accompanied by a reduction in overall fitness costs. We suggest
that antagonistic epistasis may be a driving mechanism that enables populations
to more readily adapt in novel environments. These findings highlight the potential
for sequences of xenobiotics to facilitate the rapid evolution of multiple-drug
and -pesticide resistance, as well as the potential for epistatic interactions
between adaptive mutations to facilitate evolutionary rescue in rapidly changing
environments. '
acknowledgement: The project was supported by Leverhulme Trust.
article_number: '20141679'
author:
- first_name: Mato
full_name: Lagator, Mato
id: 345D25EC-F248-11E8-B48F-1D18A9856A87
last_name: Lagator
- first_name: Nick
full_name: Colegrave, Nick
last_name: Colegrave
- first_name: Paul
full_name: Neve, Paul
last_name: Neve
citation:
ama: Lagator M, Colegrave N, Neve P. Selection history and epistatic interactions
impact dynamics of adaptation to novel environmental stresses. Proceedings
of the Royal Society of London Series B Biological Sciences. 2014;281(1794).
doi:10.1098/rspb.2014.1679
apa: Lagator, M., Colegrave, N., & Neve, P. (2014). Selection history and epistatic
interactions impact dynamics of adaptation to novel environmental stresses. Proceedings
of the Royal Society of London Series B Biological Sciences. Royal Society,
The. https://doi.org/10.1098/rspb.2014.1679
chicago: Lagator, Mato, Nick Colegrave, and Paul Neve. “Selection History and Epistatic
Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Proceedings
of the Royal Society of London Series B Biological Sciences. Royal Society,
The, 2014. https://doi.org/10.1098/rspb.2014.1679.
ieee: M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions
impact dynamics of adaptation to novel environmental stresses,” Proceedings
of the Royal Society of London Series B Biological Sciences, vol. 281, no.
1794. Royal Society, The, 2014.
ista: Lagator M, Colegrave N, Neve P. 2014. Selection history and epistatic interactions
impact dynamics of adaptation to novel environmental stresses. Proceedings of
the Royal Society of London Series B Biological Sciences. 281(1794), 20141679.
mla: Lagator, Mato, et al. “Selection History and Epistatic Interactions Impact
Dynamics of Adaptation to Novel Environmental Stresses.” Proceedings of the
Royal Society of London Series B Biological Sciences, vol. 281, no. 1794,
20141679, Royal Society, The, 2014, doi:10.1098/rspb.2014.1679.
short: M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London
Series B Biological Sciences 281 (2014).
date_created: 2018-12-11T11:55:21Z
date_published: 2014-09-17T00:00:00Z
date_updated: 2023-02-23T14:06:44Z
day: '17'
department:
- _id: CaGu
doi: 10.1098/rspb.2014.1679
intvolume: ' 281'
issue: '1794'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4211454/
month: '09'
oa: 1
oa_version: Submitted Version
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_status: published
publisher: Royal Society, The
publist_id: '5019'
quality_controlled: '1'
related_material:
record:
- id: '9741'
relation: research_data
status: public
scopus_import: 1
status: public
title: Selection history and epistatic interactions impact dynamics of adaptation
to novel environmental stresses
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 281
year: '2014'
...
---
_id: '2038'
abstract:
- lang: eng
text: Recently, there has been an effort to add quantitative objectives to formal
verification and synthesis. We introduce and investigate the extension of temporal
logics with quantitative atomic assertions. At the heart of quantitative objectives
lies the accumulation of values along a computation. It is often the accumulated
sum, as with energy objectives, or the accumulated average, as with mean-payoff
objectives. We investigate the extension of temporal logics with the prefix-accumulation
assertions Sum(v) ≥ c and Avg(v) ≥ c, where v is a numeric (or Boolean) variable
of the system, c is a constant rational number, and Sum(v) and Avg(v) denote the
accumulated sum and average of the values of v from the beginning of the computation
up to the current point in time. We also allow the path-accumulation assertions
LimInfAvg(v) ≥ c and LimSupAvg(v) ≥ c, referring to the average value along an
entire infinite computation. We study the border of decidability for such quantitative
extensions of various temporal logics. In particular, we show that extending the
fragment of CTL that has only the EX, EF, AX, and AG temporal modalities with
both prefix-accumulation assertions, or extending LTL with both path-accumulation
assertions, results in temporal logics whose model-checking problem is decidable.
Moreover, the prefix-accumulation assertions may be generalized with "controlled
accumulation," allowing, for example, to specify constraints on the average
waiting time between a request and a grant. On the negative side, we show that
this branching-time logic is, in a sense, the maximal logic with one or both of
the prefix-accumulation assertions that permits a decidable model-checking procedure.
Extending a temporal logic that has the EG or EU modalities, such as CTL or LTL,
makes the problem undecidable.
acknowledgement: The research was supported in part by ERC Starting grant 278410 (QUALITY).
article_number: '27'
article_processing_charge: No
article_type: original
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with
accumulative values. ACM Transactions on Computational Logic (TOCL). 2014;15(4).
doi:10.1145/2629686
apa: Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2014). Temporal
specifications with accumulative values. ACM Transactions on Computational
Logic (TOCL). ACM. https://doi.org/10.1145/2629686
chicago: Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman.
“Temporal Specifications with Accumulative Values.” ACM Transactions on Computational
Logic (TOCL). ACM, 2014. https://doi.org/10.1145/2629686.
ieee: U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications
with accumulative values,” ACM Transactions on Computational Logic (TOCL),
vol. 15, no. 4. ACM, 2014.
ista: Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications
with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4),
27.
mla: Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM
Transactions on Computational Logic (TOCL), vol. 15, no. 4, 27, ACM, 2014,
doi:10.1145/2629686.
short: U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on
Computational Logic (TOCL) 15 (2014).
date_created: 2018-12-11T11:55:21Z
date_published: 2014-09-16T00:00:00Z
date_updated: 2023-02-23T12:23:54Z
day: '16'
ddc:
- '000'
- '004'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1145/2629686
ec_funded: 1
file:
- access_level: open_access
checksum: 354c41d37500b56320afce94cf9a99c2
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:59Z
date_updated: 2020-07-14T12:45:26Z
file_id: '4851'
file_name: IST-2014-192-v1+1_AccumulativeValues.pdf
file_size: 346184
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 15'
issue: '4'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: ACM Transactions on Computational Logic (TOCL)
publication_status: published
publisher: ACM
publist_id: '5013'
pubrep_id: '192'
quality_controlled: '1'
related_material:
record:
- id: '3356'
relation: earlier_version
status: public
- id: '5385'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Temporal specifications with accumulative values
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2014'
...
---
_id: '2039'
abstract:
- lang: eng
text: 'A fundamental question in biology is the following: what is the time scale
that is needed for evolutionary innovations? There are many results that characterize
single steps in terms of the fixation time of new mutants arising in populations
of certain size and structure. But here we ask a different question, which is
concerned with the much longer time scale of evolutionary trajectories: how long
does it take for a population exploring a fitness landscape to find target sequences
that encode new biological functions? Our key variable is the length, (Formula
presented.) of the genetic sequence that undergoes adaptation. In computer science
there is a crucial distinction between problems that require algorithms which
take polynomial or exponential time. The latter are considered to be intractable.
Here we develop a theoretical approach that allows us to estimate the time of
evolution as function of (Formula presented.) We show that adaptation on many
fitness landscapes takes time that is exponential in (Formula presented.) even
if there are broad selection gradients and many targets uniformly distributed
in sequence space. These negative results lead us to search for specific mechanisms
that allow evolution to work on polynomial time scales. We study a regeneration
process and show that it enables evolution to work in polynomial time.'
article_number: 7p
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Ben
full_name: Adlam, Ben
last_name: Adlam
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Chatterjee K, Pavlogiannis A, Adlam B, Nowak M. The time scale of evolutionary
innovation. PLoS Computational Biology. 2014;10(9). doi:10.1371/journal.pcbi.1003818
apa: Chatterjee, K., Pavlogiannis, A., Adlam, B., & Nowak, M. (2014). The time
scale of evolutionary innovation. PLoS Computational Biology. Public Library
of Science. https://doi.org/10.1371/journal.pcbi.1003818
chicago: Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Nowak.
“The Time Scale of Evolutionary Innovation.” PLoS Computational Biology.
Public Library of Science, 2014. https://doi.org/10.1371/journal.pcbi.1003818.
ieee: K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Nowak, “The time scale of
evolutionary innovation,” PLoS Computational Biology, vol. 10, no. 9. Public
Library of Science, 2014.
ista: Chatterjee K, Pavlogiannis A, Adlam B, Nowak M. 2014. The time scale of evolutionary
innovation. PLoS Computational Biology. 10(9), 7p.
mla: Chatterjee, Krishnendu, et al. “The Time Scale of Evolutionary Innovation.”
PLoS Computational Biology, vol. 10, no. 9, 7p, Public Library of Science,
2014, doi:10.1371/journal.pcbi.1003818.
short: K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology
10 (2014).
date_created: 2018-12-11T11:55:22Z
date_published: 2014-09-11T00:00:00Z
date_updated: 2023-02-23T14:06:36Z
day: '11'
ddc:
- '510'
department:
- _id: KrCh
doi: 10.1371/journal.pcbi.1003818
ec_funded: 1
file:
- access_level: open_access
checksum: 712d4c5787ddf97809cfc962507f0738
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:35Z
date_updated: 2020-07-14T12:45:26Z
file_id: '4890'
file_name: IST-2016-440-v1+1_journal.pcbi.1003818.pdf
file_size: 1399093
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 10'
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
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: PLoS Computational Biology
publication_status: published
publisher: Public Library of Science
publist_id: '5012'
pubrep_id: '440'
quality_controlled: '1'
related_material:
record:
- id: '9739'
relation: research_data
status: public
scopus_import: 1
status: public
title: The time scale of evolutionary innovation
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: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2014'
...
---
_id: '2040'
abstract:
- lang: eng
text: 'Development requires tissue growth as well as cell diversification. To address
how these processes are coordinated, we analyzed the development of molecularly
distinct domains of neural progenitors in the mouse and chick neural tube. We
show that during development, these domains undergo changes in size that do not
scale with changes in overall tissue size. Our data show that domain proportions
are first established by opposing morphogen gradients and subsequently controlled
by domain-specific regulation of differentiation rate but not differences in proliferation
rate. Regulation of differentiation rate is key to maintaining domain proportions
while accommodating both intra- and interspecies variations in size. Thus, the
sequential control of progenitor specification and differentiation elaborates
pattern without requiring that signaling gradients grow as tissues expand. '
article_number: '1254927'
author:
- first_name: Anna
full_name: Kicheva, Anna
last_name: Kicheva
- first_name: Mark Tobias
full_name: Bollenbach, Mark Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
- first_name: Ana
full_name: Ribeiro, Ana
last_name: Ribeiro
- first_name: Helena
full_name: Pérez Valle, Helena
last_name: Pérez Valle
- first_name: Robin
full_name: Lovell Badge, Robin
last_name: Lovell Badge
- first_name: Vasso
full_name: Episkopou, Vasso
last_name: Episkopou
- first_name: James
full_name: Briscoe, James
last_name: Briscoe
citation:
ama: Kicheva A, Bollenbach MT, Ribeiro A, et al. Coordination of progenitor specification
and growth in mouse and chick spinal cord. Science. 2014;345(6204). doi:10.1126/science.1254927
apa: Kicheva, A., Bollenbach, M. T., Ribeiro, A., Pérez Valle, H., Lovell Badge,
R., Episkopou, V., & Briscoe, J. (2014). Coordination of progenitor specification
and growth in mouse and chick spinal cord. Science. American Association
for the Advancement of Science. https://doi.org/10.1126/science.1254927
chicago: Kicheva, Anna, Mark Tobias Bollenbach, Ana Ribeiro, Helena Pérez Valle,
Robin Lovell Badge, Vasso Episkopou, and James Briscoe. “Coordination of Progenitor
Specification and Growth in Mouse and Chick Spinal Cord.” Science. American
Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1254927.
ieee: A. Kicheva et al., “Coordination of progenitor specification and growth
in mouse and chick spinal cord,” Science, vol. 345, no. 6204. American
Association for the Advancement of Science, 2014.
ista: Kicheva A, Bollenbach MT, Ribeiro A, Pérez Valle H, Lovell Badge R, Episkopou
V, Briscoe J. 2014. Coordination of progenitor specification and growth in mouse
and chick spinal cord. Science. 345(6204), 1254927.
mla: Kicheva, Anna, et al. “Coordination of Progenitor Specification and Growth
in Mouse and Chick Spinal Cord.” Science, vol. 345, no. 6204, 1254927,
American Association for the Advancement of Science, 2014, doi:10.1126/science.1254927.
short: A. Kicheva, M.T. Bollenbach, A. Ribeiro, H. Pérez Valle, R. Lovell Badge,
V. Episkopou, J. Briscoe, Science 345 (2014).
date_created: 2018-12-11T11:55:22Z
date_published: 2014-09-26T00:00:00Z
date_updated: 2021-01-12T06:54:55Z
day: '26'
department:
- _id: ToBo
doi: 10.1126/science.1254927
intvolume: ' 345'
issue: '6204'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4228193/
month: '09'
oa: 1
oa_version: Submitted Version
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '5011'
quality_controlled: '1'
scopus_import: 1
status: public
title: Coordination of progenitor specification and growth in mouse and chick spinal
cord
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 345
year: '2014'
...
---
_id: '2041'
abstract:
- lang: eng
text: The hippocampus mediates several higher brain functions, such as learning,
memory, and spatial coding. The input region of the hippocampus, the dentate gyrus,
plays a critical role in these processes. Several lines of evidence suggest that
the dentate gyrus acts as a preprocessor of incoming information, preparing it
for subsequent processing in CA3. For example, the dentate gyrus converts input
from the entorhinal cortex, where cells have multiple spatial fields, into the
spatially more specific place cell activity characteristic of the CA3 region.
Furthermore, the dentate gyrus is involved in pattern separation, transforming
relatively similar input patterns into substantially different output patterns.
Finally, the dentate gyrus produces a very sparse coding scheme in which only
a very small fraction of neurons are active at any one time.
article_number: 2p
author:
- 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: John
full_name: Lisman, John
last_name: Lisman
citation:
ama: Jonas PM, Lisman J. Structure, function and plasticity of hippocampal dentate
gyrus microcircuits. Frontiers in Neural Circuits. 2014;8. doi:10.3389/fncir.2014.00107
apa: Jonas, P. M., & Lisman, J. (2014). Structure, function and plasticity of
hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits.
Frontiers Research Foundation. https://doi.org/10.3389/fncir.2014.00107
chicago: Jonas, Peter M, and John Lisman. “Structure, Function and Plasticity of
Hippocampal Dentate Gyrus Microcircuits.” Frontiers in Neural Circuits.
Frontiers Research Foundation, 2014. https://doi.org/10.3389/fncir.2014.00107.
ieee: P. M. Jonas and J. Lisman, “Structure, function and plasticity of hippocampal
dentate gyrus microcircuits,” Frontiers in Neural Circuits, vol. 8. Frontiers
Research Foundation, 2014.
ista: Jonas PM, Lisman J. 2014. Structure, function and plasticity of hippocampal
dentate gyrus microcircuits. Frontiers in Neural Circuits. 8, 2p.
mla: Jonas, Peter M., and John Lisman. “Structure, Function and Plasticity of Hippocampal
Dentate Gyrus Microcircuits.” Frontiers in Neural Circuits, vol. 8, 2p,
Frontiers Research Foundation, 2014, doi:10.3389/fncir.2014.00107.
short: P.M. Jonas, J. Lisman, Frontiers in Neural Circuits 8 (2014).
date_created: 2018-12-11T11:55:22Z
date_published: 2014-09-10T00:00:00Z
date_updated: 2021-01-12T06:54:55Z
day: '10'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.3389/fncir.2014.00107
file:
- access_level: open_access
checksum: 3ca57b164045523f876407e9f13a9fb8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:38Z
date_updated: 2020-07-14T12:45:26Z
file_id: '5294'
file_name: IST-2016-424-v1+1_fncir-08-00107.pdf
file_size: 201110
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 8'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: Frontiers in Neural Circuits
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '5010'
pubrep_id: '424'
quality_controlled: '1'
scopus_import: 1
status: public
title: Structure, function and plasticity of hippocampal dentate gyrus microcircuits
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: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2014'
...
---
_id: '2042'
abstract:
- lang: eng
text: 'Background: CRISPR is a microbial immune system likely to be involved in
host-parasite coevolution. It functions using target sequences encoded by the
bacterial genome, which interfere with invading nucleic acids using a homology-dependent
system. The system also requires protospacer associated motifs (PAMs), short motifs
close to the target sequence that are required for interference in CRISPR types
I and II. Here, we investigate whether PAMs are depleted in phage genomes due
to selection pressure to escape recognition.Results: To this end, we analyzed
two data sets. Phages infecting all bacterial hosts were analyzed first, followed
by a detailed analysis of phages infecting the genus Streptococcus, where PAMs
are best understood. We use two different measures of motif underrepresentation
that control for codon bias and the frequency of submotifs. We compare phages
infecting species with a particular CRISPR type to those infecting species without
that type. Since only known PAMs were investigated, the analysis is restricted
to CRISPR types I-C and I-E and in Streptococcus to types I-C and II. We found
evidence for PAM depletion in Streptococcus phages infecting hosts with CRISPR
type I-C, in Vibrio phages infecting hosts with CRISPR type I-E and in Streptococcus
thermopilus phages infecting hosts with type II-A, known as CRISPR3.Conclusions:
The observed motif depletion in phages with hosts having CRISPR can be attributed
to selection rather than to mutational bias, as mutational bias should affect
the phages of all hosts. This observation implies that the CRISPR system has been
efficient in the groups discussed here.'
article_number: '663'
author:
- first_name: Anne
full_name: Kupczok, Anne
id: 2BB22BC2-F248-11E8-B48F-1D18A9856A87
last_name: Kupczok
- first_name: Jonathan P
full_name: Bollback, Jonathan P
id: 2C6FA9CC-F248-11E8-B48F-1D18A9856A87
last_name: Bollback
orcid: 0000-0002-4624-4612
citation:
ama: Kupczok A, Bollback JP. Motif depletion in bacteriophages infecting hosts with
CRISPR systems. BMC Genomics. 2014;15(1). doi:10.1186/1471-2164-15-663
apa: Kupczok, A., & Bollback, J. P. (2014). Motif depletion in bacteriophages
infecting hosts with CRISPR systems. BMC Genomics. BioMed Central. https://doi.org/10.1186/1471-2164-15-663
chicago: Kupczok, Anne, and Jonathan P Bollback. “Motif Depletion in Bacteriophages
Infecting Hosts with CRISPR Systems.” BMC Genomics. BioMed Central, 2014.
https://doi.org/10.1186/1471-2164-15-663.
ieee: A. Kupczok and J. P. Bollback, “Motif depletion in bacteriophages infecting
hosts with CRISPR systems,” BMC Genomics, vol. 15, no. 1. BioMed Central,
2014.
ista: Kupczok A, Bollback JP. 2014. Motif depletion in bacteriophages infecting
hosts with CRISPR systems. BMC Genomics. 15(1), 663.
mla: Kupczok, Anne, and Jonathan P. Bollback. “Motif Depletion in Bacteriophages
Infecting Hosts with CRISPR Systems.” BMC Genomics, vol. 15, no. 1, 663,
BioMed Central, 2014, doi:10.1186/1471-2164-15-663.
short: A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
date_created: 2018-12-11T11:55:23Z
date_published: 2014-08-08T00:00:00Z
date_updated: 2021-01-12T06:54:56Z
day: '08'
ddc:
- '570'
department:
- _id: JoBo
doi: 10.1186/1471-2164-15-663
file:
- access_level: open_access
checksum: 3f6d2776b90a842a28359cc957d3d04b
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:24Z
date_updated: 2020-07-14T12:45:26Z
file_id: '4878'
file_name: IST-2015-396-v1+1_1471-2164-15-663.pdf
file_size: 1489769
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 15'
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: BMC Genomics
publication_status: published
publisher: BioMed Central
publist_id: '5009'
pubrep_id: '396'
quality_controlled: '1'
scopus_import: 1
status: public
title: Motif depletion in bacteriophages infecting hosts with CRISPR systems
tmp:
image: /images/cc_0.png
legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
name: Creative Commons Public Domain Dedication (CC0 1.0)
short: CC0 (1.0)
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2014'
...
---
_id: '2043'
abstract:
- lang: eng
text: Persistent homology is a popular and powerful tool for capturing topological
features of data. Advances in algorithms for computing persistent homology have
reduced the computation time drastically – as long as the algorithm does not exhaust
the available memory. Following up on a recently presented parallel method for
persistence computation on shared memory systems [1], we demonstrate that a simple
adaption of the standard reduction algorithm leads to a variant for distributed
systems. Our algorithmic design ensures that the data is distributed over the
nodes without redundancy; this permits the computation of much larger instances
than on a single machine. Moreover, we observe that the parallelism at least compensates
for the overhead caused by communication between nodes, and often even speeds
up the computation compared to sequential and even parallel shared memory algorithms.
In our experiments, we were able to compute the persistent homology of filtrations
with more than a billion (109) elements within seconds on a cluster with 32 nodes
using less than 6GB of memory per node.
author:
- first_name: Ulrich
full_name: Bauer, Ulrich
id: 2ADD483A-F248-11E8-B48F-1D18A9856A87
last_name: Bauer
orcid: 0000-0002-9683-0724
- first_name: Michael
full_name: Kerber, Michael
last_name: Kerber
orcid: 0000-0002-8030-9299
- first_name: Jan
full_name: Reininghaus, Jan
id: 4505473A-F248-11E8-B48F-1D18A9856A87
last_name: Reininghaus
citation:
ama: 'Bauer U, Kerber M, Reininghaus J. Distributed computation of persistent homology.
In: McGeoch C, Meyer U, eds. Proceedings of the Workshop on Algorithm Engineering
and Experiments. Society of Industrial and Applied Mathematics; 2014:31-38.
doi:10.1137/1.9781611973198.4'
apa: 'Bauer, U., Kerber, M., & Reininghaus, J. (2014). Distributed computation
of persistent homology. In C. McGeoch & U. Meyer (Eds.), Proceedings of
the Workshop on Algorithm Engineering and Experiments (pp. 31–38). Portland,
USA: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.4'
chicago: Bauer, Ulrich, Michael Kerber, and Jan Reininghaus. “Distributed Computation
of Persistent Homology.” In Proceedings of the Workshop on Algorithm Engineering
and Experiments, edited by Catherine McGeoch and Ulrich Meyer, 31–38. Society
of Industrial and Applied Mathematics, 2014. https://doi.org/10.1137/1.9781611973198.4.
ieee: U. Bauer, M. Kerber, and J. Reininghaus, “Distributed computation of persistent
homology,” in Proceedings of the Workshop on Algorithm Engineering and Experiments,
Portland, USA, 2014, pp. 31–38.
ista: 'Bauer U, Kerber M, Reininghaus J. 2014. Distributed computation of persistent
homology. Proceedings of the Workshop on Algorithm Engineering and Experiments.
ALENEX: Algorithm Engineering and Experiments, 31–38.'
mla: Bauer, Ulrich, et al. “Distributed Computation of Persistent Homology.” Proceedings
of the Workshop on Algorithm Engineering and Experiments, edited by Catherine McGeoch
and Ulrich Meyer, Society of Industrial and Applied Mathematics, 2014, pp. 31–38,
doi:10.1137/1.9781611973198.4.
short: U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings
of the Workshop on Algorithm Engineering and Experiments, Society of Industrial
and Applied Mathematics, 2014, pp. 31–38.
conference:
end_date: 2014-01-05
location: Portland, USA
name: 'ALENEX: Algorithm Engineering and Experiments'
start_date: 2014-01-05
date_created: 2018-12-11T11:55:23Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:54:56Z
day: '01'
department:
- _id: HeEd
doi: 10.1137/1.9781611973198.4
ec_funded: 1
editor:
- first_name: Catherine
full_name: ' McGeoch, Catherine'
last_name: ' McGeoch'
- first_name: Ulrich
full_name: Meyer, Ulrich
last_name: Meyer
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1310.0710
month: '01'
oa: 1
oa_version: Submitted Version
page: 31 - 38
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '318493'
name: Topological Complex Systems
publication: Proceedings of the Workshop on Algorithm Engineering and Experiments
publication_status: published
publisher: Society of Industrial and Applied Mathematics
publist_id: '5008'
quality_controlled: '1'
scopus_import: 1
status: public
title: Distributed computation of persistent homology
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '2044'
abstract:
- lang: eng
text: We present a parallel algorithm for computing the persistent homology of a
filtered chain complex. Our approach differs from the commonly used reduction
algorithm by first computing persistence pairs within local chunks, then simplifying
the unpaired columns, and finally applying standard reduction on the simplified
matrix. The approach generalizes a technique by Günther et al., which uses discrete
Morse Theory to compute persistence; we derive the same worst-case complexity
bound in a more general context. The algorithm employs several practical optimization
techniques, which are of independent interest. Our sequential implementation of
the algorithm is competitive with state-of-the-art methods, and we further improve
the performance through parallel computation.
author:
- first_name: Ulrich
full_name: Bauer, Ulrich
id: 2ADD483A-F248-11E8-B48F-1D18A9856A87
last_name: Bauer
orcid: 0000-0002-9683-0724
- first_name: Michael
full_name: Kerber, Michael
last_name: Kerber
orcid: 0000-0002-8030-9299
- first_name: Jan
full_name: Reininghaus, Jan
id: 4505473A-F248-11E8-B48F-1D18A9856A87
last_name: Reininghaus
citation:
ama: 'Bauer U, Kerber M, Reininghaus J. Clear and Compress: Computing Persistent
Homology in Chunks. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological
Methods in Data Analysis and Visualization III. Mathematics and Visualization.
Springer; 2014:103-117. doi:10.1007/978-3-319-04099-8_7'
apa: 'Bauer, U., Kerber, M., & Reininghaus, J. (2014). Clear and Compress: Computing
Persistent Homology in Chunks. In P.-T. Bremer, I. Hotz, V. Pascucci, & R.
Peikert (Eds.), Topological Methods in Data Analysis and Visualization III
(pp. 103–117). Springer. https://doi.org/10.1007/978-3-319-04099-8_7'
chicago: 'Bauer, Ulrich, Michael Kerber, and Jan Reininghaus. “Clear and Compress:
Computing Persistent Homology in Chunks.” In Topological Methods in Data Analysis
and Visualization III, edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci,
and Ronald Peikert, 103–17. Mathematics and Visualization. Springer, 2014. https://doi.org/10.1007/978-3-319-04099-8_7.'
ieee: 'U. Bauer, M. Kerber, and J. Reininghaus, “Clear and Compress: Computing Persistent
Homology in Chunks,” in Topological Methods in Data Analysis and Visualization
III, P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Springer, 2014,
pp. 103–117.'
ista: 'Bauer U, Kerber M, Reininghaus J. 2014.Clear and Compress: Computing Persistent
Homology in Chunks. In: Topological Methods in Data Analysis and Visualization
III. , 103–117.'
mla: 'Bauer, Ulrich, et al. “Clear and Compress: Computing Persistent Homology in
Chunks.” Topological Methods in Data Analysis and Visualization III, edited
by Peer-Timo Bremer et al., Springer, 2014, pp. 103–17, doi:10.1007/978-3-319-04099-8_7.'
short: U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci,
R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III,
Springer, 2014, pp. 103–117.
date_created: 2018-12-11T11:55:23Z
date_published: 2014-03-19T00:00:00Z
date_updated: 2021-01-12T06:54:56Z
day: '19'
department:
- _id: HeEd
doi: 10.1007/978-3-319-04099-8_7
ec_funded: 1
editor:
- first_name: Peer-Timo
full_name: Bremer, Peer-Timo
last_name: Bremer
- first_name: Ingrid
full_name: Hotz, Ingrid
last_name: Hotz
- first_name: Valerio
full_name: Pascucci, Valerio
last_name: Pascucci
- first_name: Ronald
full_name: Peikert, Ronald
last_name: Peikert
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1303.0477
month: '03'
oa: 1
oa_version: Submitted Version
page: 103 - 117
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '318493'
name: Topological Complex Systems
publication: Topological Methods in Data Analysis and Visualization III
publication_status: published
publisher: Springer
publist_id: '5007'
quality_controlled: '1'
scopus_import: 1
series_title: Mathematics and Visualization
status: public
title: 'Clear and Compress: Computing Persistent Homology in Chunks'
type: book_chapter
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '2045'
abstract:
- lang: eng
text: 'We introduce and study a new notion of enhanced chosen-ciphertext security
(ECCA) for public-key encryption. Loosely speaking, in the ECCA security experiment,
the decryption oracle provided to the adversary is augmented to return not only
the output of the decryption algorithm on a queried ciphertext but also of a randomness-recovery
algorithm associated to the scheme. Our results mainly concern the case where
the randomness-recovery algorithm is efficient. We provide constructions of ECCA-secure
encryption from adaptive trapdoor functions as defined by Kiltz et al. (EUROCRYPT
2010), resulting in ECCA encryption from standard number-theoretic assumptions.
We then give two applications of ECCA-secure encryption: (1) We use it as a unifying
concept in showing equivalence of adaptive trapdoor functions and tag-based adaptive
trapdoor functions, resolving an open question of Kiltz et al. (2) We show that
ECCA-secure encryption can be used to securely realize an approach to public-key
encryption with non-interactive opening (PKENO) originally suggested by Damgård
and Thorbek (EUROCRYPT 2007), resulting in new and practical PKENO schemes quite
different from those in prior work. Our results demonstrate that ECCA security
is of both practical and theoretical interest.'
acknowledgement: The second author was supported by EPSRC grant EP/H043454/1.
alternative_title:
- LNCS
author:
- first_name: Dana
full_name: Dachman Soled, Dana
last_name: Dachman Soled
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
- first_name: Payman
full_name: Mohassel, Payman
last_name: Mohassel
- first_name: Adam
full_name: O’Neill, Adam
last_name: O’Neill
citation:
ama: 'Dachman Soled D, Fuchsbauer G, Mohassel P, O’Neill A. Enhanced chosen-ciphertext
security and applications. In: Krawczyk H, ed. Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics). Vol 8383. Springer; 2014:329-344. doi:10.1007/978-3-642-54631-0_19'
apa: 'Dachman Soled, D., Fuchsbauer, G., Mohassel, P., & O’Neill, A. (2014).
Enhanced chosen-ciphertext security and applications. In H. Krawczyk (Ed.), Lecture
Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 329–344). Buenos Aires,
Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_19'
chicago: Dachman Soled, Dana, Georg Fuchsbauer, Payman Mohassel, and Adam O’Neill.
“Enhanced Chosen-Ciphertext Security and Applications.” In Lecture Notes in
Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, 8383:329–44.
Springer, 2014. https://doi.org/10.1007/978-3-642-54631-0_19.
ieee: D. Dachman Soled, G. Fuchsbauer, P. Mohassel, and A. O’Neill, “Enhanced chosen-ciphertext
security and applications,” in Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Buenos Aires, Argentina, 2014, vol. 8383, pp. 329–344.
ista: 'Dachman Soled D, Fuchsbauer G, Mohassel P, O’Neill A. 2014. Enhanced chosen-ciphertext
security and applications. Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
PKC: Public Key Crypography, LNCS, vol. 8383, 329–344.'
mla: Dachman Soled, Dana, et al. “Enhanced Chosen-Ciphertext Security and Applications.”
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk,
vol. 8383, Springer, 2014, pp. 329–44, doi:10.1007/978-3-642-54631-0_19.
short: D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk
(Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014,
pp. 329–344.
conference:
end_date: 2014-03-28
location: Buenos Aires, Argentina
name: 'PKC: Public Key Crypography'
start_date: 2014-03-26
date_created: 2018-12-11T11:55:24Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:54:57Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-642-54631-0_19
ec_funded: 1
editor:
- first_name: Hugo
full_name: Krawczyk, Hugo
last_name: Krawczyk
intvolume: ' 8383'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2012/543
month: '01'
oa: 1
oa_version: Submitted Version
page: 329 - 344
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_status: published
publisher: Springer
publist_id: '5006'
quality_controlled: '1'
scopus_import: 1
status: public
title: Enhanced chosen-ciphertext security and applications
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8383
year: '2014'
...
---
_id: '2046'
abstract:
- lang: eng
text: 'We introduce policy-based signatures (PBS), where a signer can only sign
messages conforming to some authority-specified policy. The main requirements
are unforgeability and privacy, the latter meaning that signatures not reveal
the policy. PBS offers value along two fronts: (1) On the practical side, they
allow a corporation to control what messages its employees can sign under the
corporate key. (2) On the theoretical side, they unify existing work, capturing
other forms of signatures as special cases or allowing them to be easily built.
Our work focuses on definitions of PBS, proofs that this challenging primitive
is realizable for arbitrary policies, efficient constructions for specific policies,
and a few representative applications.'
acknowledgement: Part of his work was done while at Bristol University, supported
by EPSRC grant EP/H043454/1.
alternative_title:
- LNCS
author:
- first_name: Mihir
full_name: Bellare, Mihir
last_name: Bellare
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
citation:
ama: 'Bellare M, Fuchsbauer G. Policy-based signatures. In: Krawczyk H, ed. Lecture
Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics). Vol 8383. Springer; 2014:520-537. doi:10.1007/978-3-642-54631-0_30'
apa: 'Bellare, M., & Fuchsbauer, G. (2014). Policy-based signatures. In H. Krawczyk
(Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383,
pp. 520–537). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_30'
chicago: Bellare, Mihir, and Georg Fuchsbauer. “Policy-Based Signatures.” In Lecture
Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, 8383:520–37.
Springer, 2014. https://doi.org/10.1007/978-3-642-54631-0_30.
ieee: M. Bellare and G. Fuchsbauer, “Policy-based signatures,” in Lecture Notes
in Computer Science (including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), Buenos Aires, Argentina, 2014, vol.
8383, pp. 520–537.
ista: 'Bellare M, Fuchsbauer G. 2014. Policy-based signatures. Lecture Notes in
Computer Science (including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol.
8383, 520–537.'
mla: Bellare, Mihir, and Georg Fuchsbauer. “Policy-Based Signatures.” Lecture
Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, vol. 8383,
Springer, 2014, pp. 520–37, doi:10.1007/978-3-642-54631-0_30.
short: M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer
Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics), Springer, 2014, pp. 520–537.
conference:
end_date: 2014-05-28
location: Buenos Aires, Argentina
name: 'PKC: Public Key Crypography'
start_date: 2014-05-26
date_created: 2018-12-11T11:55:24Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:54:57Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-642-54631-0_30
ec_funded: 1
editor:
- first_name: Hugo
full_name: Krawczyk, Hugo
last_name: Krawczyk
intvolume: ' 8383'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2013/413
month: '01'
oa: 1
oa_version: Submitted Version
page: 520 - 537
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_status: published
publisher: Springer
publist_id: '5005'
quality_controlled: '1'
scopus_import: 1
status: public
title: Policy-based signatures
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8383
year: '2014'
...
---
_id: '2047'
abstract:
- lang: eng
text: Following the publication of an attack on genome-wide association studies
(GWAS) data proposed by Homer et al., considerable attention has been given to
developing methods for releasing GWAS data in a privacy-preserving way. Here,
we develop an end-to-end differentially private method for solving regression
problems with convex penalty functions and selecting the penalty parameters by
cross-validation. In particular, we focus on penalized logistic regression with
elastic-net regularization, a method widely used to in GWAS analyses to identify
disease-causing genes. We show how a differentially private procedure for penalized
logistic regression with elastic-net regularization can be applied to the analysis
of GWAS data and evaluate our method’s performance.
acknowledgement: This research was partially supported by BCS- 0941518 to the Department
of Statistics at Carnegie Mellon University.
alternative_title:
- LNCS
arxiv: 1
author:
- first_name: Fei
full_name: Yu, Fei
last_name: Yu
- first_name: Michal
full_name: Rybar, Michal
id: 2B3E3DE8-F248-11E8-B48F-1D18A9856A87
last_name: Rybar
- first_name: Caroline
full_name: Uhler, Caroline
id: 49ADD78E-F248-11E8-B48F-1D18A9856A87
last_name: Uhler
orcid: 0000-0002-7008-0216
- first_name: Stephen
full_name: Fienberg, Stephen
last_name: Fienberg
citation:
ama: 'Yu F, Rybar M, Uhler C, Fienberg S. Differentially-private logistic regression
for detecting multiple-SNP association in GWAS databases. In: Domingo Ferrer J,
ed. Lecture Notes in Computer Science (Including Subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8744. Springer;
2014:170-184. doi:10.1007/978-3-319-11257-2_14'
apa: 'Yu, F., Rybar, M., Uhler, C., & Fienberg, S. (2014). Differentially-private
logistic regression for detecting multiple-SNP association in GWAS databases.
In J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(Vol. 8744, pp. 170–184). Ibiza, Spain: Springer. https://doi.org/10.1007/978-3-319-11257-2_14'
chicago: Yu, Fei, Michal Rybar, Caroline Uhler, and Stephen Fienberg. “Differentially-Private
Logistic Regression for Detecting Multiple-SNP Association in GWAS Databases.”
In Lecture Notes in Computer Science (Including Subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Josep
Domingo Ferrer, 8744:170–84. Springer, 2014. https://doi.org/10.1007/978-3-319-11257-2_14.
ieee: F. Yu, M. Rybar, C. Uhler, and S. Fienberg, “Differentially-private logistic
regression for detecting multiple-SNP association in GWAS databases,” in Lecture
Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), Ibiza, Spain, 2014, vol. 8744, pp. 170–184.
ista: 'Yu F, Rybar M, Uhler C, Fienberg S. 2014. Differentially-private logistic
regression for detecting multiple-SNP association in GWAS databases. Lecture Notes
in Computer Science (including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics). PSD: Privacy in Statistical Databases, LNCS,
vol. 8744, 170–184.'
mla: Yu, Fei, et al. “Differentially-Private Logistic Regression for Detecting Multiple-SNP
Association in GWAS Databases.” Lecture Notes in Computer Science (Including
Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
edited by Josep Domingo Ferrer, vol. 8744, Springer, 2014, pp. 170–84, doi:10.1007/978-3-319-11257-2_14.
short: F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture
Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
conference:
end_date: 2014-09-19
location: Ibiza, Spain
name: 'PSD: Privacy in Statistical Databases'
start_date: 2014-09-17
date_created: 2018-12-11T11:55:24Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:54:57Z
day: '01'
department:
- _id: KrPi
- _id: CaUh
doi: 10.1007/978-3-319-11257-2_14
editor:
- first_name: Josep
full_name: Domingo Ferrer, Josep
last_name: Domingo Ferrer
external_id:
arxiv:
- '1407.8067'
intvolume: ' 8744'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1407.8067
month: '01'
oa: 1
oa_version: Submitted Version
page: 170 - 184
project:
- _id: 25636330-B435-11E9-9278-68D0E5697425
grant_number: 11-NSF-1070
name: ROOTS Genome-wide Analysis of Root Traits
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_status: published
publisher: Springer
publist_id: '5004'
quality_controlled: '1'
scopus_import: 1
status: public
title: Differentially-private logistic regression for detecting multiple-SNP association
in GWAS databases
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8744
year: '2014'
...
---
_id: '2050'
abstract:
- lang: eng
text: The flow instability and further transition to turbulence in a toroidal pipe
(torus) with curvature ratio (tube-to-coiling diameter) 0.049 is investigated
experimentally. The flow inside the toroidal pipe is driven by a steel sphere
fitted to the inner pipe diameter. The sphere is moved with constant azimuthal
velocity from outside the torus by a moving magnet. The experiment is designed
to investigate curved pipe flow by optical measurement techniques. Using stereoscopic
particle image velocimetry, laser Doppler velocimetry and pressure drop measurements,
the flow is measured for Reynolds numbers ranging from 1000 to 15 000. Time- and
space-resolved velocity fields are obtained and analysed. The steady axisymmetric
basic flow is strongly influenced by centrifugal effects. On an increase of the
Reynolds number we find a sequence of bifurcations. For Re=4075±2% a supercritical
bifurcation to an oscillatory flow is found in which waves travel in the streamwise
direction with a phase velocity slightly faster than the mean flow. The oscillatory
flow is superseded by a presumably quasi-periodic flow at a further increase of
the Reynolds number before turbulence sets in. The results are found to be compatible,
in general, with earlier experimental and numerical investigations on transition
to turbulence in helical and curved pipes. However, important aspects of the bifurcation
scenario differ considerably.
article_processing_charge: No
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: Markus
full_name: Holzner, Markus
last_name: Holzner
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
- first_name: Hendrik
full_name: Kuhlmann, Hendrik
last_name: Kuhlmann
citation:
ama: Kühnen J, Holzner M, Hof B, Kuhlmann H. Experimental investigation of transitional
flow in a toroidal pipe. Journal of Fluid Mechanics. 2014;738:463-491.
doi:10.1017/jfm.2013.603
apa: Kühnen, J., Holzner, M., Hof, B., & Kuhlmann, H. (2014). Experimental investigation
of transitional flow in a toroidal pipe. Journal of Fluid Mechanics. Cambridge
University Press. https://doi.org/10.1017/jfm.2013.603
chicago: Kühnen, Jakob, Markus Holzner, Björn Hof, and Hendrik Kuhlmann. “Experimental
Investigation of Transitional Flow in a Toroidal Pipe.” Journal of Fluid Mechanics.
Cambridge University Press, 2014. https://doi.org/10.1017/jfm.2013.603.
ieee: J. Kühnen, M. Holzner, B. Hof, and H. Kuhlmann, “Experimental investigation
of transitional flow in a toroidal pipe,” Journal of Fluid Mechanics, vol.
738. Cambridge University Press, pp. 463–491, 2014.
ista: Kühnen J, Holzner M, Hof B, Kuhlmann H. 2014. Experimental investigation of
transitional flow in a toroidal pipe. Journal of Fluid Mechanics. 738, 463–491.
mla: Kühnen, Jakob, et al. “Experimental Investigation of Transitional Flow in a
Toroidal Pipe.” Journal of Fluid Mechanics, vol. 738, Cambridge University
Press, 2014, pp. 463–91, doi:10.1017/jfm.2013.603.
short: J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738
(2014) 463–491.
date_created: 2018-12-11T11:55:25Z
date_published: 2014-01-10T00:00:00Z
date_updated: 2021-01-12T06:54:59Z
day: '10'
department:
- _id: BjHo
doi: 10.1017/jfm.2013.603
external_id:
arxiv:
- '1508.06546'
intvolume: ' 738'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1508.06546
month: '01'
oa: 1
oa_version: Submitted Version
page: 463 - 491
publication: Journal of Fluid Mechanics
publication_status: published
publisher: Cambridge University Press
publist_id: '5001'
quality_controlled: '1'
scopus_import: 1
status: public
title: Experimental investigation of transitional flow in a toroidal pipe
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 738
year: '2014'
...