[{"date_published":"2017-07-18T00:00:00Z","doi":"10.1371/journal.pcbi.1005609.s003","citation":{"ama":"Lukacisinova M, Novak S, Paixao T. Heuristic prediction for multiple stresses. 2017. doi:10.1371/journal.pcbi.1005609.s003","ista":"Lukacisinova M, Novak S, Paixao T. 2017. Heuristic prediction for multiple stresses, Public Library of Science, 10.1371/journal.pcbi.1005609.s003.","apa":"Lukacisinova, M., Novak, S., & Paixao, T. (2017). Heuristic prediction for multiple stresses. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s003","ieee":"M. Lukacisinova, S. Novak, and T. Paixao, “Heuristic prediction for multiple stresses.” Public Library of Science, 2017.","mla":"Lukacisinova, Marta, et al. Heuristic Prediction for Multiple Stresses. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s003.","short":"M. Lukacisinova, S. Novak, T. Paixao, (2017).","chicago":"Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Heuristic Prediction for Multiple Stresses.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.s003."},"month":"07","day":"18","article_processing_charge":"No","date_created":"2021-08-09T14:08:14Z","date_updated":"2023-02-23T12:55:39Z","oa_version":"Published Version","author":[{"orcid":"0000-0002-2519-8004","id":"4342E402-F248-11E8-B48F-1D18A9856A87","last_name":"Lukacisinova","first_name":"Marta","full_name":"Lukacisinova, Marta"},{"last_name":"Novak","first_name":"Sebastian","id":"461468AE-F248-11E8-B48F-1D18A9856A87","full_name":"Novak, Sebastian"},{"first_name":"Tiago","last_name":"Paixao","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2361-3953","full_name":"Paixao, Tiago"}],"related_material":{"record":[{"id":"696","status":"public","relation":"used_in_publication"}]},"title":"Heuristic prediction for multiple stresses","status":"public","department":[{"_id":"ToBo"},{"_id":"CaGu"},{"_id":"NiBa"}],"publisher":"Public Library of Science","year":"2017","_id":"9851","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","abstract":[{"text":"Based on the intuitive derivation of the dynamics of SIM allele frequency pM in the main text, we present a heuristic prediction for the long-term SIM allele frequencies with χ > 1 stresses and compare it to numerical simulations.","lang":"eng"}],"type":"research_data_reference"},{"citation":{"chicago":"Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Resistance Frequencies for Different Combination Strategies.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.s004.","short":"M. Lukacisinova, S. Novak, T. Paixao, (2017).","mla":"Lukacisinova, Marta, et al. Resistance Frequencies for Different Combination Strategies. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s004.","apa":"Lukacisinova, M., Novak, S., & Paixao, T. (2017). Resistance frequencies for different combination strategies. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s004","ieee":"M. Lukacisinova, S. Novak, and T. Paixao, “Resistance frequencies for different combination strategies.” Public Library of Science, 2017.","ista":"Lukacisinova M, Novak S, Paixao T. 2017. Resistance frequencies for different combination strategies, Public Library of Science, 10.1371/journal.pcbi.1005609.s004.","ama":"Lukacisinova M, Novak S, Paixao T. Resistance frequencies for different combination strategies. 2017. doi:10.1371/journal.pcbi.1005609.s004"},"date_published":"2017-07-18T00:00:00Z","doi":"10.1371/journal.pcbi.1005609.s004","day":"18","month":"07","article_processing_charge":"No","title":"Resistance frequencies for different combination strategies","status":"public","department":[{"_id":"ToBo"},{"_id":"CaGu"},{"_id":"NiBa"}],"publisher":"Public Library of Science","_id":"9852","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","year":"2017","date_created":"2021-08-09T14:11:40Z","date_updated":"2023-02-23T12:55:39Z","oa_version":"Published Version","author":[{"first_name":"Marta","last_name":"Lukacisinova","id":"4342E402-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2519-8004","full_name":"Lukacisinova, Marta"},{"id":"461468AE-F248-11E8-B48F-1D18A9856A87","last_name":"Novak","first_name":"Sebastian","full_name":"Novak, Sebastian"},{"id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2361-3953","first_name":"Tiago","last_name":"Paixao","full_name":"Paixao, Tiago"}],"related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"696"}]},"type":"research_data_reference","abstract":[{"lang":"eng","text":"We show how different combination strategies affect the fraction of individuals that are multi-resistant."}]},{"day":"01","month":"02","has_accepted_license":"1","article_processing_charge":"No","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","supervisor":[{"full_name":"Bollback, Jonathan P","first_name":"Jonathan P","last_name":"Bollback","id":"2C6FA9CC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4624-4612"},{"last_name":"Barton","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"}],"language":[{"iso":"eng"}],"date_published":"2017-02-01T00:00:00Z","page":"83","oa":1,"citation":{"chicago":"Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.","short":"P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.","mla":"Payne, Pavel. Bacterial Herd and Social Immunity to Phages. Institute of Science and Technology Austria, 2017.","ieee":"P. Payne, “Bacterial herd and social immunity to phages,” Institute of Science and Technology Austria, 2017.","apa":"Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.","ista":"Payne P. 2017. Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.","ama":"Payne P. Bacterial herd and social immunity to phages. 2017."},"abstract":[{"text":"Bacteria and their pathogens – phages – are the most abundant living entities on Earth. Throughout their coevolution, bacteria have evolved multiple immune systems to overcome the ubiquitous threat from the phages. Although the molecu- lar details of these immune systems’ functions are relatively well understood, their epidemiological consequences for the phage-bacterial communities have been largely neglected. In this thesis we employed both experimental and theoretical methods to explore whether herd and social immunity may arise in bacterial popu- lations. Using our experimental system consisting of Escherichia coli strains with a CRISPR based immunity to the T7 phage we show that herd immunity arises in phage-bacterial communities and that it is accentuated when the populations are spatially structured. By fitting a mathematical model, we inferred expressions for the herd immunity threshold and the velocity of spread of a phage epidemic in partially resistant bacterial populations, which both depend on the bacterial growth rate, phage burst size and phage latent period. We also investigated the poten- tial for social immunity in Streptococcus thermophilus and its phage 2972 using a bioinformatic analysis of potentially coding short open reading frames with a signalling signature, encoded within the CRISPR associated genes. Subsequently, we tested one identified potentially signalling peptide and found that its addition to a phage-challenged culture increases probability of survival of bacteria two fold, although the results were only marginally significant. Together, these results demonstrate that the ubiquitous arms races between bacteria and phages have further consequences at the level of the population.","lang":"eng"}],"file_date_updated":"2021-02-22T13:45:59Z","alternative_title":["ISTA Thesis"],"type":"dissertation","date_updated":"2023-09-07T12:00:00Z","date_created":"2019-04-09T15:16:45Z","oa_version":"Published Version","file":[{"file_size":3025175,"content_type":"application/pdf","creator":"dernst","file_name":"thesis_pavel_payne_final_w_signature_page.pdf","access_level":"closed","date_updated":"2020-07-14T12:47:27Z","date_created":"2019-04-09T15:15:32Z","checksum":"a0fc5c26a89c0ea759947ffba87d0d8f","relation":"main_file","file_id":"6292"},{"creator":"dernst","file_size":3111536,"content_type":"application/pdf","access_level":"open_access","file_name":"2017_Payne_Thesis.pdf","success":1,"checksum":"af531e921a7f64a9e0af4cd8783b2226","date_updated":"2021-02-22T13:45:59Z","date_created":"2021-02-22T13:45:59Z","file_id":"9187","relation":"main_file"}],"author":[{"full_name":"Payne, Pavel","id":"35F78294-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2711-9453","first_name":"Pavel","last_name":"Payne"}],"title":"Bacterial herd and social immunity to phages","publication_status":"published","status":"public","ddc":["570"],"department":[{"_id":"NiBa"},{"_id":"JoBo"}],"publisher":"Institute of Science and Technology Austria","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"6291","year":"2017"},{"month":"12","day":"29","article_processing_charge":"No","citation":{"short":"A. Etheridge, N.H. Barton, (2017).","mla":"Etheridge, Alison, and Nicholas H. Barton. Data for: Establishment in a New Habitat by Polygenic Adaptation. Mendeley Data, 2017, doi:10.17632/nw68fxzjpm.1.","chicago":"Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.” Mendeley Data, 2017. https://doi.org/10.17632/nw68fxzjpm.1.","ama":"Etheridge A, Barton NH. Data for: Establishment in a new habitat by polygenic adaptation. 2017. doi:10.17632/nw68fxzjpm.1","apa":"Etheridge, A., & Barton, N. H. (2017). Data for: Establishment in a new habitat by polygenic adaptation. Mendeley Data. https://doi.org/10.17632/nw68fxzjpm.1","ieee":"A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.","ista":"Etheridge A, Barton NH. 2017. Data for: Establishment in a new habitat by polygenic adaptation, Mendeley Data, 10.17632/nw68fxzjpm.1."},"main_file_link":[{"url":"https://doi.org/10.17632/nw68fxzjpm.1","open_access":"1"}],"oa":1,"date_published":"2017-12-29T00:00:00Z","doi":"10.17632/nw68fxzjpm.1","type":"research_data_reference","abstract":[{"text":"Mathematica notebooks used to generate figures.","lang":"eng"}],"year":"2017","_id":"9842","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","title":"Data for: Establishment in a new habitat by polygenic adaptation","status":"public","department":[{"_id":"NiBa"}],"publisher":"Mendeley Data","author":[{"full_name":"Etheridge, Alison","first_name":"Alison","last_name":"Etheridge"},{"last_name":"Barton","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"}],"related_material":{"record":[{"id":"564","relation":"used_in_publication","status":"public"}]},"date_updated":"2023-09-11T13:41:21Z","date_created":"2021-08-09T13:18:55Z","oa_version":"Published Version"},{"file_date_updated":"2020-07-14T12:44:46Z","ec_funded":1,"publist_id":"5898","date_updated":"2023-09-20T11:06:03Z","date_created":"2018-12-11T11:51:32Z","volume":54,"author":[{"full_name":"Giacobbe, Mirco","orcid":"0000-0001-8180-0904","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","last_name":"Giacobbe","first_name":"Mirco"},{"last_name":"Guet","first_name":"Calin C","orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","full_name":"Guet, Calin C"},{"full_name":"Gupta, Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87","last_name":"Gupta","first_name":"Ashutosh"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"},{"last_name":"Paixao","first_name":"Tiago","orcid":"0000-0003-2361-3953","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","full_name":"Paixao, Tiago"},{"last_name":"Petrov","first_name":"Tatjana","orcid":"0000-0002-9041-0905","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","full_name":"Petrov, Tatjana"}],"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"1835"}]},"publication_status":"published","publisher":"Springer","department":[{"_id":"ToHe"},{"_id":"CaGu"},{"_id":"NiBa"}],"year":"2017","month":"12","publication_identifier":{"issn":["00015903"]},"language":[{"iso":"eng"}],"doi":"10.1007/s00236-016-0278-x","isi":1,"quality_controlled":"1","project":[{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","call_identifier":"FP7","_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","grant_number":"618091"},{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"},{"name":"Limits to selection in biology and in evolutionary computation","call_identifier":"FP7","grant_number":"250152","_id":"25B07788-B435-11E9-9278-68D0E5697425"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000414343200003"]},"abstract":[{"text":"The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.","lang":"eng"}],"issue":"8","type":"journal_article","oa_version":"Published Version","file":[{"file_name":"2017_ActaInformatica_Giacobbe.pdf","access_level":"open_access","file_size":755241,"content_type":"application/pdf","creator":"dernst","relation":"main_file","file_id":"5841","date_updated":"2020-07-14T12:44:46Z","date_created":"2019-01-17T15:57:29Z","checksum":"4e661d9135d7f8c342e8e258dee76f3e"}],"pubrep_id":"649","title":"Model checking the evolution of gene regulatory networks","status":"public","ddc":["006","576"],"intvolume":" 54","_id":"1351","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"01","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","date_published":"2017-12-01T00:00:00Z","page":"765 - 787","publication":"Acta Informatica","citation":{"chicago":"Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.","short":"M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.","mla":"Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.","apa":"Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica. Springer. https://doi.org/10.1007/s00236-016-0278-x","ieee":"M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.","ista":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2017. Model checking the evolution of gene regulatory networks. Acta Informatica. 54(8), 765–787.","ama":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x"}}]