[{"doi":"10.1038/srep38840","publication":"Scientific Reports","oa":1,"volume":6,"scopus_import":1,"oa_version":"Published Version","has_accepted_license":"1","quality_controlled":"1","status":"public","language":[{"iso":"eng"}],"year":"2016","month":"12","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","pubrep_id":"737","publist_id":"6183","day":"19","publisher":"Nature Publishing Group","department":[{"_id":"NiBa"}],"file":[{"date_created":"2018-12-12T10:12:56Z","file_name":"IST-2017-737-v1+1_srep38840.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"cb378732da885ea4959ec5b845fb6e52","date_updated":"2020-07-14T12:44:37Z","file_id":"4977","file_size":760967,"creator":"system"}],"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"},"_id":"1172","date_published":"2016-12-19T00:00:00Z","title":"Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae","publication_status":"published","citation":{"short":"H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).","mla":"Sachdeva, Himani, et al. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” <i>Scientific Reports</i>, vol. 6, 38840, Nature Publishing Group, 2016, doi:<a href=\"https://doi.org/10.1038/srep38840\">10.1038/srep38840</a>.","chicago":"Sachdeva, Himani, Mustansir Barma, and Madan Rao. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” <i>Scientific Reports</i>. Nature Publishing Group, 2016. <a href=\"https://doi.org/10.1038/srep38840\">https://doi.org/10.1038/srep38840</a>.","apa":"Sachdeva, H., Barma, M., &#38; Rao, M. (2016). Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep38840\">https://doi.org/10.1038/srep38840</a>","ieee":"H. Sachdeva, M. Barma, and M. Rao, “Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae,” <i>Scientific Reports</i>, vol. 6. Nature Publishing Group, 2016.","ama":"Sachdeva H, Barma M, Rao M. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. <i>Scientific Reports</i>. 2016;6. doi:<a href=\"https://doi.org/10.1038/srep38840\">10.1038/srep38840</a>","ista":"Sachdeva H, Barma M, Rao M. 2016. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. 6, 38840."},"date_created":"2018-12-11T11:50:32Z","file_date_updated":"2020-07-14T12:44:37Z","acknowledgement":"H.S. thanks NCBS for hospitality. We thank Vivek Malhotra and Mukund Thattai for critical discussions and suggestions.","author":[{"last_name":"Sachdeva","id":"42377A0A-F248-11E8-B48F-1D18A9856A87","full_name":"Sachdeva, Himani","first_name":"Himani"},{"last_name":"Barma","first_name":"Mustansir","full_name":"Barma, Mustansir"},{"full_name":"Rao, Madan","first_name":"Madan","last_name":"Rao"}],"date_updated":"2021-01-12T06:48:50Z","article_number":"38840","abstract":[{"text":"A central issue in cell biology is the physico-chemical basis of organelle biogenesis in intracellular trafficking pathways, its most impressive manifestation being the biogenesis of Golgi cisternae. At a basic level, such morphologically and chemically distinct compartments should arise from an interplay between the molecular transport and chemical maturation. Here, we formulate analytically tractable, minimalist models, that incorporate this interplay between transport and chemical progression in physical space, and explore the conditions for de novo biogenesis of distinct cisternae. We propose new quantitative measures that can discriminate between the various models of transport in a qualitative manner-this includes measures of the dynamics in steady state and the dynamical response to perturbations of the kind amenable to live-cell imaging.","lang":"eng"}],"type":"journal_article","intvolume":"         6","ddc":["576"]},{"date_updated":"2021-01-12T06:48:52Z","page":"1321 - 1362","abstract":[{"lang":"eng","text":"Boldyreva, Palacio and Warinschi introduced a multiple forking game as an extension of general forking. The notion of (multiple) forking is a useful abstraction from the actual simulation of cryptographic scheme to the adversary in a security reduction, and is achieved through the intermediary of a so-called wrapper algorithm. Multiple forking has turned out to be a useful tool in the security argument of several cryptographic protocols. However, a reduction employing multiple forking incurs a significant degradation of (Formula presented.) , where (Formula presented.) denotes the upper bound on the underlying random oracle calls and (Formula presented.) , the number of forkings. In this work we take a closer look at the reasons for the degradation with a tighter security bound in mind. We nail down the exact set of conditions for success in the multiple forking game. A careful analysis of the cryptographic schemes and corresponding security reduction employing multiple forking leads to the formulation of ‘dependence’ and ‘independence’ conditions pertaining to the output of the wrapper in different rounds. Based on the (in)dependence conditions we propose a general framework of multiple forking and a General Multiple Forking Lemma. Leveraging (in)dependence to the full allows us to improve the degradation factor in the multiple forking game by a factor of (Formula presented.). By implication, the cost of a single forking involving two random oracles (augmented forking) matches that involving a single random oracle (elementary forking). Finally, we study the effect of these observations on the concrete security of existing schemes employing multiple forking. We conclude that by careful design of the protocol (and the wrapper in the security reduction) it is possible to harness our observations to the full extent."}],"quality_controlled":"1","issue":"4","author":[{"full_name":"Kamath Hosdurg, Chethan","first_name":"Chethan","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","last_name":"Kamath Hosdurg"},{"first_name":"Sanjit","full_name":"Chatterjee, Sanjit","last_name":"Chatterjee"}],"main_file_link":[{"open_access":"1","url":"http://eprint.iacr.org/2013/651"}],"acknowledgement":"We are grateful to the anonymous reviewers for their insightful comments. The\r\ndetailed reports helped us a lot to address the technical mistakes as well as to improve the overall presentation of the paper.","oa_version":"Submitted Version","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6177","day":"01","intvolume":"        74","year":"2016","language":[{"iso":"eng"}],"type":"journal_article","status":"public","month":"04","publication":"Algorithmica","publisher":"Springer","doi":"10.1007/s00453-015-9997-6","department":[{"_id":"KrPi"}],"publication_status":"published","citation":{"short":"C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.","chicago":"Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” <i>Algorithmica</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00453-015-9997-6\">https://doi.org/10.1007/s00453-015-9997-6</a>.","mla":"Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” <i>Algorithmica</i>, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi:<a href=\"https://doi.org/10.1007/s00453-015-9997-6\">10.1007/s00453-015-9997-6</a>.","apa":"Kamath Hosdurg, C., &#38; Chatterjee, S. (2016). A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. <i>Algorithmica</i>. Springer. <a href=\"https://doi.org/10.1007/s00453-015-9997-6\">https://doi.org/10.1007/s00453-015-9997-6</a>","ama":"Kamath Hosdurg C, Chatterjee S. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. <i>Algorithmica</i>. 2016;74(4):1321-1362. doi:<a href=\"https://doi.org/10.1007/s00453-015-9997-6\">10.1007/s00453-015-9997-6</a>","ieee":"C. Kamath Hosdurg and S. Chatterjee, “A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound,” <i>Algorithmica</i>, vol. 74, no. 4. Springer, pp. 1321–1362, 2016.","ista":"Kamath Hosdurg C, Chatterjee S. 2016. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. 74(4), 1321–1362."},"date_created":"2018-12-11T11:50:33Z","_id":"1177","date_published":"2016-04-01T00:00:00Z","oa":1,"volume":74,"title":"A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound"},{"day":"22","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6175","alternative_title":["LNCS"],"month":"10","language":[{"iso":"eng"}],"status":"public","year":"2016","quality_controlled":"1","oa_version":"Preprint","scopus_import":1,"oa":1,"volume":9985,"doi":"10.1007/978-3-662-53641-4_8","project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","grant_number":"682815"}],"intvolume":"      9985","type":"conference","conference":{"end_date":"2016-11-03","start_date":"2016-10-31","name":"TCC: Theory of Cryptography Conference","location":"Beijing, China"},"page":"183 - 203","abstract":[{"text":"Computational notions of entropy have recently found many applications, including leakage-resilient cryptography, deterministic encryption or memory delegation. The two main types of results which make computational notions so useful are (1) Chain rules, which quantify by how much the computational entropy of a variable decreases if conditioned on some other variable (2) Transformations, which quantify to which extend one type of entropy implies another.\r\n\r\nSuch chain rules and transformations typically lose a significant amount in quality of the entropy, and are the reason why applying these results one gets rather weak quantitative security bounds. In this paper we for the first time prove lower bounds in this context, showing that existing results for transformations are, unfortunately, basically optimal for non-adaptive black-box reductions (and it’s hard to imagine how non black-box reductions or adaptivity could be useful here.)\r\n\r\nA variable X has k bits of HILL entropy of quality (ϵ,s)\r\nif there exists a variable Y with k bits min-entropy which cannot be distinguished from X with advantage ϵ\r\n\r\nby distinguishing circuits of size s. A weaker notion is Metric entropy, where we switch quantifiers, and only require that for every distinguisher of size s, such a Y exists.\r\n\r\nWe first describe our result concerning transformations. By definition, HILL implies Metric without any loss in quality. Metric entropy often comes up in applications, but must be transformed to HILL for meaningful security guarantees. The best known result states that if a variable X has k bits of Metric entropy of quality (ϵ,s)\r\n, then it has k bits of HILL with quality (2ϵ,s⋅ϵ2). We show that this loss of a factor Ω(ϵ−2)\r\n\r\nin circuit size is necessary. In fact, we show the stronger result that this loss is already necessary when transforming so called deterministic real valued Metric entropy to randomised boolean Metric (both these variants of Metric entropy are implied by HILL without loss in quality).\r\n\r\nThe chain rule for HILL entropy states that if X has k bits of HILL entropy of quality (ϵ,s)\r\n, then for any variable Z of length m, X conditioned on Z has k−m bits of HILL entropy with quality (ϵ,s⋅ϵ2/2m). We show that a loss of Ω(2m/ϵ) in circuit size necessary here. Note that this still leaves a gap of ϵ between the known bound and our lower bound.","lang":"eng"}],"date_updated":"2021-01-12T06:48:53Z","acknowledgement":"K. Pietrzak—Supported by the European Research Council consolidator grant (682815-TOCNeT).\r\nM. Skórski—Supported by the National Science Center, Poland (2015/17/N/ST6/03564).","author":[{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z"},{"full_name":"Maciej, Skorski","first_name":"Skorski","last_name":"Maciej"}],"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2016/159"}],"citation":{"chicago":"Pietrzak, Krzysztof Z, and Skorski Maciej. “Pseudoentropy: Lower-Bounds for Chain Rules and Transformations,” 9985:183–203. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-662-53641-4_8\">https://doi.org/10.1007/978-3-662-53641-4_8</a>.","mla":"Pietrzak, Krzysztof Z., and Skorski Maciej. <i>Pseudoentropy: Lower-Bounds for Chain Rules and Transformations</i>. Vol. 9985, Springer, 2016, pp. 183–203, doi:<a href=\"https://doi.org/10.1007/978-3-662-53641-4_8\">10.1007/978-3-662-53641-4_8</a>.","short":"K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.","ama":"Pietrzak KZ, Maciej S. Pseudoentropy: Lower-bounds for chain rules and transformations. In: Vol 9985. Springer; 2016:183-203. doi:<a href=\"https://doi.org/10.1007/978-3-662-53641-4_8\">10.1007/978-3-662-53641-4_8</a>","ieee":"K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules and transformations,” presented at the TCC: Theory of Cryptography Conference, Beijing, China, 2016, vol. 9985, pp. 183–203.","apa":"Pietrzak, K. Z., &#38; Maciej, S. (2016). Pseudoentropy: Lower-bounds for chain rules and transformations (Vol. 9985, pp. 183–203). Presented at the TCC: Theory of Cryptography Conference, Beijing, China: Springer. <a href=\"https://doi.org/10.1007/978-3-662-53641-4_8\">https://doi.org/10.1007/978-3-662-53641-4_8</a>","ista":"Pietrzak KZ, Maciej S. 2016. Pseudoentropy: Lower-bounds for chain rules and transformations. TCC: Theory of Cryptography Conference, LNCS, vol. 9985, 183–203."},"publication_status":"published","date_created":"2018-12-11T11:50:34Z","title":"Pseudoentropy: Lower-bounds for chain rules and transformations","ec_funded":1,"_id":"1179","date_published":"2016-10-22T00:00:00Z","publisher":"Springer","department":[{"_id":"KrPi"}]},{"date_created":"2018-12-11T11:50:35Z","publication_status":"published","citation":{"ista":"Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. 2016. Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience. 36(45), 11394–11401.","ieee":"N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, and T. Ghashghaei, “Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity,” <i>Journal of Neuroscience</i>, vol. 36, no. 45. Society for Neuroscience, pp. 11394–11401, 2016.","ama":"Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. <i>Journal of Neuroscience</i>. 2016;36(45):11394-11401. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.2359-16.2016\">10.1523/JNEUROSCI.2359-16.2016</a>","apa":"Dwyer, N., Chen, B., Chou, S., Hippenmeyer, S., Nguyen, L., &#38; Ghashghaei, T. (2016). Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.2359-16.2016\">https://doi.org/10.1523/JNEUROSCI.2359-16.2016</a>","chicago":"Dwyer, Noelle, Bin Chen, Shen Chou, Simon Hippenmeyer, Laurent Nguyen, and Troy Ghashghaei. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms Regulating Progenitor Behavior and Productivity.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2016. <a href=\"https://doi.org/10.1523/JNEUROSCI.2359-16.2016\">https://doi.org/10.1523/JNEUROSCI.2359-16.2016</a>.","mla":"Dwyer, Noelle, et al. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms Regulating Progenitor Behavior and Productivity.” <i>Journal of Neuroscience</i>, vol. 36, no. 45, Society for Neuroscience, 2016, pp. 11394–401, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.2359-16.2016\">10.1523/JNEUROSCI.2359-16.2016</a>.","short":"N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, T. Ghashghaei, Journal of Neuroscience 36 (2016) 11394–11401."},"_id":"1181","date_published":"2016-11-09T00:00:00Z","title":"Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity","volume":36,"publication":"Journal of Neuroscience","project":[{"name":"Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal Level","_id":"25D7962E-B435-11E9-9278-68D0E5697425","grant_number":"RGP0053/2014"}],"department":[{"_id":"SiHi"}],"doi":"10.1523/JNEUROSCI.2359-16.2016","publisher":"Society for Neuroscience","publist_id":"6172","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"09","year":"2016","intvolume":"        36","type":"journal_article","language":[{"iso":"eng"}],"status":"public","month":"11","date_updated":"2021-01-12T06:48:54Z","quality_controlled":"1","abstract":[{"lang":"eng","text":"This review accompanies a 2016 SFN mini-symposium presenting examples of current studies that address a central question: How do neural stem cells (NSCs) divide in different ways to produce heterogeneous daughter types at the right time and in proper numbers to build a cerebral cortex with the appropriate size and structure? We will focus on four aspects of corticogenesis: cytokinesis events that follow apical mitoses of NSCs; coordinating abscission with delamination from the apical membrane; timing of neurogenesis and its indirect regulation through emergence of intermediate progenitors; and capacity of single NSCs to generate the correct number and laminar fate of cortical neurons. Defects in these mechanisms can cause microcephaly and other brain malformations, and understanding them is critical to designing diagnostic tools and preventive and corrective therapies."}],"page":"11394 - 11401","scopus_import":1,"issue":"45","author":[{"full_name":"Dwyer, Noelle","first_name":"Noelle","last_name":"Dwyer"},{"last_name":"Chen","first_name":"Bin","full_name":"Chen, Bin"},{"last_name":"Chou","full_name":"Chou, Shen","first_name":"Shen"},{"id":"37B36620-F248-11E8-B48F-1D18A9856A87","last_name":"Hippenmeyer","full_name":"Hippenmeyer, Simon","first_name":"Simon","orcid":"0000-0003-2279-1061"},{"full_name":"Nguyen, Laurent","first_name":"Laurent","last_name":"Nguyen"},{"last_name":"Ghashghaei","first_name":"Troy","full_name":"Ghashghaei, Troy"}],"oa_version":"None","acknowledgement":"This work was supported by National Institutes of Health Grants R01NS089795 and R01NS098370 to H.T.G., R01NS076640 to N.D.D., and R01MH094589 and R01NS089777 to B.C., Academia Sinica AS-104-TPB09-2 to S.-J.C, European Union FP7-CIG618444 and Human Frontiers Science Program RGP0053 to S.H., and Fonds Léon Fredericq, from the Fondation Médicale Reine Elisabeth, and from the Fonation Simone et Pierre Clerdent to L.N. The authors apologize to colleagues whose work could not be cited due to space limitations."},{"publist_id":"6171","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","year":"2016","type":"conference","language":[{"iso":"eng"}],"status":"public","month":"01","date_updated":"2023-02-21T10:04:26Z","quality_controlled":"1","abstract":[{"text":"Balanced knockout tournaments are ubiquitous in sports competitions and are also used in decisionmaking and elections. The traditional computational question, that asks to compute a draw (optimal draw) that maximizes the winning probability for a distinguished player, has received a lot of attention. Previous works consider the problem where the pairwise winning probabilities are known precisely, while we study how robust is the winning probability with respect to small errors in the pairwise winning probabilities. First, we present several illuminating examples to establish: (a) there exist deterministic tournaments (where the pairwise winning probabilities are 0 or 1) where one optimal draw is much more robust than the other; and (b) in general, there exist tournaments with slightly suboptimal draws that are more robust than all the optimal draws. The above examples motivate the study of the computational problem of robust draws that guarantee a specified winning probability. Second, we present a polynomial-time algorithm for approximating the robustness of a draw for sufficiently small errors in pairwise winning probabilities, and obtain that the stated computational problem is NP-complete. We also show that two natural cases of deterministic tournaments where the optimal draw could be computed in polynomial time also admit polynomial-time algorithms to compute robust optimal draws.","lang":"eng"}],"page":"172 - 179","conference":{"end_date":"2016-07-15","start_date":"2016-07-09","location":"New York, NY, USA","name":"IJCAI: International Joint Conference on Artificial Intelligence"},"related_material":{"link":[{"relation":"table_of_contents","url":"https://www.ijcai.org/proceedings/2016"}]},"scopus_import":1,"author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-4783-0389","full_name":"Ibsen-Jensen, Rasmus","first_name":"Rasmus","last_name":"Ibsen-Jensen","id":"3B699956-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Tkadlec, Josef","first_name":"Josef","orcid":"0000-0002-1097-9684","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","last_name":"Tkadlec"}],"oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1604.05090v1"}],"date_created":"2018-12-11T11:50:35Z","publication_status":"published","citation":{"ista":"Chatterjee K, Ibsen-Jensen R, Tkadlec J. 2016. Robust draws in balanced knockout tournaments. IJCAI: International Joint Conference on Artificial Intelligence vol. 2016–January, 172–179.","short":"K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Josef Tkadlec. “Robust Draws in Balanced Knockout Tournaments,” 2016–January:172–79. AAAI Press, 2016.","mla":"Chatterjee, Krishnendu, et al. <i>Robust Draws in Balanced Knockout Tournaments</i>. Vol. 2016–January, AAAI Press, 2016, pp. 172–79.","apa":"Chatterjee, K., Ibsen-Jensen, R., &#38; Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.","ieee":"K. Chatterjee, R. Ibsen-Jensen, and J. Tkadlec, “Robust draws in balanced knockout tournaments,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA, 2016, vol. 2016–January, pp. 172–179.","ama":"Chatterjee K, Ibsen-Jensen R, Tkadlec J. Robust draws in balanced knockout tournaments. In: Vol 2016-January. AAAI Press; 2016:172-179."},"_id":"1182","date_published":"2016-01-01T00:00:00Z","ec_funded":1,"title":"Robust draws in balanced knockout tournaments","volume":"2016-January","oa":1,"department":[{"_id":"KrCh"}],"project":[{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003"},{"grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"grant_number":"267989","call_identifier":"FP7","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"}],"publisher":"AAAI Press"},{"_id":"1183","date_published":"2016-12-01T00:00:00Z","title":"Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder","date_created":"2018-12-11T11:50:35Z","publication_status":"published","citation":{"ista":"Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.","apa":"Tarlungeanu, D.-C., Deliu, E., Dotter, C., Kara, M., Janiesch, P., Scalise, M., … Novarino, G. (2016). Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2016.11.013\">https://doi.org/10.1016/j.cell.2016.11.013</a>","ieee":"D.-C. Tarlungeanu <i>et al.</i>, “Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder,” <i>Cell</i>, vol. 167, no. 6. Cell Press, pp. 1481–1494, 2016.","ama":"Tarlungeanu D-C, Deliu E, Dotter C, et al. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. <i>Cell</i>. 2016;167(6):1481-1494. doi:<a href=\"https://doi.org/10.1016/j.cell.2016.11.013\">10.1016/j.cell.2016.11.013</a>","short":"D.-C. Tarlungeanu, E. Deliu, C. Dotter, M. Kara, P. Janiesch, M. Scalise, M. Galluccio, M. Tesulov, E. Morelli, F. Sönmez, K. Bilgüvar, R. Ohgaki, Y. Kanai, A. Johansen, S. Esharif, T. Ben Omran, M. Topcu, A. Schlessinger, C. Indiveri, K. Duncan, A. Caglayan, M. Günel, J. Gleeson, G. Novarino, Cell 167 (2016) 1481–1494.","mla":"Tarlungeanu, Dora-Clara, et al. “Impaired Amino Acid Transport at the Blood Brain Barrier Is a Cause of Autism Spectrum Disorder.” <i>Cell</i>, vol. 167, no. 6, Cell Press, 2016, pp. 1481–94, doi:<a href=\"https://doi.org/10.1016/j.cell.2016.11.013\">10.1016/j.cell.2016.11.013</a>.","chicago":"Tarlungeanu, Dora-Clara, Elena Deliu, Christoph Dotter, Majdi Kara, Philipp Janiesch, Mariafrancesca Scalise, Michele Galluccio, et al. “Impaired Amino Acid Transport at the Blood Brain Barrier Is a Cause of Autism Spectrum Disorder.” <i>Cell</i>. Cell Press, 2016. <a href=\"https://doi.org/10.1016/j.cell.2016.11.013\">https://doi.org/10.1016/j.cell.2016.11.013</a>."},"department":[{"_id":"GaNo"}],"publisher":"Cell Press","file":[{"content_type":"application/pdf","date_created":"2018-12-12T10:13:44Z","file_name":"IST-2017-771-v1+1_Tarlungeanu_et_al._Final_edited.pdf","creator":"system","file_id":"5030","file_size":73907957,"relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:44:37Z","checksum":"7fe01ab12a6610d3db421e0136db2f77"}],"intvolume":"       167","type":"journal_article","ddc":["576","616"],"file_date_updated":"2020-07-14T12:44:37Z","issue":"6","author":[{"id":"2ABCE612-F248-11E8-B48F-1D18A9856A87","last_name":"Tarlungeanu","full_name":"Tarlungeanu, Dora-Clara","first_name":"Dora-Clara"},{"id":"37A40D7E-F248-11E8-B48F-1D18A9856A87","last_name":"Deliu","first_name":"Elena","full_name":"Deliu, Elena","orcid":"0000-0002-7370-5293"},{"orcid":"0000-0002-9033-9096","first_name":"Christoph","full_name":"Dotter, Christoph","id":"4C66542E-F248-11E8-B48F-1D18A9856A87","last_name":"Dotter"},{"last_name":"Kara","full_name":"Kara, Majdi","first_name":"Majdi"},{"first_name":"Philipp","full_name":"Janiesch, Philipp","last_name":"Janiesch"},{"first_name":"Mariafrancesca","full_name":"Scalise, Mariafrancesca","last_name":"Scalise"},{"first_name":"Michele","full_name":"Galluccio, Michele","last_name":"Galluccio"},{"full_name":"Tesulov, Mateja","first_name":"Mateja","last_name":"Tesulov"},{"id":"3F4D1282-F248-11E8-B48F-1D18A9856A87","last_name":"Morelli","full_name":"Morelli, Emanuela","first_name":"Emanuela"},{"full_name":"Sönmez, Fatma","first_name":"Fatma","last_name":"Sönmez"},{"last_name":"Bilgüvar","first_name":"Kaya","full_name":"Bilgüvar, Kaya"},{"first_name":"Ryuichi","full_name":"Ohgaki, Ryuichi","last_name":"Ohgaki"},{"last_name":"Kanai","first_name":"Yoshikatsu","full_name":"Kanai, Yoshikatsu"},{"last_name":"Johansen","first_name":"Anide","full_name":"Johansen, Anide"},{"last_name":"Esharif","full_name":"Esharif, Seham","first_name":"Seham"},{"last_name":"Ben Omran","full_name":"Ben Omran, Tawfeg","first_name":"Tawfeg"},{"full_name":"Topcu, Meral","first_name":"Meral","last_name":"Topcu"},{"last_name":"Schlessinger","full_name":"Schlessinger, Avner","first_name":"Avner"},{"last_name":"Indiveri","first_name":"Cesare","full_name":"Indiveri, Cesare"},{"last_name":"Duncan","first_name":"Kent","full_name":"Duncan, Kent"},{"last_name":"Caglayan","first_name":"Ahmet","full_name":"Caglayan, Ahmet"},{"last_name":"Günel","first_name":"Murat","full_name":"Günel, Murat"},{"full_name":"Gleeson, Joseph","first_name":"Joseph","last_name":"Gleeson"},{"last_name":"Novarino","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","full_name":"Novarino, Gaia","orcid":"0000-0002-7673-7178"}],"acknowledgement":"This work was supported by NICHD (P01HD070494) and SFARI (grant 275275) to J.G.G., and FWF (SFB35_3523) to G.N.\r\nWe thank A.C. Manzano, Mike Liu, and F. Marr for technical assistance, and R. Shigemoto and the IST Austria Electron Microscopy (EM) Facility for assistance. We acknowledge support from CIDR for genome-wide SNP analysis (X01HG008823) and Broad Institute Center for Mendelian Disorders (UM1HG008900 to D. MacArthur), the Yale Center for Mendelian Disorders (U54HG006504 to M.G.), the Gregory M. Kiez and Mehmet Kutman Foundation (M.G.), Italian Ministry of Instruction University and Research (PON01_00937 to C.I.), and NIH (R01-GM108911 to A.S.). This work was supported by NICHD (P01HD070494) and SFARI (grant 275275) to J.G.G., and FWF (SFB35_3523) to G.N.\r\n\r\n#EMFacility","date_updated":"2024-03-25T23:30:07Z","page":"1481 - 1494","abstract":[{"text":"Autism spectrum disorders (ASD) are a group of genetic disorders often overlapping with other neurological conditions. We previously described abnormalities in the branched-chain amino acid (BCAA) catabolic pathway as a cause of ASD. Here, we show that the solute carrier transporter 7a5 (SLC7A5), a large neutral amino acid transporter localized at the blood brain barrier (BBB), has an essential role in maintaining normal levels of brain BCAAs. In mice, deletion of Slc7a5 from the endothelial cells of the BBB leads to atypical brain amino acid profile, abnormal mRNA translation, and severe neurological abnormalities. Furthermore, we identified several patients with autistic traits and motor delay carrying deleterious homozygous mutations in the SLC7A5 gene. Finally, we demonstrate that BCAA intracerebroventricular administration ameliorates abnormal behaviors in adult mutant mice. Our data elucidate a neurological syndrome defined by SLC7A5 mutations and support an essential role for the BCAA in human brain function.","lang":"eng"}],"article_type":"original","volume":167,"oa":1,"project":[{"grant_number":"F03523","call_identifier":"FWF","name":"Transmembrane Transporters in Health and Disease","_id":"25473368-B435-11E9-9278-68D0E5697425"}],"doi":"10.1016/j.cell.2016.11.013","publication":"Cell","year":"2016","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"12","publist_id":"6170","pubrep_id":"771","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","day":"01","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"395"}]},"scopus_import":"1","oa_version":"Submitted Version","has_accepted_license":"1","quality_controlled":"1"},{"publication":"Ecology and Evolution","doi":"10.1002/ece3.2474","volume":6,"oa":1,"has_accepted_license":"1","quality_controlled":"1","scopus_import":1,"oa_version":"Published Version","publist_id":"6169","pubrep_id":"736","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","year":"2016","language":[{"iso":"eng"}],"status":"public","month":"12","file":[{"date_created":"2018-12-12T10:14:12Z","file_name":"IST-2017-736-v1+1_Metzler_et_al-2016-Ecology_and_Evolution.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"789026eb9e1be2a0da08376f29f569cf","date_updated":"2020-07-14T12:44:37Z","file_size":328414,"file_id":"5062","creator":"system"}],"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":"SyCr"}],"publisher":"Wiley-Blackwell","date_created":"2018-12-11T11:50:36Z","citation":{"chicago":"Metzler, Sina, Jürgen Heinze, and Alexandra Schrempf. “Mating and Longevity in Ant Males.” <i>Ecology and Evolution</i>. Wiley-Blackwell, 2016. <a href=\"https://doi.org/10.1002/ece3.2474\">https://doi.org/10.1002/ece3.2474</a>.","mla":"Metzler, Sina, et al. “Mating and Longevity in Ant Males.” <i>Ecology and Evolution</i>, vol. 6, no. 24, Wiley-Blackwell, 2016, pp. 8903–06, doi:<a href=\"https://doi.org/10.1002/ece3.2474\">10.1002/ece3.2474</a>.","short":"S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.","ieee":"S. Metzler, J. Heinze, and A. Schrempf, “Mating and longevity in ant males,” <i>Ecology and Evolution</i>, vol. 6, no. 24. Wiley-Blackwell, pp. 8903–8906, 2016.","ama":"Metzler S, Heinze J, Schrempf A. Mating and longevity in ant males. <i>Ecology and Evolution</i>. 2016;6(24):8903-8906. doi:<a href=\"https://doi.org/10.1002/ece3.2474\">10.1002/ece3.2474</a>","apa":"Metzler, S., Heinze, J., &#38; Schrempf, A. (2016). Mating and longevity in ant males. <i>Ecology and Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/ece3.2474\">https://doi.org/10.1002/ece3.2474</a>","ista":"Metzler S, Heinze J, Schrempf A. 2016. Mating and longevity in ant males. Ecology and Evolution. 6(24), 8903–8906."},"publication_status":"published","_id":"1184","date_published":"2016-12-01T00:00:00Z","title":"Mating and longevity in ant males","date_updated":"2021-01-12T06:48:55Z","abstract":[{"text":"Across multicellular organisms, the costs of reproduction and self-maintenance result in a life history trade-off between fecundity and longevity. Queens of perennial social Hymenoptera are both highly fertile and long-lived, and thus, this fundamental trade-off is lacking. Whether social insect males similarly evade the fecundity/longevity trade-off remains largely unstudied. Wingless males of the ant genus Cardiocondyla stay in their natal colonies throughout their relatively long lives and mate with multiple female sexuals. Here, we show that Cardiocondyla obscurior males that were allowed to mate with large numbers of female sexuals had a shortened life span compared to males that mated at a low frequency or virgin males. Although frequent mating negatively affects longevity, males clearly benefit from a “live fast, die young strategy” by inseminating as many female sexuals as possible at a cost to their own survival.","lang":"eng"}],"page":"8903 - 8906","file_date_updated":"2020-07-14T12:44:37Z","issue":"24","acknowledgement":"German Science Foundation. Grant Number: SCHR 1135/2-1. We thank M. Adam for handling part of the setups and J. Zoellner for behavioral observations.","author":[{"id":"48204546-F248-11E8-B48F-1D18A9856A87","last_name":"Metzler","full_name":"Metzler, Sina","first_name":"Sina"},{"first_name":"Jürgen","full_name":"Heinze, Jürgen","last_name":"Heinze"},{"full_name":"Schrempf, Alexandra","first_name":"Alexandra","last_name":"Schrempf"}],"ddc":["576","592"],"intvolume":"         6","type":"journal_article"},{"date_updated":"2021-01-12T06:48:56Z","abstract":[{"lang":"eng","text":"The developmental programme of the pistil is under the control of both auxin and cytokinin. Crosstalk between these factors converges on regulation of the auxin carrier PIN-FORMED 1 (PIN1). Here, we show that in the triple transcription factor mutant cytokinin response factor 2 (crf2) crf3 crf6 both pistil length and ovule number were reduced. PIN1 expression was also lower in the triple mutant and the phenotypes could not be rescued by exogenous cytokinin application. pin1 complementation studies using genomic PIN1 constructs showed that the pistil phenotypes were only rescued when the PCRE1 domain, to which CRFs bind, was present. Without this domain, pin mutants resemble the crf2 crf3 crf6 triple mutant, indicating the pivotal role of CRFs in auxin-cytokinin crosstalk."}],"quality_controlled":"1","page":"4419 - 4424","issue":"23","scopus_import":1,"oa_version":"None","acknowledgement":"M.C. was funded by a PhD fellowship from the Università degli Studi di Milano-Bicocca and from Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR) [MIUR-PRIN 2012]. L.C. is also supported by MIUR [MIUR-PRIN 2012]. We would like to thank Andrew MacCabe and Edward Kiegle for editing the paper.","author":[{"last_name":"Cucinotta","first_name":"Mara","full_name":"Cucinotta, Mara"},{"last_name":"Manrique","full_name":"Manrique, Silvia","first_name":"Silvia"},{"full_name":"Guazzotti, Andrea","first_name":"Andrea","last_name":"Guazzotti"},{"full_name":"Quadrelli, Nadia","first_name":"Nadia","last_name":"Quadrelli"},{"full_name":"Mendes, Marta","first_name":"Marta","last_name":"Mendes"},{"first_name":"Eva","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","last_name":"Benková","id":"38F4F166-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Colombo, Lucia","first_name":"Lucia","last_name":"Colombo"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6168","day":"01","year":"2016","type":"journal_article","language":[{"iso":"eng"}],"status":"public","intvolume":"       143","month":"12","publication":"Development","publisher":"Company of Biologists","doi":"10.1242/dev.143545","department":[{"_id":"EvBe"}],"citation":{"short":"M. Cucinotta, S. Manrique, A. Guazzotti, N. Quadrelli, M. Mendes, E. Benková, L. Colombo, Development 143 (2016) 4419–4424.","chicago":"Cucinotta, Mara, Silvia Manrique, Andrea Guazzotti, Nadia Quadrelli, Marta Mendes, Eva Benková, and Lucia Colombo. “Cytokinin Response Factors Integrate Auxin and Cytokinin Pathways for Female Reproductive Organ Development.” <i>Development</i>. Company of Biologists, 2016. <a href=\"https://doi.org/10.1242/dev.143545\">https://doi.org/10.1242/dev.143545</a>.","mla":"Cucinotta, Mara, et al. “Cytokinin Response Factors Integrate Auxin and Cytokinin Pathways for Female Reproductive Organ Development.” <i>Development</i>, vol. 143, no. 23, Company of Biologists, 2016, pp. 4419–24, doi:<a href=\"https://doi.org/10.1242/dev.143545\">10.1242/dev.143545</a>.","apa":"Cucinotta, M., Manrique, S., Guazzotti, A., Quadrelli, N., Mendes, M., Benková, E., &#38; Colombo, L. (2016). Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.143545\">https://doi.org/10.1242/dev.143545</a>","ieee":"M. Cucinotta <i>et al.</i>, “Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development,” <i>Development</i>, vol. 143, no. 23. Company of Biologists, pp. 4419–4424, 2016.","ama":"Cucinotta M, Manrique S, Guazzotti A, et al. Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. <i>Development</i>. 2016;143(23):4419-4424. doi:<a href=\"https://doi.org/10.1242/dev.143545\">10.1242/dev.143545</a>","ista":"Cucinotta M, Manrique S, Guazzotti A, Quadrelli N, Mendes M, Benková E, Colombo L. 2016. Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. Development. 143(23), 4419–4424."},"publication_status":"published","date_created":"2018-12-11T11:50:36Z","date_published":"2016-12-01T00:00:00Z","_id":"1185","volume":143,"title":"Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development"},{"month":"12","language":[{"iso":"eng"}],"status":"public","year":"2016","day":"05","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6167","pubrep_id":"735","oa_version":"Published Version","scopus_import":1,"quality_controlled":"1","has_accepted_license":"1","oa":1,"volume":6,"doi":"10.1038/srep38094","publication":"Scientific Reports","type":"journal_article","intvolume":"         6","ddc":["576","610"],"acknowledgement":"We gratefully acknowledge Karsta Barnekow and Kristine Sievert-Giermann, for technical assistance and Lothar Petruschka for in silico analysis (all Dept. of Genetics, University of Greifswald). We are further grateful to the staff from SLS synchrotron beamline for help in data collection. This work was supported by grants from the Deutsche Forschungsgemeinschaft DFG GRK 1870 (to SH) and the Spanish Ministry of Economy and Competitiveness (BFU2014-59389-P to JAH, CTQ2014-52633-P to MB and SAF2012-39760-C02-02 to FG) and S2010/BMD-2457 (Community of Madrid to JAH and FG).","author":[{"full_name":"Gutierrez-Fernandez, Javier","first_name":"Javier","last_name":"Gutierrez-Fernandez","id":"3D9511BA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Saleh, Malek","first_name":"Malek","last_name":"Saleh"},{"last_name":"Alcorlo","full_name":"Alcorlo, Martín","first_name":"Martín"},{"first_name":"Alejandro","full_name":"Gómez Mejóa, Alejandro","last_name":"Gómez Mejóa"},{"last_name":"Pantoja Uceda","first_name":"David","full_name":"Pantoja Uceda, David"},{"full_name":"Treviño, Miguel","first_name":"Miguel","last_name":"Treviño"},{"first_name":"Franziska","full_name":"Vob, Franziska","last_name":"Vob"},{"last_name":"Abdullah","full_name":"Abdullah, Mohammed","first_name":"Mohammed"},{"full_name":"Galán Bartual, Sergio","first_name":"Sergio","last_name":"Galán Bartual"},{"first_name":"Jolien","full_name":"Seinen, Jolien","last_name":"Seinen"},{"first_name":"Pedro","full_name":"Sánchez Murcia, Pedro","last_name":"Sánchez Murcia"},{"last_name":"Gago","first_name":"Federico","full_name":"Gago, Federico"},{"first_name":"Marta","full_name":"Bruix, Marta","last_name":"Bruix"},{"last_name":"Hammerschmidt","first_name":"Sven","full_name":"Hammerschmidt, Sven"},{"last_name":"Hermoso","first_name":"Juan","full_name":"Hermoso, Juan"}],"file_date_updated":"2020-07-14T12:44:37Z","article_number":"38094","abstract":[{"lang":"eng","text":"The human pathogen Streptococcus pneumoniae is decorated with a special class of surface-proteins known as choline-binding proteins (CBPs) attached to phosphorylcholine (PCho) moieties from cell-wall teichoic acids. By a combination of X-ray crystallography, NMR, molecular dynamics techniques and in vivo virulence and phagocytosis studies, we provide structural information of choline-binding protein L (CbpL) and demonstrate its impact on pneumococcal pathogenesis and immune evasion. CbpL is a very elongated three-module protein composed of (i) an Excalibur Ca 2+ -binding domain -reported in this work for the very first time-, (ii) an unprecedented anchorage module showing alternate disposition of canonical and non-canonical choline-binding sites that allows vine-like binding of fully-PCho-substituted teichoic acids (with two choline moieties per unit), and (iii) a Ltp-Lipoprotein domain. Our structural and infection assays indicate an important role of the whole multimodular protein allowing both to locate CbpL at specific places on the cell wall and to interact with host components in order to facilitate pneumococcal lung infection and transmigration from nasopharynx to the lungs and blood. CbpL implication in both resistance against killing by phagocytes and pneumococcal pathogenesis further postulate this surface-protein as relevant among the pathogenic arsenal of the pneumococcus."}],"date_updated":"2021-01-12T06:48:56Z","title":"Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis","date_published":"2016-12-05T00:00:00Z","_id":"1186","citation":{"ista":"Gutierrez-Fernandez J, Saleh M, Alcorlo M, Gómez Mejóa A, Pantoja Uceda D, Treviño M, Vob F, Abdullah M, Galán Bartual S, Seinen J, Sánchez Murcia P, Gago F, Bruix M, Hammerschmidt S, Hermoso J. 2016. Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. 6, 38094.","chicago":"Gutierrez-Fernandez, Javier, Malek Saleh, Martín Alcorlo, Alejandro Gómez Mejóa, David Pantoja Uceda, Miguel Treviño, Franziska Vob, et al. “Modular Architecture and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal Pathogenesis.” <i>Scientific Reports</i>. Nature Publishing Group, 2016. <a href=\"https://doi.org/10.1038/srep38094\">https://doi.org/10.1038/srep38094</a>.","mla":"Gutierrez-Fernandez, Javier, et al. “Modular Architecture and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal Pathogenesis.” <i>Scientific Reports</i>, vol. 6, 38094, Nature Publishing Group, 2016, doi:<a href=\"https://doi.org/10.1038/srep38094\">10.1038/srep38094</a>.","short":"J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).","ieee":"J. Gutierrez-Fernandez <i>et al.</i>, “Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis,” <i>Scientific Reports</i>, vol. 6. Nature Publishing Group, 2016.","ama":"Gutierrez-Fernandez J, Saleh M, Alcorlo M, et al. Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. <i>Scientific Reports</i>. 2016;6. doi:<a href=\"https://doi.org/10.1038/srep38094\">10.1038/srep38094</a>","apa":"Gutierrez-Fernandez, J., Saleh, M., Alcorlo, M., Gómez Mejóa, A., Pantoja Uceda, D., Treviño, M., … Hermoso, J. (2016). Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep38094\">https://doi.org/10.1038/srep38094</a>"},"publication_status":"published","date_created":"2018-12-11T11:50:36Z","publisher":"Nature Publishing Group","department":[{"_id":"LeSa"}],"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":[{"file_name":"IST-2017-735-v1+1_srep38094.pdf","date_created":"2018-12-12T10:10:18Z","content_type":"application/pdf","checksum":"e007d78b483bc59bf5ab98e9d42a6ec1","date_updated":"2020-07-14T12:44:37Z","relation":"main_file","access_level":"open_access","creator":"system","file_size":2716045,"file_id":"4804"}]},{"project":[{"call_identifier":"FP7","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme"}],"doi":"10.1088/1742-5468/aa4e8f","publication":" Journal of Statistical Mechanics: Theory and Experiment","volume":2016,"oa":1,"oa_version":"Preprint","scopus_import":1,"quality_controlled":"1","month":"12","year":"2016","language":[{"iso":"eng"}],"status":"public","day":"30","publist_id":"6165","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"GaTk"}],"publisher":"IOPscience","title":"Asymptotic analysis of noisy fitness maximization, applied to metabolism &amp; growth","ec_funded":1,"_id":"1188","date_published":"2016-12-30T00:00:00Z","date_created":"2018-12-11T11:50:37Z","citation":{"ista":"De Martino D, Masoero D. 2016. Asymptotic analysis of noisy fitness maximization, applied to metabolism &#38;amp; growth.  Journal of Statistical Mechanics: Theory and Experiment. 2016(12), 123502.","apa":"De Martino, D., &#38; Masoero, D. (2016). Asymptotic analysis of noisy fitness maximization, applied to metabolism &#38;amp; growth. <i> Journal of Statistical Mechanics: Theory and Experiment</i>. IOPscience. <a href=\"https://doi.org/10.1088/1742-5468/aa4e8f\">https://doi.org/10.1088/1742-5468/aa4e8f</a>","ama":"De Martino D, Masoero D. Asymptotic analysis of noisy fitness maximization, applied to metabolism &#38;amp; growth. <i> Journal of Statistical Mechanics: Theory and Experiment</i>. 2016;2016(12). doi:<a href=\"https://doi.org/10.1088/1742-5468/aa4e8f\">10.1088/1742-5468/aa4e8f</a>","ieee":"D. De Martino and D. Masoero, “Asymptotic analysis of noisy fitness maximization, applied to metabolism &#38;amp; growth,” <i> Journal of Statistical Mechanics: Theory and Experiment</i>, vol. 2016, no. 12. IOPscience, 2016.","short":"D. De Martino, D. Masoero,  Journal of Statistical Mechanics: Theory and Experiment 2016 (2016).","chicago":"De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness Maximization, Applied to Metabolism &#38;amp; Growth.” <i> Journal of Statistical Mechanics: Theory and Experiment</i>. IOPscience, 2016. <a href=\"https://doi.org/10.1088/1742-5468/aa4e8f\">https://doi.org/10.1088/1742-5468/aa4e8f</a>.","mla":"De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness Maximization, Applied to Metabolism &#38;amp; Growth.” <i> Journal of Statistical Mechanics: Theory and Experiment</i>, vol. 2016, no. 12, 123502, IOPscience, 2016, doi:<a href=\"https://doi.org/10.1088/1742-5468/aa4e8f\">10.1088/1742-5468/aa4e8f</a>."},"publication_status":"published","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1606.09048"}],"author":[{"last_name":"De Martino","id":"3FF5848A-F248-11E8-B48F-1D18A9856A87","full_name":"De Martino, Daniele","first_name":"Daniele","orcid":"0000-0002-5214-4706"},{"full_name":"Masoero, Davide","first_name":"Davide","last_name":"Masoero"}],"acknowledgement":"D De Martino is supported by the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007–2013) under REA grant agreement no. [291734]. D Masoero is supported by the FCT scholarship, number SFRH/BPD/75908/2011. D De Martino thanks the Grupo de Física Matemática of the Universidade de Lisboa for the kind hospitality. We also wish to thank Matteo Osella, Vincenzo Vitagliano and Vera Luz Masoero for useful discussions, also late at night.","issue":"12","article_number":"123502","abstract":[{"text":"We consider a population dynamics model coupling cell growth to a diffusion in the space of metabolic phenotypes as it can be obtained from realistic constraints-based modelling. \r\nIn the asymptotic regime of slow\r\ndiffusion, that coincides with the relevant experimental range, the resulting\r\nnon-linear Fokker–Planck equation is solved for the steady state in the WKB\r\napproximation that maps it into the ground state of a quantum particle in an\r\nAiry potential plus a centrifugal term. We retrieve scaling laws for growth rate\r\nfluctuations and time response with respect to the distance from the maximum\r\ngrowth rate suggesting that suboptimal populations can have a faster response\r\nto perturbations.","lang":"eng"}],"date_updated":"2021-01-12T06:48:57Z","intvolume":"      2016","type":"journal_article"},{"arxiv":1,"publication":"Proceedings - Annual IEEE Symposium on Foundations of Computer Science","project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","_id":"25FBA906-B435-11E9-9278-68D0E5697425","grant_number":"616160","call_identifier":"FP7"}],"doi":"10.1109/FOCS.2016.88","volume":"2016-December","oa":1,"quality_controlled":"1","external_id":{"arxiv":["1506.08547"]},"oa_version":"Preprint","scopus_import":1,"related_material":{"record":[{"relation":"later_version","id":"5975","status":"public"}]},"day":"15","publist_id":"6158","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","language":[{"iso":"eng"}],"year":"2016","status":"public","article_processing_charge":"No","department":[{"_id":"VlKo"}],"publisher":"IEEE","date_created":"2018-12-11T11:50:38Z","publication_status":"published","citation":{"ista":"Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.","apa":"Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i> (Vol. 2016–December). New Brunswick, NJ, USA : IEEE. <a href=\"https://doi.org/10.1109/FOCS.2016.88\">https://doi.org/10.1109/FOCS.2016.88</a>","ama":"Kolmogorov V. Commutativity in the algorithmic Lovasz local lemma. In: <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>. Vol 2016-December. IEEE; 2016. doi:<a href=\"https://doi.org/10.1109/FOCS.2016.88\">10.1109/FOCS.2016.88</a>","ieee":"V. Kolmogorov, “Commutativity in the algorithmic Lovasz local lemma,” in <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>, New Brunswick, NJ, USA , 2016, vol. 2016–December.","short":"V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.","chicago":"Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” In <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>, Vol. 2016–December. IEEE, 2016. <a href=\"https://doi.org/10.1109/FOCS.2016.88\">https://doi.org/10.1109/FOCS.2016.88</a>.","mla":"Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” <i>Proceedings - Annual IEEE Symposium on Foundations of Computer Science</i>, vol. 2016–December, 7782993, IEEE, 2016, doi:<a href=\"https://doi.org/10.1109/FOCS.2016.88\">10.1109/FOCS.2016.88</a>."},"title":"Commutativity in the algorithmic Lovasz local lemma","ec_funded":1,"date_published":"2016-12-15T00:00:00Z","_id":"1193","article_number":"7782993","abstract":[{"lang":"eng","text":"We consider the recent formulation of the Algorithmic Lovász Local Lemma [1], [2] for finding objects that avoid &quot;bad features&quot;, or &quot;flaws&quot;. It extends the Moser-Tardos resampling algorithm [3] to more general discrete spaces. At each step the method picks a flaw present in the current state and &quot;resamples&quot; it using a &quot;resampling oracle&quot; provided by the user. However, it is less flexible than the Moser-Tardos method since [1], [2] require a specific flaw selection rule, whereas [3] allows an arbitrary rule (and thus can potentially be implemented more efficiently). We formulate a new &quot;commutativity&quot; condition, and prove that it is sufficient for an arbitrary rule to work. It also enables an efficient parallelization under an additional assumption. We then show that existing resampling oracles for perfect matchings and permutations do satisfy this condition. Finally, we generalize the precondition in [2] (in the case of symmetric potential causality graphs). This unifies special cases that previously were treated separately."}],"conference":{"end_date":"2016-09-11","start_date":"2016-09-09","location":"New Brunswick, NJ, USA ","name":"FOCS: Foundations of Computer Science"},"date_updated":"2023-09-19T14:24:57Z","acknowledgement":"European Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 616160","author":[{"last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","first_name":"Vladimir"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1506.08547v7"}],"type":"conference"},{"project":[{"grant_number":"250152","call_identifier":"FP7","name":"Limits to selection in biology and in evolutionary computation","_id":"25B07788-B435-11E9-9278-68D0E5697425"}],"doi":"10.1093/molbev/msw210","publication":"Molecular Biology and Evolution","volume":34,"oa":1,"oa_version":"Submitted Version","scopus_import":1,"quality_controlled":"1","has_accepted_license":"1","month":"10","language":[{"iso":"eng"}],"year":"2016","status":"public","day":"03","pubrep_id":"770","publist_id":"6155","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"NiBa"}],"publisher":"Oxford University Press","file":[{"date_created":"2018-12-12T10:16:35Z","file_name":"IST-2017-770-v1+1_FranssenEtAl_nofigs-1.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:44:38Z","checksum":"1e78d3aaffcb40dc8b02b7b4666019e0","creator":"system","file_size":295274,"file_id":"5223"},{"relation":"main_file","access_level":"open_access","checksum":"e13171843283774404c936c581b4543e","date_updated":"2020-07-14T12:44:38Z","creator":"system","file_size":10902625,"file_id":"5224","date_created":"2018-12-12T10:16:36Z","file_name":"IST-2017-770-v1+2_Fig1.pdf","content_type":"application/pdf"},{"content_type":"application/pdf","date_created":"2018-12-12T10:16:37Z","file_name":"IST-2017-770-v1+3_Fig2.pdf","file_size":21437,"file_id":"5225","creator":"system","access_level":"open_access","relation":"main_file","checksum":"63bc6e6e61f347594d8c00c37f874a0b","date_updated":"2020-07-14T12:44:38Z"},{"content_type":"application/pdf","file_name":"IST-2017-770-v1+4_Fig3.pdf","date_created":"2018-12-12T10:16:38Z","file_id":"5226","file_size":1172194,"creator":"system","date_updated":"2020-07-14T12:44:38Z","checksum":"da87cc7c78808837f22a3dae1c8397f9","access_level":"open_access","relation":"main_file"},{"file_id":"5227","file_size":50045,"creator":"system","access_level":"open_access","relation":"main_file","checksum":"e47b2a0c32142f423b3100150c0294f8","date_updated":"2020-07-14T12:44:38Z","content_type":"application/pdf","date_created":"2018-12-12T10:16:38Z","file_name":"IST-2017-770-v1+5_Fig4.pdf"},{"content_type":"application/pdf","file_name":"IST-2017-770-v1+6_Fig5.pdf","date_created":"2018-12-12T10:16:39Z","creator":"system","file_id":"5228","file_size":50705,"date_updated":"2020-07-14T12:44:38Z","checksum":"a5a7d6b32e7e17d35d337d7ec2a9f6c9","relation":"main_file","access_level":"open_access"}],"title":"Reconstruction of haplotype-blocks selected during experimental evolution.","ec_funded":1,"date_published":"2016-10-03T00:00:00Z","_id":"1195","date_created":"2018-12-11T11:50:39Z","publication_status":"published","citation":{"mla":"Franssen, Susan, et al. “Reconstruction of Haplotype-Blocks Selected during Experimental Evolution.” <i>Molecular Biology and Evolution</i>, vol. 34, no. 1, Oxford University Press, 2016, pp. 174–84, doi:<a href=\"https://doi.org/10.1093/molbev/msw210\">10.1093/molbev/msw210</a>.","chicago":"Franssen, Susan, Nicholas H Barton, and Christian Schlötterer. “Reconstruction of Haplotype-Blocks Selected during Experimental Evolution.” <i>Molecular Biology and Evolution</i>. Oxford University Press, 2016. <a href=\"https://doi.org/10.1093/molbev/msw210\">https://doi.org/10.1093/molbev/msw210</a>.","short":"S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.","ama":"Franssen S, Barton NH, Schlötterer C. Reconstruction of haplotype-blocks selected during experimental evolution. <i>Molecular Biology and Evolution</i>. 2016;34(1):174-184. doi:<a href=\"https://doi.org/10.1093/molbev/msw210\">10.1093/molbev/msw210</a>","ieee":"S. Franssen, N. H. Barton, and C. Schlötterer, “Reconstruction of haplotype-blocks selected during experimental evolution.,” <i>Molecular Biology and Evolution</i>, vol. 34, no. 1. Oxford University Press, pp. 174–184, 2016.","apa":"Franssen, S., Barton, N. H., &#38; Schlötterer, C. (2016). Reconstruction of haplotype-blocks selected during experimental evolution. <i>Molecular Biology and Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/molbev/msw210\">https://doi.org/10.1093/molbev/msw210</a>","ista":"Franssen S, Barton NH, Schlötterer C. 2016. Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. 34(1), 174–184."},"acknowledgement":"The authors thank all members of the Institute of Population\r\nGenetics for discussion and support on the project and par-\r\nticularly N. Barghi for helpful comments on earlier versions of\r\nthe  manuscript.  This  work  was  supported  by  the  European\r\nResearch Council (ERC) grants “ArchAdapt” and “250152”.","author":[{"full_name":"Franssen, Susan","first_name":"Susan","last_name":"Franssen"},{"last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H"},{"last_name":"Schlötterer","first_name":"Christian","full_name":"Schlötterer, Christian"}],"file_date_updated":"2020-07-14T12:44:38Z","issue":"1","abstract":[{"text":"The genetic analysis of experimentally evolving populations typically relies on short reads from pooled individuals (Pool-Seq). While this method provides reliable allele frequency estimates, the underlying haplotype structure remains poorly characterized. With small population sizes and adaptive variants that start from low frequencies, the interpretation of selection signatures in most Evolve and Resequencing studies remains challenging. To facilitate the characterization of selection targets, we propose a new approach that reconstructs selected haplotypes from replicated time series, using Pool-Seq data. We identify selected haplotypes through the correlated frequencies of alleles carried by them. Computer simulations indicate that selected haplotype-blocks of several Mb can be reconstructed with high confidence and low error rates, even when allele frequencies change only by 20% across three replicates. Applying this method to real data from D. melanogaster populations adapting to a hot environment, we identify a selected haplotype-block of 6.93 Mb. We confirm the presence of this haplotype-block in evolved populations by experimental haplotyping, demonstrating the power and accuracy of our haplotype reconstruction from Pool-Seq data. We propose that the combination of allele frequency estimates with haplotype information will provide the key to understanding the dynamics of adaptive alleles. ","lang":"eng"}],"page":"174 - 184","date_updated":"2021-01-12T06:49:00Z","type":"journal_article","intvolume":"        34","ddc":["576"]},{"abstract":[{"lang":"eng","text":"Across the nervous system, certain population spiking patterns are observed far more frequently than others. A hypothesis about this structure is that these collective activity patterns function as population codewords–collective modes–carrying information distinct from that of any single cell. We investigate this phenomenon in recordings of ∼150 retinal ganglion cells, the retina’s output. We develop a novel statistical model that decomposes the population response into modes; it predicts the distribution of spiking activity in the ganglion cell population with high accuracy. We found that the modes represent localized features of the visual stimulus that are distinct from the features represented by single neurons. Modes form clusters of activity states that are readily discriminated from one another. When we repeated the same visual stimulus, we found that the same mode was robustly elicited. These results suggest that retinal ganglion cells’ collective signaling is endowed with a form of error-correcting code–a principle that may hold in brain areas beyond retina."}],"article_number":"e1005855","date_updated":"2023-02-23T14:05:40Z","author":[{"last_name":"Prentice","first_name":"Jason","full_name":"Prentice, Jason"},{"last_name":"Marre","full_name":"Marre, Olivier","first_name":"Olivier"},{"first_name":"Mark","full_name":"Ioffe, Mark","last_name":"Ioffe"},{"last_name":"Loback","full_name":"Loback, Adrianna","first_name":"Adrianna"},{"orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper","first_name":"Gasper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik"},{"last_name":"Berry","full_name":"Berry, Michael","first_name":"Michael"}],"acknowledgement":"JSP was supported by a C.V. Starr Fellowship from the Starr Foundation (http://www.starrfoundation.org/). GT was supported by Austrian Research Foundation (https://www.fwf.ac.at/en/) grant FWF P25651. MJB received support from National Eye Institute (https://nei.nih.gov/) grant EY 14196 and from the National Science Foundation grant 1504977. The authors thank Cristina Savin and Vicent Botella-Soler for helpful comments on the manuscript.","issue":"11","file_date_updated":"2020-07-14T12:44:38Z","ddc":["570"],"type":"journal_article","intvolume":"        12","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":[{"creator":"kschuh","file_id":"5884","file_size":4492021,"checksum":"47b08cbd4dbf32b25ba161f5f4b262cc","date_updated":"2020-07-14T12:44:38Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2016_PLOS_Prentice.pdf","date_created":"2019-01-25T10:35:00Z"}],"publisher":"Public Library of Science","department":[{"_id":"GaTk"}],"citation":{"ista":"Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.","ieee":"J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Error-robust modes of the retinal population code,” <i>PLoS Computational Biology</i>, vol. 12, no. 11. Public Library of Science, 2016.","ama":"Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. Error-robust modes of the retinal population code. <i>PLoS Computational Biology</i>. 2016;12(11). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1005148\">10.1371/journal.pcbi.1005148</a>","apa":"Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., &#38; Berry, M. (2016). Error-robust modes of the retinal population code. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1005148\">https://doi.org/10.1371/journal.pcbi.1005148</a>","chicago":"Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gašper Tkačik, and Michael Berry. “Error-Robust Modes of the Retinal Population Code.” <i>PLoS Computational Biology</i>. Public Library of Science, 2016. <a href=\"https://doi.org/10.1371/journal.pcbi.1005148\">https://doi.org/10.1371/journal.pcbi.1005148</a>.","mla":"Prentice, Jason, et al. “Error-Robust Modes of the Retinal Population Code.” <i>PLoS Computational Biology</i>, vol. 12, no. 11, e1005855, Public Library of Science, 2016, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1005148\">10.1371/journal.pcbi.1005148</a>.","short":"J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016)."},"publication_status":"published","date_created":"2018-12-11T11:50:40Z","title":"Error-robust modes of the retinal population code","_id":"1197","date_published":"2016-11-17T00:00:00Z","quality_controlled":"1","has_accepted_license":"1","oa_version":"Published Version","scopus_import":1,"related_material":{"record":[{"status":"public","id":"9709","relation":"research_data"}]},"day":"17","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6153","month":"11","status":"public","year":"2016","language":[{"iso":"eng"}],"publication":"PLoS Computational Biology","doi":"10.1371/journal.pcbi.1005148","project":[{"_id":"254D1A94-B435-11E9-9278-68D0E5697425","name":"Sensitivity to higher-order statistics in natural scenes","call_identifier":"FWF","grant_number":"P 25651-N26"}],"oa":1,"volume":12},{"language":[{"iso":"eng"}],"status":"public","year":"2016","month":"12","pubrep_id":"798","publist_id":"6150","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","scopus_import":1,"oa_version":"Submitted Version","has_accepted_license":"1","quality_controlled":"1","volume":19,"oa":1,"project":[{"name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7"}],"doi":"10.1016/j.plrev.2016.10.004","publication":"Physics of Life Reviews","intvolume":"        19","type":"journal_article","ddc":["530"],"file_date_updated":"2020-07-14T12:44:39Z","author":[{"orcid":"0000-0001-5116-955X","full_name":"Hilbe, Christian","first_name":"Christian","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","last_name":"Hilbe"},{"full_name":"Traulsen, Arne","first_name":"Arne","last_name":"Traulsen"}],"acknowledgement":"C.H. acknowledges generous support from the ISTFELLOW program.","date_updated":"2021-01-12T06:49:03Z","page":"29 - 31","_id":"1200","date_published":"2016-12-01T00:00:00Z","ec_funded":1,"title":"Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze","date_created":"2018-12-11T11:50:40Z","publication_status":"published","citation":{"ista":"Hilbe C, Traulsen A. 2016. Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze. Physics of Life Reviews. 19, 29–31.","ieee":"C. Hilbe and A. Traulsen, “Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on ‘Evolutionary game theory using agent-based methods’ by C. Adami, J. Schossau and A. Hintze,” <i>Physics of Life Reviews</i>, vol. 19. Elsevier, pp. 29–31, 2016.","ama":"Hilbe C, Traulsen A. Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze. <i>Physics of Life Reviews</i>. 2016;19:29-31. doi:<a href=\"https://doi.org/10.1016/j.plrev.2016.10.004\">10.1016/j.plrev.2016.10.004</a>","apa":"Hilbe, C., &#38; Traulsen, A. (2016). Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze. <i>Physics of Life Reviews</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.plrev.2016.10.004\">https://doi.org/10.1016/j.plrev.2016.10.004</a>","mla":"Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling: Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J. Schossau and A. Hintze.” <i>Physics of Life Reviews</i>, vol. 19, Elsevier, 2016, pp. 29–31, doi:<a href=\"https://doi.org/10.1016/j.plrev.2016.10.004\">10.1016/j.plrev.2016.10.004</a>.","chicago":"Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling: Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J. Schossau and A. Hintze.” <i>Physics of Life Reviews</i>. Elsevier, 2016. <a href=\"https://doi.org/10.1016/j.plrev.2016.10.004\">https://doi.org/10.1016/j.plrev.2016.10.004</a>.","short":"C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31."},"department":[{"_id":"KrCh"}],"publisher":"Elsevier","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file":[{"file_name":"IST-2017-798-v1+1_comment_adami.pdf","date_created":"2018-12-12T10:11:02Z","content_type":"application/pdf","checksum":"95e6dc78278334b99dacbf8822509364","date_updated":"2020-07-14T12:44:39Z","access_level":"open_access","relation":"main_file","file_id":"4855","file_size":171352,"creator":"system"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"}},{"citation":{"ista":"Renkawitz J, Sixt MK. 2016. Formin’ a nuclear protection. Cell. 167(6), 1448–1449.","apa":"Renkawitz, J., &#38; Sixt, M. K. (2016). Formin’ a nuclear protection. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2016.11.024\">https://doi.org/10.1016/j.cell.2016.11.024</a>","ieee":"J. Renkawitz and M. K. Sixt, “Formin’ a nuclear protection,” <i>Cell</i>, vol. 167, no. 6. Cell Press, pp. 1448–1449, 2016.","ama":"Renkawitz J, Sixt MK. Formin’ a nuclear protection. <i>Cell</i>. 2016;167(6):1448-1449. doi:<a href=\"https://doi.org/10.1016/j.cell.2016.11.024\">10.1016/j.cell.2016.11.024</a>","short":"J. Renkawitz, M.K. Sixt, Cell 167 (2016) 1448–1449.","chicago":"Renkawitz, Jörg, and Michael K Sixt. “Formin’ a Nuclear Protection.” <i>Cell</i>. Cell Press, 2016. <a href=\"https://doi.org/10.1016/j.cell.2016.11.024\">https://doi.org/10.1016/j.cell.2016.11.024</a>.","mla":"Renkawitz, Jörg, and Michael K. Sixt. “Formin’ a Nuclear Protection.” <i>Cell</i>, vol. 167, no. 6, Cell Press, 2016, pp. 1448–49, doi:<a href=\"https://doi.org/10.1016/j.cell.2016.11.024\">10.1016/j.cell.2016.11.024</a>."},"publication_status":"published","date_created":"2018-12-11T11:50:41Z","volume":167,"title":"Formin’ a nuclear protection","_id":"1201","date_published":"2016-12-01T00:00:00Z","publication":"Cell","publisher":"Cell Press","doi":"10.1016/j.cell.2016.11.024","department":[{"_id":"MiSi"}],"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6149","month":"12","year":"2016","status":"public","language":[{"iso":"eng"}],"intvolume":"       167","type":"journal_article","quality_controlled":"1","abstract":[{"lang":"eng","text":"In this issue of Cell, Skau et al. show that the formin FMN2 organizes a perinuclear actin cytoskeleton that protects the nucleus and its genomic content of migrating cells squeezing through small spaces."}],"page":"1448 - 1449","date_updated":"2021-01-12T06:49:03Z","oa_version":"None","author":[{"full_name":"Renkawitz, Jörg","first_name":"Jörg","orcid":"0000-0003-2856-3369","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","last_name":"Renkawitz"},{"first_name":"Michael K","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87"}],"issue":"6","scopus_import":1},{"project":[{"grant_number":"CR-118/3-1","name":"Host-Parasite Coevolution","_id":"25DAF0B2-B435-11E9-9278-68D0E5697425"}],"doi":"10.1016/j.zool.2016.03.006","publication":"Zoology ","volume":119,"oa":1,"scopus_import":1,"oa_version":"Published Version","has_accepted_license":"1","quality_controlled":"1","status":"public","year":"2016","language":[{"iso":"eng"}],"month":"08","publist_id":"6147","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","department":[{"_id":"SyCr"}],"publisher":"Elsevier","file":[{"file_name":"2016_Elsevier_Milutinovic.pdf","date_created":"2019-01-25T13:00:20Z","content_type":"application/pdf","date_updated":"2020-07-14T12:44:39Z","checksum":"8396d5bd95f9c4295857162f902afabf","access_level":"open_access","relation":"main_file","file_size":1473211,"file_id":"5885","creator":"kschuh"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"_id":"1202","date_published":"2016-08-01T00:00:00Z","title":"Immune priming in arthropods: an update focusing on the red flour beetle","date_created":"2018-12-11T11:50:41Z","citation":{"ieee":"B. Milutinovic, R. Peuß, K. Ferro, and J. Kurtz, “Immune priming in arthropods: an update focusing on the red flour beetle,” <i>Zoology </i>, vol. 119, no. 4. Elsevier, pp. 254–261, 2016.","ama":"Milutinovic B, Peuß R, Ferro K, Kurtz J. Immune priming in arthropods: an update focusing on the red flour beetle. <i>Zoology </i>. 2016;119(4):254-261. doi:<a href=\"https://doi.org/10.1016/j.zool.2016.03.006\">10.1016/j.zool.2016.03.006</a>","apa":"Milutinovic, B., Peuß, R., Ferro, K., &#38; Kurtz, J. (2016). Immune priming in arthropods: an update focusing on the red flour beetle. <i>Zoology </i>. Elsevier. <a href=\"https://doi.org/10.1016/j.zool.2016.03.006\">https://doi.org/10.1016/j.zool.2016.03.006</a>","mla":"Milutinovic, Barbara, et al. “Immune Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” <i>Zoology </i>, vol. 119, no. 4, Elsevier, 2016, pp. 254–61, doi:<a href=\"https://doi.org/10.1016/j.zool.2016.03.006\">10.1016/j.zool.2016.03.006</a>.","chicago":"Milutinovic, Barbara, Robert Peuß, Kevin Ferro, and Joachim Kurtz. “Immune Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” <i>Zoology </i>. Elsevier, 2016. <a href=\"https://doi.org/10.1016/j.zool.2016.03.006\">https://doi.org/10.1016/j.zool.2016.03.006</a>.","short":"B. Milutinovic, R. Peuß, K. Ferro, J. Kurtz, Zoology  119 (2016) 254–261.","ista":"Milutinovic B, Peuß R, Ferro K, Kurtz J. 2016. Immune priming in arthropods: an update focusing on the red flour beetle. Zoology . 119(4), 254–261."},"publication_status":"published","file_date_updated":"2020-07-14T12:44:39Z","issue":"4","author":[{"id":"2CDC32B8-F248-11E8-B48F-1D18A9856A87","last_name":"Milutinovic","first_name":"Barbara","full_name":"Milutinovic, Barbara","orcid":"0000-0002-8214-4758"},{"last_name":"Peuß","first_name":"Robert","full_name":"Peuß, Robert"},{"last_name":"Ferro","first_name":"Kevin","full_name":"Ferro, Kevin"},{"last_name":"Kurtz","full_name":"Kurtz, Joachim","first_name":"Joachim"}],"acknowledgement":"The authors thank Sophie A.O. Armitage and Jan N. Offenborn for helpful comments on the figures, and two anonymous reviewers for their helpful comments. The project was funded by the Deutsche Forschungsgemeinschaft (DFG, KU 1929/4-2) within the priority programme SPP 1399 “Host–Parasite Coevolution”.","date_updated":"2021-01-12T06:49:03Z","page":"254 - 261","type":"journal_article","intvolume":"       119","ddc":["570"]},{"date_updated":"2021-01-12T06:49:04Z","page":"3010 - 3017","abstract":[{"lang":"eng","text":"Haemophilus haemolyticus has been recently discovered to have the potential to cause invasive disease. It is closely related to nontypeable Haemophilus influenzae (NT H. influenzae). NT H. influenzae and H. haemolyticus are often misidentified because none of the existing tests targeting the known phenotypes of H. haemolyticus are able to specifically identify H. haemolyticus. Through comparative genomic analysis of H. haemolyticus and NT H. influenzae, we identified genes unique to H. haemolyticus that can be used as targets for the identification of H. haemolyticus. A real-time PCR targeting purT (encoding phosphoribosylglycinamide formyltransferase 2 in the purine synthesis pathway) was developed and evaluated. The lower limit of detection was 40 genomes/PCR; the sensitivity and specificity in detecting H. haemolyticus were 98.9% and 97%, respectively. To improve the discrimination of H. haemolyticus and NT H. influenzae, a testing scheme combining two targets (H. haemolyticus purT and H. influenzae hpd, encoding protein D lipoprotein) was also evaluated and showed 96.7% sensitivity and 98.2% specificity for the identification of H. haemolyticus and 92.8% sensitivity and 100% specificity for the identification of H. influenzae, respectively. The dual-target testing scheme can be used for the diagnosis and surveillance of infection and disease caused by H. haemolyticus and NT H. influenzae."}],"issue":"12","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5121393/","open_access":"1"}],"acknowledgement":"We are grateful to ABCs for providing strains and the Bacterial Meningitis Laboratory for technical support.","author":[{"last_name":"Hu","first_name":"Fang","full_name":"Hu, Fang"},{"last_name":"Rishishwar","first_name":"Lavanya","full_name":"Rishishwar, Lavanya"},{"first_name":"Ambily","full_name":"Sivadas, Ambily","last_name":"Sivadas"},{"last_name":"Mitchell","id":"315BCD80-F248-11E8-B48F-1D18A9856A87","full_name":"Mitchell, Gabriel","first_name":"Gabriel"},{"last_name":"King","full_name":"King, Jordan","first_name":"Jordan"},{"first_name":"Timothy","full_name":"Murphy, Timothy","last_name":"Murphy"},{"last_name":"Gilsdorf","first_name":"Janet","full_name":"Gilsdorf, Janet"},{"first_name":"Leonard","full_name":"Mayer, Leonard","last_name":"Mayer"},{"last_name":"Wang","full_name":"Wang, Xin","first_name":"Xin"}],"intvolume":"        54","type":"journal_article","department":[{"_id":"GaTk"}],"publisher":"American Society for Microbiology","date_created":"2018-12-11T11:50:41Z","publication_status":"published","citation":{"ista":"Hu F, Rishishwar L, Sivadas A, Mitchell G, King J, Murphy T, Gilsdorf J, Mayer L, Wang X. 2016. Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. Journal of Clinical Microbiology. 54(12), 3010–3017.","apa":"Hu, F., Rishishwar, L., Sivadas, A., Mitchell, G., King, J., Murphy, T., … Wang, X. (2016). Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. <i>Journal of Clinical Microbiology</i>. American Society for Microbiology. <a href=\"https://doi.org/10.1128/JCM.01511-16\">https://doi.org/10.1128/JCM.01511-16</a>","ama":"Hu F, Rishishwar L, Sivadas A, et al. Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. <i>Journal of Clinical Microbiology</i>. 2016;54(12):3010-3017. doi:<a href=\"https://doi.org/10.1128/JCM.01511-16\">10.1128/JCM.01511-16</a>","ieee":"F. Hu <i>et al.</i>, “Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination,” <i>Journal of Clinical Microbiology</i>, vol. 54, no. 12. American Society for Microbiology, pp. 3010–3017, 2016.","short":"F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.","mla":"Hu, Fang, et al. “Comparative Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.” <i>Journal of Clinical Microbiology</i>, vol. 54, no. 12, American Society for Microbiology, 2016, pp. 3010–17, doi:<a href=\"https://doi.org/10.1128/JCM.01511-16\">10.1128/JCM.01511-16</a>.","chicago":"Hu, Fang, Lavanya Rishishwar, Ambily Sivadas, Gabriel Mitchell, Jordan King, Timothy Murphy, Janet Gilsdorf, Leonard Mayer, and Xin Wang. “Comparative Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.” <i>Journal of Clinical Microbiology</i>. American Society for Microbiology, 2016. <a href=\"https://doi.org/10.1128/JCM.01511-16\">https://doi.org/10.1128/JCM.01511-16</a>."},"_id":"1203","date_published":"2016-12-01T00:00:00Z","title":"Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination","quality_controlled":"1","scopus_import":1,"oa_version":"Submitted Version","publist_id":"6146","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","year":"2016","language":[{"iso":"eng"}],"status":"public","month":"12","publication":"Journal of Clinical Microbiology","doi":"10.1128/JCM.01511-16","volume":54,"oa":1},{"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6143","month":"06","language":[{"iso":"eng"}],"status":"public","intvolume":"       123","type":"journal_article","year":"2016","page":"609 - 612","quality_controlled":"1","abstract":[{"lang":"eng","text":"In science, as in life, &quot;surprises&quot; can be adequately appreciated only in the presence of a null model, what we expect a priori. In physics, theories sometimes express the values of dimensionless physical constants as combinations of mathematical constants like π or e. The inverse problem also arises, whereby the measured value of a physical constant admits a &quot;surprisingly&quot; simple approximation in terms of well-known mathematical constants. Can we estimate the probability for this to be a mere coincidence, rather than an inkling of some theory? We answer the question in the most naive form."}],"date_updated":"2021-01-12T06:49:04Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1603.00299"}],"oa_version":"Preprint","author":[{"last_name":"Amir","full_name":"Amir, Ariel","first_name":"Ariel"},{"first_name":"Mikhail","full_name":"Lemeshko, Mikhail","orcid":"0000-0002-6990-7802","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko"},{"last_name":"Tokieda","first_name":"Tadashi","full_name":"Tokieda, Tadashi"}],"issue":"6","scopus_import":1,"citation":{"ista":"Amir A, Lemeshko M, Tokieda T. 2016. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 123(6), 609–612.","apa":"Amir, A., Lemeshko, M., &#38; Tokieda, T. (2016). Surprises in numerical expressions of physical constants. <i>American Mathematical Monthly</i>. Mathematical Association of America. <a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">https://doi.org/10.4169/amer.math.monthly.123.6.609</a>","ama":"Amir A, Lemeshko M, Tokieda T. Surprises in numerical expressions of physical constants. <i>American Mathematical Monthly</i>. 2016;123(6):609-612. doi:<a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">10.4169/amer.math.monthly.123.6.609</a>","ieee":"A. Amir, M. Lemeshko, and T. Tokieda, “Surprises in numerical expressions of physical constants,” <i>American Mathematical Monthly</i>, vol. 123, no. 6. Mathematical Association of America, pp. 609–612, 2016.","short":"A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.","chicago":"Amir, Ariel, Mikhail Lemeshko, and Tadashi Tokieda. “Surprises in Numerical Expressions of Physical Constants.” <i>American Mathematical Monthly</i>. Mathematical Association of America, 2016. <a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">https://doi.org/10.4169/amer.math.monthly.123.6.609</a>.","mla":"Amir, Ariel, et al. “Surprises in Numerical Expressions of Physical Constants.” <i>American Mathematical Monthly</i>, vol. 123, no. 6, Mathematical Association of America, 2016, pp. 609–12, doi:<a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">10.4169/amer.math.monthly.123.6.609</a>."},"publication_status":"published","date_created":"2018-12-11T11:50:42Z","oa":1,"title":"Surprises in numerical expressions of physical constants","volume":123,"date_published":"2016-06-01T00:00:00Z","_id":"1204","publication":"American Mathematical Monthly","doi":"10.4169/amer.math.monthly.123.6.609","publisher":"Mathematical Association of America","department":[{"_id":"MiLe"}]},{"file":[{"date_created":"2018-12-12T10:08:13Z","file_name":"IST-2017-783-v1+1_FM-Safety-Assured-Development-of-MVBC.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"fea0b3fae9a2a42e8bfec59840e30d8c","date_updated":"2020-07-14T12:44:39Z","creator":"system","file_id":"4673","file_size":281501}],"department":[{"_id":"ToHe"}],"publisher":"Springer","date_created":"2018-12-11T11:50:42Z","citation":{"chicago":"Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">https://doi.org/10.1007/978-3-319-48989-6_47</a>.","mla":"Jiang, Yu, et al. <i>Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller</i>. Vol. 9995, Springer, 2016, pp. 757–63, doi:<a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">10.1007/978-3-319-48989-6_47</a>.","short":"Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.","ieee":"Y. Jiang <i>et al.</i>, “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.","ama":"Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi:<a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">10.1007/978-3-319-48989-6_47</a>","apa":"Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., &#38; Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer. <a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">https://doi.org/10.1007/978-3-319-48989-6_47</a>","ista":"Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763."},"publication_status":"published","title":"Safety assured formal model driven design of the multifunction vehicle bus controller","date_published":"2016-11-08T00:00:00Z","_id":"1205","page":"757 - 763","abstract":[{"lang":"eng","text":"In this paper, we present a formal model-driven engineering approach to establishing a safety-assured implementation of Multifunction vehicle bus controller (MVBC) based on the generic reference models and requirements described in the International Electrotechnical Commission (IEC) standard IEC-61375. First, the generic models described in IEC-61375 are translated into a network of timed automata, and some safety requirements tested in IEC-61375 are formalized as timed computation tree logic (TCTL) formulas. With the help of Uppaal, we check and debug whether the timed automata satisfy the formulas or not. Within this step, several logic inconsistencies in the original standard are detected and corrected. Then, we apply the tool Times to generate C code from the verified model, which was later synthesized into a real MVBC chip. Finally, the runtime verification tool RMOR is applied to verify some safety requirements at the implementation level. We set up a real platform with worldwide mostly used MVBC D113, and verify the correctness and the scalability of the synthesized MVBC chip more comprehensively. The errors in the standard has been confirmed and the resulted MVBC has been deployed in real train communication network."}],"conference":{"end_date":"2016-11-11","start_date":"2016-11-09","location":"Limassol, Cyprus","name":"FM: International Symposium on Formal Methods"},"date_updated":"2023-09-18T08:12:48Z","acknowledgement":"This research is sponsored in part by NSFC Program (No. 91218302, No. 61527812), National Science and Technology Major Project (No. 2016ZX01038101), Tsinghua University Initiative Scientific Research Program (20131089331), MIIT IT funds (Research and application of TCN key technologies) of China, and the National Key Technology R&D Program (No. 2015BAG14B01-02), Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23.\r\n","author":[{"last_name":"Jiang","full_name":"Jiang, Yu","first_name":"Yu"},{"last_name":"Liu","first_name":"Han","full_name":"Liu, Han"},{"last_name":"Song","full_name":"Song, Houbing","first_name":"Houbing"},{"last_name":"Kong","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","full_name":"Kong, Hui","first_name":"Hui","orcid":"0000-0002-3066-6941"},{"full_name":"Gu, Ming","first_name":"Ming","last_name":"Gu"},{"last_name":"Sun","full_name":"Sun, Jiaguang","first_name":"Jiaguang"},{"first_name":"Lui","full_name":"Sha, Lui","last_name":"Sha"}],"file_date_updated":"2020-07-14T12:44:39Z","ddc":["004"],"intvolume":"      9995","type":"conference","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"doi":"10.1007/978-3-319-48989-6_47","volume":9995,"oa":1,"quality_controlled":"1","has_accepted_license":"1","oa_version":"Submitted Version","scopus_import":1,"related_material":{"record":[{"relation":"later_version","id":"434","status":"public"}]},"day":"08","publist_id":"6144","alternative_title":["LNCS"],"pubrep_id":"783","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","month":"11","language":[{"iso":"eng"}],"year":"2016","status":"public"},{"department":[{"_id":"JoFi"},{"_id":"MiLe"}],"publisher":"Wiley-Blackwell","title":"Libration of strongly oriented polar molecules inside a superfluid","ec_funded":1,"date_published":"2016-09-18T00:00:00Z","_id":"1206","date_created":"2018-12-11T11:50:43Z","citation":{"ista":"Redchenko E, Lemeshko M. 2016. Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. 17(22), 3649–3654.","chicago":"Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” <i>ChemPhysChem</i>. Wiley-Blackwell, 2016. <a href=\"https://doi.org/10.1002/cphc.201601042\">https://doi.org/10.1002/cphc.201601042</a>.","mla":"Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” <i>ChemPhysChem</i>, vol. 17, no. 22, Wiley-Blackwell, 2016, pp. 3649–54, doi:<a href=\"https://doi.org/10.1002/cphc.201601042\">10.1002/cphc.201601042</a>.","short":"E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.","ama":"Redchenko E, Lemeshko M. Libration of strongly oriented polar molecules inside a superfluid. <i>ChemPhysChem</i>. 2016;17(22):3649-3654. doi:<a href=\"https://doi.org/10.1002/cphc.201601042\">10.1002/cphc.201601042</a>","ieee":"E. Redchenko and M. Lemeshko, “Libration of strongly oriented polar molecules inside a superfluid,” <i>ChemPhysChem</i>, vol. 17, no. 22. Wiley-Blackwell, pp. 3649–3654, 2016.","apa":"Redchenko, E., &#38; Lemeshko, M. (2016). Libration of strongly oriented polar molecules inside a superfluid. <i>ChemPhysChem</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cphc.201601042\">https://doi.org/10.1002/cphc.201601042</a>"},"publication_status":"published","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1609.08161"}],"author":[{"last_name":"Redchenko","id":"2C21D6E8-F248-11E8-B48F-1D18A9856A87","full_name":"Redchenko, Elena","first_name":"Elena"},{"orcid":"0000-0002-6990-7802","first_name":"Mikhail","full_name":"Lemeshko, Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko"}],"issue":"22","page":"3649 - 3654","abstract":[{"lang":"eng","text":"We study a polar molecule immersed in a superfluid environment, such as a helium nanodroplet or a Bose–Einstein condensate, in the presence of a strong electrostatic field. We show that coupling of the molecular pendular motion, induced by the field, to the fluctuating bath leads to formation of pendulons—spherical harmonic librators dressed by a field of many-particle excitations. We study the behavior of the pendulon in a broad range of molecule–bath and molecule–field interaction strengths, and reveal that its spectrum features a series of instabilities which are absent in the field-free case of the angulon quasiparticle. Furthermore, we show that an external field allows to fine-tune the positions of these instabilities in the molecular rotational spectrum. This opens the door to detailed experimental studies of redistribution of orbital angular momentum in many-particle systems. © 2016 Wiley-VCH Verlag GmbH &amp; Co. KGaA, Weinheim"}],"date_updated":"2021-01-12T06:49:05Z","type":"journal_article","intvolume":"        17","project":[{"grant_number":"665385","call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"doi":"10.1002/cphc.201601042","publication":"ChemPhysChem","volume":17,"oa":1,"oa_version":"Preprint","scopus_import":1,"quality_controlled":"1","month":"09","status":"public","year":"2016","language":[{"iso":"eng"}],"day":"18","publist_id":"6140","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"}]