[{"day":"27","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","month":"09","status":"public","type":"research_data_reference","year":"2016","article_processing_charge":"No","abstract":[{"lang":"eng","text":"A lower bound on the error of a positional estimator with limited positional information is derived."}],"date_updated":"2023-02-21T16:56:40Z","author":[{"last_name":"Hillenbrand","full_name":"Hillenbrand, Patrick","first_name":"Patrick"},{"last_name":"Gerland","full_name":"Gerland, Ulrich","first_name":"Ulrich"},{"first_name":"Gašper","full_name":"Tkačik, Gašper","orcid":"0000-0002-6699-1455","last_name":"Tkačik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","related_material":{"record":[{"relation":"used_in_publication","id":"1270","status":"public"}]},"date_created":"2021-08-10T08:53:48Z","citation":{"ista":"Hillenbrand P, Gerland U, Tkačik G. 2016. Error bound on an estimator of position, Public Library of Science, <a href=\"https://doi.org/10.1371/journal.pone.0163628.s001\">10.1371/journal.pone.0163628.s001</a>.","short":"P. Hillenbrand, U. Gerland, G. Tkačik, (2016).","chicago":"Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Error Bound on an Estimator of Position.” Public Library of Science, 2016. <a href=\"https://doi.org/10.1371/journal.pone.0163628.s001\">https://doi.org/10.1371/journal.pone.0163628.s001</a>.","mla":"Hillenbrand, Patrick, et al. <i>Error Bound on an Estimator of Position</i>. Public Library of Science, 2016, doi:<a href=\"https://doi.org/10.1371/journal.pone.0163628.s001\">10.1371/journal.pone.0163628.s001</a>.","apa":"Hillenbrand, P., Gerland, U., &#38; Tkačik, G. (2016). Error bound on an estimator of position. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0163628.s001\">https://doi.org/10.1371/journal.pone.0163628.s001</a>","ieee":"P. Hillenbrand, U. Gerland, and G. Tkačik, “Error bound on an estimator of position.” Public Library of Science, 2016.","ama":"Hillenbrand P, Gerland U, Tkačik G. Error bound on an estimator of position. 2016. doi:<a href=\"https://doi.org/10.1371/journal.pone.0163628.s001\">10.1371/journal.pone.0163628.s001</a>"},"title":"Error bound on an estimator of position","_id":"9869","date_published":"2016-09-27T00:00:00Z","department":[{"_id":"GaTk"}],"doi":"10.1371/journal.pone.0163628.s001","publisher":"Public Library of Science"},{"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","day":"27","article_processing_charge":"No","year":"2016","type":"research_data_reference","status":"public","month":"09","date_updated":"2023-02-21T16:56:40Z","abstract":[{"text":"The effect of noise in the input field on an Ising model is approximated. Furthermore, methods to compute positional information in an Ising model by transfer matrices and Monte Carlo sampling are outlined.","lang":"eng"}],"related_material":{"record":[{"relation":"used_in_publication","id":"1270","status":"public"}]},"oa_version":"Published Version","author":[{"first_name":"Patrick","full_name":"Hillenbrand, Patrick","last_name":"Hillenbrand"},{"last_name":"Gerland","full_name":"Gerland, Ulrich","first_name":"Ulrich"},{"orcid":"0000-0002-6699-1455","full_name":"Tkačik, Gašper","first_name":"Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik"}],"citation":{"ista":"Hillenbrand P, Gerland U, Tkačik G. 2016. Computation of positional information in an Ising model, Public Library of Science, <a href=\"https://doi.org/10.1371/journal.pone.0163628.s002\">10.1371/journal.pone.0163628.s002</a>.","ama":"Hillenbrand P, Gerland U, Tkačik G. Computation of positional information in an Ising model. 2016. doi:<a href=\"https://doi.org/10.1371/journal.pone.0163628.s002\">10.1371/journal.pone.0163628.s002</a>","ieee":"P. Hillenbrand, U. Gerland, and G. Tkačik, “Computation of positional information in an Ising model.” Public Library of Science, 2016.","apa":"Hillenbrand, P., Gerland, U., &#38; Tkačik, G. (2016). Computation of positional information in an Ising model. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0163628.s002\">https://doi.org/10.1371/journal.pone.0163628.s002</a>","chicago":"Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Computation of Positional Information in an Ising Model.” Public Library of Science, 2016. <a href=\"https://doi.org/10.1371/journal.pone.0163628.s002\">https://doi.org/10.1371/journal.pone.0163628.s002</a>.","mla":"Hillenbrand, Patrick, et al. <i>Computation of Positional Information in an Ising Model</i>. Public Library of Science, 2016, doi:<a href=\"https://doi.org/10.1371/journal.pone.0163628.s002\">10.1371/journal.pone.0163628.s002</a>.","short":"P. Hillenbrand, U. Gerland, G. Tkačik, (2016)."},"date_created":"2021-08-10T09:23:45Z","_id":"9870","date_published":"2016-09-27T00:00:00Z","title":"Computation of positional information in an Ising model","publisher":"Public Library of Science","doi":"10.1371/journal.pone.0163628.s002","department":[{"_id":"GaTk"}]},{"date_updated":"2023-02-21T16:56:40Z","abstract":[{"lang":"eng","text":"The positional information in a discrete morphogen field with Gaussian noise is computed."}],"related_material":{"record":[{"relation":"used_in_publication","id":"1270","status":"public"}]},"oa_version":"Published Version","author":[{"last_name":"Hillenbrand","full_name":"Hillenbrand, Patrick","first_name":"Patrick"},{"full_name":"Gerland, Ulrich","first_name":"Ulrich","last_name":"Gerland"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik","orcid":"0000-0002-6699-1455","first_name":"Gašper","full_name":"Tkačik, Gašper"}],"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","day":"27","article_processing_charge":"No","type":"research_data_reference","status":"public","year":"2016","month":"09","publisher":"Public Library of Science","doi":"10.1371/journal.pone.0163628.s003","department":[{"_id":"GaTk"}],"citation":{"short":"P. Hillenbrand, U. Gerland, G. Tkačik, (2016).","chicago":"Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Computation of Positional Information in a Discrete Morphogen Field.” Public Library of Science, 2016. <a href=\"https://doi.org/10.1371/journal.pone.0163628.s003\">https://doi.org/10.1371/journal.pone.0163628.s003</a>.","mla":"Hillenbrand, Patrick, et al. <i>Computation of Positional Information in a Discrete Morphogen Field</i>. Public Library of Science, 2016, doi:<a href=\"https://doi.org/10.1371/journal.pone.0163628.s003\">10.1371/journal.pone.0163628.s003</a>.","apa":"Hillenbrand, P., Gerland, U., &#38; Tkačik, G. (2016). Computation of positional information in a discrete morphogen field. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0163628.s003\">https://doi.org/10.1371/journal.pone.0163628.s003</a>","ama":"Hillenbrand P, Gerland U, Tkačik G. Computation of positional information in a discrete morphogen field. 2016. doi:<a href=\"https://doi.org/10.1371/journal.pone.0163628.s003\">10.1371/journal.pone.0163628.s003</a>","ieee":"P. Hillenbrand, U. Gerland, and G. Tkačik, “Computation of positional information in a discrete morphogen field.” Public Library of Science, 2016.","ista":"Hillenbrand P, Gerland U, Tkačik G. 2016. Computation of positional information in a discrete morphogen field, Public Library of Science, <a href=\"https://doi.org/10.1371/journal.pone.0163628.s003\">10.1371/journal.pone.0163628.s003</a>."},"date_created":"2021-08-10T09:27:35Z","_id":"9871","title":"Computation of positional information in a discrete morphogen field"},{"day":"19","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","month":"04","article_processing_charge":"No","type":"research_data_reference","status":"public","year":"2016","date_updated":"2023-02-21T16:50:13Z","oa_version":"Published Version","author":[{"first_name":"Alex","full_name":"Boehm, Alex","last_name":"Boehm"},{"last_name":"Arnoldini","first_name":"Markus","full_name":"Arnoldini, Markus"},{"full_name":"Bergmiller, Tobias","first_name":"Tobias","orcid":"0000-0001-5396-4346","last_name":"Bergmiller","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Röösli","first_name":"Thomas","full_name":"Röösli, Thomas"},{"first_name":"Colette","full_name":"Bigosch, Colette","last_name":"Bigosch"},{"last_name":"Ackermann","full_name":"Ackermann, Martin","first_name":"Martin"}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"1250"}]},"citation":{"ista":"Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. 2016. Quantification of the growth rate reduction as a consequence of age-specific mortality, Public Library of Science, <a href=\"https://doi.org/10.1371/journal.pgen.1005974.s015\">10.1371/journal.pgen.1005974.s015</a>.","ieee":"A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Quantification of the growth rate reduction as a consequence of age-specific mortality.” Public Library of Science, 2016.","ama":"Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. Quantification of the growth rate reduction as a consequence of age-specific mortality. 2016. doi:<a href=\"https://doi.org/10.1371/journal.pgen.1005974.s015\">10.1371/journal.pgen.1005974.s015</a>","apa":"Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., &#38; Ackermann, M. (2016). Quantification of the growth rate reduction as a consequence of age-specific mortality. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pgen.1005974.s015\">https://doi.org/10.1371/journal.pgen.1005974.s015</a>","mla":"Boehm, Alex, et al. <i>Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality</i>. Public Library of Science, 2016, doi:<a href=\"https://doi.org/10.1371/journal.pgen.1005974.s015\">10.1371/journal.pgen.1005974.s015</a>.","chicago":"Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality.” Public Library of Science, 2016. <a href=\"https://doi.org/10.1371/journal.pgen.1005974.s015\">https://doi.org/10.1371/journal.pgen.1005974.s015</a>.","short":"A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, (2016)."},"date_created":"2021-08-10T09:42:34Z","title":"Quantification of the growth rate reduction as a consequence of age-specific mortality","_id":"9873","publisher":"Public Library of Science","doi":"10.1371/journal.pgen.1005974.s015","department":[{"_id":"CaGu"}]},{"quality_controlled":"1","has_accepted_license":"1","oa_version":"Published Version","scopus_import":1,"day":"01","pubrep_id":"950","alternative_title":["Frontiers in Artificial Intelligence and Applications"],"publist_id":"7342","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","month":"01","year":"2016","language":[{"iso":"eng"}],"status":"public","doi":"10.3233/978-1-61499-672-9-1432","volume":285,"oa":1,"abstract":[{"lang":"eng","text":"Magic: the Gathering is a game about magical combat for any number of players. Formally it is a zero-sum, imperfect information stochastic game that consists of a potentially unbounded number of steps. We consider the problem of deciding if a move is legal in a given single step of Magic. We show that the problem is (a) coNP-complete in general; and (b) in P if either of two small sets of cards are not used. Our lower bound holds even for single-player Magic games. The significant aspects of our results are as follows: First, in most real-life game problems, the task of deciding whether a given move is legal in a single step is trivial, and the computationally hard task is to find the best sequence of legal moves in the presence of multiple players. In contrast, quite uniquely our hardness result holds for single step and with only one-player. Second, we establish efficient algorithms for important special cases of Magic."}],"page":"1432 - 1439","conference":{"start_date":"2016-08-29","end_date":"2016-09-02","location":"The Hague, Netherlands","name":"ECAI: European Conference on Artificial Intelligence"},"date_updated":"2021-01-12T08:00:54Z","author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu"},{"full_name":"Ibsen-Jensen, Rasmus","first_name":"Rasmus","orcid":"0000-0003-4783-0389","id":"3B699956-F248-11E8-B48F-1D18A9856A87","last_name":"Ibsen-Jensen"}],"file_date_updated":"2020-07-14T12:46:35Z","ddc":["004"],"type":"conference","intvolume":"       285","tmp":{"short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png"},"file":[{"creator":"system","file_size":2116225,"file_id":"4658","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:46:35Z","checksum":"848043c812ace05e459579c923f3d3cf","content_type":"application/pdf","date_created":"2018-12-12T10:07:59Z","file_name":"IST-2018-950-v1+1_2016_Chatterjee_The_complexity.pdf"}],"department":[{"_id":"KrCh"}],"publisher":"IOS Press","date_created":"2018-12-11T11:46:41Z","citation":{"short":"K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.","mla":"Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. <i>The Complexity of Deciding Legality of a Single Step of Magic: The Gathering</i>. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:<a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">10.3233/978-1-61499-672-9-1432</a>.","chicago":"Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. <a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">https://doi.org/10.3233/978-1-61499-672-9-1432</a>.","apa":"Chatterjee, K., &#38; Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. <a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">https://doi.org/10.3233/978-1-61499-672-9-1432</a>","ama":"Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:<a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">10.3233/978-1-61499-672-9-1432</a>","ieee":"K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.","ista":"Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439."},"publication_status":"published","title":"The complexity of deciding legality of a single step of magic: The gathering","date_published":"2016-01-01T00:00:00Z","_id":"478"},{"date_published":"2016-05-14T00:00:00Z","_id":"479","title":"Use runtime verification to improve the quality of medical care practice","citation":{"ista":"Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.","apa":"Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., &#38; Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In <i>Proceedings of the 38th International Conference on Software Engineering Companion </i> (pp. 112–121). Austin, TX, USA: IEEE. <a href=\"https://doi.org/10.1145/2889160.2889233\">https://doi.org/10.1145/2889160.2889233</a>","ieee":"Y. Jiang <i>et al.</i>, “Use runtime verification to improve the quality of medical care practice,” in <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>, Austin, TX, USA, 2016, pp. 112–121.","ama":"Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>. IEEE; 2016:112-121. doi:<a href=\"https://doi.org/10.1145/2889160.2889233\">10.1145/2889160.2889233</a>","short":"Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.","chicago":"Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” In <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>, 112–21. IEEE, 2016. <a href=\"https://doi.org/10.1145/2889160.2889233\">https://doi.org/10.1145/2889160.2889233</a>.","mla":"Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>, IEEE, 2016, pp. 112–21, doi:<a href=\"https://doi.org/10.1145/2889160.2889233\">10.1145/2889160.2889233</a>."},"publication_status":"published","date_created":"2018-12-11T11:46:42Z","publisher":"IEEE","doi":"10.1145/2889160.2889233","department":[{"_id":"ToHe"}],"publication":"Proceedings of the 38th International Conference on Software Engineering Companion ","type":"conference","language":[{"iso":"eng"}],"status":"public","year":"2016","month":"05","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","alternative_title":["Proceedings International Conference on Software Engineering"],"publist_id":"7341","day":"14","scopus_import":1,"acknowledgement":"This work is supported by NSF CNS 13-30077, NSF CNS 13-29886, NSF CNS 15-45002, and NSFC 61303014.\r\nThe authors thank Dr.  Bobby and Dr.  Hill at Carle Hospital, Urbana, IL for their help with the discussion on medical  knowledge.\r\n\r\n","oa_version":"None","author":[{"last_name":"Jiang","full_name":"Jiang, Yu","first_name":"Yu"},{"last_name":"Liu","full_name":"Liu, Han","first_name":"Han"},{"orcid":"0000-0002-3066-6941","first_name":"Hui","full_name":"Kong, Hui","last_name":"Kong","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Wang, Rui","first_name":"Rui","last_name":"Wang"},{"first_name":"Mohamad","full_name":"Hosseini, Mohamad","last_name":"Hosseini"},{"full_name":"Sun, Jiaguang","first_name":"Jiaguang","last_name":"Sun"},{"last_name":"Sha","full_name":"Sha, Lui","first_name":"Lui"}],"date_updated":"2021-01-12T08:00:55Z","conference":{"start_date":"2016-05-14","end_date":"2016-05-22","location":"Austin, TX, USA","name":"ICSE: International Conference on Software Engineering"},"quality_controlled":"1","abstract":[{"lang":"eng","text":"Clinical guidelines and decision support systems (DSS) play an important role in daily practices of medicine. Many text-based guidelines have been encoded for work-flow simulation of DSS to automate health care. During the collaboration with Carle hospital to develop a DSS, we identify that, for some complex and life-critical diseases, it is highly desirable to automatically rigorously verify some complex temporal properties in guidelines, which brings new challenges to current simulation based DSS with limited support of automatical formal verification and real-time data analysis. In this paper, we conduct the first study on applying runtime verification to cooperate with current DSS based on real-time data. Within the proposed technique, a user-friendly domain specific language, named DRTV, is designed to specify vital real-time data sampled by medical devices and temporal properties originated from clinical guidelines. Some interfaces are developed for data acquisition and communication. Then, for medical practice scenarios described in DRTV model, we will automatically generate event sequences and runtime property verifier automata. If a temporal property violates, real-time warnings will be produced by the formal verifier and passed to medical DSS. We have used DRTV to specify different kinds of medical care scenarios, and applied the proposed technique to assist existing DSS. As presented in experiment results, in terms of warning detection, it outperforms the only use of DSS or human inspection, and improves the quality of clinical health care of hospital"}],"page":"112 - 121"},{"oa":1,"volume":"05-08-July-2016","doi":"10.1145/2933575.2934513","project":[{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"7340","alternative_title":["Proceedings Symposium on Logic in Computer Science"],"day":"05","status":"public","year":"2016","language":[{"iso":"eng"}],"month":"07","quality_controlled":"1","scopus_import":1,"oa_version":"Preprint","citation":{"ista":"Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. <i>Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives</i>. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:<a href=\"https://doi.org/10.1145/2933575.2934513\">10.1145/2933575.2934513</a>.","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. <a href=\"https://doi.org/10.1145/2933575.2934513\">https://doi.org/10.1145/2933575.2934513</a>.","short":"K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.","ama":"Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:<a href=\"https://doi.org/10.1145/2933575.2934513\">10.1145/2933575.2934513</a>","ieee":"K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.","apa":"Chatterjee, K., &#38; Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. <a href=\"https://doi.org/10.1145/2933575.2934513\">https://doi.org/10.1145/2933575.2934513</a>"},"publication_status":"published","date_created":"2018-12-11T11:46:42Z","date_published":"2016-07-05T00:00:00Z","_id":"480","ec_funded":1,"title":"Perfect-information stochastic games with generalized mean-payoff objectives","publisher":"IEEE","department":[{"_id":"KrCh"}],"type":"conference","date_updated":"2021-01-12T08:00:56Z","conference":{"start_date":"2016-07-05","end_date":"2016-07-08","name":"LICS: Logic in Computer Science","location":"New York, NY, USA"},"abstract":[{"lang":"eng","text":"Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph are controlled by two adversarial players, and the other transitions are executed probabilistically. We consider such games where the objective is the conjunction of several quantitative objectives (specified as mean-payoff conditions), which we refer to as generalized mean-payoff objectives. The basic decision problem asks for the existence of a finite-memory strategy for a player that ensures the generalized mean-payoff objective be satisfied with a desired probability against all strategies of the opponent. A special case of the decision problem is the almost-sure problem where the desired probability is 1. Previous results presented a semi-decision procedure for -approximations of the almost-sure problem. In this work, we show that both the almost-sure problem as well as the general basic decision problem are coNP-complete, significantly improving the previous results. Moreover, we show that in the case of 1-player stochastic games, randomized memoryless strategies are sufficient and the problem can be solved in polynomial time. In contrast, in two-player stochastic games, we show that even with randomized strategies exponential memory is required in general, and present a matching exponential upper bound. We also study the basic decision problem with infinite-memory strategies and present computational complexity results for the problem. Our results are relevant in the synthesis of stochastic reactive systems with multiple quantitative requirements."}],"page":"247 - 256","author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1604.06376"}]},{"publication_status":"published","citation":{"ieee":"A. Rueda <i>et al.</i>, “Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator,” presented at the NP: Nonlinear Photonics, Sydney, Australia, 2016.","ama":"Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: Optica Publishing Group; 2016. doi:<a href=\"https://doi.org/10.1364/NP.2016.NTh3A.6\">10.1364/NP.2016.NTh3A.6</a>","apa":"Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. Presented at the NP: Nonlinear Photonics, Sydney, Australia: Optica Publishing Group. <a href=\"https://doi.org/10.1364/NP.2016.NTh3A.6\">https://doi.org/10.1364/NP.2016.NTh3A.6</a>","chicago":"Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator.” Optica Publishing Group, 2016. <a href=\"https://doi.org/10.1364/NP.2016.NTh3A.6\">https://doi.org/10.1364/NP.2016.NTh3A.6</a>.","mla":"Rueda, Alfredo, et al. <i>Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator</i>. Optica Publishing Group, 2016, doi:<a href=\"https://doi.org/10.1364/NP.2016.NTh3A.6\">10.1364/NP.2016.NTh3A.6</a>.","short":"A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.","ista":"Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers, ."},"date_created":"2018-12-11T11:46:43Z","_id":"482","date_published":"2016-08-29T00:00:00Z","title":"Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator","publisher":"Optica Publishing Group","doi":"10.1364/NP.2016.NTh3A.6","department":[{"_id":"JoFi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"7339","alternative_title":["Optics InfoBase Conference Papers"],"day":"29","article_processing_charge":"No","type":"conference","language":[{"iso":"eng"}],"year":"2016","status":"public","month":"08","date_updated":"2023-10-17T12:16:43Z","conference":{"name":"NP: Nonlinear Photonics","location":"Sydney, Australia","start_date":"2016-09-05","end_date":"2016-09-08"},"abstract":[{"text":"Nonlinear electro-optical conversion of microwave radiation into the optical telecommunication band is achieved within a crystalline whispering gallery mode resonator, reaching 0.1% photon number conversion efficiency with MHz bandwidth.","lang":"eng"}],"quality_controlled":"1","scopus_import":"1","oa_version":"None","author":[{"full_name":"Rueda, Alfredo","first_name":"Alfredo","last_name":"Rueda"},{"last_name":"Sedlmeir","full_name":"Sedlmeir, Florian","first_name":"Florian"},{"full_name":"Collodo, Michele","first_name":"Michele","last_name":"Collodo"},{"first_name":"Ulrich","full_name":"Vogl, Ulrich","last_name":"Vogl"},{"first_name":"Birgit","full_name":"Stiller, Birgit","last_name":"Stiller"},{"last_name":"Schunk","first_name":"Gerhard","full_name":"Schunk, Gerhard"},{"last_name":"Strekalov","first_name":"Dmitry","full_name":"Strekalov, Dmitry"},{"first_name":"Christoph","full_name":"Marquardt, Christoph","last_name":"Marquardt"},{"first_name":"Johannes M","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Oskar","full_name":"Painter, Oskar","last_name":"Painter"},{"last_name":"Leuchs","full_name":"Leuchs, Gerd","first_name":"Gerd"},{"first_name":"Harald","full_name":"Schwefel, Harald","last_name":"Schwefel"}]},{"scopus_import":"1","oa_version":"Submitted Version","quality_controlled":"1","year":"2016","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"06","publist_id":"7308","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"02","doi":"10.1080/15592324.2016.1191734","publication":"Plant Signaling & Behavior","volume":11,"oa":1,"issue":"6","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4973754/"}],"acknowledgement":"We are grateful to Dr. Long (Laboratoire de Reproduction et Developpement des Plantes,CNRS,INRA,ENSLyon,UCBL,Universite de Lyon,France)for critical reading of the article. Work in our group is supported by the National Natural Science Foundation of China (31271575; 31200902), the Fundamental Research Funds for the Central Univ ersities (GK201103005), the Specialized Research Fund for the Doctoral Program of Higher Education from the Ministry of Education of China (20120202120009), the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry, and the Natural Science Basic Research Plan in Shaanxi Province of China (2014JM3064). ","author":[{"last_name":"Liu","full_name":"Liu, Zhijun","first_name":"Zhijun"},{"first_name":"Nan","full_name":"Yang, Nan","last_name":"Yang"},{"first_name":"Yanting","full_name":"Lv, Yanting","last_name":"Lv"},{"full_name":"Pan, Lixia","first_name":"Lixia","last_name":"Pan"},{"first_name":"Shuo","full_name":"Lv, Shuo","last_name":"Lv"},{"full_name":"Han, Huibin","first_name":"Huibin","last_name":"Han","id":"31435098-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Wang, Guodong","first_name":"Guodong","last_name":"Wang"}],"date_updated":"2023-10-17T11:13:40Z","article_number":"e1191734","abstract":[{"text":"The CLE (CLAVATA3/Embryo Surrounding Region-related) peptides are small secreted signaling peptides that are primarily involved in the regulation of stem cell homeostasis in different plant meristems. Particularly, the characterization of the CLE41-PXY/TDR signaling pathway has greatly advanced our understanding on the potential roles of CLE peptides in vascular development and wood formation. Nevertheless, our knowledge on this gene family in a tree species is limited. In a recent study, we reported on a systematically investigation of the CLE gene family in Populus trichocarpa . The potential roles of PtCLE genes were studied by comparative analysis and transcriptional pro fi ling. Among fi fty PtCLE members, many PtCLE proteins share identical CLE motifs or contain the same CLE motif as that of AtCLEs, while PtCLE genes exhibited either comparable or distinct expression patterns comparing to their Arabidopsis counterparts. These fi ndings indicate the existence of both functional conservation and functional divergence between PtCLEs and their AtCLE orthologues. Our results provide valuable resources for future functional investigations of these critical signaling molecules in woody plants. ","lang":"eng"}],"type":"journal_article","intvolume":"        11","department":[{"_id":"JiFr"}],"publisher":"Taylor & Francis","_id":"510","date_published":"2016-06-02T00:00:00Z","title":"The CLE gene family in Populus trichocarpa","date_created":"2018-12-11T11:46:53Z","citation":{"ista":"Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling &#38; Behavior. 11(6), e1191734.","ieee":"Z. Liu <i>et al.</i>, “The CLE gene family in Populus trichocarpa,” <i>Plant Signaling &#38; Behavior</i>, vol. 11, no. 6. Taylor &#38; Francis, 2016.","ama":"Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. <i>Plant Signaling &#38; Behavior</i>. 2016;11(6). doi:<a href=\"https://doi.org/10.1080/15592324.2016.1191734\">10.1080/15592324.2016.1191734</a>","apa":"Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., &#38; Wang, G. (2016). The CLE gene family in Populus trichocarpa. <i>Plant Signaling &#38; Behavior</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/15592324.2016.1191734\">https://doi.org/10.1080/15592324.2016.1191734</a>","mla":"Liu, Zhijun, et al. “The CLE Gene Family in Populus Trichocarpa.” <i>Plant Signaling &#38; Behavior</i>, vol. 11, no. 6, e1191734, Taylor &#38; Francis, 2016, doi:<a href=\"https://doi.org/10.1080/15592324.2016.1191734\">10.1080/15592324.2016.1191734</a>.","chicago":"Liu, Zhijun, Nan Yang, Yanting Lv, Lixia Pan, Shuo Lv, Huibin Han, and Guodong Wang. “The CLE Gene Family in Populus Trichocarpa.” <i>Plant Signaling &#38; Behavior</i>. Taylor &#38; Francis, 2016. <a href=\"https://doi.org/10.1080/15592324.2016.1191734\">https://doi.org/10.1080/15592324.2016.1191734</a>.","short":"Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling &#38; Behavior 11 (2016)."},"publication_status":"published"},{"month":"12","language":[{"iso":"eng"}],"status":"public","type":"conference","year":"2016","intvolume":"        29","day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","alternative_title":["Advances in Neural Information Processing Systems"],"publist_id":"6298","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1605.07332"}],"author":[{"orcid":"0000-0001-7782-4436","full_name":"Chalk, Matthew J","first_name":"Matthew J","last_name":"Chalk","id":"2BAAC544-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Marre, Olivier","first_name":"Olivier","last_name":"Marre"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik","first_name":"Gasper","full_name":"Tkacik, Gasper","orcid":"0000-0002-6699-1455"}],"oa_version":"Preprint","related_material":{"link":[{"url":"https://papers.nips.cc/paper/6101-relevant-sparse-codes-with-variational-information-bottleneck","relation":"other"}]},"scopus_import":1,"conference":{"location":"Barcelona, Spain","name":"NIPS: Neural Information Processing Systems","end_date":"2016-12-10","start_date":"2016-12-05"},"page":"1965-1973","quality_controlled":"1","abstract":[{"lang":"eng","text":"In many applications, it is desirable to extract only the relevant aspects of data. A principled way to do this is the information bottleneck (IB) method, where one seeks a code that maximises information about a relevance variable, Y, while constraining the information encoded about the original data, X. Unfortunately however, the IB method is computationally demanding when data are high-dimensional and/or non-gaussian. Here we propose an approximate variational scheme for maximising a lower bound on the IB objective, analogous to variational EM. Using this method, we derive an IB algorithm to recover features that are both relevant and sparse. Finally, we demonstrate how kernelised versions of the algorithm can be used to address a broad range of problems with non-linear relation between X and Y."}],"date_updated":"2021-01-12T06:48:09Z","oa":1,"volume":29,"title":"Relevant sparse codes with variational information bottleneck","_id":"1082","date_published":"2016-12-01T00:00:00Z","citation":{"ista":"Chalk MJ, Marre O, Tkačik G. 2016. Relevant sparse codes with variational information bottleneck. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 1965–1973.","ama":"Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.","ieee":"M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.","apa":"Chalk, M. J., Marre, O., &#38; Tkačik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.","mla":"Chalk, Matthew J., et al. <i>Relevant Sparse Codes with Variational Information Bottleneck</i>. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.","chicago":"Chalk, Matthew J, Olivier Marre, and Gašper Tkačik. “Relevant Sparse Codes with Variational Information Bottleneck,” 29:1965–73. Neural Information Processing Systems, 2016.","short":"M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973."},"publication_status":"published","date_created":"2018-12-11T11:50:03Z","publisher":"Neural Information Processing Systems","department":[{"_id":"GaTk"}]},{"doi":"10.1093/cercor/bhw090","publisher":"Oxford University Press","department":[{"_id":"RySh"}],"publication":"Cerebral Cortex","_id":"1083","date_published":"2016-04-12T00:00:00Z","volume":27,"title":"KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons","citation":{"chicago":"Booker, Sam, Daniel Althof, Anna Gross, Desiree Loreth, Johanna Müller, Andreas Unger, Bernd Fakler, et al. “KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.” <i>Cerebral Cortex</i>. Oxford University Press, 2016. <a href=\"https://doi.org/10.1093/cercor/bhw090\">https://doi.org/10.1093/cercor/bhw090</a>.","mla":"Booker, Sam, et al. “KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.” <i>Cerebral Cortex</i>, vol. 27, no. 3, Oxford University Press, 2016, pp. 2318–34, doi:<a href=\"https://doi.org/10.1093/cercor/bhw090\">10.1093/cercor/bhw090</a>.","short":"S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.","ama":"Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. <i>Cerebral Cortex</i>. 2016;27(3):2318-2334. doi:<a href=\"https://doi.org/10.1093/cercor/bhw090\">10.1093/cercor/bhw090</a>","ieee":"S. Booker <i>et al.</i>, “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” <i>Cerebral Cortex</i>, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.","apa":"Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A., … Kulik, Á. (2016). KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. <i>Cerebral Cortex</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/cercor/bhw090\">https://doi.org/10.1093/cercor/bhw090</a>","ista":"Booker S, Althof D, Gross A, Loreth D, Müller J, Unger A, Fakler B, Varro A, Watanabe M, Gassmann M, Bettler B, Shigemoto R, Vida I, Kulik Á. 2016. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 27(3), 2318–2334."},"publication_status":"published","date_created":"2018-12-11T11:50:03Z","issue":"3","oa_version":"None","acknowledgement":"This work was supported by the Deutsche Forschungsgemeinschaft (DFG SFB 780 A2, A.K.; SFB TR3 I.V. and EXC 257, I.V.; FOR 2143, A.K. and I.V.), Spemann Graduate School (D.A.), BIOSS-2 (A6, A.K.), the Swiss National Science Foundation (3100A0-117816, B.B.), The McNaught Bequest (S.A.B. and I.V.), and Tenovus Scotland (I.V.).\r\n\r\n\r\nWe thank Cheryl Hutton and Chinmaya Sadangi for their contributions to neuronal reconstruction as well as Natalie Wernet, Sigrun Nestel, Anikó Schneider, Ina Wolter, and Ulrich Noeller for their excellent technical support. VGAT-Venus transgenic rats were generated by Drs Y. Yanagawa, M. Hirabayashi, and Y. Kawaguchi in National Institute for Physiological Sciences, Okazaki, Japan, using pCS2-Venus provided by Dr A. Miyawaki. The monoclonal mouse CCK antibody was generously provided by Dr G.V. Ohning, CURE Center, UCLA, CA. ","author":[{"last_name":"Booker","first_name":"Sam","full_name":"Booker, Sam"},{"last_name":"Althof","first_name":"Daniel","full_name":"Althof, Daniel"},{"first_name":"Anna","full_name":"Gross, Anna","last_name":"Gross"},{"last_name":"Loreth","first_name":"Desiree","full_name":"Loreth, Desiree"},{"full_name":"Müller, Johanna","first_name":"Johanna","last_name":"Müller"},{"last_name":"Unger","first_name":"Andreas","full_name":"Unger, Andreas"},{"first_name":"Bernd","full_name":"Fakler, Bernd","last_name":"Fakler"},{"full_name":"Varro, Andrea","first_name":"Andrea","last_name":"Varro"},{"full_name":"Watanabe, Masahiko","first_name":"Masahiko","last_name":"Watanabe"},{"last_name":"Gassmann","first_name":"Martin","full_name":"Gassmann, Martin"},{"last_name":"Bettler","first_name":"Bernhard","full_name":"Bettler, Bernhard"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Vida, Imre","first_name":"Imre","last_name":"Vida"},{"full_name":"Kulik, Ákos","first_name":"Ákos","last_name":"Kulik"}],"date_updated":"2021-01-12T06:48:09Z","quality_controlled":"1","abstract":[{"lang":"eng","text":" Cholecystokinin-expressing interneurons (CCK-INs) mediate behavior state-dependent inhibition in cortical circuits and themselves receive strong GABAergic input. However, it remains unclear to what extent GABABreceptors (GABABRs) contribute to their inhibitory control. Using immunoelectron microscopy, we found that CCK-INs in the rat hippocampus possessed high levels of dendritic GABABRs and KCTD12 auxiliary proteins, whereas postsynaptic effector Kir3 channels were present at lower levels. Consistently, whole-cell recordings revealed slow GABABR-mediated inhibitory postsynaptic currents (IPSCs) in most CCK-INs. In spite of the higher surface density of GABABRs in CCK-INs than in CA1 principal cells, the amplitudes of IPSCs were comparable, suggesting that the expression of Kir3 channels is the limiting factor for the GABABR currents in these INs. Morphological analysis showed that CCK-INs were diverse, comprising perisomatic-targeting basket cells (BCs), as well as dendrite-targeting (DT) interneurons, including a previously undescribed DT type. GABABR-mediated IPSCs in CCK-INs were large in BCs, but small in DT subtypes. In response to prolonged activation, GABABR-mediated currents displayed strong desensitization, which was absent in KCTD12-deficient mice. This study highlights that GABABRs differentially control CCK-IN subtypes, and the kinetics and desensitization of GABABR-mediated currents are modulated by KCTD12 proteins. "}],"page":"2318 - 2334","status":"public","language":[{"iso":"eng"}],"intvolume":"        27","year":"2016","type":"journal_article","month":"04","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6297","day":"12"},{"doi":"10.4230/LIPIcs.MFCS.2016.24","project":[{"grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211"},{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003"}],"oa":1,"volume":58,"oa_version":"Published Version","scopus_import":1,"quality_controlled":"1","has_accepted_license":"1","month":"08","year":"2016","status":"public","language":[{"iso":"eng"}],"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","alternative_title":["LIPIcs"],"pubrep_id":"795","publist_id":"6286","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"date_updated":"2018-12-12T10:17:31Z","relation":"main_file","access_level":"open_access","creator":"system","file_size":564560,"file_id":"5286","file_name":"IST-2017-795-v1+1_LIPIcs-MFCS-2016-24.pdf","date_created":"2018-12-12T10:17:31Z","content_type":"application/pdf"}],"ec_funded":1,"title":"Nested weighted limit-average automata of bounded width","_id":"1090","date_published":"2016-08-01T00:00:00Z","publication_status":"published","citation":{"ieee":"K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.","ama":"Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2016.24\">10.4230/LIPIcs.MFCS.2016.24</a>","apa":"Chatterjee, K., Henzinger, T. A., &#38; Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2016.24\">https://doi.org/10.4230/LIPIcs.MFCS.2016.24</a>","mla":"Chatterjee, Krishnendu, et al. <i>Nested Weighted Limit-Average Automata of Bounded Width</i>. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2016.24\">10.4230/LIPIcs.MFCS.2016.24</a>.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2016.24\">https://doi.org/10.4230/LIPIcs.MFCS.2016.24</a>.","short":"K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.","ista":"Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 24."},"date_created":"2018-12-11T11:50:05Z","author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"first_name":"Jan","full_name":"Otop, Jan","last_name":"Otop","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87"}],"acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23\r\n(RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), ERC Start grant (279307: Graph Games), Vienna\r\nScience and Technology Fund (WWTF) through project ICT15-003 and by the National Science Centre\r\n(NCN), Poland under grant 2014/15/D/ST6/04543.","file_date_updated":"2018-12-12T10:17:31Z","conference":{"end_date":"2016-08-26","start_date":"2016-08-22","location":"Krakow; Poland","name":"MFCS: Mathematical Foundations of Computer Science (SG)"},"article_number":"24","abstract":[{"text":" While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata. Nested weighted automata extend weighted automata and consist of a master automaton and a set of slave automata that are invoked by the master automaton. Nested weighted automata are strictly more expressive than weighted automata (e.g., average response time can be expressed with nested weighted automata), but the basic decision questions have higher complexity (e.g., for deterministic automata, the emptiness question for nested weighted automata is PSPACE-hard, whereas the corresponding complexity for weighted automata is PTIME). We consider a natural subclass of nested weighted automata where at any point at most a bounded number k of slave automata can be active. We focus on automata whose master value function is the limit average. We show that these nested weighted automata with bounded width are strictly more expressive than weighted automata (e.g., average response time with no overlapping requests can be expressed with bound k=1, but not with non-nested weighted automata). We show that the complexity of the basic decision problems (i.e., emptiness and universality) for the subclass with k constant matches the complexity for weighted automata. Moreover, when k is part of the input given in unary we establish PSPACE-completeness.","lang":"eng"}],"date_updated":"2021-01-12T06:48:12Z","intvolume":"        58","type":"conference","ddc":["004"]},{"quality_controlled":"1","has_accepted_license":"1","oa_version":"Published Version","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"1155"}]},"scopus_import":1,"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6283","pubrep_id":"794","alternative_title":["LIPIcs"],"month":"08","year":"2016","status":"public","language":[{"iso":"eng"}],"doi":"10.4230/LIPIcs.CONCUR.2016.20","project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989"},{"grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF"}],"oa":1,"volume":59,"conference":{"start_date":"2016-08-23","end_date":"2016-08-26","name":"CONCUR: Concurrency Theory","location":"Quebec City; Canada"},"article_number":"20","abstract":[{"lang":"eng","text":"We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the total variation distance or trace distance) as well as by temporal logics or automata. We investigate which of the distances can be approximated by observing the systems, i.e. by black-box testing or simulation, and we provide both negative and positive results. "}],"date_updated":"2023-09-07T11:58:33Z","author":[{"first_name":"Przemyslaw","full_name":"Daca, Przemyslaw","id":"49351290-F248-11E8-B48F-1D18A9856A87","last_name":"Daca"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","last_name":"Kretinsky","full_name":"Kretinsky, Jan","first_name":"Jan","orcid":"0000-0002-8122-2881"},{"last_name":"Petrov","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9041-0905","first_name":"Tatjana","full_name":"Petrov, Tatjana"}],"acknowledgement":"This research was funded in part by the European Research Council (ERC) under grant agreement 267989\r\n(QUAREM), the Austrian Science Fund (FWF) under grants project S11402-N23 (RiSE and SHiNE)\r\nand Z211-N23 (Wittgenstein Award), by the Czech Science Foundation Grant No. P202/12/G061, and\r\nby the SNSF Advanced Postdoc. Mobility Fellowship – grant number P300P2_161067.","file_date_updated":"2018-12-12T10:11:39Z","ddc":["004"],"type":"conference","intvolume":"        59","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"content_type":"application/pdf","file_name":"IST-2017-794-v1+1_LIPIcs-CONCUR-2016-20.pdf","date_created":"2018-12-12T10:11:39Z","file_size":501827,"file_id":"4895","creator":"system","date_updated":"2018-12-12T10:11:39Z","access_level":"open_access","relation":"main_file"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","department":[{"_id":"ToHe"},{"_id":"KrCh"},{"_id":"CaGu"}],"publication_status":"published","citation":{"ieee":"P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.","ama":"Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.20\">10.4230/LIPIcs.CONCUR.2016.20</a>","apa":"Daca, P., Henzinger, T. A., Kretinsky, J., &#38; Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.20\">https://doi.org/10.4230/LIPIcs.CONCUR.2016.20</a>","mla":"Daca, Przemyslaw, et al. <i>Linear Distances between Markov Chains</i>. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.20\">10.4230/LIPIcs.CONCUR.2016.20</a>.","chicago":"Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.20\">https://doi.org/10.4230/LIPIcs.CONCUR.2016.20</a>.","short":"P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.","ista":"Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 20."},"date_created":"2018-12-11T11:50:06Z","title":"Linear distances between Markov chains","ec_funded":1,"date_published":"2016-08-01T00:00:00Z","_id":"1093"},{"project":[{"grant_number":"604102","call_identifier":"FP7","name":"Localization of ion channels and receptors by two and three-dimensional immunoelectron microscopic approaches","_id":"25CD3DD2-B435-11E9-9278-68D0E5697425"}],"doi":"10.1007/978-1-4939-6352-2_12","acknowledged_ssus":[{"_id":"EM-Fac"}],"publication":"High-Resolution Imaging of Cellular Proteins","volume":1474,"oa_version":"None","quality_controlled":"1","month":"08","status":"public","year":"2016","language":[{"iso":"eng"}],"article_processing_charge":"No","day":"12","publist_id":"6281","alternative_title":["Methods in Molecular Biology"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"RySh"}],"publisher":"Springer","ec_funded":1,"title":"Immunogold protein localization on grid-glued freeze-fracture replicas","_id":"1094","date_published":"2016-08-12T00:00:00Z","date_created":"2018-12-11T11:50:06Z","publication_status":"published","citation":{"ista":"Harada H, Shigemoto R. 2016.Immunogold protein localization on grid-glued freeze-fracture replicas. In: High-Resolution Imaging of Cellular Proteins. Methods in Molecular Biology, vol. 1474, 203–216.","apa":"Harada, H., &#38; Shigemoto, R. (2016). Immunogold protein localization on grid-glued freeze-fracture replicas. In <i>High-Resolution Imaging of Cellular Proteins</i> (Vol. 1474, pp. 203–216). Springer. <a href=\"https://doi.org/10.1007/978-1-4939-6352-2_12\">https://doi.org/10.1007/978-1-4939-6352-2_12</a>","ama":"Harada H, Shigemoto R. Immunogold protein localization on grid-glued freeze-fracture replicas. In: <i>High-Resolution Imaging of Cellular Proteins</i>. Vol 1474. Springer; 2016:203-216. doi:<a href=\"https://doi.org/10.1007/978-1-4939-6352-2_12\">10.1007/978-1-4939-6352-2_12</a>","ieee":"H. Harada and R. Shigemoto, “Immunogold protein localization on grid-glued freeze-fracture replicas,” in <i>High-Resolution Imaging of Cellular Proteins</i>, vol. 1474, Springer, 2016, pp. 203–216.","short":"H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.","mla":"Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” <i>High-Resolution Imaging of Cellular Proteins</i>, vol. 1474, Springer, 2016, pp. 203–16, doi:<a href=\"https://doi.org/10.1007/978-1-4939-6352-2_12\">10.1007/978-1-4939-6352-2_12</a>.","chicago":"Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” In <i>High-Resolution Imaging of Cellular Proteins</i>, 1474:203–16. Springer, 2016. <a href=\"https://doi.org/10.1007/978-1-4939-6352-2_12\">https://doi.org/10.1007/978-1-4939-6352-2_12</a>."},"author":[{"id":"2E55CDF2-F248-11E8-B48F-1D18A9856A87","last_name":"Harada","first_name":"Harumi","full_name":"Harada, Harumi","orcid":"0000-0001-7429-7896"},{"first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto"}],"acknowledgement":"We thank Prof. Elek Molnár for providing us a pan-AMPAR anti-body used in Fig.2 and Dr. Ludek Lovicar for technical assistance in scanning electron microscope imaging. This work was supported by the European Union (HBP—Project Ref. 604102). ","page":"203 - 216","abstract":[{"text":"Immunogold labeling of freeze-fracture replicas has recently been used for high-resolution visualization of protein localization in electron microscopy. This method has higher labeling efficiency than conventional immunogold methods for membrane molecules allowing precise quantitative measurements. However, one of the limitations of freeze-fracture replica immunolabeling is difficulty in keeping structural orientation and identifying labeled profiles in complex tissues like brain. The difficulty is partly due to fragmentation of freeze-fracture replica preparations during labeling procedures and limited morphological clues on the replica surface. To overcome these issues, we introduce here a grid-glued replica method combined with SEM observation. This method allows histological staining before dissolving the tissue and easy handling of replicas during immunogold labeling, and keeps the whole replica surface intact without fragmentation. The procedure described here is also useful for matched double-replica analysis allowing further identification of labeled profiles in corresponding P-face and E-face.","lang":"eng"}],"date_updated":"2023-09-05T14:09:01Z","type":"book_chapter","intvolume":"      1474","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"]}},{"conference":{"start_date":"2016-08-23","end_date":"2016-08-26","location":"Quebec City; Canada","name":"CONCUR: Concurrency Theory"},"abstract":[{"lang":"eng","text":" The semantics of concurrent data structures is usually given by a sequential specification and a consistency condition. Linearizability is the most popular consistency condition due to its simplicity and general applicability. Nevertheless, for applications that do not require all guarantees offered by linearizability, recent research has focused on improving performance and scalability of concurrent data structures by relaxing their semantics. In this paper, we present local linearizability, a relaxed consistency condition that is applicable to container-type concurrent data structures like pools, queues, and stacks. While linearizability requires that the effect of each operation is observed by all threads at the same time, local linearizability only requires that for each thread T, the effects of its local insertion operations and the effects of those removal operations that remove values inserted by T are observed by all threads at the same time. We investigate theoretical and practical properties of local linearizability and its relationship to many existing consistency conditions. We present a generic implementation method for locally linearizable data structures that uses existing linearizable data structures as building blocks. Our implementations show performance and scalability improvements over the original building blocks and outperform the fastest existing container-type implementations. "}],"article_number":"6","date_updated":"2021-01-12T06:48:14Z","acknowledgement":"This work has been supported by the National Research Network RiSE on Rigorous Systems Engineering\r\n(Austrian Science Fund (FWF): S11402-N23, S11403-N23, S11404-N23, S11411-N23), a Google\r\nPhD Fellowship, an Erwin Schrödinger Fellowship (Austrian Science Fund (FWF): J3696-N26), EPSRC\r\ngrants EP/H005633/1 and EP/K008528/1, the Vienna Science and Technology Fund (WWTF) trough\r\ngrant PROSEED, the European Research Council (ERC) under grant 267989 (QUAREM) and by the\r\nAustrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","author":[{"full_name":"Haas, Andreas","first_name":"Andreas","last_name":"Haas"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"first_name":"Andreas","full_name":"Holzer, Andreas","last_name":"Holzer"},{"full_name":"Kirsch, Christoph","first_name":"Christoph","last_name":"Kirsch"},{"last_name":"Lippautz","first_name":"Michael","full_name":"Lippautz, Michael"},{"first_name":"Hannes","full_name":"Payer, Hannes","last_name":"Payer"},{"id":"4C7638DA-F248-11E8-B48F-1D18A9856A87","last_name":"Sezgin","first_name":"Ali","full_name":"Sezgin, Ali"},{"first_name":"Ana","full_name":"Sokolova, Ana","last_name":"Sokolova"},{"last_name":"Veith","full_name":"Veith, Helmut","first_name":"Helmut"}],"file_date_updated":"2018-12-12T10:10:10Z","ddc":["004"],"type":"conference","intvolume":"        59","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"date_updated":"2018-12-12T10:10:10Z","relation":"main_file","access_level":"open_access","creator":"system","file_size":589747,"file_id":"4795","file_name":"IST-2017-793-v1+1_LIPIcs-CONCUR-2016-6.pdf","date_created":"2018-12-12T10:10:10Z","content_type":"application/pdf"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","department":[{"_id":"ToHe"}],"citation":{"chicago":"Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.” In <i>Leibniz International Proceedings in Informatics</i>, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.6\">https://doi.org/10.4230/LIPIcs.CONCUR.2016.6</a>.","mla":"Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” <i>Leibniz International Proceedings in Informatics</i>, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.6\">10.4230/LIPIcs.CONCUR.2016.6</a>.","short":"A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.","ama":"Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: <i>Leibniz International Proceedings in Informatics</i>. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.6\">10.4230/LIPIcs.CONCUR.2016.6</a>","ieee":"A. Haas <i>et al.</i>, “Local linearizability for concurrent container-type data structures,” in <i>Leibniz International Proceedings in Informatics</i>, Quebec City; Canada, 2016, vol. 59.","apa":"Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2016.6\">https://doi.org/10.4230/LIPIcs.CONCUR.2016.6</a>","ista":"Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 6."},"publication_status":"published","date_created":"2018-12-11T11:50:07Z","title":"Local linearizability for concurrent container-type data structures","ec_funded":1,"date_published":"2016-08-01T00:00:00Z","_id":"1095","quality_controlled":"1","has_accepted_license":"1","oa_version":"Published Version","scopus_import":1,"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","alternative_title":["LIPIcs"],"pubrep_id":"793","publist_id":"6280","month":"08","language":[{"iso":"eng"}],"year":"2016","status":"public","publication":"Leibniz International Proceedings in Informatics","doi":"10.4230/LIPIcs.CONCUR.2016.6","project":[{"grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989"},{"name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF"}],"oa":1,"volume":59},{"author":[{"last_name":"Schwayer","id":"3436488C-F248-11E8-B48F-1D18A9856A87","full_name":"Schwayer, Cornelia","first_name":"Cornelia","orcid":"0000-0001-5130-2226"},{"id":"2F74BCDE-F248-11E8-B48F-1D18A9856A87","last_name":"Sikora","full_name":"Sikora, Mateusz K","first_name":"Mateusz K"},{"last_name":"Slovakova","id":"30F3F2F0-F248-11E8-B48F-1D18A9856A87","full_name":"Slovakova, Jana","first_name":"Jana"},{"first_name":"Roland","full_name":"Kardos, Roland","id":"4039350E-F248-11E8-B48F-1D18A9856A87","last_name":"Kardos"},{"last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"oa_version":"None","issue":"6","related_material":{"record":[{"id":"7186","status":"public","relation":"part_of_dissertation"}]},"scopus_import":1,"page":"493 - 506","quality_controlled":"1","date_updated":"2023-09-07T12:56:41Z","month":"06","intvolume":"        37","language":[{"iso":"eng"}],"year":"2016","status":"public","type":"journal_article","day":"20","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6279","publisher":"Cell Press","doi":"10.1016/j.devcel.2016.05.024","department":[{"_id":"CaHe"}],"publication":"Developmental Cell","volume":37,"title":"Actin rings of power","date_published":"2016-06-20T00:00:00Z","_id":"1096","publication_status":"published","citation":{"short":"C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.","mla":"Schwayer, Cornelia, et al. “Actin Rings of Power.” <i>Developmental Cell</i>, vol. 37, no. 6, Cell Press, 2016, pp. 493–506, doi:<a href=\"https://doi.org/10.1016/j.devcel.2016.05.024\">10.1016/j.devcel.2016.05.024</a>.","chicago":"Schwayer, Cornelia, Mateusz K Sikora, Jana Slovakova, Roland Kardos, and Carl-Philipp J Heisenberg. “Actin Rings of Power.” <i>Developmental Cell</i>. Cell Press, 2016. <a href=\"https://doi.org/10.1016/j.devcel.2016.05.024\">https://doi.org/10.1016/j.devcel.2016.05.024</a>.","apa":"Schwayer, C., Sikora, M. K., Slovakova, J., Kardos, R., &#38; Heisenberg, C.-P. J. (2016). Actin rings of power. <i>Developmental Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.devcel.2016.05.024\">https://doi.org/10.1016/j.devcel.2016.05.024</a>","ieee":"C. Schwayer, M. K. Sikora, J. Slovakova, R. Kardos, and C.-P. J. Heisenberg, “Actin rings of power,” <i>Developmental Cell</i>, vol. 37, no. 6. Cell Press, pp. 493–506, 2016.","ama":"Schwayer C, Sikora MK, Slovakova J, Kardos R, Heisenberg C-PJ. Actin rings of power. <i>Developmental Cell</i>. 2016;37(6):493-506. doi:<a href=\"https://doi.org/10.1016/j.devcel.2016.05.024\">10.1016/j.devcel.2016.05.024</a>","ista":"Schwayer C, Sikora MK, Slovakova J, Kardos R, Heisenberg C-PJ. 2016. Actin rings of power. Developmental Cell. 37(6), 493–506."},"date_created":"2018-12-11T11:50:07Z"},{"quality_controlled":"1","has_accepted_license":"1","oa_version":"Submitted Version","scopus_import":1,"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6278","alternative_title":["ACM Transactions on Graphics"],"pubrep_id":"759","month":"11","status":"public","year":"2016","language":[{"iso":"eng"}],"doi":"10.1145/2980179.2982427","project":[{"call_identifier":"H2020","grant_number":"645599","_id":"25082902-B435-11E9-9278-68D0E5697425","name":"Soft-bodied intelligence for Manipulation"}],"oa":1,"volume":35,"conference":{"location":"Macao, China","name":"SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia","end_date":"2016-12-08","start_date":"2016-12-05"},"article_number":"227","abstract":[{"text":"We present an interactive system for computational design, optimization, and fabrication of multicopters. Our computational approach allows non-experts to design, explore, and evaluate a wide range of different multicopters. We provide users with an intuitive interface for assembling a multicopter from a collection of components (e.g., propellers, motors, and carbon fiber rods). Our algorithm interactively optimizes shape and controller parameters of the current design to ensure its proper operation. In addition, we allow incorporating a variety of other metrics (such as payload, battery usage, size, and cost) into the design process and exploring tradeoffs between them. We show the efficacy of our method and system by designing, optimizing, fabricating, and operating multicopters with complex geometries and propeller configurations. We also demonstrate the ability of our optimization algorithm to improve the multicopter performance under different metrics.","lang":"eng"}],"date_updated":"2021-01-12T06:48:15Z","author":[{"first_name":"Tao","full_name":"Du, Tao","last_name":"Du"},{"first_name":"Adriana","full_name":"Schulz, Adriana","last_name":"Schulz"},{"first_name":"Bo","full_name":"Zhu, Bo","last_name":"Zhu"},{"first_name":"Bernd","full_name":"Bickel, Bernd","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel"},{"last_name":"Matusik","first_name":"Wojciech","full_name":"Matusik, Wojciech"}],"acknowledgement":"We thank Nobuyuki Umetani for his insightful suggestions in our discussions. We thank Alan Schultz and his colleagues at NRL for building the hexacopter and for the valuable discussions. We thank Randall Davis, Boris Katz, and Howard Shrobe at MIT for their advice. We are grateful to Nick Bandiera for preprocessing mechanical parts and providing 3D printing technical support; Charles Blouin from RCBenchmark for dynamometer hardware support; Brian Saavedra for the composition UI; Yingzhe Yuan for data acquisition and video recording in the experiments; Michael Foshey and David Kim for their comments on the draft of the paper. \r\n\r\n\r\nThis work was partially supported by Air Force Research Laboratory’s sponsorship of Julia: A Fresh Approach to Technical Computing and Data Processing (Sponsor Award ID FA8750-15-2- 0272, MIT Award ID 024831-00003), and NSF Expedition project (Sponsor Award ID CCF-1138967, MIT Award ID 020610-00002). The views expressed herein are not endorsed by the sponsors. This project has also received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No 645599. ","issue":"6","file_date_updated":"2018-12-12T10:17:42Z","ddc":["006"],"intvolume":"        35","type":"conference","file":[{"relation":"main_file","access_level":"open_access","date_updated":"2018-12-12T10:17:42Z","creator":"system","file_size":33114420,"file_id":"5298","date_created":"2018-12-12T10:17:42Z","file_name":"IST-2017-759-v1+1_copter.pdf","content_type":"application/pdf"}],"publisher":"ACM","department":[{"_id":"BeBi"}],"citation":{"short":"T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.","mla":"Du, Tao, et al. <i>Computational Multicopter Design</i>. Vol. 35, no. 6, 227, ACM, 2016, doi:<a href=\"https://doi.org/10.1145/2980179.2982427\">10.1145/2980179.2982427</a>.","chicago":"Du, Tao, Adriana Schulz, Bo Zhu, Bernd Bickel, and Wojciech Matusik. “Computational Multicopter Design,” Vol. 35. ACM, 2016. <a href=\"https://doi.org/10.1145/2980179.2982427\">https://doi.org/10.1145/2980179.2982427</a>.","apa":"Du, T., Schulz, A., Zhu, B., Bickel, B., &#38; Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. <a href=\"https://doi.org/10.1145/2980179.2982427\">https://doi.org/10.1145/2980179.2982427</a>","ama":"Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:<a href=\"https://doi.org/10.1145/2980179.2982427\">10.1145/2980179.2982427</a>","ieee":"T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.","ista":"Du T, Schulz A, Zhu B, Bickel B, Matusik W. 2016. Computational multicopter design. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 227."},"publication_status":"published","date_created":"2018-12-11T11:50:07Z","title":"Computational multicopter design","ec_funded":1,"_id":"1097","date_published":"2016-11-01T00:00:00Z"},{"date_updated":"2021-01-12T06:48:15Z","conference":{"start_date":"2016-12-05","end_date":"2016-12-10","location":"Barcelona, Spain","name":"NIPS: Neural Information Processing Systems"},"page":"3619-3627","abstract":[{"lang":"eng","text":"Better understanding of the potential benefits of information transfer and representation learning is an important step towards the goal of building intelligent systems that are able to persist in the world and learn over time. In this work, we consider a setting where the learner encounters a stream of tasks but is able to retain only limited information from each encountered task, such as a learned predictor. In contrast to most previous works analyzing this scenario, we do not make any distributional assumptions on the task generating process. Instead, we formulate a complexity measure that captures the diversity of the observed tasks. We provide a lifelong learning algorithm with error guarantees for every observed task (rather than on average). We show sample complexity reductions in comparison to solving every task in isolation in terms of our task complexity measure. Further, our algorithmic framework can naturally be viewed as learning a representation from encountered tasks with a neural network."}],"file_date_updated":"2018-12-12T10:12:43Z","acknowledgement":"This work was in parts funded by the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 308036.\r\n\r\n","author":[{"first_name":"Anastasia","full_name":"Pentina, Anastasia","last_name":"Pentina","id":"42E87FC6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Urner","full_name":"Urner, Ruth","first_name":"Ruth"}],"ddc":["006"],"intvolume":"        29","type":"conference","file":[{"file_size":237111,"file_id":"4961","creator":"system","date_updated":"2018-12-12T10:12:42Z","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_name":"IST-2017-775-v1+1_main.pdf","date_created":"2018-12-12T10:12:42Z"},{"creator":"system","file_size":185818,"file_id":"4962","relation":"main_file","access_level":"open_access","date_updated":"2018-12-12T10:12:43Z","content_type":"application/pdf","date_created":"2018-12-12T10:12:43Z","file_name":"IST-2017-775-v1+2_supplementary.pdf"}],"publisher":"Neural Information Processing Systems","department":[{"_id":"ChLa"}],"publication_status":"published","citation":{"ista":"Pentina A, Urner R. 2016. Lifelong learning with weighted majority votes. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 3619–3627.","mla":"Pentina, Anastasia, and Ruth Urner. <i>Lifelong Learning with Weighted Majority Votes</i>. Vol. 29, Neural Information Processing Systems, 2016, pp. 3619–27.","chicago":"Pentina, Anastasia, and Ruth Urner. “Lifelong Learning with Weighted Majority Votes,” 29:3619–27. Neural Information Processing Systems, 2016.","short":"A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.","ieee":"A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.","ama":"Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.","apa":"Pentina, A., &#38; Urner, R. (2016). Lifelong learning with weighted majority votes (Vol. 29, pp. 3619–3627). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems."},"date_created":"2018-12-11T11:50:08Z","_id":"1098","date_published":"2016-12-01T00:00:00Z","title":"Lifelong learning with weighted majority votes","ec_funded":1,"has_accepted_license":"1","quality_controlled":"1","scopus_import":1,"oa_version":"Published Version","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","alternative_title":["Advances in Neural Information Processing Systems"],"publist_id":"6277","pubrep_id":"775","day":"01","year":"2016","language":[{"iso":"eng"}],"status":"public","month":"12","project":[{"call_identifier":"FP7","grant_number":"308036","_id":"2532554C-B435-11E9-9278-68D0E5697425","name":"Lifelong Learning of Visual Scene Understanding"}],"oa":1,"volume":29},{"volume":35,"oa":1,"project":[{"_id":"25082902-B435-11E9-9278-68D0E5697425","name":"Soft-bodied intelligence for Manipulation","call_identifier":"H2020","grant_number":"645599"}],"doi":"10.1145/2980179.2982397","language":[{"iso":"eng"}],"status":"public","year":"2016","month":"11","alternative_title":["ACM Transactions on Graphics"],"pubrep_id":"760","publist_id":"6276","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","scopus_import":1,"oa_version":"Submitted Version","has_accepted_license":"1","quality_controlled":"1","date_published":"2016-11-01T00:00:00Z","_id":"1099","ec_funded":1,"title":"FlexMolds: Automatic design of flexible shells for molding","date_created":"2018-12-11T11:50:08Z","citation":{"ista":"Malomo L, Pietroni N, Bickel B, Cignoni P. 2016. FlexMolds: Automatic design of flexible shells for molding. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 223.","apa":"Malomo, L., Pietroni, N., Bickel, B., &#38; Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. <a href=\"https://doi.org/10.1145/2980179.2982397\">https://doi.org/10.1145/2980179.2982397</a>","ama":"Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:<a href=\"https://doi.org/10.1145/2980179.2982397\">10.1145/2980179.2982397</a>","ieee":"L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.","short":"L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.","mla":"Malomo, Luigi, et al. <i>FlexMolds: Automatic Design of Flexible Shells for Molding</i>. Vol. 35, no. 6, 223, ACM, 2016, doi:<a href=\"https://doi.org/10.1145/2980179.2982397\">10.1145/2980179.2982397</a>.","chicago":"Malomo, Luigi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “FlexMolds: Automatic Design of Flexible Shells for Molding,” Vol. 35. ACM, 2016. <a href=\"https://doi.org/10.1145/2980179.2982397\">https://doi.org/10.1145/2980179.2982397</a>."},"publication_status":"published","department":[{"_id":"BeBi"}],"publisher":"ACM","file":[{"date_updated":"2018-12-12T10:12:01Z","relation":"main_file","access_level":"open_access","creator":"system","file_id":"4918","file_size":11122029,"file_name":"IST-2017-760-v1+1_flexmolds.pdf","date_created":"2018-12-12T10:12:01Z","content_type":"application/pdf"}],"intvolume":"        35","type":"conference","ddc":["000","005"],"file_date_updated":"2018-12-12T10:12:01Z","issue":"6","acknowledgement":"The armadillo, bunny and dragon models are courtesy of the Stanford  3D  Scanning  Repository.   The  bimba,  fertility  and  elephant models are courtesy of the AIM@SHAPE Shape Repository.  \r\nThis project has received funding from the European Union’s Horizon 2020  research  and  innovation  programme  under  grant  agreement\r\nNo. 645599.","author":[{"full_name":"Malomo, Luigi","first_name":"Luigi","last_name":"Malomo"},{"last_name":"Pietroni","first_name":"Nico","full_name":"Pietroni, Nico"},{"orcid":"0000-0001-6511-9385","first_name":"Bernd","full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel"},{"last_name":"Cignoni","full_name":"Cignoni, Paolo","first_name":"Paolo"}],"date_updated":"2021-01-12T06:48:16Z","abstract":[{"text":"We present FlexMolds, a novel computational approach to automatically design flexible, reusable molds that, once 3D printed, allow us to physically fabricate, by means of liquid casting, multiple copies of complex shapes with rich surface details and complex topology. The approach to design such flexible molds is based on a greedy bottom-up search of possible cuts over an object, evaluating for each possible cut the feasibility of the resulting mold. We use a dynamic simulation approach to evaluate candidate molds, providing a heuristic to generate forces that are able to open, detach, and remove a complex mold from the object it surrounds. We have tested the approach with a number of objects with nontrivial shapes and topologies.","lang":"eng"}],"article_number":"223","conference":{"name":"SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia","location":"Macao, China","start_date":"2016-12-05","end_date":"2016-12-08"}},{"has_accepted_license":"1","quality_controlled":"1","scopus_import":1,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"961"},{"relation":"dissertation_contains","id":"50","status":"public"}]},"oa_version":"Published Version","pubrep_id":"754","publist_id":"6275","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","day":"19","status":"public","year":"2016","language":[{"iso":"eng"}],"month":"07","publication":"Cell Reports","acknowledged_ssus":[{"_id":"SSU"}],"project":[{"name":"Cell- and Tissue Mechanics in Zebrafish Germ Layer Formation","_id":"2529486C-B435-11E9-9278-68D0E5697425","grant_number":"T 560-B17","call_identifier":"FWF"},{"name":"Cell Cortex and Germ Layer Formation in Zebrafish Gastrulation","_id":"2527D5CC-B435-11E9-9278-68D0E5697425","grant_number":"I 812-B12","call_identifier":"FWF"},{"name":"Microbial Ion Channels for Synthetic Neurobiology","_id":"25548C20-B435-11E9-9278-68D0E5697425","grant_number":"303564","call_identifier":"FP7"}],"doi":"10.1016/j.celrep.2016.06.036","volume":16,"oa":1,"date_updated":"2024-03-25T23:30:13Z","abstract":[{"lang":"eng","text":"During metazoan development, the temporal pattern of morphogen signaling is critical for organizing cell fates in space and time. Yet, tools for temporally controlling morphogen signaling within the embryo are still scarce. Here, we developed a photoactivatable Nodal receptor to determine how the temporal pattern of Nodal signaling affects cell fate specification during zebrafish gastrulation. By using this receptor to manipulate the duration of Nodal signaling in vivo by light, we show that extended Nodal signaling within the organizer promotes prechordal plate specification and suppresses endoderm differentiation. Endoderm differentiation is suppressed by extended Nodal signaling inducing expression of the transcriptional repressor goosecoid (gsc) in prechordal plate progenitors, which in turn restrains Nodal signaling from upregulating the endoderm differentiation gene sox17 within these cells. Thus, optogenetic manipulation of Nodal signaling identifies a critical role of Nodal signaling duration for organizer cell fate specification during gastrulation."}],"page":"866 - 877","file_date_updated":"2018-12-12T10:11:04Z","issue":"3","acknowledgement":"We are grateful to members of the C.-P.H. and H.J. labs for discussions, R. Hauschild and the different Scientific Service Units at IST Austria for technical help, M. Dravecka for performing initial experiments, A. Schier for reading an earlier version of the manuscript, K.W. Rogers for technical help, and C. Hill, A. Bruce, and L. Solnica-Krezel for sending plasmids. This work was supported by grants from the Austrian Science Foundation (FWF): (T560-B17) and (I 812-B12) to V.R. and C.-P.H., and from the European Union (EU FP7): (6275) to H.J. A.I.-P. is supported by a Ramon Areces fellowship.","author":[{"orcid":"0000-0002-6453-8075","full_name":"Sako, Keisuke","first_name":"Keisuke","last_name":"Sako","id":"3BED66BE-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Saurabh","full_name":"Pradhan, Saurabh","last_name":"Pradhan"},{"id":"419EECCC-F248-11E8-B48F-1D18A9856A87","last_name":"Barone","first_name":"Vanessa","full_name":"Barone, Vanessa","orcid":"0000-0003-2676-3367"},{"full_name":"Inglés Prieto, Álvaro","first_name":"Álvaro","orcid":"0000-0002-5409-8571","id":"2A9DB292-F248-11E8-B48F-1D18A9856A87","last_name":"Inglés Prieto"},{"first_name":"Patrick","full_name":"Mueller, Patrick","last_name":"Mueller"},{"orcid":"0000-0003-4088-8633","first_name":"Verena","full_name":"Ruprecht, Verena","last_name":"Ruprecht","id":"4D71A03A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Capek","id":"31C42484-F248-11E8-B48F-1D18A9856A87","first_name":"Daniel","full_name":"Capek, Daniel","orcid":"0000-0001-5199-9940"},{"full_name":"Galande, Sanjeev","first_name":"Sanjeev","last_name":"Galande"},{"full_name":"Janovjak, Harald L","first_name":"Harald L","orcid":"0000-0002-8023-9315","last_name":"Janovjak","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87"}],"ddc":["570","576"],"type":"journal_article","intvolume":"        16","file":[{"date_updated":"2018-12-12T10:11:04Z","access_level":"open_access","relation":"main_file","file_size":3921947,"file_id":"4857","creator":"system","file_name":"IST-2017-754-v1+1_1-s2.0-S2211124716307768-main.pdf","date_created":"2018-12-12T10:11:04Z","content_type":"application/pdf"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"department":[{"_id":"CaHe"},{"_id":"HaJa"}],"publisher":"Cell Press","date_created":"2018-12-11T11:50:08Z","citation":{"apa":"Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. <i>Cell Reports</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.celrep.2016.06.036\">https://doi.org/10.1016/j.celrep.2016.06.036</a>","ieee":"K. Sako <i>et al.</i>, “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” <i>Cell Reports</i>, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.","ama":"Sako K, Pradhan S, Barone V, et al. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. <i>Cell Reports</i>. 2016;16(3):866-877. doi:<a href=\"https://doi.org/10.1016/j.celrep.2016.06.036\">10.1016/j.celrep.2016.06.036</a>","short":"K. Sako, S. Pradhan, V. Barone, Á. Inglés Prieto, P. Mueller, V. Ruprecht, D. Capek, S. Galande, H.L. Janovjak, C.-P.J. Heisenberg, Cell Reports 16 (2016) 866–877.","mla":"Sako, Keisuke, et al. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” <i>Cell Reports</i>, vol. 16, no. 3, Cell Press, 2016, pp. 866–77, doi:<a href=\"https://doi.org/10.1016/j.celrep.2016.06.036\">10.1016/j.celrep.2016.06.036</a>.","chicago":"Sako, Keisuke, Saurabh Pradhan, Vanessa Barone, Álvaro Inglés Prieto, Patrick Mueller, Verena Ruprecht, Daniel Capek, Sanjeev Galande, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” <i>Cell Reports</i>. Cell Press, 2016. <a href=\"https://doi.org/10.1016/j.celrep.2016.06.036\">https://doi.org/10.1016/j.celrep.2016.06.036</a>.","ista":"Sako K, Pradhan S, Barone V, Inglés Prieto Á, Mueller P, Ruprecht V, Capek D, Galande S, Janovjak HL, Heisenberg C-PJ. 2016. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. 16(3), 866–877."},"publication_status":"published","date_published":"2016-07-19T00:00:00Z","_id":"1100","title":"Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation","ec_funded":1}]