--- _id: '1019' abstract: - lang: eng text: As a consequence of its difference in copy number between males and females, the X chromosome is subject to unique evolutionary forces and gene regulatory mechanisms. Previous studies of Drosophila melanogaster have shown that the expression of X-linked, testis-specific reporter genes is suppressed in the male germline. However, it is not known whether this phenomenon is restricted to testis-expressed genes or if it is a more general property of genes with tissue-specific expression, which are also underrepresented on the X chromosome. To test this, we compared the expression of three tissue-specific reporter genes (ovary, accessory gland and Malpighian tubule) inserted at various autosomal and X-chromosomal locations. In contrast to testis-specific reporter genes, we found no reduction of X-linked expression in any of the other tissues. In accessory gland and Malpighian tubule, we detected higher expression of the X-linked reporter genes, which suggests that they are at least partially dosage compensated. We found no difference in the tissue-specificity of X-linked and autosomal reporter genes. These findings indicate that, in general, the X chromosome is not a detrimental environment for tissue-specific gene expression and that the suppression of X-linked expression is limited to the male germline. article_processing_charge: No author: - first_name: Eliza full_name: Argyridou, Eliza last_name: Argyridou - first_name: Ann K full_name: Huylmans, Ann K id: 4C0A3874-F248-11E8-B48F-1D18A9856A87 last_name: Huylmans orcid: 0000-0001-8871-4961 - first_name: Annabella full_name: Königer, Annabella last_name: Königer - first_name: John full_name: Parsch, John last_name: Parsch citation: ama: Argyridou E, Huylmans AK, Königer A, Parsch J. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 2017;119(1):27-34. doi:10.1038/hdy.2017.12 apa: Argyridou, E., Huylmans, A. K., Königer, A., & Parsch, J. (2017). X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2017.12 chicago: Argyridou, Eliza, Ann K Huylmans, Annabella Königer, and John Parsch. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” Heredity. Nature Publishing Group, 2017. https://doi.org/10.1038/hdy.2017.12. ieee: E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,” Heredity, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017. ista: Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 119(1), 27–34. mla: Argyridou, Eliza, et al. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” Heredity, vol. 119, no. 1, Nature Publishing Group, 2017, pp. 27–34, doi:10.1038/hdy.2017.12. short: E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34. date_created: 2018-12-11T11:49:43Z date_published: 2017-07-01T00:00:00Z date_updated: 2023-09-22T09:41:21Z day: '01' department: - _id: BeVi doi: 10.1038/hdy.2017.12 external_id: isi: - '000405397800004' intvolume: ' 119' isi: 1 issue: '1' language: - iso: eng month: '07' oa_version: None page: 27 - 34 publication: Heredity publication_identifier: issn: - 0018067X publication_status: published publisher: Nature Publishing Group publist_id: '6374' quality_controlled: '1' related_material: record: - id: '9861' relation: research_data status: public scopus_import: '1' status: public title: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 119 year: '2017' ... --- _id: '9861' abstract: - lang: eng text: As a consequence of its difference in copy number between males and females, the X chromosome is subject to unique evolutionary forces and gene regulatory mechanisms. Previous studies of Drosophila melanogaster have shown that the expression of X-linked, testis-specific reporter genes is suppressed in the male germline. However, it is not known whether this phenomenon is restricted to testis-expressed genes or if it is a more general property of genes with tissue-specific expression, which are also underrepresented on the X chromosome. To test this, we compared the expression of three tissue-specific reporter genes (ovary, accessory gland and Malpighian tubule) inserted at various autosomal and X-chromosomal locations. In contrast to testis-specific reporter genes, we found no reduction of X-linked expression in any of the other tissues. In accessory gland and Malpighian tubule, we detected higher expression of the X-linked reporter genes, which suggests that they are at least partially dosage compensated. We found no difference in the tissue-specificity of X-linked and autosomal reporter genes. These findings indicate that, in general, the X chromosome is not a detrimental environment for tissue-specific gene expression and that the suppression of X-linked expression is limited to the male germline. article_processing_charge: No author: - first_name: Eliza full_name: Argyridou, Eliza last_name: Argyridou - first_name: Ann K full_name: Huylmans, Ann K id: 4C0A3874-F248-11E8-B48F-1D18A9856A87 last_name: Huylmans orcid: 0000-0001-8871-4961 - first_name: Annabella full_name: Königer, Annabella last_name: Königer - first_name: John full_name: Parsch, John last_name: Parsch citation: ama: 'Argyridou E, Huylmans AK, Königer A, Parsch J. Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. 2017. doi:10.5061/dryad.02f6r' apa: 'Argyridou, E., Huylmans, A. K., Königer, A., & Parsch, J. (2017). Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Dryad. https://doi.org/10.5061/dryad.02f6r' chicago: 'Argyridou, Eliza, Ann K Huylmans, Annabella Königer, and John Parsch. “Data from: X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” Dryad, 2017. https://doi.org/10.5061/dryad.02f6r.' ieee: 'E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster.” Dryad, 2017.' ista: 'Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster, Dryad, 10.5061/dryad.02f6r.' mla: 'Argyridou, Eliza, et al. Data from: X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster. Dryad, 2017, doi:10.5061/dryad.02f6r.' short: E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, (2017). date_created: 2021-08-10T08:12:52Z date_published: 2017-02-14T00:00:00Z date_updated: 2023-09-22T09:41:20Z day: '14' department: - _id: BeVi doi: 10.5061/dryad.02f6r main_file_link: - open_access: '1' url: https://doi.org/10.5061/dryad.02f6r month: '02' oa: 1 oa_version: Published Version publisher: Dryad related_material: record: - id: '1019' relation: used_in_publication status: public status: public title: 'Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster' type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2017' ... --- _id: '1006' abstract: - lang: eng text: 'Background: The phenomenon of immune priming, i.e. enhanced protection following a secondary exposure to a pathogen, has now been demonstrated in a wide range of invertebrate species. Despite accumulating phenotypic evidence, knowledge of its mechanistic underpinnings is currently very limited. Here we used the system of the red flour beetle, Tribolium castaneum and the insect pathogen Bacillus thuringiensis (Bt) to further our molecular understanding of the oral immune priming phenomenon. We addressed how ingestion of bacterial cues (derived from spore supernatants) of an orally pathogenic and non-pathogenic Bt strain affects gene expression upon later challenge exposure, using a whole-transcriptome sequencing approach. Results: Whereas gene expression of individuals primed with the orally non-pathogenic strain showed minor changes to controls, we found that priming with the pathogenic strain induced regulation of a large set of distinct genes, many of which are known immune candidates. Intriguingly, the immune repertoire activated upon priming and subsequent challenge qualitatively differed from the one mounted upon infection with Bt without previous priming. Moreover, a large subset of priming-specific genes showed an inverse regulation compared to their regulation upon challenge only. Conclusions: Our data demonstrate that gene expression upon infection is strongly affected by previous immune priming. We hypothesise that this shift in gene expression indicates activation of a more targeted and efficient response towards a previously encountered pathogen, in anticipation of potential secondary encounter.' article_processing_charge: No author: - first_name: Jenny full_name: Greenwood, Jenny last_name: Greenwood - first_name: Barbara full_name: Milutinovic, Barbara id: 2CDC32B8-F248-11E8-B48F-1D18A9856A87 last_name: Milutinovic orcid: 0000-0002-8214-4758 - first_name: Robert full_name: Peuß, Robert last_name: Peuß - first_name: Sarah full_name: Behrens, Sarah last_name: Behrens - first_name: Daniela full_name: Essar, Daniela last_name: Essar - first_name: Philip full_name: Rosenstiel, Philip last_name: Rosenstiel - first_name: Hinrich full_name: Schulenburg, Hinrich last_name: Schulenburg - first_name: Joachim full_name: Kurtz, Joachim last_name: Kurtz citation: ama: Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7 apa: Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. BioMed Central. https://doi.org/10.1186/s12864-017-3705-7 chicago: Greenwood, Jenny, Barbara Milutinovic, Robert Peuß, Sarah Behrens, Daniela Essar, Philip Rosenstiel, Hinrich Schulenburg, and Joachim Kurtz. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” BMC Genomics. BioMed Central, 2017. https://doi.org/10.1186/s12864-017-3705-7. ieee: J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” BMC Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017. ista: Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 18(1), 329. mla: Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” BMC Genomics, vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:10.1186/s12864-017-3705-7. short: J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329. date_created: 2018-12-11T11:49:39Z date_published: 2017-04-26T00:00:00Z date_updated: 2023-09-22T09:47:44Z day: '26' ddc: - '570' department: - _id: SyCr doi: 10.1186/s12864-017-3705-7 external_id: isi: - '000400625200004' file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:16:46Z date_updated: 2018-12-12T10:16:46Z file_id: '5236' file_name: IST-2017-814-v1+1_s12864-017-3705-7.pdf file_size: 2379672 relation: main_file file_date_updated: 2018-12-12T10:16:46Z has_accepted_license: '1' intvolume: ' 18' isi: 1 issue: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '329' publication: BMC Genomics publication_identifier: issn: - '14712164' publication_status: published publisher: BioMed Central publist_id: '6392' pubrep_id: '814' quality_controlled: '1' related_material: record: - id: '9859' relation: research_data status: public - id: '9860' relation: research_data status: public scopus_import: '1' status: public title: Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae 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: 18 year: '2017' ... --- _id: '1011' abstract: - lang: eng text: Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the bestknown complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project. alternative_title: - LNCS article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Samarth full_name: Mishra, Samarth last_name: Mishra - first_name: Andreas full_name: Pavlogiannis, Andreas id: 49704004-F248-11E8-B48F-1D18A9856A87 last_name: Pavlogiannis orcid: 0000-0002-8943-0722 citation: ama: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11' apa: 'Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11' chicago: Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11. ieee: 'K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms for weighted recursive state machines,” presented at the ESOP: European Symposium on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.' ista: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313.' mla: Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11. short: K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313. conference: end_date: 2017-04-29 location: Uppsala, Sweden name: 'ESOP: European Symposium on Programming' start_date: 2017-04-22 date_created: 2018-12-11T11:49:41Z date_published: 2017-03-19T00:00:00Z date_updated: 2023-09-22T09:44:50Z day: '19' department: - _id: KrCh - _id: ToHe doi: 10.1007/978-3-662-54434-1_11 ec_funded: 1 editor: - first_name: Hongseok full_name: Yang, Hongseok last_name: Yang external_id: isi: - '000681702400011' intvolume: ' 10201' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1701.04914 month: '03' oa: 1 oa_version: Submitted Version page: 287 - 313 project: - _id: 25F5A88A-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Moderne Concurrency Paradigms - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' publication_identifier: issn: - '03029743' publication_status: published publisher: Springer publist_id: '6384' quality_controlled: '1' scopus_import: '1' status: public title: Faster algorithms for weighted recursive state machines type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 10201 year: '2017' ... --- _id: '1004' abstract: - lang: eng text: The fundamental tasks of the root system are, besides anchoring, mediating interactions between plant and soil and providing the plant with water and nutrients. The architecture of the root system is controlled by endogenous mechanisms that constantly integrate environmental signals, such as availability of nutrients and water. Extremely important for efficient soil exploitation and survival under less favorable conditions is the developmental flexibility of the root system that is largely determined by its postembryonic branching capacity. Modulation of initiation and outgrowth of lateral roots provides roots with an exceptional plasticity, allows optimal adjustment to underground heterogeneity, and enables effective soil exploitation and use of resources. Here we discuss recent advances in understanding the molecular mechanisms that shape the plant root system and integrate external cues to adapt to the changing environment. article_processing_charge: No author: - first_name: Krisztina full_name: Ötvös, Krisztina id: 29B901B0-F248-11E8-B48F-1D18A9856A87 last_name: Ötvös orcid: 0000-0002-5503-4983 - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 citation: ama: Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45:82-89. doi:10.1016/j.gde.2017.03.010 apa: Ötvös, K., & Benková, E. (2017). Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2017.03.010 chicago: Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development. Elsevier, 2017. https://doi.org/10.1016/j.gde.2017.03.010. ieee: K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” Current Opinion in Genetics & Development, vol. 45. Elsevier, pp. 82–89, 2017. ista: Ötvös K, Benková E. 2017. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 45, 82–89. mla: Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development, vol. 45, Elsevier, 2017, pp. 82–89, doi:10.1016/j.gde.2017.03.010. short: K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89. date_created: 2018-12-11T11:49:38Z date_published: 2017-08-01T00:00:00Z date_updated: 2023-09-22T09:48:15Z day: '01' ddc: - '575' department: - _id: EvBe doi: 10.1016/j.gde.2017.03.010 external_id: isi: - '000404880400013' pmid: - '28391060' file: - access_level: open_access content_type: application/pdf creator: dernst date_created: 2019-04-17T08:00:36Z date_updated: 2019-04-17T08:00:36Z file_id: '6336' file_name: Otvos_Benkova_CurOpDevBiol_2017.pdf file_size: 364133 relation: main_file success: 1 file_date_updated: 2019-04-17T08:00:36Z has_accepted_license: '1' intvolume: ' 45' isi: 1 language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '08' oa: 1 oa_version: Submitted Version page: 82 - 89 pmid: 1 project: - _id: 2542D156-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I 1774-B16 name: Hormone cross-talk drives nutrient dependent plant development publication: Current Opinion in Genetics & Development publication_identifier: issn: - 0959437X publication_status: published publisher: Elsevier publist_id: '6394' pubrep_id: '1017' quality_controlled: '1' scopus_import: '1' status: public title: Spatiotemporal mechanisms of root branching 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: 45 year: '2017' ... --- _id: '1010' abstract: - lang: eng text: 'We prove a local law in the bulk of the spectrum for random Gram matrices XX∗, a generalization of sample covariance matrices, where X is a large matrix with independent, centered entries with arbitrary variances. The limiting eigenvalue density that generalizes the Marchenko-Pastur law is determined by solving a system of nonlinear equations. Our entrywise and averaged local laws are on the optimal scale with the optimal error bounds. They hold both in the square case (hard edge) and in the properly rectangular case (soft edge). In the latter case we also establish a macroscopic gap away from zero in the spectrum of XX∗. ' article_number: '25' article_processing_charge: No 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 law for random Gram matrices. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP42 apa: Alt, J., Erdös, L., & Krüger, T. H. (2017). Local law for random Gram matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-EJP42 chicago: Alt, Johannes, László Erdös, and Torben H Krüger. “Local Law for Random Gram Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP42. ieee: J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017. ista: Alt J, Erdös L, Krüger TH. 2017. Local law for random Gram matrices. Electronic Journal of Probability. 22, 25. mla: Alt, Johannes, et al. “Local Law for Random Gram Matrices.” Electronic Journal of Probability, vol. 22, 25, Institute of Mathematical Statistics, 2017, doi:10.1214/17-EJP42. short: J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017). date_created: 2018-12-11T11:49:40Z date_published: 2017-03-08T00:00:00Z date_updated: 2023-09-22T09:45:23Z day: '08' ddc: - '510' - '539' department: - _id: LaEr doi: 10.1214/17-EJP42 ec_funded: 1 external_id: arxiv: - '1606.07353' isi: - '000396611900025' file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:13:39Z date_updated: 2018-12-12T10:13:39Z file_id: '5024' file_name: IST-2017-807-v1+1_euclid.ejp.1488942016.pdf file_size: 639384 relation: main_file file_date_updated: 2018-12-12T10:13:39Z has_accepted_license: '1' intvolume: ' 22' isi: 1 language: - iso: eng month: '03' oa: 1 oa_version: Published Version project: - _id: 258DCDE6-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '338804' name: Random matrices, universality and disordered quantum systems publication: Electronic Journal of Probability publication_identifier: issn: - '10836489' publication_status: published publisher: Institute of Mathematical Statistics publist_id: '6386' pubrep_id: '807' quality_controlled: '1' related_material: record: - id: '149' relation: dissertation_contains status: public scopus_import: '1' status: public title: Local law for random Gram matrices 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: 22 year: '2017' ... --- _id: '1009' abstract: - lang: eng text: A standard objective in partially-observable Markov decision processes (POMDPs) is to find a policy that maximizes the expected discounted-sum payoff. However, such policies may still permit unlikely but highly undesirable outcomes, which is problematic especially in safety-critical applications. Recently, there has been a surge of interest in POMDPs where the goal is to maximize the probability to ensure that the payoff is at least a given threshold, but these approaches do not consider any optimization beyond satisfying this threshold constraint. In this work we go beyond both the “expectation” and “threshold” approaches and consider a “guaranteed payoff optimization (GPO)” problem for POMDPs, where we are given a threshold t and the objective is to find a policy σ such that a) each possible outcome of σ yields a discounted-sum payoff of at least t, and b) the expected discounted-sum payoff of σ is optimal (or near-optimal) among all policies satisfying a). We present a practical approach to tackle the GPO problem and evaluate it on standard POMDP benchmarks. acknowledgement: 'he research leading to these results was supported by the Austrian Science Fund (FWF) NFN Grant no. S11407-N23 (RiSE/SHiNE); two ERC Starting grants (279307: Graph Games, 279499: inVEST); the Vienna Science and Tech- nology Fund (WWTF) through project ICT15-003; and the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. [291734].' article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Petr full_name: Novotny, Petr id: 3CC3B868-F248-11E8-B48F-1D18A9856A87 last_name: Novotny - first_name: Guillermo full_name: Pérez, Guillermo last_name: Pérez - first_name: Jean full_name: Raskin, Jean last_name: Raskin - first_name: Djordje full_name: Zikelic, Djordje last_name: Zikelic citation: ama: 'Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.' apa: 'Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., & Zikelic, D. (2017). Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.' chicago: Chatterjee, Krishnendu, Petr Novotný, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017. ieee: K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing expectation with guarantees in POMDPs,” in Proceedings of the 31st AAAI Conference on Artificial Intelligence, San Francisco, CA, United States, 2017, vol. 5, pp. 3725–3732. ista: 'Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. 2017. Optimizing expectation with guarantees in POMDPs. Proceedings of the 31st AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 5, 3725–3732.' mla: Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32. short: K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732. conference: end_date: 2017-02-10 location: San Francisco, CA, United States name: 'AAAI: Conference on Artificial Intelligence' start_date: 2017-02-04 date_created: 2018-12-11T11:49:40Z date_published: 2017-01-01T00:00:00Z date_updated: 2023-09-22T09:46:41Z day: '01' department: - _id: KrCh ec_funded: 1 external_id: isi: - '000485630703107' intvolume: ' 5' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: http://www.aaai.org/ocs/index.php/AAAI/AAAI17/paper/download/14354/14092 month: '01' oa: 1 oa_version: Submitted Version page: 3725 - 3732 project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme - _id: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification publication: Proceedings of the 31st AAAI Conference on Artificial Intelligence publication_status: published publisher: AAAI Press publist_id: '6387' quality_controlled: '1' scopus_import: '1' status: public title: Optimizing expectation with guarantees in POMDPs type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 5 year: '2017' ... --- _id: '9859' abstract: - lang: eng text: 'Lists of all differentially expressed genes in the different priming-challenge treatments (compared to the fully naïve control; xlsx file). Relevant columns include the following: sample_1 and sample_2 – treatment groups being compared; Normalised FPKM sample_1 and sample_2 – FPKM of samples being compared; log2(fold_change) – log2(FPKM sample 2/FPKM sample 1), i.e. negative means sample 1 upregulated compared with sample 2, positive means sample 2 upregulated compared with sample 1; cuffdiff test_statistic – test statistic of differential expression test; p_value – p-value of differential expression test; q_value (FDR correction) – adjusted P-value of differential expression test. (XLSX 598 kb)' article_processing_charge: No author: - first_name: Jenny full_name: Greenwood, Jenny last_name: Greenwood - first_name: Barbara full_name: Milutinovic, Barbara id: 2CDC32B8-F248-11E8-B48F-1D18A9856A87 last_name: Milutinovic orcid: 0000-0002-8214-4758 - first_name: Robert full_name: Peuß, Robert last_name: Peuß - first_name: Sarah full_name: Behrens, Sarah last_name: Behrens - first_name: Daniela full_name: Essar, Daniela last_name: Essar - first_name: Philip full_name: Rosenstiel, Philip last_name: Rosenstiel - first_name: Hinrich full_name: Schulenburg, Hinrich last_name: Schulenburg - first_name: Joachim full_name: Kurtz, Joachim last_name: Kurtz citation: ama: 'Greenwood J, Milutinovic B, Peuß R, et al. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. 2017. doi:10.6084/m9.figshare.c.3756974_d1.v1' apa: 'Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. Springer Nature. https://doi.org/10.6084/m9.figshare.c.3756974_d1.v1' chicago: 'Greenwood, Jenny, Barbara Milutinovic, Robert Peuß, Sarah Behrens, Daniela Essar, Philip Rosenstiel, Hinrich Schulenburg, and Joachim Kurtz. “Additional File 1: Table S1. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” Springer Nature, 2017. https://doi.org/10.6084/m9.figshare.c.3756974_d1.v1.' ieee: 'J. Greenwood et al., “Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.” Springer Nature, 2017.' ista: 'Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae, Springer Nature, 10.6084/m9.figshare.c.3756974_d1.v1.' mla: 'Greenwood, Jenny, et al. Additional File 1: Table S1. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae. Springer Nature, 2017, doi:10.6084/m9.figshare.c.3756974_d1.v1.' short: J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017). date_created: 2021-08-10T07:59:02Z date_published: 2017-04-26T00:00:00Z date_updated: 2023-09-22T09:47:44Z day: '26' department: - _id: SyCr doi: 10.6084/m9.figshare.c.3756974_d1.v1 main_file_link: - open_access: '1' url: https://doi.org/10.6084/m9.figshare.c.3756974_d1.v1 month: '04' oa: 1 oa_version: Published Version publisher: Springer Nature related_material: record: - id: '1006' relation: used_in_publication status: public status: public title: 'Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae' type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2017' ... --- _id: '9860' article_processing_charge: No author: - first_name: Jenny full_name: Greenwood, Jenny last_name: Greenwood - first_name: Barbara full_name: Milutinovic, Barbara id: 2CDC32B8-F248-11E8-B48F-1D18A9856A87 last_name: Milutinovic orcid: 0000-0002-8214-4758 - first_name: Robert full_name: Peuß, Robert last_name: Peuß - first_name: Sarah full_name: Behrens, Sarah last_name: Behrens - first_name: Daniela full_name: Essar, Daniela last_name: Essar - first_name: Philip full_name: Rosenstiel, Philip last_name: Rosenstiel - first_name: Hinrich full_name: Schulenburg, Hinrich last_name: Schulenburg - first_name: Joachim full_name: Kurtz, Joachim last_name: Kurtz citation: ama: 'Greenwood J, Milutinovic B, Peuß R, et al. Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. 2017. doi:10.6084/m9.figshare.c.3756974_d5.v1' apa: 'Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. Springer Nature. https://doi.org/10.6084/m9.figshare.c.3756974_d5.v1' chicago: 'Greenwood, Jenny, Barbara Milutinovic, Robert Peuß, Sarah Behrens, Daniela Essar, Philip Rosenstiel, Hinrich Schulenburg, and Joachim Kurtz. “Additional File 5: Table S3. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” Springer Nature, 2017. https://doi.org/10.6084/m9.figshare.c.3756974_d5.v1.' ieee: 'J. Greenwood et al., “Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.” Springer Nature, 2017.' ista: 'Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae, Springer Nature, 10.6084/m9.figshare.c.3756974_d5.v1.' mla: 'Greenwood, Jenny, et al. Additional File 5: Table S3. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae. Springer Nature, 2017, doi:10.6084/m9.figshare.c.3756974_d5.v1.' short: J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017). date_created: 2021-08-10T08:07:12Z date_published: 2017-04-26T00:00:00Z date_updated: 2023-09-22T09:47:44Z day: '26' department: - _id: SyCr doi: 10.6084/m9.figshare.c.3756974_d5.v1 main_file_link: - open_access: '1' url: https://doi.org/10.6084/m9.figshare.c.3756974_d5.v1 month: '04' oa: 1 oa_version: Published Version publisher: Springer Nature related_material: record: - id: '1006' relation: used_in_publication status: public status: public title: 'Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae' type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2017' ... --- _id: '1002' abstract: - lang: eng text: " We present an interactive design system to create functional mechanical \ objects. Our computational approach allows novice users to retarget an existing mechanical template to a user-specified input shape. Our proposed representation for a mechanical template encodes a parameterized mechanism, mechanical constraints that ensure a physically valid configuration, spatial relationships of mechanical parts to the user-provided shape, and functional constraints that specify an intended functionality. We provide an intuitive interface and optimization-in-the-loop approach for finding a valid configuration of the mechanism and the shape to ensure that higher-level functional goals are met. Our algorithm interactively optimizes the mechanism while the user manipulates the placement of mechanical components and the shape. Our system allows users to efficiently explore various design choices and to synthesize customized mechanical objects that can be fabricated with rapid prototyping technologies. We demonstrate the efficacy of our approach by retargeting various mechanical templates to different shapes and fabricating the resulting functional mechanical objects.\r\n" alternative_title: - ACM Transactions on Graphics article_number: '81' article_processing_charge: No author: - first_name: Ran full_name: Zhang, Ran id: 4DDBCEB0-F248-11E8-B48F-1D18A9856A87 last_name: Zhang orcid: 0000-0002-3808-281X - first_name: Thomas full_name: Auzinger, Thomas id: 4718F954-F248-11E8-B48F-1D18A9856A87 last_name: Auzinger orcid: 0000-0002-1546-3265 - first_name: Duygu full_name: Ceylan, Duygu last_name: Ceylan - first_name: Wilmot full_name: Li, Wilmot last_name: Li - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: 'Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073710' apa: 'Zhang, R., Auzinger, T., Ceylan, D., Li, W., & Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710' chicago: Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073710. ieee: 'R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4.' ista: 'Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. 2017. Functionality-aware retargeting of mechanisms to 3D shapes. SIGGRAPH: Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 81.' mla: Zhang, Ran, et al. Functionality-Aware Retargeting of Mechanisms to 3D Shapes. Vol. 36, no. 4, 81, ACM, 2017, doi:10.1145/3072959.3073710. short: R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017. conference: end_date: 2017-08-03 location: 'Los Angeles, CA, United States ' name: 'SIGGRAPH: Computer Graphics and Interactive Techniques' start_date: 2017-07-30 date_created: 2018-12-11T11:49:38Z date_published: 2017-06-01T00:00:00Z date_updated: 2023-09-22T09:49:31Z day: '01' ddc: - '003' - '004' department: - _id: BeBi doi: 10.1145/3072959.3073710 ec_funded: 1 external_id: isi: - '000406432100049' file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:09:05Z date_updated: 2018-12-12T10:09:05Z file_id: '4728' file_name: IST-2018-1050-v1+1_MechRet.pdf file_size: 25463895 relation: main_file file_date_updated: 2018-12-12T10:09:05Z has_accepted_license: '1' intvolume: ' 36' isi: 1 issue: '4' language: - iso: eng month: '06' oa: 1 oa_version: Submitted Version project: - _id: 2508E324-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '642841' name: Distributed 3D Object Design - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication_identifier: issn: - '07300301' publication_status: published publisher: ACM publist_id: '6396' pubrep_id: '1050' quality_controlled: '1' related_material: record: - id: '8386' relation: dissertation_contains status: public scopus_import: '1' status: public title: Functionality-aware retargeting of mechanisms to 3D shapes type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 36 year: '2017' ...