[{"oa_version":"None","abstract":[{"lang":"eng","text":"Fault-localization is considered to be a very tedious and time-consuming activity in the design of complex Cyber-Physical Systems (CPS). This laborious task essentially requires expert knowledge of the system in order to discover the cause of the fault. In this context, we propose a new procedure that AIDS designers in debugging Simulink/Stateflow hybrid system models, guided by Signal Temporal Logic (STL) specifications. The proposed method relies on three main ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether a tested behavior satisfies or violates an STL specification, localizes time segments and interfaces variables contributing to the property violations; (2) a slicing procedure that maps these observable behavior segments to the internal states and transitions of the Simulink model; and (3) a spectrum-based fault-localization method that combines the previous analysis from multiple tests to identify the internal states and/or transitions that are the most likely to explain the fault. We demonstrate the applicability of our approach on two Simulink models from the automotive and the avionics domain."}],"month":"04","alternative_title":["HSCC Proceedings"],"scopus_import":"1","language":[{"iso":"eng"}],"publication_status":"published","_id":"183","status":"public","type":"conference","conference":{"name":"HSCC: Hybrid Systems: Computation and Control","location":"Porto, Portugal","end_date":"2018-04-13","start_date":"2018-04-11"},"date_updated":"2023-09-13T08:48:46Z","department":[{"_id":"ToHe"}],"acknowledgement":"This work was partially supported by the Austrian Science Fund (FWF) under grants S11402-N23 and S11405-N23 (RiSE/SHiNE), the CPS/IoT project (HRSM), the EU ICT COST Action IC1402 on Run-time Verification beyond Monitoring (ARVI), the AMASS project (ECSEL 692474), and the ENABLE-S3 project (ECSEL 692455). The CPS/IoT project receives support from the Austrian government through the Federal Ministry of Science, Research and Economy (BMWFW) in the funding program Hochschulraum-Strukturmittel (HRSM) 2016. The ECSEL Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway.","publisher":"Association for Computing Machinery, Inc","quality_controlled":"1","day":"11","isi":1,"year":"2018","doi":"10.1145/3178126.3178131","date_published":"2018-04-11T00:00:00Z","date_created":"2018-12-11T11:45:04Z","page":"197 - 206","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178131.","ista":"Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 197–206.","mla":"Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.","apa":"Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3178131","ama":"Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131","ieee":"E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal, 2018, pp. 197–206.","short":"E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206."},"title":"Localizing faults in simulink/stateflow models with STL","author":[{"last_name":"Bartocci","full_name":"Bartocci, Ezio","first_name":"Ezio"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Ferrere","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas"},{"first_name":"Niveditha","full_name":"Manjunath, Niveditha","last_name":"Manjunath"},{"full_name":"Nickovic, Dejan","last_name":"Nickovic","first_name":"Dejan"}],"publist_id":"7738","external_id":{"isi":["000474781600022"]},"article_processing_charge":"No"},{"department":[{"_id":"LaEr"}],"date_updated":"2023-09-13T08:47:52Z","status":"public","article_type":"original","type":"journal_article","_id":"566","issue":"1","related_material":{"record":[{"status":"public","id":"149","relation":"dissertation_contains"}]},"volume":28,"ec_funded":1,"language":[{"iso":"eng"}],"publication_status":"published","month":"03","intvolume":" 28","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.07776 "}],"oa_version":"Preprint","abstract":[{"lang":"eng","text":"We consider large random matrices X with centered, independent entries which have comparable but not necessarily identical variances. Girko's circular law asserts that the spectrum is supported in a disk and in case of identical variances, the limiting density is uniform. In this special case, the local circular law by Bourgade et. al. [11,12] shows that the empirical density converges even locally on scales slightly above the typical eigenvalue spacing. In the general case, the limiting density is typically inhomogeneous and it is obtained via solving a system of deterministic equations. Our main result is the local inhomogeneous circular law in the bulk spectrum on the optimal scale for a general variance profile of the entries of X. \r\n\r\n"}],"title":"Local inhomogeneous circular law","author":[{"full_name":"Alt, Johannes","last_name":"Alt","first_name":"Johannes","id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","last_name":"Erdös","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"last_name":"Krüger","full_name":"Krüger, Torben H","orcid":"0000-0002-4821-3297","first_name":"Torben H","id":"3020C786-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","external_id":{"isi":["000431721800005"],"arxiv":["1612.07776 "]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"mla":"Alt, Johannes, et al. “Local Inhomogeneous Circular Law.” Annals Applied Probability , vol. 28, no. 1, Institute of Mathematical Statistics, 2018, pp. 148–203, doi:10.1214/17-AAP1302.","ama":"Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302","apa":"Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability . Institute of Mathematical Statistics. https://doi.org/10.1214/17-AAP1302","ieee":"J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals Applied Probability , vol. 28, no. 1. Institute of Mathematical Statistics, pp. 148–203, 2018.","short":"J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.","chicago":"Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous Circular Law.” Annals Applied Probability . Institute of Mathematical Statistics, 2018. https://doi.org/10.1214/17-AAP1302.","ista":"Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203."},"project":[{"call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","name":"Random matrices, universality and disordered quantum systems"}],"date_published":"2018-03-03T00:00:00Z","doi":"10.1214/17-AAP1302","date_created":"2018-12-11T11:47:13Z","page":"148-203","day":"03","publication":"Annals Applied Probability ","isi":1,"year":"2018","quality_controlled":"1","publisher":"Institute of Mathematical Statistics","oa":1},{"title":"Long geodesics on convex surfaces","external_id":{"arxiv":["1702.05172"],"isi":["000444141200005"]},"article_processing_charge":"No","author":[{"first_name":"Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2548-617X","full_name":"Akopyan, Arseniy","last_name":"Akopyan"},{"first_name":"Anton","last_name":"Petrunin","full_name":"Petrunin, Anton"}],"publist_id":"7948","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"mla":"Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer, vol. 40, no. 3, Springer, 2018, pp. 26–31, doi:10.1007/s00283-018-9795-5.","apa":"Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer. Springer. https://doi.org/10.1007/s00283-018-9795-5","ama":"Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):26-31. doi:10.1007/s00283-018-9795-5","ieee":"A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018.","short":"A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.","chicago":"Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer. Springer, 2018. https://doi.org/10.1007/s00283-018-9795-5.","ista":"Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31."},"date_created":"2018-12-11T11:44:40Z","date_published":"2018-09-01T00:00:00Z","doi":"10.1007/s00283-018-9795-5","page":"26 - 31","publication":"Mathematical Intelligencer","day":"01","year":"2018","isi":1,"oa":1,"publisher":"Springer","quality_controlled":"1","department":[{"_id":"HeEd"}],"date_updated":"2023-09-13T08:49:16Z","status":"public","type":"journal_article","_id":"106","volume":40,"issue":"3","language":[{"iso":"eng"}],"publication_status":"published","intvolume":" 40","month":"09","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1702.05172"}],"scopus_import":"1","oa_version":"Preprint","abstract":[{"lang":"eng","text":"The goal of this article is to introduce the reader to the theory of intrinsic geometry of convex surfaces. We illustrate the power of the tools by proving a theorem on convex surfaces containing an arbitrarily long closed simple geodesic. Let us remind ourselves that a curve in a surface is called geodesic if every sufficiently short arc of the curve is length minimizing; if, in addition, it has no self-intersections, we call it simple geodesic. A tetrahedron with equal opposite edges is called isosceles. The axiomatic method of Alexandrov geometry allows us to work with the metrics of convex surfaces directly, without approximating it first by a smooth or polyhedral metric. Such approximations destroy the closed geodesics on the surface; therefore it is difficult (if at all possible) to apply approximations in the proof of our theorem. On the other hand, a proof in the smooth or polyhedral case usually admits a translation into Alexandrov’s language; such translation makes the result more general. In fact, our proof resembles a translation of the proof given by Protasov. Note that the main theorem implies in particular that a smooth convex surface does not have arbitrarily long simple closed geodesics. However we do not know a proof of this corollary that is essentially simpler than the one presented below."}]},{"day":"16","year":"2018","date_created":"2021-08-06T12:43:44Z","date_published":"2018-08-16T00:00:00Z","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"82"}]},"doi":"10.1371/journal.pbio.2005971.s008","oa_version":"Published Version","month":"08","publisher":"Public Library of Science","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","date_updated":"2023-09-13T08:45:41Z","citation":{"mla":"Chaudhry, Waqas, et al. Numerical Data Used in Figures. Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971.s008.","ama":"Chaudhry W, Pleska M, Shah N, et al. Numerical data used in figures. 2018. doi:10.1371/journal.pbio.2005971.s008","apa":"Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Numerical data used in figures. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971.s008","ieee":"W. Chaudhry et al., “Numerical data used in figures.” Public Library of Science, 2018.","short":"W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).","chicago":"Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Numerical Data Used in Figures.” Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.s008.","ista":"Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Numerical data used in figures, Public Library of Science, 10.1371/journal.pbio.2005971.s008."},"department":[{"_id":"CaGu"}],"title":"Numerical data used in figures","article_processing_charge":"No","author":[{"first_name":"Waqas","full_name":"Chaudhry, Waqas","last_name":"Chaudhry"},{"id":"4569785E-F248-11E8-B48F-1D18A9856A87","first_name":"Maros","full_name":"Pleska, Maros","orcid":"0000-0001-7460-7479","last_name":"Pleska"},{"first_name":"Nilang","full_name":"Shah, Nilang","last_name":"Shah"},{"first_name":"Howard","last_name":"Weiss","full_name":"Weiss, Howard"},{"full_name":"Mccall, Ingrid","last_name":"Mccall","first_name":"Ingrid"},{"full_name":"Meyer, Justin","last_name":"Meyer","first_name":"Justin"},{"full_name":"Gupta, Animesh","last_name":"Gupta","first_name":"Animesh"},{"full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","first_name":"Calin C"},{"last_name":"Levin","full_name":"Levin, Bruce","first_name":"Bruce"}],"_id":"9810","status":"public","type":"research_data_reference"},{"has_accepted_license":"1","isi":1,"year":"2018","day":"12","publication":"Journal of Cell Biology","page":"2205 - 2221","date_published":"2018-04-12T00:00:00Z","doi":"10.1083/jcb.201612051","date_created":"2018-12-11T11:45:33Z","acknowledgement":"M. Brown was supported by the Cell Communication in Health and Disease Graduate Study Program of the Austrian Science Fund and Medizinische Universität Wien, M. Sixt by the European Research Council (ERC GA 281556) and an Austrian Science Fund START award, K.L. Bennett by the Austrian Academy of Sciences, D.G. Jackson and L.A. Johnson by Unit Funding (MC_UU_12010/2) and project grants from the Medical Research Council (G1100134 and MR/L008610/1), and M. Detmar by the Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung and Advanced European Research Council grant LYVICAM. K. Vaahtomeri was supported by an Academy of Finland postdoctoral research grant (287853). This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 668036 (RELENT).","quality_controlled":"1","publisher":"Rockefeller University Press","oa":1,"citation":{"chicago":"Brown, Markus, Louise Johnson, Dario Leone, Peter Májek, Kari Vaahtomeri, Daniel Senfter, Nora Bukosza, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.” Journal of Cell Biology. Rockefeller University Press, 2018. https://doi.org/10.1083/jcb.201612051.","ista":"Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N, Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K, Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6), 2205–2221.","mla":"Brown, Markus, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.” Journal of Cell Biology, vol. 217, no. 6, Rockefeller University Press, 2018, pp. 2205–21, doi:10.1083/jcb.201612051.","short":"M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.","ieee":"M. Brown et al., “Lymphatic exosomes promote dendritic cell migration along guidance cues,” Journal of Cell Biology, vol. 217, no. 6. Rockefeller University Press, pp. 2205–2221, 2018.","apa":"Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D., … Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201612051","ama":"Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221. doi:10.1083/jcb.201612051"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87","first_name":"Markus","last_name":"Brown","full_name":"Brown, Markus"},{"first_name":"Louise","last_name":"Johnson","full_name":"Johnson, Louise"},{"first_name":"Dario","last_name":"Leone","full_name":"Leone, Dario"},{"first_name":"Peter","full_name":"Májek, Peter","last_name":"Májek"},{"full_name":"Vaahtomeri, Kari","orcid":"0000-0001-7829-3518","last_name":"Vaahtomeri","first_name":"Kari","id":"368EE576-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Senfter","full_name":"Senfter, Daniel","first_name":"Daniel"},{"last_name":"Bukosza","full_name":"Bukosza, Nora","first_name":"Nora"},{"first_name":"Helga","full_name":"Schachner, Helga","last_name":"Schachner"},{"first_name":"Gabriele","last_name":"Asfour","full_name":"Asfour, Gabriele"},{"full_name":"Langer, Brigitte","last_name":"Langer","first_name":"Brigitte"},{"id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","orcid":"0000-0001-9843-3522","full_name":"Hauschild, Robert","last_name":"Hauschild"},{"last_name":"Parapatics","full_name":"Parapatics, Katja","first_name":"Katja"},{"last_name":"Hong","full_name":"Hong, Young","first_name":"Young"},{"first_name":"Keiryn","last_name":"Bennett","full_name":"Bennett, Keiryn"},{"full_name":"Kain, Renate","last_name":"Kain","first_name":"Renate"},{"first_name":"Michael","full_name":"Detmar, Michael","last_name":"Detmar"},{"last_name":"Sixt","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K"},{"last_name":"Jackson","full_name":"Jackson, David","first_name":"David"},{"first_name":"Dontscho","last_name":"Kerjaschki","full_name":"Kerjaschki, Dontscho"}],"publist_id":"7627","article_processing_charge":"No","external_id":{"isi":["000438077800026"],"pmid":["29650776"]},"title":"Lymphatic exosomes promote dendritic cell migration along guidance cues","project":[{"call_identifier":"FWF","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425","grant_number":"Y 564-B12","name":"Cytoskeletal force generation and transduction of leukocytes (FWF)"},{"grant_number":"281556","name":"Cytoskeletal force generation and force transduction of migrating leukocytes (EU)","_id":"25A603A2-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"publication_status":"published","file":[{"creator":"dernst","date_updated":"2020-07-14T12:45:45Z","file_size":2252043,"date_created":"2018-12-17T12:50:07Z","file_name":"2018_JournalCellBiology_Brown.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"5704","checksum":"9c7eba51a35c62da8c13f98120b64df4"}],"language":[{"iso":"eng"}],"issue":"6","volume":217,"ec_funded":1,"abstract":[{"lang":"eng","text":"Lymphatic endothelial cells (LECs) release extracellular chemokines to guide the migration of dendritic cells. In this study, we report that LECs also release basolateral exosome-rich endothelial vesicles (EEVs) that are secreted in greater numbers in the presence of inflammatory cytokines and accumulate in the perivascular stroma of small lymphatic vessels in human chronic inflammatory diseases. Proteomic analyses of EEV fractions identified > 1,700 cargo proteins and revealed a dominant motility-promoting protein signature. In vitro and ex vivo EEV fractions augmented cellular protrusion formation in a CX3CL1/fractalkine-dependent fashion and enhanced the directional migratory response of human dendritic cells along guidance cues. We conclude that perilymphatic LEC exosomes enhance exploratory behavior and thus promote directional migration of CX3CR1-expressing cells in complex tissue environments."}],"oa_version":"Published Version","pmid":1,"scopus_import":"1","month":"04","intvolume":" 217","date_updated":"2023-09-13T08:51:29Z","ddc":["570"],"file_date_updated":"2020-07-14T12:45:45Z","department":[{"_id":"MiSi"},{"_id":"Bio"}],"_id":"275","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public"},{"date_updated":"2023-09-13T08:53:28Z","department":[{"_id":"JiFr"}],"_id":"158","type":"journal_article","status":"public","publication_status":"published","language":[{"iso":"eng"}],"ec_funded":1,"issue":"8","related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/","description":"News on IST Homepage"}]},"volume":4,"abstract":[{"text":"The angiosperm seed is composed of three genetically distinct tissues: the diploid embryo that originates from the fertilized egg cell, the triploid endosperm that is produced from the fertilized central cell, and the maternal sporophytic integuments that develop into the seed coat1. At the onset of embryo development in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small apical embryonic cell and a larger basal cell that connects the embryo to the maternal tissue2. The coordinated and synchronous development of the embryo and the surrounding integuments, and the alignment of their growth axes, suggest communication between maternal tissues and the embryo. In contrast to animals, however, where a network of maternal factors that direct embryo patterning have been identified3,4, only a few maternal mutations have been described to affect embryo development in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of the phytohormone auxin in the apical cell by directed transport from the suspensor8–10. However, the origin of this auxin has remained obscure. Here we investigate the source of auxin for early embryogenesis and provide evidence that the mother plant coordinates seed development by supplying auxin to the early embryo from the integuments of the ovule. We show that auxin response increases in ovules after fertilization, due to upregulated auxin biosynthesis in the integuments, and this maternally produced auxin is required for correct embryo development.","lang":"eng"}],"pmid":1,"oa_version":"Submitted Version","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/30013211","open_access":"1"}],"scopus_import":"1","intvolume":" 4","month":"07","citation":{"mla":"Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.” Nature Plants, vol. 4, no. 8, Nature Publishing Group, 2018, pp. 548–53, doi:10.1038/s41477-018-0204-z.","ieee":"H. Robert et al., “Maternal auxin supply contributes to early embryo patterning in Arabidopsis,” Nature Plants, vol. 4, no. 8. Nature Publishing Group, pp. 548–553, 2018.","short":"H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.","apa":"Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O., … Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0204-z","ama":"Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553. doi:10.1038/s41477-018-0204-z","chicago":"Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.” Nature Plants. Nature Publishing Group, 2018. https://doi.org/10.1038/s41477-018-0204-z.","ista":"Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"pmid":["30013211"],"isi":["000443861300011"]},"article_processing_charge":"No","author":[{"last_name":"Robert","full_name":"Robert, Hélène","first_name":"Hélène"},{"full_name":"Park, Chulmin","last_name":"Park","first_name":"Chulmin"},{"full_name":"Gutièrrez, Carla","last_name":"Gutièrrez","first_name":"Carla"},{"last_name":"Wójcikowska","full_name":"Wójcikowska, Barbara","first_name":"Barbara"},{"last_name":"Pěnčík","full_name":"Pěnčík, Aleš","first_name":"Aleš"},{"last_name":"Novák","full_name":"Novák, Ondřej","first_name":"Ondřej"},{"full_name":"Chen, Junyi","last_name":"Chen","first_name":"Junyi"},{"full_name":"Grunewald, Wim","last_name":"Grunewald","first_name":"Wim"},{"first_name":"Thomas","last_name":"Dresselhaus","full_name":"Dresselhaus, Thomas"},{"first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí","orcid":"0000-0002-8302-7596","last_name":"Friml"},{"first_name":"Thomas","full_name":"Laux, Thomas","last_name":"Laux"}],"publist_id":"7763","title":"Maternal auxin supply contributes to early embryo patterning in Arabidopsis","project":[{"name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"year":"2018","isi":1,"publication":"Nature Plants","day":"16","page":"548 - 553","date_created":"2018-12-11T11:44:56Z","date_published":"2018-07-16T00:00:00Z","doi":"10.1038/s41477-018-0204-z","acknowledgement":"This work was further supported by the Czech Science Foundation GACR (GA13-40637S) to J.F.;","oa":1,"publisher":"Nature Publishing Group","quality_controlled":"1"},{"publication_status":"published","file":[{"file_name":"SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf","date_created":"2019-11-07T12:55:20Z","file_size":2185385,"date_updated":"2020-07-14T12:45:00Z","creator":"lsazanov","checksum":"ef6d2b4e1fd63948539639242610bfa6","file_id":"6994","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"language":[{"iso":"eng"}],"volume":28,"issue":"10","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","abstract":[{"lang":"eng","text":"Complex I has an essential role in ATP production by coupling electron transfer from NADH to quinone with translocation of protons across the inner mitochondrial membrane. Isolated complex I deficiency is a frequent cause of mitochondrial inherited diseases. Complex I has also been implicated in cancer, ageing, and neurodegenerative conditions. Until recently, the understanding of complex I deficiency on the molecular level was limited due to the lack of high-resolution structures of the enzyme. However, due to developments in single particle cryo-electron microscopy (cryo-EM), recent studies have reported nearly atomic resolution maps and models of mitochondrial complex I. These structures significantly add to our understanding of complex I mechanism and assembly. The disease-causing mutations are discussed here in their structural context."}],"oa_version":"Submitted Version","scopus_import":"1","month":"07","intvolume":" 28","date_updated":"2023-09-13T08:51:56Z","ddc":["572"],"file_date_updated":"2020-07-14T12:45:00Z","department":[{"_id":"LeSa"}],"_id":"152","article_type":"original","type":"journal_article","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"status":"public","isi":1,"has_accepted_license":"1","year":"2018","day":"26","publication":"Trends in Cell Biology","page":"835 - 867","doi":"10.1016/j.tcb.2018.06.006","date_published":"2018-07-26T00:00:00Z","date_created":"2018-12-11T11:44:54Z","publisher":"Elsevier","quality_controlled":"1","oa":1,"citation":{"chicago":"Fiedorczuk, Karol, and Leonid A Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” Trends in Cell Biology. Elsevier, 2018. https://doi.org/10.1016/j.tcb.2018.06.006.","ista":"Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.","mla":"Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” Trends in Cell Biology, vol. 28, no. 10, Elsevier, 2018, pp. 835–67, doi:10.1016/j.tcb.2018.06.006.","short":"K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.","ieee":"K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure and disease causing mutations,” Trends in Cell Biology, vol. 28, no. 10. Elsevier, pp. 835–867, 2018.","apa":"Fiedorczuk, K., & Sazanov, L. A. (2018). Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2018.06.006","ama":"Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 2018;28(10):835-867. doi:10.1016/j.tcb.2018.06.006"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Fiedorczuk, Karol","last_name":"Fiedorczuk","id":"5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0","first_name":"Karol"},{"orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A"}],"publist_id":"7769","article_processing_charge":"No","external_id":{"isi":["000445118200007"]},"title":"Mammalian mitochondrial complex I structure and disease causing mutations"},{"department":[{"_id":"KrCh"}],"date_updated":"2023-09-13T08:50:16Z","status":"public","type":"conference","conference":{"name":"SODA: Symposium on Discrete Algorithms","start_date":"2018-01-07","location":"New Orleans, Louisiana, United States","end_date":"2018-01-10"},"_id":"310","ec_funded":1,"language":[{"iso":"eng"}],"publication_status":"published","month":"01","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1711.09148"}],"oa_version":"Preprint","abstract":[{"lang":"eng","text":"A model of computation that is widely used in the formal analysis of reactive systems is symbolic algorithms. In this model the access to the input graph is restricted to consist of symbolic operations, which are expensive in comparison to the standard RAM operations. We give lower bounds on the number of symbolic operations for basic graph problems such as the computation of the strongly connected components and of the approximate diameter as well as for fundamental problems in model checking such as safety, liveness, and coliveness. Our lower bounds are linear in the number of vertices of the graph, even for constant-diameter graphs. For none of these problems lower bounds on the number of symbolic operations were known before. The lower bounds show an interesting separation of these problems from the reachability problem, which can be solved with O(D) symbolic operations, where D is the diameter of the graph. Additionally we present an approximation algorithm for the graph diameter which requires Õ(n/D) symbolic steps to achieve a (1 +ϵ)-approximation for any constant > 0. This compares to O(n/D) symbolic steps for the (naive) exact algorithm and O(D) symbolic steps for a 2-approximation. Finally we also give a refined analysis of the strongly connected components algorithms of [15], showing that it uses an optimal number of symbolic steps that is proportional to the sum of the diameters of the strongly connected components."}],"title":"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter","publist_id":"7555","author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"first_name":"Wolfgang","full_name":"Dvorák, Wolfgang","last_name":"Dvorák"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H"},{"last_name":"Loitzenbauer","full_name":"Loitzenbauer, Veronika","first_name":"Veronika"}],"article_processing_charge":"No","external_id":{"arxiv":["1711.09148"],"isi":["000483921200152"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ama":"Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. In: ACM; 2018:2341-2356. doi:10.1137/1.9781611975031.151","apa":"Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2018). Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter (pp. 2341–2356). Presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States: ACM. https://doi.org/10.1137/1.9781611975031.151","short":"K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.","ieee":"K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter,” presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States, 2018, pp. 2341–2356.","mla":"Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.","ista":"Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2018. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. SODA: Symposium on Discrete Algorithms, 2341–2356.","chicago":"Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151."},"project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"},{"grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425"}],"doi":"10.1137/1.9781611975031.151","date_published":"2018-01-01T00:00:00Z","date_created":"2018-12-11T11:45:45Z","page":"2341 - 2356","day":"01","isi":1,"year":"2018","publisher":"ACM","quality_controlled":"1","oa":1},{"oa":1,"publisher":"American Physical Society","quality_controlled":"1","date_created":"2018-12-11T11:46:28Z","date_published":"2018-02-07T00:00:00Z","doi":"10.1103/PhysRevLett.120.060601","year":"2018","isi":1,"publication":"Physical Review Letters","day":"07","project":[{"call_identifier":"H2020","_id":"257EB838-B435-11E9-9278-68D0E5697425","name":"Hybrid Optomechanical Technologies","grant_number":"732894"},{"call_identifier":"H2020","_id":"258047B6-B435-11E9-9278-68D0E5697425","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","grant_number":"707438"}],"article_number":"060601 ","external_id":{"isi":["000424382100004"],"arxiv":["1706.09051"]},"article_processing_charge":"No","publist_id":"7387","author":[{"last_name":"Barzanjeh","full_name":"Barzanjeh, Shabir","orcid":"0000-0003-0415-1423","first_name":"Shabir","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Aquilina","full_name":"Aquilina, Matteo","first_name":"Matteo"},{"first_name":"André","last_name":"Xuereb","full_name":"Xuereb, André"}],"title":"Manipulating the flow of thermal noise in quantum devices","citation":{"chicago":"Barzanjeh, Shabir, Matteo Aquilina, and André Xuereb. “Manipulating the Flow of Thermal Noise in Quantum Devices.” Physical Review Letters. American Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.120.060601.","ista":"Barzanjeh S, Aquilina M, Xuereb A. 2018. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 120(6), 060601.","mla":"Barzanjeh, Shabir, et al. “Manipulating the Flow of Thermal Noise in Quantum Devices.” Physical Review Letters, vol. 120, no. 6, 060601, American Physical Society, 2018, doi:10.1103/PhysRevLett.120.060601.","ama":"Barzanjeh S, Aquilina M, Xuereb A. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 2018;120(6). doi:10.1103/PhysRevLett.120.060601","apa":"Barzanjeh, S., Aquilina, M., & Xuereb, A. (2018). Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.120.060601","short":"S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).","ieee":"S. Barzanjeh, M. Aquilina, and A. Xuereb, “Manipulating the flow of thermal noise in quantum devices,” Physical Review Letters, vol. 120, no. 6. American Physical Society, 2018."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1706.09051"}],"scopus_import":"1","intvolume":" 120","month":"02","abstract":[{"text":"There has been significant interest recently in using complex quantum systems to create effective nonreciprocal dynamics. Proposals have been put forward for the realization of artificial magnetic fields for photons and phonons; experimental progress is fast making these proposals a reality. Much work has concentrated on the use of such systems for controlling the flow of signals, e.g., to create isolators or directional amplifiers for optical signals. In this Letter, we build on this work but move in a different direction. We develop the theory of and discuss a potential realization for the controllable flow of thermal noise in quantum systems. We demonstrate theoretically that the unidirectional flow of thermal noise is possible within quantum cascaded systems. Viewing an optomechanical platform as a cascaded system we show here that one can ultimately control the direction of the flow of thermal noise. By appropriately engineering the mechanical resonator, which acts as an artificial reservoir, the flow of thermal noise can be constrained to a desired direction, yielding a thermal rectifier. The proposed quantum thermal noise rectifier could potentially be used to develop devices such as a thermal modulator, a thermal router, and a thermal amplifier for nanoelectronic devices and superconducting circuits.","lang":"eng"}],"oa_version":"Preprint","ec_funded":1,"issue":"6","related_material":{"link":[{"description":"News on IST Homepage","url":"https://ist.ac.at/en/news/interference-as-a-new-method-for-cooling-quantum-devices/","relation":"press_release"}]},"volume":120,"publication_status":"published","language":[{"iso":"eng"}],"type":"journal_article","status":"public","_id":"436","department":[{"_id":"JoFi"}],"date_updated":"2023-09-13T08:52:27Z"},{"date_updated":"2023-09-13T08:55:05Z","ddc":["570"],"file_date_updated":"2020-07-14T12:47:13Z","department":[{"_id":"MiSi"}],"_id":"5858","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","publication_identifier":{"issn":["17425689"]},"publication_status":"published","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:13Z","file_size":1464288,"date_created":"2019-02-05T14:46:44Z","file_name":"2018_Interface_Hross.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"5925","checksum":"56eb4308a15b7190bff938fab1f780e8"}],"language":[{"iso":"eng"}],"issue":"149","volume":15,"abstract":[{"text":"Spatial patterns are ubiquitous on the subcellular, cellular and tissue level, and can be studied using imaging techniques such as light and fluorescence microscopy. Imaging data provide quantitative information about biological systems; however, mechanisms causing spatial patterning often remain elusive. In recent years, spatio-temporal mathematical modelling has helped to overcome this problem. Yet, outliers and structured noise limit modelling of whole imaging data, and models often consider spatial summary statistics. Here, we introduce an integrated data-driven modelling approach that can cope with measurement artefacts and whole imaging data. Our approach combines mechanistic models of the biological processes with robust statistical models of the measurement process. The parameters of the integrated model are calibrated using a maximum-likelihood approach. We used this integrated modelling approach to study in vivo gradients of the chemokine (C-C motif) ligand 21 (CCL21). CCL21 gradients guide dendritic cells and are important in the adaptive immune response. Using artificial data, we verified that the integrated modelling approach provides reliable parameter estimates in the presence of measurement noise and that bias and variance of these estimates are reduced compared to conventional approaches. The application to experimental data allowed the parametrization and subsequent refinement of the model using additional mechanisms. Among other results, model-based hypothesis testing predicted lymphatic vessel-dependent concentration of heparan sulfate, the binding partner of CCL21. The selected model provided an accurate description of the experimental data and was partially validated using published data. Our findings demonstrate that integrated statistical modelling of whole imaging data is computationally feasible and can provide novel biological insights.","lang":"eng"}],"oa_version":"Published Version","scopus_import":"1","month":"12","intvolume":" 15","citation":{"chicago":"Hross, Sabrina, Fabian J. Theis, Michael K Sixt, and Jan Hasenauer. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.” Journal of the Royal Society Interface. Royal Society Publishing, 2018. https://doi.org/10.1098/rsif.2018.0600.","ista":"Hross S, Theis FJ, Sixt MK, Hasenauer J. 2018. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 15(149), 20180600.","mla":"Hross, Sabrina, et al. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.” Journal of the Royal Society Interface, vol. 15, no. 149, 20180600, Royal Society Publishing, 2018, doi:10.1098/rsif.2018.0600.","ieee":"S. Hross, F. J. Theis, M. K. Sixt, and J. Hasenauer, “Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data,” Journal of the Royal Society Interface, vol. 15, no. 149. Royal Society Publishing, 2018.","short":"S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).","ama":"Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600","apa":"Hross, S., Theis, F. J., Sixt, M. K., & Hasenauer, J. (2018). Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. Royal Society Publishing. https://doi.org/10.1098/rsif.2018.0600"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"first_name":"Sabrina","full_name":"Hross, Sabrina","last_name":"Hross"},{"full_name":"Theis, Fabian J.","last_name":"Theis","first_name":"Fabian J."},{"last_name":"Sixt","orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K"},{"last_name":"Hasenauer","full_name":"Hasenauer, Jan","first_name":"Jan"}],"article_processing_charge":"No","external_id":{"isi":["000456783800011"]},"title":"Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data","article_number":"20180600","isi":1,"has_accepted_license":"1","year":"2018","day":"05","publication":"Journal of the Royal Society Interface","date_published":"2018-12-05T00:00:00Z","doi":"10.1098/rsif.2018.0600","date_created":"2019-01-20T22:59:18Z","quality_controlled":"1","publisher":"Royal Society Publishing","oa":1},{"article_number":"103303","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids. American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.103303.","ista":"Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.","mla":"Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids, vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303.","ama":"Varshney A, Steinberg V. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303","apa":"Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103303","ieee":"A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society, 2018.","short":"A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018)."},"title":"Mixing layer instability and vorticity amplification in a creeping viscoelastic flow","article_processing_charge":"No","external_id":{"isi":["000447469200001"]},"author":[{"first_name":"Atul","id":"2A2006B2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3072-5999","full_name":"Varshney, Atul","last_name":"Varshney"},{"first_name":"Victor","full_name":"Steinberg, Victor","last_name":"Steinberg"}],"publist_id":"8039","acknowledgement":"This work was partially supported by the Israel Science Foundation (ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No. 2016145).","oa":1,"publisher":"American Physical Society","quality_controlled":"1","publication":"Physical Review Fluids","day":"16","year":"2018","isi":1,"has_accepted_license":"1","date_created":"2018-12-11T11:44:10Z","date_published":"2018-10-16T00:00:00Z","doi":"10.1103/PhysRevFluids.3.103303","_id":"16","pubrep_id":"1062","status":"public","article_type":"original","type":"journal_article","ddc":["532"],"date_updated":"2023-09-13T08:57:05Z","department":[{"_id":"BjHo"}],"file_date_updated":"2020-07-14T12:45:04Z","oa_version":"Submitted Version","abstract":[{"lang":"eng","text":"We report quantitative evidence of mixing-layer elastic instability in a viscoelastic fluid flow between two widely spaced obstacles hindering a channel flow at Re 1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed in the region between the obstacles. The mixing-layer instability arises in the vicinity of an inflection point on the shear velocity profile with a steep variation in the elastic stress. The instability results in an intermittent appearance of small vortices in the mixing layers and an amplification of spatiotemporal averaged vorticity in the elastic turbulence regime. The latter is characterized through scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore, the observations reported provide improved understanding of the stability of the mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1 and oppose the current view of suppression of vorticity solely by polymer additives."}],"intvolume":" 3","month":"10","scopus_import":"1","language":[{"iso":"eng"}],"file":[{"file_name":"IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf","date_created":"2018-12-12T10:13:56Z","file_size":1838431,"date_updated":"2020-07-14T12:45:04Z","creator":"system","file_id":"5043","checksum":"7fc0a2322214d1c04debef36d5bf2e8a","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"publication_status":"published","ec_funded":1,"volume":3,"issue":"10"},{"oa_version":"Submitted Version","abstract":[{"text":"The initial amount of pathogens required to start an infection within a susceptible host is called the infective dose and is known to vary to a large extent between different pathogen species. We investigate the hypothesis that the differences in infective doses are explained by the mode of action in the underlying mechanism of pathogenesis: Pathogens with locally acting mechanisms tend to have smaller infective doses than pathogens with distantly acting mechanisms. While empirical evidence tends to support the hypothesis, a formal theoretical explanation has been lacking. We give simple analytical models to gain insight into this phenomenon and also investigate a stochastic, spatially explicit, mechanistic within-host model for toxin-dependent bacterial infections. The model shows that pathogens secreting locally acting toxins have smaller infective doses than pathogens secreting diffusive toxins, as hypothesized. While local pathogenetic mechanisms require smaller infective doses, pathogens with distantly acting toxins tend to spread faster and may cause more damage to the host. The proposed model can serve as a basis for the spatially explicit analysis of various virulence factors also in the context of other problems in infection dynamics.","lang":"eng"}],"month":"10","intvolume":" 115","scopus_import":"1","file":[{"creator":"dernst","file_size":4070777,"date_updated":"2020-07-14T12:46:26Z","file_name":"2018_PNAS_Rybicki.pdf","date_created":"2019-04-09T08:02:50Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","checksum":"df7ac544a587c06b75692653b9fabd18","file_id":"6258"}],"language":[{"iso":"eng"}],"publication_status":"published","volume":115,"issue":"42","ec_funded":1,"_id":"43","status":"public","pubrep_id":"1063","type":"journal_article","ddc":["570","577"],"date_updated":"2023-09-13T08:57:38Z","department":[{"_id":"DaAl"}],"file_date_updated":"2020-07-14T12:46:26Z","acknowledgement":"J.R. and J.V.A. were also supported by the Academy of Finland Grants 1273253 and 267541.","quality_controlled":"1","publisher":"National Academy of Sciences","oa":1,"day":"02","publication":"PNAS","has_accepted_license":"1","isi":1,"year":"2018","doi":"10.1073/pnas.1721061115","date_published":"2018-10-02T00:00:00Z","date_created":"2018-12-11T11:44:19Z","page":"10690 - 10695","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"mla":"Rybicki, Joel, et al. “Model of Bacterial Toxin-Dependent Pathogenesis Explains Infective Dose.” PNAS, vol. 115, no. 42, National Academy of Sciences, 2018, pp. 10690–95, doi:10.1073/pnas.1721061115.","short":"J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.","ieee":"J. Rybicki, E. Kisdi, and J. Anttila, “Model of bacterial toxin-dependent pathogenesis explains infective dose,” PNAS, vol. 115, no. 42. National Academy of Sciences, pp. 10690–10695, 2018.","ama":"Rybicki J, Kisdi E, Anttila J. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 2018;115(42):10690-10695. doi:10.1073/pnas.1721061115","apa":"Rybicki, J., Kisdi, E., & Anttila, J. (2018). Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1721061115","chicago":"Rybicki, Joel, Eva Kisdi, and Jani Anttila. “Model of Bacterial Toxin-Dependent Pathogenesis Explains Infective Dose.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1721061115.","ista":"Rybicki J, Kisdi E, Anttila J. 2018. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 115(42), 10690–10695."},"title":"Model of bacterial toxin-dependent pathogenesis explains infective dose","publist_id":"8011","author":[{"orcid":"0000-0002-6432-6646","full_name":"Rybicki, Joel","last_name":"Rybicki","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","first_name":"Joel"},{"full_name":"Kisdi, Eva","last_name":"Kisdi","first_name":"Eva"},{"first_name":"Jani","full_name":"Anttila, Jani","last_name":"Anttila"}],"external_id":{"isi":["000447491300057"]},"article_processing_charge":"No"},{"type":"journal_article","status":"public","pubrep_id":"1038","_id":"13","department":[{"_id":"BeBi"}],"file_date_updated":"2020-07-14T12:44:43Z","date_updated":"2023-09-13T08:56:07Z","ddc":["004"],"scopus_import":"1","month":"08","intvolume":" 37","abstract":[{"lang":"eng","text":"We propose a new method for fabricating digital objects through reusable silicone molds. Molds are generated by casting liquid silicone into custom 3D printed containers called metamolds. Metamolds automatically define the cuts that are needed to extract the cast object from the silicone mold. The shape of metamolds is designed through a novel segmentation technique, which takes into account both geometric and topological constraints involved in the process of mold casting. Our technique is simple, does not require changing the shape or topology of the input objects, and only requires off-the- shelf materials and technologies. We successfully tested our method on a set of challenging examples with complex shapes and rich geometric detail. © 2018 Association for Computing Machinery."}],"oa_version":"Submitted Version","issue":"4","related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/metamolds-molding-a-mold/","description":"News on IST Homepage"}]},"volume":37,"ec_funded":1,"publication_status":"published","file":[{"checksum":"61d46273dca4de626accef1d17a0aaad","file_id":"5374","access_level":"open_access","relation":"main_file","content_type":"application/pdf","date_created":"2018-12-12T10:18:52Z","file_name":"IST-2018-1038-v1+1_metamolds_authorversion.pdf","creator":"system","date_updated":"2020-07-14T12:44:43Z","file_size":91939066}],"language":[{"iso":"eng"}],"project":[{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"article_number":"136","author":[{"first_name":"Thomas","full_name":"Alderighi, Thomas","last_name":"Alderighi"},{"first_name":"Luigi","last_name":"Malomo","full_name":"Malomo, Luigi"},{"last_name":"Giorgi","full_name":"Giorgi, Daniela","first_name":"Daniela"},{"first_name":"Nico","last_name":"Pietroni","full_name":"Pietroni, Nico"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","last_name":"Bickel"},{"last_name":"Cignoni","full_name":"Cignoni, Paolo","first_name":"Paolo"}],"publist_id":"8043","article_processing_charge":"No","external_id":{"isi":["000448185000097"]},"title":"Metamolds: Computational design of silicone molds","citation":{"mla":"Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.” ACM Trans. Graph., vol. 37, no. 4, 136, ACM, 2018, doi:10.1145/3197517.3201381.","short":"T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018).","ieee":"T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.","ama":"Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds: Computational design of silicone molds. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201381","apa":"Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., & Cignoni, P. (2018). Metamolds: Computational design of silicone molds. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201381","chicago":"Alderighi, Thomas, Luigi Malomo, Daniela Giorgi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “Metamolds: Computational Design of Silicone Molds.” ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201381.","ista":"Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. 2018. Metamolds: Computational design of silicone molds. ACM Trans. Graph. 37(4), 136."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","quality_controlled":"1","publisher":"ACM","oa":1,"date_published":"2018-08-04T00:00:00Z","doi":"10.1145/3197517.3201381","date_created":"2018-12-11T11:44:09Z","isi":1,"has_accepted_license":"1","year":"2018","day":"04","publication":"ACM Trans. Graph."},{"department":[{"_id":"HaJa"}],"date_updated":"2023-09-13T08:58:05Z","article_type":"original","type":"journal_article","status":"public","_id":"137","volume":14,"issue":"9","publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/30061718"}],"scopus_import":"1","intvolume":" 14","month":"07","abstract":[{"lang":"eng","text":"Fluorescent sensors are an essential part of the experimental toolbox of the life sciences, where they are used ubiquitously to visualize intra- and extracellular signaling. In the brain, optical neurotransmitter sensors can shed light on temporal and spatial aspects of signal transmission by directly observing, for instance, neurotransmitter release and spread. Here we report the development and application of the first optical sensor for the amino acid glycine, which is both an inhibitory neurotransmitter and a co-agonist of the N-methyl-d-aspartate receptors (NMDARs) involved in synaptic plasticity. Computational design of a glycine-specific binding protein allowed us to produce the optical glycine FRET sensor (GlyFS), which can be used with single and two-photon excitation fluorescence microscopy. We took advantage of this newly developed sensor to test predictions about the uneven spatial distribution of glycine in extracellular space and to demonstrate that extracellular glycine levels are controlled by plasticity-inducing stimuli."}],"pmid":1,"oa_version":"Submitted Version","article_processing_charge":"No","external_id":{"isi":["000442174500013"],"pmid":["30061718 "]},"author":[{"first_name":"William","last_name":"Zhang","full_name":"Zhang, William"},{"last_name":"Herde","full_name":"Herde, Michel","first_name":"Michel"},{"first_name":"Joshua","last_name":"Mitchell","full_name":"Mitchell, Joshua"},{"last_name":"Whitfield","full_name":"Whitfield, Jason","first_name":"Jason"},{"first_name":"Andreas","last_name":"Wulff","full_name":"Wulff, Andreas"},{"full_name":"Vongsouthi, Vanessa","last_name":"Vongsouthi","first_name":"Vanessa"},{"id":"3D9C5D30-F248-11E8-B48F-1D18A9856A87","first_name":"Inmaculada","last_name":"Sanchez Romero","full_name":"Sanchez Romero, Inmaculada"},{"full_name":"Gulakova, Polina","last_name":"Gulakova","first_name":"Polina"},{"first_name":"Daniel","full_name":"Minge, Daniel","last_name":"Minge"},{"full_name":"Breithausen, Björn","last_name":"Breithausen","first_name":"Björn"},{"full_name":"Schoch, Susanne","last_name":"Schoch","first_name":"Susanne"},{"first_name":"Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8023-9315","full_name":"Janovjak, Harald L","last_name":"Janovjak"},{"first_name":"Colin","last_name":"Jackson","full_name":"Jackson, Colin"},{"full_name":"Henneberger, Christian","last_name":"Henneberger","first_name":"Christian"}],"publist_id":"7786","title":"Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS","citation":{"chicago":"Zhang, William, Michel Herde, Joshua Mitchell, Jason Whitfield, Andreas Wulff, Vanessa Vongsouthi, Inmaculada Sanchez-Romero, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41589-018-0108-2.","ista":"Zhang W, Herde M, Mitchell J, Whitfield J, Wulff A, Vongsouthi V, Sanchez-Romero I, Gulakova P, Minge D, Breithausen B, Schoch S, Janovjak HL, Jackson C, Henneberger C. 2018. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 14(9), 861–869.","mla":"Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical Biology, vol. 14, no. 9, Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2.","short":"W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I. Sanchez-Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak, C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869.","ieee":"W. Zhang et al., “Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS,” Nature Chemical Biology, vol. 14, no. 9. Nature Publishing Group, pp. 861–869, 2018.","apa":"Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V., … Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0108-2","ama":"Zhang W, Herde M, Mitchell J, et al. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 2018;14(9):861-869. doi:10.1038/s41589-018-0108-2"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"_id":"255BFFFA-B435-11E9-9278-68D0E5697425","grant_number":"RGY0084/2012","name":"In situ real-time imaging of neurotransmitter signaling using designer optical sensors (HFSP Young Investigator)"}],"page":"861 - 869","date_created":"2018-12-11T11:44:49Z","doi":"10.1038/s41589-018-0108-2","date_published":"2018-07-30T00:00:00Z","year":"2018","isi":1,"publication":"Nature Chemical Biology","day":"30","oa":1,"quality_controlled":"1","publisher":"Nature Publishing Group"},{"isi":1,"year":"2018","day":"27","publication":"Methods in Cell Biology","page":"79 - 91","date_published":"2018-07-27T00:00:00Z","doi":"10.1016/bs.mcb.2018.07.004","date_created":"2018-12-11T11:44:54Z","publisher":"Academic Press","quality_controlled":"1","citation":{"short":"J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods in Cell Biology, Academic Press, 2018, pp. 79–91.","ieee":"J. Renkawitz, A. Reversat, A. F. Leithner, J. Merrin, and M. K. Sixt, “Micro-engineered ‘pillar forests’ to study cell migration in complex but controlled 3D environments,” in Methods in Cell Biology, vol. 147, Academic Press, 2018, pp. 79–91.","ama":"Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. Vol 147. Academic Press; 2018:79-91. doi:10.1016/bs.mcb.2018.07.004","apa":"Renkawitz, J., Reversat, A., Leithner, A. F., Merrin, J., & Sixt, M. K. (2018). Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In Methods in Cell Biology (Vol. 147, pp. 79–91). Academic Press. https://doi.org/10.1016/bs.mcb.2018.07.004","mla":"Renkawitz, Jörg, et al. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.” Methods in Cell Biology, vol. 147, Academic Press, 2018, pp. 79–91, doi:10.1016/bs.mcb.2018.07.004.","ista":"Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. 2018.Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. vol. 147, 79–91.","chicago":"Renkawitz, Jörg, Anne Reversat, Alexander F Leithner, Jack Merrin, and Michael K Sixt. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.” In Methods in Cell Biology, 147:79–91. Academic Press, 2018. https://doi.org/10.1016/bs.mcb.2018.07.004."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"7768","author":[{"first_name":"Jörg","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","last_name":"Renkawitz","full_name":"Renkawitz, Jörg","orcid":"0000-0003-2856-3369"},{"id":"35B76592-F248-11E8-B48F-1D18A9856A87","first_name":"Anne","last_name":"Reversat","full_name":"Reversat, Anne","orcid":"0000-0003-0666-8928"},{"first_name":"Alexander F","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1073-744X","full_name":"Leithner, Alexander F","last_name":"Leithner"},{"orcid":"0000-0001-5145-4609","full_name":"Merrin, Jack","last_name":"Merrin","first_name":"Jack","id":"4515C308-F248-11E8-B48F-1D18A9856A87"},{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","last_name":"Sixt","orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K"}],"external_id":{"pmid":["30165964"],"isi":["000452412300006"]},"article_processing_charge":"No","title":"Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments","publication_identifier":{"issn":["0091679X"]},"publication_status":"published","language":[{"iso":"eng"}],"volume":147,"abstract":[{"lang":"eng","text":"Cells migrating in multicellular organisms steadily traverse complex three-dimensional (3D) environments. To decipher the underlying cell biology, current experimental setups either use simplified 2D, tissue-mimetic 3D (e.g., collagen matrices) or in vivo environments. While only in vivo experiments are truly physiological, they do not allow for precise manipulation of environmental parameters. 2D in vitro experiments do allow mechanical and chemical manipulations, but increasing evidence demonstrates substantial differences of migratory mechanisms in 2D and 3D. Here, we describe simple, robust, and versatile “pillar forests” to investigate cell migration in complex but fully controllable 3D environments. Pillar forests are polydimethylsiloxane-based setups, in which two closely adjacent surfaces are interconnected by arrays of micrometer-sized pillars. Changing the pillar shape, size, height and the inter-pillar distance precisely manipulates microenvironmental parameters (e.g., pore sizes, micro-geometry, micro-topology), while being easily combined with chemotactic cues, surface coatings, diverse cell types and advanced imaging techniques. Thus, pillar forests combine the advantages of 2D cell migration assays with the precise definition of 3D environmental parameters."}],"oa_version":"None","pmid":1,"scopus_import":"1","month":"07","intvolume":" 147","date_updated":"2023-09-13T08:56:35Z","department":[{"_id":"MiSi"},{"_id":"NanoFab"}],"_id":"153","type":"book_chapter","status":"public"},{"abstract":[{"text":"During epithelial tissue development, repair, and homeostasis, adherens junctions (AJs) ensure intercellular adhesion and tissue integrity while allowing for cell and tissue dynamics. Mechanical forces play critical roles in AJs’ composition and dynamics. Recent findings highlight that beyond a well-established role in reinforcing cell-cell adhesion, AJ mechanosensitivity promotes junctional remodeling and polarization, thereby regulating critical processes such as cell intercalation, division, and collective migration. Here, we provide an integrated view of mechanosensing mechanisms that regulate cell-cell contact composition, geometry, and integrity under tension and highlight pivotal roles for mechanosensitive AJ remodeling in preserving epithelial integrity and sustaining tissue dynamics.","lang":"eng"}],"oa_version":"Published Version","scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.1016/j.devcel.2018.09.014"}],"month":"10","intvolume":" 47","publication_status":"published","language":[{"iso":"eng"}],"issue":"1","volume":47,"_id":"54","type":"journal_article","article_type":"review","status":"public","date_updated":"2023-09-13T08:54:38Z","department":[{"_id":"CaHe"}],"acknowledgement":"Research in the Bellaïche laboratory is supported by the European Research Council (ERC Advanced, TiMoprh, 340784), the Fondation ARC pour la Recherche sur le Cancer (SL220130607097), the Agence Nationale de la Recherche (ANR lLabex DEEP; 11-LBX-0044, ANR-10-IDEX-0001-02), the Centre National de la Recherche Scientifique, the Institut National de la Santé et de la Recherche Médicale, and Institut Curie and PSL Research University funding or grants.","publisher":"Cell Press","quality_controlled":"1","isi":1,"year":"2018","day":"08","publication":"Developmental Cell","page":"3 - 19","doi":"10.1016/j.devcel.2018.09.014","date_published":"2018-10-08T00:00:00Z","date_created":"2018-12-11T11:44:23Z","citation":{"mla":"Nunes Pinheiro, Diana C., and Yohanns Bellaïche. “Mechanical Force-Driven Adherents Junction Remodeling and Epithelial Dynamics.” Developmental Cell, vol. 47, no. 1, Cell Press, 2018, pp. 3–19, doi:10.1016/j.devcel.2018.09.014.","ama":"Nunes Pinheiro DC, Bellaïche Y. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 2018;47(1):3-19. doi:10.1016/j.devcel.2018.09.014","apa":"Nunes Pinheiro, D. C., & Bellaïche, Y. (2018). Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2018.09.014","short":"D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.","ieee":"D. C. Nunes Pinheiro and Y. Bellaïche, “Mechanical force-driven adherents junction remodeling and epithelial dynamics,” Developmental Cell, vol. 47, no. 1. Cell Press, pp. 3–19, 2018.","chicago":"Nunes Pinheiro, Diana C, and Yohanns Bellaïche. “Mechanical Force-Driven Adherents Junction Remodeling and Epithelial Dynamics.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.09.014.","ista":"Nunes Pinheiro DC, Bellaïche Y. 2018. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 47(1), 3–19."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"id":"2E839F16-F248-11E8-B48F-1D18A9856A87","first_name":"Diana C","last_name":"Nunes Pinheiro","orcid":"0000-0003-4333-7503","full_name":"Nunes Pinheiro, Diana C"},{"last_name":"Bellaïche","full_name":"Bellaïche, Yohanns","first_name":"Yohanns"}],"publist_id":"8000","article_processing_charge":"No","external_id":{"isi":["000446579900002"]},"title":"Mechanical force-driven adherents junction remodeling and epithelial dynamics"},{"department":[{"_id":"MiSi"}],"file_date_updated":"2020-07-14T12:45:45Z","date_updated":"2023-09-13T09:00:15Z","ddc":["570"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","article_type":"original","status":"public","_id":"276","issue":"6","volume":13,"publication_status":"published","language":[{"iso":"eng"}],"file":[{"file_name":"2018_Plos_Frick.pdf","date_created":"2018-12-17T14:10:32Z","creator":"dernst","file_size":7682167,"date_updated":"2020-07-14T12:45:45Z","checksum":"95fc5dc3938b3ad3b7697d10c83cc143","file_id":"5709","relation":"main_file","access_level":"open_access","content_type":"application/pdf"}],"scopus_import":"1","intvolume":" 13","month":"06","abstract":[{"text":"Directed migration of cells relies on their ability to sense directional guidance cues and to interact with pericellular structures in order to transduce contractile cytoskeletal- into mechanical forces. These biomechanical processes depend highly on microenvironmental factors such as exposure to 2D surfaces or 3D matrices. In vivo, the majority of cells are exposed to 3D environments. Data on 3D cell migration are mostly derived from intravital microscopy or collagen-based in vitro assays. Both approaches offer only limited controlla-bility of experimental conditions. Here, we developed an automated microfluidic system that allows positioning of cells in 3D microenvironments containing highly controlled diffusion-based chemokine gradients. Tracking migration in such gradients was feasible in real time at the single cell level. Moreover, the setup allowed on-chip immunocytochemistry and thus linking of functional with phenotypical properties in individual cells. Spatially defined retrieval of cells from the device allows down-stream off-chip analysis. Using dendritic cells as a model, our setup specifically allowed us for the first time to quantitate key migration characteristics of cells exposed to identical gradients of the chemokine CCL19 yet placed on 2D vs in 3D environments. Migration properties between 2D and 3D migration were distinct. Morphological features of cells migrating in an in vitro 3D environment were similar to those of cells migrating in animal tissues, but different from cells migrating on a surface. Our system thus offers a highly controllable in vitro-mimic of a 3D environment that cells traffic in vivo.","lang":"eng"}],"oa_version":"Published Version","external_id":{"isi":["000434384900031"]},"article_processing_charge":"No","publist_id":"7626","author":[{"first_name":"Corina","last_name":"Frick","full_name":"Frick, Corina"},{"full_name":"Dettinger, Philip","last_name":"Dettinger","first_name":"Philip"},{"orcid":"0000-0003-2856-3369","full_name":"Renkawitz, Jörg","last_name":"Renkawitz","first_name":"Jörg","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Jauch","full_name":"Jauch, Annaïse","first_name":"Annaïse"},{"first_name":"Christoph","last_name":"Berger","full_name":"Berger, Christoph"},{"first_name":"Mike","last_name":"Recher","full_name":"Recher, Mike"},{"first_name":"Timm","full_name":"Schroeder, Timm","last_name":"Schroeder"},{"last_name":"Mehling","full_name":"Mehling, Matthias","first_name":"Matthias"}],"title":"Nano-scale microfluidics to study 3D chemotaxis at the single cell level","citation":{"ieee":"C. Frick et al., “Nano-scale microfluidics to study 3D chemotaxis at the single cell level,” PLoS One, vol. 13, no. 6. Public Library of Science, 2018.","short":"C. Frick, P. Dettinger, J. Renkawitz, A. Jauch, C. Berger, M. Recher, T. Schroeder, M. Mehling, PLoS One 13 (2018).","apa":"Frick, C., Dettinger, P., Renkawitz, J., Jauch, A., Berger, C., Recher, M., … Mehling, M. (2018). Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0198330","ama":"Frick C, Dettinger P, Renkawitz J, et al. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 2018;13(6). doi:10.1371/journal.pone.0198330","mla":"Frick, Corina, et al. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the Single Cell Level.” PLoS One, vol. 13, no. 6, e0198330, Public Library of Science, 2018, doi:10.1371/journal.pone.0198330.","ista":"Frick C, Dettinger P, Renkawitz J, Jauch A, Berger C, Recher M, Schroeder T, Mehling M. 2018. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 13(6), e0198330.","chicago":"Frick, Corina, Philip Dettinger, Jörg Renkawitz, Annaïse Jauch, Christoph Berger, Mike Recher, Timm Schroeder, and Matthias Mehling. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the Single Cell Level.” PLoS One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0198330."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_number":"e0198330","date_created":"2018-12-11T11:45:34Z","doi":"10.1371/journal.pone.0198330","date_published":"2018-06-07T00:00:00Z","year":"2018","has_accepted_license":"1","isi":1,"publication":"PLoS One","day":"07","oa":1,"quality_controlled":"1","publisher":"Public Library of Science","acknowledgement":"This work was supported by the Swiss National Science Foundation (MD-PhD fellowships, 323530_164221 to C.F.; and 323630_151483 to A.J.; grant PZ00P3_144863 to M.R, grant 31003A_156431 to T.S.; PZ00P3_148000 to C.T.B.; PZ00P3_154733 to M.M.), a Novartis “FreeNovation” grant to M.M. and T.S. and an EMBO long-term fellowship (ALTF 1396-2014) co-funded by the European Commission (LTFCOFUND2013, GA-2013-609409) to J.R.. M.R. was supported by the Gebert Rüf Foundation (GRS 058/14). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript."},{"publist_id":"7616","author":[{"first_name":"Rosa Maria","last_name":"Ceinos","full_name":"Ceinos, Rosa Maria"},{"last_name":"Frigato","full_name":"Frigato, Elena","first_name":"Elena"},{"last_name":"Pagano","full_name":"Pagano, Cristina","first_name":"Cristina"},{"last_name":"Frohlich","full_name":"Frohlich, Nadine","first_name":"Nadine"},{"first_name":"Pietro","full_name":"Negrini, Pietro","last_name":"Negrini"},{"last_name":"Cavallari","full_name":"Cavallari, Nicola","first_name":"Nicola","id":"457160E6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Daniela","full_name":"Vallone, Daniela","last_name":"Vallone"},{"last_name":"Fuselli","full_name":"Fuselli, Silvia","first_name":"Silvia"},{"last_name":"Bertolucci","full_name":"Bertolucci, Cristiano","first_name":"Cristiano"},{"first_name":"Nicholas S","last_name":"Foulkes","full_name":"Foulkes, Nicholas S"}],"article_processing_charge":"No","external_id":{"isi":["000434640800008"]},"title":"Mutations in blind cavefish target the light regulated circadian clock gene period 2","citation":{"chicago":"Ceinos, Rosa Maria, Elena Frigato, Cristina Pagano, Nadine Frohlich, Pietro Negrini, Nicola Cavallari, Daniela Vallone, Silvia Fuselli, Cristiano Bertolucci, and Nicholas S Foulkes. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-27080-2.","ista":"Ceinos RM, Frigato E, Pagano C, Frohlich N, Negrini P, Cavallari N, Vallone D, Fuselli S, Bertolucci C, Foulkes NS. 2018. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 8(1), 8754.","mla":"Ceinos, Rosa Maria, et al. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.” Scientific Reports, vol. 8, no. 1, 8754, Nature Publishing Group, 2018, doi:10.1038/s41598-018-27080-2.","ama":"Ceinos RM, Frigato E, Pagano C, et al. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-27080-2","apa":"Ceinos, R. M., Frigato, E., Pagano, C., Frohlich, N., Negrini, P., Cavallari, N., … Foulkes, N. S. (2018). Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-27080-2","short":"R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari, D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018).","ieee":"R. M. Ceinos et al., “Mutations in blind cavefish target the light regulated circadian clock gene period 2,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_number":"8754","doi":"10.1038/s41598-018-27080-2","date_published":"2018-06-08T00:00:00Z","date_created":"2018-12-11T11:45:36Z","has_accepted_license":"1","isi":1,"year":"2018","day":"08","publication":"Scientific Reports","publisher":"Nature Publishing Group","quality_controlled":"1","oa":1,"file_date_updated":"2020-07-14T12:45:49Z","department":[{"_id":"EvBe"}],"date_updated":"2023-09-13T08:59:27Z","ddc":["570"],"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","_id":"283","volume":8,"issue":"1","publication_status":"published","file":[{"file_id":"5707","checksum":"9c3942d772f84f3df032ffde0ed9a8ea","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"2018_ScientificReports_Ceinos.pdf","date_created":"2018-12-17T13:04:46Z","file_size":1855324,"date_updated":"2020-07-14T12:45:49Z","creator":"dernst"}],"language":[{"iso":"eng"}],"scopus_import":"1","month":"06","intvolume":" 8","abstract":[{"lang":"eng","text":"Light represents the principal signal driving circadian clock entrainment. However, how light influences the evolution of the clock remains poorly understood. The cavefish Phreatichthys andruzzii represents a fascinating model to explore how evolution under extreme aphotic conditions shapes the circadian clock, since in this species the clock is unresponsive to light. We have previously demonstrated that loss-of-function mutations targeting non-visual opsins contribute in part to this blind clock phenotype. Here, we have compared orthologs of two core clock genes that play a key role in photic entrainment, cry1a and per2, in both zebrafish and P. andruzzii. We encountered aberrantly spliced variants for the P. andruzzii per2 transcript. The most abundant transcript encodes a truncated protein lacking the C-terminal Cry binding domain and incorporating an intronic, transposon-derived coding sequence. We demonstrate that the transposon insertion leads to a predominantly cytoplasmic localization of the cavefish Per2 protein in contrast to the zebrafish ortholog which is distributed in both the nucleus and cytoplasm. Thus, it seems that during evolution in complete darkness, the photic entrainment pathway of the circadian clock has been subject to mutation at multiple levels, extending from opsin photoreceptors to nuclear effectors."}],"oa_version":"Published Version"},{"_id":"81","status":"public","conference":{"end_date":"2018-09-06","location":"Beijing, China","start_date":"2018-09-04","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"type":"conference","ddc":["000"],"date_updated":"2023-09-13T08:58:34Z","file_date_updated":"2020-10-09T06:24:21Z","department":[{"_id":"ToHe"}],"oa_version":"Submitted Version","abstract":[{"lang":"eng","text":"We solve the offline monitoring problem for timed propositional temporal logic (TPTL), interpreted over dense-time Boolean signals. The variant of TPTL we consider extends linear temporal logic (LTL) with clock variables and reset quantifiers, providing a mechanism to specify real-time constraints. We first describe a general monitoring algorithm based on an exhaustive computation of the set of satisfying clock assignments as a finite union of zones. We then propose a specialized monitoring algorithm for the one-variable case using a partition of the time domain based on the notion of region equivalence, whose complexity is linear in the length of the signal, thereby generalizing a known result regarding the monitoring of metric temporal logic (MTL). The region and zone representations of time constraints are known from timed automata verification and can also be used in the discrete-time case. Our prototype implementation appears to outperform previous discrete-time implementations of TPTL monitoring,"}],"intvolume":" 11022","month":"08","scopus_import":"1","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"file":[{"date_created":"2020-10-09T06:24:21Z","file_name":"2018_LNCS_Elgyuett.pdf","date_updated":"2020-10-09T06:24:21Z","file_size":537219,"creator":"dernst","file_id":"8638","checksum":"e5d81c9b50a6bd9d8a2c16953aad7e23","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"publication_status":"published","volume":11022,"project":[{"call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23"},{"name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal Logic with Clock Variables,” 11022:53–70. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_4.","ista":"Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 53–70.","mla":"Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.","short":"A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.","ieee":"A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.","apa":"Elgyütt, A., Ferrere, T., & Henzinger, T. A. (2018). Monitoring temporal logic with clock variables (Vol. 11022, pp. 53–70). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_4","ama":"Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4"},"title":"Monitoring temporal logic with clock variables","article_processing_charge":"No","external_id":{"isi":["000884993200004"]},"author":[{"last_name":"Elgyütt","full_name":"Elgyütt, Adrian","id":"4A2E9DBA-F248-11E8-B48F-1D18A9856A87","first_name":"Adrian"},{"orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","last_name":"Ferrere","first_name":"Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"}],"publist_id":"7973","oa":1,"publisher":"Springer","quality_controlled":"1","day":"26","year":"2018","isi":1,"has_accepted_license":"1","date_created":"2018-12-11T11:44:31Z","date_published":"2018-08-26T00:00:00Z","doi":"10.1007/978-3-030-00151-3_4","page":"53 - 70"},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-018-0342-6.","ista":"Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing squads. Distributed Computing.","mla":"Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.","ama":"Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6","apa":"Lenzen, C., & Rybicki, J. (2018). Near-optimal self-stabilising counting and firing squads. Distributed Computing. Springer. https://doi.org/10.1007/s00446-018-0342-6","short":"C. Lenzen, J. Rybicki, Distributed Computing (2018).","ieee":"C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018."},"title":"Near-optimal self-stabilising counting and firing squads","author":[{"first_name":"Christoph","full_name":"Lenzen, Christoph","last_name":"Lenzen"},{"orcid":"0000-0002-6432-6646","full_name":"Rybicki, Joel","last_name":"Rybicki","first_name":"Joel","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"7978","external_id":{"isi":["000475627800005"]},"article_processing_charge":"Yes (via OA deal)","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"day":"12","publication":"Distributed Computing","isi":1,"has_accepted_license":"1","year":"2018","date_published":"2018-09-12T00:00:00Z","doi":"10.1007/s00446-018-0342-6","date_created":"2018-12-11T11:44:30Z","quality_controlled":"1","publisher":"Springer","oa":1,"ddc":["000"],"date_updated":"2023-09-13T09:01:06Z","file_date_updated":"2020-07-14T12:48:01Z","department":[{"_id":"DaAl"}],"_id":"76","status":"public","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","checksum":"872db70bba9b401500abe3c6ae2f1a61","file_id":"5711","creator":"dernst","file_size":799337,"date_updated":"2020-07-14T12:48:01Z","file_name":"2018_DistributedComputing_Lenzen.pdf","date_created":"2018-12-17T14:21:22Z"}],"language":[{"iso":"eng"}],"publication_status":"published","oa_version":"Published Version","abstract":[{"text":"Consider a fully-connected synchronous distributed system consisting of n nodes, where up to f nodes may be faulty and every node starts in an arbitrary initial state. In the synchronous C-counting problem, all nodes need to eventually agree on a counter that is increased by one modulo C in each round for given C>1. In the self-stabilising firing squad problem, the task is to eventually guarantee that all non-faulty nodes have simultaneous responses to external inputs: if a subset of the correct nodes receive an external “go” signal as input, then all correct nodes should agree on a round (in the not-too-distant future) in which to jointly output a “fire” signal. Moreover, no node should generate a “fire” signal without some correct node having previously received a “go” signal as input. We present a framework reducing both tasks to binary consensus at very small cost. For example, we obtain a deterministic algorithm for self-stabilising Byzantine firing squads with optimal resilience f<n/3, asymptotically optimal stabilisation and response time O(f), and message size O(log f). As our framework does not restrict the type of consensus routines used, we also obtain efficient randomised solutions.","lang":"eng"}],"month":"09","scopus_import":"1"}]