[{"year":"2015","day":"16","publication":"Nature","page":"217 - 221","date_published":"2015-03-16T00:00:00Z","doi":"10.1038/nature14215","date_created":"2018-12-11T11:54:10Z","quality_controlled":"1","publisher":"Nature Publishing Group","oa":1,"citation":{"mla":"Porazinski, Sean, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.” Nature, vol. 521, no. 7551, Nature Publishing Group, 2015, pp. 217–21, doi:10.1038/nature14215.","apa":"Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H., … Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. Nature Publishing Group. https://doi.org/10.1038/nature14215","ama":"Porazinski S, Wang H, Asaoka Y, et al. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 2015;521(7551):217-221. doi:10.1038/nature14215","ieee":"S. Porazinski et al., “YAP is essential for tissue tension to ensure vertebrate 3D body shape,” Nature, vol. 521, no. 7551. Nature Publishing Group, pp. 217–221, 2015.","short":"S. Porazinski, H. Wang, Y. Asaoka, M. Behrndt, T. Miyamoto, H. Morita, S. Hata, T. Sasaki, G. Krens, Y. Osada, S. Asaka, A. Momoi, S. Linton, J. Miesfeld, B. Link, T. Senga, A. Castillo Morales, A. Urrutia, N. Shimizu, H. Nagase, S. Matsuura, S. Bagby, H. Kondoh, H. Nishina, C.-P.J. Heisenberg, M. Furutani Seiki, Nature 521 (2015) 217–221.","chicago":"Porazinski, Sean, Huijia Wang, Yoichi Asaoka, Martin Behrndt, Tatsuo Miyamoto, Hitoshi Morita, Shoji Hata, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature14215.","ista":"Porazinski S, Wang H, Asaoka Y, Behrndt M, Miyamoto T, Morita H, Hata S, Sasaki T, Krens G, Osada Y, Asaka S, Momoi A, Linton S, Miesfeld J, Link B, Senga T, Castillo Morales A, Urrutia A, Shimizu N, Nagase H, Matsuura S, Bagby S, Kondoh H, Nishina H, Heisenberg C-PJ, Furutani Seiki M. 2015. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 521(7551), 217–221."},"user_id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Sean","last_name":"Porazinski","full_name":"Porazinski, Sean"},{"last_name":"Wang","full_name":"Wang, Huijia","first_name":"Huijia"},{"full_name":"Asaoka, Yoichi","last_name":"Asaoka","first_name":"Yoichi"},{"full_name":"Behrndt, Martin","last_name":"Behrndt","id":"3ECECA3A-F248-11E8-B48F-1D18A9856A87","first_name":"Martin"},{"first_name":"Tatsuo","full_name":"Miyamoto, Tatsuo","last_name":"Miyamoto"},{"last_name":"Morita","full_name":"Morita, Hitoshi","id":"4C6E54C6-F248-11E8-B48F-1D18A9856A87","first_name":"Hitoshi"},{"full_name":"Hata, Shoji","last_name":"Hata","first_name":"Shoji"},{"first_name":"Takashi","last_name":"Sasaki","full_name":"Sasaki, Takashi"},{"orcid":"0000-0003-4761-5996","full_name":"Krens, Gabriel","last_name":"Krens","id":"2B819732-F248-11E8-B48F-1D18A9856A87","first_name":"Gabriel"},{"full_name":"Osada, Yumi","last_name":"Osada","first_name":"Yumi"},{"full_name":"Asaka, Satoshi","last_name":"Asaka","first_name":"Satoshi"},{"full_name":"Momoi, Akihiro","last_name":"Momoi","first_name":"Akihiro"},{"first_name":"Sarah","full_name":"Linton, Sarah","last_name":"Linton"},{"last_name":"Miesfeld","full_name":"Miesfeld, Joel","first_name":"Joel"},{"last_name":"Link","full_name":"Link, Brian","first_name":"Brian"},{"full_name":"Senga, Takeshi","last_name":"Senga","first_name":"Takeshi"},{"full_name":"Castillo Morales, Atahualpa","last_name":"Castillo Morales","first_name":"Atahualpa"},{"full_name":"Urrutia, Araxi","last_name":"Urrutia","first_name":"Araxi"},{"first_name":"Nobuyoshi","last_name":"Shimizu","full_name":"Shimizu, Nobuyoshi"},{"first_name":"Hideaki","last_name":"Nagase","full_name":"Nagase, Hideaki"},{"first_name":"Shinya","last_name":"Matsuura","full_name":"Matsuura, Shinya"},{"first_name":"Stefan","full_name":"Bagby, Stefan","last_name":"Bagby"},{"full_name":"Kondoh, Hisato","last_name":"Kondoh","first_name":"Hisato"},{"full_name":"Nishina, Hiroshi","last_name":"Nishina","first_name":"Hiroshi"},{"first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg"},{"first_name":"Makoto","last_name":"Furutani Seiki","full_name":"Furutani Seiki, Makoto"}],"publist_id":"5289","external_id":{"pmid":["25778702"]},"title":"YAP is essential for tissue tension to ensure vertebrate 3D body shape","publication_status":"published","language":[{"iso":"eng"}],"volume":521,"issue":"7551","abstract":[{"lang":"eng","text":"Vertebrates have a unique 3D body shape in which correct tissue and organ shape and alignment are essential for function. For example, vision requires the lens to be centred in the eye cup which must in turn be correctly positioned in the head. Tissue morphogenesis depends on force generation, force transmission through the tissue, and response of tissues and extracellular matrix to force. Although a century ago D'Arcy Thompson postulated that terrestrial animal body shapes are conditioned by gravity, there has been no animal model directly demonstrating how the aforementioned mechano-morphogenetic processes are coordinated to generate a body shape that withstands gravity. Here we report a unique medaka fish (Oryzias latipes) mutant, hirame (hir), which is sensitive to deformation by gravity. hir embryos display a markedly flattened body caused by mutation of YAP, a nuclear executor of Hippo signalling that regulates organ size. We show that actomyosin-mediated tissue tension is reduced in hir embryos, leading to tissue flattening and tissue misalignment, both of which contribute to body flattening. By analysing YAP function in 3D spheroids of human cells, we identify the Rho GTPase activating protein ARHGAP18 as an effector of YAP in controlling tissue tension. Together, these findings reveal a previously unrecognised function of YAP in regulating tissue shape and alignment required for proper 3D body shape. Understanding this morphogenetic function of YAP could facilitate the use of embryonic stem cells to generate complex organs requiring correct alignment of multiple tissues. "}],"pmid":1,"oa_version":"Submitted Version","scopus_import":1,"main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4720436/"}],"month":"03","intvolume":" 521","date_updated":"2021-01-12T06:53:23Z","department":[{"_id":"CaHe"}],"_id":"1817","type":"journal_article","status":"public"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , vol. 5, AAAI Press, 2015, pp. 3496–502.","apa":"Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.","ama":"Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . Vol 5. AAAI Press; 2015:3496-3502.","ieee":"K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.","short":"K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.","chicago":"Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.","ista":"Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Optimal cost almost-sure reachability in POMDPs. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical Intelligence, vol. 5, 3496–3502."},"title":"Optimal cost almost-sure reachability in POMDPs","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87","last_name":"Chmelik","full_name":"Chmelik, Martin"},{"first_name":"Raghav","full_name":"Gupta, Raghav","last_name":"Gupta"},{"last_name":"Kanodia","full_name":"Kanodia, Ayush","first_name":"Ayush"}],"publist_id":"5286","external_id":{"arxiv":["1411.3880"]},"project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"}],"day":"01","publication":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence ","year":"2015","date_published":"2015-06-01T00:00:00Z","date_created":"2018-12-11T11:54:11Z","page":"3496-3502","acknowledgement":" The research was partly supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","quality_controlled":"1","publisher":"AAAI Press","oa":1,"date_updated":"2023-02-23T10:02:57Z","department":[{"_id":"KrCh"}],"_id":"1820","status":"public","type":"conference","conference":{"location":"Austin, TX, USA","end_date":"2015-01-30","start_date":"2015-01-25","name":"IAAI: Innovative Applications of Artificial Intelligence"},"language":[{"iso":"eng"}],"publication_status":"published","related_material":{"record":[{"id":"1529","status":"public","relation":"later_version"}]},"volume":5,"ec_funded":1,"oa_version":"Preprint","abstract":[{"text":"We consider partially observable Markov decision processes (POMDPs) with a set of target states and every transition is associated with an integer cost. The optimization objec- tive we study asks to minimize the expected total cost till the target set is reached, while ensuring that the target set is reached almost-surely (with probability 1). We show that for integer costs approximating the optimal cost is undecidable. For positive costs, our results are as follows: (i) we establish matching lower and upper bounds for the optimal cost and the bound is double exponential; (ii) we show that the problem of approximating the optimal cost is decidable and present ap- proximation algorithms developing on the existing algorithms for POMDPs with finite-horizon objectives. While the worst- case running time of our algorithm is double exponential, we present efficient stopping criteria for the algorithm and show experimentally that it performs well in many examples.","lang":"eng"}],"month":"06","intvolume":" 5","scopus_import":1,"alternative_title":["Artifical Intelligence"],"main_file_link":[{"url":"http://arxiv.org/abs/1411.3880","open_access":"1"}]},{"title":"Water wave animation via wavefront parameter interpolation","author":[{"full_name":"Jeschke, Stefan","last_name":"Jeschke","first_name":"Stefan","id":"44D6411A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J"}],"publist_id":"5292","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” ACM Transactions on Graphics. ACM, 2015. https://doi.org/10.1145/2714572.","ista":"Jeschke S, Wojtan C. 2015. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 34(3), 27.","mla":"Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” ACM Transactions on Graphics, vol. 34, no. 3, 27, ACM, 2015, doi:10.1145/2714572.","ama":"Jeschke S, Wojtan C. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 2015;34(3). doi:10.1145/2714572","apa":"Jeschke, S., & Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2714572","short":"S. Jeschke, C. Wojtan, ACM Transactions on Graphics 34 (2015).","ieee":"S. Jeschke and C. Wojtan, “Water wave animation via wavefront parameter interpolation,” ACM Transactions on Graphics, vol. 34, no. 3. ACM, 2015."},"project":[{"_id":"25357BD2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P 24352-N23","name":"Deep Pictures: Creating Visual and Haptic Vector Images"},{"name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales","grant_number":"638176","call_identifier":"H2020","_id":"2533E772-B435-11E9-9278-68D0E5697425"}],"article_number":"27","date_created":"2018-12-11T11:54:09Z","date_published":"2015-04-01T00:00:00Z","doi":"10.1145/2714572","publication":"ACM Transactions on Graphics","day":"01","year":"2015","has_accepted_license":"1","oa":1,"quality_controlled":"1","publisher":"ACM","file_date_updated":"2020-07-14T12:45:17Z","department":[{"_id":"ChWo"}],"ddc":["000"],"date_updated":"2023-02-23T10:15:40Z","pubrep_id":"575","status":"public","type":"journal_article","_id":"1814","ec_funded":1,"issue":"3","volume":34,"language":[{"iso":"eng"}],"file":[{"date_created":"2018-12-12T10:12:15Z","file_name":"IST-2016-575-v1+1_wavefront_preprint.pdf","creator":"system","date_updated":"2020-07-14T12:45:17Z","file_size":23712153,"file_id":"4933","checksum":"67c9f4fa370def68cdf31299e48bc91f","access_level":"open_access","relation":"main_file","content_type":"application/pdf"}],"publication_status":"published","intvolume":" 34","month":"04","scopus_import":1,"oa_version":"Submitted Version","abstract":[{"text":"We present an efficient wavefront tracking algorithm for animating bodies of water that interact with their environment. Our contributions include: a novel wavefront tracking technique that enables dispersion, refraction, reflection, and diffraction in the same simulation; a unique multivalued function interpolation method that enables our simulations to elegantly sidestep the Nyquist limit; a dispersion approximation for efficiently amplifying the number of simulated waves by several orders of magnitude; and additional extensions that allow for time-dependent effects and interactive artistic editing of the resulting animation. Our contributions combine to give us multitudes more wave details than similar algorithms, while maintaining high frame rates and allowing close camera zooms.","lang":"eng"}]},{"volume":112,"issue":"20","ec_funded":1,"language":[{"iso":"eng"}],"publication_status":"published","month":"05","intvolume":" 112","scopus_import":1,"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4443383/","open_access":"1"}],"pmid":1,"oa_version":"Submitted Version","abstract":[{"lang":"eng","text":"Why do species not adapt to ever-wider ranges of conditions, gradually expanding their ecological niche and geographic range? Gene flow across environments has two conflicting effects: although it increases genetic variation, which is a prerequisite for adaptation, gene flow may swamp adaptation to local conditions. In 1956, Haldane proposed that, when the environment varies across space, "swamping" by gene flow creates a positive feedback between low population size and maladaptation, leading to a sharp range margin. However, current deterministic theory shows that, when variance can evolve, there is no such limit. Using simple analytical tools and simulations, we show that genetic drift can generate a sharp margin to a species' range, by reducing genetic variance below the level needed for adaptation to spatially variable conditions. Aided by separation of ecological and evolutionary timescales, the identified effective dimensionless parameters reveal a simple threshold that predicts when adaptation at the range margin fails. Two observable parameters determine the threshold: (i) the effective environmental gradient, which can be measured by the loss of fitness due to dispersal to a different environment; and (ii) the efficacy of selection relative to genetic drift. The theory predicts sharp range margins even in the absence of abrupt changes in the environment. Furthermore, it implies that gradual worsening of conditions across a species' habitat may lead to a sudden range fragmentation, when adaptation to a wide span of conditions within a single species becomes impossible."}],"department":[{"_id":"NiBa"}],"date_updated":"2021-01-12T06:53:24Z","status":"public","type":"journal_article","_id":"1818","date_published":"2015-05-19T00:00:00Z","doi":"10.1073/pnas.1421515112","date_created":"2018-12-11T11:54:11Z","page":"6401 - 6406","day":"19","publication":"PNAS","year":"2015","publisher":"National Academy of Sciences","quality_controlled":"1","oa":1,"title":"Limits to adaptation along environmental gradients","publist_id":"5288","author":[{"first_name":"Jitka","id":"3BBFB084-F248-11E8-B48F-1D18A9856A87","full_name":"Polechova, Jitka","orcid":"0000-0003-0951-3112","last_name":"Polechova"},{"full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H"}],"external_id":{"pmid":["25941385"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"J. Polechova and N. H. Barton, “Limits to adaptation along environmental gradients,” PNAS, vol. 112, no. 20. National Academy of Sciences, pp. 6401–6406, 2015.","short":"J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.","ama":"Polechova J, Barton NH. Limits to adaptation along environmental gradients. PNAS. 2015;112(20):6401-6406. doi:10.1073/pnas.1421515112","apa":"Polechova, J., & Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1421515112","mla":"Polechova, Jitka, and Nicholas H. Barton. “Limits to Adaptation along Environmental Gradients.” PNAS, vol. 112, no. 20, National Academy of Sciences, 2015, pp. 6401–06, doi:10.1073/pnas.1421515112.","ista":"Polechova J, Barton NH. 2015. Limits to adaptation along environmental gradients. PNAS. 112(20), 6401–6406.","chicago":"Polechova, Jitka, and Nicholas H Barton. “Limits to Adaptation along Environmental Gradients.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1421515112."},"project":[{"name":"Limits to selection in biology and in evolutionary computation","grant_number":"250152","_id":"25B07788-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}]},{"doi":"10.1016/j.molp.2015.03.007","date_published":"2015-08-03T00:00:00Z","date_created":"2018-12-11T11:54:11Z","page":"1175 - 1187","day":"03","publication":"Molecular Plant","year":"2015","quality_controlled":"1","publisher":"Elsevier","acknowledgement":"This work was supported by the European Research Council (project ERC-2011-StG-20101109-PSDP); European Social Fund (CZ.1.07/2.3.00/20.0043) and the Czech Science Foundation GAČR (GA13-40637S) to J.F.; project Postdoc I. (CZ.1.07/2.3.00/30.0009) co-financed by the European Social Fund and the state budget of the Czech Republic to M.Z. and T.N..","title":"Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana","publist_id":"5287","author":[{"first_name":"Marta","last_name":"Zwiewka","full_name":"Zwiewka, Marta"},{"first_name":"Tomasz","last_name":"Nodzyński","full_name":"Nodzyński, Tomasz"},{"first_name":"Stéphanie","full_name":"Robert, Stéphanie","last_name":"Robert"},{"first_name":"Steffen","full_name":"Vanneste, Steffen","last_name":"Vanneste"},{"first_name":"Jiřĺ","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiřĺ"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Zwiewka M, Nodzyński T, Robert S, Vanneste S, Friml J. 2015. Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. 8(8), 1175–1187.","chicago":"Zwiewka, Marta, Tomasz Nodzyński, Stéphanie Robert, Steffen Vanneste, and Jiří Friml. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.” Molecular Plant. Elsevier, 2015. https://doi.org/10.1016/j.molp.2015.03.007.","ama":"Zwiewka M, Nodzyński T, Robert S, Vanneste S, Friml J. Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. 2015;8(8):1175-1187. doi:10.1016/j.molp.2015.03.007","apa":"Zwiewka, M., Nodzyński, T., Robert, S., Vanneste, S., & Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2015.03.007","short":"M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.","ieee":"M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, and J. Friml, “Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana,” Molecular Plant, vol. 8, no. 8. Elsevier, pp. 1175–1187, 2015.","mla":"Zwiewka, Marta, et al. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.” Molecular Plant, vol. 8, no. 8, Elsevier, 2015, pp. 1175–87, doi:10.1016/j.molp.2015.03.007."},"project":[{"grant_number":"282300","name":"Polarity and subcellular dynamics in plants","call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"volume":8,"issue":"8","ec_funded":1,"language":[{"iso":"eng"}],"publication_status":"published","month":"08","intvolume":" 8","scopus_import":1,"oa_version":"None","abstract":[{"text":"The sessile life style of plants creates the need to deal with an often adverse environment, in which water availability can change on a daily basis, challenging the cellular physiology and integrity. Changes in osmotic conditions disrupt the equilibrium of the plasma membrane: hypoosmotic conditions increase and hyperosmotic environment decrease the cell volume. Here, we show that short-term extracellular osmotic treatments are closely followed by a shift in the balance between endocytosis and exocytosis in root meristem cells. Acute hyperosmotic treatments (ionic and nonionic) enhance clathrin-mediated endocytosis simultaneously attenuating exocytosis, whereas hypoosmotic treatments have the opposite effects. In addition to clathrin recruitment to the plasma membrane, components of early endocytic trafficking are essential during hyperosmotic stress responses. Consequently, growth of seedlings defective in elements of clathrin or early endocytic machinery is more sensitive to hyperosmotic treatments. We also found that the endocytotic response to a change of osmotic status in the environment is dominant over the presumably evolutionary more recent regulatory effect of plant hormones, such as auxin. These results imply that osmotic perturbation influences the balance between endocytosis and exocytosis acting through clathrin-mediated endocytosis. We propose that tension on the plasma membrane determines the addition or removal of membranes at the cell surface, thus preserving cell integrity.","lang":"eng"}],"department":[{"_id":"JiFr"}],"date_updated":"2021-01-12T06:53:24Z","status":"public","type":"journal_article","_id":"1819"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Chevereau G, Bollenbach MT. Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. 2015;11(4). doi:10.15252/msb.20156098","apa":"Chevereau, G., & Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.15252/msb.20156098","short":"G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).","ieee":"G. Chevereau and M. T. Bollenbach, “Systematic discovery of drug interaction mechanisms,” Molecular Systems Biology, vol. 11, no. 4. Nature Publishing Group, 2015.","mla":"Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” Molecular Systems Biology, vol. 11, no. 4, 807, Nature Publishing Group, 2015, doi:10.15252/msb.20156098.","ista":"Chevereau G, Bollenbach MT. 2015. Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. 11(4), 807.","chicago":"Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” Molecular Systems Biology. Nature Publishing Group, 2015. https://doi.org/10.15252/msb.20156098."},"title":"Systematic discovery of drug interaction mechanisms","publist_id":"5283","author":[{"id":"424D78A0-F248-11E8-B48F-1D18A9856A87","first_name":"Guillaume","full_name":"Chevereau, Guillaume","last_name":"Chevereau"},{"id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","first_name":"Mark Tobias","orcid":"0000-0003-4398-476X","full_name":"Bollenbach, Mark Tobias","last_name":"Bollenbach"}],"article_number":"807","project":[{"call_identifier":"FWF","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","grant_number":"P27201-B22","name":"Revealing the mechanisms underlying drug interactions"},{"name":"Revealing the fundamental limits of cell growth","grant_number":"RGP0042/2013","_id":"25EB3A80-B435-11E9-9278-68D0E5697425"},{"_id":"25E83C2C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"303507","name":"Optimality principles in responses to antibiotics"}],"publication":"Molecular Systems Biology","day":"01","year":"2015","has_accepted_license":"1","date_created":"2018-12-11T11:54:12Z","doi":"10.15252/msb.20156098","date_published":"2015-04-01T00:00:00Z","oa":1,"publisher":"Nature Publishing Group","quality_controlled":"1","ddc":["570"],"date_updated":"2021-01-12T06:53:26Z","department":[{"_id":"ToBo"}],"file_date_updated":"2020-07-14T12:45:17Z","_id":"1823","pubrep_id":"395","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)"},"type":"journal_article","language":[{"iso":"eng"}],"file":[{"date_created":"2018-12-12T10:14:34Z","file_name":"IST-2015-395-v1+1_807.full.pdf","date_updated":"2020-07-14T12:45:17Z","file_size":1273573,"creator":"system","checksum":"4289b518fbe2166682fb1a1ef9b405f3","file_id":"5087","content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"publication_status":"published","ec_funded":1,"license":"https://creativecommons.org/licenses/by/4.0/","volume":11,"issue":"4","oa_version":"Published Version","abstract":[{"text":"Abstract Drug combinations are increasingly important in disease treatments, for combating drug resistance, and for elucidating fundamental relationships in cell physiology. When drugs are combined, their individual effects on cells may be amplified or weakened. Such drug interactions are crucial for treatment efficacy, but their underlying mechanisms remain largely unknown. To uncover the causes of drug interactions, we developed a systematic approach based on precise quantification of the individual and joint effects of antibiotics on growth of genome-wide Escherichia coli gene deletion strains. We found that drug interactions between antibiotics representing the main modes of action are highly robust to genetic perturbation. This robustness is encapsulated in a general principle of bacterial growth, which enables the quantitative prediction of mutant growth rates under drug combinations. Rare violations of this principle exposed recurring cellular functions controlling drug interactions. In particular, we found that polysaccharide and ATP synthesis control multiple drug interactions with previously unexplained mechanisms, and small molecule adjuvants targeting these functions synthetically reshape drug interactions in predictable ways. These results provide a new conceptual framework for the design of multidrug combinations and suggest that there are universal mechanisms at the heart of most drug interactions. Synopsis A general principle of bacterial growth enables the prediction of mutant growth rates under drug combinations. Rare violations of this principle expose cellular functions that control drug interactions and can be targeted by small molecules to alter drug interactions in predictable ways. Drug interactions between antibiotics are highly robust to genetic perturbations. A general principle of bacterial growth enables the prediction of mutant growth rates under drug combinations. Rare violations of this principle expose cellular functions that control drug interactions. Diverse drug interactions are controlled by recurring cellular functions, including LPS synthesis and ATP synthesis. A general principle of bacterial growth enables the prediction of mutant growth rates under drug combinations. Rare violations of this principle expose cellular functions that control drug interactions and can be targeted by small molecules to alter drug interactions in predictable ways.","lang":"eng"}],"intvolume":" 11","month":"04","scopus_import":1},{"year":"2015","has_accepted_license":"1","publication":"Nature Communications","day":"24","date_created":"2018-12-11T11:54:13Z","date_published":"2015-04-24T00:00:00Z","doi":"10.1038/ncomms7977","oa":1,"quality_controlled":"1","publisher":"Nature Publishing Group","citation":{"mla":"Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications, vol. 6, 6977, Nature Publishing Group, 2015, doi:10.1038/ncomms7977.","apa":"Knebel, J., Weber, M., Krüger, T. H., & Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms7977","ama":"Knebel J, Weber M, Krüger TH, Frey E. Evolutionary games of condensates in coupled birth-death processes. Nature Communications. 2015;6. doi:10.1038/ncomms7977","ieee":"J. Knebel, M. Weber, T. H. Krüger, and E. Frey, “Evolutionary games of condensates in coupled birth-death processes,” Nature Communications, vol. 6. Nature Publishing Group, 2015.","short":"J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).","chicago":"Knebel, Johannes, Markus Weber, Torben H Krüger, and Erwin Frey. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications. Nature Publishing Group, 2015. https://doi.org/10.1038/ncomms7977.","ista":"Knebel J, Weber M, Krüger TH, Frey E. 2015. Evolutionary games of condensates in coupled birth-death processes. Nature Communications. 6, 6977."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"5282","author":[{"last_name":"Knebel","full_name":"Knebel, Johannes","first_name":"Johannes"},{"first_name":"Markus","last_name":"Weber","full_name":"Weber, Markus"},{"full_name":"Krüger, Torben H","orcid":"0000-0002-4821-3297","last_name":"Krüger","first_name":"Torben H","id":"3020C786-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Frey, Erwin","last_name":"Frey","first_name":"Erwin"}],"title":"Evolutionary games of condensates in coupled birth-death processes","article_number":"6977","publication_status":"published","language":[{"iso":"eng"}],"file":[{"file_id":"5245","checksum":"c4cffb5c8b245e658a34eac71a03e7cc","access_level":"open_access","relation":"main_file","content_type":"application/pdf","date_created":"2018-12-12T10:16:54Z","file_name":"IST-2016-451-v1+1_ncomms7977.pdf","creator":"system","date_updated":"2020-07-14T12:45:17Z","file_size":1151501}],"volume":6,"abstract":[{"text":"Condensation phenomena arise through a collective behaviour of particles. They are observed in both classical and quantum systems, ranging from the formation of traffic jams in mass transport models to the macroscopic occupation of the energetic ground state in ultra-cold bosonic gases (Bose-Einstein condensation). Recently, it has been shown that a driven and dissipative system of bosons may form multiple condensates. Which states become the condensates has, however, remained elusive thus far. The dynamics of this condensation are described by coupled birth-death processes, which also occur in evolutionary game theory. Here we apply concepts from evolutionary game theory to explain the formation of multiple condensates in such driven-dissipative bosonic systems. We show that the vanishing of relative entropy production determines their selection. The condensation proceeds exponentially fast, but the system never comes to rest. Instead, the occupation numbers of condensates may oscillate, as we demonstrate for a rock-paper-scissors game of condensates.","lang":"eng"}],"oa_version":"Published Version","scopus_import":1,"intvolume":" 6","month":"04","date_updated":"2021-01-12T06:53:26Z","ddc":["530"],"department":[{"_id":"LaEr"}],"file_date_updated":"2020-07-14T12:45:17Z","_id":"1824","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)"},"type":"journal_article","pubrep_id":"451","status":"public"},{"article_number":"20140116","author":[{"first_name":"Peter","full_name":"Kappeler, Peter","last_name":"Kappeler"},{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","first_name":"Sylvia","full_name":"Cremer, Sylvia","orcid":"0000-0002-2193-3868","last_name":"Cremer"},{"first_name":"Charles","full_name":"Nunn, Charles","last_name":"Nunn"}],"publist_id":"5272","external_id":{"pmid":["25870402"]},"title":"Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies","citation":{"ista":"Kappeler P, Cremer S, Nunn C. 2015. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669), 20140116.","chicago":"Kappeler, Peter, Sylvia Cremer, and Charles Nunn. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2015. https://doi.org/10.1098/rstb.2014.0116.","ieee":"P. Kappeler, S. Cremer, and C. Nunn, “Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, 2015.","short":"P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).","ama":"Kappeler P, Cremer S, Nunn C. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0116","apa":"Kappeler, P., Cremer, S., & Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2014.0116","mla":"Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, 20140116, Royal Society, 2015, doi:10.1098/rstb.2014.0116."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Royal Society","quality_controlled":"1","oa":1,"acknowledgement":"We thank the German Research Foundation (DFG), the Ministry of Science and Culture of Lower-Saxony (MWK Hannover) and the German Primate Centre (DPZ) for their support of the 9. Göttinger Freilandtage in 2013, a conference at which most contributions to this issue were first presented, the referees of the contributions to this issue for their constructive comments, Meggan Craft for comments, and Helen Eaton for her support in producing this theme issue.","doi":"10.1098/rstb.2014.0116","date_published":"2015-05-01T00:00:00Z","date_created":"2018-12-11T11:54:15Z","year":"2015","day":"01","publication":"Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences","type":"journal_article","status":"public","_id":"1831","department":[{"_id":"SyCr"}],"date_updated":"2021-01-12T06:53:29Z","scopus_import":1,"main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4410382/","open_access":"1"}],"month":"05","intvolume":" 370","abstract":[{"lang":"eng","text":"This paper introduces a theme issue presenting the latest developments in research on the impacts of sociality on health and fitness. The articles that follow cover research on societies ranging from insects to humans. Variation in measures of fitness (i.e. survival and reproduction) has been linked to various aspects of sociality in humans and animals alike, and variability in individual health and condition has been recognized as a key mediator of these relationships. Viewed from a broad evolutionary perspective, the evolutionary transitions from a solitary lifestyle to group living have resulted in several new health-related costs and benefits of sociality. Social transmission of parasites within groups represents a major cost of group living, but some behavioural mechanisms, such as grooming, have evolved repeatedly to reduce this cost. Group living also has created novel costs in terms of altered susceptibility to infectious and non-infectious disease as a result of the unavoidable physiological consequences of social competition and integration, which are partly alleviated by social buffering in some vertebrates. Here, we define the relevant aspects of sociality, summarize their health-related costs and benefits, and discuss possible fitness measures in different study systems. Given the pervasive effects of social factors on health and fitness, we propose a synthesis of existing conceptual approaches in disease ecology, ecological immunology and behavioural neurosciences by adding sociality as a key factor, with the goal to generate a broader framework for organismal integration of health-related research."}],"pmid":1,"oa_version":"Submitted Version","volume":370,"issue":"1669","publication_status":"published","language":[{"iso":"eng"}]},{"oa_version":"Preprint","abstract":[{"text":"We construct a non-linear Markov process connected with a biological model of a bacterial genome recombination. The description of invariant measures of this process gives us the solution of one problem in elementary probability theory.","lang":"eng"}],"intvolume":" 160","month":"07","main_file_link":[{"url":"arxiv.org/abs/1406.5313","open_access":"1"}],"scopus_import":1,"language":[{"iso":"eng"}],"publication_status":"published","ec_funded":1,"volume":160,"issue":"1","_id":"1828","status":"public","type":"journal_article","date_updated":"2021-01-12T06:53:28Z","department":[{"_id":"HeEd"}],"oa":1,"publisher":"Springer","quality_controlled":"1","publication":"Journal of Statistical Physics","day":"01","year":"2015","date_created":"2018-12-11T11:54:14Z","doi":"10.1007/s10955-015-1238-5","date_published":"2015-07-01T00:00:00Z","page":"163 - 167","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Akopyan A, Pirogov S, Rybko A. 2015. Invariant measures of genetic recombination process. Journal of Statistical Physics. 160(1), 163–167.","chicago":"Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics. Springer, 2015. https://doi.org/10.1007/s10955-015-1238-5.","ieee":"A. Akopyan, S. Pirogov, and A. Rybko, “Invariant measures of genetic recombination process,” Journal of Statistical Physics, vol. 160, no. 1. Springer, pp. 163–167, 2015.","short":"A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.","apa":"Akopyan, A., Pirogov, S., & Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-015-1238-5","ama":"Akopyan A, Pirogov S, Rybko A. Invariant measures of genetic recombination process. Journal of Statistical Physics. 2015;160(1):163-167. doi:10.1007/s10955-015-1238-5","mla":"Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:10.1007/s10955-015-1238-5."},"title":"Invariant measures of genetic recombination process","article_processing_charge":"No","publist_id":"5276","author":[{"last_name":"Akopyan","full_name":"Akopyan, Arseniy","orcid":"0000-0002-2548-617X","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","first_name":"Arseniy"},{"full_name":"Pirogov, Sergey","last_name":"Pirogov","first_name":"Sergey"},{"first_name":"Aleksandr","full_name":"Rybko, Aleksandr","last_name":"Rybko"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.","short":"P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.","ieee":"P. Cerny, T. A. Henzinger, L. Kovács, A. Radhakrishna, and J. Zwirchmayr, “Segment abstraction for worst-case execution time analysis,” vol. 9032. Springer, pp. 105–131, 2015.","ama":"Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction for worst-case execution time analysis. 2015;9032:105-131. doi:10.1007/978-3-662-46669-8_5","apa":"Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., & Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46669-8_5","chicago":"Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46669-8_5.","ista":"Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. 2015. Segment abstraction for worst-case execution time analysis. 9032, 105–131."},"title":"Segment abstraction for worst-case execution time analysis","author":[{"full_name":"Cerny, Pavol","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Laura","last_name":"Kovács","full_name":"Kovács, Laura"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","full_name":"Radhakrishna, Arjun","last_name":"Radhakrishna"},{"full_name":"Zwirchmayr, Jakob","last_name":"Zwirchmayr","first_name":"Jakob"}],"publist_id":"5266","project":[{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"}],"day":"01","year":"2015","doi":"10.1007/978-3-662-46669-8_5","date_published":"2015-04-01T00:00:00Z","date_created":"2018-12-11T11:54:16Z","page":"105 - 131","publisher":"Springer","quality_controlled":"1","date_updated":"2020-08-11T10:09:32Z","department":[{"_id":"ToHe"}],"series_title":"Lecture Notes in Computer Science","_id":"1836","status":"public","type":"conference","conference":{"name":"ESOP: European Symposium on Programming","start_date":"2015-04-11","end_date":"2015-04-18","location":"London, United Kingdom"},"language":[{"iso":"eng"}],"publication_status":"published","volume":9032,"ec_funded":1,"oa_version":"None","abstract":[{"text":"In the standard framework for worst-case execution time (WCET) analysis of programs, the main data structure is a single instance of integer linear programming (ILP) that represents the whole program. The instance of this NP-hard problem must be solved to find an estimate forWCET, and it must be refined if the estimate is not tight.We propose a new framework for WCET analysis, based on abstract segment trees (ASTs) as the main data structure. The ASTs have two advantages. First, they allow computing WCET by solving a number of independent small ILP instances. Second, ASTs store more expressive constraints, thus enabling a more efficient and precise refinement procedure. In order to realize our framework algorithmically, we develop an algorithm for WCET estimation on ASTs, and we develop an interpolation-based counterexample-guided refinement scheme for ASTs. Furthermore, we extend our framework to obtain parametric estimates of WCET. We experimentally evaluate our approach on a set of examples from WCET benchmark suites and linear-algebra packages. We show that our analysis, with comparable effort, provides WCET estimates that in many cases significantly improve those computed by existing tools.","lang":"eng"}],"month":"04","intvolume":" 9032","alternative_title":["LNCS"],"scopus_import":1},{"publist_id":"5264","author":[{"first_name":"Roderick","last_name":"Bloem","full_name":"Bloem, Roderick"},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Jacobs","full_name":"Jacobs, Swen","first_name":"Swen"},{"first_name":"Robert","last_name":"Könighofer","full_name":"Könighofer, Robert"}],"title":"Assume-guarantee synthesis for concurrent reactive programs with partial information","citation":{"chicago":"Bloem, Roderick, Krishnendu Chatterjee, Swen Jacobs, and Robert Könighofer. “Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information,” 9035:517–32. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_50.","ista":"Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis for concurrent reactive programs with partial information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9035, 517–532.","mla":"Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.","ieee":"R. Bloem, K. Chatterjee, S. Jacobs, and R. Könighofer, “Assume-guarantee synthesis for concurrent reactive programs with partial information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 2015, vol. 9035, pp. 517–532.","short":"R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.","apa":"Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_50","ama":"Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information. In: Vol 9035. Springer; 2015:517-532. doi:10.1007/978-3-662-46681-0_50"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"}],"page":"517 - 532","date_created":"2018-12-11T11:54:17Z","date_published":"2015-01-01T00:00:00Z","doi":"10.1007/978-3-662-46681-0_50","year":"2015","day":"01","oa":1,"publisher":"Springer","acknowledgement":"This work was supported by the Austrian Science Fund (FWF) through the research network RiSE (S11406-N23, S11407-N23) and grant nr. P23499-N23, by the European Commission through an ERC Start grant (279307: Graph Games) and project STANCE (317753), as well as by the German Research Foundation (DFG) through SFB/TR 14 AVACS and project ASDPS(JA 2357/2-1).","department":[{"_id":"KrCh"}],"date_updated":"2021-01-12T06:53:32Z","conference":{"location":"London, United Kingdom","end_date":"2015-04-18","start_date":"2015-04-11","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"type":"conference","status":"public","_id":"1838","ec_funded":1,"volume":9035,"publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1411.4604"}],"scopus_import":1,"alternative_title":["LNCS"],"intvolume":" 9035","month":"01","abstract":[{"text":"Synthesis of program parts is particularly useful for concurrent systems. However, most approaches do not support common design tasks, like modifying a single process without having to re-synthesize or verify the whole system. Assume-guarantee synthesis (AGS) provides robustness against modifications of system parts, but thus far has been limited to the perfect information setting. This means that local variables cannot be hidden from other processes, which renders synthesis results cumbersome or even impossible to realize.We resolve this shortcoming by defining AGS under partial information. We analyze the complexity and decidability in different settings, showing that the problem has a high worstcase complexity and is undecidable in many interesting cases. Based on these observations, we present a pragmatic algorithm based on bounded synthesis, and demonstrate its practical applicability on several examples.","lang":"eng"}],"oa_version":"Preprint"},{"abstract":[{"text":"We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool uses the existing interface and simulator of PRISM. Our tool extends PRISM by adding novel algorithms for multiple mean-payoff objectives, and also provides features such as (i) generating strategies and exploring them for simulation, and checking them with respect to other properties; and (ii) generating an approximate Pareto curve for two mean-payoff objectives. In addition, we present a new practical algorithm for the analysis of MDPs with multiple mean-payoff objectives under memoryless strategies.","lang":"eng"}],"oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1501.03093"}],"alternative_title":["LNCS"],"intvolume":" 9035","month":"01","publication_status":"published","language":[{"iso":"eng"}],"ec_funded":1,"volume":9035,"series_title":"Lecture Notes in Computer Science","_id":"1839","conference":{"start_date":"2015-04-11","location":"London, United Kingdom","end_date":"2015-04-18","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"type":"conference","status":"public","date_updated":"2020-01-21T13:18:52Z","department":[{"_id":"KrCh"}],"oa":1,"publisher":"Springer","quality_controlled":"1","year":"2015","day":"01","page":"181 - 187","date_created":"2018-12-11T11:54:18Z","doi":"10.1007/978-3-662-46681-0_12","date_published":"2015-01-01T00:00:00Z","project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"}],"citation":{"ista":"Brázdil T, Chatterjee K, Forejt V, Kučera A. 2015. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 9035, 181–187.","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_12.","short":"T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.","ieee":"T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives,” vol. 9035. Springer, pp. 181–187, 2015.","ama":"Brázdil T, Chatterjee K, Forejt V, Kučera A. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. doi:10.1007/978-3-662-46681-0_12","apa":"Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12","mla":"Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"5263","author":[{"last_name":"Brázdil","full_name":"Brázdil, Tomáš","first_name":"Tomáš"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Forejt, Vojtěch","last_name":"Forejt","first_name":"Vojtěch"},{"last_name":"Kučera","full_name":"Kučera, Antonín","first_name":"Antonín"}],"title":"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"},{"status":"public","article_type":"original","type":"journal_article","_id":"1837","department":[{"_id":"BjHo"}],"date_updated":"2021-01-12T06:53:31Z","month":"04","intvolume":" 770","scopus_import":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1508.06559"}],"oa_version":"Preprint","abstract":[{"lang":"eng","text":"Transition to turbulence in straight pipes occurs in spite of the linear stability of the laminar Hagen-Poiseuille flow if both the amplitude of flow perturbations and the Reynolds number Re exceed a minimum threshold (subcritical transition). As the pipe curvature increases, centrifugal effects become important, modifying the basic flow as well as the most unstable linear modes. If the curvature (tube-to-coiling diameter d/D) is sufficiently large, a Hopf bifurcation (supercritical instability) is encountered before turbulence can be excited (subcritical instability). We trace the instability thresholds in the Re - d/D parameter space in the range 0.01 ≤ d/D\\ ≤ 0.1 by means of laser-Doppler velocimetry and determine the point where the subcritical and supercritical instabilities meet. Two different experimental set-ups are used: a closed system where the pipe forms an axisymmetric torus and an open system employing a helical pipe. Implications for the measurement of friction factors in curved pipes are discussed."}],"volume":770,"issue":"5","ec_funded":1,"language":[{"iso":"eng"}],"publication_status":"published","project":[{"_id":"25152F3A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Decoding the complexity of turbulence at its origin","grant_number":"306589"}],"article_number":"R3","title":"Subcritical versus supercritical transition to turbulence in curved pipes","author":[{"full_name":"Kühnen, Jakob","orcid":"0000-0003-4312-0179","last_name":"Kühnen","id":"3A47AE32-F248-11E8-B48F-1D18A9856A87","first_name":"Jakob"},{"first_name":"P","full_name":"Braunshier, P","last_name":"Braunshier"},{"last_name":"Schwegel","full_name":"Schwegel, M","first_name":"M"},{"last_name":"Kuhlmann","full_name":"Kuhlmann, Hendrik","first_name":"Hendrik"},{"orcid":"0000-0003-2057-2754","full_name":"Hof, Björn","last_name":"Hof","first_name":"Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"5265","article_processing_charge":"No","external_id":{"arxiv":["1508.06559"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, and B. Hof, “Subcritical versus supercritical transition to turbulence in curved pipes,” Journal of Fluid Mechanics, vol. 770, no. 5. Cambridge University Press, 2015.","short":"J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).","ama":"Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. 2015;770(5). doi:10.1017/jfm.2015.184","apa":"Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., & Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2015.184","mla":"Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics, vol. 770, no. 5, R3, Cambridge University Press, 2015, doi:10.1017/jfm.2015.184.","ista":"Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. 2015. Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. 770(5), R3.","chicago":"Kühnen, Jakob, P Braunshier, M Schwegel, Hendrik Kuhlmann, and Björn Hof. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics. Cambridge University Press, 2015. https://doi.org/10.1017/jfm.2015.184."},"quality_controlled":"1","publisher":"Cambridge University Press","oa":1,"doi":"10.1017/jfm.2015.184","date_published":"2015-04-08T00:00:00Z","date_created":"2018-12-11T11:54:17Z","day":"08","publication":"Journal of Fluid Mechanics","year":"2015"},{"year":"2015","day":"01","publication":"International Journal of Cancer","page":"1318 - 1329","doi":"10.1002/ijc.29498","date_published":"2015-09-01T00:00:00Z","date_created":"2018-12-11T11:54:20Z","quality_controlled":"1","publisher":"Wiley","oa":1,"citation":{"chicago":"Schwamb, Bettina, Robert Pick, Sara Fernández, Kirsten Völp, Jan Heering, Volker Dötsch, Susanne Bösser, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor in Gastrointestinal Stromal Tumors.” International Journal of Cancer. Wiley, 2015. https://doi.org/10.1002/ijc.29498.","ista":"Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 137(6), 1318–1329.","mla":"Schwamb, Bettina, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor in Gastrointestinal Stromal Tumors.” International Journal of Cancer, vol. 137, no. 6, Wiley, 2015, pp. 1318–29, doi:10.1002/ijc.29498.","ama":"Schwamb B, Pick R, Fernández S, et al. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 2015;137(6):1318-1329. doi:10.1002/ijc.29498","apa":"Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V., … Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. Wiley. https://doi.org/10.1002/ijc.29498","ieee":"B. Schwamb et al., “FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors,” International Journal of Cancer, vol. 137, no. 6. Wiley, pp. 1318–1329, 2015.","short":"B. Schwamb, R. Pick, S. Fernández, K. Völp, J. Heering, V. Dötsch, S. Bösser, J. Jung, R. Beinoravičiute Kellner, J. Wesely, I. Zörnig, M. Hammerschmidt, M. Nowak, R. Penzel, K. Zatloukal, S. Joos, R. Rieker, A. Agaimy, S. Söder, K. Reid Lombardo, M. Kendrick, M. Bardsley, Y. Hayashi, D. Asuzu, S. Syed, T. Ördög, M. Zörnig, International Journal of Cancer 137 (2015) 1318–1329."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Schwamb, Bettina","last_name":"Schwamb","first_name":"Bettina"},{"first_name":"Robert","last_name":"Pick","full_name":"Pick, Robert"},{"last_name":"Fernández","full_name":"Fernández, Sara","first_name":"Sara"},{"last_name":"Völp","full_name":"Völp, Kirsten","first_name":"Kirsten"},{"first_name":"Jan","last_name":"Heering","full_name":"Heering, Jan"},{"first_name":"Volker","last_name":"Dötsch","full_name":"Dötsch, Volker"},{"first_name":"Susanne","last_name":"Bösser","full_name":"Bösser, Susanne"},{"first_name":"Jennifer","last_name":"Jung","full_name":"Jung, Jennifer"},{"first_name":"Rasa","last_name":"Beinoravičiute Kellner","full_name":"Beinoravičiute Kellner, Rasa"},{"first_name":"Josephine","full_name":"Wesely, Josephine","last_name":"Wesely"},{"full_name":"Zörnig, Inka","last_name":"Zörnig","first_name":"Inka"},{"last_name":"Hammerschmidt","full_name":"Hammerschmidt, Matthias","first_name":"Matthias"},{"id":"30845DAA-F248-11E8-B48F-1D18A9856A87","first_name":"Matthias","last_name":"Nowak","full_name":"Nowak, Matthias"},{"last_name":"Penzel","full_name":"Penzel, Roland","first_name":"Roland"},{"first_name":"Kurt","full_name":"Zatloukal, Kurt","last_name":"Zatloukal"},{"full_name":"Joos, Stefan","last_name":"Joos","first_name":"Stefan"},{"last_name":"Rieker","full_name":"Rieker, Ralf","first_name":"Ralf"},{"first_name":"Abbas","last_name":"Agaimy","full_name":"Agaimy, Abbas"},{"full_name":"Söder, Stephan","last_name":"Söder","first_name":"Stephan"},{"first_name":"Kmarie","full_name":"Reid Lombardo, Kmarie","last_name":"Reid Lombardo"},{"first_name":"Michael","last_name":"Kendrick","full_name":"Kendrick, Michael"},{"first_name":"Michael","full_name":"Bardsley, Michael","last_name":"Bardsley"},{"first_name":"Yujiro","full_name":"Hayashi, Yujiro","last_name":"Hayashi"},{"first_name":"David","full_name":"Asuzu, David","last_name":"Asuzu"},{"last_name":"Syed","full_name":"Syed, Sabriya","first_name":"Sabriya"},{"full_name":"Ördög, Tamás","last_name":"Ördög","first_name":"Tamás"},{"first_name":"Martin","last_name":"Zörnig","full_name":"Zörnig, Martin"}],"publist_id":"5253","article_processing_charge":"No","external_id":{"pmid":["25716227"]},"title":"FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors","publication_status":"published","language":[{"iso":"eng"}],"volume":137,"issue":"6","abstract":[{"lang":"eng","text":"The ability to escape apoptosis is a hallmark of cancer-initiating cells and a key factor of resistance to oncolytic therapy. Here, we identify FAM96A as a ubiquitous, evolutionarily conserved apoptosome-activating protein and investigate its potential pro-apoptotic tumor suppressor function in gastrointestinal stromal tumors (GISTs). Interaction between FAM96A and apoptotic peptidase activating factor 1 (APAF1) was identified in yeast two-hybrid screen and further studied by deletion mutants, glutathione-S-transferase pull-down, co-immunoprecipitation and immunofluorescence. Effects of FAM96A overexpression and knock-down on apoptosis sensitivity were examined in cancer cells and zebrafish embryos. Expression of FAM96A in GISTs and histogenetically related cells including interstitial cells of Cajal (ICCs), “fibroblast-like cells” (FLCs) and ICC stem cells (ICC-SCs) was investigated by Northern blotting, reverse transcription—polymerase chain reaction, immunohistochemistry and Western immunoblotting. Tumorigenicity of GIST cells and transformed murine ICC-SCs stably transduced to re-express FAM96A was studied by xeno- and allografting into immunocompromised mice. FAM96A was found to bind APAF1 and to enhance the induction of mitochondrial apoptosis. FAM96A protein or mRNA was dramatically reduced or lost in 106 of 108 GIST samples representing three independent patient cohorts. Whereas ICCs, ICC-SCs and FLCs, the presumed normal counterparts of GIST, were found to robustly express FAM96A protein and mRNA, FAM96A expression was much reduced in tumorigenic ICC-SCs. Re-expression of FAM96A in GIST cells and transformed ICC-SCs increased apoptosis sensitivity and diminished tumorigenicity. Our data suggest FAM96A is a novel pro-apoptotic tumor suppressor that is lost during GIST tumorigenesis."}],"pmid":1,"oa_version":"Submitted Version","scopus_import":1,"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4497860/","open_access":"1"}],"month":"09","intvolume":" 137","date_updated":"2021-01-12T06:53:36Z","department":[{"_id":"LifeSc"}],"_id":"1848","article_type":"original","type":"journal_article","status":"public"},{"title":"Refinement checking on parametric modal transition systems","article_processing_charge":"No","publist_id":"5255","author":[{"first_name":"Nikola","last_name":"Beneš","full_name":"Beneš, Nikola"},{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","last_name":"Kretinsky"},{"first_name":"Kim","full_name":"Larsen, Kim","last_name":"Larsen"},{"first_name":"Mikael","full_name":"Möller, Mikael","last_name":"Möller"},{"first_name":"Salomon","full_name":"Sickert, Salomon","last_name":"Sickert"},{"first_name":"Jiří","full_name":"Srba, Jiří","last_name":"Srba"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Beneš, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert, and Jiří Srba. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica. Springer, 2015. https://doi.org/10.1007/s00236-015-0215-4.","ista":"Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. 2015. Refinement checking on parametric modal transition systems. Acta Informatica. 52(2–3), 269–297.","mla":"Beneš, Nikola, et al. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica, vol. 52, no. 2–3, Springer, 2015, pp. 269–97, doi:10.1007/s00236-015-0215-4.","ama":"Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. Refinement checking on parametric modal transition systems. Acta Informatica. 2015;52(2-3):269-297. doi:10.1007/s00236-015-0215-4","apa":"Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica. Springer. https://doi.org/10.1007/s00236-015-0215-4","short":"N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.","ieee":"N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, and J. Srba, “Refinement checking on parametric modal transition systems,” Acta Informatica, vol. 52, no. 2–3. Springer, pp. 269–297, 2015."},"project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"}],"date_created":"2018-12-11T11:54:20Z","doi":"10.1007/s00236-015-0215-4","date_published":"2015-04-01T00:00:00Z","page":"269 - 297","publication":"Acta Informatica","day":"01","year":"2015","has_accepted_license":"1","oa":1,"quality_controlled":"1","publisher":"Springer","file_date_updated":"2020-07-14T12:45:19Z","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"ddc":["000"],"date_updated":"2021-01-12T06:53:35Z","status":"public","type":"journal_article","article_type":"original","_id":"1846","ec_funded":1,"issue":"2-3","volume":52,"language":[{"iso":"eng"}],"file":[{"file_id":"7854","checksum":"fb4037ddc4fc05f33080dd3547ede350","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"2015_ActaInfo_Benes.pdf","date_created":"2020-05-15T08:57:44Z","file_size":488482,"date_updated":"2020-07-14T12:45:19Z","creator":"dernst"}],"publication_status":"published","intvolume":" 52","month":"04","scopus_import":1,"oa_version":"Submitted Version","abstract":[{"lang":"eng","text":"Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcomes many of the limitations. We investigate the computational complexity of modal and thorough refinement checking on PMTS and its subclasses and provide a direct encoding of the modal refinement problem into quantified Boolean formulae, allowing us to employ state-of-the-art QBF solvers for modal refinement checking. The experiments we report on show that the feasibility of refinement checking is more influenced by the degree of nondeterminism rather than by the syntactic restrictions on the types of formulae allowed in the description of the PMTS."}]},{"_id":"1845","pubrep_id":"822","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)"},"type":"journal_article","ddc":["570"],"date_updated":"2021-10-08T09:07:34Z","file_date_updated":"2020-07-14T12:45:19Z","department":[{"_id":"PeJo"}],"oa_version":"Published Version","abstract":[{"text":"Based on extrapolation from excitatory synapses, it is often assumed that depletion of the releasable pool of synaptic vesicles is the main factor underlying depression at inhibitory synapses. In this issue of Neuron, using subcellular patch-clamp recording from inhibitory presynaptic terminals, Kawaguchi and Sakaba (2015) show that at Purkinje cell-deep cerebellar nuclei neuron synapses, changes in presynaptic action potential waveform substantially contribute to synaptic depression. Based on extrapolation from excitatory synapses, it is often assumed that depletion of the releasable pool of synaptic vesicles is the main factor underlying depression at inhibitory synapses. In this issue of Neuron, using subcellular patch-clamp recording from inhibitory presynaptic terminals, Kawaguchi and Sakaba (2015) show that at Purkinje cell-deep cerebellar nuclei neuron synapses, changes in presynaptic action potential waveform substantially contribute to synaptic depression.","lang":"eng"}],"intvolume":" 85","month":"03","scopus_import":"1","language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","access_level":"open_access","relation":"main_file","file_id":"5192","checksum":"d1808550e376a0eca2a950fda017cfa6","date_updated":"2020-07-14T12:45:19Z","file_size":411832,"creator":"system","date_created":"2018-12-12T10:16:07Z","file_name":"IST-2017-822-v1+1_Perspective_Fig__Final.pdf"},{"creator":"system","date_updated":"2020-07-14T12:45:19Z","file_size":100769,"date_created":"2018-12-12T10:16:07Z","file_name":"IST-2017-822-v1+2_Perspective_Final2.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","checksum":"a279f4ae61e6c8f33d68f69a0d02097d","file_id":"5193"}],"publication_status":"published","license":"https://creativecommons.org/licenses/by-nc/4.0/","issue":"6","volume":85,"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"chicago":"Vandael, David H, Claudia Espinoza Martinez, and Peter M Jonas. “Excitement about Inhibitory Presynaptic Terminals.” Neuron. Elsevier, 2015. https://doi.org/10.1016/j.neuron.2015.03.006.","ista":"Vandael DH, Espinoza Martinez C, Jonas PM. 2015. Excitement about inhibitory presynaptic terminals. Neuron. 85(6), 1149–1151.","mla":"Vandael, David H., et al. “Excitement about Inhibitory Presynaptic Terminals.” Neuron, vol. 85, no. 6, Elsevier, 2015, pp. 1149–51, doi:10.1016/j.neuron.2015.03.006.","ieee":"D. H. Vandael, C. Espinoza Martinez, and P. M. Jonas, “Excitement about inhibitory presynaptic terminals,” Neuron, vol. 85, no. 6. Elsevier, pp. 1149–1151, 2015.","short":"D.H. Vandael, C. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.","apa":"Vandael, D. H., Espinoza Martinez, C., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2015.03.006","ama":"Vandael DH, Espinoza Martinez C, Jonas PM. Excitement about inhibitory presynaptic terminals. Neuron. 2015;85(6):1149-1151. doi:10.1016/j.neuron.2015.03.006"},"title":"Excitement about inhibitory presynaptic terminals","article_processing_charge":"No","author":[{"id":"3AE48E0A-F248-11E8-B48F-1D18A9856A87","first_name":"David H","last_name":"Vandael","full_name":"Vandael, David H","orcid":"0000-0001-7577-1676"},{"id":"31FFEE2E-F248-11E8-B48F-1D18A9856A87","first_name":"Claudia ","last_name":"Espinoza Martinez","full_name":"Espinoza Martinez, Claudia ","orcid":"0000-0003-4710-2082"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","last_name":"Jonas","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804"}],"publist_id":"5256","oa":1,"quality_controlled":"1","publisher":"Elsevier","publication":"Neuron","day":"18","year":"2015","has_accepted_license":"1","date_created":"2018-12-11T11:54:19Z","date_published":"2015-03-18T00:00:00Z","doi":"10.1016/j.neuron.2015.03.006","page":"1149 - 1151"},{"acknowledgement":"This work was supported by the Austrian Research Association under Project 06/12684, by the Swiss National Science Foundation (SNSF) under Grant PP00P2 128503/1, by the SystemsX.ch (the Swiss Inititative for Systems Biology), and by a SNSF Early Postdoc.Mobility Fellowship grant P2EZP2_148797.\r\n","quality_controlled":"1","publisher":"IEEE","oa":1,"day":"01","publication":"IEEE Transactions on Automatic Control","year":"2015","doi":"10.1109/TAC.2014.2364971","date_published":"2015-04-01T00:00:00Z","date_created":"2018-12-11T11:54:18Z","page":"1010 - 1022","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Geiger, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control, vol. 60, no. 4, IEEE, 2015, pp. 1010–22, doi:10.1109/TAC.2014.2364971.","ieee":"B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation via information bottleneck,” IEEE Transactions on Automatic Control, vol. 60, no. 4. IEEE, pp. 1010–1022, 2015.","short":"B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.","ama":"Geiger B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 2015;60(4):1010-1022. doi:10.1109/TAC.2014.2364971","apa":"Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/TAC.2014.2364971","chicago":"Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control. IEEE, 2015. https://doi.org/10.1109/TAC.2014.2364971.","ista":"Geiger B, Petrov T, Kubin G, Koeppl H. 2015. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 60(4), 1010–1022."},"title":"Optimal Kullback-Leibler aggregation via information bottleneck","author":[{"first_name":"Bernhard","last_name":"Geiger","full_name":"Geiger, Bernhard"},{"first_name":"Tatjana","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9041-0905","full_name":"Petrov, Tatjana","last_name":"Petrov"},{"first_name":"Gernot","full_name":"Kubin, Gernot","last_name":"Kubin"},{"first_name":"Heinz","last_name":"Koeppl","full_name":"Koeppl, Heinz"}],"publist_id":"5262","oa_version":"Preprint","abstract":[{"text":"In this paper, we present a method for reducing a regular, discrete-time Markov chain (DTMC) to another DTMC with a given, typically much smaller number of states. The cost of reduction is defined as the Kullback-Leibler divergence rate between a projection of the original process through a partition function and a DTMC on the correspondingly partitioned state space. Finding the reduced model with minimal cost is computationally expensive, as it requires an exhaustive search among all state space partitions, and an exact evaluation of the reduction cost for each candidate partition. Our approach deals with the latter problem by minimizing an upper bound on the reduction cost instead of minimizing the exact cost. The proposed upper bound is easy to compute and it is tight if the original chain is lumpable with respect to the partition. Then, we express the problem in the form of information bottleneck optimization, and propose using the agglomerative information bottleneck algorithm for searching a suboptimal partition greedily, rather than exhaustively. The theory is illustrated with examples and one application scenario in the context of modeling bio-molecular interactions.","lang":"eng"}],"month":"04","intvolume":" 60","scopus_import":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1304.6603"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0018-9286"]},"publication_status":"published","volume":60,"issue":"4","_id":"1840","status":"public","type":"journal_article","date_updated":"2021-01-12T06:53:33Z","department":[{"_id":"CaGu"},{"_id":"ToHe"}]},{"oa":1,"quality_controlled":"1","publisher":"IEEE","date_created":"2018-12-11T11:54:18Z","date_published":"2015-05-01T00:00:00Z","doi":"10.1109/TPAMI.2014.2363465","page":"919 - 930","publication":"IEEE Transactions on Pattern Analysis and Machine Intelligence","day":"01","year":"2015","project":[{"_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160"}],"title":"A new look at reweighted message passing","publist_id":"5261","author":[{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov","full_name":"Kolmogorov, Vladimir"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:10.1109/TPAMI.2014.2363465.","ama":"Kolmogorov V. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2015;37(5):919-930. doi:10.1109/TPAMI.2014.2363465","apa":"Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2014.2363465","short":"V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.","ieee":"V. Kolmogorov, “A new look at reweighted message passing,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5. IEEE, pp. 919–930, 2015.","chicago":"Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2015. https://doi.org/10.1109/TPAMI.2014.2363465.","ista":"Kolmogorov V. 2015. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 37(5), 919–930."},"intvolume":" 37","month":"05","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1309.5655"}],"scopus_import":1,"oa_version":"Preprint","abstract":[{"lang":"eng","text":"We propose a new family of message passing techniques for MAP estimation in graphical models which we call Sequential Reweighted Message Passing (SRMP). Special cases include well-known techniques such as Min-Sum Diffusion (MSD) and a faster Sequential Tree-Reweighted Message Passing (TRW-S). Importantly, our derivation is simpler than the original derivation of TRW-S, and does not involve a decomposition into trees. This allows easy generalizations. The new family of algorithms can be viewed as a generalization of TRW-S from pairwise to higher-order graphical models. We test SRMP on several real-world problems with promising results."}],"ec_funded":1,"issue":"5","volume":37,"language":[{"iso":"eng"}],"publication_status":"published","status":"public","type":"journal_article","_id":"1841","department":[{"_id":"VlKo"}],"date_updated":"2021-01-12T06:53:33Z"},{"intvolume":" 1853","month":"09","quality_controlled":"1","scopus_import":1,"publisher":"Elsevier","acknowledgement":"The contributing authors were supported by the Ghent University Special Research Fund (to E.H.), the Interuniversity Attraction Poles Programme (IAP VI/33 and IUAP P7/29 ‘MARS’), the European Research Council (project ERC-2011-StG-20101109-PSDP, to J.F.), and the Research Foundation Flanders (to S.V.).","oa_version":"None","abstract":[{"text":"Cell polarity is a fundamental property of pro- and eukaryotic cells. It is necessary for coordination of cell division, cell morphogenesis and signaling processes. How polarity is generated and maintained is a complex issue governed by interconnected feed-back regulations between small GTPase signaling and membrane tension-based signaling that controls membrane trafficking, and cytoskeleton organization and dynamics. Here, we will review the potential role for calcium as a crucial signal that connects and coordinates the respective processes during polarization processes in plants. This article is part of a Special Issue entitled: 13th European Symposium on Calcium.","lang":"eng"}],"date_created":"2018-12-11T11:54:21Z","volume":1853,"issue":"9","doi":"10.1016/j.bbamcr.2015.02.017","date_published":"2015-09-01T00:00:00Z","page":"2168 - 2172","publication":"Biochimica et Biophysica Acta - Molecular Cell Research","language":[{"iso":"eng"}],"day":"01","publication_status":"published","year":"2015","status":"public","type":"journal_article","_id":"1849","title":"Calcium is an organizer of cell polarity in plants","department":[{"_id":"JiFr"}],"publist_id":"5252","author":[{"first_name":"Ellie","full_name":"Himschoot, Ellie","last_name":"Himschoot"},{"full_name":"Beeckman, Tom","last_name":"Beeckman","first_name":"Tom"},{"last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiřĺ","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiřĺ"},{"first_name":"Steffen","full_name":"Vanneste, Steffen","last_name":"Vanneste"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T06:53:36Z","citation":{"apa":"Himschoot, E., Beeckman, T., Friml, J., & Vanneste, S. (2015). Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier. https://doi.org/10.1016/j.bbamcr.2015.02.017","ama":"Himschoot E, Beeckman T, Friml J, Vanneste S. Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. 2015;1853(9):2168-2172. doi:10.1016/j.bbamcr.2015.02.017","short":"E. Himschoot, T. Beeckman, J. Friml, S. Vanneste, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 2168–2172.","ieee":"E. Himschoot, T. Beeckman, J. Friml, and S. Vanneste, “Calcium is an organizer of cell polarity in plants,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9. Elsevier, pp. 2168–2172, 2015.","mla":"Himschoot, Ellie, et al. “Calcium Is an Organizer of Cell Polarity in Plants.” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9, Elsevier, 2015, pp. 2168–72, doi:10.1016/j.bbamcr.2015.02.017.","ista":"Himschoot E, Beeckman T, Friml J, Vanneste S. 2015. Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. 1853(9), 2168–2172.","chicago":"Himschoot, Ellie, Tom Beeckman, Jiří Friml, and Steffen Vanneste. “Calcium Is an Organizer of Cell Polarity in Plants.” Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier, 2015. https://doi.org/10.1016/j.bbamcr.2015.02.017."}},{"citation":{"ista":"Grones P, Friml J. 2015. ABP1: Finally docking. Molecular Plant. 8(3), 356–358.","chicago":"Grones, Peter, and Jiří Friml. “ABP1: Finally Docking.” Molecular Plant. Elsevier, 2015. https://doi.org/10.1016/j.molp.2014.12.013.","short":"P. Grones, J. Friml, Molecular Plant 8 (2015) 356–358.","ieee":"P. Grones and J. Friml, “ABP1: Finally docking,” Molecular Plant, vol. 8, no. 3. Elsevier, pp. 356–358, 2015.","apa":"Grones, P., & Friml, J. (2015). ABP1: Finally docking. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2014.12.013","ama":"Grones P, Friml J. ABP1: Finally docking. Molecular Plant. 2015;8(3):356-358. doi:10.1016/j.molp.2014.12.013","mla":"Grones, Peter, and Jiří Friml. “ABP1: Finally Docking.” Molecular Plant, vol. 8, no. 3, Elsevier, 2015, pp. 356–58, doi:10.1016/j.molp.2014.12.013."},"date_updated":"2021-01-12T06:53:35Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"5254","author":[{"first_name":"Peter","id":"399876EC-F248-11E8-B48F-1D18A9856A87","last_name":"Grones","full_name":"Grones, Peter"},{"first_name":"Jiřĺ","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jiřĺ","orcid":"0000-0002-8302-7596"}],"department":[{"_id":"JiFr"}],"title":"ABP1: Finally docking","_id":"1847","type":"journal_article","status":"public","publication_status":"published","year":"2015","day":"02","language":[{"iso":"eng"}],"publication":"Molecular Plant","page":"356 - 358","date_published":"2015-03-02T00:00:00Z","doi":"10.1016/j.molp.2014.12.013","volume":8,"issue":"3","date_created":"2018-12-11T11:54:20Z","oa_version":"None","acknowledgement":"This work was supported by the European Research Council (project ERC-2011-StG-20101109-PSDP), European Social Fund (CZ.1.07/2.3.00/20.0043), and the Czech Science Foundation GAČR (GA13-40637S).","scopus_import":1,"quality_controlled":"1","publisher":"Elsevier","month":"03","intvolume":" 8"}]