--- _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' ...