--- _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: '546' abstract: - lang: eng text: The precise control of neural stem cell (NSC) proliferation and differentiation is crucial for the development and function of the human brain. Here, we review the emerging links between the alteration of embryonic and adult neurogenesis and the etiology of neuropsychiatric disorders (NPDs) such as autism spectrum disorders (ASDs) and schizophrenia (SCZ), as well as the advances in stem cell-based modeling and the novel therapeutic targets derived from these studies. article_processing_charge: No author: - first_name: Roberto full_name: Sacco, Roberto id: 42C9F57E-F248-11E8-B48F-1D18A9856A87 last_name: Sacco - first_name: Emanuele full_name: Cacci, Emanuele last_name: Cacci - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 citation: ama: Sacco R, Cacci E, Novarino G. Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. 2018;48(2):131-138. doi:10.1016/j.conb.2017.12.005 apa: Sacco, R., Cacci, E., & Novarino, G. (2018). Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2017.12.005 chicago: Sacco, Roberto, Emanuele Cacci, and Gaia Novarino. “Neural Stem Cells in Neuropsychiatric Disorders.” Current Opinion in Neurobiology. Elsevier, 2018. https://doi.org/10.1016/j.conb.2017.12.005. ieee: R. Sacco, E. Cacci, and G. Novarino, “Neural stem cells in neuropsychiatric disorders,” Current Opinion in Neurobiology, vol. 48, no. 2. Elsevier, pp. 131–138, 2018. ista: Sacco R, Cacci E, Novarino G. 2018. Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. 48(2), 131–138. mla: Sacco, Roberto, et al. “Neural Stem Cells in Neuropsychiatric Disorders.” Current Opinion in Neurobiology, vol. 48, no. 2, Elsevier, 2018, pp. 131–38, doi:10.1016/j.conb.2017.12.005. short: R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138. date_created: 2018-12-11T11:47:06Z date_published: 2018-02-01T00:00:00Z date_updated: 2023-09-13T09:01:56Z day: '01' department: - _id: GaNo doi: 10.1016/j.conb.2017.12.005 external_id: isi: - '000427101600018' intvolume: ' 48' isi: 1 issue: '2' language: - iso: eng month: '02' oa_version: None page: 131 - 138 publication: Current Opinion in Neurobiology publication_status: published publisher: Elsevier publist_id: '7268' quality_controlled: '1' scopus_import: '1' status: public title: Neural stem cells in neuropsychiatric disorders type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 48 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' ...