--- _id: '7106' abstract: - lang: eng text: PIN-FORMED (PIN) transporters mediate directional, intercellular movement of the phytohormone auxin in land plants. To elucidate the evolutionary origins of this developmentally crucial mechanism, we analysed the single PIN homologue of a simple green alga Klebsormidium flaccidum. KfPIN functions as a plasma membrane-localized auxin exporter in land plants and heterologous models. While its role in algae remains unclear, PIN-driven auxin export is probably an ancient and conserved trait within streptophytes. article_processing_charge: No article_type: original author: - first_name: Roman full_name: Skokan, Roman last_name: Skokan - first_name: Eva full_name: Medvecká, Eva last_name: Medvecká - first_name: Tom full_name: Viaene, Tom last_name: Viaene - first_name: Stanislav full_name: Vosolsobě, Stanislav last_name: Vosolsobě - first_name: Marta full_name: Zwiewka, Marta last_name: Zwiewka - first_name: Karel full_name: Müller, Karel last_name: Müller - first_name: Petr full_name: Skůpa, Petr last_name: Skůpa - first_name: Michal full_name: Karady, Michal last_name: Karady - first_name: Yuzhou full_name: Zhang, Yuzhou last_name: Zhang - first_name: Dorina P. full_name: Janacek, Dorina P. last_name: Janacek - first_name: Ulrich Z. full_name: Hammes, Ulrich Z. last_name: Hammes - first_name: Karin full_name: Ljung, Karin last_name: Ljung - first_name: Tomasz full_name: Nodzyński, Tomasz last_name: Nodzyński - first_name: Jan full_name: Petrášek, Jan last_name: Petrášek - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Skokan R, Medvecká E, Viaene T, et al. PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. 2019;5(11):1114-1119. doi:10.1038/s41477-019-0542-5 apa: Skokan, R., Medvecká, E., Viaene, T., Vosolsobě, S., Zwiewka, M., Müller, K., … Friml, J. (2019). PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. Springer Nature. https://doi.org/10.1038/s41477-019-0542-5 chicago: Skokan, Roman, Eva Medvecká, Tom Viaene, Stanislav Vosolsobě, Marta Zwiewka, Karel Müller, Petr Skůpa, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte Evolution.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0542-5. ieee: R. Skokan et al., “PIN-driven auxin transport emerged early in streptophyte evolution,” Nature Plants, vol. 5, no. 11. Springer Nature, pp. 1114–1119, 2019. ista: Skokan R, Medvecká E, Viaene T, Vosolsobě S, Zwiewka M, Müller K, Skůpa P, Karady M, Zhang Y, Janacek DP, Hammes UZ, Ljung K, Nodzyński T, Petrášek J, Friml J. 2019. PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. 5(11), 1114–1119. mla: Skokan, Roman, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte Evolution.” Nature Plants, vol. 5, no. 11, Springer Nature, 2019, pp. 1114–19, doi:10.1038/s41477-019-0542-5. short: R. Skokan, E. Medvecká, T. Viaene, S. Vosolsobě, M. Zwiewka, K. Müller, P. Skůpa, M. Karady, Y. Zhang, D.P. Janacek, U.Z. Hammes, K. Ljung, T. Nodzyński, J. Petrášek, J. Friml, Nature Plants 5 (2019) 1114–1119. date_created: 2019-11-25T09:08:04Z date_published: 2019-11-01T00:00:00Z date_updated: 2023-09-06T11:09:49Z day: '01' ddc: - '580' department: - _id: JiFr doi: 10.1038/s41477-019-0542-5 ec_funded: 1 external_id: isi: - '000496526100010' pmid: - '31712756' file: - access_level: open_access checksum: 94e0426856aad9a9bd0135d5436efbf1 content_type: application/pdf creator: dernst date_created: 2020-10-14T08:54:49Z date_updated: 2020-10-14T08:54:49Z file_id: '8660' file_name: 2019_NaturePlants_Skokan_accepted.pdf file_size: 1980851 relation: main_file success: 1 file_date_updated: 2020-10-14T08:54:49Z has_accepted_license: '1' intvolume: ' 5' isi: 1 issue: '11' language: - iso: eng month: '11' oa: 1 oa_version: Submitted Version page: 1114-1119 pmid: 1 project: - _id: 261099A6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742985' name: Tracing Evolution of Auxin Transport and Polarity in Plants publication: Nature Plants publication_identifier: issn: - 2055-0278 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: PIN-driven auxin transport emerged early in streptophyte evolution type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 5 year: '2019' ... --- _id: '7105' abstract: - lang: eng text: Cell migration is hypothesized to involve a cycle of behaviours beginning with leading edge extension. However, recent evidence suggests that the leading edge may be dispensable for migration, raising the question of what actually controls cell directionality. Here, we exploit the embryonic migration of Drosophila macrophages to bridge the different temporal scales of the behaviours controlling motility. This approach reveals that edge fluctuations during random motility are not persistent and are weakly correlated with motion. In contrast, flow of the actin network behind the leading edge is highly persistent. Quantification of actin flow structure during migration reveals a stable organization and asymmetry in the cell-wide flowfield that strongly correlates with cell directionality. This organization is regulated by a gradient of actin network compression and destruction, which is controlled by myosin contraction and cofilin-mediated disassembly. It is this stable actin-flow polarity, which integrates rapid fluctuations of the leading edge, that controls inherent cellular persistence. article_processing_charge: No article_type: original author: - first_name: Lawrence full_name: Yolland, Lawrence last_name: Yolland - first_name: Mubarik full_name: Burki, Mubarik last_name: Burki - first_name: Stefania full_name: Marcotti, Stefania last_name: Marcotti - first_name: Andrei full_name: Luchici, Andrei last_name: Luchici - first_name: Fiona N. full_name: Kenny, Fiona N. last_name: Kenny - first_name: John Robert full_name: Davis, John Robert last_name: Davis - first_name: Eduardo full_name: Serna-Morales, Eduardo last_name: Serna-Morales - first_name: Jan full_name: Müller, Jan id: AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D last_name: Müller - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Andrew full_name: Davidson, Andrew last_name: Davidson - first_name: Will full_name: Wood, Will last_name: Wood - first_name: Linus J. full_name: Schumacher, Linus J. last_name: Schumacher - first_name: Robert G. full_name: Endres, Robert G. last_name: Endres - first_name: Mark full_name: Miodownik, Mark last_name: Miodownik - first_name: Brian M. full_name: Stramer, Brian M. last_name: Stramer citation: ama: Yolland L, Burki M, Marcotti S, et al. Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. 2019;21(11):1370-1381. doi:10.1038/s41556-019-0411-5 apa: Yolland, L., Burki, M., Marcotti, S., Luchici, A., Kenny, F. N., Davis, J. R., … Stramer, B. M. (2019). Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/s41556-019-0411-5 chicago: Yolland, Lawrence, Mubarik Burki, Stefania Marcotti, Andrei Luchici, Fiona N. Kenny, John Robert Davis, Eduardo Serna-Morales, et al. “Persistent and Polarized Global Actin Flow Is Essential for Directionality during Cell Migration.” Nature Cell Biology. Springer Nature, 2019. https://doi.org/10.1038/s41556-019-0411-5. ieee: L. Yolland et al., “Persistent and polarized global actin flow is essential for directionality during cell migration,” Nature Cell Biology, vol. 21, no. 11. Springer Nature, pp. 1370–1381, 2019. ista: Yolland L, Burki M, Marcotti S, Luchici A, Kenny FN, Davis JR, Serna-Morales E, Müller J, Sixt MK, Davidson A, Wood W, Schumacher LJ, Endres RG, Miodownik M, Stramer BM. 2019. Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. 21(11), 1370–1381. mla: Yolland, Lawrence, et al. “Persistent and Polarized Global Actin Flow Is Essential for Directionality during Cell Migration.” Nature Cell Biology, vol. 21, no. 11, Springer Nature, 2019, pp. 1370–81, doi:10.1038/s41556-019-0411-5. short: L. Yolland, M. Burki, S. Marcotti, A. Luchici, F.N. Kenny, J.R. Davis, E. Serna-Morales, J. Müller, M.K. Sixt, A. Davidson, W. Wood, L.J. Schumacher, R.G. Endres, M. Miodownik, B.M. Stramer, Nature Cell Biology 21 (2019) 1370–1381. date_created: 2019-11-25T08:55:00Z date_published: 2019-11-01T00:00:00Z date_updated: 2023-09-06T11:08:52Z day: '01' department: - _id: MiSi doi: 10.1038/s41556-019-0411-5 external_id: isi: - '000495888300009' pmid: - '31685997' intvolume: ' 21' isi: 1 issue: '11' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7025891 month: '11' oa: 1 oa_version: Submitted Version page: 1370-1381 pmid: 1 publication: Nature Cell Biology publication_identifier: eissn: - 1476-4679 issn: - 1465-7392 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Persistent and polarized global actin flow is essential for directionality during cell migration type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 21 year: '2019' ... --- _id: '7109' abstract: - lang: eng text: We show how to construct temporal testers for the logic MITL, a prominent linear-time logic for real-time systems. A temporal tester is a transducer that inputs a signal holding the Boolean value of atomic propositions and outputs the truth value of a formula along time. Here we consider testers over continuous-time Boolean signals that use clock variables to enforce duration constraints, as in timed automata. We first rewrite the MITL formula into a “simple” formula using a limited set of temporal modalities. We then build testers for these specific modalities and show how to compose testers for simple formulae into complex ones. Temporal testers can be turned into acceptors, yielding a compositional translation from MITL to timed automata. This construction is much simpler than previously known and remains asymptotically optimal. It supports both past and future operators and can easily be extended. article_number: '19' article_processing_charge: No article_type: original author: - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Oded full_name: Maler, Oded last_name: Maler - first_name: Dejan full_name: Ničković, Dejan last_name: Ničković - first_name: Amir full_name: Pnueli, Amir last_name: Pnueli citation: ama: Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. Journal of the ACM. 2019;66(3). doi:10.1145/3286976 apa: Ferrere, T., Maler, O., Ničković, D., & Pnueli, A. (2019). From real-time logic to timed automata. Journal of the ACM. ACM. https://doi.org/10.1145/3286976 chicago: Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3286976. ieee: T. Ferrere, O. Maler, D. Ničković, and A. Pnueli, “From real-time logic to timed automata,” Journal of the ACM, vol. 66, no. 3. ACM, 2019. ista: Ferrere T, Maler O, Ničković D, Pnueli A. 2019. From real-time logic to timed automata. Journal of the ACM. 66(3), 19. mla: Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” Journal of the ACM, vol. 66, no. 3, 19, ACM, 2019, doi:10.1145/3286976. short: T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019). date_created: 2019-11-26T10:22:32Z date_published: 2019-05-01T00:00:00Z date_updated: 2023-09-06T11:11:56Z day: '01' department: - _id: ToHe doi: 10.1145/3286976 external_id: isi: - '000495406300005' intvolume: ' 66' isi: 1 issue: '3' language: - iso: eng month: '05' oa_version: None project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize publication: Journal of the ACM publication_identifier: issn: - 0004-5411 publication_status: published publisher: ACM quality_controlled: '1' scopus_import: '1' status: public title: From real-time logic to timed automata type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 66 year: '2019' ... --- _id: '7108' abstract: - lang: eng text: We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes. Another simple corollary of our result is that it is NP-hard to decide whether a given poset is CL-shellable. article_number: '21' article_processing_charge: No article_type: original author: - first_name: Xavier full_name: Goaoc, Xavier last_name: Goaoc - first_name: Pavel full_name: Patak, Pavel id: B593B804-1035-11EA-B4F1-947645A5BB83 last_name: Patak - first_name: Zuzana full_name: Patakova, Zuzana id: 48B57058-F248-11E8-B48F-1D18A9856A87 last_name: Patakova orcid: 0000-0002-3975-1683 - first_name: Martin full_name: Tancer, Martin last_name: Tancer - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 citation: ama: Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. Journal of the ACM. 2019;66(3). doi:10.1145/3314024 apa: Goaoc, X., Patak, P., Patakova, Z., Tancer, M., & Wagner, U. (2019). Shellability is NP-complete. Journal of the ACM. ACM. https://doi.org/10.1145/3314024 chicago: Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3314024. ieee: X. Goaoc, P. Patak, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” Journal of the ACM, vol. 66, no. 3. ACM, 2019. ista: Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete. Journal of the ACM. 66(3), 21. mla: Goaoc, Xavier, et al. “Shellability Is NP-Complete.” Journal of the ACM, vol. 66, no. 3, 21, ACM, 2019, doi:10.1145/3314024. short: X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019). date_created: 2019-11-26T10:13:59Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-09-06T11:10:58Z day: '01' department: - _id: UlWa doi: 10.1145/3314024 external_id: arxiv: - '1711.08436' isi: - '000495406300007' intvolume: ' 66' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/pdf/1711.08436.pdf month: '06' oa: 1 oa_version: Preprint publication: Journal of the ACM publication_identifier: issn: - 0004-5411 publication_status: published publisher: ACM quality_controlled: '1' related_material: record: - id: '184' relation: earlier_version status: public scopus_import: '1' status: public title: Shellability is NP-complete type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 66 year: '2019' ... --- _id: '7147' abstract: - lang: eng text: "The expression of a gene is characterised by its transcription factors and the function processing them. If the transcription factors are not affected by gene products, the regulating function is often represented as a combinational logic circuit, where the outputs (product) are determined by current input values (transcription factors) only, and are hence independent on their relative arrival times. However, the simultaneous arrival of transcription factors (TFs) in genetic circuits is a strong assumption, given that the processes of transcription and translation of a gene into a protein introduce intrinsic time delays and that there is no global synchronisation among the arrival times of different molecular species at molecular targets.\r\n\r\nIn this paper, we construct an experimentally implementable genetic circuit with two inputs and a single output, such that, in presence of small delays in input arrival, the circuit exhibits qualitatively distinct observable phenotypes. In particular, these phenotypes are long lived transients: they all converge to a single value, but so slowly, that they seem stable for an extended time period, longer than typical experiment duration. We used rule-based language to prototype our circuit, and we implemented a search for finding the parameter combinations raising the phenotypes of interest.\r\n\r\nThe behaviour of our prototype circuit has wide implications. First, it suggests that GRNs can exploit event timing to create phenotypes. Second, it opens the possibility that GRNs are using event timing to react to stimuli and memorise events, without explicit feedback in regulation. From the modelling perspective, our prototype circuit demonstrates the critical importance of analysing the transient dynamics at the promoter binding sites of the DNA, before applying rapid equilibrium assumptions." alternative_title: - LNCS article_processing_charge: No author: - first_name: Calin C full_name: Guet, Calin C id: 47F8433E-F248-11E8-B48F-1D18A9856A87 last_name: Guet orcid: 0000-0001-6220-2052 - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Claudia full_name: Igler, Claudia id: 46613666-F248-11E8-B48F-1D18A9856A87 last_name: Igler - first_name: Tatjana full_name: Petrov, Tatjana id: 3D5811FC-F248-11E8-B48F-1D18A9856A87 last_name: Petrov orcid: 0000-0002-9041-0905 - first_name: Ali full_name: Sezgin, Ali id: 4C7638DA-F248-11E8-B48F-1D18A9856A87 last_name: Sezgin citation: ama: 'Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9' apa: 'Guet, C. C., Henzinger, T. A., Igler, C., Petrov, T., & Sezgin, A. (2019). Transient memory in gene regulation. In 17th International Conference on Computational Methods in Systems Biology (Vol. 11773, pp. 155–187). Trieste, Italy: Springer Nature. https://doi.org/10.1007/978-3-030-31304-3_9' chicago: Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31304-3_9. ieee: C. C. Guet, T. A. Henzinger, C. Igler, T. Petrov, and A. Sezgin, “Transient memory in gene regulation,” in 17th International Conference on Computational Methods in Systems Biology, Trieste, Italy, 2019, vol. 11773, pp. 155–187. ista: 'Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. 2019. Transient memory in gene regulation. 17th International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNCS, vol. 11773, 155–187.' mla: Guet, Calin C., et al. “Transient Memory in Gene Regulation.” 17th International Conference on Computational Methods in Systems Biology, vol. 11773, Springer Nature, 2019, pp. 155–87, doi:10.1007/978-3-030-31304-3_9. short: C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187. conference: end_date: 2019-09-20 location: Trieste, Italy name: 'CMSB: Computational Methods in Systems Biology' start_date: 2019-09-18 date_created: 2019-12-04T16:07:50Z date_published: 2019-09-17T00:00:00Z date_updated: 2023-09-06T11:18:08Z day: '17' department: - _id: CaGu - _id: ToHe doi: 10.1007/978-3-030-31304-3_9 external_id: isi: - '000557875100009' intvolume: ' 11773' isi: 1 language: - iso: eng month: '09' oa_version: None page: 155-187 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 251EE76E-B435-11E9-9278-68D0E5697425 grant_number: '24573' name: Design principles underlying genetic switch architecture publication: 17th International Conference on Computational Methods in Systems Biology publication_identifier: eissn: - 1611-3349 isbn: - '9783030313036' - '9783030313043' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Transient memory in gene regulation type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 11773 year: '2019' ... --- _id: '7136' abstract: - lang: eng text: "It is well established that the notion of min-entropy fails to satisfy the \\emph{chain rule} of the form H(X,Y)=H(X|Y)+H(Y), known for Shannon Entropy. Such a property would help to analyze how min-entropy is split among smaller blocks. Problems of this kind arise for example when constructing extractors and dispersers.\r\nWe show that any sequence of variables exhibits a very strong strong block-source structure (conditional distributions of blocks are nearly flat) when we \\emph{spoil few correlated bits}. This implies, conditioned on the spoiled bits, that \\emph{splitting-recombination properties} hold. In particular, we have many nice properties that min-entropy doesn't obey in general, for example strong chain rules, \"information can't hurt\" inequalities, equivalences of average and worst-case conditional entropy definitions and others. Quantitatively, for any sequence X1,…,Xt of random variables over an alphabet X we prove that, when conditioned on m=t⋅O(loglog|X|+loglog(1/ϵ)+logt) bits of auxiliary information, all conditional distributions of the form Xi|X2019 IEEE International Symposium on Information Theory. IEEE; 2019. doi:10.1109/isit.2019.8849240' apa: 'Skórski, M. (2019). Strong chain rules for min-entropy under few bits spoiled. In 2019 IEEE International Symposium on Information Theory. Paris, France: IEEE. https://doi.org/10.1109/isit.2019.8849240' chicago: Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.” In 2019 IEEE International Symposium on Information Theory. IEEE, 2019. https://doi.org/10.1109/isit.2019.8849240. ieee: M. Skórski, “Strong chain rules for min-entropy under few bits spoiled,” in 2019 IEEE International Symposium on Information Theory, Paris, France, 2019. ista: 'Skórski M. 2019. Strong chain rules for min-entropy under few bits spoiled. 2019 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 8849240.' mla: Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.” 2019 IEEE International Symposium on Information Theory, 8849240, IEEE, 2019, doi:10.1109/isit.2019.8849240. short: M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019. conference: end_date: 2019-07-12 location: Paris, France name: 'ISIT: International Symposium on Information Theory' start_date: 2019-07-07 date_created: 2019-11-28T10:19:21Z date_published: 2019-07-01T00:00:00Z date_updated: 2023-09-06T11:15:41Z day: '01' department: - _id: KrPi doi: 10.1109/isit.2019.8849240 external_id: arxiv: - '1702.08476' isi: - '000489100301043' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1702.08476 month: '07' oa: 1 oa_version: Preprint publication: 2019 IEEE International Symposium on Information Theory publication_identifier: isbn: - '9781538692912' publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Strong chain rules for min-entropy under few bits spoiled type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '7122' abstract: - lang: eng text: Data-rich applications in machine-learning and control have motivated an intense research on large-scale optimization. Novel algorithms have been proposed and shown to have optimal convergence rates in terms of iteration counts. However, their practical performance is severely degraded by the cost of exchanging high-dimensional gradient vectors between computing nodes. Several gradient compression heuristics have recently been proposed to reduce communications, but few theoretical results exist that quantify how they impact algorithm convergence. This paper establishes and strengthens the convergence guarantees for gradient descent under a family of gradient compression techniques. For convex optimization problems, we derive admissible step sizes and quantify both the number of iterations and the number of bits that need to be exchanged to reach a target accuracy. Finally, we validate the performance of different gradient compression techniques in simulations. The numerical results highlight the properties of different gradient compression algorithms and confirm that fast convergence with limited information exchange is possible. article_number: '8619625' article_processing_charge: No author: - first_name: Sarit full_name: Khirirat, Sarit last_name: Khirirat - first_name: Mikael full_name: Johansson, Mikael last_name: Johansson - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X citation: ama: 'Khirirat S, Johansson M, Alistarh D-A. Gradient compression for communication-limited convex optimization. In: 2018 IEEE Conference on Decision and Control. IEEE; 2019. doi:10.1109/cdc.2018.8619625' apa: 'Khirirat, S., Johansson, M., & Alistarh, D.-A. (2019). Gradient compression for communication-limited convex optimization. In 2018 IEEE Conference on Decision and Control. Miami Beach, FL, United States: IEEE. https://doi.org/10.1109/cdc.2018.8619625' chicago: Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression for Communication-Limited Convex Optimization.” In 2018 IEEE Conference on Decision and Control. IEEE, 2019. https://doi.org/10.1109/cdc.2018.8619625. ieee: S. Khirirat, M. Johansson, and D.-A. Alistarh, “Gradient compression for communication-limited convex optimization,” in 2018 IEEE Conference on Decision and Control, Miami Beach, FL, United States, 2019. ista: 'Khirirat S, Johansson M, Alistarh D-A. 2019. Gradient compression for communication-limited convex optimization. 2018 IEEE Conference on Decision and Control. CDC: Conference on Decision and Control, 8619625.' mla: Khirirat, Sarit, et al. “Gradient Compression for Communication-Limited Convex Optimization.” 2018 IEEE Conference on Decision and Control, 8619625, IEEE, 2019, doi:10.1109/cdc.2018.8619625. short: S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019. conference: end_date: 2018-12-19 location: Miami Beach, FL, United States name: 'CDC: Conference on Decision and Control' start_date: 2018-12-17 date_created: 2019-11-26T15:07:49Z date_published: 2019-01-21T00:00:00Z date_updated: 2023-09-06T11:14:55Z day: '21' department: - _id: DaAl doi: 10.1109/cdc.2018.8619625 external_id: isi: - '000458114800023' isi: 1 language: - iso: eng month: '01' oa_version: None publication: 2018 IEEE Conference on Decision and Control publication_identifier: isbn: - '9781538613955' issn: - 0743-1546 publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Gradient compression for communication-limited convex optimization type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '7146' abstract: - lang: eng text: Prevailing models of sex-chromosome evolution were largely inspired by the stable and highly differentiated XY pairs of model organisms, such as those of mammals and flies. Recent work has uncovered an incredible diversity of sex-determining systems, bringing some of the assumptions of these traditional models into question. One particular question that has arisen is what drives some sex chromosomes to be maintained over millions of years and differentiate fully, while others are replaced by new sex-determining chromosomes before differentiation has occurred. Here, I review recent data on the variability of sex-determining genes and sex chromosomes in different non-model vertebrates and invertebrates, and discuss some theoretical models that have been put forward to account for this diversity. article_processing_charge: No article_type: original author: - first_name: Beatriz full_name: Vicoso, Beatriz id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87 last_name: Vicoso orcid: 0000-0002-4579-8306 citation: ama: Vicoso B. Molecular and evolutionary dynamics of animal sex-chromosome turnover. Nature Ecology & Evolution. 2019;3(12):1632-1641. doi:10.1038/s41559-019-1050-8 apa: Vicoso, B. (2019). Molecular and evolutionary dynamics of animal sex-chromosome turnover. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-019-1050-8 chicago: Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” Nature Ecology & Evolution. Springer Nature, 2019. https://doi.org/10.1038/s41559-019-1050-8. ieee: B. Vicoso, “Molecular and evolutionary dynamics of animal sex-chromosome turnover,” Nature Ecology & Evolution, vol. 3, no. 12. Springer Nature, pp. 1632–1641, 2019. ista: Vicoso B. 2019. Molecular and evolutionary dynamics of animal sex-chromosome turnover. Nature Ecology & Evolution. 3(12), 1632–1641. mla: Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” Nature Ecology & Evolution, vol. 3, no. 12, Springer Nature, 2019, pp. 1632–41, doi:10.1038/s41559-019-1050-8. short: B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641. date_created: 2019-12-04T16:05:25Z date_published: 2019-11-25T00:00:00Z date_updated: 2023-09-06T11:18:59Z day: '25' department: - _id: BeVi doi: 10.1038/s41559-019-1050-8 ec_funded: 1 external_id: isi: - '000500728800009' intvolume: ' 3' isi: 1 issue: '12' language: - iso: eng month: '11' oa_version: None page: 1632-1641 project: - _id: 250BDE62-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715257' name: Prevalence and Influence of Sexual Antagonism on Genome Evolution publication: Nature Ecology & Evolution publication_identifier: issn: - 2397-334X publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Molecular and evolutionary dynamics of animal sex-chromosome turnover type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 3 year: '2019' ... --- _id: '7143' abstract: - lang: eng text: Roots grow downwards parallel to the gravity vector, to anchor a plant in soil and acquire water and nutrients, using a gravitropic mechanism dependent on the asymmetric distribution of the phytohormone auxin. Recently, Chang et al. demonstrate that asymmetric distribution of another phytohormone, cytokinin, directs root growth towards higher water content. article_processing_charge: No article_type: original author: - first_name: Scott A full_name: Sinclair, Scott A id: 2D99FE6A-F248-11E8-B48F-1D18A9856A87 last_name: Sinclair orcid: 0000-0002-4566-0593 - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: 'Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. Cell Research. 2019;29:965-966. doi:10.1038/s41422-019-0254-4' apa: 'Sinclair, S. A., & Friml, J. (2019). Defying gravity: a plant’s quest for moisture. Cell Research. Springer Nature. https://doi.org/10.1038/s41422-019-0254-4' chicago: 'Sinclair, Scott A, and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” Cell Research. Springer Nature, 2019. https://doi.org/10.1038/s41422-019-0254-4.' ieee: 'S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,” Cell Research, vol. 29. Springer Nature, pp. 965–966, 2019.' ista: 'Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture. Cell Research. 29, 965–966.' mla: 'Sinclair, Scott A., and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” Cell Research, vol. 29, Springer Nature, 2019, pp. 965–66, doi:10.1038/s41422-019-0254-4.' short: S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966. date_created: 2019-12-02T12:30:48Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-06T11:20:58Z day: '01' department: - _id: JiFr doi: 10.1038/s41422-019-0254-4 external_id: isi: - '000500749600001' pmid: - '31745287' intvolume: ' 29' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1038/s41422-019-0254-4 month: '12' oa: 1 oa_version: Published Version page: 965-966 pmid: 1 publication: Cell Research publication_identifier: eissn: - 1748-7838 issn: - 1001-0602 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: 'Defying gravity: a plant''s quest for moisture' type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 29 year: '2019' ... --- _id: '7156' abstract: - lang: eng text: We propose an efficient microwave-photonic modulator as a resource for stationary entangled microwave-optical fields and develop the theory for deterministic entanglement generation and quantum state transfer in multi-resonant electro-optic systems. The device is based on a single crystal whispering gallery mode resonator integrated into a 3D-microwave cavity. The specific design relies on a new combination of thin-film technology and conventional machining that is optimized for the lowest dissipation rates in the microwave, optical, and mechanical domains. We extract important device properties from finite-element simulations and predict continuous variable entanglement generation rates on the order of a Mebit/s for optical pump powers of only a few tens of microwatts. We compare the quantum state transfer fidelities of coherent, squeezed, and non-Gaussian cat states for both teleportation and direct conversion protocols under realistic conditions. Combining the unique capabilities of circuit quantum electrodynamics with the resilience of fiber optic communication could facilitate long-distance solid-state qubit networks, new methods for quantum signal synthesis, quantum key distribution, and quantum enhanced detection, as well as more power-efficient classical sensing and modulation. article_number: '108' article_processing_charge: No article_type: original author: - first_name: Alfredo R full_name: Rueda Sanchez, Alfredo R id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87 last_name: Rueda Sanchez orcid: 0000-0001-6249-5860 - first_name: William J full_name: Hease, William J id: 29705398-F248-11E8-B48F-1D18A9856A87 last_name: Hease orcid: 0000-0001-9868-2166 - first_name: Shabir full_name: Barzanjeh, Shabir id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87 last_name: Barzanjeh orcid: 0000-0003-0415-1423 - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X citation: ama: Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 2019;5. doi:10.1038/s41534-019-0220-5 apa: Rueda Sanchez, A. R., Hease, W. J., Barzanjeh, S., & Fink, J. M. (2019). Electro-optic entanglement source for microwave to telecom quantum state transfer. Npj Quantum Information. Springer Nature. https://doi.org/10.1038/s41534-019-0220-5 chicago: Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” Npj Quantum Information. Springer Nature, 2019. https://doi.org/10.1038/s41534-019-0220-5. ieee: A. R. Rueda Sanchez, W. J. Hease, S. Barzanjeh, and J. M. Fink, “Electro-optic entanglement source for microwave to telecom quantum state transfer,” npj Quantum Information, vol. 5. Springer Nature, 2019. ista: Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 5, 108. mla: Rueda Sanchez, Alfredo R., et al. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” Npj Quantum Information, vol. 5, 108, Springer Nature, 2019, doi:10.1038/s41534-019-0220-5. short: A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019). date_created: 2019-12-09T08:18:56Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-06T11:22:39Z day: '01' ddc: - '530' department: - _id: JoFi doi: 10.1038/s41534-019-0220-5 ec_funded: 1 external_id: arxiv: - '1909.01470' isi: - '000502996200003' file: - access_level: open_access checksum: 13e0ea1d4f9b5f5710780d9473364f58 content_type: application/pdf creator: dernst date_created: 2019-12-09T08:25:06Z date_updated: 2020-07-14T12:47:50Z file_id: '7157' file_name: 2019_NPJ_Rueda.pdf file_size: 1580132 relation: main_file file_date_updated: 2020-07-14T12:47:50Z has_accepted_license: '1' intvolume: ' 5' isi: 1 language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: 26336814-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '758053' name: A Fiber Optic Transceiver for Superconducting Qubits - _id: 258047B6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '707438' name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM' - _id: 257EB838-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '732894' name: Hybrid Optomechanical Technologies - _id: 26927A52-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: F07105 name: Integrating superconducting quantum circuits publication: npj Quantum Information publication_identifier: issn: - 2056-6387 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Electro-optic entanglement source for microwave to telecom quantum state transfer 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: 5 year: '2019' ... --- _id: '7165' abstract: - lang: eng text: Cell division, movement and differentiation contribute to pattern formation in developing tissues. This is the case in the vertebrate neural tube, in which neurons differentiate in a characteristic pattern from a highly dynamic proliferating pseudostratified epithelium. To investigate how progenitor proliferation and differentiation affect cell arrangement and growth of the neural tube, we used experimental measurements to develop a mechanical model of the apical surface of the neuroepithelium that incorporates the effect of interkinetic nuclear movement and spatially varying rates of neuronal differentiation. Simulations predict that tissue growth and the shape of lineage-related clones of cells differ with the rate of differentiation. Growth is isotropic in regions of high differentiation, but dorsoventrally biased in regions of low differentiation. This is consistent with experimental observations. The absence of directional signalling in the simulations indicates that global mechanical constraints are sufficient to explain the observed differences in anisotropy. This provides insight into how the tissue growth rate affects cell dynamics and growth anisotropy and opens up possibilities to study the coupling between mechanics, pattern formation and growth in the neural tube. article_number: dev176297 article_processing_charge: No article_type: original author: - first_name: Pilar full_name: Guerrero, Pilar last_name: Guerrero - first_name: Ruben full_name: Perez-Carrasco, Ruben last_name: Perez-Carrasco - first_name: Marcin P full_name: Zagórski, Marcin P id: 343DA0DC-F248-11E8-B48F-1D18A9856A87 last_name: Zagórski orcid: 0000-0001-7896-7762 - first_name: David full_name: Page, David last_name: Page - first_name: Anna full_name: Kicheva, Anna id: 3959A2A0-F248-11E8-B48F-1D18A9856A87 last_name: Kicheva orcid: 0000-0003-4509-4998 - first_name: James full_name: Briscoe, James last_name: Briscoe - first_name: Karen M. full_name: Page, Karen M. last_name: Page citation: ama: Guerrero P, Perez-Carrasco R, Zagórski MP, et al. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 2019;146(23). doi:10.1242/dev.176297 apa: Guerrero, P., Perez-Carrasco, R., Zagórski, M. P., Page, D., Kicheva, A., Briscoe, J., & Page, K. M. (2019). Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. The Company of Biologists. https://doi.org/10.1242/dev.176297 chicago: Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development. The Company of Biologists, 2019. https://doi.org/10.1242/dev.176297. ieee: P. Guerrero et al., “Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium,” Development, vol. 146, no. 23. The Company of Biologists, 2019. ista: Guerrero P, Perez-Carrasco R, Zagórski MP, Page D, Kicheva A, Briscoe J, Page KM. 2019. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 146(23), dev176297. mla: Guerrero, Pilar, et al. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development, vol. 146, no. 23, dev176297, The Company of Biologists, 2019, doi:10.1242/dev.176297. short: P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019). date_created: 2019-12-10T14:39:50Z date_published: 2019-12-04T00:00:00Z date_updated: 2023-09-06T11:26:36Z day: '04' ddc: - '570' department: - _id: AnKi doi: 10.1242/dev.176297 ec_funded: 1 external_id: isi: - '000507575700004' pmid: - '31784457' file: - access_level: open_access checksum: b6533c37dc8fbd803ffeca216e0a8b8a content_type: application/pdf creator: dernst date_created: 2019-12-13T07:34:06Z date_updated: 2020-07-14T12:47:50Z file_id: '7177' file_name: 2019_Development_Guerrero.pdf file_size: 7797881 relation: main_file file_date_updated: 2020-07-14T12:47:50Z has_accepted_license: '1' intvolume: ' 146' isi: 1 issue: '23' language: - iso: eng month: '12' oa: 1 oa_version: Published Version pmid: 1 project: - _id: B6FC0238-B512-11E9-945C-1524E6697425 call_identifier: H2020 grant_number: '680037' name: Coordination of Patterning And Growth In the Spinal Cord publication: Development publication_identifier: eissn: - 1477-9129 issn: - 0950-1991 publication_status: published publisher: The Company of Biologists quality_controlled: '1' scopus_import: '1' status: public title: Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium 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: 146 year: '2019' ... --- _id: '7159' abstract: - lang: eng text: 'Cyber-physical systems (CPS) and the Internet-of-Things (IoT) result in a tremendous amount of generated, measured and recorded time-series data. Extracting temporal segments that encode patterns with useful information out of these huge amounts of data is an extremely difficult problem. We propose shape expressions as a declarative formalism for specifying, querying and extracting sophisticated temporal patterns from possibly noisy data. Shape expressions are regular expressions with arbitrary (linear, exponential, sinusoidal, etc.) shapes with parameters as atomic predicates and additional constraints on these parameters. We equip shape expressions with a novel noisy semantics that combines regular expression matching semantics with statistical regression. We characterize essential properties of the formalism and propose an efficient approximate shape expression matching procedure. We demonstrate the wide applicability of this technique on two case studies. ' alternative_title: - LNCS article_processing_charge: No author: - first_name: Dejan full_name: Ničković, Dejan last_name: Ničković - first_name: Xin full_name: Qin, Xin last_name: Qin - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Cristinel full_name: Mateis, Cristinel last_name: Mateis - first_name: Jyotirmoy full_name: Deshmukh, Jyotirmoy last_name: Deshmukh citation: ama: 'Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17' apa: 'Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17' chicago: Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17. ieee: D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309. ista: 'Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions for specifying and extracting signal features. 19th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757, 292–309.' mla: Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17. short: D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309. conference: end_date: 2019-10-11 location: Porto, Portugal name: 'RV: Runtime Verification' start_date: 2019-10-08 date_created: 2019-12-09T08:47:55Z date_published: 2019-10-01T00:00:00Z date_updated: 2023-09-06T11:24:10Z day: '01' department: - _id: ToHe doi: 10.1007/978-3-030-32079-9_17 external_id: isi: - '000570006300017' intvolume: ' 11757' isi: 1 language: - iso: eng month: '10' oa_version: None page: 292-309 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25F2ACDE-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Rigorous Systems Engineering publication: 19th International Conference on Runtime Verification publication_identifier: isbn: - '9783030320782' - '9783030320799' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Shape expressions for specifying and extracting signal features type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 11757 year: '2019' ... --- _id: '7183' abstract: - lang: eng text: 'A probabilistic vector addition system with states (pVASS) is a finite state Markov process augmented with non-negative integer counters that can be incremented or decremented during each state transition, blocking any behaviour that would cause a counter to decrease below zero. The pVASS can be used as abstractions of probabilistic programs with many decidable properties. The use of pVASS as abstractions requires the presence of nondeterminism in the model. In this paper, we develop techniques for checking fast termination of pVASS with nondeterminism. That is, for every initial configuration of size n, we consider the worst expected number of transitions needed to reach a configuration with some counter negative (the expected termination time). We show that the problem whether the asymptotic expected termination time is linear is decidable in polynomial time for a certain natural class of pVASS with nondeterminism. Furthermore, we show the following dichotomy: if the asymptotic expected termination time is not linear, then it is at least quadratic, i.e., in Ω(n2).' alternative_title: - LNCS article_processing_charge: No author: - first_name: Tomás full_name: Brázdil, Tomás 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: Antonín full_name: Kucera, Antonín last_name: Kucera - first_name: Petr full_name: Novotný, Petr id: 3CC3B868-F248-11E8-B48F-1D18A9856A87 last_name: Novotný - first_name: Dominik full_name: Velan, Dominik last_name: Velan citation: ama: 'Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27' apa: 'Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., & Velan, D. (2019). Deciding fast termination for probabilistic VASS with nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (Vol. 11781, pp. 462–478). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-030-31784-3_27' chicago: Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27. ieee: T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478. ista: 'Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. 2019. Deciding fast termination for probabilistic VASS with nondeterminism. International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated TEchnology for Verification and Analysis, LNCS, vol. 11781, 462–478.' mla: Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27. short: T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478. conference: end_date: 2019-10-31 location: Taipei, Taiwan name: 'ATVA: Automated TEchnology for Verification and Analysis' start_date: 2019-10-28 date_created: 2019-12-15T23:00:44Z date_published: 2019-10-21T00:00:00Z date_updated: 2023-09-06T12:40:58Z day: '21' department: - _id: KrCh doi: 10.1007/978-3-030-31784-3_27 external_id: arxiv: - '1907.11010' isi: - '000723515700027' intvolume: ' 11781' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1907.11010 month: '10' oa: 1 oa_version: Preprint page: 462-478 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication: International Symposium on Automated Technology for Verification and Analysis publication_identifier: eissn: - '16113349' isbn: - '9783030317836' issn: - '03029743' publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Deciding fast termination for probabilistic VASS with nondeterminism type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 11781 year: '2019' ... --- _id: '7182' abstract: - lang: eng text: During infection pathogens secrete small molecules, termed effectors, to manipulate and control the interaction with their specific hosts. Both the pathogen and the plant are under high selective pressure to rapidly adapt and co-evolve in what is usually referred to as molecular arms race. Components of the host’s immune system form a network that processes information about molecules with a foreign origin and damage-associated signals, integrating them with developmental and abiotic cues to adapt the plant’s responses. Both in the case of nucleotide-binding leucine-rich repeat receptors and leucine-rich repeat receptor kinases interaction networks have been extensively characterized. However, little is known on whether pathogenic effectors form complexes to overcome plant immunity and promote disease. Ustilago maydis, a biotrophic fungal pathogen that infects maize plants, produces effectors that target hubs in the immune network of the host cell. Here we assess the capability of U. maydis effector candidates to interact with each other, which may play a crucial role during the infection process. Using a systematic yeast-two-hybrid approach and based on a preliminary pooled screen, we selected 63 putative effectors for one-on-one matings with a library of nearly 300 effector candidates. We found that 126 of these effector candidates interacted either with themselves or other predicted effectors. Although the functional relevance of the observed interactions remains elusive, we propose that the observed abundance in complex formation between effectors adds an additional level of complexity to effector research and should be taken into consideration when studying effector evolution and function. Based on this fundamental finding, we suggest various scenarios which could evolutionarily drive the formation and stabilization of an effector interactome. article_number: '1437' article_processing_charge: No article_type: original author: - first_name: André full_name: Alcântara, André last_name: Alcântara - first_name: Jason full_name: Bosch, Jason last_name: Bosch - first_name: Fahimeh full_name: Nazari, Fahimeh last_name: Nazari - first_name: Gesa full_name: Hoffmann, Gesa last_name: Hoffmann - first_name: Michelle C full_name: Gallei, Michelle C id: 35A03822-F248-11E8-B48F-1D18A9856A87 last_name: Gallei orcid: 0000-0003-1286-7368 - first_name: Simon full_name: Uhse, Simon last_name: Uhse - first_name: Martin A. full_name: Darino, Martin A. last_name: Darino - first_name: Toluwase full_name: Olukayode, Toluwase last_name: Olukayode - first_name: Daniel full_name: Reumann, Daniel last_name: Reumann - first_name: Laura full_name: Baggaley, Laura last_name: Baggaley - first_name: Armin full_name: Djamei, Armin last_name: Djamei citation: ama: Alcântara A, Bosch J, Nazari F, et al. Systematic Y2H screening reveals extensive effector-complex formation. Frontiers in Plant Science. 2019;10(11). doi:10.3389/fpls.2019.01437 apa: Alcântara, A., Bosch, J., Nazari, F., Hoffmann, G., Gallei, M. C., Uhse, S., … Djamei, A. (2019). Systematic Y2H screening reveals extensive effector-complex formation. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2019.01437 chicago: Alcântara, André, Jason Bosch, Fahimeh Nazari, Gesa Hoffmann, Michelle C Gallei, Simon Uhse, Martin A. Darino, et al. “Systematic Y2H Screening Reveals Extensive Effector-Complex Formation.” Frontiers in Plant Science. Frontiers, 2019. https://doi.org/10.3389/fpls.2019.01437. ieee: A. Alcântara et al., “Systematic Y2H screening reveals extensive effector-complex formation,” Frontiers in Plant Science, vol. 10, no. 11. Frontiers, 2019. ista: Alcântara A, Bosch J, Nazari F, Hoffmann G, Gallei MC, Uhse S, Darino MA, Olukayode T, Reumann D, Baggaley L, Djamei A. 2019. Systematic Y2H screening reveals extensive effector-complex formation. Frontiers in Plant Science. 10(11), 1437. mla: Alcântara, André, et al. “Systematic Y2H Screening Reveals Extensive Effector-Complex Formation.” Frontiers in Plant Science, vol. 10, no. 11, 1437, Frontiers, 2019, doi:10.3389/fpls.2019.01437. short: A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019). date_created: 2019-12-15T23:00:43Z date_published: 2019-11-14T00:00:00Z date_updated: 2023-09-06T14:33:46Z day: '14' ddc: - '580' department: - _id: JiFr doi: 10.3389/fpls.2019.01437 external_id: isi: - '000499821700001' pmid: - '31803201' file: - access_level: open_access checksum: 995aa838aec2064d93550de82b40bbd1 content_type: application/pdf creator: dernst date_created: 2019-12-16T07:58:43Z date_updated: 2020-07-14T12:47:52Z file_id: '7185' file_name: 2019_FrontiersPlant_Alcantara.pdf file_size: 1532505 relation: main_file file_date_updated: 2020-07-14T12:47:52Z has_accepted_license: '1' intvolume: ' 10' isi: 1 issue: '11' language: - iso: eng month: '11' oa: 1 oa_version: Published Version pmid: 1 publication: Frontiers in Plant Science publication_identifier: eissn: - 1664462X publication_status: published publisher: Frontiers quality_controlled: '1' scopus_import: '1' status: public title: Systematic Y2H screening reveals extensive effector-complex formation 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: 10 year: '2019' ... --- _id: '7180' abstract: - lang: eng text: Arabidopsis PIN2 protein directs transport of the phytohormone auxin from the root tip into the root elongation zone. Variation in hormone transport, which depends on a delicate interplay between PIN2 sorting to and from polar plasma membrane domains, determines root growth. By employing a constitutively degraded version of PIN2, we identify brassinolides as antagonists of PIN2 endocytosis. This response does not require de novo protein synthesis, but involves early events in canonical brassinolide signaling. Brassinolide-controlled adjustments in PIN2 sorting and intracellular distribution governs formation of a lateral PIN2 gradient in gravistimulated roots, coinciding with adjustments in auxin signaling and directional root growth. Strikingly, simulations indicate that PIN2 gradient formation is no prerequisite for root bending but rather dampens asymmetric auxin flow and signaling. Crosstalk between brassinolide signaling and endocytic PIN2 sorting, thus, appears essential for determining the rate of gravity-induced root curvature via attenuation of differential cell elongation. article_number: '5516' article_processing_charge: No article_type: original author: - first_name: Katarzyna full_name: Retzer, Katarzyna last_name: Retzer - first_name: Maria full_name: Akhmanova, Maria id: 3425EC26-F248-11E8-B48F-1D18A9856A87 last_name: Akhmanova orcid: 0000-0003-1522-3162 - first_name: Nataliia full_name: Konstantinova, Nataliia last_name: Konstantinova - first_name: Kateřina full_name: Malínská, Kateřina last_name: Malínská - first_name: Johannes full_name: Leitner, Johannes last_name: Leitner - first_name: Jan full_name: Petrášek, Jan last_name: Petrášek - first_name: Christian full_name: Luschnig, Christian last_name: Luschnig citation: ama: Retzer K, Akhmanova M, Konstantinova N, et al. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 2019;10. doi:10.1038/s41467-019-13543-1 apa: Retzer, K., Akhmanova, M., Konstantinova, N., Malínská, K., Leitner, J., Petrášek, J., & Luschnig, C. (2019). Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-13543-1 chicago: Retzer, Katarzyna, Maria Akhmanova, Nataliia Konstantinova, Kateřina Malínská, Johannes Leitner, Jan Petrášek, and Christian Luschnig. “Brassinosteroid Signaling Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-13543-1. ieee: K. Retzer et al., “Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter,” Nature Communications, vol. 10. Springer Nature, 2019. ista: Retzer K, Akhmanova M, Konstantinova N, Malínská K, Leitner J, Petrášek J, Luschnig C. 2019. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 10, 5516. mla: Retzer, Katarzyna, et al. “Brassinosteroid Signaling Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.” Nature Communications, vol. 10, 5516, Springer Nature, 2019, doi:10.1038/s41467-019-13543-1. short: K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019). date_created: 2019-12-15T23:00:43Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-06T14:08:21Z day: '01' ddc: - '570' department: - _id: DaSi doi: 10.1038/s41467-019-13543-1 external_id: isi: - '000500508100001' pmid: - '31797871' file: - access_level: open_access checksum: 77e8720a8e0f3091b98159f85be40893 content_type: application/pdf creator: dernst date_created: 2019-12-16T07:37:50Z date_updated: 2020-07-14T12:47:52Z file_id: '7184' file_name: 2019_NatureComm_Retzer.pdf file_size: 5156533 relation: main_file file_date_updated: 2020-07-14T12:47:52Z has_accepted_license: '1' intvolume: ' 10' isi: 1 language: - iso: eng month: '12' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 264CBBAC-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02379 name: Modeling epithelial tissue mechanics during cell invasion publication: Nature Communications publication_identifier: eissn: - '20411723' publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter 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: 10 year: '2019' ... --- _id: '7181' abstract: - lang: eng text: Multiple sequence alignments (MSAs) are used for structural1,2 and evolutionary predictions1,2, but the complexity of aligning large datasets requires the use of approximate solutions3, including the progressive algorithm4. Progressive MSA methods start by aligning the most similar sequences and subsequently incorporate the remaining sequences, from leaf-to-root, based on a guide-tree. Their accuracy declines substantially as the number of sequences is scaled up5. We introduce a regressive algorithm that enables MSA of up to 1.4 million sequences on a standard workstation and substantially improves accuracy on datasets larger than 10,000 sequences. Our regressive algorithm works the other way around to the progressive algorithm and begins by aligning the most dissimilar sequences. It uses an efficient divide-and-conquer strategy to run third-party alignment methods in linear time, regardless of their original complexity. Our approach will enable analyses of extremely large genomic datasets such as the recently announced Earth BioGenome Project, which comprises 1.5 million eukaryotic genomes6. article_processing_charge: No article_type: original author: - first_name: Edgar full_name: Garriga, Edgar last_name: Garriga - first_name: Paolo full_name: Di Tommaso, Paolo last_name: Di Tommaso - first_name: Cedrik full_name: Magis, Cedrik last_name: Magis - first_name: Ionas full_name: Erb, Ionas last_name: Erb - first_name: Leila full_name: Mansouri, Leila last_name: Mansouri - first_name: Athanasios full_name: Baltzis, Athanasios last_name: Baltzis - first_name: Hafid full_name: Laayouni, Hafid last_name: Laayouni - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 - first_name: Evan full_name: Floden, Evan last_name: Floden - first_name: Cedric full_name: Notredame, Cedric last_name: Notredame citation: ama: Garriga E, Di Tommaso P, Magis C, et al. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 2019;37(12):1466-1470. doi:10.1038/s41587-019-0333-6 apa: Garriga, E., Di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A., … Notredame, C. (2019). Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-019-0333-6 chicago: Garriga, Edgar, Paolo Di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41587-019-0333-6. ieee: E. Garriga et al., “Large multiple sequence alignments with a root-to-leaf regressive method,” Nature Biotechnology, vol. 37, no. 12. Springer Nature, pp. 1466–1470, 2019. ista: Garriga E, Di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2019. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 37(12), 1466–1470. mla: Garriga, Edgar, et al. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology, vol. 37, no. 12, Springer Nature, 2019, pp. 1466–70, doi:10.1038/s41587-019-0333-6. short: E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470. date_created: 2019-12-15T23:00:43Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-06T14:32:52Z day: '01' department: - _id: FyKo doi: 10.1038/s41587-019-0333-6 ec_funded: 1 external_id: isi: - '000500748900021' pmid: - '31792410' intvolume: ' 37' isi: 1 issue: '12' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6894943/ month: '12' oa: 1 oa_version: Submitted Version page: 1466-1470 pmid: 1 project: - _id: 26580278-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '771209' name: Characterizing the fitness landscape on population and global scales publication: Nature Biotechnology publication_identifier: eissn: - '15461696' issn: - '10870156' publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '13059' relation: research_data status: public scopus_import: '1' status: public title: Large multiple sequence alignments with a root-to-leaf regressive method type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 37 year: '2019' ... --- _id: '7202' abstract: - lang: eng text: The cerebral cortex contains multiple areas with distinctive cytoarchitectonical patterns, but the cellular mechanisms underlying the emergence of this diversity remain unclear. Here, we have investigated the neuronal output of individual progenitor cells in the developing mouse neocortex using a combination of methods that together circumvent the biases and limitations of individual approaches. Our experimental results indicate that progenitor cells generate pyramidal cell lineages with a wide range of sizes and laminar configurations. Mathematical modelling indicates that these outcomes are compatible with a stochastic model of cortical neurogenesis in which progenitor cells undergo a series of probabilistic decisions that lead to the specification of very heterogeneous progenies. Our findings support a mechanism for cortical neurogenesis whose flexibility would make it capable to generate the diverse cytoarchitectures that characterize distinct neocortical areas. article_number: e51381 article_processing_charge: No article_type: original author: - first_name: Alfredo full_name: Llorca, Alfredo last_name: Llorca - first_name: Gabriele full_name: Ciceri, Gabriele last_name: Ciceri - first_name: Robert J full_name: Beattie, Robert J id: 2E26DF60-F248-11E8-B48F-1D18A9856A87 last_name: Beattie orcid: 0000-0002-8483-8753 - first_name: Fong Kuan full_name: Wong, Fong Kuan last_name: Wong - first_name: Giovanni full_name: Diana, Giovanni last_name: Diana - first_name: Eleni full_name: Serafeimidou-Pouliou, Eleni last_name: Serafeimidou-Pouliou - first_name: Marian full_name: Fernández-Otero, Marian last_name: Fernández-Otero - first_name: Carmen full_name: Streicher, Carmen id: 36BCB99C-F248-11E8-B48F-1D18A9856A87 last_name: Streicher - first_name: Sebastian J. full_name: Arnold, Sebastian J. last_name: Arnold - first_name: Martin full_name: Meyer, Martin last_name: Meyer - first_name: Simon full_name: Hippenmeyer, Simon id: 37B36620-F248-11E8-B48F-1D18A9856A87 last_name: Hippenmeyer orcid: 0000-0003-2279-1061 - first_name: Miguel full_name: Maravall, Miguel last_name: Maravall - first_name: Oscar full_name: Marín, Oscar last_name: Marín citation: ama: Llorca A, Ciceri G, Beattie RJ, et al. A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture. eLife. 2019;8. doi:10.7554/eLife.51381 apa: Llorca, A., Ciceri, G., Beattie, R. J., Wong, F. K., Diana, G., Serafeimidou-Pouliou, E., … Marín, O. (2019). A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.51381 chicago: Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong Kuan Wong, Giovanni Diana, Eleni Serafeimidou-Pouliou, Marian Fernández-Otero, et al. “A Stochastic Framework of Neurogenesis Underlies the Assembly of Neocortical Cytoarchitecture.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.51381. ieee: A. Llorca et al., “A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture,” eLife, vol. 8. eLife Sciences Publications, 2019. ista: Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou-Pouliou E, Fernández-Otero M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. 2019. A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture. eLife. 8, e51381. mla: Llorca, Alfredo, et al. “A Stochastic Framework of Neurogenesis Underlies the Assembly of Neocortical Cytoarchitecture.” ELife, vol. 8, e51381, eLife Sciences Publications, 2019, doi:10.7554/eLife.51381. short: A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou-Pouliou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, ELife 8 (2019). date_created: 2019-12-22T23:00:42Z date_published: 2019-11-18T00:00:00Z date_updated: 2023-09-06T14:38:39Z day: '18' ddc: - '570' department: - _id: SiHi doi: 10.7554/eLife.51381 ec_funded: 1 external_id: isi: - '000508156800001' pmid: - '31736464' file: - access_level: open_access checksum: b460ecc33e1a68265e7adea775021f3a content_type: application/pdf creator: dernst date_created: 2020-02-18T15:19:26Z date_updated: 2020-07-14T12:47:53Z file_id: '7503' file_name: 2019_eLife_Llorca.pdf file_size: 2960543 relation: main_file file_date_updated: 2020-07-14T12:47:53Z has_accepted_license: '1' intvolume: ' 8' isi: 1 language: - iso: eng month: '11' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 260018B0-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '725780' name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development - _id: 264E56E2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02416 name: Molecular Mechanisms Regulating Gliogenesis in the Cerebral Cortex publication: eLife publication_identifier: eissn: - 2050084X publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' scopus_import: '1' status: public title: A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture 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: 8 year: '2019' ... --- _id: '7179' abstract: - lang: eng text: Glutamate is the major excitatory neurotransmitter in the CNS binding to a variety of glutamate receptors. Metabotropic glutamate receptors (mGluR1 to mGluR8) can act excitatory or inhibitory, depending on associated signal cascades. Expression and localization of inhibitory acting mGluRs at inner hair cells (IHCs) in the cochlea are largely unknown. Here, we analyzed expression of mGluR2, mGluR3, mGluR4, mGluR6, mGluR7, and mGluR8 and investigated their localization with respect to the presynaptic ribbon of IHC synapses. We detected transcripts for mGluR2, mGluR3, and mGluR4 as well as for mGluR7a, mGluR7b, mGluR8a, and mGluR8b splice variants. Using receptor-specific antibodies in cochlear wholemounts, we found expression of mGluR2, mGluR4, and mGluR8b close to presynaptic ribbons. Super resolution and confocal microscopy in combination with 3-dimensional reconstructions indicated a postsynaptic localization of mGluR2 that overlaps with postsynaptic density protein 95 on dendrites of afferent type I spiral ganglion neurons. In contrast, mGluR4 and mGluR8b were expressed at the presynapse close to IHC ribbons. In summary, we localized in detail 3 mGluR types at IHC ribbon synapses, providing a fundament for new therapeutical strategies that could protect the cochlea against noxious stimuli and excitotoxicity. article_processing_charge: No article_type: original author: - first_name: Lisa full_name: Klotz, Lisa last_name: Klotz - first_name: Olaf full_name: Wendler, Olaf last_name: Wendler - first_name: Renato full_name: Frischknecht, Renato last_name: Frischknecht - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Holger full_name: Schulze, Holger last_name: Schulze - first_name: Ralf full_name: Enz, Ralf last_name: Enz citation: ama: Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. 2019;33(12):13734-13746. doi:10.1096/fj.201901543R apa: Klotz, L., Wendler, O., Frischknecht, R., Shigemoto, R., Schulze, H., & Enz, R. (2019). Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. FASEB. https://doi.org/10.1096/fj.201901543R chicago: Klotz, Lisa, Olaf Wendler, Renato Frischknecht, Ryuichi Shigemoto, Holger Schulze, and Ralf Enz. “Localization of Group II and III Metabotropic Glutamate Receptors at Pre- and Postsynaptic Sites of Inner Hair Cell Ribbon Synapses.” FASEB Journal. FASEB, 2019. https://doi.org/10.1096/fj.201901543R. ieee: L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, and R. Enz, “Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses,” FASEB Journal, vol. 33, no. 12. FASEB, pp. 13734–13746, 2019. ista: Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. 2019. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. 33(12), 13734–13746. mla: Klotz, Lisa, et al. “Localization of Group II and III Metabotropic Glutamate Receptors at Pre- and Postsynaptic Sites of Inner Hair Cell Ribbon Synapses.” FASEB Journal, vol. 33, no. 12, FASEB, 2019, pp. 13734–46, doi:10.1096/fj.201901543R. short: L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746. date_created: 2019-12-15T23:00:42Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-06T14:34:36Z day: '01' ddc: - '571' - '599' department: - _id: RySh doi: 10.1096/fj.201901543R external_id: isi: - '000507466100054' pmid: - '31585509' file: - access_level: open_access checksum: 79e3b72481dc32489911121cf3b7d8d0 content_type: application/pdf creator: shigemot date_created: 2020-12-06T17:30:09Z date_updated: 2020-12-06T17:30:09Z file_id: '8922' file_name: Klotz et al 2019 EMBO Reports.pdf file_size: 4766789 relation: main_file success: 1 file_date_updated: 2020-12-06T17:30:09Z has_accepted_license: '1' intvolume: ' 33' isi: 1 issue: '12' language: - iso: eng month: '12' oa: 1 oa_version: Submitted Version page: 13734-13746 pmid: 1 publication: FASEB Journal publication_identifier: eissn: - '15306860' publication_status: published publisher: FASEB quality_controlled: '1' scopus_import: '1' status: public title: Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 33 year: '2019' ... --- _id: '7201' abstract: - lang: eng text: Applying machine learning techniques to the quickly growing data in science and industry requires highly-scalable algorithms. Large datasets are most commonly processed "data parallel" distributed across many nodes. Each node's contribution to the overall gradient is summed using a global allreduce. This allreduce is the single communication and thus scalability bottleneck for most machine learning workloads. We observe that frequently, many gradient values are (close to) zero, leading to sparse of sparsifyable communications. To exploit this insight, we analyze, design, and implement a set of communication-efficient protocols for sparse input data, in conjunction with efficient machine learning algorithms which can leverage these primitives. Our communication protocols generalize standard collective operations, by allowing processes to contribute arbitrary sparse input data vectors. Our generic communication library, SparCML1, extends MPI to support additional features, such as non-blocking (asynchronous) operations and low-precision data representations. As such, SparCML and its techniques will form the basis of future highly-scalable machine learning frameworks. article_number: a11 article_processing_charge: No author: - first_name: Cedric full_name: Renggli, Cedric last_name: Renggli - first_name: Saleh full_name: Ashkboos, Saleh id: 0D0A9058-257B-11EA-A937-9341C3D8BC8A last_name: Ashkboos - first_name: Mehdi full_name: Aghagolzadeh, Mehdi last_name: Aghagolzadeh - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X - first_name: Torsten full_name: Hoefler, Torsten last_name: Hoefler citation: ama: 'Renggli C, Ashkboos S, Aghagolzadeh M, Alistarh D-A, Hoefler T. SparCML: High-performance sparse communication for machine learning. In: International Conference for High Performance Computing, Networking, Storage and Analysis, SC. ACM; 2019. doi:10.1145/3295500.3356222' apa: 'Renggli, C., Ashkboos, S., Aghagolzadeh, M., Alistarh, D.-A., & Hoefler, T. (2019). SparCML: High-performance sparse communication for machine learning. In International Conference for High Performance Computing, Networking, Storage and Analysis, SC. Denver, CO, Unites States: ACM. https://doi.org/10.1145/3295500.3356222' chicago: 'Renggli, Cedric, Saleh Ashkboos, Mehdi Aghagolzadeh, Dan-Adrian Alistarh, and Torsten Hoefler. “SparCML: High-Performance Sparse Communication for Machine Learning.” In International Conference for High Performance Computing, Networking, Storage and Analysis, SC. ACM, 2019. https://doi.org/10.1145/3295500.3356222.' ieee: 'C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, and T. Hoefler, “SparCML: High-performance sparse communication for machine learning,” in International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Denver, CO, Unites States, 2019.' ista: 'Renggli C, Ashkboos S, Aghagolzadeh M, Alistarh D-A, Hoefler T. 2019. SparCML: High-performance sparse communication for machine learning. International Conference for High Performance Computing, Networking, Storage and Analysis, SC. SC: Conference for High Performance Computing, Networking, Storage and Analysis, a11.' mla: 'Renggli, Cedric, et al. “SparCML: High-Performance Sparse Communication for Machine Learning.” International Conference for High Performance Computing, Networking, Storage and Analysis, SC, a11, ACM, 2019, doi:10.1145/3295500.3356222.' short: C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, T. Hoefler, in:, International Conference for High Performance Computing, Networking, Storage and Analysis, SC, ACM, 2019. conference: end_date: 2019-11-19 location: Denver, CO, Unites States name: 'SC: Conference for High Performance Computing, Networking, Storage and Analysis' start_date: 2019-11-17 date_created: 2019-12-22T23:00:42Z date_published: 2019-11-17T00:00:00Z date_updated: 2023-09-06T14:37:55Z day: '17' department: - _id: DaAl doi: 10.1145/3295500.3356222 ec_funded: 1 external_id: arxiv: - '1802.08021' isi: - '000545976800011' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1802.08021 month: '11' oa: 1 oa_version: Preprint project: - _id: 268A44D6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '805223' name: Elastic Coordination for Scalable Machine Learning publication: International Conference for High Performance Computing, Networking, Storage and Analysis, SC publication_identifier: eissn: - '21674337' isbn: - '9781450362290' issn: - '21674329' publication_status: published publisher: ACM quality_controlled: '1' scopus_import: '1' status: public title: 'SparCML: High-performance sparse communication for machine learning' type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '13067' abstract: - lang: eng text: Genetic incompatibilities contribute to reproductive isolation between many diverging populations, but it is still unclear to what extent they play a role if divergence happens with gene flow. In contact zones between the "Crab" and "Wave" ecotypes of the snail Littorina saxatilis divergent selection forms strong barriers to gene flow, while the role of postzygotic barriers due to selection against hybrids remains unclear. High embryo abortion rates in this species could indicate the presence of such barriers. Postzygotic barriers might include genetic incompatibilities (e.g. Dobzhansky-Muller incompatibilities) but also maladaptation, both expected to be most pronounced in contact zones. In addition, embryo abortion might reflect physiological stress on females and embryos independent of any genetic stress. We examined all embryos of >500 females sampled outside and inside contact zones of three populations in Sweden. Females' clutch size ranged from 0 to 1011 embryos (mean 130±123) and abortion rates varied between 0 and100% (mean 12%). We described female genotypes by using a hybrid index based on hundreds of SNPs differentiated between ecotypes with which we characterised female genotypes. We also calculated female SNP heterozygosity and inversion karyotype. Clutch size did not vary with female hybrid index and abortion rates were only weakly related to hybrid index in two sites but not at all in a third site. No additional variation in abortion rate was explained by female SNP heterozygosity, but increased female inversion heterozygosity added slightly to increased abortion. Our results show only weak and probably biologically insignificant postzygotic barriers contributing to ecotype divergence and the high and variable abortion rates were marginally, if at all, explained by hybrid index of females. article_processing_charge: No author: - first_name: Kerstin full_name: Johannesson, Kerstin last_name: Johannesson - first_name: Zuzanna full_name: Zagrodzka, Zuzanna last_name: Zagrodzka - first_name: Rui full_name: Faria, Rui last_name: Faria - first_name: Anja M full_name: Westram, Anja M id: 3C147470-F248-11E8-B48F-1D18A9856A87 last_name: Westram orcid: 0000-0003-1050-4969 - first_name: Roger full_name: Butlin, Roger last_name: Butlin citation: ama: 'Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin R. Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes? 2019. doi:10.5061/DRYAD.TB2RBNZWK' apa: 'Johannesson, K., Zagrodzka, Z., Faria, R., Westram, A. M., & Butlin, R. (2019). Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes? Dryad. https://doi.org/10.5061/DRYAD.TB2RBNZWK' chicago: 'Johannesson, Kerstin, Zuzanna Zagrodzka, Rui Faria, Anja M Westram, and Roger Butlin. “Data from: Is Embryo Abortion a Postzygotic Barrier to Gene Flow between Littorina Ecotypes?” Dryad, 2019. https://doi.org/10.5061/DRYAD.TB2RBNZWK.' ieee: 'K. Johannesson, Z. Zagrodzka, R. Faria, A. M. Westram, and R. Butlin, “Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?” Dryad, 2019.' ista: 'Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin R. 2019. Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?, Dryad, 10.5061/DRYAD.TB2RBNZWK.' mla: 'Johannesson, Kerstin, et al. Data from: Is Embryo Abortion a Postzygotic Barrier to Gene Flow between Littorina Ecotypes? Dryad, 2019, doi:10.5061/DRYAD.TB2RBNZWK.' short: K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R. Butlin, (2019). date_created: 2023-05-23T16:36:27Z date_published: 2019-12-02T00:00:00Z date_updated: 2023-09-06T14:48:57Z day: '02' ddc: - '570' department: - _id: NiBa doi: 10.5061/DRYAD.TB2RBNZWK main_file_link: - open_access: '1' url: https://doi.org/10.5061/dryad.tb2rbnzwk month: '12' oa: 1 oa_version: Published Version publisher: Dryad related_material: record: - id: '7205' relation: used_in_publication status: public status: public title: 'Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?' 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: research_data_reference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2019' ...