---
_id: '81'
abstract:
- lang: eng
text: We solve the offline monitoring problem for timed propositional temporal logic
(TPTL), interpreted over dense-time Boolean signals. The variant of TPTL we consider
extends linear temporal logic (LTL) with clock variables and reset quantifiers,
providing a mechanism to specify real-time constraints. We first describe a general
monitoring algorithm based on an exhaustive computation of the set of satisfying
clock assignments as a finite union of zones. We then propose a specialized monitoring
algorithm for the one-variable case using a partition of the time domain based
on the notion of region equivalence, whose complexity is linear in the length
of the signal, thereby generalizing a known result regarding the monitoring of
metric temporal logic (MTL). The region and zone representations of time constraints
are known from timed automata verification and can also be used in the discrete-time
case. Our prototype implementation appears to outperform previous discrete-time
implementations of TPTL monitoring,
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Adrian
full_name: Elgyütt, Adrian
id: 4A2E9DBA-F248-11E8-B48F-1D18A9856A87
last_name: Elgyütt
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- 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: 'Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables.
In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4'
apa: 'Elgyütt, A., Ferrere, T., & Henzinger, T. A. (2018). Monitoring temporal
logic with clock variables (Vol. 11022, pp. 53–70). Presented at the FORMATS:
Formal Modeling and Analysis of Timed Systems, Beijing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_4'
chicago: Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal
Logic with Clock Variables,” 11022:53–70. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_4.
ieee: 'A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with
clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed
Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.'
ista: 'Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with
clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS,
vol. 11022, 53–70.'
mla: Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables.
Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
short: A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
conference:
end_date: 2018-09-06
location: Beijing, China
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-26T00:00:00Z
date_updated: 2023-09-13T08:58:34Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_4
external_id:
isi:
- '000884993200004'
file:
- access_level: open_access
checksum: e5d81c9b50a6bd9d8a2c16953aad7e23
content_type: application/pdf
creator: dernst
date_created: 2020-10-09T06:24:21Z
date_updated: 2020-10-09T06:24:21Z
file_id: '8638'
file_name: 2018_LNCS_Elgyuett.pdf
file_size: 537219
relation: main_file
success: 1
file_date_updated: 2020-10-09T06:24:21Z
has_accepted_license: '1'
intvolume: ' 11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 53 - 70
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication_status: published
publisher: Springer
publist_id: '7973'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitoring temporal logic with clock variables
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...
---
_id: '76'
abstract:
- lang: eng
text: 'Consider a fully-connected synchronous distributed system consisting of n
nodes, where up to f nodes may be faulty and every node starts in an arbitrary
initial state. In the synchronous C-counting problem, all nodes need to eventually
agree on a counter that is increased by one modulo C in each round for given C>1.
In the self-stabilising firing squad problem, the task is to eventually guarantee
that all non-faulty nodes have simultaneous responses to external inputs: if a
subset of the correct nodes receive an external “go” signal as input, then all
correct nodes should agree on a round (in the not-too-distant future) in which
to jointly output a “fire” signal. Moreover, no node should generate a “fire”
signal without some correct node having previously received a “go” signal as input.
We present a framework reducing both tasks to binary consensus at very small cost.
For example, we obtain a deterministic algorithm for self-stabilising Byzantine
firing squads with optimal resilience f<n/3, asymptotically optimal stabilisation
and response time O(f), and message size O(log f). As our framework does not restrict
the type of consensus routines used, we also obtain efficient randomised solutions.'
article_processing_charge: Yes (via OA deal)
author:
- first_name: Christoph
full_name: Lenzen, Christoph
last_name: Lenzen
- first_name: Joel
full_name: Rybicki, Joel
id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
last_name: Rybicki
orcid: 0000-0002-6432-6646
citation:
ama: Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads.
Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
apa: Lenzen, C., & Rybicki, J. (2018). Near-optimal self-stabilising counting
and firing squads. Distributed Computing. Springer. https://doi.org/10.1007/s00446-018-0342-6
chicago: Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting
and Firing Squads.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-018-0342-6.
ieee: C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing
squads,” Distributed Computing. Springer, 2018.
ista: Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing
squads. Distributed Computing.
mla: Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting
and Firing Squads.” Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.
short: C. Lenzen, J. Rybicki, Distributed Computing (2018).
date_created: 2018-12-11T11:44:30Z
date_published: 2018-09-12T00:00:00Z
date_updated: 2023-09-13T09:01:06Z
day: '12'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1007/s00446-018-0342-6
external_id:
isi:
- '000475627800005'
file:
- access_level: open_access
checksum: 872db70bba9b401500abe3c6ae2f1a61
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T14:21:22Z
date_updated: 2020-07-14T12:48:01Z
file_id: '5711'
file_name: 2018_DistributedComputing_Lenzen.pdf
file_size: 799337
relation: main_file
file_date_updated: 2020-07-14T12:48:01Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Distributed Computing
publication_status: published
publisher: Springer
publist_id: '7978'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Near-optimal self-stabilising counting and firing squads
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '530'
abstract:
- lang: eng
text: Inclusion–exclusion is an effective method for computing the volume of a union
of measurable sets. We extend it to multiple coverings, proving short inclusion–exclusion
formulas for the subset of Rn covered by at least k balls in a finite set. We
implement two of the formulas in dimension n=3 and report on results obtained
with our software.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Mabel
full_name: Iglesias Ham, Mabel
id: 41B58C0C-F248-11E8-B48F-1D18A9856A87
last_name: Iglesias Ham
citation:
ama: 'Edelsbrunner H, Iglesias Ham M. Multiple covers with balls I: Inclusion–exclusion.
Computational Geometry: Theory and Applications. 2018;68:119-133. doi:10.1016/j.comgeo.2017.06.014'
apa: 'Edelsbrunner, H., & Iglesias Ham, M. (2018). Multiple covers with balls
I: Inclusion–exclusion. Computational Geometry: Theory and Applications.
Elsevier. https://doi.org/10.1016/j.comgeo.2017.06.014'
chicago: 'Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls
I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications.
Elsevier, 2018. https://doi.org/10.1016/j.comgeo.2017.06.014.'
ieee: 'H. Edelsbrunner and M. Iglesias Ham, “Multiple covers with balls I: Inclusion–exclusion,”
Computational Geometry: Theory and Applications, vol. 68. Elsevier, pp.
119–133, 2018.'
ista: 'Edelsbrunner H, Iglesias Ham M. 2018. Multiple covers with balls I: Inclusion–exclusion.
Computational Geometry: Theory and Applications. 68, 119–133.'
mla: 'Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls
I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications,
vol. 68, Elsevier, 2018, pp. 119–33, doi:10.1016/j.comgeo.2017.06.014.'
short: 'H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications
68 (2018) 119–133.'
date_created: 2018-12-11T11:46:59Z
date_published: 2018-03-01T00:00:00Z
date_updated: 2023-09-13T08:59:00Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1016/j.comgeo.2017.06.014
ec_funded: 1
external_id:
isi:
- '000415778300010'
file:
- access_level: open_access
checksum: 1c8d58cd489a66cd3e2064c1141c8c5e
content_type: application/pdf
creator: dernst
date_created: 2019-02-12T06:47:52Z
date_updated: 2020-07-14T12:46:38Z
file_id: '5953'
file_name: 2018_Edelsbrunner.pdf
file_size: 708357
relation: main_file
file_date_updated: 2020-07-14T12:46:38Z
has_accepted_license: '1'
intvolume: ' 68'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Preprint
page: 119 - 133
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '318493'
name: Topological Complex Systems
publication: 'Computational Geometry: Theory and Applications'
publication_status: published
publisher: Elsevier
publist_id: '7289'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Multiple covers with balls I: Inclusion–exclusion'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 68
year: '2018'
...
---
_id: '307'
abstract:
- lang: eng
text: 'Spontaneous emission spectra of two initially excited closely spaced identical
atoms are very sensitive to the strength and the direction of the applied magnetic
field. We consider the relevant schemes that ensure the determination of the mutual
spatial orientation of the atoms and the distance between them by entirely optical
means. A corresponding theoretical description is given accounting for the dipole-dipole
interaction between the two atoms in the presence of a magnetic field and for
polarizations of the quantum field interacting with magnetic sublevels of the
two-atom system. '
acknowledgement: The work was partially supported by Russian Foundation for Basic
Research (Grant No. 15-02-05657a) and by the Basic research program of Higher School
of Economics (HSE).
article_number: ' 043812 '
article_processing_charge: No
article_type: original
author:
- first_name: Elena
full_name: Redchenko, Elena
id: 2C21D6E8-F248-11E8-B48F-1D18A9856A87
last_name: Redchenko
- first_name: Alexander
full_name: Makarov, Alexander
last_name: Makarov
- first_name: Vladimir
full_name: Yudson, Vladimir
last_name: Yudson
citation:
ama: Redchenko E, Makarov A, Yudson V. Nanoscopy of pairs of atoms by fluorescence
in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics.
2018;97(4). doi:10.1103/PhysRevA.97.043812
apa: Redchenko, E., Makarov, A., & Yudson, V. (2018). Nanoscopy of pairs of
atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular,
and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.97.043812
chicago: Redchenko, Elena, Alexander Makarov, and Vladimir Yudson. “Nanoscopy of
Pairs of Atoms by Fluorescence in a Magnetic Field.” Physical Review A - Atomic,
Molecular, and Optical Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevA.97.043812.
ieee: E. Redchenko, A. Makarov, and V. Yudson, “Nanoscopy of pairs of atoms by fluorescence
in a magnetic field,” Physical Review A - Atomic, Molecular, and Optical Physics,
vol. 97, no. 4. American Physical Society, 2018.
ista: Redchenko E, Makarov A, Yudson V. 2018. Nanoscopy of pairs of atoms by fluorescence
in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics.
97(4), 043812.
mla: Redchenko, Elena, et al. “Nanoscopy of Pairs of Atoms by Fluorescence in a
Magnetic Field.” Physical Review A - Atomic, Molecular, and Optical Physics,
vol. 97, no. 4, 043812, American Physical Society, 2018, doi:10.1103/PhysRevA.97.043812.
short: E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular,
and Optical Physics 97 (2018).
date_created: 2018-12-11T11:45:44Z
date_published: 2018-04-09T00:00:00Z
date_updated: 2023-09-13T09:00:41Z
day: '09'
department:
- _id: JoFi
doi: 10.1103/PhysRevA.97.043812
external_id:
arxiv:
- '1712.10127'
isi:
- '000429454000015'
intvolume: ' 97'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1712.10127
month: '04'
oa: 1
oa_version: Submitted Version
publication: ' Physical Review A - Atomic, Molecular, and Optical Physics'
publication_status: published
publisher: American Physical Society
publist_id: '7572'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nanoscopy of pairs of atoms by fluorescence in a magnetic field
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 97
year: '2018'
...
---
_id: '279'
abstract:
- lang: eng
text: 'Background: Natural selection shapes cancer genomes. Previous studies used
signatures of positive selection to identify genes driving malignant transformation.
However, the contribution of negative selection against somatic mutations that
affect essential tumor functions or specific domains remains a controversial topic.
Results: Here, we analyze 7546 individual exomes from 26 tumor types from TCGA
data to explore the portion of the cancer exome under negative selection. Although
we find most of the genes neutrally evolving in a pan-cancer framework, we identify
essential cancer genes and immune-exposed protein regions under significant negative
selection. Moreover, our simulations suggest that the amount of negative selection
is underestimated. We therefore choose an empirical approach to identify genes,
functions, and protein regions under negative selection. We find that expression
and mutation status of negatively selected genes is indicative of patient survival.
Processes that are most strongly conserved are those that play fundamental cellular
roles such as protein synthesis, glucose metabolism, and molecular transport.
Intriguingly, we observe strong signals of selection in the immunopeptidome and
proteins controlling peptide exposition, highlighting the importance of immune
surveillance evasion. Additionally, tumor type-specific immune activity correlates
with the strength of negative selection on human epitopes. Conclusions: In summary,
our results show that negative selection is a hallmark of cell essentiality and
immune response in cancer. The functional domains identified could be exploited
therapeutically, ultimately allowing for the development of novel cancer treatments.'
article_number: '67'
article_processing_charge: No
author:
- first_name: Luis
full_name: Zapata, Luis
last_name: Zapata
- first_name: Oriol
full_name: Pich, Oriol
last_name: Pich
- first_name: Luis
full_name: Serrano, Luis
last_name: Serrano
- first_name: Fyodor
full_name: Kondrashov, Fyodor
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
- first_name: Stephan
full_name: Ossowski, Stephan
last_name: Ossowski
- first_name: Martin
full_name: Schaefer, Martin
last_name: Schaefer
citation:
ama: Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Negative
selection in tumor genome evolution acts on essential cellular functions and the
immunopeptidome. Genome Biology. 2018;19. doi:10.1186/s13059-018-1434-0
apa: Zapata, L., Pich, O., Serrano, L., Kondrashov, F., Ossowski, S., & Schaefer,
M. (2018). Negative selection in tumor genome evolution acts on essential cellular
functions and the immunopeptidome. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-018-1434-0
chicago: Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski,
and Martin Schaefer. “Negative Selection in Tumor Genome Evolution Acts on Essential
Cellular Functions and the Immunopeptidome.” Genome Biology. BioMed Central,
2018. https://doi.org/10.1186/s13059-018-1434-0.
ieee: L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer,
“Negative selection in tumor genome evolution acts on essential cellular functions
and the immunopeptidome,” Genome Biology, vol. 19. BioMed Central, 2018.
ista: Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Negative
selection in tumor genome evolution acts on essential cellular functions and the
immunopeptidome. Genome Biology. 19, 67.
mla: Zapata, Luis, et al. “Negative Selection in Tumor Genome Evolution Acts on
Essential Cellular Functions and the Immunopeptidome.” Genome Biology,
vol. 19, 67, BioMed Central, 2018, doi:10.1186/s13059-018-1434-0.
short: L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer,
Genome Biology 19 (2018).
date_created: 2018-12-11T11:45:35Z
date_published: 2018-05-31T00:00:00Z
date_updated: 2023-09-13T09:01:32Z
day: '31'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.1186/s13059-018-1434-0
ec_funded: 1
external_id:
isi:
- '000433986200001'
file:
- access_level: open_access
checksum: f3e4922486bd9bf1483271bdbed394a7
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T14:05:01Z
date_updated: 2020-07-14T12:45:47Z
file_id: '5708'
file_name: 2018_GenomeBiology_Zapata.pdf
file_size: 1414722
relation: main_file
file_date_updated: 2020-07-14T12:45:47Z
has_accepted_license: '1'
intvolume: ' 19'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 26120F5C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '335980'
name: Systematic investigation of epistasis in molecular evolution
publication: Genome Biology
publication_status: published
publisher: BioMed Central
publist_id: '7620'
quality_controlled: '1'
related_material:
record:
- id: '9811'
relation: research_data
status: public
- id: '9812'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Negative selection in tumor genome evolution acts on essential cellular functions
and the immunopeptidome
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 19
year: '2018'
...
---
_id: '145'
abstract:
- lang: eng
text: Aged proteins can become hazardous to cellular function, by accumulating molecular
damage. This implies that cells should preferentially rely on newly produced ones.
We tested this hypothesis in cultured hippocampal neurons, focusing on synaptic
transmission. We found that newly synthesized vesicle proteins were incorporated
in the actively recycling pool of vesicles responsible for all neurotransmitter
release during physiological activity. We observed this for the calcium sensor
Synaptotagmin 1, for the neurotransmitter transporter VGAT, and for the fusion
protein VAMP2 (Synaptobrevin 2). Metabolic labeling of proteins and visualization
by secondary ion mass spectrometry enabled us to query the entire protein makeup
of the actively recycling vesicles, which we found to be younger than that of
non-recycling vesicles. The young vesicle proteins remained in use for up to ~
24 h, during which they participated in recycling a few hundred times. They were
afterward reluctant to release and were degraded after an additional ~ 24–48 h.
We suggest that the recycling pool of synaptic vesicles relies on newly synthesized
proteins, while the inactive reserve pool contains older proteins.
acknowledgement: We thank Reinhard Jahn for providing a plasmid for YFP-SNAP25. We
thank Erwin Neher for help with the development of the mathematical model of the
synaptic vesicle life cycle. We thank Martin Meschkat, Andreas Höbartner, Annedore
Punge, and Peer Hoopmann for help with the experiments. We thank Burkhard Rammner
for providing the illustrations of synaptic vesicle and protein dynamics. We thank
Manuel Maidorn, Martin Helm, and Katharina N. Richter for critically reading the
manuscript. S.T. was supported by an Excellence Stipend of the Göttingen Graduate
School for Neurosciences, Biophysics, and Molecular Biosciences (GGNB). E.F.F. is
a recipient of long-term fellowships from the European Molecular Biology Organization
(ALTF_797-2012) and from the Human Frontier Science Program (HFSP_LT000830/2013).
The work was supported by grants to S.O.R. from the European Research Council (ERC-2013-CoG
NeuroMolAnatomy) and from the Deutsche Forschungsgemeinschaft (Cluster of Excellence
Nanoscale Microscopy and Molecular Physiology of the Brain, SFB1190/P09, SFB889/A05,
and SFB1286/A03, and DFG RI 1967 7/1). The nanoSIMS instrument was funded by the
German Federal Ministry of Education and Research (03F0626A).
article_number: e98044
article_processing_charge: No
article_type: original
author:
- first_name: Sven M
full_name: Truckenbrodt, Sven M
id: 45812BD4-F248-11E8-B48F-1D18A9856A87
last_name: Truckenbrodt
- first_name: Abhiyan
full_name: Viplav, Abhiyan
last_name: Viplav
- first_name: Sebsatian
full_name: Jähne, Sebsatian
last_name: Jähne
- first_name: Angela
full_name: Vogts, Angela
last_name: Vogts
- first_name: Annette
full_name: Denker, Annette
last_name: Denker
- first_name: Hanna
full_name: Wildhagen, Hanna
last_name: Wildhagen
- first_name: Eugenio
full_name: Fornasiero, Eugenio
last_name: Fornasiero
- first_name: Silvio
full_name: Rizzoli, Silvio
last_name: Rizzoli
citation:
ama: Truckenbrodt SM, Viplav A, Jähne S, et al. Newly produced synaptic vesicle
proteins are preferentially used in synaptic transmission. The EMBO Journal.
2018;37(15). doi:10.15252/embj.201798044
apa: Truckenbrodt, S. M., Viplav, A., Jähne, S., Vogts, A., Denker, A., Wildhagen,
H., … Rizzoli, S. (2018). Newly produced synaptic vesicle proteins are preferentially
used in synaptic transmission. The EMBO Journal. Wiley. https://doi.org/10.15252/embj.201798044
chicago: Truckenbrodt, Sven M, Abhiyan Viplav, Sebsatian Jähne, Angela Vogts, Annette
Denker, Hanna Wildhagen, Eugenio Fornasiero, and Silvio Rizzoli. “Newly Produced
Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.” The
EMBO Journal. Wiley, 2018. https://doi.org/10.15252/embj.201798044.
ieee: S. M. Truckenbrodt et al., “Newly produced synaptic vesicle proteins
are preferentially used in synaptic transmission,” The EMBO Journal, vol.
37, no. 15. Wiley, 2018.
ista: Truckenbrodt SM, Viplav A, Jähne S, Vogts A, Denker A, Wildhagen H, Fornasiero
E, Rizzoli S. 2018. Newly produced synaptic vesicle proteins are preferentially
used in synaptic transmission. The EMBO Journal. 37(15), e98044.
mla: Truckenbrodt, Sven M., et al. “Newly Produced Synaptic Vesicle Proteins Are
Preferentially Used in Synaptic Transmission.” The EMBO Journal, vol. 37,
no. 15, e98044, Wiley, 2018, doi:10.15252/embj.201798044.
short: S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen,
E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).
date_created: 2018-12-11T11:44:52Z
date_published: 2018-08-01T00:00:00Z
date_updated: 2023-09-13T09:02:48Z
day: '01'
ddc:
- '570'
department:
- _id: JoDa
doi: 10.15252/embj.201798044
external_id:
isi:
- '000440416900005'
pmid:
- '29950309'
file:
- access_level: open_access
checksum: a540feb6c9af6aefc78de531461a8835
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T14:17:29Z
date_updated: 2020-07-14T12:44:56Z
file_id: '5710'
file_name: 2018_EMBO_Truckenbrodt.pdf
file_size: 2846470
relation: main_file
file_date_updated: 2020-07-14T12:44:56Z
has_accepted_license: '1'
intvolume: ' 37'
isi: 1
issue: '15'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: The EMBO Journal
publication_identifier:
issn:
- 0261-4189
publication_status: published
publisher: Wiley
publist_id: '7778'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Newly produced synaptic vesicle proteins are preferentially used in synaptic
transmission
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 37
year: '2018'
...
---
_id: '462'
abstract:
- lang: eng
text: 'AtNHX5 and AtNHX6 are endosomal Na+,K+/H+ antiporters that are critical for
growth and development in Arabidopsis, but the mechanism behind their action remains
unknown. Here, we report that AtNHX5 and AtNHX6, functioning as H+ leak, control
auxin homeostasis and auxin-mediated development. We found that nhx5 nhx6 exhibited
growth variations of auxin-related defects. We further showed that nhx5 nhx6 was
affected in auxin homeostasis. Genetic analysis showed that AtNHX5 and AtNHX6
were required for the function of the ER-localized auxin transporter PIN5. Although
AtNHX5 and AtNHX6 were co-localized with PIN5 at ER, they did not interact directly.
Instead, the conserved acidic residues in AtNHX5 and AtNHX6, which are essential
for exchange activity, were required for PIN5 function. AtNHX5 and AtNHX6 regulated
the pH in ER. Overall, AtNHX5 and AtNHX6 may regulate auxin transport across the
ER via the pH gradient created by their transport activity. H+-leak pathway provides
a fine-tuning mechanism that controls cellular auxin fluxes. '
acknowledgement: 'This work was supported by the National Natural Science Foundation
of China (31571464, 31371438 and 31070222 to Q.S.Q.), the National Basic Research
Program of China (973 project, 2013CB429904 to Q.S.Q.), the Research Fund for the
Doctoral Program of Higher Education of China (20130211110001 to Q.S.Q.), the Ministry
of Education, Youth and Sports of the Czech Republic (the National Program for Sustainability
I, LO1204), and The Czech Science Foundation GAČR (GA13–40637S) to JF. We thank
Dr. Tom J. Guilfoyle for DR5::GUS line and Dr. Jia Li for pBIB‐RFP vector and DR5::GFP
line. We thank Liping Guan and Yang Zhao for their help with the confocal microscope
assay. '
article_processing_charge: No
article_type: original
author:
- first_name: Ligang
full_name: Fan, Ligang
last_name: Fan
- first_name: Lei
full_name: Zhao, Lei
last_name: Zhao
- first_name: Wei
full_name: Hu, Wei
last_name: Hu
- first_name: Weina
full_name: Li, Weina
last_name: Li
- first_name: Ondřej
full_name: Novák, Ondřej
last_name: Novák
- first_name: Miroslav
full_name: Strnad, Miroslav
last_name: Strnad
- first_name: Sibu
full_name: Simon, Sibu
id: 4542EF9A-F248-11E8-B48F-1D18A9856A87
last_name: Simon
orcid: 0000-0002-1998-6741
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Jinbo
full_name: Shen, Jinbo
last_name: Shen
- first_name: Liwen
full_name: Jiang, Liwen
last_name: Jiang
- first_name: Quan
full_name: Qiu, Quan
last_name: Qiu
citation:
ama: Fan L, Zhao L, Hu W, et al. NHX antiporters regulate the pH of endoplasmic
reticulum and auxin-mediated development. Plant, Cell and Environment.
2018;41:850-864. doi:10.1111/pce.13153
apa: Fan, L., Zhao, L., Hu, W., Li, W., Novák, O., Strnad, M., … Qiu, Q. (2018).
NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development.
Plant, Cell and Environment. Wiley-Blackwell. https://doi.org/10.1111/pce.13153
chicago: Fan, Ligang, Lei Zhao, Wei Hu, Weina Li, Ondřej Novák, Miroslav Strnad,
Sibu Simon, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum and
Auxin-Mediated Development.” Plant, Cell and Environment. Wiley-Blackwell,
2018. https://doi.org/10.1111/pce.13153.
ieee: L. Fan et al., “NHX antiporters regulate the pH of endoplasmic reticulum
and auxin-mediated development,” Plant, Cell and Environment, vol. 41.
Wiley-Blackwell, pp. 850–864, 2018.
ista: Fan L, Zhao L, Hu W, Li W, Novák O, Strnad M, Simon S, Friml J, Shen J, Jiang
L, Qiu Q. 2018. NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated
development. Plant, Cell and Environment. 41, 850–864.
mla: Fan, Ligang, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum
and Auxin-Mediated Development.” Plant, Cell and Environment, vol. 41,
Wiley-Blackwell, 2018, pp. 850–64, doi:10.1111/pce.13153.
short: L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J.
Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.
date_created: 2018-12-11T11:46:36Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-09-13T09:03:18Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/pce.13153
external_id:
isi:
- '000426870500012'
pmid:
- '29360148'
file:
- access_level: open_access
checksum: 6a20f843565f962cb20281cdf5e40914
content_type: application/pdf
creator: dernst
date_created: 2019-11-18T16:22:22Z
date_updated: 2020-07-14T12:46:32Z
file_id: '7042'
file_name: 2018_PlantCellEnv_Fan.pdf
file_size: 1937976
relation: main_file
file_date_updated: 2020-07-14T12:46:32Z
has_accepted_license: '1'
intvolume: ' 41'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 850 - 864
pmid: 1
publication: Plant, Cell and Environment
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7359'
quality_controlled: '1'
scopus_import: '1'
status: public
title: NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated
development
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 41
year: '2018'
...
---
_id: '519'
abstract:
- lang: eng
text: 'This study treats with the influence of a symmetry-breaking transversal magnetic
field on the nonlinear dynamics of ferrofluidic Taylor-Couette flow – flow confined
between two concentric independently rotating cylinders. We detected alternating
‘flip’ solutions which are flow states featuring typical characteristics of slow-fast-dynamics
in dynamical systems. The flip corresponds to a temporal change in the axial wavenumber
and we find them to appear either as pure 2-fold axisymmetric (due to the symmetry-breaking
nature of the applied transversal magnetic field) or involving non-axisymmetric,
helical modes in its interim solution. The latter ones show features of typical
ribbon solutions. In any case the flip solutions have a preferential first axial
wavenumber which corresponds to the more stable state (slow dynamics) and second
axial wavenumber, corresponding to the short appearing more unstable state (fast
dynamics). However, in both cases the flip time grows exponential with increasing
the magnetic field strength before the flip solutions, living on 2-tori invariant
manifolds, cease to exist, with lifetime going to infinity. Further we show that
ferrofluidic flow turbulence differ from the classical, ordinary (usually at high
Reynolds number) turbulence. The applied magnetic field hinders the free motion
of ferrofluid partials and therefore smoothen typical turbulent quantities and
features so that speaking of mildly chaotic dynamics seems to be a more appropriate
expression for the observed motion. '
acknowledgement: S.Altmeyer is a Serra Húnter Fellow
article_processing_charge: No
article_type: original
author:
- first_name: Sebastian
full_name: Altmeyer, Sebastian
id: 2EE67FDC-F248-11E8-B48F-1D18A9856A87
last_name: Altmeyer
orcid: 0000-0001-5964-0203
citation:
ama: Altmeyer S. Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic
Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. 2018;452:427-441.
doi:10.1016/j.jmmm.2017.12.073
apa: Altmeyer, S. (2018). Non-linear dynamics and alternating ‘flip’ solutions in
ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials.
Elsevier. https://doi.org/10.1016/j.jmmm.2017.12.073
chicago: Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions
in Ferrofluidic Taylor-Couette Flow.” Journal of Magnetism and Magnetic Materials.
Elsevier, 2018. https://doi.org/10.1016/j.jmmm.2017.12.073.
ieee: S. Altmeyer, “Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic
Taylor-Couette flow,” Journal of Magnetism and Magnetic Materials, vol.
452. Elsevier, pp. 427–441, 2018.
ista: Altmeyer S. 2018. Non-linear dynamics and alternating ‘flip’ solutions in
ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials.
452, 427–441.
mla: Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions
in Ferrofluidic Taylor-Couette Flow.” Journal of Magnetism and Magnetic Materials,
vol. 452, Elsevier, 2018, pp. 427–41, doi:10.1016/j.jmmm.2017.12.073.
short: S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.
date_created: 2018-12-11T11:46:56Z
date_published: 2018-04-15T00:00:00Z
date_updated: 2023-09-13T09:03:44Z
day: '15'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1016/j.jmmm.2017.12.073
external_id:
isi:
- '000425547700061'
file:
- access_level: open_access
checksum: 431f5cd4a628d7ca21161f82b14ccb4f
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T14:41:17Z
date_updated: 2020-07-14T12:46:37Z
file_id: '7838'
file_name: 2018_Magnetism_Altmeyer.pdf
file_size: 17309535
relation: main_file
file_date_updated: 2020-07-14T12:46:37Z
has_accepted_license: '1'
intvolume: ' 452'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 427 - 441
publication: Journal of Magnetism and Magnetic Materials
publication_status: published
publisher: Elsevier
publist_id: '7297'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette
flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 452
year: '2018'
...
---
_id: '5679'
abstract:
- lang: eng
text: We study the almost-sure termination problem for probabilistic programs. First,
we show that supermartingales with lower bounds on conditional absolute difference
provide a sound approach for the almost-sure termination problem. Moreover, using
this approach we can obtain explicit optimal bounds on tail probabilities of non-termination
within a given number of steps. Second, we present a new approach based on Central
Limit Theorem for the almost-sure termination problem, and show that this approach
can establish almost-sure termination of programs which none of the existing approaches
can handle. Finally, we discuss algorithmic approaches for the two above methods
that lead to automated analysis techniques for almost-sure termination of probabilistic
programs.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Mingzhang
full_name: Huang, Mingzhang
last_name: Huang
- first_name: Hongfei
full_name: Fu, Hongfei
last_name: Fu
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: 'Huang M, Fu H, Chatterjee K. New approaches for almost-sure termination of
probabilistic programs. In: Ryu S, ed. Vol 11275. Springer; 2018:181-201. doi:10.1007/978-3-030-02768-1_11'
apa: 'Huang, M., Fu, H., & Chatterjee, K. (2018). New approaches for almost-sure
termination of probabilistic programs. In S. Ryu (Ed.) (Vol. 11275, pp. 181–201).
Presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS,
Wellington, New Zealand: Springer. https://doi.org/10.1007/978-3-030-02768-1_11'
chicago: Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches
for Almost-Sure Termination of Probabilistic Programs.” edited by Sukyoung Ryu,
11275:181–201. Springer, 2018. https://doi.org/10.1007/978-3-030-02768-1_11.
ieee: M. Huang, H. Fu, and K. Chatterjee, “New approaches for almost-sure termination
of probabilistic programs,” presented at the 16th Asian Symposium on Programming
Languages and Systems, APLAS, Wellington, New Zealand, 2018, vol. 11275, pp. 181–201.
ista: Huang M, Fu H, Chatterjee K. 2018. New approaches for almost-sure termination
of probabilistic programs. 16th Asian Symposium on Programming Languages and Systems,
APLAS, LNCS, vol. 11275, 181–201.
mla: Huang, Mingzhang, et al. New Approaches for Almost-Sure Termination of Probabilistic
Programs. Edited by Sukyoung Ryu, vol. 11275, Springer, 2018, pp. 181–201,
doi:10.1007/978-3-030-02768-1_11.
short: M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
conference:
end_date: 2018-12-06
location: Wellington, New Zealand
name: 16th Asian Symposium on Programming Languages and Systems, APLAS
start_date: 2018-12-02
date_created: 2018-12-16T22:59:20Z
date_published: 2018-12-01T00:00:00Z
date_updated: 2023-09-13T09:02:22Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-030-02768-1_11
editor:
- first_name: Sukyoung
full_name: Ryu, Sukyoung
last_name: Ryu
external_id:
arxiv:
- '1806.06683'
isi:
- '000916310900011'
intvolume: ' 11275'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1806.06683
month: '12'
oa: 1
oa_version: Preprint
page: 181-201
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication_identifier:
isbn:
- '9783030027674'
issn:
- '03029743'
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: New approaches for almost-sure termination of probabilistic programs
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11275
year: '2018'
...
---
_id: '9812'
abstract:
- lang: eng
text: This document contains the full list of genes with their respective significance
and dN/dS values. (TXT 4499Â kb)
article_processing_charge: No
author:
- first_name: Luis
full_name: Zapata, Luis
last_name: Zapata
- first_name: Oriol
full_name: Pich, Oriol
last_name: Pich
- first_name: Luis
full_name: Serrano, Luis
last_name: Serrano
- first_name: Fyodor
full_name: Kondrashov, Fyodor
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
- first_name: Stephan
full_name: Ossowski, Stephan
last_name: Ossowski
- first_name: Martin
full_name: Schaefer, Martin
last_name: Schaefer
citation:
ama: 'Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Additional
file 2: Of negative selection in tumor genome evolution acts on essential cellular
functions and the immunopeptidome. 2018. doi:10.6084/m9.figshare.6401414.v1'
apa: 'Zapata, L., Pich, O., Serrano, L., Kondrashov, F., Ossowski, S., & Schaefer,
M. (2018). Additional file 2: Of negative selection in tumor genome evolution
acts on essential cellular functions and the immunopeptidome. Springer Nature.
https://doi.org/10.6084/m9.figshare.6401414.v1'
chicago: 'Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski,
and Martin Schaefer. “Additional File 2: Of Negative Selection in Tumor Genome
Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Springer
Nature, 2018. https://doi.org/10.6084/m9.figshare.6401414.v1.'
ieee: 'L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer,
“Additional file 2: Of negative selection in tumor genome evolution acts on essential
cellular functions and the immunopeptidome.” Springer Nature, 2018.'
ista: 'Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018.
Additional file 2: Of negative selection in tumor genome evolution acts on essential
cellular functions and the immunopeptidome, Springer Nature, 10.6084/m9.figshare.6401414.v1.'
mla: 'Zapata, Luis, et al. Additional File 2: Of Negative Selection in Tumor
Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.
Springer Nature, 2018, doi:10.6084/m9.figshare.6401414.v1.'
short: L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer,
(2018).
date_created: 2021-08-06T12:58:25Z
date_published: 2018-05-31T00:00:00Z
date_updated: 2023-09-13T09:01:31Z
day: '31'
department:
- _id: FyKo
doi: 10.6084/m9.figshare.6401414.v1
main_file_link:
- open_access: '1'
url: https://doi.org/10.6084/m9.figshare.6401414.v1
month: '05'
oa: 1
oa_version: Published Version
publisher: Springer Nature
related_material:
record:
- id: '279'
relation: used_in_publication
status: public
status: public
title: 'Additional file 2: Of negative selection in tumor genome evolution acts on
essential cellular functions and the immunopeptidome'
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2018'
...