--- _id: '397' abstract: - lang: eng text: 'Concurrent sets with range query operations are highly desirable in applications such as in-memory databases. However, few set implementations offer range queries. Known techniques for augmenting data structures with range queries (or operations that can be used to build range queries) have numerous problems that limit their usefulness. For example, they impose high overhead or rely heavily on garbage collection. In this work, we show how to augment data structures with highly efficient range queries, without relying on garbage collection. We identify a property of epoch-based memory reclamation algorithms that makes them ideal for implementing range queries, and produce three algorithms, which use locks, transactional memory and lock-free techniques, respectively. Our algorithms are applicable to more data structures than previous work, and are shown to be highly efficient on a large scale Intel system. ' alternative_title: - PPoPP article_processing_charge: No author: - first_name: Maya full_name: Arbel Raviv, Maya last_name: Arbel Raviv - first_name: Trevor A full_name: Brown, Trevor A id: 3569F0A0-F248-11E8-B48F-1D18A9856A87 last_name: Brown citation: ama: 'Arbel Raviv M, Brown TA. Harnessing epoch-based reclamation for efficient range queries. In: Vol 53. ACM; 2018:14-27. doi:10.1145/3178487.3178489' apa: 'Arbel Raviv, M., & Brown, T. A. (2018). Harnessing epoch-based reclamation for efficient range queries (Vol. 53, pp. 14–27). Presented at the PPoPP: Principles and Practice of Parallel Programming, Vienna, Austria: ACM. https://doi.org/10.1145/3178487.3178489' chicago: Arbel Raviv, Maya, and Trevor A Brown. “Harnessing Epoch-Based Reclamation for Efficient Range Queries,” 53:14–27. ACM, 2018. https://doi.org/10.1145/3178487.3178489. ieee: 'M. Arbel Raviv and T. A. Brown, “Harnessing epoch-based reclamation for efficient range queries,” presented at the PPoPP: Principles and Practice of Parallel Programming, Vienna, Austria, 2018, vol. 53, no. 1, pp. 14–27.' ista: 'Arbel Raviv M, Brown TA. 2018. Harnessing epoch-based reclamation for efficient range queries. PPoPP: Principles and Practice of Parallel Programming, PPoPP, vol. 53, 14–27.' mla: Arbel Raviv, Maya, and Trevor A. Brown. Harnessing Epoch-Based Reclamation for Efficient Range Queries. Vol. 53, no. 1, ACM, 2018, pp. 14–27, doi:10.1145/3178487.3178489. short: M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27. conference: end_date: 2018-02-28 location: Vienna, Austria name: 'PPoPP: Principles and Practice of Parallel Programming' start_date: 2018-02-24 date_created: 2018-12-11T11:46:14Z date_published: 2018-02-10T00:00:00Z date_updated: 2023-09-11T14:10:25Z day: '10' department: - _id: DaAl doi: 10.1145/3178487.3178489 external_id: isi: - '000446161100002' intvolume: ' 53' isi: 1 issue: '1' language: - iso: eng month: '02' oa_version: None page: 14 - 27 publication_identifier: isbn: - 978-1-4503-4982-6 publication_status: published publisher: ACM publist_id: '7430' quality_controlled: '1' scopus_import: '1' status: public title: Harnessing epoch-based reclamation for efficient range queries type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 53 year: '2018' ... --- _id: '32' abstract: - lang: eng text: The functional role of AMPA receptor (AMPAR)-mediated synaptic signaling between neurons and oligodendrocyte precursor cells (OPCs) remains enigmatic. We modified the properties of AMPARs at axon-OPC synapses in the mouse corpus callosum in vivo during the peak of myelination by targeting the GluA2 subunit. Expression of the unedited (Ca2+ permeable) or the pore-dead GluA2 subunit of AMPARs triggered proliferation of OPCs and reduced their differentiation into oligodendrocytes. Expression of the cytoplasmic C-terminal (GluA2(813-862)) of the GluA2 subunit (C-tail), a modification designed to affect the interaction between GluA2 and AMPAR-binding proteins and to perturb trafficking of GluA2-containing AMPARs, decreased the differentiation of OPCs without affecting their proliferation. These findings suggest that ionotropic and non-ionotropic properties of AMPARs in OPCs, as well as specific aspects of AMPAR-mediated signaling at axon-OPC synapses in the mouse corpus callosum, are important for balancing the response of OPCs to proliferation and differentiation cues. In the brain, oligodendrocyte precursor cells (OPCs) receive glutamatergic AMPA-receptor-mediated synaptic input from neurons. Chen et al. show that modifying AMPA-receptor properties at axon-OPC synapses alters proliferation and differentiation of OPCs. This expands the traditional view of synaptic transmission by suggesting neurons also use synapses to modulate behavior of glia. acknowledgement: This work was supported by Deutsche Forschungsgemeinschaft (DFG) grant KU2569/1-1 (to M.K.); DFG project EXC307Centre for Integrative Neuroscience (CIN), including grant Pool Project 2011-12 (jointly to M.K. and I.E.); and the Charitable Hertie Foundation (to I.E.). CIN is an Excellence Cluster funded by the DFG within the framework of the Excellence Initiative for 2008–2018. M.K. is supported by the Tistou & Charlotte Kerstan Foundation. article_processing_charge: No author: - first_name: Ting full_name: Chen, Ting last_name: Chen - first_name: Bartosz full_name: Kula, Bartosz last_name: Kula - first_name: Balint full_name: Nagy, Balint id: 30F830CE-02D1-11E9-9BAA-DAF4881429F2 last_name: Nagy orcid: 0000-0002-4002-4686 - first_name: Ruxandra full_name: Barzan, Ruxandra last_name: Barzan - first_name: Andrea full_name: Gall, Andrea last_name: Gall - first_name: Ingrid full_name: Ehrlich, Ingrid last_name: Ehrlich - first_name: Maria full_name: Kukley, Maria last_name: Kukley citation: ama: Chen T, Kula B, Nagy B, et al. In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2. Cell Reports. 2018;25(4):852-861.e7. doi:10.1016/j.celrep.2018.09.066 apa: Chen, T., Kula, B., Nagy, B., Barzan, R., Gall, A., Ehrlich, I., & Kukley, M. (2018). In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2018.09.066 chicago: Chen, Ting, Bartosz Kula, Balint Nagy, Ruxandra Barzan, Andrea Gall, Ingrid Ehrlich, and Maria Kukley. “In Vivo Regulation of Oligodendrocyte Processor Cell Proliferation and Differentiation by the AMPA-Receptor Subunit GluA2.” Cell Reports. Elsevier, 2018. https://doi.org/10.1016/j.celrep.2018.09.066. ieee: T. Chen et al., “In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2,” Cell Reports, vol. 25, no. 4. Elsevier, p. 852–861.e7, 2018. ista: Chen T, Kula B, Nagy B, Barzan R, Gall A, Ehrlich I, Kukley M. 2018. In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2. Cell Reports. 25(4), 852–861.e7. mla: Chen, Ting, et al. “In Vivo Regulation of Oligodendrocyte Processor Cell Proliferation and Differentiation by the AMPA-Receptor Subunit GluA2.” Cell Reports, vol. 25, no. 4, Elsevier, 2018, p. 852–861.e7, doi:10.1016/j.celrep.2018.09.066. short: T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7. date_created: 2018-12-11T11:44:16Z date_published: 2018-10-23T00:00:00Z date_updated: 2023-09-11T14:13:32Z day: '23' ddc: - '570' department: - _id: SaSi doi: 10.1016/j.celrep.2018.09.066 external_id: isi: - '000448219500005' file: - access_level: open_access checksum: d9f74277fd57176e04732707d575cf08 content_type: application/pdf creator: dernst date_created: 2018-12-17T12:42:57Z date_updated: 2020-07-14T12:46:03Z file_id: '5703' file_name: 2018_CellReports_Chen.pdf file_size: 4461997 relation: main_file file_date_updated: 2020-07-14T12:46:03Z has_accepted_license: '1' intvolume: ' 25' isi: 1 issue: '4' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '10' oa: 1 oa_version: Published Version page: 852 - 861.e7 publication: Cell Reports publication_status: published publisher: Elsevier publist_id: '8023' quality_controlled: '1' scopus_import: '1' status: public title: In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2 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: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 25 year: '2018' ... --- _id: '5672' abstract: - lang: eng text: The release of IgM is the first line of an antibody response and precedes the generation of high affinity IgG in germinal centers. Once secreted by freshly activated plasmablasts, IgM is released into the efferent lymph of reactive lymph nodes as early as 3 d after immunization. As pentameric IgM has an enormous size of 1,000 kD, its diffusibility is low, and one might wonder how it can pass through the densely lymphocyte-packed environment of a lymph node parenchyma in order to reach its exit. In this issue of JEM, Thierry et al. show that, in order to reach the blood stream, IgM molecules take a specific micro-anatomical route via lymph node conduits. article_processing_charge: No author: - first_name: Anne full_name: Reversat, Anne id: 35B76592-F248-11E8-B48F-1D18A9856A87 last_name: Reversat orcid: 0000-0003-0666-8928 - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 citation: ama: Reversat A, Sixt MK. IgM’s exit route. Journal of Experimental Medicine. 2018;215(12):2959-2961. doi:10.1084/jem.20181934 apa: Reversat, A., & Sixt, M. K. (2018). IgM’s exit route. Journal of Experimental Medicine. Rockefeller University Press. https://doi.org/10.1084/jem.20181934 chicago: Reversat, Anne, and Michael K Sixt. “IgM’s Exit Route.” Journal of Experimental Medicine. Rockefeller University Press, 2018. https://doi.org/10.1084/jem.20181934. ieee: A. Reversat and M. K. Sixt, “IgM’s exit route,” Journal of Experimental Medicine, vol. 215, no. 12. Rockefeller University Press, pp. 2959–2961, 2018. ista: Reversat A, Sixt MK. 2018. IgM’s exit route. Journal of Experimental Medicine. 215(12), 2959–2961. mla: Reversat, Anne, and Michael K. Sixt. “IgM’s Exit Route.” Journal of Experimental Medicine, vol. 215, no. 12, Rockefeller University Press, 2018, pp. 2959–61, doi:10.1084/jem.20181934. short: A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961. date_created: 2018-12-16T22:59:18Z date_published: 2018-11-20T00:00:00Z date_updated: 2023-09-11T14:12:06Z day: '20' ddc: - '570' department: - _id: MiSi doi: 10.1084/jem.20181934 external_id: isi: - '000451920600002' file: - access_level: open_access checksum: 687beea1d64c213f4cb9e3c29ec11a14 content_type: application/pdf creator: dernst date_created: 2019-02-06T08:49:52Z date_updated: 2020-07-14T12:47:09Z file_id: '5931' file_name: 2018_JournalExperMed_Reversat.pdf file_size: 1216437 relation: main_file file_date_updated: 2020-07-14T12:47:09Z has_accepted_license: '1' intvolume: ' 215' isi: 1 issue: '12' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '11' oa: 1 oa_version: Published Version page: 2959-2961 publication: Journal of Experimental Medicine publication_identifier: issn: - '00221007' publication_status: published publisher: Rockefeller University Press quality_controlled: '1' scopus_import: '1' status: public title: IgM's exit route tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 215 year: '2018' ... --- _id: '398' abstract: - lang: eng text: 'Objective: To report long-term results after Pipeline Embolization Device (PED) implantation, characterize complex and standard aneurysms comprehensively, and introduce a modified flow disruption scale. Methods: We retrospectively reviewed a consecutive series of 40 patients harboring 59 aneurysms treated with 54 PEDs. Aneurysm complexity was assessed using our proposed classification. Immediate angiographic results were analyzed using previously published grading scales and our novel flow disruption scale. Results: According to our new definition, 46 (78%) aneurysms were classified as complex. Most PED interventions were performed in the paraophthalmic and cavernous internal carotid artery segments. Excellent neurologic outcome (modified Rankin Scale 0 and 1) was observed in 94% of patients. Our data showed low permanent procedure-related mortality (0%) and morbidity (3%) rates. Long-term angiographic follow-up showed complete occlusion in 81% and near-total obliteration in a further 14%. Complete obliteration after deployment of a single PED was achieved in all standard aneurysms with 1-year follow-up. Our new scale was an independent predictor of aneurysm occlusion in a multivariable analysis. All aneurysms with a high flow disruption grade showed complete occlusion at follow-up regardless of PED number or aneurysm complexity. Conclusions: Treatment with the PED should be recognized as a primary management strategy for a highly selected cohort with predominantly complex intracranial aneurysms. We further show that a priori assessment of aneurysm complexity and our new postinterventional angiographic flow disruption scale predict occlusion probability and may help to determine the adequate number of per-aneurysm devices.' article_processing_charge: No author: - first_name: Philippe full_name: Dodier, Philippe last_name: Dodier - first_name: Josa full_name: Frischer, Josa last_name: Frischer - first_name: Wei full_name: Wang, Wei last_name: Wang - first_name: Thomas full_name: Auzinger, Thomas id: 4718F954-F248-11E8-B48F-1D18A9856A87 last_name: Auzinger orcid: 0000-0002-1546-3265 - first_name: Ammar full_name: Mallouhi, Ammar last_name: Mallouhi - first_name: Wolfgang full_name: Serles, Wolfgang last_name: Serles - first_name: Andreas full_name: Gruber, Andreas last_name: Gruber - first_name: Engelbert full_name: Knosp, Engelbert last_name: Knosp - first_name: Gerhard full_name: Bavinzski, Gerhard last_name: Bavinzski citation: ama: Dodier P, Frischer J, Wang W, et al. Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. 2018;13:e568-e578. doi:10.1016/j.wneu.2018.02.096 apa: Dodier, P., Frischer, J., Wang, W., Auzinger, T., Mallouhi, A., Serles, W., … Bavinzski, G. (2018). Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. Elsevier. https://doi.org/10.1016/j.wneu.2018.02.096 chicago: Dodier, Philippe, Josa Frischer, Wei Wang, Thomas Auzinger, Ammar Mallouhi, Wolfgang Serles, Andreas Gruber, Engelbert Knosp, and Gerhard Bavinzski. “Immediate Flow Disruption as a Prognostic Factor after Flow Diverter Treatment Long Term Experience with the Pipeline Embolization Device.” World Neurosurgery. Elsevier, 2018. https://doi.org/10.1016/j.wneu.2018.02.096. ieee: P. Dodier et al., “Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device,” World Neurosurgery, vol. 13. Elsevier, pp. e568–e578, 2018. ista: Dodier P, Frischer J, Wang W, Auzinger T, Mallouhi A, Serles W, Gruber A, Knosp E, Bavinzski G. 2018. Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. 13, e568–e578. mla: Dodier, Philippe, et al. “Immediate Flow Disruption as a Prognostic Factor after Flow Diverter Treatment Long Term Experience with the Pipeline Embolization Device.” World Neurosurgery, vol. 13, Elsevier, 2018, pp. e568–78, doi:10.1016/j.wneu.2018.02.096. short: P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578. date_created: 2018-12-11T11:46:15Z date_published: 2018-05-01T00:00:00Z date_updated: 2023-09-11T14:12:33Z day: '01' department: - _id: BeBi doi: 10.1016/j.wneu.2018.02.096 external_id: isi: - '000432942700070' intvolume: ' 13' isi: 1 language: - iso: eng month: '05' oa_version: None page: e568-e578 publication: World Neurosurgery publication_status: published publisher: Elsevier publist_id: '7431' quality_controlled: '1' scopus_import: '1' status: public title: Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 13 year: '2018' ... --- _id: '458' abstract: - lang: eng text: We consider congruences of straight lines in a plane with the combinatorics of the square grid, with all elementary quadrilaterals possessing an incircle. It is shown that all the vertices of such nets (we call them incircular or IC-nets) lie on confocal conics. Our main new results are on checkerboard IC-nets in the plane. These are congruences of straight lines in the plane with the combinatorics of the square grid, combinatorially colored as a checkerboard, such that all black coordinate quadrilaterals possess inscribed circles. We show how this larger class of IC-nets appears quite naturally in Laguerre geometry of oriented planes and spheres and leads to new remarkable incidence theorems. Most of our results are valid in hyperbolic and spherical geometries as well. We present also generalizations in spaces of higher dimension, called checkerboard IS-nets. The construction of these nets is based on a new 9 inspheres incidence theorem. acknowledgement: DFG Collaborative Research Center TRR 109 “Discretization in Geometry and Dynamics”; People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) REA grant agreement n◦[291734] 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: Alexander full_name: Bobenko, Alexander last_name: Bobenko citation: ama: Akopyan A, Bobenko A. Incircular nets and confocal conics. Transactions of the American Mathematical Society. 2018;370(4):2825-2854. doi:10.1090/tran/7292 apa: Akopyan, A., & Bobenko, A. (2018). Incircular nets and confocal conics. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/7292 chicago: Akopyan, Arseniy, and Alexander Bobenko. “Incircular Nets and Confocal Conics.” Transactions of the American Mathematical Society. American Mathematical Society, 2018. https://doi.org/10.1090/tran/7292. ieee: A. Akopyan and A. Bobenko, “Incircular nets and confocal conics,” Transactions of the American Mathematical Society, vol. 370, no. 4. American Mathematical Society, pp. 2825–2854, 2018. ista: Akopyan A, Bobenko A. 2018. Incircular nets and confocal conics. Transactions of the American Mathematical Society. 370(4), 2825–2854. mla: Akopyan, Arseniy, and Alexander Bobenko. “Incircular Nets and Confocal Conics.” Transactions of the American Mathematical Society, vol. 370, no. 4, American Mathematical Society, 2018, pp. 2825–54, doi:10.1090/tran/7292. short: A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854. date_created: 2018-12-11T11:46:35Z date_published: 2018-04-01T00:00:00Z date_updated: 2023-09-11T14:19:12Z day: '01' department: - _id: HeEd doi: 10.1090/tran/7292 ec_funded: 1 external_id: isi: - '000423197800019' intvolume: ' 370' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1602.04637 month: '04' oa: 1 oa_version: Preprint page: 2825 - 2854 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Transactions of the American Mathematical Society publication_status: published publisher: American Mathematical Society publist_id: '7363' quality_controlled: '1' scopus_import: '1' status: public title: Incircular nets and confocal conics type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 370 year: '2018' ... --- _id: '426' abstract: - lang: eng text: Sperm cells are the most morphologically diverse cells across animal taxa. Within species, sperm and ejaculate traits have been suggested to vary with the male's competitive environment, e.g., level of sperm competition, female mating status and quality, and also with male age, body mass, physiological condition, and resource availability. Most previous studies have based their conclusions on the analysis of only one or a few ejaculates per male without investigating differences among the ejaculates of the same individual. This masks potential ejaculate-specific traits. Here, we provide data on the length, quantity, and viability of sperm ejaculated by wingless males of the ant Cardiocondyla obscurior. Males of this ant species are relatively long-lived and can mate with large numbers of female sexuals throughout their lives. We analyzed all ejaculates across the individuals' lifespan and manipulated the availability of mating partners. Our study shows that both the number and size of sperm cells transferred during copulations differ among individuals and also among ejaculates of the same male. Sperm quality does not decrease with male age, but the variation in sperm number between ejaculates indicates that males need considerable time to replenish their sperm supplies. Producing many ejaculates in a short time appears to be traded-off against male longevity rather than sperm quality. acknowledgement: "Research with C. obscurior from Brazil was permitted by Instituto Brasileiro do Meio Ambiente e dos Recursos Naturais Renováveis, IBAMA (permit no. 20324-1). We thank the German Science Foundation ( DFG ) for funding ( Schr1135/2-1 ), T. Suckert for help with sperm length measurements and A.K. Huylmans for advice concerning graphs. One referee made helpful comments on the manuscript.\r\n" article_processing_charge: No author: - first_name: Sina full_name: Metzler, Sina id: 48204546-F248-11E8-B48F-1D18A9856A87 last_name: Metzler orcid: 0000-0002-9547-2494 - first_name: Alexandra full_name: Schrempf, Alexandra last_name: Schrempf - first_name: Jürgen full_name: Heinze, Jürgen last_name: Heinze citation: ama: Metzler S, Schrempf A, Heinze J. Individual- and ejaculate-specific sperm traits in ant males. Journal of Insect Physiology. 2018;107:284-290. doi:10.1016/j.jinsphys.2017.12.003 apa: Metzler, S., Schrempf, A., & Heinze, J. (2018). Individual- and ejaculate-specific sperm traits in ant males. Journal of Insect Physiology. Elsevier. https://doi.org/10.1016/j.jinsphys.2017.12.003 chicago: Metzler, Sina, Alexandra Schrempf, and Jürgen Heinze. “Individual- and Ejaculate-Specific Sperm Traits in Ant Males.” Journal of Insect Physiology. Elsevier, 2018. https://doi.org/10.1016/j.jinsphys.2017.12.003. ieee: S. Metzler, A. Schrempf, and J. Heinze, “Individual- and ejaculate-specific sperm traits in ant males,” Journal of Insect Physiology, vol. 107. Elsevier, pp. 284–290, 2018. ista: Metzler S, Schrempf A, Heinze J. 2018. Individual- and ejaculate-specific sperm traits in ant males. Journal of Insect Physiology. 107, 284–290. mla: Metzler, Sina, et al. “Individual- and Ejaculate-Specific Sperm Traits in Ant Males.” Journal of Insect Physiology, vol. 107, Elsevier, 2018, pp. 284–90, doi:10.1016/j.jinsphys.2017.12.003. short: S. Metzler, A. Schrempf, J. Heinze, Journal of Insect Physiology 107 (2018) 284–290. date_created: 2018-12-11T11:46:25Z date_published: 2018-05-01T00:00:00Z date_updated: 2023-09-12T07:43:26Z day: '01' department: - _id: SyCr doi: 10.1016/j.jinsphys.2017.12.003 external_id: isi: - '000434751100034' intvolume: ' 107' isi: 1 language: - iso: eng month: '05' oa_version: None page: 284-290 publication: Journal of Insect Physiology publication_status: published publisher: Elsevier publist_id: '7397' quality_controlled: '1' scopus_import: '1' status: public title: Individual- and ejaculate-specific sperm traits in ant males type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 107 year: '2018' ... --- _id: '5788' abstract: - lang: eng text: In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. Such games are central in formal verification since they model the interaction between a non-terminating system and its environment. We study bidding games in which the players bid for the right to move the token. Two bidding rules have been defined. In Richman bidding, in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Poorman bidding is similar except that the winner of the bidding pays the “bank” rather than the other player. While poorman reachability games have been studied before, we present, for the first time, results on infinite-duration poorman games. A central quantity in these games is the ratio between the two players’ initial budgets. The questions we study concern a necessary and sufficient ratio with which a player can achieve a goal. For reachability objectives, such threshold ratios are known to exist for both bidding rules. We show that the properties of poorman reachability games extend to complex qualitative objectives such as parity, similarly to the Richman case. Our most interesting results concern quantitative poorman games, namely poorman mean-payoff games, where we construct optimal strategies depending on the initial ratio, by showing a connection with random-turn based games. The connection in itself is interesting, because it does not hold for reachability poorman games. We also solve the complexity problems that arise in poorman bidding games. 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: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Rasmus full_name: Ibsen-Jensen, Rasmus id: 3B699956-F248-11E8-B48F-1D18A9856A87 last_name: Ibsen-Jensen orcid: 0000-0003-4783-0389 citation: ama: 'Avni G, Henzinger TA, Ibsen-Jensen R. Infinite-duration poorman-bidding games. In: Vol 11316. Springer; 2018:21-36. doi:10.1007/978-3-030-04612-5_2' apa: 'Avni, G., Henzinger, T. A., & Ibsen-Jensen, R. (2018). Infinite-duration poorman-bidding games (Vol. 11316, pp. 21–36). Presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK: Springer. https://doi.org/10.1007/978-3-030-04612-5_2' chicago: Avni, Guy, Thomas A Henzinger, and Rasmus Ibsen-Jensen. “Infinite-Duration Poorman-Bidding Games,” 11316:21–36. Springer, 2018. https://doi.org/10.1007/978-3-030-04612-5_2. ieee: G. Avni, T. A. Henzinger, and R. Ibsen-Jensen, “Infinite-duration poorman-bidding games,” presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK, 2018, vol. 11316, pp. 21–36. ista: Avni G, Henzinger TA, Ibsen-Jensen R. 2018. Infinite-duration poorman-bidding games. 14th International Conference on Web and Internet Economics, WINE, LNCS, vol. 11316, 21–36. mla: Avni, Guy, et al. Infinite-Duration Poorman-Bidding Games. Vol. 11316, Springer, 2018, pp. 21–36, doi:10.1007/978-3-030-04612-5_2. short: G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36. conference: end_date: 2018-12-17 location: Oxford, UK name: 14th International Conference on Web and Internet Economics, WINE start_date: 2018-12-15 date_created: 2018-12-30T22:59:14Z date_published: 2018-11-21T00:00:00Z date_updated: 2023-09-12T07:44:01Z day: '21' department: - _id: ToHe doi: 10.1007/978-3-030-04612-5_2 external_id: arxiv: - '1804.04372' isi: - '000865933000002' intvolume: ' 11316' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1804.04372 month: '11' oa: 1 oa_version: Preprint page: 21-36 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: 264B3912-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02369 name: Formal Methods meets Algorithmic Game Theory publication_identifier: isbn: - '9783030046118' issn: - '03029743' publisher: Springer quality_controlled: '1' scopus_import: '1' status: public title: Infinite-duration poorman-bidding games type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 11316 year: '2018' ... --- _id: '150' abstract: - lang: eng text: A short, 14-amino-acid segment called SP1, located in the Gag structural protein1, has a critical role during the formation of the HIV-1 virus particle. During virus assembly, the SP1 peptide and seven preceding residues fold into a six-helix bundle, which holds together the Gag hexamer and facilitates the formation of a curved immature hexagonal lattice underneath the viral membrane2,3. Upon completion of assembly and budding, proteolytic cleavage of Gag leads to virus maturation, in which the immature lattice is broken down; the liberated CA domain of Gag then re-assembles into the mature conical capsid that encloses the viral genome and associated enzymes. Folding and proteolysis of the six-helix bundle are crucial rate-limiting steps of both Gag assembly and disassembly, and the six-helix bundle is an established target of HIV-1 inhibitors4,5. Here, using a combination of structural and functional analyses, we show that inositol hexakisphosphate (InsP6, also known as IP6) facilitates the formation of the six-helix bundle and assembly of the immature HIV-1 Gag lattice. IP6 makes ionic contacts with two rings of lysine residues at the centre of the Gag hexamer. Proteolytic cleavage then unmasks an alternative binding site, where IP6 interaction promotes the assembly of the mature capsid lattice. These studies identify IP6 as a naturally occurring small molecule that promotes both assembly and maturation of HIV-1. article_processing_charge: No article_type: original author: - first_name: Robert full_name: Dick, Robert last_name: Dick - first_name: Kaneil K full_name: Zadrozny, Kaneil K last_name: Zadrozny - first_name: Chaoyi full_name: Xu, Chaoyi last_name: Xu - first_name: Florian full_name: Schur, Florian id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 - first_name: Terri D full_name: Lyddon, Terri D last_name: Lyddon - first_name: Clifton L full_name: Ricana, Clifton L last_name: Ricana - first_name: Jonathan M full_name: Wagner, Jonathan M last_name: Wagner - first_name: Juan R full_name: Perilla, Juan R last_name: Perilla - first_name: Pornillos Barbie K full_name: Ganser, Pornillos Barbie K last_name: Ganser - first_name: Marc C full_name: Johnson, Marc C last_name: Johnson - first_name: Owen full_name: Pornillos, Owen last_name: Pornillos - first_name: Volker full_name: Vogt, Volker last_name: Vogt citation: ama: Dick R, Zadrozny KK, Xu C, et al. Inositol phosphates are assembly co-factors for HIV-1. Nature. 2018;560(7719):509–512. doi:10.1038/s41586-018-0396-4 apa: Dick, R., Zadrozny, K. K., Xu, C., Schur, F. K., Lyddon, T. D., Ricana, C. L., … Vogt, V. (2018). Inositol phosphates are assembly co-factors for HIV-1. Nature. Nature Publishing Group. https://doi.org/10.1038/s41586-018-0396-4 chicago: Dick, Robert, Kaneil K Zadrozny, Chaoyi Xu, Florian KM Schur, Terri D Lyddon, Clifton L Ricana, Jonathan M Wagner, et al. “Inositol Phosphates Are Assembly Co-Factors for HIV-1.” Nature. Nature Publishing Group, 2018. https://doi.org/10.1038/s41586-018-0396-4. ieee: R. Dick et al., “Inositol phosphates are assembly co-factors for HIV-1,” Nature, vol. 560, no. 7719. Nature Publishing Group, pp. 509–512, 2018. ista: Dick R, Zadrozny KK, Xu C, Schur FK, Lyddon TD, Ricana CL, Wagner JM, Perilla JR, Ganser PBK, Johnson MC, Pornillos O, Vogt V. 2018. Inositol phosphates are assembly co-factors for HIV-1. Nature. 560(7719), 509–512. mla: Dick, Robert, et al. “Inositol Phosphates Are Assembly Co-Factors for HIV-1.” Nature, vol. 560, no. 7719, Nature Publishing Group, 2018, pp. 509–512, doi:10.1038/s41586-018-0396-4. short: R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M. Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature 560 (2018) 509–512. date_created: 2018-12-11T11:44:53Z date_published: 2018-08-29T00:00:00Z date_updated: 2023-09-12T07:44:37Z day: '29' department: - _id: FlSc doi: 10.1038/s41586-018-0396-4 external_id: isi: - '000442483400046' pmid: - '30158708' intvolume: ' 560' isi: 1 issue: '7719' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6242333/ month: '08' oa: 1 oa_version: Submitted Version page: 509–512 pmid: 1 publication: Nature publication_identifier: eissn: - 1476-4687 publication_status: published publisher: Nature Publishing Group quality_controlled: '1' related_material: link: - relation: erratum url: https://doi.org/10.1038/s41586-018-0505-4 scopus_import: '1' status: public title: Inositol phosphates are assembly co-factors for HIV-1 type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 560 year: '2018' ... --- _id: '303' abstract: - lang: eng text: The theory of tropical series, that we develop here, firstly appeared in the study of the growth of pluriharmonic functions. Motivated by waves in sandpile models we introduce a dynamic on the set of tropical series, and it is experimentally observed that this dynamic obeys a power law. So, this paper serves as a compilation of results we need for other articles and also introduces several objects interesting by themselves. acknowledgement: The first author, Nikita Kalinin, is funded by SNCF PostDoc.Mobility grant 168647. Support from the Basic Research Program of the National Research University Higher School of Economics is gratefully acknowledged. The second author, Mikhail Shkolnikov, is supported in part by the grant 159240 of the Swiss National Science Foundation as well as by the National Center of Competence in Research SwissMAP of the Swiss National Science Foundation. article_processing_charge: No author: - first_name: Nikita full_name: Kalinin, Nikita last_name: Kalinin - first_name: Mikhail full_name: Shkolnikov, Mikhail id: 35084A62-F248-11E8-B48F-1D18A9856A87 last_name: Shkolnikov orcid: 0000-0002-4310-178X citation: ama: Kalinin N, Shkolnikov M. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 2018;38(6):2827-2849. doi:10.3934/dcds.2018120 apa: Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. AIMS. https://doi.org/10.3934/dcds.2018120 chicago: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A. AIMS, 2018. https://doi.org/10.3934/dcds.2018120. ieee: N. Kalinin and M. Shkolnikov, “Introduction to tropical series and wave dynamic on them,” Discrete and Continuous Dynamical Systems- Series A, vol. 38, no. 6. AIMS, pp. 2827–2849, 2018. ista: Kalinin N, Shkolnikov M. 2018. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 38(6), 2827–2849. mla: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A, vol. 38, no. 6, AIMS, 2018, pp. 2827–49, doi:10.3934/dcds.2018120. short: N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849. date_created: 2018-12-11T11:45:43Z date_published: 2018-06-01T00:00:00Z date_updated: 2023-09-12T07:45:37Z day: '01' department: - _id: TaHa doi: 10.3934/dcds.2018120 external_id: arxiv: - '1706.03062' isi: - '000438818400007' intvolume: ' 38' isi: 1 issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1706.03062 month: '06' oa: 1 oa_version: Submitted Version page: 2827 - 2849 publication: Discrete and Continuous Dynamical Systems- Series A publication_status: published publisher: AIMS publist_id: '7576' quality_controlled: '1' scopus_import: '1' status: public title: Introduction to tropical series and wave dynamic on them type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 38 year: '2018' ... --- _id: '282' abstract: - lang: eng text: Adaptive introgression is common in nature and can be driven by selection acting on multiple, linked genes. We explore the effects of polygenic selection on introgression under the infinitesimal model with linkage. This model assumes that the introgressing block has an effectively infinite number of genes, each with an infinitesimal effect on the trait under selection. The block is assumed to introgress under directional selection within a native population that is genetically homogeneous. We use individual-based simulations and a branching process approximation to compute various statistics of the introgressing block, and explore how these depend on parameters such as the map length and initial trait value associated with the introgressing block, the genetic variability along the block, and the strength of selection. Our results show that the introgression dynamics of a block under infinitesimal selection is qualitatively different from the dynamics of neutral introgression. We also find that in the long run, surviving descendant blocks are likely to have intermediate lengths, and clarify how the length is shaped by the interplay between linkage and infinitesimal selection. Our results suggest that it may be difficult to distinguish introgression of single loci from that of genomic blocks with multiple, tightly linked and weakly selected loci. article_processing_charge: No author: - first_name: Himani full_name: Sachdeva, Himani id: 42377A0A-F248-11E8-B48F-1D18A9856A87 last_name: Sachdeva - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Sachdeva H, Barton NH. Introgression of a block of genome under infinitesimal selection. Genetics. 2018;209(4):1279-1303. doi:10.1534/genetics.118.301018 apa: Sachdeva, H., & Barton, N. H. (2018). Introgression of a block of genome under infinitesimal selection. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.118.301018 chicago: Sachdeva, Himani, and Nicholas H Barton. “Introgression of a Block of Genome under Infinitesimal Selection.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.118.301018. ieee: H. Sachdeva and N. H. Barton, “Introgression of a block of genome under infinitesimal selection,” Genetics, vol. 209, no. 4. Genetics Society of America, pp. 1279–1303, 2018. ista: Sachdeva H, Barton NH. 2018. Introgression of a block of genome under infinitesimal selection. Genetics. 209(4), 1279–1303. mla: Sachdeva, Himani, and Nicholas H. Barton. “Introgression of a Block of Genome under Infinitesimal Selection.” Genetics, vol. 209, no. 4, Genetics Society of America, 2018, pp. 1279–303, doi:10.1534/genetics.118.301018. short: H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303. date_created: 2018-12-11T11:45:36Z date_published: 2018-08-01T00:00:00Z date_updated: 2023-09-13T08:22:32Z day: '01' department: - _id: NiBa doi: 10.1534/genetics.118.301018 external_id: isi: - '000440014100020' intvolume: ' 209' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://www.biorxiv.org/content/early/2017/11/30/227082 month: '08' oa: 1 oa_version: Submitted Version page: 1279 - 1303 publication: Genetics publication_status: published publisher: Genetics Society of America publist_id: '7617' quality_controlled: '1' scopus_import: '1' status: public title: Introgression of a block of genome under infinitesimal selection type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 209 year: '2018' ... --- _id: '108' abstract: - lang: eng text: Universal hashing found a lot of applications in computer science. In cryptography the most important fact about universal families is the so called Leftover Hash Lemma, proved by Impagliazzo, Levin and Luby. In the language of modern cryptography it states that almost universal families are good extractors. In this work we provide a somewhat surprising characterization in the opposite direction. Namely, every extractor with sufficiently good parameters yields a universal family on a noticeable fraction of its inputs. Our proof technique is based on tools from extremal graph theory applied to the \'collision graph\' induced by the extractor, and may be of independent interest. We discuss possible applications to the theory of randomness extractors and non-malleable codes. alternative_title: - ISIT Proceedings article_processing_charge: No author: - first_name: Marciej full_name: Obremski, Marciej last_name: Obremski - first_name: Maciej full_name: Skorski, Maciej id: EC09FA6A-02D0-11E9-8223-86B7C91467DD last_name: Skorski citation: ama: 'Obremski M, Skórski M. Inverted leftover hash lemma. In: Vol 2018. IEEE; 2018. doi:10.1109/ISIT.2018.8437654' apa: 'Obremski, M., & Skórski, M. (2018). Inverted leftover hash lemma (Vol. 2018). Presented at the ISIT: International Symposium on Information Theory, Vail, CO, USA: IEEE. https://doi.org/10.1109/ISIT.2018.8437654' chicago: Obremski, Marciej, and Maciej Skórski. “Inverted Leftover Hash Lemma,” Vol. 2018. IEEE, 2018. https://doi.org/10.1109/ISIT.2018.8437654. ieee: 'M. Obremski and M. Skórski, “Inverted leftover hash lemma,” presented at the ISIT: International Symposium on Information Theory, Vail, CO, USA, 2018, vol. 2018.' ista: 'Obremski M, Skórski M. 2018. Inverted leftover hash lemma. ISIT: International Symposium on Information Theory, ISIT Proceedings, vol. 2018.' mla: Obremski, Marciej, and Maciej Skórski. Inverted Leftover Hash Lemma. Vol. 2018, IEEE, 2018, doi:10.1109/ISIT.2018.8437654. short: M. Obremski, M. Skórski, in:, IEEE, 2018. conference: end_date: 2018-06-22 location: Vail, CO, USA name: 'ISIT: International Symposium on Information Theory' start_date: '2018-06-17 ' date_created: 2018-12-11T11:44:40Z date_published: 2018-08-16T00:00:00Z date_updated: 2023-09-13T08:23:18Z day: '16' department: - _id: KrPi doi: 10.1109/ISIT.2018.8437654 external_id: isi: - '000448139300368' intvolume: ' 2018' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2017/507 month: '08' oa: 1 oa_version: Submitted Version publication_status: published publisher: IEEE publist_id: '7946' quality_controlled: '1' scopus_import: '1' status: public title: Inverted leftover hash lemma type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 2018 year: '2018' ... --- _id: '160' abstract: - lang: eng text: We present layered concurrent programs, a compact and expressive notation for specifying refinement proofs of concurrent programs. A layered concurrent program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once. These programs are expressed in the ordinary syntax of imperative concurrent programs using gated atomic actions, sequencing, choice, and (recursive) procedure calls. Each concurrent program is automatically extracted from the layered program. We reduce refinement to the safety of a sequence of concurrent checker programs, one each to justify the connection between every two consecutive concurrent programs. These checker programs are also automatically extracted from the layered program. Layered concurrent programs have been implemented in the CIVL verifier which has been successfully used for the verification of several complex concurrent programs. alternative_title: - LNCS article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer citation: ama: 'Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5' apa: 'Kragl, B., & Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-96145-3_5' chicago: Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5. ieee: 'B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.' ista: 'Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.' mla: Kragl, Bernhard, and Shaz Qadeer. Layered Concurrent Programs. Vol. 10981, Springer, 2018, pp. 79–102, doi:10.1007/978-3-319-96145-3_5. short: B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102. conference: end_date: 2018-07-17 location: Oxford, UK name: 'CAV: Computer Aided Verification' start_date: 2018-07-14 date_created: 2018-12-11T11:44:57Z date_published: 2018-07-18T00:00:00Z date_updated: 2023-09-13T08:45:09Z day: '18' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-319-96145-3_5 external_id: isi: - '000491481600005' file: - access_level: open_access checksum: c64fff560fe5a7532ec10626ad1c215e content_type: application/pdf creator: dernst date_created: 2018-12-17T12:52:12Z date_updated: 2020-07-14T12:45:04Z file_id: '5705' file_name: 2018_LNCS_Kragl.pdf file_size: 1603844 relation: main_file file_date_updated: 2020-07-14T12:45:04Z has_accepted_license: '1' intvolume: ' 10981' isi: 1 language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '07' oa: 1 oa_version: Published Version page: 79 - 102 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: '7761' quality_controlled: '1' related_material: record: - id: '8332' relation: dissertation_contains status: public scopus_import: '1' status: public title: Layered Concurrent Programs 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: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 10981 year: '2018' ... --- _id: '280' abstract: - lang: eng text: Flowers have a species-specific functional life span that determines the time window in which pollination, fertilization and seed set can occur. The stigma tissue plays a key role in flower receptivity by intercepting pollen and initiating pollen tube growth toward the ovary. In this article, we show that a developmentally controlled cell death programme terminates the functional life span of stigma cells in Arabidopsis. We identified the leaf senescence regulator ORESARA1 (also known as ANAC092) and the previously uncharacterized KIRA1 (also known as ANAC074) as partially redundant transcription factors that modulate stigma longevity by controlling the expression of programmed cell death-associated genes. KIRA1 expression is sufficient to induce cell death and terminate floral receptivity, whereas lack of both KIRA1 and ORESARA1 substantially increases stigma life span. Surprisingly, the extension of stigma longevity is accompanied by only a moderate extension of flower receptivity, suggesting that additional processes participate in the control of the flower's receptive life span. acknowledgement: We gratefully acknowledge funding from the Chinese Scholarship Council (CSC; project number 201206910025 to Z.G.), the Fonds Wetenschappelijk Onderzoek (FWO; project number G005112N to A.D.; fellowship number 12I7417N to Z.L.), the Belgian Federal Science Policy Office (BELSPO; to Y.S.), the Agency for Innovation by Science and Technology of Belgium (IWT; fellowship number 121110 to M.V.D.), the Hercules foundation (grant AUGE-09-029 to K.D.), and the ERC StG PROCELLDEATH (project number 639234 to M.K.N.). article_processing_charge: No author: - first_name: Zhen full_name: Gao, Zhen last_name: Gao - first_name: Anna full_name: Daneva, Anna last_name: Daneva - first_name: Yuliya full_name: Salanenka, Yuliya id: 46DAAE7E-F248-11E8-B48F-1D18A9856A87 last_name: Salanenka - first_name: Matthias full_name: Van Durme, Matthias last_name: Van Durme - first_name: Marlies full_name: Huysmans, Marlies last_name: Huysmans - first_name: Zongcheng full_name: Lin, Zongcheng last_name: Lin - first_name: Freya full_name: De Winter, Freya last_name: De Winter - first_name: Steffen full_name: Vanneste, Steffen last_name: Vanneste - first_name: Mansour full_name: Karimi, Mansour last_name: Karimi - first_name: Jan full_name: Van De Velde, Jan last_name: Van De Velde - first_name: Klaas full_name: Vandepoele, Klaas last_name: Vandepoele - first_name: Davy full_name: Van De Walle, Davy last_name: Van De Walle - first_name: Koen full_name: Dewettinck, Koen last_name: Dewettinck - first_name: Bart full_name: Lambrecht, Bart last_name: Lambrecht - first_name: Moritz full_name: Nowack, Moritz last_name: Nowack citation: ama: Gao Z, Daneva A, Salanenka Y, et al. KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 2018;4(6):365-375. doi:10.1038/s41477-018-0160-7 apa: Gao, Z., Daneva, A., Salanenka, Y., Van Durme, M., Huysmans, M., Lin, Z., … Nowack, M. (2018). KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0160-7 chicago: Gao, Zhen, Anna Daneva, Yuliya Salanenka, Matthias Van Durme, Marlies Huysmans, Zongcheng Lin, Freya De Winter, et al. “KIRA1 and ORESARA1 Terminate Flower Receptivity by Promoting Cell Death in the Stigma of Arabidopsis.” Nature Plants. Nature Publishing Group, 2018. https://doi.org/10.1038/s41477-018-0160-7. ieee: Z. Gao et al., “KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis,” Nature Plants, vol. 4, no. 6. Nature Publishing Group, pp. 365–375, 2018. ista: Gao Z, Daneva A, Salanenka Y, Van Durme M, Huysmans M, Lin Z, De Winter F, Vanneste S, Karimi M, Van De Velde J, Vandepoele K, Van De Walle D, Dewettinck K, Lambrecht B, Nowack M. 2018. KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 4(6), 365–375. mla: Gao, Zhen, et al. “KIRA1 and ORESARA1 Terminate Flower Receptivity by Promoting Cell Death in the Stigma of Arabidopsis.” Nature Plants, vol. 4, no. 6, Nature Publishing Group, 2018, pp. 365–75, doi:10.1038/s41477-018-0160-7. short: Z. Gao, A. Daneva, Y. Salanenka, M. Van Durme, M. Huysmans, Z. Lin, F. De Winter, S. Vanneste, M. Karimi, J. Van De Velde, K. Vandepoele, D. Van De Walle, K. Dewettinck, B. Lambrecht, M. Nowack, Nature Plants 4 (2018) 365–375. date_created: 2018-12-11T11:45:35Z date_published: 2018-05-28T00:00:00Z date_updated: 2023-09-13T08:24:17Z day: '28' department: - _id: JiFr doi: 10.1038/s41477-018-0160-7 external_id: isi: - '000435571000017' intvolume: ' 4' isi: 1 issue: '6' language: - iso: eng month: '05' oa_version: None page: 365 - 375 publication: Nature Plants publication_status: published publisher: Nature Publishing Group publist_id: '7619' quality_controlled: '1' scopus_import: '1' status: public title: KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 4 year: '2018' ... --- _id: '503' abstract: - lang: eng text: Buffers are essential for diluting bacterial cultures for flow cytometry analysis in order to study bacterial physiology and gene expression parameters based on fluorescence signals. Using a variety of constitutively expressed fluorescent proteins in Escherichia coli K-12 strain MG1655, we found strong artifactual changes in fluorescence levels after dilution into the commonly used flow cytometry buffer phosphate-buffered saline (PBS) and two other buffer solutions, Tris-HCl and M9 salts. These changes appeared very rapidly after dilution, and were linked to increased membrane permeability and loss in cell viability. We observed buffer-related effects in several different E. coli strains, K-12, C and W, but not E. coli B, which can be partially explained by differences in lipopolysaccharide (LPS) and outer membrane composition. Supplementing the buffers with divalent cations responsible for outer membrane stability, Mg2+ and Ca2+, preserved fluorescence signals, membrane integrity and viability of E. coli. Thus, stabilizing the bacterial outer membrane is essential for precise and unbiased measurements of fluorescence parameters using flow cytometry. acknowledged_ssus: - _id: Bio acknowledgement: "We thank R Chait and M Lagator for sharing Bacillus subtilis CR_Y1 and pZS*_2R-cIPtet-Venus-Prm, respectively. We are grateful to T Pilizota and all members of the Guet lab for critically reading the manuscript. We also thank the Bioimaging facility at IST Austria for assistance using the FACSAria III system.\r\n\r\n" article_processing_charge: No author: - first_name: Kathrin full_name: Tomasek, Kathrin id: 3AEC8556-F248-11E8-B48F-1D18A9856A87 last_name: Tomasek orcid: 0000-0003-3768-877X - first_name: Tobias full_name: Bergmiller, Tobias id: 2C471CFA-F248-11E8-B48F-1D18A9856A87 last_name: Bergmiller orcid: 0000-0001-5396-4346 - first_name: Calin C full_name: Guet, Calin C id: 47F8433E-F248-11E8-B48F-1D18A9856A87 last_name: Guet orcid: 0000-0001-6220-2052 citation: ama: Tomasek K, Bergmiller T, Guet CC. Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. 2018;268:40-52. doi:10.1016/j.jbiotec.2018.01.008 apa: Tomasek, K., Bergmiller, T., & Guet, C. C. (2018). Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. Elsevier. https://doi.org/10.1016/j.jbiotec.2018.01.008 chicago: Tomasek, Kathrin, Tobias Bergmiller, and Calin C Guet. “Lack of Cations in Flow Cytometry Buffers Affect Fluorescence Signals by Reducing Membrane Stability and Viability of Escherichia Coli Strains.” Journal of Biotechnology. Elsevier, 2018. https://doi.org/10.1016/j.jbiotec.2018.01.008. ieee: K. Tomasek, T. Bergmiller, and C. C. Guet, “Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains,” Journal of Biotechnology, vol. 268. Elsevier, pp. 40–52, 2018. ista: Tomasek K, Bergmiller T, Guet CC. 2018. Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. 268, 40–52. mla: Tomasek, Kathrin, et al. “Lack of Cations in Flow Cytometry Buffers Affect Fluorescence Signals by Reducing Membrane Stability and Viability of Escherichia Coli Strains.” Journal of Biotechnology, vol. 268, Elsevier, 2018, pp. 40–52, doi:10.1016/j.jbiotec.2018.01.008. short: K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52. date_created: 2018-12-11T11:46:50Z date_published: 2018-02-20T00:00:00Z date_updated: 2023-09-13T08:24:51Z day: '20' department: - _id: CaGu doi: 10.1016/j.jbiotec.2018.01.008 external_id: isi: - '000425715100006' intvolume: ' 268' isi: 1 language: - iso: eng month: '02' oa_version: None page: 40 - 52 publication: Journal of Biotechnology publication_status: published publisher: Elsevier publist_id: '7317' quality_controlled: '1' scopus_import: '1' status: public title: Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 268 year: '2018' ... --- _id: '82' abstract: - lang: eng text: In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage, bacterial cells resistant to the phage commonly emerge and become the dominant population of bacteria. Following the ascent of resistant mutants, the densities of bacteria in these simple communities become limited by resources rather than the phage. Despite the evolution of resistant hosts, upon which the phage cannot replicate, the lytic phage population is most commonly maintained in an apparently stable state with the resistant bacteria. Several mechanisms have been put forward to account for this result. Here we report the results of population dynamic/evolution experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli in serial transfer cultures. We show that, following the ascent of λVIR-resistant bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal media and in all cases in nutrient-rich broth. Using mathematical models and experiments, we show that the dominant mechanism responsible for maintenance of λVIRin these resource-limited populations dominated by resistant E. coli is a high rate of either phenotypic or genetic transition from resistance to susceptibility—a hitherto undemonstrated mechanism we term "leaky resistance." We discuss the implications of leaky resistance to our understanding of the conditions for the maintenance of phage in populations of bacteria—their “existence conditions.”. article_number: '2005971' article_processing_charge: Yes author: - first_name: Waqas full_name: Chaudhry, Waqas last_name: Chaudhry - first_name: Maros full_name: Pleska, Maros id: 4569785E-F248-11E8-B48F-1D18A9856A87 last_name: Pleska orcid: 0000-0001-7460-7479 - first_name: Nilang full_name: Shah, Nilang last_name: Shah - first_name: Howard full_name: Weiss, Howard last_name: Weiss - first_name: Ingrid full_name: Mccall, Ingrid last_name: Mccall - first_name: Justin full_name: Meyer, Justin last_name: Meyer - first_name: Animesh full_name: Gupta, Animesh last_name: Gupta - first_name: Calin C full_name: Guet, Calin C id: 47F8433E-F248-11E8-B48F-1D18A9856A87 last_name: Guet orcid: 0000-0001-6220-2052 - first_name: Bruce full_name: Levin, Bruce last_name: Levin citation: ama: Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 2018;16(8). doi:10.1371/journal.pbio.2005971 apa: Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971 chicago: Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971. ieee: W. Chaudhry et al., “Leaky resistance and the conditions for the existence of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of Science, 2018. ista: Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 16(8), 2005971. mla: Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology, vol. 16, no. 8, 2005971, Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971. short: W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018). date_created: 2018-12-11T11:44:32Z date_published: 2018-08-16T00:00:00Z date_updated: 2023-09-13T08:45:41Z day: '16' ddc: - '570' department: - _id: CaGu doi: 10.1371/journal.pbio.2005971 external_id: isi: - '000443383300024' file: - access_level: open_access checksum: 527076f78265cd4ea192cd1569851587 content_type: application/pdf creator: dernst date_created: 2018-12-17T12:55:31Z date_updated: 2020-07-14T12:48:10Z file_id: '5706' file_name: 2018_Plos_Chaudhry.pdf file_size: 4007095 relation: main_file file_date_updated: 2020-07-14T12:48:10Z has_accepted_license: '1' intvolume: ' 16' isi: 1 issue: '8' language: - iso: eng month: '08' oa: 1 oa_version: Published Version publication: PLoS Biology publication_status: published publisher: Public Library of Science publist_id: '7972' quality_controlled: '1' related_material: record: - id: '9810' relation: research_data status: public scopus_import: '1' status: public title: Leaky resistance and the conditions for the existence of lytic bacteriophage 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: 16 year: '2018' ... --- _id: '4' abstract: - lang: eng text: We present a data-driven technique to instantly predict how fluid flows around various three-dimensional objects. Such simulation is useful for computational fabrication and engineering, but is usually computationally expensive since it requires solving the Navier-Stokes equation for many time steps. To accelerate the process, we propose a machine learning framework which predicts aerodynamic forces and velocity and pressure fields given a threedimensional shape input. Handling detailed free-form three-dimensional shapes in a data-driven framework is challenging because machine learning approaches usually require a consistent parametrization of input and output. We present a novel PolyCube maps-based parametrization that can be computed for three-dimensional shapes at interactive rates. This allows us to efficiently learn the nonlinear response of the flow using a Gaussian process regression. We demonstrate the effectiveness of our approach for the interactive design and optimization of a car body. article_number: '89' article_processing_charge: No author: - first_name: Nobuyuki full_name: Umetani, Nobuyuki last_name: Umetani - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Umetani N, Bickel B. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201325 apa: Umetani, N., & Bickel, B. (2018). Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201325 chicago: Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive Aerodynamic Design.” ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201325. ieee: N. Umetani and B. Bickel, “Learning three-dimensional flow for interactive aerodynamic design,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018. ista: Umetani N, Bickel B. 2018. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. 37(4), 89. mla: Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive Aerodynamic Design.” ACM Trans. Graph., vol. 37, no. 4, 89, ACM, 2018, doi:10.1145/3197517.3201325. short: N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018). date_created: 2018-12-11T11:44:06Z date_published: 2018-08-04T00:00:00Z date_updated: 2023-09-13T08:46:15Z day: '04' ddc: - '003' - '004' department: - _id: BeBi doi: 10.1145/3197517.3201325 ec_funded: 1 external_id: isi: - '000448185000050' file: - access_level: open_access checksum: 7a2243668f215821bc6aecad0320079a content_type: application/pdf creator: system date_created: 2018-12-12T10:16:28Z date_updated: 2020-07-14T12:46:22Z file_id: '5216' file_name: IST-2018-1049-v1+1_2018_sigg_Learning3DAerodynamics.pdf file_size: 22803163 relation: main_file file_date_updated: 2020-07-14T12:46:22Z has_accepted_license: '1' intvolume: ' 37' isi: 1 issue: '4' language: - iso: eng month: '08' oa: 1 oa_version: Submitted Version project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: ACM Trans. Graph. publication_status: published publisher: ACM publist_id: '8053' pubrep_id: '1049' quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/new-interactive-machine-learning-tool-makes-car-designs-more-aerodynamic/ scopus_import: '1' status: public title: Learning three-dimensional flow for interactive aerodynamic design type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 37 year: '2018' ... --- _id: '183' abstract: - lang: eng text: 'Fault-localization is considered to be a very tedious and time-consuming activity in the design of complex Cyber-Physical Systems (CPS). This laborious task essentially requires expert knowledge of the system in order to discover the cause of the fault. In this context, we propose a new procedure that AIDS designers in debugging Simulink/Stateflow hybrid system models, guided by Signal Temporal Logic (STL) specifications. The proposed method relies on three main ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether a tested behavior satisfies or violates an STL specification, localizes time segments and interfaces variables contributing to the property violations; (2) a slicing procedure that maps these observable behavior segments to the internal states and transitions of the Simulink model; and (3) a spectrum-based fault-localization method that combines the previous analysis from multiple tests to identify the internal states and/or transitions that are the most likely to explain the fault. We demonstrate the applicability of our approach on two Simulink models from the automotive and the avionics domain.' acknowledgement: This work was partially supported by the Austrian Science Fund (FWF) under grants S11402-N23 and S11405-N23 (RiSE/SHiNE), the CPS/IoT project (HRSM), the EU ICT COST Action IC1402 on Run-time Verification beyond Monitoring (ARVI), the AMASS project (ECSEL 692474), and the ENABLE-S3 project (ECSEL 692455). The CPS/IoT project receives support from the Austrian government through the Federal Ministry of Science, Research and Economy (BMWFW) in the funding program Hochschulraum-Strukturmittel (HRSM) 2016. The ECSEL Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway. alternative_title: - HSCC Proceedings article_processing_charge: No author: - first_name: Ezio full_name: Bartocci, Ezio last_name: Bartocci - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Niveditha full_name: Manjunath, Niveditha last_name: Manjunath - first_name: Dejan full_name: Nickovic, Dejan last_name: Nickovic citation: ama: 'Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131' apa: 'Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3178131' chicago: Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178131. ieee: 'E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal, 2018, pp. 197–206.' ista: 'Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 197–206.' mla: Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131. short: E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206. conference: end_date: 2018-04-13 location: Porto, Portugal name: 'HSCC: Hybrid Systems: Computation and Control' start_date: 2018-04-11 date_created: 2018-12-11T11:45:04Z date_published: 2018-04-11T00:00:00Z date_updated: 2023-09-13T08:48:46Z day: '11' department: - _id: ToHe doi: 10.1145/3178126.3178131 external_id: isi: - '000474781600022' isi: 1 language: - iso: eng month: '04' oa_version: None page: 197 - 206 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication_status: published publisher: Association for Computing Machinery, Inc publist_id: '7738' quality_controlled: '1' scopus_import: '1' status: public title: Localizing faults in simulink/stateflow models with STL type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2018' ... --- _id: '566' abstract: - lang: eng text: "We consider large random matrices X with centered, independent entries which have comparable but not necessarily identical variances. Girko's circular law asserts that the spectrum is supported in a disk and in case of identical variances, the limiting density is uniform. In this special case, the local circular law by Bourgade et. al. [11,12] shows that the empirical density converges even locally on scales slightly above the typical eigenvalue spacing. In the general case, the limiting density is typically inhomogeneous and it is obtained via solving a system of deterministic equations. Our main result is the local inhomogeneous circular law in the bulk spectrum on the optimal scale for a general variance profile of the entries of X. \r\n\r\n" article_processing_charge: No article_type: original author: - first_name: Johannes full_name: Alt, Johannes id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87 last_name: Alt - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Torben H full_name: Krüger, Torben H id: 3020C786-F248-11E8-B48F-1D18A9856A87 last_name: Krüger orcid: 0000-0002-4821-3297 citation: ama: Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302 apa: Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability . Institute of Mathematical Statistics. https://doi.org/10.1214/17-AAP1302 chicago: Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous Circular Law.” Annals Applied Probability . Institute of Mathematical Statistics, 2018. https://doi.org/10.1214/17-AAP1302. ieee: J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals Applied Probability , vol. 28, no. 1. Institute of Mathematical Statistics, pp. 148–203, 2018. ista: Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203. mla: Alt, Johannes, et al. “Local Inhomogeneous Circular Law.” Annals Applied Probability , vol. 28, no. 1, Institute of Mathematical Statistics, 2018, pp. 148–203, doi:10.1214/17-AAP1302. short: J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203. date_created: 2018-12-11T11:47:13Z date_published: 2018-03-03T00:00:00Z date_updated: 2023-09-13T08:47:52Z day: '03' department: - _id: LaEr doi: 10.1214/17-AAP1302 ec_funded: 1 external_id: arxiv: - '1612.07776 ' isi: - '000431721800005' intvolume: ' 28' isi: 1 issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: 'https://arxiv.org/abs/1612.07776 ' month: '03' oa: 1 oa_version: Preprint page: 148-203 project: - _id: 258DCDE6-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '338804' name: Random matrices, universality and disordered quantum systems publication: 'Annals Applied Probability ' publication_status: published publisher: Institute of Mathematical Statistics quality_controlled: '1' related_material: record: - id: '149' relation: dissertation_contains status: public scopus_import: '1' status: public title: Local inhomogeneous circular law type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 28 year: '2018' ... --- _id: '106' abstract: - lang: eng text: The goal of this article is to introduce the reader to the theory of intrinsic geometry of convex surfaces. We illustrate the power of the tools by proving a theorem on convex surfaces containing an arbitrarily long closed simple geodesic. Let us remind ourselves that a curve in a surface is called geodesic if every sufficiently short arc of the curve is length minimizing; if, in addition, it has no self-intersections, we call it simple geodesic. A tetrahedron with equal opposite edges is called isosceles. The axiomatic method of Alexandrov geometry allows us to work with the metrics of convex surfaces directly, without approximating it first by a smooth or polyhedral metric. Such approximations destroy the closed geodesics on the surface; therefore it is difficult (if at all possible) to apply approximations in the proof of our theorem. On the other hand, a proof in the smooth or polyhedral case usually admits a translation into Alexandrov’s language; such translation makes the result more general. In fact, our proof resembles a translation of the proof given by Protasov. Note that the main theorem implies in particular that a smooth convex surface does not have arbitrarily long simple closed geodesics. However we do not know a proof of this corollary that is essentially simpler than the one presented below. 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: Anton full_name: Petrunin, Anton last_name: Petrunin citation: ama: Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):26-31. doi:10.1007/s00283-018-9795-5 apa: Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer. Springer. https://doi.org/10.1007/s00283-018-9795-5 chicago: Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer. Springer, 2018. https://doi.org/10.1007/s00283-018-9795-5. ieee: A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018. ista: Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31. mla: Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer, vol. 40, no. 3, Springer, 2018, pp. 26–31, doi:10.1007/s00283-018-9795-5. short: A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31. date_created: 2018-12-11T11:44:40Z date_published: 2018-09-01T00:00:00Z date_updated: 2023-09-13T08:49:16Z day: '01' department: - _id: HeEd doi: 10.1007/s00283-018-9795-5 external_id: arxiv: - '1702.05172' isi: - '000444141200005' intvolume: ' 40' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1702.05172 month: '09' oa: 1 oa_version: Preprint page: 26 - 31 publication: Mathematical Intelligencer publication_status: published publisher: Springer publist_id: '7948' quality_controlled: '1' scopus_import: '1' status: public title: Long geodesics on convex surfaces type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 40 year: '2018' ... --- _id: '9810' article_processing_charge: No author: - first_name: Waqas full_name: Chaudhry, Waqas last_name: Chaudhry - first_name: Maros full_name: Pleska, Maros id: 4569785E-F248-11E8-B48F-1D18A9856A87 last_name: Pleska orcid: 0000-0001-7460-7479 - first_name: Nilang full_name: Shah, Nilang last_name: Shah - first_name: Howard full_name: Weiss, Howard last_name: Weiss - first_name: Ingrid full_name: Mccall, Ingrid last_name: Mccall - first_name: Justin full_name: Meyer, Justin last_name: Meyer - first_name: Animesh full_name: Gupta, Animesh last_name: Gupta - first_name: Calin C full_name: Guet, Calin C id: 47F8433E-F248-11E8-B48F-1D18A9856A87 last_name: Guet orcid: 0000-0001-6220-2052 - first_name: Bruce full_name: Levin, Bruce last_name: Levin citation: ama: Chaudhry W, Pleska M, Shah N, et al. Numerical data used in figures. 2018. doi:10.1371/journal.pbio.2005971.s008 apa: Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Numerical data used in figures. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971.s008 chicago: Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Numerical Data Used in Figures.” Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.s008. ieee: W. Chaudhry et al., “Numerical data used in figures.” Public Library of Science, 2018. ista: Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Numerical data used in figures, Public Library of Science, 10.1371/journal.pbio.2005971.s008. mla: Chaudhry, Waqas, et al. Numerical Data Used in Figures. Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971.s008. short: W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018). date_created: 2021-08-06T12:43:44Z date_published: 2018-08-16T00:00:00Z date_updated: 2023-09-13T08:45:41Z day: '16' department: - _id: CaGu doi: 10.1371/journal.pbio.2005971.s008 month: '08' oa_version: Published Version publisher: Public Library of Science related_material: record: - id: '82' relation: used_in_publication status: public status: public title: Numerical data used in figures type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2018' ...