[{"day":"01","publication":"Ecology and Evolution","isi":1,"has_accepted_license":"1","year":"2018","date_published":"2018-11-01T00:00:00Z","doi":"10.1002/ece3.4573","date_created":"2018-12-11T11:44:15Z","page":"11031-11070","quality_controlled":"1","publisher":"Wiley","oa":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ista":"Viljakainen L, Jurvansuu J, Holmberg I, Pamminger T, Erler S, Cremer S. 2018. Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. 8(22), 11031–11070.","chicago":"Viljakainen, Lumi, Jaana Jurvansuu, Ida Holmberg, Tobias Pamminger, Silvio Erler, and Sylvia Cremer. “Social Environment Affects the Transcriptomic Response to Bacteria in Ant Queens.” Ecology and Evolution. Wiley, 2018. https://doi.org/10.1002/ece3.4573.","ieee":"L. Viljakainen, J. Jurvansuu, I. Holmberg, T. Pamminger, S. Erler, and S. Cremer, “Social environment affects the transcriptomic response to bacteria in ant queens,” Ecology and Evolution, vol. 8, no. 22. Wiley, pp. 11031–11070, 2018.","short":"L. Viljakainen, J. Jurvansuu, I. Holmberg, T. Pamminger, S. Erler, S. Cremer, Ecology and Evolution 8 (2018) 11031–11070.","ama":"Viljakainen L, Jurvansuu J, Holmberg I, Pamminger T, Erler S, Cremer S. Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. 2018;8(22):11031-11070. doi:10.1002/ece3.4573","apa":"Viljakainen, L., Jurvansuu, J., Holmberg, I., Pamminger, T., Erler, S., & Cremer, S. (2018). Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. Wiley. https://doi.org/10.1002/ece3.4573","mla":"Viljakainen, Lumi, et al. “Social Environment Affects the Transcriptomic Response to Bacteria in Ant Queens.” Ecology and Evolution, vol. 8, no. 22, Wiley, 2018, pp. 11031–70, doi:10.1002/ece3.4573."},"title":"Social environment affects the transcriptomic response to bacteria in ant queens","publist_id":"8026","author":[{"first_name":"Lumi","last_name":"Viljakainen","full_name":"Viljakainen, Lumi"},{"first_name":"Jaana","last_name":"Jurvansuu","full_name":"Jurvansuu, Jaana"},{"first_name":"Ida","last_name":"Holmberg","full_name":"Holmberg, Ida"},{"first_name":"Tobias","last_name":"Pamminger","full_name":"Pamminger, Tobias"},{"full_name":"Erler, Silvio","last_name":"Erler","first_name":"Silvio"},{"last_name":"Cremer","full_name":"Cremer, Sylvia","orcid":"0000-0002-2193-3868","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","first_name":"Sylvia"}],"article_processing_charge":"No","external_id":{"isi":["000451611000032"]},"file":[{"date_created":"2018-12-17T08:27:04Z","file_name":"Viljakainen_et_al-2018-Ecology_and_Evolution.pdf","date_updated":"2020-07-14T12:45:52Z","file_size":1272096,"creator":"dernst","checksum":"0d1355c78627ca7210aadd9a17a01915","file_id":"5682","content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["20457758"]},"publication_status":"published","issue":"22","volume":8,"license":"https://creativecommons.org/licenses/by/4.0/","oa_version":"Published Version","abstract":[{"text":"Social insects have evolved enormous capacities to collectively build nests and defend their colonies against both predators and pathogens. The latter is achieved by a combination of individual immune responses and sophisticated collective behavioral and organizational disease defenses, that is, social immunity. We investigated how the presence or absence of these social defense lines affects individual-level immunity in ant queens after bacterial infection. To this end, we injected queens of the ant Linepithema humile with a mix of gram+ and gram− bacteria or a control solution, reared them either with workers or alone and analyzed their gene expression patterns at 2, 4, 8, and 12 hr post-injection, using RNA-seq. This allowed us to test for the effect of bacterial infection, social context, as well as the interaction between the two over the course of infection and raising of an immune response. We found that social isolation per se affected queen gene expression for metabolism genes, but not for immune genes. When infected, queens reared with and without workers up-regulated similar numbers of innate immune genes revealing activation of Toll and Imd signaling pathways and melanization. Interestingly, however, they mostly regulated different genes along the pathways and showed a different pattern of overall gene up-regulation or down-regulation. Hence, we can conclude that the absence of workers does not compromise the onset of an individual immune response by the queens, but that the social environment impacts the route of the individual innate immune responses.","lang":"eng"}],"month":"11","intvolume":" 8","scopus_import":"1","ddc":["576","591"],"date_updated":"2023-09-19T09:29:12Z","department":[{"_id":"SyCr"}],"file_date_updated":"2020-07-14T12:45:52Z","_id":"29","status":"public","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"}},{"article_processing_charge":"No","external_id":{"isi":["000424633700008"]},"publist_id":"6844","author":[{"last_name":"Cremer","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"},{"id":"3C7F4840-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher","last_name":"Pull","full_name":"Pull, Christopher","orcid":"0000-0003-1122-3982"},{"last_name":"Fürst","full_name":"Fürst, Matthias","orcid":"0000-0002-3712-925X","first_name":"Matthias","id":"393B1196-F248-11E8-B48F-1D18A9856A87"}],"title":"Social immunity: Emergence and evolution of colony-level disease protection","citation":{"chicago":"Cremer, Sylvia, Christopher Pull, and Matthias Fürst. “Social Immunity: Emergence and Evolution of Colony-Level Disease Protection.” Annual Review of Entomology. Annual Reviews, 2018. https://doi.org/10.1146/annurev-ento-020117-043110.","ista":"Cremer S, Pull C, Fürst M. 2018. Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. 63, 105–123.","mla":"Cremer, Sylvia, et al. “Social Immunity: Emergence and Evolution of Colony-Level Disease Protection.” Annual Review of Entomology, vol. 63, Annual Reviews, 2018, pp. 105–23, doi:10.1146/annurev-ento-020117-043110.","ieee":"S. Cremer, C. Pull, and M. Fürst, “Social immunity: Emergence and evolution of colony-level disease protection,” Annual Review of Entomology, vol. 63. Annual Reviews, pp. 105–123, 2018.","short":"S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.","apa":"Cremer, S., Pull, C., & Fürst, M. (2018). Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. Annual Reviews. https://doi.org/10.1146/annurev-ento-020117-043110","ama":"Cremer S, Pull C, Fürst M. Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. 2018;63:105-123. doi:10.1146/annurev-ento-020117-043110"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","page":"105 - 123","date_created":"2018-12-11T11:48:36Z","doi":"10.1146/annurev-ento-020117-043110","date_published":"2018-01-07T00:00:00Z","year":"2018","isi":1,"publication":"Annual Review of Entomology","day":"07","quality_controlled":"1","publisher":"Annual Reviews","department":[{"_id":"SyCr"}],"date_updated":"2023-09-19T09:29:45Z","type":"journal_article","status":"public","_id":"806","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"819"}]},"volume":63,"publication_status":"published","publication_identifier":{"issn":["1545-4487"]},"language":[{"iso":"eng"}],"scopus_import":"1","intvolume":" 63","month":"01","abstract":[{"lang":"eng","text":"Social insect colonies have evolved many collectively performed adaptations that reduce the impact of infectious disease and that are expected to maximize their fitness. This colony-level protection is termed social immunity, and it enhances the health and survival of the colony. In this review, we address how social immunity emerges from its mechanistic components to produce colony-level disease avoidance, resistance, and tolerance. To understand the evolutionary causes and consequences of social immunity, we highlight the need for studies that evaluate the effects of social immunity on colony fitness. We discuss the role that host life history and ecology have on predicted eco-evolutionary dynamics, which differ among the social insect lineages. Throughout the review, we highlight current gaps in our knowledge and promising avenues for future research, which we hope will bring us closer to an integrated understanding of socio-eco-evo-immunology."}],"oa_version":"None"},{"date_created":"2018-12-11T11:44:50Z","date_published":"2018-07-18T00:00:00Z","doi":"10.1007/978-3-319-96145-3_25","page":"468 - 486","day":"18","year":"2018","isi":1,"has_accepted_license":"1","oa":1,"quality_controlled":"1","publisher":"Springer","title":"Space-time interpolants","article_processing_charge":"No","external_id":{"isi":["000491481600025"]},"author":[{"full_name":"Frehse, Goran","last_name":"Frehse","first_name":"Goran"},{"last_name":"Giacobbe","full_name":"Giacobbe, Mirco","orcid":"0000-0001-8180-0904","first_name":"Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"}],"publist_id":"7783","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,” 10981:468–86. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_25.","ista":"Frehse G, Giacobbe M, Henzinger TA. 2018. Space-time interpolants. CAV: Computer Aided Verification, LNCS, vol. 10981, 468–486.","mla":"Frehse, Goran, et al. Space-Time Interpolants. Vol. 10981, Springer, 2018, pp. 468–86, doi:10.1007/978-3-319-96145-3_25.","ieee":"G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486.","short":"G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.","ama":"Frehse G, Giacobbe M, Henzinger TA. Space-time interpolants. In: Vol 10981. Springer; 2018:468-486. doi:10.1007/978-3-319-96145-3_25","apa":"Frehse, G., Giacobbe, M., & Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_25"},"project":[{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"}],"related_material":{"record":[{"id":"6894","status":"public","relation":"dissertation_contains"}]},"volume":10981,"language":[{"iso":"eng"}],"file":[{"file_size":563710,"date_updated":"2020-07-14T12:44:50Z","creator":"system","file_name":"IST-2018-1010-v1+1_space-time_interpolants.pdf","date_created":"2018-12-12T10:17:53Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_id":"5310","checksum":"6dca832f575d6b3f0ea9dff56f579142"}],"publication_status":"published","publication_identifier":{"issn":["03029743"]},"intvolume":" 10981","month":"07","scopus_import":"1","alternative_title":["LNCS"],"oa_version":"Published Version","abstract":[{"text":"Reachability analysis is difficult for hybrid automata with affine differential equations, because the reach set needs to be approximated. Promising abstraction techniques usually employ interval methods or template polyhedra. Interval methods account for dense time and guarantee soundness, and there are interval-based tools that overapproximate affine flowpipes. But interval methods impose bounded and rigid shapes, which make refinement expensive and fixpoint detection difficult. Template polyhedra, on the other hand, can be adapted flexibly and can be unbounded, but sound template refinement for unbounded reachability analysis has been implemented only for systems with piecewise constant dynamics. We capitalize on the advantages of both techniques, combining interval arithmetic and template polyhedra, using the former to abstract time and the latter to abstract space. During a CEGAR loop, whenever a spurious error trajectory is found, we compute additional space constraints and split time intervals, and use these space-time interpolants to eliminate the counterexample. Space-time interpolation offers a lazy, flexible framework for increasing precision while guaranteeing soundness, both for error avoidance and fixpoint detection. To the best of out knowledge, this is the first abstraction refinement scheme for the reachability analysis over unbounded and dense time of affine hybrid systems, which is both sound and automatic. We demonstrate the effectiveness of our algorithm with several benchmark examples, which cannot be handled by other tools.","lang":"eng"}],"department":[{"_id":"ToHe"}],"file_date_updated":"2020-07-14T12:44:50Z","ddc":["005"],"date_updated":"2023-09-19T09:30:43Z","pubrep_id":"1010","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"conference":{"name":"CAV: Computer Aided Verification","end_date":"2018-07-17","location":"Oxford, United Kingdom","start_date":"2018-07-14"},"type":"conference","_id":"140"},{"acknowledgement":"Open access funding provided by Austrian Science Fund (FWF).","quality_controlled":"1","publisher":"Springer","oa":1,"day":"01","publication":"Mathematical Physics Analysis and Geometry","has_accepted_license":"1","isi":1,"year":"2018","doi":"10.1007/s11040-018-9275-3","date_published":"2018-09-01T00:00:00Z","date_created":"2018-12-11T11:44:55Z","article_number":"19","project":[{"grant_number":"694227","name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"_id":"25C878CE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P27533_N27","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems"},{"name":"FWF Open Access Fund","call_identifier":"FWF","_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ista":"Moser T, Seiringer R. 2018. Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. 21(3), 19.","chicago":"Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System with Point Interactions.” Mathematical Physics Analysis and Geometry. Springer, 2018. https://doi.org/10.1007/s11040-018-9275-3.","short":"T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).","ieee":"T. Moser and R. Seiringer, “Stability of the 2+2 fermionic system with point interactions,” Mathematical Physics Analysis and Geometry, vol. 21, no. 3. Springer, 2018.","ama":"Moser T, Seiringer R. Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. 2018;21(3). doi:10.1007/s11040-018-9275-3","apa":"Moser, T., & Seiringer, R. (2018). Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-018-9275-3","mla":"Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System with Point Interactions.” Mathematical Physics Analysis and Geometry, vol. 21, no. 3, 19, Springer, 2018, doi:10.1007/s11040-018-9275-3."},"title":"Stability of the 2+2 fermionic system with point interactions","author":[{"id":"2B5FC9A4-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Moser","full_name":"Moser, Thomas"},{"orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"}],"publist_id":"7767","external_id":{"isi":["000439639700001"]},"article_processing_charge":"No","oa_version":"Published Version","abstract":[{"lang":"eng","text":"We give a lower bound on the ground state energy of a system of two fermions of one species interacting with two fermions of another species via point interactions. We show that there is a critical mass ratio m2 ≈ 0.58 such that the system is stable, i.e., the energy is bounded from below, for m∈[m2,m2−1]. So far it was not known whether this 2 + 2 system exhibits a stable region at all or whether the formation of four-body bound states causes an unbounded spectrum for all mass ratios, similar to the Thomas effect. Our result gives further evidence for the stability of the more general N + M system."}],"month":"09","intvolume":" 21","scopus_import":"1","file":[{"checksum":"411c4db5700d7297c9cd8ebc5dd29091","file_id":"5729","access_level":"open_access","relation":"main_file","content_type":"application/pdf","date_created":"2018-12-17T16:49:02Z","file_name":"2018_MathPhysics_Moser.pdf","creator":"dernst","date_updated":"2020-07-14T12:45:01Z","file_size":496973}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["13850172"],"eissn":["15729656"]},"publication_status":"published","volume":21,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"52"}]},"issue":"3","ec_funded":1,"_id":"154","status":"public","article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["530"],"date_updated":"2023-09-19T09:31:15Z","file_date_updated":"2020-07-14T12:45:01Z","department":[{"_id":"RoSe"}]},{"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","_id":"5787","department":[{"_id":"EdHa"}],"file_date_updated":"2020-07-14T12:47:11Z","date_updated":"2023-09-19T09:32:49Z","ddc":["570"],"scopus_import":"1","month":"12","intvolume":" 60","abstract":[{"lang":"eng","text":"Branching morphogenesis remains a subject of abiding interest. Although much is \r\nknown about the gene regulatory programs and signaling pathways that operate at \r\nthe cellular scale, it has remained unclear how the macroscopic features of branched \r\norgans, including their size, network topology and spatial patterning, are encoded. \r\nLately, it has been proposed that, these features can be explained quantitatively in \r\nseveral organs within a single unifying framework. Based on large-\r\nscale organ recon\r\n-\r\nstructions and cell lineage tracing, it has been argued that morphogenesis follows \r\nfrom the collective dynamics of sublineage- \r\nrestricted self- \r\nrenewing progenitor cells, \r\nlocalized at ductal tips, that act cooperatively to drive a serial process of ductal elon\r\n-\r\ngation and stochastic tip bifurcation. By correlating differentiation or cell cycle exit \r\nwith proximity to maturing ducts, this dynamic results in the specification of a com-\r\nplex network of defined density and statistical organization. These results suggest \r\nthat, for several mammalian tissues, branched epithelial structures develop as a self- \r\norganized process, reliant upon a strikingly simple, but generic, set of local rules, \r\nwithout recourse to a rigid and deterministic sequence of genetically programmed \r\nevents. Here, we review the basis of these findings and discuss their implications."}],"oa_version":"Published Version","issue":"9","volume":60,"publication_identifier":{"issn":["00121592"]},"file":[{"content_type":"application/pdf","access_level":"open_access","relation":"main_file","file_id":"5933","checksum":"a6d30b0785db902c734a84fecb2eadd9","date_updated":"2020-07-14T12:47:11Z","file_size":1313606,"creator":"dernst","date_created":"2019-02-06T10:40:46Z","file_name":"2018_DevGrowh_Hannezo.pdf"}],"language":[{"iso":"eng"}],"author":[{"last_name":"Hannezo","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Benjamin D.","last_name":"Simons","full_name":"Simons, Benjamin D."}],"article_processing_charge":"No","external_id":{"isi":["000453555100002"]},"title":"Statistical theory of branching morphogenesis","citation":{"mla":"Hannezo, Edouard B., and Benjamin D. Simons. “Statistical Theory of Branching Morphogenesis.” Development Growth and Differentiation, vol. 60, no. 9, Wiley, 2018, pp. 512–21, doi:10.1111/dgd.12570.","short":"E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.","ieee":"E. B. Hannezo and B. D. Simons, “Statistical theory of branching morphogenesis,” Development Growth and Differentiation, vol. 60, no. 9. Wiley, pp. 512–521, 2018.","apa":"Hannezo, E. B., & Simons, B. D. (2018). Statistical theory of branching morphogenesis. Development Growth and Differentiation. Wiley. https://doi.org/10.1111/dgd.12570","ama":"Hannezo EB, Simons BD. Statistical theory of branching morphogenesis. Development Growth and Differentiation. 2018;60(9):512-521. doi:10.1111/dgd.12570","chicago":"Hannezo, Edouard B, and Benjamin D. Simons. “Statistical Theory of Branching Morphogenesis.” Development Growth and Differentiation. Wiley, 2018. https://doi.org/10.1111/dgd.12570.","ista":"Hannezo EB, Simons BD. 2018. Statistical theory of branching morphogenesis. Development Growth and Differentiation. 60(9), 512–521."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Wiley","quality_controlled":"1","oa":1,"page":"512-521","date_published":"2018-12-09T00:00:00Z","doi":"10.1111/dgd.12570","date_created":"2018-12-30T22:59:14Z","isi":1,"has_accepted_license":"1","year":"2018","day":"09","publication":"Development Growth and Differentiation"}]