--- _id: '6042' abstract: - lang: eng text: Static program analyzers are increasingly effective in checking correctness properties of programs and reporting any errors found, often in the form of error traces. However, developers still spend a significant amount of time on debugging. This involves processing long error traces in an effort to localize a bug to a relatively small part of the program and to identify its cause. In this paper, we present a technique for automated fault localization that, given a program and an error trace, efficiently narrows down the cause of the error to a few statements. These statements are then ranked in terms of their suspiciousness. Our technique relies only on the semantics of the given program and does not require any test cases or user guidance. In experiments on a set of C benchmarks, we show that our technique is effective in quickly isolating the cause of error while out-performing other state-of-the-art fault-localization techniques. alternative_title: - LNCS article_processing_charge: No author: - first_name: Maria full_name: Christakis, Maria last_name: Christakis - first_name: Matthias full_name: Heizmann, Matthias last_name: Heizmann - first_name: Muhammad Numair full_name: Mansur, Muhammad Numair last_name: Mansur - first_name: Christian full_name: Schilling, Christian id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87 last_name: Schilling orcid: 0000-0003-3658-1065 - first_name: Valentin full_name: Wüstholz, Valentin last_name: Wüstholz citation: ama: 'Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. Semantic fault localization and suspiciousness ranking. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13' apa: 'Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13' chicago: Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13. ieee: M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243. ista: 'Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic fault localization and suspiciousness ranking. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427, 226–243.' mla: Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13. short: M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243. conference: end_date: 2019-04-11 location: Prague, Czech Republic name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2019-04-06 date_created: 2019-02-18T16:44:06Z date_published: 2019-04-04T00:00:00Z date_updated: 2023-08-24T14:47:45Z day: '04' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-030-17462-0_13 ec_funded: 1 external_id: isi: - '000681166500013' file: - access_level: open_access checksum: 9998496f6fe202c0a19124b4209154c6 content_type: application/pdf creator: dernst date_created: 2019-05-10T14:16:05Z date_updated: 2020-07-14T12:47:17Z file_id: '6408' file_name: 2019_LNCS_Christakis.pdf file_size: 773083 relation: main_file file_date_updated: 2020-07-14T12:47:17Z has_accepted_license: '1' intvolume: ' 11427' isi: 1 language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 226-243 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication: '25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ' publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Semantic fault localization and suspiciousness ranking 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: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 11427 year: '2019' ... --- _id: '6035' abstract: - lang: eng text: 'We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed. The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent way, while achieving runtime performance that is comparable to statically compiled languages. Combining lazy operations in high dimensions and explicit computations in low dimensions, JuliaReach can be applied to solve complex, large-scale problems.' article_processing_charge: No author: - first_name: Sergiy full_name: Bogomolov, Sergiy id: 369D9A44-F248-11E8-B48F-1D18A9856A87 last_name: Bogomolov orcid: 0000-0002-0686-0365 - first_name: Marcelo full_name: Forets, Marcelo last_name: Forets - first_name: Goran full_name: Frehse, Goran last_name: Frehse - first_name: Kostiantyn full_name: Potomkin, Kostiantyn last_name: Potomkin - first_name: Christian full_name: Schilling, Christian id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87 last_name: Schilling orcid: 0000-0003-3658-1065 citation: ama: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; 2019:39-44. doi:10.1145/3302504.3311804' apa: 'Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2019). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804' chicago: 'Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, 2019. https://doi.org/10.1145/3302504.3311804.' ieee: 'S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, 2019, vol. 22, pp. 39–44.' ista: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2019. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control vol. 22, 39–44.' mla: 'Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.” Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.' short: 'S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.' conference: end_date: 2019-04-18 location: Montreal, QC, Canada name: 'HSCC: Hybrid Systems Computation and Control' start_date: 2019-04-16 date_created: 2019-02-18T14:43:28Z date_published: 2019-04-16T00:00:00Z date_updated: 2023-08-24T14:47:21Z day: '16' ddc: - '000' department: - _id: ToHe doi: 10.1145/3302504.3311804 ec_funded: 1 external_id: arxiv: - '1901.10736' isi: - '000516713900005' file: - access_level: open_access checksum: 28ed56439aea5991c3122d4730fd828f content_type: application/pdf creator: cschilli date_created: 2019-03-05T09:27:18Z date_updated: 2020-07-14T12:47:17Z file_id: '6067' file_name: hscc19.pdf file_size: 3784414 relation: main_file file_date_updated: 2020-07-14T12:47:17Z has_accepted_license: '1' intvolume: ' 22' isi: 1 keyword: - reachability analysis - hybrid systems - lazy computation language: - iso: eng month: '04' oa: 1 oa_version: Submitted Version page: 39-44 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: 'Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control' publication_identifier: isbn: - '9781450362825' publication_status: published publisher: ACM quality_controlled: '1' scopus_import: '1' status: public title: 'JuliaReach: A toolbox for set-based reachability' type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 22 year: '2019' ... --- _id: '6052' abstract: - lang: eng text: 'Expansion microscopy is a relatively new approach to super-resolution imaging that uses expandable hydrogels to isotropically increase the physical distance between fluorophores in biological samples such as cell cultures or tissue slices. The classic gel recipe results in an expansion factor of ~4×, with a resolution of 60–80 nm. We have recently developed X10 microscopy, which uses a gel that achieves an expansion factor of ~10×, with a resolution of ~25 nm. Here, we provide a step-by-step protocol for X10 expansion microscopy. A typical experiment consists of seven sequential stages: (i) immunostaining, (ii) anchoring, (iii) polymerization, (iv) homogenization, (v) expansion, (vi) imaging, and (vii) validation. The protocol presented here includes recommendations for optimization, pitfalls and their solutions, and detailed guidelines that should increase reproducibility. Although our protocol focuses on X10 expansion microscopy, we detail which of these suggestions are also applicable to classic fourfold expansion microscopy. We exemplify our protocol using primary hippocampal neurons from rats, but our approach can be used with other primary cells or cultured cell lines of interest. This protocol will enable any researcher with basic experience in immunostainings and access to an epifluorescence microscope to perform super-resolution microscopy with X10. The procedure takes 3 d and requires ~5 h of actively handling the sample for labeling and expansion, and another ~3 h for imaging and analysis.' 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: Christoph M full_name: Sommer, Christoph M id: 4DF26D8C-F248-11E8-B48F-1D18A9856A87 last_name: Sommer orcid: 0000-0003-1216-9105 - first_name: Silvio O full_name: Rizzoli, Silvio O last_name: Rizzoli - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 citation: ama: Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. A practical guide to optimization in X10 expansion microscopy. Nature Protocols. 2019;14(3):832–863. doi:10.1038/s41596-018-0117-3 apa: Truckenbrodt, S. M., Sommer, C. M., Rizzoli, S. O., & Danzl, J. G. (2019). A practical guide to optimization in X10 expansion microscopy. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/s41596-018-0117-3 chicago: Truckenbrodt, Sven M, Christoph M Sommer, Silvio O Rizzoli, and Johann G Danzl. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature Protocols. Nature Publishing Group, 2019. https://doi.org/10.1038/s41596-018-0117-3. ieee: S. M. Truckenbrodt, C. M. Sommer, S. O. Rizzoli, and J. G. Danzl, “A practical guide to optimization in X10 expansion microscopy,” Nature Protocols, vol. 14, no. 3. Nature Publishing Group, pp. 832–863, 2019. ista: Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. 2019. A practical guide to optimization in X10 expansion microscopy. Nature Protocols. 14(3), 832–863. mla: Truckenbrodt, Sven M., et al. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature Protocols, vol. 14, no. 3, Nature Publishing Group, 2019, pp. 832–863, doi:10.1038/s41596-018-0117-3. short: S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863. date_created: 2019-02-24T22:59:20Z date_published: 2019-03-01T00:00:00Z date_updated: 2023-08-24T14:48:33Z day: '01' ddc: - '570' department: - _id: JoDa - _id: Bio doi: 10.1038/s41596-018-0117-3 ec_funded: 1 external_id: isi: - '000459890700008' pmid: - '30778205' file: - access_level: open_access checksum: 7efb9951e7ddf3e3dcc2fb92b859c623 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: kschuh date_created: 2021-06-29T14:41:46Z date_updated: 2021-06-29T14:41:46Z file_id: '9619' file_name: 181031_Truckenbrodt_ExM_NatProtoc.docx file_size: 84478958 relation: main_file success: 1 file_date_updated: 2021-06-29T14:41:46Z has_accepted_license: '1' intvolume: ' 14' isi: 1 issue: '3' language: - iso: eng month: '03' oa: 1 oa_version: Submitted Version page: 832–863 pmid: 1 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 265CB4D0-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I03600 name: Optical control of synaptic function via adhesion molecules publication: Nature Protocols publication_status: published publisher: Nature Publishing Group quality_controlled: '1' scopus_import: '1' status: public title: A practical guide to optimization in X10 expansion microscopy type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 14 year: '2019' ... --- _id: '6025' abstract: - lang: eng text: Non-canonical Wnt signaling plays a central role for coordinated cell polarization and directed migration in metazoan development. While spatiotemporally restricted activation of non-canonical Wnt-signaling drives cell polarization in epithelial tissues, it remains unclear whether such instructive activity is also critical for directed mesenchymal cell migration. Here, we developed a light-activated version of the non-canonical Wnt receptor Frizzled 7 (Fz7) to analyze how restricted activation of non-canonical Wnt signaling affects directed anterior axial mesendoderm (prechordal plate, ppl) cell migration within the zebrafish gastrula. We found that Fz7 signaling is required for ppl cell protrusion formation and migration and that spatiotemporally restricted ectopic activation is capable of redirecting their migration. Finally, we show that uniform activation of Fz7 signaling in ppl cells fully rescues defective directed cell migration in fz7 mutant embryos. Together, our findings reveal that in contrast to the situation in epithelial cells, non-canonical Wnt signaling functions permissively rather than instructively in directed mesenchymal cell migration during gastrulation. acknowledged_ssus: - _id: Bio - _id: LifeSc article_number: e42093 article_processing_charge: No author: - first_name: Daniel full_name: Capek, Daniel id: 31C42484-F248-11E8-B48F-1D18A9856A87 last_name: Capek orcid: 0000-0001-5199-9940 - first_name: Michael full_name: Smutny, Michael id: 3FE6E4E8-F248-11E8-B48F-1D18A9856A87 last_name: Smutny orcid: 0000-0002-5920-9090 - first_name: Alexandra Madelaine full_name: Tichy, Alexandra Madelaine last_name: Tichy - first_name: Maurizio full_name: Morri, Maurizio id: 4863116E-F248-11E8-B48F-1D18A9856A87 last_name: Morri - first_name: Harald L full_name: Janovjak, Harald L id: 33BA6C30-F248-11E8-B48F-1D18A9856A87 last_name: Janovjak orcid: 0000-0002-8023-9315 - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 citation: ama: Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 2019;8. doi:10.7554/eLife.42093 apa: Capek, D., Smutny, M., Tichy, A. M., Morri, M., Janovjak, H. L., & Heisenberg, C.-P. J. (2019). Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.42093 chicago: Capek, Daniel, Michael Smutny, Alexandra Madelaine Tichy, Maurizio Morri, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Light-Activated Frizzled7 Reveals a Permissive Role of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.42093. ieee: D. Capek, M. Smutny, A. M. Tichy, M. Morri, H. L. Janovjak, and C.-P. J. Heisenberg, “Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration,” eLife, vol. 8. eLife Sciences Publications, 2019. ista: Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. 2019. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 8, e42093. mla: Capek, Daniel, et al. “Light-Activated Frizzled7 Reveals a Permissive Role of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.” ELife, vol. 8, e42093, eLife Sciences Publications, 2019, doi:10.7554/eLife.42093. short: D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019). date_created: 2019-02-17T22:59:22Z date_published: 2019-02-06T00:00:00Z date_updated: 2023-08-24T14:46:01Z day: '06' ddc: - '570' department: - _id: CaHe - _id: HaJa doi: 10.7554/eLife.42093 ec_funded: 1 external_id: isi: - '000458025300001' file: - access_level: open_access checksum: 6cb4ca6d4aa96f6f187a5983aa3e660a content_type: application/pdf creator: dernst date_created: 2019-02-18T15:17:21Z date_updated: 2020-07-14T12:47:17Z file_id: '6041' file_name: 2019_elife_Capek.pdf file_size: 5500707 relation: main_file file_date_updated: 2020-07-14T12:47:17Z has_accepted_license: '1' intvolume: ' 8' isi: 1 language: - iso: eng month: '02' oa: 1 oa_version: Published Version project: - _id: 260F1432-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742573' name: Interaction and feedback between cell mechanics and fate specification in vertebrate gastrulation publication: eLife publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' scopus_import: '1' status: public title: Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 8 year: '2019' ... --- _id: '6022' abstract: - lang: eng text: The evolution of new species is made easier when traits under divergent ecological selection are also mating cues. Such ecological mating cues are now considered more common than previously thought, but we still know little about the genetic changes underlying their evolution or more generally about the genetic basis for assortative mating behaviors. Both tight physical linkage and the existence of large-effect preference loci will strengthen genetic associations between behavioral and ecological barriers, promoting the evolution of assortative mating. The warning patterns of Heliconius melpomene and H. cydno are under disruptive selection due to increased predation of nonmimetic hybrids and are used during mate recognition. We carried out a genome-wide quantitative trait locus (QTL) analysis of preference behaviors between these species and showed that divergent male preference has a simple genetic basis. We identify three QTLs that together explain a large proportion (approximately 60%) of the difference in preference behavior observed between the parental species. One of these QTLs is just 1.2 (0-4.8) centiMorgans (cM) from the major color pattern gene optix, and, individually, all three have a large effect on the preference phenotype. Genomic divergence between H. cydno and H. melpomene is high but broadly heterogenous, and admixture is reduced at the preference-optix color pattern locus but not the other preference QTLs. The simple genetic architecture we reveal will facilitate the evolution and maintenance of new species despite ongoing gene flow by coupling behavioral and ecological aspects of reproductive isolation. article_number: e2005902 article_processing_charge: No author: - first_name: Richard M. full_name: Merrill, Richard M. last_name: Merrill - first_name: Pasi full_name: Rastas, Pasi last_name: Rastas - first_name: Simon H. full_name: Martin, Simon H. last_name: Martin - first_name: Maria C full_name: Melo Hurtado, Maria C id: 386D7308-F248-11E8-B48F-1D18A9856A87 last_name: Melo Hurtado - first_name: Sarah full_name: Barker, Sarah last_name: Barker - first_name: John full_name: Davey, John last_name: Davey - first_name: W. Owen full_name: Mcmillan, W. Owen last_name: Mcmillan - first_name: Chris D. full_name: Jiggins, Chris D. last_name: Jiggins citation: ama: Merrill RM, Rastas P, Martin SH, et al. Genetic dissection of assortative mating behavior. PLoS Biology. 2019;17(2). doi:10.1371/journal.pbio.2005902 apa: Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J., … Jiggins, C. D. (2019). Genetic dissection of assortative mating behavior. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005902 chicago: Merrill, Richard M., Pasi Rastas, Simon H. Martin, Maria C Melo Hurtado, Sarah Barker, John Davey, W. Owen Mcmillan, and Chris D. Jiggins. “Genetic Dissection of Assortative Mating Behavior.” PLoS Biology. Public Library of Science, 2019. https://doi.org/10.1371/journal.pbio.2005902. ieee: R. M. Merrill et al., “Genetic dissection of assortative mating behavior,” PLoS Biology, vol. 17, no. 2. Public Library of Science, 2019. ista: Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan WO, Jiggins CD. 2019. Genetic dissection of assortative mating behavior. PLoS Biology. 17(2), e2005902. mla: Merrill, Richard M., et al. “Genetic Dissection of Assortative Mating Behavior.” PLoS Biology, vol. 17, no. 2, e2005902, Public Library of Science, 2019, doi:10.1371/journal.pbio.2005902. short: R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019). date_created: 2019-02-17T22:59:21Z date_published: 2019-02-07T00:00:00Z date_updated: 2023-08-24T14:46:23Z day: '07' ddc: - '570' department: - _id: NiBa doi: 10.1371/journal.pbio.2005902 external_id: isi: - '000460317100001' file: - access_level: open_access checksum: 5f34001617ee729314ca520c049b1112 content_type: application/pdf creator: dernst date_created: 2019-02-18T14:57:24Z date_updated: 2020-07-14T12:47:17Z file_id: '6036' file_name: 2019_PLOS_Merrill.pdf file_size: 2005949 relation: main_file file_date_updated: 2020-07-14T12:47:17Z has_accepted_license: '1' intvolume: ' 17' isi: 1 issue: '2' language: - iso: eng license: https://creativecommons.org/publicdomain/zero/1.0/ month: '02' oa: 1 oa_version: Published Version publication: PLoS Biology publication_status: published publisher: Public Library of Science quality_controlled: '1' related_material: record: - id: '9801' relation: research_data status: public scopus_import: '1' status: public title: Genetic dissection of assortative mating behavior tmp: image: /images/cc_0.png legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode name: Creative Commons Public Domain Dedication (CC0 1.0) short: CC0 (1.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 17 year: '2019' ... --- _id: '6023' abstract: - lang: eng text: Multicellular development requires coordinated cell polarization relative to body axes, and translation to oriented cell division 1–3 . In plants, it is unknown how cell polarities are connected to organismal axes and translated to division. Here, we identify Arabidopsis SOSEKI proteins that integrate apical–basal and radial organismal axes to localize to polar cell edges. Localization does not depend on tissue context, requires cell wall integrity and is defined by a transferrable, protein-specific motif. A Domain of Unknown Function in SOSEKI proteins resembles the DIX oligomerization domain in the animal Dishevelled polarity regulator. The DIX-like domain self-interacts and is required for edge localization and for influencing division orientation, together with a second domain that defines the polar membrane domain. Our work shows that SOSEKI proteins locally interpret global polarity cues and can influence cell division orientation. Furthermore, this work reveals that, despite fundamental differences, cell polarity mechanisms in plants and animals converge on a similar protein domain. article_processing_charge: No author: - first_name: Saiko full_name: Yoshida, Saiko id: 2E46069C-F248-11E8-B48F-1D18A9856A87 last_name: Yoshida - first_name: Alja full_name: Van Der Schuren, Alja last_name: Van Der Schuren - first_name: Maritza full_name: Van Dop, Maritza last_name: Van Dop - first_name: Luc full_name: Van Galen, Luc last_name: Van Galen - first_name: Shunsuke full_name: Saiga, Shunsuke last_name: Saiga - first_name: Milad full_name: Adibi, Milad last_name: Adibi - first_name: Barbara full_name: Möller, Barbara last_name: Möller - first_name: Colette A. full_name: Ten Hove, Colette A. last_name: Ten Hove - first_name: Peter full_name: Marhavy, Peter id: 3F45B078-F248-11E8-B48F-1D18A9856A87 last_name: Marhavy orcid: 0000-0001-5227-5741 - first_name: Richard full_name: Smith, Richard last_name: Smith - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Dolf full_name: Weijers, Dolf last_name: Weijers citation: ama: Yoshida S, Van Der Schuren A, Van Dop M, et al. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 2019;5(2):160-166. doi:10.1038/s41477-019-0363-6 apa: Yoshida, S., Van Der Schuren, A., Van Dop, M., Van Galen, L., Saiga, S., Adibi, M., … Weijers, D. (2019). A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. Springer Nature. https://doi.org/10.1038/s41477-019-0363-6 chicago: Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0363-6. ieee: S. Yoshida et al., “A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis,” Nature Plants, vol. 5, no. 2. Springer Nature, pp. 160–166, 2019. ista: Yoshida S, Van Der Schuren A, Van Dop M, Van Galen L, Saiga S, Adibi M, Möller B, Ten Hove CA, Marhavý P, Smith R, Friml J, Weijers D. 2019. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 5(2), 160–166. mla: Yoshida, Saiko, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants, vol. 5, no. 2, Springer Nature, 2019, pp. 160–66, doi:10.1038/s41477-019-0363-6. short: S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166. date_created: 2019-02-17T22:59:21Z date_published: 2019-02-08T00:00:00Z date_updated: 2023-08-24T14:46:47Z day: '08' department: - _id: JiFr - _id: EvBe doi: 10.1038/s41477-019-0363-6 ec_funded: 1 external_id: isi: - '000460479600014' intvolume: ' 5' isi: 1 issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://www.biorxiv.org/content/10.1101/479113v1.abstract month: '02' oa: 1 oa_version: Submitted Version page: 160-166 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Nature Plants publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 5 year: '2019' ... --- _id: '6053' abstract: - lang: eng text: Recent technical developments in the fields of quantum electromechanics and optomechanics have spawned nanoscale mechanical transducers with the sensitivity to measure mechanical displacements at the femtometre scale and the ability to convert electromagnetic signals at the single photon level. A key challenge in this field is obtaining strong coupling between motion and electromagnetic fields without adding additional decoherence. Here we present an electromechanical transducer that integrates a high-frequency (0.42 GHz) hypersonic phononic crystal with a superconducting microwave circuit. The use of a phononic bandgap crystal enables quantum-level transduction of hypersonic mechanical motion and concurrently eliminates decoherence caused by acoustic radiation. Devices with hypersonic mechanical frequencies provide a natural pathway for integration with Josephson junction quantum circuits, a leading quantum computing technology, and nanophotonic systems capable of optical networking and distributing quantum information. article_processing_charge: No article_type: original author: - first_name: Mahmoud full_name: Kalaee, Mahmoud last_name: Kalaee - first_name: Mohammad full_name: Mirhosseini, Mohammad last_name: Mirhosseini - first_name: Paul B. full_name: Dieterle, Paul B. last_name: Dieterle - first_name: Matilda full_name: Peruzzo, Matilda id: 3F920B30-F248-11E8-B48F-1D18A9856A87 last_name: Peruzzo orcid: 0000-0002-3415-4628 - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X - first_name: Oskar full_name: Painter, Oskar last_name: Painter citation: ama: Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. 2019;14(4):334–339. doi:10.1038/s41565-019-0377-2 apa: Kalaee, M., Mirhosseini, M., Dieterle, P. B., Peruzzo, M., Fink, J. M., & Painter, O. (2019). Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-019-0377-2 chicago: Kalaee, Mahmoud, Mohammad Mirhosseini, Paul B. Dieterle, Matilda Peruzzo, Johannes M Fink, and Oskar Painter. “Quantum Electromechanics of a Hypersonic Crystal.” Nature Nanotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41565-019-0377-2. ieee: M. Kalaee, M. Mirhosseini, P. B. Dieterle, M. Peruzzo, J. M. Fink, and O. Painter, “Quantum electromechanics of a hypersonic crystal,” Nature Nanotechnology, vol. 14, no. 4. Springer Nature, pp. 334–339, 2019. ista: Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. 2019. Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. 14(4), 334–339. mla: Kalaee, Mahmoud, et al. “Quantum Electromechanics of a Hypersonic Crystal.” Nature Nanotechnology, vol. 14, no. 4, Springer Nature, 2019, pp. 334–339, doi:10.1038/s41565-019-0377-2. short: M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339. date_created: 2019-02-24T22:59:21Z date_published: 2019-04-01T00:00:00Z date_updated: 2023-08-24T14:48:08Z day: '01' department: - _id: JoFi doi: 10.1038/s41565-019-0377-2 external_id: isi: - '000463195700014' intvolume: ' 14' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://authors.library.caltech.edu/92123/ month: '04' oa: 1 oa_version: Submitted Version page: 334–339 publication: Nature Nanotechnology publication_identifier: eissn: - 1748-3395 issn: - 1748-3387 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Quantum electromechanics of a hypersonic crystal type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 14 year: '2019' ... --- _id: '6050' abstract: - lang: eng text: 'We answer a question of David Hilbert: given two circles it is not possible in general to construct their centers using only a straightedge. On the other hand, we give infinitely many families of pairs of circles for which such construction is possible. ' article_processing_charge: No author: - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Roman full_name: Fedorov, Roman last_name: Fedorov citation: ama: Akopyan A, Fedorov R. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 2019;147:91-102. doi:10.1090/proc/14240 apa: Akopyan, A., & Fedorov, R. (2019). Two circles and only a straightedge. Proceedings of the American Mathematical Society. AMS. https://doi.org/10.1090/proc/14240 chicago: Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.” Proceedings of the American Mathematical Society. AMS, 2019. https://doi.org/10.1090/proc/14240. ieee: A. Akopyan and R. Fedorov, “Two circles and only a straightedge,” Proceedings of the American Mathematical Society, vol. 147. AMS, pp. 91–102, 2019. ista: Akopyan A, Fedorov R. 2019. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 147, 91–102. mla: Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.” Proceedings of the American Mathematical Society, vol. 147, AMS, 2019, pp. 91–102, doi:10.1090/proc/14240. short: A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102. date_created: 2019-02-24T22:59:19Z date_published: 2019-01-01T00:00:00Z date_updated: 2023-08-24T14:48:59Z day: '01' department: - _id: HeEd doi: 10.1090/proc/14240 external_id: arxiv: - '1709.02562' isi: - '000450363900008' intvolume: ' 147' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1709.02562 month: '01' oa: 1 oa_version: Preprint page: 91-102 publication: Proceedings of the American Mathematical Society publication_status: published publisher: AMS quality_controlled: '1' scopus_import: '1' status: public title: Two circles and only a straightedge type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 147 year: '2019' ... --- _id: '9801' article_processing_charge: No author: - first_name: Richard M. full_name: Merrill, Richard M. last_name: Merrill - first_name: Pasi full_name: Rastas, Pasi last_name: Rastas - first_name: Simon H. full_name: Martin, Simon H. last_name: Martin - first_name: Maria C full_name: Melo Hurtado, Maria C id: 386D7308-F248-11E8-B48F-1D18A9856A87 last_name: Melo Hurtado - first_name: Sarah full_name: Barker, Sarah last_name: Barker - first_name: John full_name: Davey, John last_name: Davey - first_name: W. Owen full_name: Mcmillan, W. Owen last_name: Mcmillan - first_name: Chris D. full_name: Jiggins, Chris D. last_name: Jiggins citation: ama: Merrill RM, Rastas P, Martin SH, et al. Raw behavioral data. 2019. doi:10.1371/journal.pbio.2005902.s006 apa: Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J., … Jiggins, C. D. (2019). Raw behavioral data. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005902.s006 chicago: Merrill, Richard M., Pasi Rastas, Simon H. Martin, Maria C Melo Hurtado, Sarah Barker, John Davey, W. Owen Mcmillan, and Chris D. Jiggins. “Raw Behavioral Data.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pbio.2005902.s006. ieee: R. M. Merrill et al., “Raw behavioral data.” Public Library of Science, 2019. ista: Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan WO, Jiggins CD. 2019. Raw behavioral data, Public Library of Science, 10.1371/journal.pbio.2005902.s006. mla: Merrill, Richard M., et al. Raw Behavioral Data. Public Library of Science, 2019, doi:10.1371/journal.pbio.2005902.s006. short: R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, (2019). date_created: 2021-08-06T11:34:56Z date_published: 2019-02-07T00:00:00Z date_updated: 2023-08-24T14:46:23Z day: '07' department: - _id: NiBa doi: 10.1371/journal.pbio.2005902.s006 month: '02' oa_version: Published Version publisher: Public Library of Science related_material: record: - id: '6022' relation: used_in_publication status: public status: public title: Raw behavioral data type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- _id: '6095' abstract: - lang: eng text: Both classical and recent studies suggest that chromosomal inversion polymorphisms are important in adaptation and speciation. However, biases in discovery and reporting of inversions make it difficult to assess their prevalence and biological importance. Here, we use an approach based on linkage disequilibrium among markers genotyped for samples collected across a transect between contrasting habitats to detect chromosomal rearrangements de novo. We report 17 polymorphic rearrangements in a single locality for the coastal marine snail, Littorina saxatilis. Patterns of diversity in the field and of recombination in controlled crosses provide strong evidence that at least the majority of these rearrangements are inversions. Most show clinal changes in frequency between habitats, suggestive of divergent selection, but only one appears to be fixed for different arrangements in the two habitats. Consistent with widespread evidence for balancing selection on inversion polymorphisms, we argue that a combination of heterosis and divergent selection can explain the observed patterns and should be considered in other systems spanning environmental gradients. article_processing_charge: No author: - first_name: Rui full_name: Faria, Rui last_name: Faria - first_name: Pragya full_name: Chaube, Pragya last_name: Chaube - first_name: Hernán E. full_name: Morales, Hernán E. last_name: Morales - first_name: Tomas full_name: Larsson, Tomas last_name: Larsson - first_name: Alan R. full_name: Lemmon, Alan R. last_name: Lemmon - first_name: Emily M. full_name: Lemmon, Emily M. last_name: Lemmon - first_name: Marina full_name: Rafajlović, Marina last_name: Rafajlović - first_name: Marina full_name: Panova, Marina last_name: Panova - first_name: Mark full_name: Ravinet, Mark last_name: Ravinet - first_name: Kerstin full_name: Johannesson, Kerstin last_name: Johannesson - 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 K. full_name: Butlin, Roger K. last_name: Butlin citation: ama: Faria R, Chaube P, Morales HE, et al. Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. 2019;28(6):1375-1393. doi:10.1111/mec.14972 apa: Faria, R., Chaube, P., Morales, H. E., Larsson, T., Lemmon, A. R., Lemmon, E. M., … Butlin, R. K. (2019). Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.14972 chicago: Faria, Rui, Pragya Chaube, Hernán E. Morales, Tomas Larsson, Alan R. Lemmon, Emily M. Lemmon, Marina Rafajlović, et al. “Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes.” Molecular Ecology. Wiley, 2019. https://doi.org/10.1111/mec.14972. ieee: R. Faria et al., “Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes,” Molecular Ecology, vol. 28, no. 6. Wiley, pp. 1375–1393, 2019. ista: Faria R, Chaube P, Morales HE, Larsson T, Lemmon AR, Lemmon EM, Rafajlović M, Panova M, Ravinet M, Johannesson K, Westram AM, Butlin RK. 2019. Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. 28(6), 1375–1393. mla: Faria, Rui, et al. “Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes.” Molecular Ecology, vol. 28, no. 6, Wiley, 2019, pp. 1375–93, doi:10.1111/mec.14972. short: R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393. date_created: 2019-03-10T22:59:21Z date_published: 2019-03-01T00:00:00Z date_updated: 2023-08-24T14:50:27Z day: '01' ddc: - '570' department: - _id: NiBa doi: 10.1111/mec.14972 external_id: isi: - '000465219200013' file: - access_level: open_access checksum: f915885756057ec0ca5912a41f46a887 content_type: application/pdf creator: dernst date_created: 2019-03-11T16:12:54Z date_updated: 2020-07-14T12:47:19Z file_id: '6097' file_name: 2019_MolecularEcology_Faria.pdf file_size: 1510715 relation: main_file file_date_updated: 2020-07-14T12:47:19Z has_accepted_license: '1' intvolume: ' 28' isi: 1 issue: '6' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: 1375-1393 publication: Molecular Ecology publication_identifier: eissn: - 1365-294X issn: - 0962-1083 publication_status: published publisher: Wiley quality_controlled: '1' related_material: record: - id: '9837' relation: research_data status: public scopus_import: '1' status: public title: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 28 year: '2019' ... --- _id: '6049' abstract: - lang: eng text: 'In this article it is shown that large systems with many interacting units endowing multiple phases display self-oscillations in the presence of linear feedback between the control and order parameters, where an Andronov–Hopf bifurcation takes over the phase transition. This is simply illustrated through the mean field Landau theory whose feedback dynamics turn out to be described by the Van der Pol equation and it is then validated for the fully connected Ising model following heat bath dynamics. Despite its simplicity, this theory accounts potentially for a rich range of phenomena: here it is applied to describe in a stylized way (i) excess demand-price cycles due to strong herding in a simple agent-based market model; (ii) congestion waves in queuing networks triggered by user feedback to delays in overloaded conditions; and (iii) metabolic network oscillations resulting from cell growth control in a bistable phenotypic landscape.' article_number: '045002' article_processing_charge: Yes (in subscription journal) author: - first_name: Daniele full_name: De Martino, Daniele id: 3FF5848A-F248-11E8-B48F-1D18A9856A87 last_name: De Martino orcid: 0000-0002-5214-4706 citation: ama: 'De Martino D. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 2019;52(4). doi:10.1088/1751-8121/aaf2dd' apa: 'De Martino, D. (2019). Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/aaf2dd' chicago: 'De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical and Theoretical. IOP Publishing, 2019. https://doi.org/10.1088/1751-8121/aaf2dd.' ieee: 'D. De Martino, “Feedback-induced self-oscillations in large interacting systems subjected to phase transitions,” Journal of Physics A: Mathematical and Theoretical, vol. 52, no. 4. IOP Publishing, 2019.' ista: 'De Martino D. 2019. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 52(4), 045002.' mla: 'De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical and Theoretical, vol. 52, no. 4, 045002, IOP Publishing, 2019, doi:10.1088/1751-8121/aaf2dd.' short: 'D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).' date_created: 2019-02-24T22:59:19Z date_published: 2019-01-07T00:00:00Z date_updated: 2023-08-24T14:49:23Z day: '07' ddc: - '570' department: - _id: GaTk doi: 10.1088/1751-8121/aaf2dd ec_funded: 1 external_id: isi: - '000455379500001' file: - access_level: open_access checksum: 1112304ad363a6d8afaeccece36473cf content_type: application/pdf creator: kschuh date_created: 2019-04-19T12:18:57Z date_updated: 2020-07-14T12:47:17Z file_id: '6344' file_name: 2019_IOP_DeMartino.pdf file_size: 1804557 relation: main_file file_date_updated: 2020-07-14T12:47:17Z has_accepted_license: '1' intvolume: ' 52' isi: 1 issue: '4' language: - iso: eng month: '01' oa: 1 oa_version: Published Version project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: 'Journal of Physics A: Mathematical and Theoretical' publication_status: published publisher: IOP Publishing quality_controlled: '1' scopus_import: '1' status: public title: Feedback-induced self-oscillations in large interacting systems subjected to phase transitions 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 52 year: '2019' ... --- _id: '6091' abstract: - lang: eng text: Cortical networks are characterized by sparse connectivity, with synapses found at only a subset of axo-dendritic contacts. Yet within these networks, neurons can exhibit high connection probabilities, suggesting that cell-intrinsic factors, not proximity, determine connectivity. Here, we identify ephrin-B3 (eB3) as a factor that determines synapse density by mediating a cell-cell competition that requires ephrin-B-EphB signaling. In a microisland culture system designed to isolate cell-cell competition, we find that eB3 determines winning and losing neurons in a contest for synapses. In a Mosaic Analysis with Double Markers (MADM) genetic mouse model system in vivo the relative levels of eB3 control spine density in layer 5 and 6 neurons. MADM cortical neurons in vitro reveal that eB3 controls synapse density independently of action potential-driven activity. Our findings illustrate a new class of competitive mechanism mediated by trans-synaptic organizing proteins which control the number of synapses neurons receive relative to neighboring neurons. article_number: e41563 article_processing_charge: No author: - first_name: Nathan T. full_name: Henderson, Nathan T. last_name: Henderson - first_name: Sylvain J. full_name: Le Marchand, Sylvain J. last_name: Le Marchand - first_name: Martin full_name: Hruska, Martin last_name: Hruska - first_name: Simon full_name: Hippenmeyer, Simon id: 37B36620-F248-11E8-B48F-1D18A9856A87 last_name: Hippenmeyer orcid: 0000-0003-2279-1061 - first_name: Liqun full_name: Luo, Liqun last_name: Luo - first_name: Matthew B. full_name: Dalva, Matthew B. last_name: Dalva citation: ama: Henderson NT, Le Marchand SJ, Hruska M, Hippenmeyer S, Luo L, Dalva MB. Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs. eLife. 2019;8. doi:10.7554/eLife.41563 apa: Henderson, N. T., Le Marchand, S. J., Hruska, M., Hippenmeyer, S., Luo, L., & Dalva, M. B. (2019). Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.41563 chicago: Henderson, Nathan T., Sylvain J. Le Marchand, Martin Hruska, Simon Hippenmeyer, Liqun Luo, and Matthew B. Dalva. “Ephrin-B3 Controls Excitatory Synapse Density through Cell-Cell Competition for EphBs.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.41563. ieee: N. T. Henderson, S. J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, and M. B. Dalva, “Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs,” eLife, vol. 8. eLife Sciences Publications, 2019. ista: Henderson NT, Le Marchand SJ, Hruska M, Hippenmeyer S, Luo L, Dalva MB. 2019. Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs. eLife. 8, e41563. mla: Henderson, Nathan T., et al. “Ephrin-B3 Controls Excitatory Synapse Density through Cell-Cell Competition for EphBs.” ELife, vol. 8, e41563, eLife Sciences Publications, 2019, doi:10.7554/eLife.41563. short: N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019). date_created: 2019-03-10T22:59:20Z date_published: 2019-02-21T00:00:00Z date_updated: 2023-08-24T14:50:50Z day: '21' ddc: - '570' department: - _id: SiHi doi: 10.7554/eLife.41563 external_id: isi: - '000459380600001' pmid: - '30789343' file: - access_level: open_access checksum: 7b0800d003f14cd06b1802dea0c52941 content_type: application/pdf creator: dernst date_created: 2019-03-11T16:15:37Z date_updated: 2020-07-14T12:47:19Z file_id: '6098' file_name: 2019_eLife_Henderson.pdf file_size: 7260753 relation: main_file file_date_updated: 2020-07-14T12:47:19Z has_accepted_license: '1' intvolume: ' 8' isi: 1 language: - iso: eng month: '02' oa: 1 oa_version: Published Version pmid: 1 publication: eLife publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' scopus_import: '1' status: public title: Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 8 year: '2019' ... --- _id: '6046' abstract: - lang: eng text: Sudden stress often triggers diverse, temporally structured gene expression responses in microbes, but it is largely unknown how variable in time such responses are and if genes respond in the same temporal order in every single cell. Here, we quantified timing variability of individual promoters responding to sublethal antibiotic stress using fluorescent reporters, microfluidics, and time‐lapse microscopy. We identified lower and upper bounds that put definite constraints on timing variability, which varies strongly among promoters and conditions. Timing variability can be interpreted using results from statistical kinetics, which enable us to estimate the number of rate‐limiting molecular steps underlying different responses. We found that just a few critical steps control some responses while others rely on dozens of steps. To probe connections between different stress responses, we then tracked the temporal order and response time correlations of promoter pairs in individual cells. Our results support that, when bacteria are exposed to the antibiotic nitrofurantoin, the ensuing oxidative stress and SOS responses are part of the same causal chain of molecular events. In contrast, under trimethoprim, the acid stress response and the SOS response are part of different chains of events running in parallel. Our approach reveals fundamental constraints on gene expression timing and provides new insights into the molecular events that underlie the timing of stress responses. acknowledged_ssus: - _id: Bio article_number: e8470 article_processing_charge: No author: - first_name: Karin full_name: Mitosch, Karin id: 39B66846-F248-11E8-B48F-1D18A9856A87 last_name: Mitosch - first_name: Georg full_name: Rieckh, Georg id: 34DA8BD6-F248-11E8-B48F-1D18A9856A87 last_name: Rieckh - first_name: Mark Tobias full_name: Bollenbach, Mark Tobias id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87 last_name: Bollenbach orcid: 0000-0003-4398-476X citation: ama: Mitosch K, Rieckh G, Bollenbach MT. Temporal order and precision of complex stress responses in individual bacteria. Molecular systems biology. 2019;15(2). doi:10.15252/msb.20188470 apa: Mitosch, K., Rieckh, G., & Bollenbach, M. T. (2019). Temporal order and precision of complex stress responses in individual bacteria. Molecular Systems Biology. Embo Press. https://doi.org/10.15252/msb.20188470 chicago: Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Temporal Order and Precision of Complex Stress Responses in Individual Bacteria.” Molecular Systems Biology. Embo Press, 2019. https://doi.org/10.15252/msb.20188470. ieee: K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Temporal order and precision of complex stress responses in individual bacteria,” Molecular systems biology, vol. 15, no. 2. Embo Press, 2019. ista: Mitosch K, Rieckh G, Bollenbach MT. 2019. Temporal order and precision of complex stress responses in individual bacteria. Molecular systems biology. 15(2), e8470. mla: Mitosch, Karin, et al. “Temporal Order and Precision of Complex Stress Responses in Individual Bacteria.” Molecular Systems Biology, vol. 15, no. 2, e8470, Embo Press, 2019, doi:10.15252/msb.20188470. short: K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019). date_created: 2019-02-24T22:59:18Z date_published: 2019-02-14T00:00:00Z date_updated: 2023-08-24T14:49:53Z day: '14' department: - _id: GaTk doi: 10.15252/msb.20188470 external_id: isi: - '000459628300003' pmid: - '30765425' intvolume: ' 15' isi: 1 issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pubmed/30765425 month: '02' oa: 1 oa_version: Submitted Version pmid: 1 project: - _id: 25E9AF9E-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P27201-B22 name: Revealing the mechanisms underlying drug interactions - _id: 25EB3A80-B435-11E9-9278-68D0E5697425 grant_number: RGP0042/2013 name: Revealing the fundamental limits of cell growth publication: Molecular systems biology publication_status: published publisher: Embo Press quality_controlled: '1' scopus_import: '1' status: public title: Temporal order and precision of complex stress responses in individual bacteria type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 15 year: '2019' ... --- _id: '6105' abstract: - lang: eng text: " Hosts can alter their strategy towards pathogens during their lifetime; that is, they can show phenotypic plasticity in immunity or life history. Immune priming is one such example, where a previous encounter with a pathogen confers enhanced protection upon secondary challenge, resulting in reduced pathogen load (i.e., resistance) and improved host survival. However, an initial encounter might also enhance tolerance, particularly to less virulent opportunistic pathogens that establish persistent infections. In this scenario, individuals are better able to reduce the negative fecundity consequences that result from a high pathogen burden. Finally, previous exposure may also lead to life‐history adjustments, such as terminal investment into reproduction.\r\n Using different Drosophila melanogaster host genotypes and two bacterial pathogens, Lactococcus lactis and Pseudomonas entomophila, we tested whether previous exposure results in resistance or tolerance and whether it modifies immune gene expression during an acute‐phase infection (one day post‐challenge). We then asked whether previous pathogen exposure affects chronic‐phase pathogen persistence and longer‐term survival (28 days post‐challenge).\r\n \ We predicted that previous exposure would increase host resistance to an early stage bacterial infection while it might come at a cost to host fecundity tolerance. We reasoned that resistance would be due in part to stronger immune gene expression after challenge. We expected that previous exposure would improve long‐term survival, that it would reduce infection persistence, and we expected to find genetic variation in these responses.\r\n We found that previous exposure to P. entomophila weakened host resistance to a second infection independent of genotype and had no effect on immune gene expression. Fecundity tolerance showed genotypic variation but was not influenced by previous exposure. However, L. lactis persisted as a chronic infection, whereas survivors cleared the more pathogenic P. entomophila infection.\r\n \ To our knowledge, this is the first study that addresses host tolerance to bacteria in relation to previous exposure, taking a multi‐faceted approach to address the topic. Our results suggest that previous exposure comes with transient costs to resistance during the early stage of infection in this host–pathogen system and that infection persistence may be bacterium‐specific.\r\n" article_processing_charge: No article_type: original author: - first_name: Megan full_name: Kutzer, Megan id: 29D0B332-F248-11E8-B48F-1D18A9856A87 last_name: Kutzer orcid: 0000-0002-8696-6978 - first_name: Joachim full_name: Kurtz, Joachim last_name: Kurtz - first_name: Sophie A.O. full_name: Armitage, Sophie A.O. last_name: Armitage citation: ama: Kutzer M, Kurtz J, Armitage SAO. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. 2019;88(4):566-578. doi:10.1111/1365-2656.12953 apa: Kutzer, M., Kurtz, J., & Armitage, S. A. O. (2019). A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. Wiley. https://doi.org/10.1111/1365-2656.12953 chicago: Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Journal of Animal Ecology. Wiley, 2019. https://doi.org/10.1111/1365-2656.12953. ieee: M. Kutzer, J. Kurtz, and S. A. O. Armitage, “A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance,” Journal of Animal Ecology, vol. 88, no. 4. Wiley, pp. 566–578, 2019. ista: Kutzer M, Kurtz J, Armitage SAO. 2019. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. 88(4), 566–578. mla: Kutzer, Megan, et al. “A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Journal of Animal Ecology, vol. 88, no. 4, Wiley, 2019, pp. 566–78, doi:10.1111/1365-2656.12953. short: M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578. date_created: 2019-03-17T22:59:15Z date_published: 2019-04-01T00:00:00Z date_updated: 2023-08-25T08:04:53Z day: '01' ddc: - '570' department: - _id: SyCr doi: 10.1111/1365-2656.12953 ec_funded: 1 external_id: isi: - '000467994800007' file: - access_level: open_access checksum: 405cde15120de26018b3bd0dfa29986c content_type: application/pdf creator: dernst date_created: 2019-03-18T07:43:06Z date_updated: 2020-07-14T12:47:19Z file_id: '6107' file_name: 2019_JournalAnimalEcology_Kutzer.pdf file_size: 1460662 relation: main_file file_date_updated: 2020-07-14T12:47:19Z has_accepted_license: '1' intvolume: ' 88' isi: 1 issue: '4' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 566-578 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Journal of Animal Ecology publication_identifier: eissn: - '13652656' issn: - '00218790' publication_status: published publisher: Wiley quality_controlled: '1' related_material: record: - id: '9806' relation: research_data status: public scopus_import: '1' status: public title: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 88 year: '2019' ... --- _id: '6088' abstract: - lang: eng text: P-Glycoprotein (ABCB1) and breast cancer resistance protein (ABCG2) are two efflux transporters at the blood–brain barrier (BBB), which effectively restrict brain distribution of diverse drugs, such as tyrosine kinase inhibitors. There is a crucial need for pharmacological ABCB1 and ABCG2 inhibition protocols for a more effective treatment of brain diseases. In the present study, seven marketed drugs (osimertinib, erlotinib, nilotinib, imatinib, lapatinib, pazopanib, and cyclosporine A) and one nonmarketed drug (tariquidar), with known in vitro ABCB1/ABCG2 inhibitory properties, were screened for their inhibitory potency at the BBB in vivo. Positron emission tomography (PET) using the model ABCB1/ABCG2 substrate [11C]erlotinib was performed in mice. Tested inhibitors were administered as i.v. bolus injections at 30 min before the start of the PET scan, followed by a continuous i.v. infusion for the duration of the PET scan. Five of the tested drugs increased total distribution volume of [11C]erlotinib in the brain (VT,brain) compared to vehicle-treated animals (tariquidar, + 69%; erlotinib, + 19% and +23% for the 21.5 mg/kg and the 43 mg/kg dose, respectively; imatinib, + 22%; lapatinib, + 25%; and cyclosporine A, + 49%). For all drugs, increases in [11C]erlotinib brain distribution were lower than in Abcb1a/b(−/−)Abcg2(−/−) mice (+149%), which suggested that only partial ABCB1/ABCG2 inhibition was reached at the mouse BBB. The plasma concentrations of the tested drugs at the time of the PET scan were higher than clinically achievable plasma concentrations. Some of the tested drugs led to significant increases in blood radioactivity concentrations measured at the end of the PET scan (erlotinib, + 103% and +113% for the 21.5 mg/kg and the 43 mg/kg dose, respectively; imatinib, + 125%; and cyclosporine A, + 101%), which was most likely caused by decreased hepatobiliary excretion of radioactivity. Taken together, our data suggest that some marketed tyrosine kinase inhibitors may be repurposed to inhibit ABCB1 and ABCG2 at the BBB. From a clinical perspective, moderate increases in brain delivery despite the administration of high i.v. doses as well as peripheral drug–drug interactions due to transporter inhibition in clearance organs question the translatability of this concept. article_processing_charge: No author: - first_name: Alexander full_name: Traxl, Alexander last_name: Traxl - first_name: Severin full_name: Mairinger, Severin last_name: Mairinger - first_name: Thomas full_name: Filip, Thomas last_name: Filip - first_name: Michael full_name: Sauberer, Michael last_name: Sauberer - first_name: Johann full_name: Stanek, Johann last_name: Stanek - first_name: Stefan full_name: Poschner, Stefan last_name: Poschner - first_name: Walter full_name: Jäger, Walter last_name: Jäger - first_name: Viktoria full_name: Zoufal, Viktoria last_name: Zoufal - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 - first_name: Nicolas full_name: Tournier, Nicolas last_name: Tournier - first_name: Martin full_name: Bauer, Martin last_name: Bauer - first_name: Thomas full_name: Wanek, Thomas last_name: Wanek - first_name: Oliver full_name: Langer, Oliver last_name: Langer citation: ama: Traxl A, Mairinger S, Filip T, et al. Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics. 2019;16(3):1282-1293. doi:10.1021/acs.molpharmaceut.8b01217 apa: Traxl, A., Mairinger, S., Filip, T., Sauberer, M., Stanek, J., Poschner, S., … Langer, O. (2019). Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics. American Chemical Society. https://doi.org/10.1021/acs.molpharmaceut.8b01217 chicago: Traxl, Alexander, Severin Mairinger, Thomas Filip, Michael Sauberer, Johann Stanek, Stefan Poschner, Walter Jäger, et al. “Inhibition of ABCB1 and ABCG2 at the Mouse Blood-Brain Barrier with Marketed Drugs to Improve Brain Delivery of the Model ABCB1/ABCG2 Substrate [11C]Erlotinib.” Molecular Pharmaceutics. American Chemical Society, 2019. https://doi.org/10.1021/acs.molpharmaceut.8b01217. ieee: A. Traxl et al., “Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib,” Molecular Pharmaceutics, vol. 16, no. 3. American Chemical Society, pp. 1282–1293, 2019. ista: Traxl A, Mairinger S, Filip T, Sauberer M, Stanek J, Poschner S, Jäger W, Zoufal V, Novarino G, Tournier N, Bauer M, Wanek T, Langer O. 2019. Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics. 16(3), 1282–1293. mla: Traxl, Alexander, et al. “Inhibition of ABCB1 and ABCG2 at the Mouse Blood-Brain Barrier with Marketed Drugs to Improve Brain Delivery of the Model ABCB1/ABCG2 Substrate [11C]Erlotinib.” Molecular Pharmaceutics, vol. 16, no. 3, American Chemical Society, 2019, pp. 1282–93, doi:10.1021/acs.molpharmaceut.8b01217. short: A. Traxl, S. Mairinger, T. Filip, M. Sauberer, J. Stanek, S. Poschner, W. Jäger, V. Zoufal, G. Novarino, N. Tournier, M. Bauer, T. Wanek, O. Langer, Molecular Pharmaceutics 16 (2019) 1282–1293. date_created: 2019-03-10T22:59:19Z date_published: 2019-03-04T00:00:00Z date_updated: 2023-08-25T08:02:51Z day: '04' department: - _id: GaNo doi: 10.1021/acs.molpharmaceut.8b01217 external_id: isi: - '000460600400031' pmid: - '30694684' intvolume: ' 16' isi: 1 issue: '3' language: - iso: eng month: '03' oa_version: None page: 1282-1293 pmid: 1 publication: Molecular Pharmaceutics publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 16 year: '2019' ... --- _id: '6087' abstract: - lang: eng text: Cell fate specification by lateral inhibition typically involves contact signaling through the Delta-Notch signaling pathway. However, whether this is the only signaling mode mediating lateral inhibition remains unclear. Here we show that in zebrafish oogenesis, a group of cells within the granulosa cell layer at the oocyte animal pole acquire elevated levels of the transcriptional coactivator TAZ in their nuclei. One of these cells, the future micropyle precursor cell (MPC), accumulates increasingly high levels of nuclear TAZ and grows faster than its surrounding cells, mechanically compressing those cells, which ultimately lose TAZ from their nuclei. Strikingly, relieving neighbor-cell compression by MPC ablation or aspiration restores nuclear TAZ accumulation in neighboring cells, eventually leading to MPC re-specification from these cells. Conversely, MPC specification is defective in taz−/− follicles. These findings uncover a novel mode of lateral inhibition in cell fate specification based on mechanical signals controlling TAZ activity. acknowledged_ssus: - _id: Bio - _id: EM-Fac - _id: LifeSc acknowledgement: We thank Roland Dosch, Makoto Furutani-Seiki, Brian Link, Mary Mullins, and Masazumi Tada for providing transgenic and/or mutant zebrafish lines; Alexandra Schauer, Shayan Shami-Pour, and the rest of the Heisenberg lab for technical assistance and feedback on the manuscript; and the Bioimaging, Electron Microscopy, and Zebrafish facilities of IST Austria for continuous support. This work was supported by an ERC advanced grant ( MECSPEC to C.-P.H.). article_processing_charge: No article_type: original author: - first_name: Peng full_name: Xia, Peng id: 4AB6C7D0-F248-11E8-B48F-1D18A9856A87 last_name: Xia orcid: 0000-0002-5419-7756 - first_name: Daniel J full_name: Gütl, Daniel J id: 381929CE-F248-11E8-B48F-1D18A9856A87 last_name: Gütl - first_name: Vanessa full_name: Zheden, Vanessa id: 39C5A68A-F248-11E8-B48F-1D18A9856A87 last_name: Zheden orcid: 0000-0002-9438-4783 - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 citation: ama: Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 2019;176(6):1379-1392.e14. doi:10.1016/j.cell.2019.01.019 apa: Xia, P., Gütl, D. J., Zheden, V., & Heisenberg, C.-P. J. (2019). Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. Elsevier. https://doi.org/10.1016/j.cell.2019.01.019 chicago: Xia, Peng, Daniel J Gütl, Vanessa Zheden, and Carl-Philipp J Heisenberg. “Lateral Inhibition in Cell Specification Mediated by Mechanical Signals Modulating TAZ Activity.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.01.019. ieee: P. Xia, D. J. Gütl, V. Zheden, and C.-P. J. Heisenberg, “Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity,” Cell, vol. 176, no. 6. Elsevier, p. 1379–1392.e14, 2019. ista: Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. 2019. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 176(6), 1379–1392.e14. mla: Xia, Peng, et al. “Lateral Inhibition in Cell Specification Mediated by Mechanical Signals Modulating TAZ Activity.” Cell, vol. 176, no. 6, Elsevier, 2019, p. 1379–1392.e14, doi:10.1016/j.cell.2019.01.019. short: P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14. date_created: 2019-03-10T22:59:19Z date_published: 2019-03-07T00:00:00Z date_updated: 2023-08-25T08:02:23Z day: '07' department: - _id: CaHe - _id: EM-Fac doi: 10.1016/j.cell.2019.01.019 ec_funded: 1 external_id: isi: - '000460509600013' pmid: - '30773315' intvolume: ' 176' isi: 1 issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.cell.2019.01.019 month: '03' oa: 1 oa_version: Published Version page: 1379-1392.e14 pmid: 1 project: - _id: 260F1432-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742573' name: Interaction and feedback between cell mechanics and fate specification in vertebrate gastrulation publication: Cell publication_status: published publisher: Elsevier quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/in-zebrafish-eggs-most-rapidly-growing-cell-inhibits-its-neighbours-through-mechanical-signals/ scopus_import: '1' status: public title: Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 176 year: '2019' ... --- _id: '9806' abstract: - lang: eng text: 1. Hosts can alter their strategy towards pathogens during their lifetime, i.e., they can show phenotypic plasticity in immunity or life history. Immune priming is one such example, where a previous encounter with a pathogen confers enhanced protection upon secondary challenge, resulting in reduced pathogen load (i.e. resistance) and improved host survival. However, an initial encounter might also enhance tolerance, particularly to less virulent opportunistic pathogens that establish persistent infections. In this scenario, individuals are better able to reduce the negative fitness consequences that result from a high pathogen load. Finally, previous exposure may also lead to life history adjustments, such as terminal investment into reproduction. 2. Using different Drosophila melanogaster host genotypes and two bacterial pathogens, Lactococcus lactis and Pseudomonas entomophila, we tested if previous exposure results in resistance or tolerance and whether it modifies immune gene expression during an acute-phase infection (one day post-challenge). We then asked if previous pathogen exposure affects chronic-phase pathogen persistence and longer-term survival (28 days post-challenge). 3. We predicted that previous exposure would increase host resistance to an early stage bacterial infection while it might come at a cost to host fecundity tolerance. We reasoned that resistance would be due in part to stronger immune gene expression after challenge. We expected that previous exposure would improve long-term survival, that it would reduce infection persistence, and we expected to find genetic variation in these responses. 4. We found that previous exposure to P. entomophila weakened host resistance to a second infection independent of genotype and had no effect on immune gene expression. Fecundity tolerance showed genotypic variation but was not influenced by previous exposure. However, L. lactis persisted as a chronic infection, whereas survivors cleared the more pathogenic P. entomophila infection. 5. To our knowledge, this is the first study that addresses host tolerance to bacteria in relation to previous exposure, taking a multi-faceted approach to address the topic. Our results suggest that previous exposure comes with transient costs to resistance during the early stage of infection in this host-pathogen system and that infection persistence may be bacterium-specific. article_processing_charge: No author: - first_name: Megan full_name: Kutzer, Megan id: 29D0B332-F248-11E8-B48F-1D18A9856A87 last_name: Kutzer orcid: 0000-0002-8696-6978 - first_name: Joachim full_name: Kurtz, Joachim last_name: Kurtz - first_name: Sophie A.O. full_name: Armitage, Sophie A.O. last_name: Armitage citation: ama: 'Kutzer M, Kurtz J, Armitage SAO. Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. 2019. doi:10.5061/dryad.9kj41f0' apa: 'Kutzer, M., Kurtz, J., & Armitage, S. A. O. (2019). Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Dryad. https://doi.org/10.5061/dryad.9kj41f0' chicago: 'Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “Data from: A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Dryad, 2019. https://doi.org/10.5061/dryad.9kj41f0.' ieee: 'M. Kutzer, J. Kurtz, and S. A. O. Armitage, “Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance.” Dryad, 2019.' ista: 'Kutzer M, Kurtz J, Armitage SAO. 2019. Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance, Dryad, 10.5061/dryad.9kj41f0.' mla: 'Kutzer, Megan, et al. Data from: A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance. Dryad, 2019, doi:10.5061/dryad.9kj41f0.' short: M. Kutzer, J. Kurtz, S.A.O. Armitage, (2019). date_created: 2021-08-06T12:06:40Z date_published: 2019-02-05T00:00:00Z date_updated: 2023-08-25T08:04:52Z day: '05' department: - _id: SyCr doi: 10.5061/dryad.9kj41f0 main_file_link: - open_access: '1' url: https://doi.org/10.5061/dryad.9kj41f0 month: '02' oa: 1 oa_version: Published Version publisher: Dryad related_material: record: - id: '6105' relation: used_in_publication status: public status: public title: 'Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance' type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- _id: '6086' abstract: - lang: eng text: We show that linear analytic cocycles where all Lyapunov exponents are negative infinite are nilpotent. For such one-frequency cocycles we show that they can be analytically conjugated to an upper triangular cocycle or a Jordan normal form. As a consequence, an arbitrarily small analytic perturbation leads to distinct Lyapunov exponents. Moreover, in the one-frequency case where the th Lyapunov exponent is finite and the st negative infinite, we obtain a simple criterion for domination in which case there is a splitting into a nilpotent part and an invertible part. article_processing_charge: No author: - first_name: Christian full_name: Sadel, Christian id: 4760E9F8-F248-11E8-B48F-1D18A9856A87 last_name: Sadel orcid: 0000-0001-8255-3968 - first_name: Disheng full_name: Xu, Disheng last_name: Xu citation: ama: Sadel C, Xu D. Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. 2019;39(4):1082-1098. doi:10.1017/etds.2017.52 apa: Sadel, C., & Xu, D. (2019). Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2017.52 chicago: Sadel, Christian, and Disheng Xu. “Singular Analytic Linear Cocycles with Negative Infinite Lyapunov Exponents.” Ergodic Theory and Dynamical Systems. Cambridge University Press, 2019. https://doi.org/10.1017/etds.2017.52. ieee: C. Sadel and D. Xu, “Singular analytic linear cocycles with negative infinite Lyapunov exponents,” Ergodic Theory and Dynamical Systems, vol. 39, no. 4. Cambridge University Press, pp. 1082–1098, 2019. ista: Sadel C, Xu D. 2019. Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. 39(4), 1082–1098. mla: Sadel, Christian, and Disheng Xu. “Singular Analytic Linear Cocycles with Negative Infinite Lyapunov Exponents.” Ergodic Theory and Dynamical Systems, vol. 39, no. 4, Cambridge University Press, 2019, pp. 1082–98, doi:10.1017/etds.2017.52. short: C. Sadel, D. Xu, Ergodic Theory and Dynamical Systems 39 (2019) 1082–1098. date_created: 2019-03-10T22:59:18Z date_published: 2019-04-01T00:00:00Z date_updated: 2023-08-25T08:03:30Z day: '01' department: - _id: LaEr doi: 10.1017/etds.2017.52 ec_funded: 1 external_id: arxiv: - '1601.06118' isi: - '000459725600012' intvolume: ' 39' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1601.06118 month: '04' oa: 1 oa_version: Preprint page: 1082-1098 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Ergodic Theory and Dynamical Systems publication_status: published publisher: Cambridge University Press quality_controlled: '1' scopus_import: '1' status: public title: Singular analytic linear cocycles with negative infinite Lyapunov exponents type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 39 year: '2019' ... --- _id: '6102' abstract: - lang: eng text: 'Light is a union of electric and magnetic fields, and nowhere is the complex relationship between these fields more evident than in the near fields of nanophotonic structures. There, complicated electric and magnetic fields varying over subwavelength scales are generally present, which results in photonic phenomena such as extraordinary optical momentum, superchiral fields, and a complex spatial evolution of optical singularities. An understanding of such phenomena requires nanoscale measurements of the complete optical field vector. Although the sensitivity of near- field scanning optical microscopy to the complete electromagnetic field was recently demonstrated, a separation of different components required a priori knowledge of the sample. Here, we introduce a robust algorithm that can disentangle all six electric and magnetic field components from a single near-field measurement without any numerical modeling of the structure. As examples, we unravel the fields of two prototypical nanophotonic structures: a photonic crystal waveguide and a plasmonic nanowire. These results pave the way for new studies of complex photonic phenomena at the nanoscale and for the design of structures that optimize their optical behavior.' article_number: '28' article_processing_charge: No author: - first_name: B. full_name: Le Feber, B. last_name: Le Feber - first_name: J. E. full_name: Sipe, J. E. last_name: Sipe - first_name: Matthias full_name: Wulf, Matthias id: 45598606-F248-11E8-B48F-1D18A9856A87 last_name: Wulf orcid: 0000-0001-6613-1378 - first_name: L. full_name: Kuipers, L. last_name: Kuipers - first_name: N. full_name: Rotenberg, N. last_name: Rotenberg citation: ama: 'Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 2019;8(1). doi:10.1038/s41377-019-0124-3' apa: 'Le Feber, B., Sipe, J. E., Wulf, M., Kuipers, L., & Rotenberg, N. (2019). A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. Springer Nature. https://doi.org/10.1038/s41377-019-0124-3' chicago: 'Le Feber, B., J. E. Sipe, Matthias Wulf, L. Kuipers, and N. Rotenberg. “A Full Vectorial Mapping of Nanophotonic Light Fields.” Light: Science and Applications. Springer Nature, 2019. https://doi.org/10.1038/s41377-019-0124-3.' ieee: 'B. Le Feber, J. E. Sipe, M. Wulf, L. Kuipers, and N. Rotenberg, “A full vectorial mapping of nanophotonic light fields,” Light: Science and Applications, vol. 8, no. 1. Springer Nature, 2019.' ista: 'Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. 2019. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 8(1), 28.' mla: 'Le Feber, B., et al. “A Full Vectorial Mapping of Nanophotonic Light Fields.” Light: Science and Applications, vol. 8, no. 1, 28, Springer Nature, 2019, doi:10.1038/s41377-019-0124-3.' short: 'B. Le Feber, J.E. Sipe, M. Wulf, L. Kuipers, N. Rotenberg, Light: Science and Applications 8 (2019).' date_created: 2019-03-17T22:59:13Z date_published: 2019-03-06T00:00:00Z date_updated: 2023-08-25T08:06:10Z day: '06' ddc: - '530' department: - _id: JoFi doi: 10.1038/s41377-019-0124-3 external_id: arxiv: - '1803.10145' isi: - '000460470700004' file: - access_level: open_access checksum: d71e528cff9c56f70ccc29dd7005257f content_type: application/pdf creator: dernst date_created: 2019-03-18T08:08:22Z date_updated: 2020-07-14T12:47:19Z file_id: '6108' file_name: 2019_Light_LeFeber.pdf file_size: 1119947 relation: main_file file_date_updated: 2020-07-14T12:47:19Z has_accepted_license: '1' intvolume: ' 8' isi: 1 issue: '1' language: - iso: eng month: '03' oa: 1 oa_version: Published Version publication: 'Light: Science and Applications' publication_identifier: eissn: - '20477538' issn: - '20955545' publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: A full vectorial mapping of nanophotonic light fields 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 8 year: '2019' ... --- _id: '6104' abstract: - lang: eng text: Abiotic stress poses constant challenges for plant survival and is a serious problem for global agricultural productivity. On a molecular level, stress conditions result in elevation of reactive oxygen species (ROS) production causing oxidative stress associated with oxidation of proteins and nucleic acids as well as impairment of membrane functions. Adaptation of root growth to ROS accumulation is facilitated through modification of auxin and cytokinin hormone homeostasis. Here, we report that in Arabidopsis root meristem, ROS-induced changes of auxin levels correspond to decreased abundance of PIN auxin efflux carriers at the plasma membrane (PM). Specifically, increase in H2O2 levels affects PIN2 endocytic recycling. We show that the PIN2 intracellular trafficking during adaptation to oxidative stress requires the function of the ADP-ribosylation factor (ARF)-guanine-nucleotide exchange factor (GEF) BEN1, an actin-associated regulator of the trafficking from the PM to early endosomes and, presumably, indirectly, trafficking to the vacuoles. We propose that H2O2 levels affect the actin dynamics thus modulating ARF-GEF-dependent trafficking of PIN2. This mechanism provides a way how root growth acclimates to stress and adapts to a changing environment. article_processing_charge: No author: - first_name: Marta full_name: Zwiewka, Marta last_name: Zwiewka - first_name: Agnieszka full_name: Bielach, Agnieszka last_name: Bielach - first_name: Prashanth full_name: Tamizhselvan, Prashanth last_name: Tamizhselvan - first_name: Sharmila full_name: Madhavan, Sharmila last_name: Madhavan - first_name: Eman Elrefaay full_name: Ryad, Eman Elrefaay last_name: Ryad - first_name: Shutang full_name: Tan, Shutang id: 2DE75584-F248-11E8-B48F-1D18A9856A87 last_name: Tan orcid: 0000-0002-0471-8285 - first_name: Mónika full_name: Hrtyan, Mónika id: 45A71A74-F248-11E8-B48F-1D18A9856A87 last_name: Hrtyan - first_name: Petre full_name: Dobrev, Petre last_name: Dobrev - first_name: Radomira full_name: Vanková, Radomira last_name: Vanková - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Vanesa B. full_name: Tognetti, Vanesa B. last_name: Tognetti citation: ama: Zwiewka M, Bielach A, Tamizhselvan P, et al. Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking. Plant and Cell Physiology. 2019;60(2):255-273. doi:10.1093/pcp/pcz001 apa: Zwiewka, M., Bielach, A., Tamizhselvan, P., Madhavan, S., Ryad, E. E., Tan, S., … Tognetti, V. B. (2019). Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking. Plant and Cell Physiology. Oxford University Press. https://doi.org/10.1093/pcp/pcz001 chicago: Zwiewka, Marta, Agnieszka Bielach, Prashanth Tamizhselvan, Sharmila Madhavan, Eman Elrefaay Ryad, Shutang Tan, Mónika Hrtyan, et al. “Root Adaptation to H2O2-Induced Oxidative Stress by ARF-GEF BEN1- and Cytoskeleton-Mediated PIN2 Trafficking.” Plant and Cell Physiology. Oxford University Press, 2019. https://doi.org/10.1093/pcp/pcz001. ieee: M. Zwiewka et al., “Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking,” Plant and Cell Physiology, vol. 60, no. 2. Oxford University Press, pp. 255–273, 2019. ista: Zwiewka M, Bielach A, Tamizhselvan P, Madhavan S, Ryad EE, Tan S, Hrtyan M, Dobrev P, Vanková R, Friml J, Tognetti VB. 2019. Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking. Plant and Cell Physiology. 60(2), 255–273. mla: Zwiewka, Marta, et al. “Root Adaptation to H2O2-Induced Oxidative Stress by ARF-GEF BEN1- and Cytoskeleton-Mediated PIN2 Trafficking.” Plant and Cell Physiology, vol. 60, no. 2, Oxford University Press, 2019, pp. 255–73, doi:10.1093/pcp/pcz001. short: M. Zwiewka, A. Bielach, P. Tamizhselvan, S. Madhavan, E.E. Ryad, S. Tan, M. Hrtyan, P. Dobrev, R. Vanková, J. Friml, V.B. Tognetti, Plant and Cell Physiology 60 (2019) 255–273. date_created: 2019-03-17T22:59:14Z date_published: 2019-02-01T00:00:00Z date_updated: 2023-08-25T08:05:28Z day: '01' department: - _id: JiFr doi: 10.1093/pcp/pcz001 external_id: isi: - '000459634300002' pmid: - '30668780' intvolume: ' 60' isi: 1 issue: '2' language: - iso: eng month: '02' oa_version: None page: 255-273 pmid: 1 publication: Plant and Cell Physiology publication_identifier: eissn: - 1471-9053 issn: - 0032-0781 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 60 year: '2019' ... --- _id: '6191' abstract: - lang: eng text: The formation of self-organized patterns is key to the morphogenesis of multicellular organisms, although a comprehensive theory of biological pattern formation is still lacking. Here, we propose a minimal model combining tissue mechanics with morphogen turnover and transport to explore routes to patterning. Our active description couples morphogen reaction and diffusion, which impact cell differentiation and tissue mechanics, to a two-phase poroelastic rheology, where one tissue phase consists of a poroelastic cell network and the other one of a permeating extracellular fluid, which provides a feedback by actively transporting morphogens. While this model encompasses previous theories approximating tissues to inert monophasic media, such as Turing’s reaction–diffusion model, it overcomes some of their key limitations permitting pattern formation via any two-species biochemical kinetics due to mechanically induced cross-diffusion flows. Moreover, we describe a qualitatively different advection-driven Keller–Segel instability which allows for the formation of patterns with a single morphogen and whose fundamental mode pattern robustly scales with tissue size. We discuss the potential relevance of these findings for tissue morphogenesis. article_processing_charge: No author: - first_name: Pierre full_name: Recho, Pierre last_name: Recho - first_name: Adrien full_name: Hallou, Adrien last_name: Hallou - first_name: Edouard B full_name: Hannezo, Edouard B id: 3A9DB764-F248-11E8-B48F-1D18A9856A87 last_name: Hannezo orcid: 0000-0001-6005-1561 citation: ama: Recho P, Hallou A, Hannezo EB. Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(12):5344-5349. doi:10.1073/pnas.1813255116 apa: Recho, P., Hallou, A., & Hannezo, E. B. (2019). Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1813255116 chicago: Recho, Pierre, Adrien Hallou, and Edouard B Hannezo. “Theory of Mechanochemical Patterning in Biphasic Biological Tissues.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2019. https://doi.org/10.1073/pnas.1813255116. ieee: P. Recho, A. Hallou, and E. B. Hannezo, “Theory of mechanochemical patterning in biphasic biological tissues,” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 12. National Academy of Sciences, pp. 5344–5349, 2019. ista: Recho P, Hallou A, Hannezo EB. 2019. Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. 116(12), 5344–5349. mla: Recho, Pierre, et al. “Theory of Mechanochemical Patterning in Biphasic Biological Tissues.” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 12, National Academy of Sciences, 2019, pp. 5344–49, doi:10.1073/pnas.1813255116. short: P. Recho, A. Hallou, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 5344–5349. date_created: 2019-03-31T21:59:13Z date_published: 2019-03-19T00:00:00Z date_updated: 2023-08-25T08:57:30Z day: '19' ddc: - '570' department: - _id: EdHa doi: 10.1073/pnas.1813255116 external_id: isi: - '000461679000027' pmid: - '30819884' file: - access_level: open_access checksum: 8b67eee0ea8e5db61583e4d485215258 content_type: application/pdf creator: dernst date_created: 2019-04-03T14:10:30Z date_updated: 2020-07-14T12:47:23Z file_id: '6193' file_name: 2019_PNAS_Recho.pdf file_size: 3456045 relation: main_file file_date_updated: 2020-07-14T12:47:23Z has_accepted_license: '1' intvolume: ' 116' isi: 1 issue: '12' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: 5344-5349 pmid: 1 project: - _id: 268294B6-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P31639 name: Active mechano-chemical description of the cell cytoskeleton publication: Proceedings of the National Academy of Sciences of the United States of America publication_identifier: eissn: - '10916490' issn: - '00278424' publication_status: published publisher: National Academy of Sciences quality_controlled: '1' related_material: link: - relation: supplementary_material url: www.pnas.org/lookup/suppl/doi:10.1073/pnas.1813255116/-/DCSupplemental scopus_import: '1' status: public title: Theory of mechanochemical patterning in biphasic biological tissues 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 116 year: '2019' ... --- _id: '6190' abstract: - lang: eng text: "Increased levels of the chemokine CCL2 in cancer patients are associated with poor prognosis. Experimental evidence suggests that CCL2 correlates with inflammatory monocyte recruitment and induction of vascular activation, but the functionality remains open. Here, we show that endothelial Ccr2 facilitates pulmonary metastasis using an endothelial-specific Ccr2-deficient mouse model (Ccr2ecKO). Similar levels of circulating monocytes and equal leukocyte recruitment to metastatic lesions of Ccr2ecKO and Ccr2fl/fl littermates were observed. The absence of endothelial Ccr2 strongly reduced pulmonary metastasis, while the primary tumor growth was unaffected. Despite a comparable cytokine milieu in Ccr2ecKO and Ccr2fl/fl littermates the absence of vascular permeability induction was observed only in Ccr2ecKO mice. CCL2 stimulation of pulmonary endothelial cells resulted in increased phosphorylation of MLC2, endothelial cell retraction, and vascular leakiness that was blocked by an addition of a CCR2 inhibitor. These data demonstrate that endothelial CCR2 expression is required for tumor cell extravasation and pulmonary metastasis.\r\n\r\nImplications: The findings provide mechanistic insight into how CCL2–CCR2 signaling in endothelial cells promotes their activation through myosin light chain phosphorylation, resulting in endothelial retraction and enhanced tumor cell migration and metastasis." article_processing_charge: No article_type: original author: - first_name: Marko full_name: Roblek, Marko id: 3047D808-F248-11E8-B48F-1D18A9856A87 last_name: Roblek orcid: 0000-0001-9588-1389 - first_name: Darya full_name: Protsyuk, Darya last_name: Protsyuk - first_name: Paul F. full_name: Becker, Paul F. last_name: Becker - first_name: Cristina full_name: Stefanescu, Cristina last_name: Stefanescu - first_name: Christian full_name: Gorzelanny, Christian last_name: Gorzelanny - first_name: Jesus F. full_name: Glaus Garzon, Jesus F. last_name: Glaus Garzon - first_name: Lucia full_name: Knopfova, Lucia last_name: Knopfova - first_name: Mathias full_name: Heikenwalder, Mathias last_name: Heikenwalder - first_name: Bruno full_name: Luckow, Bruno last_name: Luckow - first_name: Stefan W. full_name: Schneider, Stefan W. last_name: Schneider - first_name: Lubor full_name: Borsig, Lubor last_name: Borsig citation: ama: Roblek M, Protsyuk D, Becker PF, et al. CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 2019;17(3):783-793. doi:10.1158/1541-7786.MCR-18-0530 apa: Roblek, M., Protsyuk, D., Becker, P. F., Stefanescu, C., Gorzelanny, C., Glaus Garzon, J. F., … Borsig, L. (2019). CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. AACR. https://doi.org/10.1158/1541-7786.MCR-18-0530 chicago: Roblek, Marko, Darya Protsyuk, Paul F. Becker, Cristina Stefanescu, Christian Gorzelanny, Jesus F. Glaus Garzon, Lucia Knopfova, et al. “CCL2 Is a Vascular Permeability Factor Inducing CCR2-Dependent Endothelial Retraction during Lung Metastasis.” Molecular Cancer Research. AACR, 2019. https://doi.org/10.1158/1541-7786.MCR-18-0530. ieee: M. Roblek et al., “CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis,” Molecular Cancer Research, vol. 17, no. 3. AACR, pp. 783–793, 2019. ista: Roblek M, Protsyuk D, Becker PF, Stefanescu C, Gorzelanny C, Glaus Garzon JF, Knopfova L, Heikenwalder M, Luckow B, Schneider SW, Borsig L. 2019. CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 17(3), 783–793. mla: Roblek, Marko, et al. “CCL2 Is a Vascular Permeability Factor Inducing CCR2-Dependent Endothelial Retraction during Lung Metastasis.” Molecular Cancer Research, vol. 17, no. 3, AACR, 2019, pp. 783–93, doi:10.1158/1541-7786.MCR-18-0530. short: M. Roblek, D. Protsyuk, P.F. Becker, C. Stefanescu, C. Gorzelanny, J.F. Glaus Garzon, L. Knopfova, M. Heikenwalder, B. Luckow, S.W. Schneider, L. Borsig, Molecular Cancer Research 17 (2019) 783–793. date_created: 2019-03-31T21:59:12Z date_published: 2019-03-01T00:00:00Z date_updated: 2023-08-25T08:57:01Z day: '01' department: - _id: DaSi doi: 10.1158/1541-7786.MCR-18-0530 external_id: isi: - '000460099800012' pmid: - '30552233' intvolume: ' 17' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1158/1541-7786.MCR-18-0530 month: '03' oa: 1 oa_version: Published Version page: 783-793 pmid: 1 publication: Molecular Cancer Research publication_identifier: eissn: - '15573125' issn: - '15417786' publication_status: published publisher: AACR quality_controlled: '1' scopus_import: '1' status: public title: CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 17 year: '2019' ... --- _id: '6230' abstract: - lang: eng text: Great care is needed when interpreting claims about the genetic basis of human variation based on data from genome-wide association studies. article_number: e45380 article_processing_charge: No author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Joachim full_name: Hermisson, Joachim last_name: Hermisson - first_name: Magnus full_name: Nordborg, Magnus last_name: Nordborg citation: ama: Barton NH, Hermisson J, Nordborg M. Why structure matters. eLife. 2019;8. doi:10.7554/eLife.45380 apa: Barton, N. H., Hermisson, J., & Nordborg, M. (2019). Why structure matters. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.45380 chicago: Barton, Nicholas H, Joachim Hermisson, and Magnus Nordborg. “Why Structure Matters.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.45380. ieee: N. H. Barton, J. Hermisson, and M. Nordborg, “Why structure matters,” eLife, vol. 8. eLife Sciences Publications, 2019. ista: Barton NH, Hermisson J, Nordborg M. 2019. Why structure matters. eLife. 8, e45380. mla: Barton, Nicholas H., et al. “Why Structure Matters.” ELife, vol. 8, e45380, eLife Sciences Publications, 2019, doi:10.7554/eLife.45380. short: N.H. Barton, J. Hermisson, M. Nordborg, ELife 8 (2019). date_created: 2019-04-07T21:59:15Z date_published: 2019-03-21T00:00:00Z date_updated: 2023-08-25T08:59:38Z day: '21' ddc: - '570' department: - _id: NiBa doi: 10.7554/eLife.45380 external_id: isi: - '000461988300001' file: - access_level: open_access checksum: 130d7544b57df4a6787e1263c2d7ea43 content_type: application/pdf creator: dernst date_created: 2019-04-11T11:43:38Z date_updated: 2020-07-14T12:47:24Z file_id: '6293' file_name: 2019_eLife_Barton.pdf file_size: 298466 relation: main_file file_date_updated: 2020-07-14T12:47:24Z has_accepted_license: '1' intvolume: ' 8' isi: 1 language: - iso: eng month: '03' oa: 1 oa_version: Published Version publication: eLife publication_identifier: eissn: - 2050084X publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/body-height-bmi-disease-risk-co/ scopus_import: '1' status: public title: Why structure matters 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 8 year: '2019' ... --- _id: '6232' abstract: - lang: eng text: 'The boundary behaviour of solutions of stochastic PDEs with Dirichlet boundary conditions can be surprisingly—and in a sense, arbitrarily—bad: as shown by Krylov[ SIAM J. Math. Anal.34(2003) 1167–1182], for any α>0 one can find a simple 1-dimensional constant coefficient linear equation whose solution at the boundary is not α-Hölder continuous.We obtain a positive counterpart of this: under some mild regularity assumptions on the coefficients, solutions of semilinear SPDEs on C1 domains are proved to be α-Hölder continuous up to the boundary with some α>0.' article_processing_charge: No author: - first_name: Mate full_name: Gerencser, Mate id: 44ECEDF2-F248-11E8-B48F-1D18A9856A87 last_name: Gerencser citation: ama: Gerencser M. Boundary regularity of stochastic PDEs. Annals of Probability. 2019;47(2):804-834. doi:10.1214/18-AOP1272 apa: Gerencser, M. (2019). Boundary regularity of stochastic PDEs. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/18-AOP1272 chicago: Gerencser, Mate. “Boundary Regularity of Stochastic PDEs.” Annals of Probability. Institute of Mathematical Statistics, 2019. https://doi.org/10.1214/18-AOP1272. ieee: M. Gerencser, “Boundary regularity of stochastic PDEs,” Annals of Probability, vol. 47, no. 2. Institute of Mathematical Statistics, pp. 804–834, 2019. ista: Gerencser M. 2019. Boundary regularity of stochastic PDEs. Annals of Probability. 47(2), 804–834. mla: Gerencser, Mate. “Boundary Regularity of Stochastic PDEs.” Annals of Probability, vol. 47, no. 2, Institute of Mathematical Statistics, 2019, pp. 804–34, doi:10.1214/18-AOP1272. short: M. Gerencser, Annals of Probability 47 (2019) 804–834. date_created: 2019-04-07T21:59:15Z date_published: 2019-03-01T00:00:00Z date_updated: 2023-08-25T08:59:11Z day: '01' department: - _id: JaMa doi: 10.1214/18-AOP1272 external_id: arxiv: - '1705.05364' isi: - '000459681900005' intvolume: ' 47' isi: 1 issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1705.05364 month: '03' oa: 1 oa_version: Preprint page: 804-834 publication: Annals of Probability publication_identifier: issn: - '00911798' publication_status: published publisher: Institute of Mathematical Statistics quality_controlled: '1' scopus_import: '1' status: public title: Boundary regularity of stochastic PDEs type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 47 year: '2019' ... --- _id: '6262' abstract: - lang: eng text: "Gravitropism is an adaptive response that orients plant growth parallel to the gravity vector. Asymmetric\r\ndistribution of the phytohormone auxin is a necessary prerequisite to the tropic bending both in roots and\r\nshoots. During hypocotyl gravitropic response, the PIN3 auxin transporter polarizes within gravity-sensing\r\ncells to redirect intercellular auxin fluxes. First gravity-induced PIN3 polarization to the bottom cell mem-\r\nbranes leads to the auxin accumulation at the lower side of the organ, initiating bending and, later, auxin\r\nfeedback-mediated repolarization restores symmetric auxin distribution to terminate bending. Here, we per-\r\nformed a forward genetic screen to identify regulators of both PIN3 polarization events during gravitropic\r\nresponse. We searched for mutants with defective PIN3 polarizations based on easy-to-score morphological\r\noutputs of decreased or increased gravity-induced hypocotyl bending. We identified the number of\r\nhypocotyl reduced bending (hrb) and hypocotyl hyperbending (hhb) mutants, revealing that reduced bending corre-\r\nlated typically with defective gravity-induced PIN3 relocation whereas all analyzed hhb mutants showed\r\ndefects in the second, auxin-mediated PIN3 relocation. Next-generation sequencing-aided mutation map-\r\nping identified several candidate genes, including SCARECROW and ACTIN2, revealing roles of endodermis\r\nspecification and actin cytoskeleton in the respective gravity- and auxin-induced PIN polarization events.\r\nThe hypocotyl gravitropism screen thus promises to provide novel insights into mechanisms underlying cell\r\npolarity and plant adaptive development." article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Hana full_name: Rakusová, Hana last_name: Rakusová - first_name: Huibin full_name: Han, Huibin id: 31435098-F248-11E8-B48F-1D18A9856A87 last_name: Han - first_name: Petr full_name: Valošek, Petr id: 3CDB6F94-F248-11E8-B48F-1D18A9856A87 last_name: Valošek - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Rakusová H, Han H, Valošek P, Friml J. Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. 2019;98(6):1048-1059. doi:10.1111/tpj.14301 apa: Rakusová, H., Han, H., Valošek, P., & Friml, J. (2019). Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. Wiley. https://doi.org/10.1111/tpj.14301 chicago: Rakusová, Hana, Huibin Han, Petr Valošek, and Jiří Friml. “Genetic Screen for Factors Mediating PIN Polarization in Gravistimulated Arabidopsis Thaliana Hypocotyls.” The Plant Journal. Wiley, 2019. https://doi.org/10.1111/tpj.14301. ieee: H. Rakusová, H. Han, P. Valošek, and J. Friml, “Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls,” The Plant Journal, vol. 98, no. 6. Wiley, pp. 1048–1059, 2019. ista: Rakusová H, Han H, Valošek P, Friml J. 2019. Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. 98(6), 1048–1059. mla: Rakusová, Hana, et al. “Genetic Screen for Factors Mediating PIN Polarization in Gravistimulated Arabidopsis Thaliana Hypocotyls.” The Plant Journal, vol. 98, no. 6, Wiley, 2019, pp. 1048–59, doi:10.1111/tpj.14301. short: H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal 98 (2019) 1048–1059. date_created: 2019-04-09T08:46:44Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-08-25T10:11:03Z day: '01' ddc: - '580' department: - _id: JiFr doi: 10.1111/tpj.14301 ec_funded: 1 external_id: isi: - '000473644100008' pmid: - '30821050' file: - access_level: open_access checksum: ad3b5e270b67ba2a45f894ce3be27920 content_type: application/pdf creator: dernst date_created: 2019-04-15T09:38:43Z date_updated: 2020-07-14T12:47:25Z file_id: '6304' file_name: 2019_PlantJournal_Rakusov.pdf file_size: 1383100 relation: main_file file_date_updated: 2020-07-14T12:47:25Z has_accepted_license: '1' intvolume: ' 98' isi: 1 issue: '6' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 1048-1059 pmid: 1 project: - _id: 25716A02-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '282300' name: Polarity and subcellular dynamics in plants publication: The Plant Journal publication_identifier: eissn: - 1365-313x issn: - 0960-7412 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 98 year: '2019' ... --- _id: '6297' abstract: - lang: eng text: Cell-cell and cell-glycocalyx interactions under flow are important for the behaviour of circulating cells in blood and lymphatic vessels. However, such interactions are not well understood due in part to a lack of tools to study them in defined environments. Here, we develop a versatile in vitro platform for the study of cell-glycocalyx interactions in well-defined physical and chemical settings under flow. Our approach is demonstrated with the interaction between hyaluronan (HA, a key component of the endothelial glycocalyx) and its cell receptor CD44. We generate HA brushes in situ within a microfluidic device, and demonstrate the tuning of their physical (thickness and softness) and chemical (density of CD44 binding sites) properties using characterisation with reflection interference contrast microscopy (RICM) and application of polymer theory. We highlight the interactions of HA brushes with CD44-displaying beads and cells under flow. Observations of CD44+ beads on a HA brush with RICM enabled the 3-dimensional trajectories to be generated, and revealed interactions in the form of stop and go phases with reduced rolling velocity and reduced distance between the bead and the HA brush, compared to uncoated beads. Combined RICM and bright-field microscopy of CD44+ AKR1 T-lymphocytes revealed complementary information about the dynamics of cell rolling and cell morphology, and highlighted the formation of tethers and slings, as they interacted with a HA brush under flow. This platform can readily incorporate more complex models of the glycocalyx, and should permit the study of how mechanical and biochemical factors are orchestrated to enable highly selective blood cell-vessel wall interactions under flow. article_processing_charge: No article_type: original author: - first_name: Heather S. full_name: Davies, Heather S. last_name: Davies - first_name: Natalia S. full_name: Baranova, Natalia S. id: 38661662-F248-11E8-B48F-1D18A9856A87 last_name: Baranova orcid: 0000-0002-3086-9124 - first_name: Nouha full_name: El Amri, Nouha last_name: El Amri - first_name: Liliane full_name: Coche-Guérente, Liliane last_name: Coche-Guérente - first_name: Claude full_name: Verdier, Claude last_name: Verdier - first_name: Lionel full_name: Bureau, Lionel last_name: Bureau - first_name: Ralf P. full_name: Richter, Ralf P. last_name: Richter - first_name: Delphine full_name: Débarre, Delphine last_name: Débarre citation: ama: Davies HS, Baranova NS, El Amri N, et al. An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. 2019;78-79:47-59. doi:10.1016/j.matbio.2018.12.002 apa: Davies, H. S., Baranova, N. S., El Amri, N., Coche-Guérente, L., Verdier, C., Bureau, L., … Débarre, D. (2019). An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. Elsevier. https://doi.org/10.1016/j.matbio.2018.12.002 chicago: Davies, Heather S., Natalia S. Baranova, Nouha El Amri, Liliane Coche-Guérente, Claude Verdier, Lionel Bureau, Ralf P. Richter, and Delphine Débarre. “An Integrated Assay to Probe Endothelial Glycocalyx-Blood Cell Interactions under Flow in Mechanically and Biochemically Well-Defined Environments.” Matrix Biology. Elsevier, 2019. https://doi.org/10.1016/j.matbio.2018.12.002. ieee: H. S. Davies et al., “An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments,” Matrix Biology, vol. 78–79. Elsevier, pp. 47–59, 2019. ista: Davies HS, Baranova NS, El Amri N, Coche-Guérente L, Verdier C, Bureau L, Richter RP, Débarre D. 2019. An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. 78–79, 47–59. mla: Davies, Heather S., et al. “An Integrated Assay to Probe Endothelial Glycocalyx-Blood Cell Interactions under Flow in Mechanically and Biochemically Well-Defined Environments.” Matrix Biology, vol. 78–79, Elsevier, 2019, pp. 47–59, doi:10.1016/j.matbio.2018.12.002. short: H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, Matrix Biology 78–79 (2019) 47–59. date_created: 2019-04-11T20:55:01Z date_published: 2019-05-01T00:00:00Z date_updated: 2023-08-25T10:11:28Z day: '01' ddc: - '570' department: - _id: MaLo doi: 10.1016/j.matbio.2018.12.002 external_id: isi: - '000468707600005' file: - access_level: open_access checksum: 790878cd78bfc54a147ddcc7c8f286a0 content_type: application/pdf creator: dernst date_created: 2020-05-14T09:02:07Z date_updated: 2020-07-14T12:47:27Z file_id: '7825' file_name: 2018_MatrixBiology_Davies.pdf file_size: 4444339 relation: main_file file_date_updated: 2020-07-14T12:47:27Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '05' oa: 1 oa_version: Submitted Version page: 47-59 publication: Matrix Biology publication_identifier: issn: - 0945-053X publication_status: published publisher: Elsevier quality_controlled: '1' status: public title: An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 78-79 year: '2019' ... --- _id: '6310' abstract: - lang: eng text: An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariskiopen subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses the Hardy–Littlewood circle method. article_processing_charge: No author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: L.Q. full_name: Hu, L.Q. last_name: Hu citation: ama: Browning TD, Hu LQ. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 2019;349:920-940. doi:10.1016/j.aim.2019.04.031 apa: Browning, T. D., & Hu, L. Q. (2019). Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2019.04.031 chicago: Browning, Timothy D, and L.Q. Hu. “Counting Rational Points on Biquadratic Hypersurfaces.” Advances in Mathematics. Elsevier, 2019. https://doi.org/10.1016/j.aim.2019.04.031. ieee: T. D. Browning and L. Q. Hu, “Counting rational points on biquadratic hypersurfaces,” Advances in Mathematics, vol. 349. Elsevier, pp. 920–940, 2019. ista: Browning TD, Hu LQ. 2019. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 349, 920–940. mla: Browning, Timothy D., and L. Q. Hu. “Counting Rational Points on Biquadratic Hypersurfaces.” Advances in Mathematics, vol. 349, Elsevier, 2019, pp. 920–40, doi:10.1016/j.aim.2019.04.031. short: T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940. date_created: 2019-04-16T09:13:25Z date_published: 2019-06-20T00:00:00Z date_updated: 2023-08-25T10:11:55Z day: '20' ddc: - '512' department: - _id: TiBr doi: 10.1016/j.aim.2019.04.031 external_id: arxiv: - '1810.08426' isi: - '000468857300025' file: - access_level: open_access checksum: a63594a3a91b4ba6e2a1b78b0720b3d0 content_type: application/pdf creator: tbrownin date_created: 2019-04-16T09:12:20Z date_updated: 2020-07-14T12:47:27Z file_id: '6311' file_name: wliqun.pdf file_size: 379158 relation: main_file file_date_updated: 2020-07-14T12:47:27Z has_accepted_license: '1' intvolume: ' 349' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Submitted Version page: 920-940 publication: Advances in Mathematics publication_identifier: eissn: - '10902082' issn: - '00018708' publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Counting rational points on biquadratic hypersurfaces type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 349 year: '2019' ... --- _id: '6261' abstract: - lang: eng text: Nitrate regulation of root stem cell activity is auxin-dependent. article_processing_charge: No article_type: letter_note author: - first_name: Y full_name: Wang, Y last_name: Wang - first_name: Z full_name: Gong, Z last_name: Gong - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: J full_name: Zhang, J last_name: Zhang citation: ama: Wang Y, Gong Z, Friml J, Zhang J. Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. 2019;180(1):22-25. doi:10.1104/pp.18.01305 apa: Wang, Y., Gong, Z., Friml, J., & Zhang, J. (2019). Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. ASPB. https://doi.org/10.1104/pp.18.01305 chicago: Wang, Y, Z Gong, Jiří Friml, and J Zhang. “Nitrate Modulates the Differentiation of Root Distal Stem Cells.” Plant Physiology. ASPB, 2019. https://doi.org/10.1104/pp.18.01305. ieee: Y. Wang, Z. Gong, J. Friml, and J. Zhang, “Nitrate modulates the differentiation of root distal stem cells,” Plant Physiology, vol. 180, no. 1. ASPB, pp. 22–25, 2019. ista: Wang Y, Gong Z, Friml J, Zhang J. 2019. Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. 180(1), 22–25. mla: Wang, Y., et al. “Nitrate Modulates the Differentiation of Root Distal Stem Cells.” Plant Physiology, vol. 180, no. 1, ASPB, 2019, pp. 22–25, doi:10.1104/pp.18.01305. short: Y. Wang, Z. Gong, J. Friml, J. Zhang, Plant Physiology 180 (2019) 22–25. date_created: 2019-04-09T08:46:17Z date_published: 2019-05-01T00:00:00Z date_updated: 2023-08-25T10:10:23Z day: '01' department: - _id: JiFr doi: 10.1104/pp.18.01305 external_id: isi: - '000466860800010' pmid: - '30787134' intvolume: ' 180' isi: 1 issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1104/pp.18.01305 month: '05' oa: 1 oa_version: Published Version page: 22-25 pmid: 1 publication: Plant Physiology publication_identifier: eissn: - 1532-2548 issn: - 0032-0889 publication_status: published publisher: ASPB quality_controlled: '1' scopus_import: '1' status: public title: Nitrate modulates the differentiation of root distal stem cells type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 180 year: '2019' ... --- _id: '6352' abstract: - lang: eng text: Chronic overuse of common pharmaceuticals, e.g. acetaminophen (paracetamol), often leads to the development of acute liver failure (ALF). This study aimed to elucidate the effect of cultured mesenchymal stem cells (MSCs) proteome on the onset of liver damage and regeneration dynamics in animals with ALF induced by acetaminophen, to test the liver protective efficacy of MSCs proteome depending on the oxygen tension in cell culture, and to blueprint protein components responsible for the effect. Protein compositions prepared from MSCs cultured in mild hypoxic (5% and 10% O2) and normal (21% O2) conditions were used to treat ALF induced in mice by injection of acetaminophen. To test the effect of reduced oxygen tension in cell culture on resulting MSCs proteome content we applied a combination of high performance liquid chromatography and mass-spectrometry (LC–MS/MS) for the identification of proteins in lysates of MSCs cultured at different O2 levels. The treatment of acetaminophen-administered animals with proteins released from cultured MSCs resulted in the inhibition of inflammatory reactions in damaged liver; the area of hepatocyte necrosis being reduced in the first 24 h. Compositions obtained from MSCs cultured at lower O2 level were shown to be more potent than a composition prepared from normoxic cells. A comparative characterization of protein pattern and identification of individual components done by a cytokine assay and proteomics analysis of protein compositions revealed that even moderate hypoxia produces discrete changes in the expression of various subsets of proteins responsible for intracellular respiration and cell signaling. The application of proteins prepared from MSCs grown in vitro at reduced oxygen tension significantly accelerates healing process in damaged liver tissue. The proteomics data obtained for different preparations offer new information about the potential candidates in the MSCs protein repertoire sensitive to oxygen tension in culture medium, which can be involved in the generalized mechanisms the cells use to respond to acute liver failure. acknowledgement: The studies were supported by the Austrian Federal Ministry of Economy, Family and Youth through the initiative “Laura Bassi Centres of Expertise” funding the Center of Optimized Structural Stud-ies, grant No. 253275 article_processing_charge: Yes (via OA deal) author: - first_name: Andrey Alexandrovich full_name: Temnov, Andrey Alexandrovich last_name: Temnov - first_name: Konstantin Arkadevich full_name: Rogov, Konstantin Arkadevich last_name: Rogov - first_name: Alla Nikolaevna full_name: Sklifas, Alla Nikolaevna last_name: Sklifas - first_name: Elena Valerievna full_name: Klychnikova, Elena Valerievna last_name: Klychnikova - first_name: Markus full_name: Hartl, Markus last_name: Hartl - first_name: Kristina full_name: Djinovic-Carugo, Kristina last_name: Djinovic-Carugo - first_name: Alexej full_name: Charnagalov, Alexej id: 49F06DBA-F248-11E8-B48F-1D18A9856A87 last_name: Charnagalov citation: ama: Temnov AA, Rogov KA, Sklifas AN, et al. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. 2019. doi:10.1007/s11033-019-04765-z apa: Temnov, A. A., Rogov, K. A., Sklifas, A. N., Klychnikova, E. V., Hartl, M., Djinovic-Carugo, K., & Charnagalov, A. (2019). Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. Springer. https://doi.org/10.1007/s11033-019-04765-z chicago: Temnov, Andrey Alexandrovich, Konstantin Arkadevich Rogov, Alla Nikolaevna Sklifas, Elena Valerievna Klychnikova, Markus Hartl, Kristina Djinovic-Carugo, and Alexej Charnagalov. “Protective Properties of the Cultured Stem Cell Proteome Studied in an Animal Model of Acetaminophen-Induced Acute Liver Failure.” Molecular Biology Reports. Springer, 2019. https://doi.org/10.1007/s11033-019-04765-z. ieee: A. A. Temnov et al., “Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure,” Molecular Biology Reports. Springer, 2019. ista: Temnov AA, Rogov KA, Sklifas AN, Klychnikova EV, Hartl M, Djinovic-Carugo K, Charnagalov A. 2019. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. mla: Temnov, Andrey Alexandrovich, et al. “Protective Properties of the Cultured Stem Cell Proteome Studied in an Animal Model of Acetaminophen-Induced Acute Liver Failure.” Molecular Biology Reports, Springer, 2019, doi:10.1007/s11033-019-04765-z. short: A.A. Temnov, K.A. Rogov, A.N. Sklifas, E.V. Klychnikova, M. Hartl, K. Djinovic-Carugo, A. Charnagalov, Molecular Biology Reports (2019). date_created: 2019-04-28T21:59:14Z date_published: 2019-04-12T00:00:00Z date_updated: 2023-08-25T10:14:26Z day: '12' ddc: - '570' department: - _id: LeSa doi: 10.1007/s11033-019-04765-z external_id: isi: - '000470332600049' file: - access_level: open_access checksum: 45bf040bbce1cea274f6013fa18ba21b content_type: application/pdf creator: dernst date_created: 2019-04-30T09:52:36Z date_updated: 2020-07-14T12:47:28Z file_id: '6362' file_name: 2019_MolecularBioReport_Temnov.pdf file_size: 1948014 relation: main_file file_date_updated: 2020-07-14T12:47:28Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '04' oa: 1 oa_version: Published Version publication: Molecular Biology Reports publication_identifier: eissn: - '15734978' issn: - '03014851' publication_status: published publisher: Springer quality_controlled: '1' scopus_import: '1' status: public title: Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2019' ... --- _id: '6348' abstract: - lang: eng text: 'High-speed optical telecommunication is enabled by wavelength-division multiplexing, whereby hundreds of individually stabilized lasers encode information within a single-mode optical fibre. Higher bandwidths require higher total optical power, but the power sent into the fibre is limited by optical nonlinearities within the fibre, and energy consumption by the light sources starts to become a substantial cost factor1. Optical frequency combs have been suggested to remedy this problem by generating numerous discrete, equidistant laser lines within a monolithic device; however, at present their stability and coherence allow them to operate only within small parameter ranges2,3,4. Here we show that a broadband frequency comb realized through the electro-optic effect within a high-quality whispering-gallery-mode resonator can operate at low microwave and optical powers. Unlike the usual third-order Kerr nonlinear optical frequency combs, our combs rely on the second-order nonlinear effect, which is much more efficient. Our result uses a fixed microwave signal that is mixed with an optical-pump signal to generate a coherent frequency comb with a precisely determined carrier separation. The resonant enhancement enables us to work with microwave powers that are three orders of magnitude lower than those in commercially available devices. We emphasize the practical relevance of our results to high rates of data communication. To circumvent the limitations imposed by nonlinear effects in optical communication fibres, one has to solve two problems: to provide a compact and fully integrated, yet high-quality and coherent, frequency comb generator; and to calculate nonlinear signal propagation in real time5. We report a solution to the first problem.' article_processing_charge: No 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: Florian full_name: Sedlmeir, Florian last_name: Sedlmeir - first_name: Madhuri full_name: Kumari, Madhuri last_name: Kumari - first_name: Gerd full_name: Leuchs, Gerd last_name: Leuchs - first_name: Harald G.L. full_name: Schwefel, Harald G.L. last_name: Schwefel citation: ama: Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. Resonant electro-optic frequency comb. Nature. 2019;568(7752):378-381. doi:10.1038/s41586-019-1110-x apa: Rueda Sanchez, A. R., Sedlmeir, F., Kumari, M., Leuchs, G., & Schwefel, H. G. L. (2019). Resonant electro-optic frequency comb. Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1110-x chicago: Rueda Sanchez, Alfredo R, Florian Sedlmeir, Madhuri Kumari, Gerd Leuchs, and Harald G.L. Schwefel. “Resonant Electro-Optic Frequency Comb.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1110-x. ieee: A. R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, and H. G. L. Schwefel, “Resonant electro-optic frequency comb,” Nature, vol. 568, no. 7752. Springer Nature, pp. 378–381, 2019. ista: Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. 2019. Resonant electro-optic frequency comb. Nature. 568(7752), 378–381. mla: Rueda Sanchez, Alfredo R., et al. “Resonant Electro-Optic Frequency Comb.” Nature, vol. 568, no. 7752, Springer Nature, 2019, pp. 378–81, doi:10.1038/s41586-019-1110-x. short: A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 568 (2019) 378–381. date_created: 2019-04-28T21:59:13Z date_published: 2019-04-18T00:00:00Z date_updated: 2023-08-25T10:15:25Z day: '18' department: - _id: JoFi doi: 10.1038/s41586-019-1110-x external_id: arxiv: - '1808.10608' isi: - '000464950700053' intvolume: ' 568' isi: 1 issue: '7752' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1808.10608 month: '04' oa: 1 oa_version: Preprint page: 378-381 publication: Nature publication_identifier: eissn: - '14764687' issn: - '00280836' publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - relation: erratum url: https://doi.org/10.1038/s41586-019-1220-5 scopus_import: '1' status: public title: Resonant electro-optic frequency comb type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 568 year: '2019' ... --- _id: '6338' abstract: - lang: eng text: Hippocampal activity patterns representing movement trajectories are reactivated in immobility and sleep periods, a process associated with memory recall, consolidation, and decision making. It is thought that only fixed, behaviorally relevant patterns can be reactivated, which are stored across hippocampal synaptic connections. To test whether some generalized rules govern reactivation, we examined trajectory reactivation following non-stereotypical exploration of familiar open-field environments. We found that random trajectories of varying lengths and timescales were reactivated, resembling that of Brownian motion of particles. The animals’ behavioral trajectory did not follow Brownian diffusion demonstrating that the exact behavioral experience is not reactivated. Therefore, hippocampal circuits are able to generate random trajectories of any recently active map by following diffusion dynamics. This ability of hippocampal circuits to generate representations of all behavioral outcome combinations, experienced or not, may underlie a wide variety of hippocampal-dependent cognitive functions such as learning, generalization, and planning. article_processing_charge: No article_type: original author: - first_name: Federico full_name: Stella, Federico id: 39AF1E74-F248-11E8-B48F-1D18A9856A87 last_name: Stella orcid: 0000-0001-9439-3148 - first_name: Peter full_name: Baracskay, Peter id: 361CC00E-F248-11E8-B48F-1D18A9856A87 last_name: Baracskay - first_name: Joseph full_name: O'Neill, Joseph id: 426376DC-F248-11E8-B48F-1D18A9856A87 last_name: O'Neill - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 citation: ama: Stella F, Baracskay P, O’Neill J, Csicsvari JL. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 2019;102:450-461. doi:10.1016/j.neuron.2019.01.052 apa: Stella, F., Baracskay, P., O’Neill, J., & Csicsvari, J. L. (2019). Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2019.01.052 chicago: Stella, Federico, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” Neuron. Elsevier, 2019. https://doi.org/10.1016/j.neuron.2019.01.052. ieee: F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” Neuron, vol. 102. Elsevier, pp. 450–461, 2019. ista: Stella F, Baracskay P, O’Neill J, Csicsvari JL. 2019. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 102, 450–461. mla: Stella, Federico, et al. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” Neuron, vol. 102, Elsevier, 2019, pp. 450–61, doi:10.1016/j.neuron.2019.01.052. short: F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 450–461. date_created: 2019-04-17T08:28:59Z date_published: 2019-04-17T00:00:00Z date_updated: 2023-08-25T10:13:07Z day: '17' department: - _id: JoCs doi: 10.1016/j.neuron.2019.01.052 ec_funded: 1 external_id: isi: - '000465169700017' pmid: - '30819547' intvolume: ' 102' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.neuron.2019.01.052 month: '04' oa: 1 oa_version: Published Version page: 450-461 pmid: 1 project: - _id: 257A4776-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '281511' name: Memory-related information processing in neuronal circuits of the hippocampus and entorhinal cortex - _id: 2654F984-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I03713 name: Interneuro Plasticity During Spatial Learning publication: Neuron publication_status: published publisher: Elsevier quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/memories-of-movement-are-replayed-randomly-during-sleep/ scopus_import: '1' status: public title: Hippocampal reactivation of random trajectories resembling Brownian diffusion type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 102 year: '2019' ... --- _id: '5878' abstract: - lang: eng text: We consider the motion of a droplet bouncing on a vibrating bath of the same fluid in the presence of a central potential. We formulate a rotation symmetry-reduced description of this system, which allows for the straightforward application of dynamical systems theory tools. As an illustration of the utility of the symmetry reduction, we apply it to a model of the pilot-wave system with a central harmonic force. We begin our analysis by identifying local bifurcations and the onset of chaos. We then describe the emergence of chaotic regions and their merging bifurcations, which lead to the formation of a global attractor. In this final regime, the droplet’s angular momentum spontaneously changes its sign as observed in the experiments of Perrard et al. article_number: '013122' article_processing_charge: No article_type: original author: - first_name: Nazmi B full_name: Budanur, Nazmi B id: 3EA1010E-F248-11E8-B48F-1D18A9856A87 last_name: Budanur orcid: 0000-0003-0423-5010 - first_name: Marc full_name: Fleury, Marc last_name: Fleury citation: ama: 'Budanur NB, Fleury M. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 2019;29(1). doi:10.1063/1.5058279' apa: 'Budanur, N. B., & Fleury, M. (2019). State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. AIP Publishing. https://doi.org/10.1063/1.5058279' chicago: 'Budanur, Nazmi B, and Marc Fleury. “State Space Geometry of the Chaotic Pilot-Wave Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear Science. AIP Publishing, 2019. https://doi.org/10.1063/1.5058279.' ieee: 'N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1. AIP Publishing, 2019.' ista: 'Budanur NB, Fleury M. 2019. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 29(1), 013122.' mla: 'Budanur, Nazmi B., and Marc Fleury. “State Space Geometry of the Chaotic Pilot-Wave Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1, 013122, AIP Publishing, 2019, doi:10.1063/1.5058279.' short: 'N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2019).' date_created: 2019-01-23T08:35:09Z date_published: 2019-01-22T00:00:00Z date_updated: 2023-08-25T10:16:11Z day: '22' department: - _id: BjHo doi: 10.1063/1.5058279 external_id: arxiv: - '1812.09011' isi: - '000457409100028' intvolume: ' 29' isi: 1 issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1812.09011 month: '01' oa: 1 oa_version: Preprint publication: 'Chaos: An Interdisciplinary Journal of Nonlinear Science' publication_identifier: eissn: - 1089-7682 issn: - 1054-1500 publication_status: published publisher: AIP Publishing quality_controlled: '1' related_material: link: - relation: erratum url: https://aip.scitation.org/doi/abs/10.1063/1.5097157 scopus_import: '1' status: public title: State space geometry of the chaotic pilot-wave hydrodynamics type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 29 year: '2019' ... --- _id: '6343' abstract: - lang: eng text: Cryo-electron tomography (cryo-ET) provides unprecedented insights into the molecular constituents of biological environments. In combination with an image processing method called subtomogram averaging (STA), detailed 3D structures of biological molecules can be obtained in large, irregular macromolecular assemblies or in situ, without the need for purification. The contextual meta-information these methods also provide, such as a protein’s location within its native environment, can then be combined with functional data. This allows the derivation of a detailed view on the physiological or pathological roles of proteins from the molecular to cellular level. Despite their tremendous potential in in situ structural biology, cryo-ET and STA have been restricted by methodological limitations, such as the low obtainable resolution. Exciting progress now allows one to reach unprecedented resolutions in situ, ranging in optimal cases beyond the nanometer barrier. Here, I review current frontiers and future challenges in routinely determining high-resolution structures in in situ environments using cryo-ET and STA. acknowledgement: The author acknowledges support from IST Austria and the Austrian Science Fund (FWF). article_processing_charge: No article_type: original author: - first_name: Florian KM full_name: Schur, Florian KM id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 citation: ama: Schur FK. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 2019;58(10):1-9. doi:10.1016/j.sbi.2019.03.018 apa: Schur, F. K. (2019). Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2019.03.018 chicago: Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with Cryo-Electron Tomography and Subtomogram Averaging.” Current Opinion in Structural Biology. Elsevier, 2019. https://doi.org/10.1016/j.sbi.2019.03.018. ieee: F. K. Schur, “Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging,” Current Opinion in Structural Biology, vol. 58, no. 10. Elsevier, pp. 1–9, 2019. ista: Schur FK. 2019. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 58(10), 1–9. mla: Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with Cryo-Electron Tomography and Subtomogram Averaging.” Current Opinion in Structural Biology, vol. 58, no. 10, Elsevier, 2019, pp. 1–9, doi:10.1016/j.sbi.2019.03.018. short: F.K. Schur, Current Opinion in Structural Biology 58 (2019) 1–9. date_created: 2019-04-19T11:19:13Z date_published: 2019-10-01T00:00:00Z date_updated: 2023-08-25T10:13:31Z day: '01' department: - _id: FlSc doi: 10.1016/j.sbi.2019.03.018 external_id: isi: - '000494891800004' intvolume: ' 58' isi: 1 issue: '10' language: - iso: eng month: '10' oa_version: None page: 1-9 publication: Current Opinion in Structural Biology publication_identifier: issn: - 0959-440X publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 58 year: '2019' ... --- _id: '6428' abstract: - lang: eng text: 'Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposedas a language to specify and monitor the correctness of CPS relativeto formalized requirements. Incorporating STL into a developmentprocess enables designers to automatically monitor and diagnosetraces, compute robustness estimates based on requirements, andperform requirement falsification, leading to productivity gains inverification and validation activities; however, in its current formSTL is agnostic to the input/output classification of signals, andthis negatively impacts the relevance of the analysis results.In this paper we propose to make the interface explicit in theSTL language by introducing input/output signal declarations. Wethen define new measures of input vacuity and output robustnessthat better reflect the nature of the system and the specification in-tent. The resulting framework, which we call interface-aware signaltemporal logic (IA-STL), aids verification and validation activities.We demonstrate the benefits of IA-STL on several CPS analysisactivities: (1) robustness-driven sensitivity analysis, (2) falsificationand (3) fault localization. We describe an implementation of our en-hancement to STL and associated notions of robustness and vacuityin a prototype extension of Breach, a MATLAB®/Simulink®toolboxfor CPS verification and validation. We explore these methodologi-cal improvements and evaluate our results on two examples fromthe automotive domain: a benchmark powertrain control systemand a hydrogen fuel cell system.' article_processing_charge: No author: - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Dejan full_name: Nickovic, Dejan id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87 last_name: Nickovic - first_name: Alexandre full_name: Donzé, Alexandre last_name: Donzé - first_name: Hisahiro full_name: Ito, Hisahiro last_name: Ito - first_name: James full_name: Kapinski, James last_name: Kapinski citation: ama: 'Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800' apa: 'Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800' chicago: 'Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, 57–66. ACM, 2019. https://doi.org/10.1145/3302504.3311800.' ieee: 'T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.' ista: 'Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control, 57–66.' mla: 'Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.' short: 'T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.' conference: end_date: 2019-04-18 location: Montreal, Canada name: 'HSCC: Hybrid Systems Computation and Control' start_date: 2019-04-16 date_created: 2019-05-13T08:13:46Z date_published: 2019-04-16T00:00:00Z date_updated: 2023-08-25T10:19:23Z day: '16' ddc: - '000' department: - _id: ToHe doi: 10.1145/3302504.3311800 external_id: isi: - '000516713900007' file: - access_level: open_access checksum: b8e967081e051d1c55ca5d18fb187890 content_type: application/pdf creator: dernst date_created: 2020-10-08T17:25:45Z date_updated: 2020-10-08T17:25:45Z file_id: '8633' file_name: 2019_ACM_Ferrere.pdf file_size: 1055421 relation: main_file success: 1 file_date_updated: 2020-10-08T17:25:45Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '04' oa: 1 oa_version: Submitted Version page: 57-66 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: 'Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control' publication_identifier: isbn: - '9781450362825' publication_status: published publisher: ACM quality_controlled: '1' scopus_import: '1' status: public title: Interface-aware signal temporal logic type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2019' ... --- _id: '6442' abstract: - lang: eng text: This paper investigates the use of fundamental solutions for animating detailed linear water surface waves. We first propose an analytical solution for efficiently animating circular ripples in closed form. We then show how to adapt the method of fundamental solutions (MFS) to create ambient waves interacting with complex obstacles. Subsequently, we present a novel wavelet-based discretization which outperforms the state of the art MFS approach for simulating time-varying water surface waves with moving obstacles. Our results feature high-resolution spatial details, interactions with complex boundaries, and large open ocean domains. Our method compares favorably with previous work as well as known analytical solutions. We also present comparisons between our method and real world examples. acknowledged_ssus: - _id: ScienComp article_number: '130' article_processing_charge: No author: - first_name: Camille full_name: Schreck, Camille id: 2B14B676-F248-11E8-B48F-1D18A9856A87 last_name: Schreck - first_name: Christian full_name: Hafner, Christian id: 400429CC-F248-11E8-B48F-1D18A9856A87 last_name: Hafner - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 citation: ama: Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002 apa: Schreck, C., Hafner, C., & Wojtan, C. (2019). Fundamental solutions for water wave animation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3306346.3323002 chicago: Schreck, Camille, Christian Hafner, and Chris Wojtan. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics. ACM, 2019. https://doi.org/10.1145/3306346.3323002. ieee: C. Schreck, C. Hafner, and C. Wojtan, “Fundamental solutions for water wave animation,” ACM Transactions on Graphics, vol. 38, no. 4. ACM, 2019. ista: Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130. mla: Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics, vol. 38, no. 4, 130, ACM, 2019, doi:10.1145/3306346.3323002. short: C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019). date_created: 2019-05-14T07:04:06Z date_published: 2019-07-01T00:00:00Z date_updated: 2023-08-25T10:18:46Z day: '01' ddc: - '000' - '005' department: - _id: ChWo doi: 10.1145/3306346.3323002 ec_funded: 1 external_id: isi: - '000475740600104' file: - access_level: open_access checksum: 1b737dfe3e051aba8f3f4ab1dceda673 content_type: application/pdf creator: dernst date_created: 2019-05-14T07:03:55Z date_updated: 2020-07-14T12:47:30Z file_id: '6443' file_name: 2019_ACM_Schreck.pdf file_size: 44328918 relation: main_file file_date_updated: 2020-07-14T12:47:30Z has_accepted_license: '1' intvolume: ' 38' isi: 1 issue: '4' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version project: - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: Efficient Simulation of Natural Phenomena at Extremely Large Scales - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: ACM Transactions on Graphics publication_status: published publisher: ACM quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/new-method-makes-realistic-water-wave-animations-more-efficient/ scopus_import: '1' status: public title: Fundamental solutions for water wave animation type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 38 year: '2019' ... --- _id: '6413' abstract: - lang: eng text: Phase-field methods have long been used to model the flow of immiscible fluids. Their ability to naturally capture interface topological changes is widely recognized, but their accuracy in simulating flows of real fluids in practical geometries is not established. We here quantitatively investigate the convergence of the phase-field method to the sharp-interface limit with simulations of two-phase pipe flow. We focus on core-annular flows, in which a highly viscous fluid is lubricated by a less viscous fluid, and validate our simulations with an analytic laminar solution, a formal linear stability analysis and also in the fully nonlinear regime. We demonstrate the ability of the phase-field method to accurately deal with non-rectangular geometry, strong advection, unsteady fluctuations and large viscosity contrast. We argue that phase-field methods are very promising for quantitatively studying moderately turbulent flows, especially at high concentrations of the disperse phase. article_processing_charge: No article_type: original author: - first_name: Baofang full_name: Song, Baofang last_name: Song - first_name: Carlos full_name: Plana, Carlos last_name: Plana - first_name: Jose M full_name: Lopez Alonso, Jose M id: 40770848-F248-11E8-B48F-1D18A9856A87 last_name: Lopez Alonso orcid: 0000-0002-0384-2022 - first_name: Marc full_name: Avila, Marc last_name: Avila citation: ama: Song B, Plana C, Lopez Alonso JM, Avila M. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 2019;117:14-24. doi:10.1016/j.ijmultiphaseflow.2019.04.027 apa: Song, B., Plana, C., Lopez Alonso, J. M., & Avila, M. (2019). Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. Elsevier. https://doi.org/10.1016/j.ijmultiphaseflow.2019.04.027 chicago: Song, Baofang, Carlos Plana, Jose M Lopez Alonso, and Marc Avila. “Phase-Field Simulation of Core-Annular Pipe Flow.” International Journal of Multiphase Flow. Elsevier, 2019. https://doi.org/10.1016/j.ijmultiphaseflow.2019.04.027. ieee: B. Song, C. Plana, J. M. Lopez Alonso, and M. Avila, “Phase-field simulation of core-annular pipe flow,” International Journal of Multiphase Flow, vol. 117. Elsevier, pp. 14–24, 2019. ista: Song B, Plana C, Lopez Alonso JM, Avila M. 2019. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 117, 14–24. mla: Song, Baofang, et al. “Phase-Field Simulation of Core-Annular Pipe Flow.” International Journal of Multiphase Flow, vol. 117, Elsevier, 2019, pp. 14–24, doi:10.1016/j.ijmultiphaseflow.2019.04.027. short: B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of Multiphase Flow 117 (2019) 14–24. date_created: 2019-05-13T07:58:35Z date_published: 2019-08-01T00:00:00Z date_updated: 2023-08-25T10:19:55Z day: '01' department: - _id: BjHo doi: 10.1016/j.ijmultiphaseflow.2019.04.027 external_id: arxiv: - '1902.07351' isi: - '000474496000002' intvolume: ' 117' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1902.07351 month: '08' oa: 1 oa_version: Preprint page: 14-24 publication: International Journal of Multiphase Flow publication_identifier: issn: - '03019322' publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Phase-field simulation of core-annular pipe flow type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 117 year: '2019' ... --- _id: '6419' abstract: - lang: eng text: Characterizing the fitness landscape, a representation of fitness for a large set of genotypes, is key to understanding how genetic information is interpreted to create functional organisms. Here we determined the evolutionarily-relevant segment of the fitness landscape of His3, a gene coding for an enzyme in the histidine synthesis pathway, focusing on combinations of amino acid states found at orthologous sites of extant species. Just 15% of amino acids found in yeast His3 orthologues were always neutral while the impact on fitness of the remaining 85% depended on the genetic background. Furthermore, at 67% of sites, amino acid replacements were under sign epistasis, having both strongly positive and negative effect in different genetic backgrounds. 46% of sites were under reciprocal sign epistasis. The fitness impact of amino acid replacements was influenced by only a few genetic backgrounds but involved interaction of multiple sites, shaping a rugged fitness landscape in which many of the shortest paths between highly fit genotypes are inaccessible. article_number: e1008079 article_processing_charge: No author: - first_name: Victoria full_name: Pokusaeva, Victoria id: 3184041C-F248-11E8-B48F-1D18A9856A87 last_name: Pokusaeva orcid: 0000-0001-7660-444X - first_name: Dinara R. full_name: Usmanova, Dinara R. last_name: Usmanova - first_name: Ekaterina V. full_name: Putintseva, Ekaterina V. last_name: Putintseva - first_name: Lorena full_name: Espinar, Lorena last_name: Espinar - first_name: Karen full_name: Sarkisyan, Karen id: 39A7BF80-F248-11E8-B48F-1D18A9856A87 last_name: Sarkisyan orcid: 0000-0002-5375-6341 - first_name: Alexander S. full_name: Mishin, Alexander S. last_name: Mishin - first_name: Natalya S. full_name: Bogatyreva, Natalya S. last_name: Bogatyreva - first_name: Dmitry full_name: Ivankov, Dmitry id: 49FF1036-F248-11E8-B48F-1D18A9856A87 last_name: Ivankov - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Sergey full_name: Avvakumov, Sergey id: 3827DAC8-F248-11E8-B48F-1D18A9856A87 last_name: Avvakumov - first_name: Inna S. full_name: Povolotskaya, Inna S. last_name: Povolotskaya - first_name: Guillaume J. full_name: Filion, Guillaume J. last_name: Filion - first_name: Lucas B. full_name: Carey, Lucas B. last_name: Carey - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 citation: ama: Pokusaeva V, Usmanova DR, Putintseva EV, et al. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 2019;15(4). doi:10.1371/journal.pgen.1008079 apa: Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079 chicago: Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “An Experimental Assay of the Interactions of Amino Acids from Orthologous Sequences Shaping a Complex Fitness Landscape.” PLoS Genetics. Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079. ieee: V. Pokusaeva et al., “An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape,” PLoS Genetics, vol. 15, no. 4. Public Library of Science, 2019. ista: Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 15(4), e1008079. mla: Pokusaeva, Victoria, et al. “An Experimental Assay of the Interactions of Amino Acids from Orthologous Sequences Shaping a Complex Fitness Landscape.” PLoS Genetics, vol. 15, no. 4, e1008079, Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079. short: V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019). date_created: 2019-05-13T07:58:38Z date_published: 2019-04-10T00:00:00Z date_updated: 2023-08-25T10:30:37Z day: '10' ddc: - '570' department: - _id: FyKo doi: 10.1371/journal.pgen.1008079 ec_funded: 1 external_id: isi: - '000466866000029' file: - access_level: open_access checksum: cf3889c8a8a16053dacf9c3776cbe217 content_type: application/pdf creator: dernst date_created: 2019-05-14T08:26:08Z date_updated: 2020-07-14T12:47:30Z file_id: '6445' file_name: 2019_PLOSGenetics_Pokusaeva.pdf file_size: 3726017 relation: main_file file_date_updated: 2020-07-14T12:47:30Z has_accepted_license: '1' intvolume: ' 15' isi: 1 issue: '4' language: - iso: eng month: '04' oa: 1 oa_version: Published Version project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: PLoS Genetics publication_identifier: eissn: - '15537404' publication_status: published publisher: Public Library of Science quality_controlled: '1' related_material: record: - id: '9789' relation: research_data status: public - id: '9790' relation: research_data status: public - id: '9797' relation: research_data status: public scopus_import: '1' status: public title: An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 15 year: '2019' ... --- _id: '6412' abstract: - lang: eng text: Polycomb group (PcG) proteins play critical roles in the epigenetic inheritance of cell fate. The Polycomb Repressive Complexes PRC1 and PRC2 catalyse distinct chromatin modifications to enforce gene silencing, but how transcriptional repression is propagated through mitotic cell divisions remains a key unresolved question. Using reversible tethering of PcG proteins to ectopic sites in mouse embryonic stem cells, here we show that PRC1 can trigger transcriptional repression and Polycomb-dependent chromatin modifications. We find that canonical PRC1 (cPRC1), but not variant PRC1, maintains gene silencing through cell division upon reversal of tethering. Propagation of gene repression is sustained by cis-acting histone modifications, PRC2-mediated H3K27me3 and cPRC1-mediated H2AK119ub1, promoting a sequence-independent feedback mechanism for PcG protein recruitment. Thus, the distinct PRC1 complexes present in vertebrates can differentially regulate epigenetic maintenance of gene silencing, potentially enabling dynamic heritable responses to complex stimuli. Our findings reveal how PcG repression is potentially inherited in vertebrates. article_number: '1931' article_processing_charge: No author: - first_name: Hagar F. full_name: Moussa, Hagar F. last_name: Moussa - first_name: Daniel full_name: Bsteh, Daniel last_name: Bsteh - first_name: Ramesh full_name: Yelagandula, Ramesh last_name: Yelagandula - first_name: Carina full_name: Pribitzer, Carina last_name: Pribitzer - first_name: Karin full_name: Stecher, Karin last_name: Stecher - first_name: Katarina full_name: Bartalska, Katarina id: 4D883232-F248-11E8-B48F-1D18A9856A87 last_name: Bartalska - first_name: Luca full_name: Michetti, Luca last_name: Michetti - first_name: Jingkui full_name: Wang, Jingkui last_name: Wang - first_name: Jorge A. full_name: Zepeda-Martinez, Jorge A. last_name: Zepeda-Martinez - first_name: Ulrich full_name: Elling, Ulrich last_name: Elling - first_name: Jacob I. full_name: Stuckey, Jacob I. last_name: Stuckey - first_name: Lindsey I. full_name: James, Lindsey I. last_name: James - first_name: Stephen V. full_name: Frye, Stephen V. last_name: Frye - first_name: Oliver full_name: Bell, Oliver last_name: Bell citation: ama: Moussa HF, Bsteh D, Yelagandula R, et al. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09628-6 apa: Moussa, H. F., Bsteh, D., Yelagandula, R., Pribitzer, C., Stecher, K., Bartalska, K., … Bell, O. (2019). Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09628-6 chicago: Moussa, Hagar F., Daniel Bsteh, Ramesh Yelagandula, Carina Pribitzer, Karin Stecher, Katarina Bartalska, Luca Michetti, et al. “Canonical PRC1 Controls Sequence-Independent Propagation of Polycomb-Mediated Gene Silencing.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09628-6. ieee: H. F. Moussa et al., “Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing,” Nature Communications, vol. 10, no. 1. Springer Nature, 2019. ista: Moussa HF, Bsteh D, Yelagandula R, Pribitzer C, Stecher K, Bartalska K, Michetti L, Wang J, Zepeda-Martinez JA, Elling U, Stuckey JI, James LI, Frye SV, Bell O. 2019. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 10(1), 1931. mla: Moussa, Hagar F., et al. “Canonical PRC1 Controls Sequence-Independent Propagation of Polycomb-Mediated Gene Silencing.” Nature Communications, vol. 10, no. 1, 1931, Springer Nature, 2019, doi:10.1038/s41467-019-09628-6. short: H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019). date_created: 2019-05-13T07:58:35Z date_published: 2019-04-29T00:00:00Z date_updated: 2023-08-25T10:31:56Z day: '29' ddc: - '570' department: - _id: SaSi doi: 10.1038/s41467-019-09628-6 external_id: isi: - '000466118700002' file: - access_level: open_access checksum: 6550a328335396c856db4cbdda7d2994 content_type: application/pdf creator: dernst date_created: 2019-05-14T08:45:51Z date_updated: 2020-07-14T12:47:29Z file_id: '6448' file_name: 2019_NatureComm_Moussa.pdf file_size: 1223647 relation: main_file file_date_updated: 2020-07-14T12:47:29Z has_accepted_license: '1' intvolume: ' 10' isi: 1 issue: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version publication: Nature Communications publication_identifier: eissn: - '20411723' publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 10 year: '2019' ... --- _id: '6415' abstract: - lang: eng text: Ant invasions are often harmful to native species communities. Their pathogens and host disease defense mechanisms may be one component of their devastating success. First, they can introduce harmful diseases to their competitors in the introduced range, to which they themselves are tolerant. Second, their supercolonial social structure of huge multi-queen nest networks means that they will harbor a broad pathogen spectrum and high pathogen load while remaining resilient, unlike the smaller, territorial colonies of the native species. Thus, it is likely that invasive ants act as a disease reservoir, promoting their competitive advantage and invasive success. article_processing_charge: No author: - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 citation: ama: Cremer S. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 2019;33:63-68. doi:10.1016/j.cois.2019.03.011 apa: Cremer, S. (2019). Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. Elsevier. https://doi.org/10.1016/j.cois.2019.03.011 chicago: Cremer, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” Current Opinion in Insect Science. Elsevier, 2019. https://doi.org/10.1016/j.cois.2019.03.011. ieee: S. Cremer, “Pathogens and disease defense of invasive ants,” Current Opinion in Insect Science, vol. 33. Elsevier, pp. 63–68, 2019. ista: Cremer S. 2019. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 33, 63–68. mla: Cremer, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” Current Opinion in Insect Science, vol. 33, Elsevier, 2019, pp. 63–68, doi:10.1016/j.cois.2019.03.011. short: S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68. date_created: 2019-05-13T07:58:36Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-08-25T10:31:31Z day: '01' department: - _id: SyCr doi: 10.1016/j.cois.2019.03.011 external_id: isi: - '000477666000012' intvolume: ' 33' isi: 1 language: - iso: eng month: '06' oa_version: None page: 63-68 publication: Current Opinion in Insect Science publication_identifier: eissn: - '22145753' issn: - '22145745' publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Pathogens and disease defense of invasive ants type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 33 year: '2019' ... --- _id: '9790' article_processing_charge: No author: - first_name: Victoria full_name: Pokusaeva, Victoria id: 3184041C-F248-11E8-B48F-1D18A9856A87 last_name: Pokusaeva orcid: 0000-0001-7660-444X - first_name: Dinara R. full_name: Usmanova, Dinara R. last_name: Usmanova - first_name: Ekaterina V. full_name: Putintseva, Ekaterina V. last_name: Putintseva - first_name: Lorena full_name: Espinar, Lorena last_name: Espinar - first_name: Karen full_name: Sarkisyan, Karen id: 39A7BF80-F248-11E8-B48F-1D18A9856A87 last_name: Sarkisyan orcid: 0000-0002-5375-6341 - first_name: Alexander S. full_name: Mishin, Alexander S. last_name: Mishin - first_name: Natalya S. full_name: Bogatyreva, Natalya S. last_name: Bogatyreva - first_name: Dmitry full_name: Ivankov, Dmitry id: 49FF1036-F248-11E8-B48F-1D18A9856A87 last_name: Ivankov - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Sergey full_name: Avvakumov, Sergey id: 3827DAC8-F248-11E8-B48F-1D18A9856A87 last_name: Avvakumov - first_name: Inna S. full_name: Povolotskaya, Inna S. last_name: Povolotskaya - first_name: Guillaume J. full_name: Filion, Guillaume J. last_name: Filion - first_name: Lucas B. full_name: Carey, Lucas B. last_name: Carey - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 citation: ama: Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011 apa: Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011 chicago: Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “A Statistical Summary of Segment Libraries and Sequencing Results.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s011. ieee: V. Pokusaeva et al., “A statistical summary of segment libraries and sequencing results.” Public Library of Science, 2019. ista: Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011. mla: Pokusaeva, Victoria, et al. A Statistical Summary of Segment Libraries and Sequencing Results. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s011. short: V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019). date_created: 2021-08-06T08:50:15Z date_published: 2019-04-10T00:00:00Z date_updated: 2023-08-25T10:30:36Z day: '10' department: - _id: FyKo doi: 10.1371/journal.pgen.1008079.s011 month: '04' oa_version: Published Version publisher: Public Library of Science related_material: record: - id: '6419' relation: used_in_publication status: public status: public title: A statistical summary of segment libraries and sequencing results type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- _id: '9797' article_processing_charge: No author: - first_name: Victoria full_name: Pokusaeva, Victoria id: 3184041C-F248-11E8-B48F-1D18A9856A87 last_name: Pokusaeva orcid: 0000-0001-7660-444X - first_name: Dinara R. full_name: Usmanova, Dinara R. last_name: Usmanova - first_name: Ekaterina V. full_name: Putintseva, Ekaterina V. last_name: Putintseva - first_name: Lorena full_name: Espinar, Lorena last_name: Espinar - first_name: Karen full_name: Sarkisyan, Karen id: 39A7BF80-F248-11E8-B48F-1D18A9856A87 last_name: Sarkisyan orcid: 0000-0002-5375-6341 - first_name: Alexander S. full_name: Mishin, Alexander S. last_name: Mishin - first_name: Natalya S. full_name: Bogatyreva, Natalya S. last_name: Bogatyreva - first_name: Dmitry full_name: Ivankov, Dmitry id: 49FF1036-F248-11E8-B48F-1D18A9856A87 last_name: Ivankov - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Inna S. full_name: Povolotskaya, Inna S. last_name: Povolotskaya - first_name: Guillaume J. full_name: Filion, Guillaume J. last_name: Filion - first_name: Lucas B. full_name: Carey, Lucas B. last_name: Carey - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 citation: ama: Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011 apa: Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011 chicago: Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “A Statistical Summary of Segment Libraries and Sequencing Results.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s011. ieee: V. Pokusaeva et al., “A statistical summary of segment libraries and sequencing results.” Public Library of Science, 2019. ista: Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011. mla: Pokusaeva, Victoria, et al. A Statistical Summary of Segment Libraries and Sequencing Results. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s011. short: V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019). date_created: 2021-08-06T11:08:20Z date_published: 2019-04-10T00:00:00Z date_updated: 2023-08-25T10:30:36Z day: '10' department: - _id: FyKo doi: 10.1371/journal.pgen.1008079.s011 month: '04' oa_version: Published Version publisher: Public Library of Science related_material: record: - id: '6419' relation: used_in_publication status: public status: public title: A statistical summary of segment libraries and sequencing results type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- _id: '9789' article_processing_charge: No author: - first_name: Victoria full_name: Pokusaeva, Victoria id: 3184041C-F248-11E8-B48F-1D18A9856A87 last_name: Pokusaeva orcid: 0000-0001-7660-444X - first_name: Dinara R. full_name: Usmanova, Dinara R. last_name: Usmanova - first_name: Ekaterina V. full_name: Putintseva, Ekaterina V. last_name: Putintseva - first_name: Lorena full_name: Espinar, Lorena last_name: Espinar - first_name: Karen full_name: Sarkisyan, Karen id: 39A7BF80-F248-11E8-B48F-1D18A9856A87 last_name: Sarkisyan orcid: 0000-0002-5375-6341 - first_name: Alexander S. full_name: Mishin, Alexander S. last_name: Mishin - first_name: Natalya S. full_name: Bogatyreva, Natalya S. last_name: Bogatyreva - first_name: Dmitry full_name: Ivankov, Dmitry id: 49FF1036-F248-11E8-B48F-1D18A9856A87 last_name: Ivankov - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Sergey full_name: Avvakumov, Sergey id: 3827DAC8-F248-11E8-B48F-1D18A9856A87 last_name: Avvakumov - first_name: Inna S. full_name: Povolotskaya, Inna S. last_name: Povolotskaya - first_name: Guillaume J. full_name: Filion, Guillaume J. last_name: Filion - first_name: Lucas B. full_name: Carey, Lucas B. last_name: Carey - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 citation: ama: Pokusaeva V, Usmanova DR, Putintseva EV, et al. Multiple alignment of His3 orthologues. 2019. doi:10.1371/journal.pgen.1008079.s010 apa: Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). Multiple alignment of His3 orthologues. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s010 chicago: Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “Multiple Alignment of His3 Orthologues.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s010. ieee: V. Pokusaeva et al., “Multiple alignment of His3 orthologues.” Public Library of Science, 2019. ista: Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. Multiple alignment of His3 orthologues, Public Library of Science, 10.1371/journal.pgen.1008079.s010. mla: Pokusaeva, Victoria, et al. Multiple Alignment of His3 Orthologues. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s010. short: V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019). date_created: 2021-08-06T08:38:50Z date_published: 2019-04-10T00:00:00Z date_updated: 2023-08-25T10:30:36Z day: '10' department: - _id: FyKo doi: 10.1371/journal.pgen.1008079.s010 month: '04' oa_version: Published Version publisher: Public Library of Science related_material: record: - id: '6419' relation: used_in_publication status: public status: public title: Multiple alignment of His3 orthologues type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- _id: '6462' abstract: - lang: eng text: A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles. alternative_title: - LNCS article_processing_charge: No author: - first_name: Guy full_name: Avni, Guy id: 463C8BC2-F248-11E8-B48F-1D18A9856A87 last_name: Avni orcid: 0000-0001-5588-8287 - first_name: Roderick full_name: Bloem, Roderick last_name: Bloem - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Bettina full_name: Konighofer, Bettina last_name: Konighofer - first_name: Stefan full_name: Pranger, Stefan last_name: Pranger citation: ama: 'Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36' apa: 'Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., & Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. https://doi.org/10.1007/978-3-030-25540-4_36' chicago: Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36. ieee: G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649. ista: 'Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561, 630–649.' mla: Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36. short: G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649. conference: end_date: 2019-07-18 location: New York, NY, United States name: 'CAV: Computer Aided Verification' start_date: 2019-07-13 date_created: 2019-05-16T11:22:30Z date_published: 2019-07-12T00:00:00Z date_updated: 2023-08-25T10:33:27Z day: '12' ddc: - '000' department: - _id: ToHe - _id: KrCh doi: 10.1007/978-3-030-25540-4_36 external_id: isi: - '000491468000036' file: - access_level: open_access checksum: c231579f2485c6fd4df17c9443a4d80b content_type: application/pdf creator: dernst date_created: 2019-08-14T09:35:24Z date_updated: 2020-07-14T12:47:31Z file_id: '6816' file_name: 2019_CAV_Avni.pdf file_size: 659766 relation: main_file file_date_updated: 2020-07-14T12:47:31Z has_accepted_license: '1' intvolume: ' 11561' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 630-649 project: - _id: 264B3912-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02369 name: Formal Methods meets Algorithmic Game Theory - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication: 31st International Conference on Computer-Aided Verification publication_identifier: isbn: - '9783030255398' issn: - 0302-9743 publication_status: published publisher: Springer quality_controlled: '1' scopus_import: '1' status: public title: Run-time optimization for learned controllers through quantitative games 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: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 11561 year: '2019' ... --- _id: '6477' abstract: - lang: eng text: 'Thermalizing quantum systems are conventionallydescribed by statistical mechanics at equilib-rium. However, not all systems fall into this category, with many-body localization providinga generic mechanism for thermalization to fail in strongly disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators at nonzero temperature, which do notthermalize and therefore cannot be describedusing statistical mechanics. This Colloquiumreviews recent theoretical and experimental advances in studies of MBL systems, focusing onthe new perspective provided by entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically, MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal integrals of motion emerges, which provides an intuitive explanationof the breakdown of thermalization. A description based on quasilocal integrals of motion isused to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement, the behavior of local observables, and the response to external dissipativeprocesses. Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing of the quantum-to-classical transitionbetween many-body localized and ergodic phasesand anomalous transport in the vicinity of that transition. Experimentally, synthetic quantumsystems, which are well isolated from an external thermal reservoir, provide natural platforms forrealizing the MBL phase. Recent experiments with ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in which different signatures of many-body localization have beenobserved, are reviewed. This Colloquium concludes by listing outstanding challenges andpromising future research directions.' article_number: '021001' article_processing_charge: No article_type: original author: - first_name: Dmitry A. full_name: Abanin, Dmitry A. last_name: Abanin - first_name: Ehud full_name: Altman, Ehud last_name: Altman - first_name: Immanuel full_name: Bloch, Immanuel last_name: Bloch - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 citation: ama: 'Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 2019;91(2). doi:10.1103/revmodphys.91.021001' apa: 'Abanin, D. A., Altman, E., Bloch, I., & Serbyn, M. (2019). Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. American Physical Society. https://doi.org/10.1103/revmodphys.91.021001' chicago: 'Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern Physics. American Physical Society, 2019. https://doi.org/10.1103/revmodphys.91.021001.' ieee: 'D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” Reviews of Modern Physics, vol. 91, no. 2. American Physical Society, 2019.' ista: 'Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.' mla: 'Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern Physics, vol. 91, no. 2, 021001, American Physical Society, 2019, doi:10.1103/revmodphys.91.021001.' short: D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019). date_created: 2019-05-23T07:38:43Z date_published: 2019-05-22T00:00:00Z date_updated: 2023-08-25T10:37:56Z day: '22' ddc: - '530' department: - _id: MaSe doi: 10.1103/revmodphys.91.021001 external_id: arxiv: - '1804.11065' isi: - '000469046900001' file: - access_level: open_access checksum: 4aec0e6662b09f6e0f828cd30ff2c3a6 content_type: application/pdf creator: mserbyn date_created: 2019-05-23T07:39:05Z date_updated: 2020-07-14T12:47:31Z file_id: '6478' file_name: RevModPhys.91.021001.pdf file_size: 1695677 relation: main_file file_date_updated: 2020-07-14T12:47:31Z has_accepted_license: '1' intvolume: ' 91' isi: 1 issue: '2' language: - iso: eng month: '05' oa: 1 oa_version: Published Version publication: Reviews of Modern Physics publication_identifier: eissn: - 0034-6861 issn: - 1539-0756 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: 'Colloquium: Many-body localization, thermalization, and entanglement' type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 91 year: '2019' ... --- _id: '6466' abstract: - lang: eng text: "One of the most striking and consistent results in speciation genomics is the heterogeneous divergence observed across the genomes of closely related species. This pattern was initially attributed to different levels of gene exchange—with divergence preserved at loci generating a barrier to gene flow but homogenized at unlinked neutral loci. Although there is evidence to support this model, it is now recognized that interpreting patterns of divergence across genomes is not so straightforward. One \r\nproblem is that heterogenous divergence between populations can also be generated by other processes (e.g. recurrent selective sweeps or background selection) without any involvement of differential gene flow. Thus, integrated studies that identify which loci are likely subject to divergent selection are required to shed light on the interplay between selection and gene flow during the early phases of speciation. In this issue of Molecular Ecology, Rifkin et al. (2019) confront this challenge using a pair of sister morning glory species. They wisely design their sampling to take the geographic context of individuals into account, including geographically isolated (allopatric) and co‐occurring (sympatric) populations. This enabled them to show that individuals are phenotypically less differentiated in sympatry. They also found that the loci that resist introgression are enriched for those most differentiated in allopatry and loci that exhibit signals of divergent selection. One great strength of the \r\nstudy is the combination of methods from population genetics and molecular evolution, including the development of a model to simultaneously infer admixture proportions and selfing rates." article_processing_charge: No author: - first_name: David full_name: Field, David id: 419049E2-F248-11E8-B48F-1D18A9856A87 last_name: Field orcid: 0000-0002-4014-8478 - first_name: Christelle full_name: Fraisse, Christelle id: 32DF5794-F248-11E8-B48F-1D18A9856A87 last_name: Fraisse orcid: 0000-0001-8441-5075 citation: ama: Field D, Fraisse C. Breaking down barriers in morning glories. Molecular ecology. 2019;28(7):1579-1581. doi:10.1111/mec.15048 apa: Field, D., & Fraisse, C. (2019). Breaking down barriers in morning glories. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15048 chicago: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.” Molecular Ecology. Wiley, 2019. https://doi.org/10.1111/mec.15048. ieee: D. Field and C. Fraisse, “Breaking down barriers in morning glories,” Molecular ecology, vol. 28, no. 7. Wiley, pp. 1579–1581, 2019. ista: Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular ecology. 28(7), 1579–1581. mla: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.” Molecular Ecology, vol. 28, no. 7, Wiley, 2019, pp. 1579–81, doi:10.1111/mec.15048. short: D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581. date_created: 2019-05-19T21:59:15Z date_published: 2019-04-01T00:00:00Z date_updated: 2023-08-25T10:37:30Z day: '01' ddc: - '580' - '576' department: - _id: NiBa doi: 10.1111/mec.15048 external_id: isi: - '000474808300001' file: - access_level: open_access checksum: 521e3aff3e9263ddf2ffbfe0b6157715 content_type: application/pdf creator: dernst date_created: 2019-05-20T11:49:06Z date_updated: 2020-07-14T12:47:31Z file_id: '6472' file_name: 2019_MolecularEcology_Field.pdf file_size: 367711 relation: main_file file_date_updated: 2020-07-14T12:47:31Z has_accepted_license: '1' intvolume: ' 28' isi: 1 issue: '7' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 1579-1581 publication: Molecular ecology publication_identifier: eissn: - 1365294X publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Breaking down barriers in morning glories 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 28 year: '2019' ... --- _id: '6465' abstract: - lang: eng text: Tight control over protein degradation is a fundamental requirement for cells to respond rapidly to various stimuli and adapt to a fluctuating environment. Here we develop a versatile, easy-to-handle library of destabilizing tags (degrons) for the precise regulation of protein expression profiles in mammalian cells by modulating target protein half-lives in a predictable manner. Using the well-established tetracycline gene-regulation system as a model, we show that the dynamics of protein expression can be tuned by fusing appropriate degron tags to gene regulators. Next, we apply this degron library to tune a synthetic pulse-generating circuit in mammalian cells. With this toolbox we establish a set of pulse generators with tailored pulse lengths and magnitudes of protein expression. This methodology will prove useful in the functional roles of essential proteins, fine-tuning of gene-expression systems, and enabling a higher complexity in the design of synthetic biological systems in mammalian cells. article_number: '2013' article_processing_charge: No author: - first_name: Hélène full_name: Chassin, Hélène last_name: Chassin - first_name: Marius full_name: Müller, Marius last_name: Müller - first_name: Marcel full_name: Tigges, Marcel last_name: Tigges - first_name: Leo full_name: Scheller, Leo last_name: Scheller - first_name: Moritz full_name: Lang, Moritz id: 29E0800A-F248-11E8-B48F-1D18A9856A87 last_name: Lang - first_name: Martin full_name: Fussenegger, Martin last_name: Fussenegger citation: ama: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09974-5 apa: Chassin, H., Müller, M., Tigges, M., Scheller, L., Lang, M., & Fussenegger, M. (2019). A modular degron library for synthetic circuits in mammalian cells. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09974-5 chicago: Chassin, Hélène, Marius Müller, Marcel Tigges, Leo Scheller, Moritz Lang, and Martin Fussenegger. “A Modular Degron Library for Synthetic Circuits in Mammalian Cells.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09974-5. ieee: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger, “A modular degron library for synthetic circuits in mammalian cells,” Nature Communications, vol. 10, no. 1. Springer Nature, 2019. ista: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 10(1), 2013. mla: Chassin, Hélène, et al. “A Modular Degron Library for Synthetic Circuits in Mammalian Cells.” Nature Communications, vol. 10, no. 1, 2013, Springer Nature, 2019, doi:10.1038/s41467-019-09974-5. short: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019). date_created: 2019-05-19T21:59:14Z date_published: 2019-05-01T00:00:00Z date_updated: 2023-08-25T10:33:51Z day: '01' ddc: - '570' department: - _id: CaGu doi: 10.1038/s41467-019-09974-5 external_id: isi: - '000466338600006' file: - access_level: open_access checksum: e214d3e4f8c81e35981583c4569b51b8 content_type: application/pdf creator: dernst date_created: 2019-05-20T07:33:54Z date_updated: 2020-07-14T12:47:31Z file_id: '6471' file_name: 2019_NatureComm_Chassin.pdf file_size: 1191827 relation: main_file file_date_updated: 2020-07-14T12:47:31Z has_accepted_license: '1' intvolume: ' 10' isi: 1 issue: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version publication: Nature Communications publication_identifier: eissn: - '20411723' publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - relation: erratum url: https://doi.org/10.1038/s41467-023-36111-0 scopus_import: '1' status: public title: A modular degron library for synthetic circuits in mammalian cells 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 10 year: '2019' ... --- _id: '6467' abstract: - lang: eng text: Fitness interactions between mutations can influence a population’s evolution in many different ways. While epistatic effects are difficult to measure precisely, important information is captured by the mean and variance of log fitnesses for individuals carrying different numbers of mutations. We derive predictions for these quantities from a class of simple fitness landscapes, based on models of optimizing selection on quantitative traits. We also explore extensions to the models, including modular pleiotropy, variable effect sizes, mutational bias and maladaptation of the wild type. We illustrate our approach by reanalysing a large dataset of mutant effects in a yeast snoRNA (small nucleolar RNA). Though characterized by some large epistatic effects, these data give a good overall fit to the non-epistatic null model, suggesting that epistasis might have limited influence on the evolutionary dynamics in this system. We also show how the amount of epistasis depends on both the underlying fitness landscape and the distribution of mutations, and so is expected to vary in consistent ways between new mutations, standing variation and fixed mutations. article_number: '0881' article_processing_charge: No article_type: original author: - first_name: Christelle full_name: Fraisse, Christelle id: 32DF5794-F248-11E8-B48F-1D18A9856A87 last_name: Fraisse orcid: 0000-0001-8441-5075 - first_name: John J. full_name: Welch, John J. last_name: Welch citation: ama: Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes. Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881 apa: Fraisse, C., & Welch, J. J. (2019). The distribution of epistasis on simple fitness landscapes. Biology Letters. Royal Society of London. https://doi.org/10.1098/rsbl.2018.0881 chicago: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” Biology Letters. Royal Society of London, 2019. https://doi.org/10.1098/rsbl.2018.0881. ieee: C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness landscapes,” Biology Letters, vol. 15, no. 4. Royal Society of London, 2019. ista: Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness landscapes. Biology Letters. 15(4), 0881. mla: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” Biology Letters, vol. 15, no. 4, 0881, Royal Society of London, 2019, doi:10.1098/rsbl.2018.0881. short: C. Fraisse, J.J. Welch, Biology Letters 15 (2019). date_created: 2019-05-19T21:59:15Z date_published: 2019-04-03T00:00:00Z date_updated: 2023-08-25T10:34:41Z day: '03' department: - _id: BeVi - _id: NiBa doi: 10.1098/rsbl.2018.0881 ec_funded: 1 external_id: isi: - '000465405300010' pmid: - '31014191' intvolume: ' 15' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1098/rsbl.2018.0881 month: '04' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Biology Letters publication_identifier: eissn: - 1744957X issn: - '17449561' publication_status: published publisher: Royal Society of London quality_controlled: '1' related_material: link: - relation: supplementary_material url: https://dx.doi.org/10.6084/m9.figshare.c.4461008 record: - id: '9798' relation: research_data status: public - id: '9799' relation: research_data status: public scopus_import: '1' status: public title: The distribution of epistasis on simple fitness landscapes type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 15 year: '2019' ... --- _id: '6470' abstract: - lang: eng text: 'Investigating neuronal activity using genetically encoded Ca2+ indicators in behaving animals is hampered by inaccuracies in spike inference from fluorescent tracers. Here we combine two‐photon [Ca2+] imaging with cell‐attached recordings, followed by post hoc determination of the expression level of GCaMP6f, to explore how it affects the amplitude, kinetics and temporal summation of somatic [Ca2+] transients in mouse hippocampal pyramidal cells (PCs). The amplitude of unitary [Ca2+] transients (evoked by a single action potential) negatively correlates with GCaMP6f expression, but displays large variability even among PCs with similarly low expression levels. The summation of fluorescence signals is frequency‐dependent, supralinear and also shows remarkable cell‐to‐cell variability. We performed experimental data‐based simulations and found that spike inference error rates using MLspike depend strongly on unitary peak amplitudes and GCaMP6f expression levels. We provide simple methods for estimating the unitary [Ca2+] transients in individual weakly GCaMP6f‐expressing PCs, with which we achieve spike inference error rates of ∼5%. ' article_processing_charge: No article_type: original author: - first_name: Tímea full_name: Éltes, Tímea last_name: Éltes - first_name: Miklos full_name: Szoboszlay, Miklos last_name: Szoboszlay - first_name: Margit Katalin full_name: Szigeti, Margit Katalin id: 44F4BDC0-F248-11E8-B48F-1D18A9856A87 last_name: Szigeti orcid: 0000-0001-9500-8758 - first_name: Zoltan full_name: Nusser, Zoltan last_name: Nusser citation: ama: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 2019;597(11):2925–2947. doi:10.1113/JP277681 apa: Éltes, T., Szoboszlay, M., Szigeti, M. K., & Nusser, Z. (2019). Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. Wiley. https://doi.org/10.1113/JP277681 chicago: Éltes, Tímea, Miklos Szoboszlay, Margit Katalin Szigeti, and Zoltan Nusser. “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” Journal of Physiology. Wiley, 2019. https://doi.org/10.1113/JP277681. ieee: T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells,” Journal of Physiology, vol. 597, no. 11. Wiley, pp. 2925–2947, 2019. ista: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11), 2925–2947. mla: Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” Journal of Physiology, vol. 597, no. 11, Wiley, 2019, pp. 2925–2947, doi:10.1113/JP277681. short: T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947. date_created: 2019-05-19T21:59:17Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-08-25T10:34:15Z day: '01' department: - _id: GaNo doi: 10.1113/JP277681 external_id: isi: - '000470780400013' pmid: - '31006863' intvolume: ' 597' isi: 1 issue: '11' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1113/JP277681 month: '06' oa: 1 oa_version: Published Version page: 2925–2947 pmid: 1 publication: Journal of Physiology publication_identifier: eissn: - '14697793' issn: - '00223751' publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 597 year: '2019' ... --- _id: '6493' abstract: - lang: eng text: We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an arbitrary number and topology of modes. They thus construct a succinct model from the data and provide formal guarantees. In particular, (1) the generated automaton can reproduce the data up to a specified tolerance and (2) the automaton is tight, given the first guarantee. Our first approach encodes the synthesis problem as a logical formula in the theory of linear arithmetic, which can then be solved by an SMT solver. This approach minimizes the number of modes in the resulting model but is only feasible for limited data sets. To address scalability, we propose a second approach that does not enforce to find a minimal model. The algorithm constructs an initial automaton and then iteratively extends the automaton based on processing new data. Therefore the algorithm is well-suited for online and synthesis-in-the-loop applications. The core of the algorithm is a membership query that checks whether, within the specified tolerance, a given data set can result from the execution of a given automaton. We solve this membership problem for linear hybrid automata by repeated reachability computations. We demonstrate the effectiveness of the algorithm on synthetic data sets and on cardiac-cell measurements. alternative_title: - LNCS article_processing_charge: No author: - first_name: Miriam full_name: Garcia Soto, Miriam id: 4B3207F6-F248-11E8-B48F-1D18A9856A87 last_name: Garcia Soto orcid: 0000−0003−2936−5719 - 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: Christian full_name: Schilling, Christian id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87 last_name: Schilling orcid: 0000-0003-3658-1065 - first_name: Luka full_name: Zeleznik, Luka id: 3ADCA2E4-F248-11E8-B48F-1D18A9856A87 last_name: Zeleznik citation: ama: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16' apa: 'Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. https://doi.org/10.1007/978-3-030-25540-4_16' chicago: Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16. ieee: M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314. ista: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.' mla: Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16. short: M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314. conference: end_date: 2019-07-18 location: New York City, NY, USA name: 'CAV: Computer-Aided Verification' start_date: 2019-07-15 date_created: 2019-05-27T07:09:53Z date_published: 2019-07-12T00:00:00Z date_updated: 2023-08-25T10:40:41Z day: '12' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-030-25540-4_16 ec_funded: 1 external_id: isi: - '000491468000016' file: - access_level: open_access checksum: 1f1d61b83a151031745ef70a501da3d6 content_type: application/pdf creator: dernst date_created: 2019-08-14T11:05:30Z date_updated: 2020-07-14T12:47:32Z file_id: '6817' file_name: 2019_CAV_GarciaSoto.pdf file_size: 674795 relation: main_file file_date_updated: 2020-07-14T12:47:32Z has_accepted_license: '1' intvolume: ' 11561' isi: 1 keyword: - Synthesis - Linear hybrid automaton - Membership language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 297-314 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _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: 31st International Conference on Computer-Aided Verification publication_identifier: isbn: - '9783030255398' issn: - 0302-9743 publication_status: published publisher: Springer quality_controlled: '1' scopus_import: '1' status: public title: Membership-based synthesis of linear hybrid automata 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: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 11561 year: '2019' ... --- _id: '6485' abstract: - lang: eng text: Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous channelis the common abstraction for communication between several processes, where senders and receivers perform a rendezvous handshake as a part of their protocol (senders wait for receivers and vice versa). Additionally to this, channels support the select expression. In this work, we present the first efficient lock-free channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations. article_processing_charge: No author: - first_name: Nikita full_name: Koval, Nikita id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87 last_name: Koval - 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: Roman full_name: Elizarov, Roman last_name: Elizarov citation: ama: Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000 apa: 'Koval, N., Alistarh, D.-A., & Elizarov, R. (2019). Lock-free channels for programming via communicating sequential processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (pp. 417–418). Washington, NY, United States: ACM Press. https://doi.org/10.1145/3293883.3297000' chicago: Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels for Programming via Communicating Sequential Processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. ACM Press, 2019. https://doi.org/10.1145/3293883.3297000. ieee: N. Koval, D.-A. Alistarh, and R. Elizarov, Lock-free channels for programming via communicating sequential processes. ACM Press, 2019, pp. 417–418. ista: Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming via communicating sequential processes, ACM Press,p. mla: Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000. short: N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019. conference: end_date: 2019-02-20 location: Washington, NY, United States name: 'PPoPP: Principles and Practice of Parallel Programming' start_date: 2019-02-16 date_created: 2019-05-24T10:09:12Z date_published: 2019-02-01T00:00:00Z date_updated: 2023-08-25T10:41:20Z day: '01' department: - _id: DaAl doi: 10.1145/3293883.3297000 external_id: isi: - '000587604600044' isi: 1 language: - iso: eng month: '02' oa_version: None page: 417-418 publication: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming publication_identifier: isbn: - '9781450362252' publication_status: published publisher: ACM Press quality_controlled: '1' status: public title: Lock-free channels for programming via communicating sequential processes type: conference_poster user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2019' ...