--- _id: '5770' abstract: - lang: eng text: Retroviruses assemble and bud from infected cells in an immature form and require proteolytic maturation for infectivity. The CA (capsid) domains of the Gag polyproteins assemble a protein lattice as a truncated sphere in the immature virion. Proteolytic cleavage of Gag induces dramatic structural rearrangements; a subset of cleaved CA subsequently assembles into the mature core, whose architecture varies among retroviruses. Murine leukemia virus (MLV) is the prototypical γ-retrovirus and serves as the basis of retroviral vectors, but the structure of the MLV CA layer is unknown. Here we have combined X-ray crystallography with cryoelectron tomography to determine the structures of immature and mature MLV CA layers within authentic viral particles. This reveals the structural changes associated with maturation, and, by comparison with HIV-1, uncovers conserved and variable features. In contrast to HIV-1, most MLV CA is used for assembly of the mature core, which adopts variable, multilayered morphologies and does not form a closed structure. Unlike in HIV-1, there is similarity between protein–protein interfaces in the immature MLV CA layer and those in the mature CA layer, and structural maturation of MLV could be achieved through domain rotations that largely maintain hexameric interactions. Nevertheless, the dramatic architectural change on maturation indicates that extensive disassembly and reassembly are required for mature core growth. The core morphology suggests that wrapping of the genome in CA sheets may be sufficient to protect the MLV ribonucleoprotein during cell entry. article_processing_charge: No author: - first_name: Kun full_name: Qu, Kun last_name: Qu - first_name: Bärbel full_name: Glass, Bärbel last_name: Glass - first_name: Michal full_name: Doležal, Michal last_name: Doležal - first_name: Florian full_name: Schur, Florian id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 - first_name: Brice full_name: Murciano, Brice last_name: Murciano - first_name: Alan full_name: Rein, Alan last_name: Rein - first_name: Michaela full_name: Rumlová, Michaela last_name: Rumlová - first_name: Tomáš full_name: Ruml, Tomáš last_name: Ruml - first_name: Hans-Georg full_name: Kräusslich, Hans-Georg last_name: Kräusslich - first_name: John A. G. full_name: Briggs, John A. G. last_name: Briggs citation: ama: Qu K, Glass B, Doležal M, et al. Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences. 2018;115(50):E11751-E11760. doi:10.1073/pnas.1811580115 apa: Qu, K., Glass, B., Doležal, M., Schur, F. K., Murciano, B., Rein, A., … Briggs, J. A. G. (2018). Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1811580115 chicago: Qu, Kun, Bärbel Glass, Michal Doležal, Florian KM Schur, Brice Murciano, Alan Rein, Michaela Rumlová, Tomáš Ruml, Hans-Georg Kräusslich, and John A. G. Briggs. “Structure and Architecture of Immature and Mature Murine Leukemia Virus Capsids.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1811580115. ieee: K. Qu et al., “Structure and architecture of immature and mature murine leukemia virus capsids,” Proceedings of the National Academy of Sciences, vol. 115, no. 50. Proceedings of the National Academy of Sciences, pp. E11751–E11760, 2018. ista: Qu K, Glass B, Doležal M, Schur FK, Murciano B, Rein A, Rumlová M, Ruml T, Kräusslich H-G, Briggs JAG. 2018. Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences. 115(50), E11751–E11760. mla: Qu, Kun, et al. “Structure and Architecture of Immature and Mature Murine Leukemia Virus Capsids.” Proceedings of the National Academy of Sciences, vol. 115, no. 50, Proceedings of the National Academy of Sciences, 2018, pp. E11751–60, doi:10.1073/pnas.1811580115. short: K. Qu, B. Glass, M. Doležal, F.K. Schur, B. Murciano, A. Rein, M. Rumlová, T. Ruml, H.-G. Kräusslich, J.A.G. Briggs, Proceedings of the National Academy of Sciences 115 (2018) E11751–E11760. date_created: 2018-12-20T21:09:37Z date_published: 2018-12-11T00:00:00Z date_updated: 2023-09-19T09:57:45Z day: '11' department: - _id: FlSc doi: 10.1073/pnas.1811580115 external_id: isi: - '000452866000022' pmid: - '30478053' intvolume: ' 115' isi: 1 issue: '50' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pubmed/30478053 month: '12' oa: 1 oa_version: Submitted Version page: E11751-E11760 pmid: 1 publication: Proceedings of the National Academy of Sciences publication_identifier: issn: - '00278424' publication_status: published publisher: Proceedings of the National Academy of Sciences quality_controlled: '1' scopus_import: '1' status: public title: Structure and architecture of immature and mature murine leukemia virus capsids type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 115 year: '2018' ... --- _id: '608' abstract: - lang: eng text: Synthesis is the automated construction of a system from its specification. In real life, hardware and software systems are rarely constructed from scratch. Rather, a system is typically constructed from a library of components. Lustig and Vardi formalized this intuition and studied LTL synthesis from component libraries. In real life, designers seek optimal systems. In this paper we add optimality considerations to the setting. We distinguish between quality considerations (for example, size - the smaller a system is, the better it is), and pricing (for example, the payment to the company who manufactured the component). We study the problem of designing systems with minimal quality-cost and price. A key point is that while the quality cost is individual - the choices of a designer are independent of choices made by other designers that use the same library, pricing gives rise to a resource-allocation game - designers that use the same component share its price, with the share being proportional to the number of uses (a component can be used several times in a design). We study both closed and open settings, and in both we solve the problem of finding an optimal design. In a setting with multiple designers, we also study the game-theoretic problems of the induced resource-allocation game. article_processing_charge: No article_type: original author: - first_name: Guy full_name: Avni, Guy id: 463C8BC2-F248-11E8-B48F-1D18A9856A87 last_name: Avni orcid: 0000-0001-5588-8287 - first_name: Orna full_name: Kupferman, Orna last_name: Kupferman citation: ama: Avni G, Kupferman O. Synthesis from component libraries with costs. Theoretical Computer Science. 2018;712:50-72. doi:10.1016/j.tcs.2017.11.001 apa: Avni, G., & Kupferman, O. (2018). Synthesis from component libraries with costs. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2017.11.001 chicago: Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.” Theoretical Computer Science. Elsevier, 2018. https://doi.org/10.1016/j.tcs.2017.11.001. ieee: G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712. Elsevier, pp. 50–72, 2018. ista: Avni G, Kupferman O. 2018. Synthesis from component libraries with costs. Theoretical Computer Science. 712, 50–72. mla: Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.” Theoretical Computer Science, vol. 712, Elsevier, 2018, pp. 50–72, doi:10.1016/j.tcs.2017.11.001. short: G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72. date_created: 2018-12-11T11:47:28Z date_published: 2018-02-15T00:00:00Z date_updated: 2023-09-19T10:00:21Z day: '15' department: - _id: ToHe doi: 10.1016/j.tcs.2017.11.001 ec_funded: 1 external_id: isi: - '000424959200003' intvolume: ' 712' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.4529 month: '02' oa: 1 oa_version: Published Version page: 50 - 72 project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _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: Theoretical Computer Science publication_status: published publisher: Elsevier publist_id: '7197' quality_controlled: '1' scopus_import: '1' status: public title: Synthesis from component libraries with costs type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 712 year: '2018' ... --- _id: '148' abstract: - lang: eng text: 'Land plants evolved from charophytic algae, among which Charophyceae possess the most complex body plans. We present the genome of Chara braunii; comparison of the genome to those of land plants identified evolutionary novelties for plant terrestrialization and land plant heritage genes. C. braunii employs unique xylan synthases for cell wall biosynthesis, a phragmoplast (cell separation) mechanism similar to that of land plants, and many phytohormones. C. braunii plastids are controlled via land-plant-like retrograde signaling, and transcriptional regulation is more elaborate than in other algae. The morphological complexity of this organism may result from expanded gene families, with three cases of particular note: genes effecting tolerance to reactive oxygen species (ROS), LysM receptor-like kinases, and transcription factors (TFs). Transcriptomic analysis of sexual reproductive structures reveals intricate control by TFs, activity of the ROS gene network, and the ancestral use of plant-like storage and stress protection proteins in the zygote.' acknowledgement: In-Data-Review article_processing_charge: No author: - first_name: Tomoaki full_name: Nishiyama, Tomoaki last_name: Nishiyama - first_name: Hidetoshi full_name: Sakayama, Hidetoshi last_name: Sakayama - first_name: Jan full_name: De Vries, Jan last_name: De Vries - first_name: Henrik full_name: Buschmann, Henrik last_name: Buschmann - first_name: Denis full_name: Saint Marcoux, Denis last_name: Saint Marcoux - first_name: Kristian full_name: Ullrich, Kristian last_name: Ullrich - first_name: Fabian full_name: Haas, Fabian last_name: Haas - first_name: Lisa full_name: Vanderstraeten, Lisa last_name: Vanderstraeten - first_name: Dirk full_name: Becker, Dirk last_name: Becker - first_name: Daniel full_name: Lang, Daniel last_name: Lang - first_name: Stanislav full_name: Vosolsobě, Stanislav last_name: Vosolsobě - first_name: Stephane full_name: Rombauts, Stephane last_name: Rombauts - first_name: Per full_name: Wilhelmsson, Per last_name: Wilhelmsson - first_name: Philipp full_name: Janitza, Philipp last_name: Janitza - first_name: Ramona full_name: Kern, Ramona last_name: Kern - first_name: Alexander full_name: Heyl, Alexander last_name: Heyl - first_name: Florian full_name: Rümpler, Florian last_name: Rümpler - first_name: Luz full_name: Calderón Villalobos, Luz last_name: Calderón Villalobos - first_name: John full_name: Clay, John last_name: Clay - first_name: Roman full_name: Skokan, Roman last_name: Skokan - first_name: Atsushi full_name: Toyoda, Atsushi last_name: Toyoda - first_name: Yutaka full_name: Suzuki, Yutaka last_name: Suzuki - first_name: Hiroshi full_name: Kagoshima, Hiroshi last_name: Kagoshima - first_name: Elio full_name: Schijlen, Elio last_name: Schijlen - first_name: Navindra full_name: Tajeshwar, Navindra last_name: Tajeshwar - first_name: Bruno full_name: Catarino, Bruno last_name: Catarino - first_name: Alexander full_name: Hetherington, Alexander last_name: Hetherington - first_name: Assia full_name: Saltykova, Assia last_name: Saltykova - first_name: Clemence full_name: Bonnot, Clemence last_name: Bonnot - first_name: Holger full_name: Breuninger, Holger last_name: Breuninger - first_name: Aikaterini full_name: Symeonidi, Aikaterini last_name: Symeonidi - first_name: Guru full_name: Radhakrishnan, Guru last_name: Radhakrishnan - first_name: Filip full_name: Van Nieuwerburgh, Filip last_name: Van Nieuwerburgh - first_name: Dieter full_name: Deforce, Dieter last_name: Deforce - first_name: Caren full_name: Chang, Caren last_name: Chang - first_name: Kenneth full_name: Karol, Kenneth last_name: Karol - first_name: Rainer full_name: Hedrich, Rainer last_name: Hedrich - first_name: Peter full_name: Ulvskov, Peter last_name: Ulvskov - first_name: Gernot full_name: Glöckner, Gernot last_name: Glöckner - first_name: Charles full_name: Delwiche, Charles last_name: Delwiche - first_name: Jan full_name: Petrášek, Jan last_name: Petrášek - first_name: Yves full_name: Van De Peer, Yves last_name: Van De Peer - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Mary full_name: Beilby, Mary last_name: Beilby - first_name: Liam full_name: Dolan, Liam last_name: Dolan - first_name: Yuji full_name: Kohara, Yuji last_name: Kohara - first_name: Sumio full_name: Sugano, Sumio last_name: Sugano - first_name: Asao full_name: Fujiyama, Asao last_name: Fujiyama - first_name: Pierre Marc full_name: Delaux, Pierre Marc last_name: Delaux - first_name: Marcel full_name: Quint, Marcel last_name: Quint - first_name: Gunter full_name: Theissen, Gunter last_name: Theissen - first_name: Martin full_name: Hagemann, Martin last_name: Hagemann - first_name: Jesper full_name: Harholt, Jesper last_name: Harholt - first_name: Christophe full_name: Dunand, Christophe last_name: Dunand - first_name: Sabine full_name: Zachgo, Sabine last_name: Zachgo - first_name: Jane full_name: Langdale, Jane last_name: Langdale - first_name: Florian full_name: Maumus, Florian last_name: Maumus - first_name: Dominique full_name: Van Der Straeten, Dominique last_name: Van Der Straeten - first_name: Sven B full_name: Gould, Sven B last_name: Gould - first_name: Stefan full_name: Rensing, Stefan last_name: Rensing citation: ama: 'Nishiyama T, Sakayama H, De Vries J, et al. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 2018;174(2):448-464.e24. doi:10.1016/j.cell.2018.06.033' apa: 'Nishiyama, T., Sakayama, H., De Vries, J., Buschmann, H., Saint Marcoux, D., Ullrich, K., … Rensing, S. (2018). The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. Cell Press. https://doi.org/10.1016/j.cell.2018.06.033' chicago: 'Nishiyama, Tomoaki, Hidetoshi Sakayama, Jan De Vries, Henrik Buschmann, Denis Saint Marcoux, Kristian Ullrich, Fabian Haas, et al. “The Chara Genome: Secondary Complexity and Implications for Plant Terrestrialization.” Cell. Cell Press, 2018. https://doi.org/10.1016/j.cell.2018.06.033.' ieee: 'T. Nishiyama et al., “The Chara genome: Secondary complexity and implications for plant terrestrialization,” Cell, vol. 174, no. 2. Cell Press, p. 448–464.e24, 2018.' ista: 'Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.' mla: 'Nishiyama, Tomoaki, et al. “The Chara Genome: Secondary Complexity and Implications for Plant Terrestrialization.” Cell, vol. 174, no. 2, Cell Press, 2018, p. 448–464.e24, doi:10.1016/j.cell.2018.06.033.' short: T. Nishiyama, H. Sakayama, J. De Vries, H. Buschmann, D. Saint Marcoux, K. Ullrich, F. Haas, L. Vanderstraeten, D. Becker, D. Lang, S. Vosolsobě, S. Rombauts, P. Wilhelmsson, P. Janitza, R. Kern, A. Heyl, F. Rümpler, L. Calderón Villalobos, J. Clay, R. Skokan, A. Toyoda, Y. Suzuki, H. Kagoshima, E. Schijlen, N. Tajeshwar, B. Catarino, A. Hetherington, A. Saltykova, C. Bonnot, H. Breuninger, A. Symeonidi, G. Radhakrishnan, F. Van Nieuwerburgh, D. Deforce, C. Chang, K. Karol, R. Hedrich, P. Ulvskov, G. Glöckner, C. Delwiche, J. Petrášek, Y. Van De Peer, J. Friml, M. Beilby, L. Dolan, Y. Kohara, S. Sugano, A. Fujiyama, P.M. Delaux, M. Quint, G. Theissen, M. Hagemann, J. Harholt, C. Dunand, S. Zachgo, J. Langdale, F. Maumus, D. Van Der Straeten, S.B. Gould, S. Rensing, Cell 174 (2018) 448–464.e24. date_created: 2018-12-11T11:44:53Z date_published: 2018-07-12T00:00:00Z date_updated: 2023-09-19T10:02:47Z day: '12' department: - _id: JiFr doi: 10.1016/j.cell.2018.06.033 ec_funded: 1 external_id: isi: - '000438482800019' pmid: - '30007417' intvolume: ' 174' isi: 1 issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pubmed/30007417 month: '07' oa: 1 oa_version: Published Version page: 448 - 464.e24 pmid: 1 project: - _id: 261099A6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742985' name: Tracing Evolution of Auxin Transport and Polarity in Plants publication: Cell publication_status: published publisher: Cell Press publist_id: '7774' quality_controlled: '1' scopus_import: '1' status: public title: 'The Chara genome: Secondary complexity and implications for plant terrestrialization' type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 174 year: '2018' ... --- _id: '403' abstract: - lang: eng text: The ability to adapt growth and development to temperature variations is crucial to generate plant varieties resilient to predicted temperature changes. However, the mechanisms underlying plant response to progressive increases in temperature have just started to be elucidated. Here, we report that the Cyclin-dependent Kinase G1 (CDKG1) is a central element in a thermo-sensitive mRNA splicing cascade that transduces changes in ambient temperature into differential expression of the fundamental spliceosome component, ATU2AF65A. CDKG1 is alternatively spliced in a temperature-dependent manner. We found that this process is partly dependent on both the Cyclin-dependent Kinase G2 (CDKG2) and the interacting co-factor CYCLIN L1 resulting in two distinct messenger RNAs. Relative abundance of both CDKG1 transcripts correlates with ambient temperature and possibly with different expression levels of the associated protein isoforms. Both CDKG1 alternative transcripts are necessary to fully complement the expression of ATU2AF65A across the temperature range. Our data support a previously unidentified temperature-dependent mechanism based on the alternative splicing of CDKG1 and regulated by CDKG2 and CYCLIN L1. We propose that changes in ambient temperature affect the relative abundance of CDKG1 transcripts and this in turn translates into differential CDKG1 protein expression coordinating the alternative splicing of ATU2AF65A. This article is protected by copyright. All rights reserved. acknowledgement: CN, DD and JHD were funded by the BBSRC (grant number BB/M009459/1). NC was funded by the VIPS Program of the Austrian Federal Ministry of Science and Research and the City of Vienna. AB and AF were supported by the Austrian Science Fund (FWF) [DK W1207; SFB RNAreg F43-P10] article_processing_charge: No author: - first_name: Nicola full_name: Cavallari, Nicola id: 457160E6-F248-11E8-B48F-1D18A9856A87 last_name: Cavallari - first_name: Candida full_name: Nibau, Candida last_name: Nibau - first_name: Armin full_name: Fuchs, Armin last_name: Fuchs - first_name: Despoina full_name: Dadarou, Despoina last_name: Dadarou - first_name: Andrea full_name: Barta, Andrea last_name: Barta - first_name: John full_name: Doonan, John last_name: Doonan citation: ama: Cavallari N, Nibau C, Fuchs A, Dadarou D, Barta A, Doonan J. The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A. The Plant Journal. 2018;94(6):1010-1022. doi:10.1111/tpj.13914 apa: Cavallari, N., Nibau, C., Fuchs, A., Dadarou, D., Barta, A., & Doonan, J. (2018). The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A. The Plant Journal. Wiley. https://doi.org/10.1111/tpj.13914 chicago: Cavallari, Nicola, Candida Nibau, Armin Fuchs, Despoina Dadarou, Andrea Barta, and John Doonan. “The Cyclin‐dependent Kinase G Group Defines a Thermo‐sensitive Alternative Splicing Circuit Modulating the Expression of Arabidopsis ATU 2AF 65A.” The Plant Journal. Wiley, 2018. https://doi.org/10.1111/tpj.13914. ieee: N. Cavallari, C. Nibau, A. Fuchs, D. Dadarou, A. Barta, and J. Doonan, “The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A,” The Plant Journal, vol. 94, no. 6. Wiley, pp. 1010–1022, 2018. ista: Cavallari N, Nibau C, Fuchs A, Dadarou D, Barta A, Doonan J. 2018. The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A. The Plant Journal. 94(6), 1010–1022. mla: Cavallari, Nicola, et al. “The Cyclin‐dependent Kinase G Group Defines a Thermo‐sensitive Alternative Splicing Circuit Modulating the Expression of Arabidopsis ATU 2AF 65A.” The Plant Journal, vol. 94, no. 6, Wiley, 2018, pp. 1010–22, doi:10.1111/tpj.13914. short: N. Cavallari, C. Nibau, A. Fuchs, D. Dadarou, A. Barta, J. Doonan, The Plant Journal 94 (2018) 1010–1022. date_created: 2018-12-11T11:46:17Z date_published: 2018-06-01T00:00:00Z date_updated: 2023-09-19T10:07:08Z day: '01' ddc: - '580' department: - _id: EvBe doi: 10.1111/tpj.13914 external_id: isi: - '000434365500008' file: - access_level: open_access checksum: d9d3ad3215ac0e581731443fca312266 content_type: application/pdf creator: dernst date_created: 2019-02-06T11:40:54Z date_updated: 2020-07-14T12:46:22Z file_id: '5934' file_name: 2018_PlantJourn_Cavallari.pdf file_size: 1543354 relation: main_file file_date_updated: 2020-07-14T12:46:22Z has_accepted_license: '1' intvolume: ' 94' isi: 1 issue: '6' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 1010 - 1022 publication: The Plant Journal publication_status: published publisher: Wiley publist_id: '7426' quality_controlled: '1' scopus_import: '1' status: public title: The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 94 year: '2018' ... --- _id: '156' abstract: - lang: eng text: 'Imprecision in timing can sometimes be beneficial: Metric interval temporal logic (MITL), disabling the expression of punctuality constraints, was shown to translate to timed automata, yielding an elementary decision procedure. We show how this principle extends to other forms of dense-time specification using regular expressions. By providing a clean, automaton-based formal framework for non-punctual languages, we are able to recover and extend several results in timed systems. Metric interval regular expressions (MIRE) are introduced, providing regular expressions with non-singular duration constraints. We obtain that MIRE are expressively complete relative to a class of one-clock timed automata, which can be determinized using additional clocks. Metric interval dynamic logic (MIDL) is then defined using MIRE as temporal modalities. We show that MIDL generalizes known extensions of MITL, while translating to timed automata at comparable cost.' alternative_title: - LNCS 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 citation: ama: 'Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer; 2018:147-164. doi:10.1007/978-3-319-95582-7_9' apa: 'Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951, pp. 147–164). Presented at the FM: International Symposium on Formal Methods, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-95582-7_9' chicago: Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64. Springer, 2018. https://doi.org/10.1007/978-3-319-95582-7_9. ieee: 'T. Ferrere, “The compound interest in relaxing punctuality,” presented at the FM: International Symposium on Formal Methods, Oxford, UK, 2018, vol. 10951, pp. 147–164.' ista: 'Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International Symposium on Formal Methods, LNCS, vol. 10951, 147–164.' mla: Ferrere, Thomas. The Compound Interest in Relaxing Punctuality. Vol. 10951, Springer, 2018, pp. 147–64, doi:10.1007/978-3-319-95582-7_9. short: T. Ferrere, in:, Springer, 2018, pp. 147–164. conference: end_date: 2018-07-17 location: Oxford, UK name: 'FM: International Symposium on Formal Methods' start_date: 2018-07-15 date_created: 2018-12-11T11:44:55Z date_published: 2018-07-12T00:00:00Z date_updated: 2023-09-19T10:05:37Z day: '12' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-319-95582-7_9 external_id: isi: - '000489765800009' file: - access_level: open_access checksum: a045c213c42c445f1889326f8db82a0a content_type: application/pdf creator: dernst date_created: 2020-10-09T06:22:41Z date_updated: 2020-10-09T06:22:41Z file_id: '8637' file_name: 2018_LNCS_Ferrere.pdf file_size: 485576 relation: main_file success: 1 file_date_updated: 2020-10-09T06:22:41Z has_accepted_license: '1' intvolume: ' 10951' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 147 - 164 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 publication_status: published publisher: Springer publist_id: '7765' quality_controlled: '1' scopus_import: '1' status: public title: The compound interest in relaxing punctuality type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 10951 year: '2018' ...