[{"publist_id":"7738","year":"2018","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.","department":[{"_id":"ToHe"}],"publisher":"Association for Computing Machinery, Inc","publication_status":"published","author":[{"full_name":"Bartocci, Ezio","last_name":"Bartocci","first_name":"Ezio"},{"full_name":"Ferrere, Thomas","last_name":"Ferrere","first_name":"Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Niveditha","last_name":"Manjunath","full_name":"Manjunath, Niveditha"},{"first_name":"Dejan","last_name":"Nickovic","full_name":"Nickovic, Dejan"}],"date_updated":"2023-09-13T08:48:46Z","date_created":"2018-12-11T11:45:04Z","month":"04","external_id":{"isi":["000474781600022"]},"project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"quality_controlled":"1","isi":1,"doi":"10.1145/3178126.3178131","conference":{"end_date":"2018-04-13","start_date":"2018-04-11","location":"Porto, Portugal","name":"HSCC: Hybrid Systems: Computation and Control"},"language":[{"iso":"eng"}],"type":"conference","alternative_title":["HSCC Proceedings"],"abstract":[{"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.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"183","title":"Localizing faults in simulink/stateflow models with STL","status":"public","oa_version":"None","scopus_import":"1","article_processing_charge":"No","day":"11","citation":{"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.","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","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.","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","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.","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.","short":"E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206."},"page":"197 - 206","date_published":"2018-04-11T00:00:00Z"},{"scopus_import":"1","article_processing_charge":"No","day":"03","citation":{"ista":"Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203.","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.","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","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","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.","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.","short":"J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203."},"publication":"Annals Applied Probability ","page":"148-203","article_type":"original","date_published":"2018-03-03T00:00:00Z","type":"journal_article","issue":"1","abstract":[{"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","lang":"eng"}],"_id":"566","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 28","title":"Local inhomogeneous circular law","status":"public","oa_version":"Preprint","month":"03","external_id":{"isi":["000431721800005"],"arxiv":["1612.07776 "]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.07776 "}],"project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems"}],"quality_controlled":"1","isi":1,"doi":"10.1214/17-AAP1302","language":[{"iso":"eng"}],"ec_funded":1,"year":"2018","publisher":"Institute of Mathematical Statistics","department":[{"_id":"LaEr"}],"publication_status":"published","related_material":{"record":[{"id":"149","status":"public","relation":"dissertation_contains"}]},"author":[{"full_name":"Alt, Johannes","id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes","last_name":"Alt"},{"last_name":"Erdös","first_name":"László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László"},{"first_name":"Torben H","last_name":"Krüger","id":"3020C786-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4821-3297","full_name":"Krüger, Torben H"}],"volume":28,"date_created":"2018-12-11T11:47:13Z","date_updated":"2023-09-13T08:47:52Z"},{"month":"09","language":[{"iso":"eng"}],"doi":"10.1007/s00283-018-9795-5","isi":1,"quality_controlled":"1","oa":1,"external_id":{"arxiv":["1702.05172"],"isi":["000444141200005"]},"main_file_link":[{"url":"https://arxiv.org/abs/1702.05172","open_access":"1"}],"publist_id":"7948","volume":40,"date_created":"2018-12-11T11:44:40Z","date_updated":"2023-09-13T08:49:16Z","author":[{"full_name":"Akopyan, Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2548-617X","first_name":"Arseniy","last_name":"Akopyan"},{"first_name":"Anton","last_name":"Petrunin","full_name":"Petrunin, Anton"}],"publisher":"Springer","department":[{"_id":"HeEd"}],"publication_status":"published","year":"2018","article_processing_charge":"No","day":"01","scopus_import":"1","date_published":"2018-09-01T00:00:00Z","page":"26 - 31","citation":{"ama":"Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):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","ieee":"A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018.","ista":"Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31.","short":"A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.","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.","chicago":"Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer. Springer, 2018. https://doi.org/10.1007/s00283-018-9795-5."},"publication":"Mathematical Intelligencer","issue":"3","abstract":[{"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.","lang":"eng"}],"type":"journal_article","oa_version":"Preprint","intvolume":" 40","status":"public","title":"Long geodesics on convex surfaces","_id":"106","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"date_updated":"2023-09-13T08:45:41Z","date_created":"2021-08-06T12:43:44Z","oa_version":"Published Version","author":[{"last_name":"Chaudhry","first_name":"Waqas","full_name":"Chaudhry, Waqas"},{"orcid":"0000-0001-7460-7479","id":"4569785E-F248-11E8-B48F-1D18A9856A87","last_name":"Pleska","first_name":"Maros","full_name":"Pleska, Maros"},{"first_name":"Nilang","last_name":"Shah","full_name":"Shah, Nilang"},{"full_name":"Weiss, Howard","last_name":"Weiss","first_name":"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","first_name":"Calin C","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6220-2052"},{"last_name":"Levin","first_name":"Bruce","full_name":"Levin, Bruce"}],"related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"82"}]},"status":"public","title":"Numerical data used in figures","publisher":"Public Library of Science","department":[{"_id":"CaGu"}],"year":"2018","_id":"9810","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","type":"research_data_reference","date_published":"2018-08-16T00:00:00Z","doi":"10.1371/journal.pbio.2005971.s008","citation":{"ieee":"W. Chaudhry et al., “Numerical data used in figures.” Public Library of Science, 2018.","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","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.","ama":"Chaudhry W, Pleska M, Shah N, et al. Numerical data used in figures. 2018. doi:10.1371/journal.pbio.2005971.s008","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.","short":"W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).","mla":"Chaudhry, Waqas, et al. Numerical Data Used in Figures. Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971.s008."},"day":"16","month":"08","article_processing_charge":"No"},{"month":"04","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"pmid":["29650776"],"isi":["000438077800026"]},"oa":1,"project":[{"call_identifier":"FWF","name":"Cytoskeletal force generation and transduction of leukocytes (FWF)","grant_number":"Y 564-B12","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425"},{"_id":"25A603A2-B435-11E9-9278-68D0E5697425","grant_number":"281556","call_identifier":"FP7","name":"Cytoskeletal force generation and force transduction of migrating leukocytes (EU)"}],"isi":1,"quality_controlled":"1","doi":"10.1083/jcb.201612051","language":[{"iso":"eng"}],"publist_id":"7627","ec_funded":1,"file_date_updated":"2020-07-14T12:45:45Z","pmid":1,"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).","year":"2018","department":[{"_id":"MiSi"},{"_id":"Bio"}],"publisher":"Rockefeller University Press","publication_status":"published","author":[{"full_name":"Brown, Markus","last_name":"Brown","first_name":"Markus","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Louise","last_name":"Johnson","full_name":"Johnson, Louise"},{"first_name":"Dario","last_name":"Leone","full_name":"Leone, Dario"},{"full_name":"Májek, Peter","last_name":"Májek","first_name":"Peter"},{"full_name":"Vaahtomeri, Kari","last_name":"Vaahtomeri","first_name":"Kari","orcid":"0000-0001-7829-3518","id":"368EE576-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Senfter, Daniel","first_name":"Daniel","last_name":"Senfter"},{"full_name":"Bukosza, Nora","last_name":"Bukosza","first_name":"Nora"},{"last_name":"Schachner","first_name":"Helga","full_name":"Schachner, Helga"},{"last_name":"Asfour","first_name":"Gabriele","full_name":"Asfour, Gabriele"},{"last_name":"Langer","first_name":"Brigitte","full_name":"Langer, Brigitte"},{"id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9843-3522","first_name":"Robert","last_name":"Hauschild","full_name":"Hauschild, Robert"},{"first_name":"Katja","last_name":"Parapatics","full_name":"Parapatics, Katja"},{"full_name":"Hong, Young","last_name":"Hong","first_name":"Young"},{"full_name":"Bennett, Keiryn","first_name":"Keiryn","last_name":"Bennett"},{"last_name":"Kain","first_name":"Renate","full_name":"Kain, Renate"},{"full_name":"Detmar, Michael","first_name":"Michael","last_name":"Detmar"},{"full_name":"Sixt, Michael K","last_name":"Sixt","first_name":"Michael K","orcid":"0000-0002-6620-9179","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jackson, David","first_name":"David","last_name":"Jackson"},{"first_name":"Dontscho","last_name":"Kerjaschki","full_name":"Kerjaschki, Dontscho"}],"volume":217,"date_updated":"2023-09-13T08:51:29Z","date_created":"2018-12-11T11:45:33Z","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","day":"12","citation":{"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","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.","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","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.","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.","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."},"publication":"Journal of Cell Biology","page":"2205 - 2221","date_published":"2018-04-12T00:00:00Z","type":"journal_article","issue":"6","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."}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"275","intvolume":" 217","status":"public","ddc":["570"],"title":"Lymphatic exosomes promote dendritic cell migration along guidance cues","file":[{"access_level":"open_access","file_name":"2018_JournalCellBiology_Brown.pdf","file_size":2252043,"content_type":"application/pdf","creator":"dernst","relation":"main_file","file_id":"5704","checksum":"9c7eba51a35c62da8c13f98120b64df4","date_updated":"2020-07-14T12:45:45Z","date_created":"2018-12-17T12:50:07Z"}],"oa_version":"Published Version"},{"type":"journal_article","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"}],"issue":"8","status":"public","title":"Maternal auxin supply contributes to early embryo patterning in Arabidopsis","intvolume":" 4","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"158","oa_version":"Submitted Version","scopus_import":"1","day":"16","article_processing_charge":"No","page":"548 - 553","publication":"Nature Plants","citation":{"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","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","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.","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.","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.","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.","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."},"date_published":"2018-07-16T00:00:00Z","ec_funded":1,"publist_id":"7763","publication_status":"published","publisher":"Nature Publishing Group","department":[{"_id":"JiFr"}],"acknowledgement":"This work was further supported by the Czech Science Foundation GACR (GA13-40637S) to J.F.;","year":"2018","pmid":1,"date_updated":"2023-09-13T08:53:28Z","date_created":"2018-12-11T11:44:56Z","volume":4,"author":[{"full_name":"Robert, Hélène","last_name":"Robert","first_name":"Hélène"},{"first_name":"Chulmin","last_name":"Park","full_name":"Park, Chulmin"},{"last_name":"Gutièrrez","first_name":"Carla","full_name":"Gutièrrez, Carla"},{"full_name":"Wójcikowska, Barbara","last_name":"Wójcikowska","first_name":"Barbara"},{"full_name":"Pěnčík, Aleš","first_name":"Aleš","last_name":"Pěnčík"},{"full_name":"Novák, Ondřej","last_name":"Novák","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"},{"full_name":"Friml, Jirí","last_name":"Friml","first_name":"Jirí","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Laux","first_name":"Thomas","full_name":"Laux, Thomas"}],"related_material":{"link":[{"url":"https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/","description":"News on IST Homepage","relation":"press_release"}]},"month":"07","quality_controlled":"1","isi":1,"project":[{"name":"Polarity and subcellular dynamics in plants","call_identifier":"FP7","grant_number":"282300","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000443861300011"],"pmid":["30013211"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/30013211"}],"language":[{"iso":"eng"}],"doi":"10.1038/s41477-018-0204-z"},{"publication_status":"published","publisher":"Elsevier","department":[{"_id":"LeSa"}],"year":"2018","date_created":"2018-12-11T11:44:54Z","date_updated":"2023-09-13T08:51:56Z","volume":28,"author":[{"full_name":"Fiedorczuk, Karol","id":"5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0","last_name":"Fiedorczuk","first_name":"Karol"},{"full_name":"Sazanov, Leonid A","last_name":"Sazanov","first_name":"Leonid A","orcid":"0000-0002-0977-7989","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file_date_updated":"2020-07-14T12:45:00Z","publist_id":"7769","isi":1,"quality_controlled":"1","tmp":{"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","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png"},"external_id":{"isi":["000445118200007"]},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1016/j.tcb.2018.06.006","month":"07","ddc":["572"],"title":"Mammalian mitochondrial complex I structure and disease causing mutations","status":"public","intvolume":" 28","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"152","oa_version":"Submitted Version","file":[{"date_created":"2019-11-07T12:55:20Z","date_updated":"2020-07-14T12:45:00Z","checksum":"ef6d2b4e1fd63948539639242610bfa6","relation":"main_file","file_id":"6994","content_type":"application/pdf","file_size":2185385,"creator":"lsazanov","file_name":"SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf","access_level":"open_access"}],"type":"journal_article","abstract":[{"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.","lang":"eng"}],"issue":"10","article_type":"original","page":"835 - 867","publication":"Trends in Cell Biology","citation":{"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","ista":"Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 28(10), 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","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.","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."},"date_published":"2018-07-26T00:00:00Z","scopus_import":"1","day":"26","has_accepted_license":"1","article_processing_charge":"No"},{"date_published":"2018-01-01T00:00:00Z","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","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.","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","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.","short":"K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 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."},"page":"2341 - 2356","day":"01","article_processing_charge":"No","scopus_import":"1","oa_version":"Preprint","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"310","status":"public","title":"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter","abstract":[{"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.","lang":"eng"}],"type":"conference","conference":{"start_date":"2018-01-07","location":"New Orleans, Louisiana, United States","end_date":"2018-01-10","name":"SODA: Symposium on Discrete Algorithms"},"doi":"10.1137/1.9781611975031.151","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/1711.09148","open_access":"1"}],"external_id":{"arxiv":["1711.09148"],"isi":["000483921200152"]},"oa":1,"isi":1,"quality_controlled":"1","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425"}],"month":"01","author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Dvorák, Wolfgang","first_name":"Wolfgang","last_name":"Dvorák"},{"full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","first_name":"Monika H","last_name":"Henzinger"},{"full_name":"Loitzenbauer, Veronika","first_name":"Veronika","last_name":"Loitzenbauer"}],"date_updated":"2023-09-13T08:50:16Z","date_created":"2018-12-11T11:45:45Z","year":"2018","publication_status":"published","publisher":"ACM","department":[{"_id":"KrCh"}],"ec_funded":1,"publist_id":"7555"},{"year":"2018","publisher":"American Physical Society","department":[{"_id":"JoFi"}],"publication_status":"published","related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/interference-as-a-new-method-for-cooling-quantum-devices/"}]},"author":[{"full_name":"Barzanjeh, Shabir","first_name":"Shabir","last_name":"Barzanjeh","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0415-1423"},{"first_name":"Matteo","last_name":"Aquilina","full_name":"Aquilina, Matteo"},{"full_name":"Xuereb, André","first_name":"André","last_name":"Xuereb"}],"volume":120,"date_created":"2018-12-11T11:46:28Z","date_updated":"2023-09-13T08:52:27Z","article_number":"060601 ","ec_funded":1,"publist_id":"7387","external_id":{"isi":["000424382100004"],"arxiv":["1706.09051"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1706.09051"}],"oa":1,"project":[{"grant_number":"732894","_id":"257EB838-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Hybrid Optomechanical Technologies"},{"name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","call_identifier":"H2020","grant_number":"707438","_id":"258047B6-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"doi":"10.1103/PhysRevLett.120.060601","language":[{"iso":"eng"}],"month":"02","_id":"436","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 120","title":"Manipulating the flow of thermal noise in quantum devices","status":"public","oa_version":"Preprint","type":"journal_article","issue":"6","abstract":[{"lang":"eng","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."}],"citation":{"ista":"Barzanjeh S, Aquilina M, Xuereb A. 2018. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 120(6), 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","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.","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","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.","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.","short":"S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018)."},"publication":"Physical Review Letters","date_published":"2018-02-07T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"07"},{"oa_version":"Published Version","file":[{"checksum":"56eb4308a15b7190bff938fab1f780e8","date_created":"2019-02-05T14:46:44Z","date_updated":"2020-07-14T12:47:13Z","relation":"main_file","file_id":"5925","file_size":1464288,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2018_Interface_Hross.pdf"}],"_id":"5858","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 15","ddc":["570"],"title":"Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data","status":"public","issue":"149","abstract":[{"lang":"eng","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."}],"type":"journal_article","date_published":"2018-12-05T00:00:00Z","citation":{"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.","short":"S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).","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.","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","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.","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","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."},"publication":"Journal of the Royal Society Interface","has_accepted_license":"1","article_processing_charge":"No","day":"05","scopus_import":"1","author":[{"full_name":"Hross, Sabrina","last_name":"Hross","first_name":"Sabrina"},{"last_name":"Theis","first_name":"Fabian J.","full_name":"Theis, Fabian J."},{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","first_name":"Michael K","last_name":"Sixt","full_name":"Sixt, Michael K"},{"first_name":"Jan","last_name":"Hasenauer","full_name":"Hasenauer, Jan"}],"volume":15,"date_updated":"2023-09-13T08:55:05Z","date_created":"2019-01-20T22:59:18Z","year":"2018","publisher":"Royal Society Publishing","department":[{"_id":"MiSi"}],"publication_status":"published","file_date_updated":"2020-07-14T12:47:13Z","article_number":"20180600","doi":"10.1098/rsif.2018.0600","language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000456783800011"]},"isi":1,"quality_controlled":"1","publication_identifier":{"issn":["17425689"]},"month":"12"},{"date_published":"2018-10-16T00:00:00Z","article_type":"original","citation":{"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","ista":"Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 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.","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.","short":"A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).","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."},"publication":"Physical Review Fluids","article_processing_charge":"No","has_accepted_license":"1","day":"16","scopus_import":"1","file":[{"file_id":"5043","relation":"main_file","checksum":"7fc0a2322214d1c04debef36d5bf2e8a","date_created":"2018-12-12T10:13:56Z","date_updated":"2020-07-14T12:45:04Z","access_level":"open_access","file_name":"IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf","creator":"system","file_size":1838431,"content_type":"application/pdf"}],"oa_version":"Submitted Version","pubrep_id":"1062","intvolume":" 3","status":"public","title":"Mixing layer instability and vorticity amplification in a creeping viscoelastic flow","ddc":["532"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"16","issue":"10","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."}],"type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1103/PhysRevFluids.3.103303","project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020"}],"isi":1,"quality_controlled":"1","oa":1,"external_id":{"isi":["000447469200001"]},"month":"10","volume":3,"date_created":"2018-12-11T11:44:10Z","date_updated":"2023-09-13T08:57:05Z","author":[{"full_name":"Varshney, Atul","first_name":"Atul","last_name":"Varshney","id":"2A2006B2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3072-5999"},{"last_name":"Steinberg","first_name":"Victor","full_name":"Steinberg, Victor"}],"department":[{"_id":"BjHo"}],"publisher":"American Physical Society","publication_status":"published","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).","year":"2018","publist_id":"8039","ec_funded":1,"file_date_updated":"2020-07-14T12:45:04Z","article_number":"103303"},{"month":"10","oa":1,"external_id":{"isi":["000447491300057"]},"project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"doi":"10.1073/pnas.1721061115","language":[{"iso":"eng"}],"ec_funded":1,"publist_id":"8011","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.","year":"2018","department":[{"_id":"DaAl"}],"publisher":"National Academy of Sciences","publication_status":"published","author":[{"full_name":"Rybicki, Joel","first_name":"Joel","last_name":"Rybicki","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6432-6646"},{"last_name":"Kisdi","first_name":"Eva","full_name":"Kisdi, Eva"},{"last_name":"Anttila","first_name":"Jani","full_name":"Anttila, Jani"}],"volume":115,"date_created":"2018-12-11T11:44:19Z","date_updated":"2023-09-13T08:57:38Z","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","day":"02","citation":{"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.","short":"J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.","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.","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.","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","ista":"Rybicki J, Kisdi E, Anttila J. 2018. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 115(42), 10690–10695.","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"},"publication":"PNAS","page":"10690 - 10695","date_published":"2018-10-02T00:00:00Z","type":"journal_article","issue":"42","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"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"43","intvolume":" 115","status":"public","ddc":["570","577"],"title":"Model of bacterial toxin-dependent pathogenesis explains infective dose","pubrep_id":"1063","file":[{"checksum":"df7ac544a587c06b75692653b9fabd18","date_updated":"2020-07-14T12:46:26Z","date_created":"2019-04-09T08:02:50Z","file_id":"6258","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":4070777,"access_level":"open_access","file_name":"2018_PNAS_Rybicki.pdf"}],"oa_version":"Submitted Version"},{"related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/metamolds-molding-a-mold/"}]},"author":[{"first_name":"Thomas","last_name":"Alderighi","full_name":"Alderighi, Thomas"},{"last_name":"Malomo","first_name":"Luigi","full_name":"Malomo, Luigi"},{"last_name":"Giorgi","first_name":"Daniela","full_name":"Giorgi, Daniela"},{"first_name":"Nico","last_name":"Pietroni","full_name":"Pietroni, Nico"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6511-9385","first_name":"Bernd","last_name":"Bickel","full_name":"Bickel, Bernd"},{"full_name":"Cignoni, Paolo","first_name":"Paolo","last_name":"Cignoni"}],"volume":37,"date_created":"2018-12-11T11:44:09Z","date_updated":"2023-09-13T08:56:07Z","year":"2018","publisher":"ACM","department":[{"_id":"BeBi"}],"publication_status":"published","ec_funded":1,"publist_id":"8043","file_date_updated":"2020-07-14T12:44:43Z","article_number":"136","doi":"10.1145/3197517.3201381","language":[{"iso":"eng"}],"external_id":{"isi":["000448185000097"]},"oa":1,"project":[{"call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767"}],"isi":1,"quality_controlled":"1","month":"08","pubrep_id":"1038","oa_version":"Submitted Version","file":[{"access_level":"open_access","file_name":"IST-2018-1038-v1+1_metamolds_authorversion.pdf","creator":"system","content_type":"application/pdf","file_size":91939066,"file_id":"5374","relation":"main_file","checksum":"61d46273dca4de626accef1d17a0aaad","date_created":"2018-12-12T10:18:52Z","date_updated":"2020-07-14T12:44:43Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"13","intvolume":" 37","title":"Metamolds: Computational design of silicone molds","status":"public","ddc":["004"],"issue":"4","abstract":[{"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.","lang":"eng"}],"type":"journal_article","date_published":"2018-08-04T00:00:00Z","citation":{"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","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.","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","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.","short":"T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018).","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.","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."},"publication":"ACM Trans. Graph.","has_accepted_license":"1","article_processing_charge":"No","day":"04","scopus_import":"1"},{"publist_id":"7786","publication_status":"published","department":[{"_id":"HaJa"}],"publisher":"Nature Publishing Group","year":"2018","pmid":1,"date_updated":"2023-09-13T08:58:05Z","date_created":"2018-12-11T11:44:49Z","volume":14,"author":[{"full_name":"Zhang, William","first_name":"William","last_name":"Zhang"},{"full_name":"Herde, Michel","first_name":"Michel","last_name":"Herde"},{"full_name":"Mitchell, Joshua","last_name":"Mitchell","first_name":"Joshua"},{"full_name":"Whitfield, Jason","last_name":"Whitfield","first_name":"Jason"},{"last_name":"Wulff","first_name":"Andreas","full_name":"Wulff, Andreas"},{"first_name":"Vanessa","last_name":"Vongsouthi","full_name":"Vongsouthi, Vanessa"},{"id":"3D9C5D30-F248-11E8-B48F-1D18A9856A87","last_name":"Sanchez Romero","first_name":"Inmaculada","full_name":"Sanchez Romero, Inmaculada"},{"last_name":"Gulakova","first_name":"Polina","full_name":"Gulakova, Polina"},{"full_name":"Minge, Daniel","last_name":"Minge","first_name":"Daniel"},{"full_name":"Breithausen, Björn","first_name":"Björn","last_name":"Breithausen"},{"full_name":"Schoch, Susanne","first_name":"Susanne","last_name":"Schoch"},{"full_name":"Janovjak, Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8023-9315","first_name":"Harald L","last_name":"Janovjak"},{"last_name":"Jackson","first_name":"Colin","full_name":"Jackson, Colin"},{"last_name":"Henneberger","first_name":"Christian","full_name":"Henneberger, Christian"}],"month":"07","isi":1,"quality_controlled":"1","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)"}],"oa":1,"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/30061718","open_access":"1"}],"external_id":{"isi":["000442174500013"],"pmid":["30061718 "]},"language":[{"iso":"eng"}],"doi":"10.1038/s41589-018-0108-2","type":"journal_article","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."}],"issue":"9","status":"public","title":"Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS","intvolume":" 14","_id":"137","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","scopus_import":"1","day":"30","article_processing_charge":"No","article_type":"original","page":"861 - 869","publication":"Nature Chemical Biology","citation":{"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","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.","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","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.","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."},"date_published":"2018-07-30T00:00:00Z"},{"publication_status":"published","department":[{"_id":"MiSi"},{"_id":"NanoFab"}],"publisher":"Academic Press","year":"2018","pmid":1,"date_created":"2018-12-11T11:44:54Z","date_updated":"2023-09-13T08:56:35Z","volume":147,"author":[{"full_name":"Renkawitz, Jörg","last_name":"Renkawitz","first_name":"Jörg","orcid":"0000-0003-2856-3369","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Reversat, Anne","id":"35B76592-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0666-8928","first_name":"Anne","last_name":"Reversat"},{"first_name":"Alexander F","last_name":"Leithner","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1073-744X","full_name":"Leithner, Alexander F"},{"last_name":"Merrin","first_name":"Jack","orcid":"0000-0001-5145-4609","id":"4515C308-F248-11E8-B48F-1D18A9856A87","full_name":"Merrin, Jack"},{"full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","first_name":"Michael K","last_name":"Sixt"}],"publist_id":"7768","isi":1,"quality_controlled":"1","external_id":{"isi":["000452412300006"],"pmid":["30165964"]},"language":[{"iso":"eng"}],"doi":"10.1016/bs.mcb.2018.07.004","month":"07","publication_identifier":{"issn":["0091679X"]},"status":"public","title":"Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments","intvolume":" 147","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"153","oa_version":"None","type":"book_chapter","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."}],"page":"79 - 91","publication":"Methods in Cell Biology","citation":{"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.","short":"J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods in Cell Biology, Academic Press, 2018, pp. 79–91.","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.","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.","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","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.","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"},"date_published":"2018-07-27T00:00:00Z","scopus_import":"1","day":"27","article_processing_charge":"No"},{"month":"10","main_file_link":[{"url":"https://doi.org/10.1016/j.devcel.2018.09.014"}],"external_id":{"isi":["000446579900002"]},"isi":1,"quality_controlled":"1","doi":"10.1016/j.devcel.2018.09.014","language":[{"iso":"eng"}],"publist_id":"8000","year":"2018","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.","publication_status":"published","publisher":"Cell Press","department":[{"_id":"CaHe"}],"author":[{"first_name":"Diana C","last_name":"Nunes Pinheiro","id":"2E839F16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4333-7503","full_name":"Nunes Pinheiro, Diana C"},{"last_name":"Bellaïche","first_name":"Yohanns","full_name":"Bellaïche, Yohanns"}],"date_created":"2018-12-11T11:44:23Z","date_updated":"2023-09-13T08:54:38Z","volume":47,"scopus_import":"1","day":"08","article_processing_charge":"No","publication":"Developmental Cell","citation":{"short":"D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.","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.","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.","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","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.","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","ista":"Nunes Pinheiro DC, Bellaïche Y. 2018. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 47(1), 3–19."},"article_type":"review","page":"3 - 19","date_published":"2018-10-08T00:00:00Z","type":"journal_article","abstract":[{"lang":"eng","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."}],"issue":"1","_id":"54","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","title":"Mechanical force-driven adherents junction remodeling and epithelial dynamics","intvolume":" 47","oa_version":"Published Version"},{"article_number":"e0198330","file_date_updated":"2020-07-14T12:45:45Z","publist_id":"7626","publication_status":"published","publisher":"Public Library of Science","department":[{"_id":"MiSi"}],"year":"2018","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.","date_updated":"2023-09-13T09:00:15Z","date_created":"2018-12-11T11:45:34Z","volume":13,"author":[{"full_name":"Frick, Corina","first_name":"Corina","last_name":"Frick"},{"full_name":"Dettinger, Philip","last_name":"Dettinger","first_name":"Philip"},{"full_name":"Renkawitz, Jörg","orcid":"0000-0003-2856-3369","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","last_name":"Renkawitz","first_name":"Jörg"},{"first_name":"Annaïse","last_name":"Jauch","full_name":"Jauch, Annaïse"},{"first_name":"Christoph","last_name":"Berger","full_name":"Berger, Christoph"},{"full_name":"Recher, Mike","last_name":"Recher","first_name":"Mike"},{"first_name":"Timm","last_name":"Schroeder","full_name":"Schroeder, Timm"},{"full_name":"Mehling, Matthias","last_name":"Mehling","first_name":"Matthias"}],"month":"06","isi":1,"quality_controlled":"1","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000434384900031"]},"language":[{"iso":"eng"}],"doi":"10.1371/journal.pone.0198330","type":"journal_article","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"}],"issue":"6","title":"Nano-scale microfluidics to study 3D chemotaxis at the single cell level","status":"public","ddc":["570"],"intvolume":" 13","_id":"276","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","file":[{"relation":"main_file","file_id":"5709","date_updated":"2020-07-14T12:45:45Z","date_created":"2018-12-17T14:10:32Z","checksum":"95fc5dc3938b3ad3b7697d10c83cc143","file_name":"2018_Plos_Frick.pdf","access_level":"open_access","content_type":"application/pdf","file_size":7682167,"creator":"dernst"}],"scopus_import":"1","day":"07","has_accepted_license":"1","article_processing_charge":"No","article_type":"original","publication":"PLoS One","citation":{"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","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","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.","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.","short":"C. Frick, P. Dettinger, J. Renkawitz, A. Jauch, C. Berger, M. Recher, T. Schroeder, M. Mehling, PLoS One 13 (2018).","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.","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."},"date_published":"2018-06-07T00:00:00Z"},{"date_published":"2018-06-08T00:00:00Z","publication":"Scientific Reports","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.","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.","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).","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.","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.","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","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"},"day":"08","has_accepted_license":"1","article_processing_charge":"No","scopus_import":"1","oa_version":"Published Version","file":[{"creator":"dernst","file_size":1855324,"content_type":"application/pdf","file_name":"2018_ScientificReports_Ceinos.pdf","access_level":"open_access","date_created":"2018-12-17T13:04:46Z","date_updated":"2020-07-14T12:45:49Z","checksum":"9c3942d772f84f3df032ffde0ed9a8ea","file_id":"5707","relation":"main_file"}],"status":"public","title":"Mutations in blind cavefish target the light regulated circadian clock gene period 2","ddc":["570"],"intvolume":" 8","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"283","abstract":[{"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.","lang":"eng"}],"issue":"1","type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1038/s41598-018-27080-2","isi":1,"quality_controlled":"1","external_id":{"isi":["000434640800008"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"month":"06","date_updated":"2023-09-13T08:59:27Z","date_created":"2018-12-11T11:45:36Z","volume":8,"author":[{"last_name":"Ceinos","first_name":"Rosa Maria","full_name":"Ceinos, Rosa Maria"},{"full_name":"Frigato, Elena","first_name":"Elena","last_name":"Frigato"},{"last_name":"Pagano","first_name":"Cristina","full_name":"Pagano, Cristina"},{"full_name":"Frohlich, Nadine","first_name":"Nadine","last_name":"Frohlich"},{"last_name":"Negrini","first_name":"Pietro","full_name":"Negrini, Pietro"},{"full_name":"Cavallari, Nicola","last_name":"Cavallari","first_name":"Nicola","id":"457160E6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Vallone, Daniela","last_name":"Vallone","first_name":"Daniela"},{"last_name":"Fuselli","first_name":"Silvia","full_name":"Fuselli, Silvia"},{"first_name":"Cristiano","last_name":"Bertolucci","full_name":"Bertolucci, Cristiano"},{"first_name":"Nicholas S","last_name":"Foulkes","full_name":"Foulkes, Nicholas S"}],"publication_status":"published","publisher":"Nature Publishing Group","department":[{"_id":"EvBe"}],"year":"2018","file_date_updated":"2020-07-14T12:45:49Z","publist_id":"7616","article_number":"8754"},{"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.","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.","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.","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"},"page":"53 - 70","date_published":"2018-08-26T00:00:00Z","scopus_import":"1","day":"26","has_accepted_license":"1","article_processing_charge":"No","_id":"81","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","title":"Monitoring temporal logic with clock variables","ddc":["000"],"intvolume":" 11022","file":[{"file_name":"2018_LNCS_Elgyuett.pdf","access_level":"open_access","creator":"dernst","content_type":"application/pdf","file_size":537219,"file_id":"8638","relation":"main_file","date_updated":"2020-10-09T06:24:21Z","date_created":"2020-10-09T06:24:21Z","success":1,"checksum":"e5d81c9b50a6bd9d8a2c16953aad7e23"}],"oa_version":"Submitted Version","type":"conference","alternative_title":["LNCS"],"abstract":[{"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,","lang":"eng"}],"external_id":{"isi":["000884993200004"]},"oa":1,"isi":1,"quality_controlled":"1","project":[{"call_identifier":"FWF","name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize"}],"conference":{"end_date":"2018-09-06","location":"Beijing, China","start_date":"2018-09-04","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"doi":"10.1007/978-3-030-00151-3_4","language":[{"iso":"eng"}],"month":"08","year":"2018","publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"Springer","author":[{"last_name":"Elgyütt","first_name":"Adrian","id":"4A2E9DBA-F248-11E8-B48F-1D18A9856A87","full_name":"Elgyütt, Adrian"},{"full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","first_name":"Thomas"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"}],"date_updated":"2023-09-13T08:58:34Z","date_created":"2018-12-11T11:44:31Z","volume":11022,"file_date_updated":"2020-10-09T06:24:21Z","publist_id":"7973"},{"language":[{"iso":"eng"}],"doi":"10.1007/s00446-018-0342-6","isi":1,"quality_controlled":"1","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000475627800005"]},"month":"09","date_updated":"2023-09-13T09:01:06Z","date_created":"2018-12-11T11:44:30Z","author":[{"full_name":"Lenzen, Christoph","last_name":"Lenzen","first_name":"Christoph"},{"last_name":"Rybicki","first_name":"Joel","orcid":"0000-0002-6432-6646","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","full_name":"Rybicki, Joel"}],"publication_status":"published","department":[{"_id":"DaAl"}],"publisher":"Springer","year":"2018","file_date_updated":"2020-07-14T12:48:01Z","publist_id":"7978","date_published":"2018-09-12T00:00:00Z","publication":"Distributed Computing","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.","short":"C. Lenzen, J. Rybicki, Distributed Computing (2018).","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.","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","ieee":"C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.","ista":"Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing squads. Distributed Computing.","ama":"Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6"},"day":"12","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","scopus_import":"1","oa_version":"Published Version","file":[{"date_updated":"2020-07-14T12:48:01Z","date_created":"2018-12-17T14:21:22Z","checksum":"872db70bba9b401500abe3c6ae2f1a61","relation":"main_file","file_id":"5711","content_type":"application/pdf","file_size":799337,"creator":"dernst","file_name":"2018_DistributedComputing_Lenzen.pdf","access_level":"open_access"}],"ddc":["000"],"status":"public","title":"Near-optimal self-stabilising counting and firing squads","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"76","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"}],"type":"journal_article"},{"project":[{"grant_number":"318493","_id":"255D761E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Topological Complex Systems"}],"isi":1,"quality_controlled":"1","oa":1,"external_id":{"isi":["000415778300010"]},"language":[{"iso":"eng"}],"doi":"10.1016/j.comgeo.2017.06.014","month":"03","department":[{"_id":"HeEd"}],"publisher":"Elsevier","publication_status":"published","year":"2018","volume":68,"date_created":"2018-12-11T11:46:59Z","date_updated":"2023-09-13T08:59:00Z","author":[{"full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner","first_name":"Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Iglesias Ham, Mabel","id":"41B58C0C-F248-11E8-B48F-1D18A9856A87","last_name":"Iglesias Ham","first_name":"Mabel"}],"ec_funded":1,"publist_id":"7289","file_date_updated":"2020-07-14T12:46:38Z","page":"119 - 133","citation":{"chicago":"Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications. Elsevier, 2018. https://doi.org/10.1016/j.comgeo.2017.06.014.","mla":"Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications, vol. 68, Elsevier, 2018, pp. 119–33, doi:10.1016/j.comgeo.2017.06.014.","short":"H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.","ista":"Edelsbrunner H, Iglesias Ham M. 2018. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 68, 119–133.","ieee":"H. Edelsbrunner and M. Iglesias Ham, “Multiple covers with balls I: Inclusion–exclusion,” Computational Geometry: Theory and Applications, vol. 68. Elsevier, pp. 119–133, 2018.","apa":"Edelsbrunner, H., & Iglesias Ham, M. (2018). Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2017.06.014","ama":"Edelsbrunner H, Iglesias Ham M. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 2018;68:119-133. doi:10.1016/j.comgeo.2017.06.014"},"publication":"Computational Geometry: Theory and Applications","date_published":"2018-03-01T00:00:00Z","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","day":"01","intvolume":" 68","ddc":["000"],"title":"Multiple covers with balls I: Inclusion–exclusion","status":"public","_id":"530","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Preprint","file":[{"content_type":"application/pdf","file_size":708357,"creator":"dernst","access_level":"open_access","file_name":"2018_Edelsbrunner.pdf","checksum":"1c8d58cd489a66cd3e2064c1141c8c5e","date_updated":"2020-07-14T12:46:38Z","date_created":"2019-02-12T06:47:52Z","relation":"main_file","file_id":"5953"}],"type":"journal_article","abstract":[{"lang":"eng","text":"Inclusion–exclusion is an effective method for computing the volume of a union of measurable sets. We extend it to multiple coverings, proving short inclusion–exclusion formulas for the subset of Rn covered by at least k balls in a finite set. We implement two of the formulas in dimension n=3 and report on results obtained with our software."}]},{"intvolume":" 97","status":"public","title":"Nanoscopy of pairs of atoms by fluorescence in a magnetic field","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"307","oa_version":"Submitted Version","type":"journal_article","issue":"4","abstract":[{"text":"Spontaneous emission spectra of two initially excited closely spaced identical atoms are very sensitive to the strength and the direction of the applied magnetic field. We consider the relevant schemes that ensure the determination of the mutual spatial orientation of the atoms and the distance between them by entirely optical means. A corresponding theoretical description is given accounting for the dipole-dipole interaction between the two atoms in the presence of a magnetic field and for polarizations of the quantum field interacting with magnetic sublevels of the two-atom system. ","lang":"eng"}],"article_type":"original","citation":{"chicago":"Redchenko, Elena, Alexander Makarov, and Vladimir Yudson. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevA.97.043812.","short":"E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).","mla":"Redchenko, Elena, et al. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4, 043812, American Physical Society, 2018, doi:10.1103/PhysRevA.97.043812.","apa":"Redchenko, E., Makarov, A., & Yudson, V. (2018). Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.97.043812","ieee":"E. Redchenko, A. Makarov, and V. Yudson, “Nanoscopy of pairs of atoms by fluorescence in a magnetic field,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4. American Physical Society, 2018.","ista":"Redchenko E, Makarov A, Yudson V. 2018. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. 97(4), 043812.","ama":"Redchenko E, Makarov A, Yudson V. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(4). doi:10.1103/PhysRevA.97.043812"},"publication":" Physical Review A - Atomic, Molecular, and Optical Physics","date_published":"2018-04-09T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"09","publisher":"American Physical Society","department":[{"_id":"JoFi"}],"publication_status":"published","acknowledgement":"The work was partially supported by Russian Foundation for Basic Research (Grant No. 15-02-05657a) and by the Basic research program of Higher School of Economics (HSE).","year":"2018","volume":97,"date_created":"2018-12-11T11:45:44Z","date_updated":"2023-09-13T09:00:41Z","author":[{"last_name":"Redchenko","first_name":"Elena","id":"2C21D6E8-F248-11E8-B48F-1D18A9856A87","full_name":"Redchenko, Elena"},{"full_name":"Makarov, Alexander","first_name":"Alexander","last_name":"Makarov"},{"first_name":"Vladimir","last_name":"Yudson","full_name":"Yudson, Vladimir"}],"article_number":" 043812 ","publist_id":"7572","quality_controlled":"1","isi":1,"external_id":{"isi":["000429454000015"],"arxiv":["1712.10127"]},"main_file_link":[{"url":"https://arxiv.org/abs/1712.10127","open_access":"1"}],"oa":1,"language":[{"iso":"eng"}],"doi":"10.1103/PhysRevA.97.043812","month":"04"},{"article_number":"67","publist_id":"7620","ec_funded":1,"file_date_updated":"2020-07-14T12:45:47Z","department":[{"_id":"FyKo"}],"publisher":"BioMed Central","publication_status":"published","year":"2018","volume":19,"date_created":"2018-12-11T11:45:35Z","date_updated":"2023-09-13T09:01:32Z","related_material":{"record":[{"id":"9811","relation":"research_data","status":"public"},{"relation":"research_data","status":"public","id":"9812"}]},"author":[{"last_name":"Zapata","first_name":"Luis","full_name":"Zapata, Luis"},{"first_name":"Oriol","last_name":"Pich","full_name":"Pich, Oriol"},{"last_name":"Serrano","first_name":"Luis","full_name":"Serrano, Luis"},{"full_name":"Kondrashov, Fyodor","orcid":"0000-0001-8243-4694","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","last_name":"Kondrashov","first_name":"Fyodor"},{"full_name":"Ossowski, Stephan","first_name":"Stephan","last_name":"Ossowski"},{"full_name":"Schaefer, Martin","first_name":"Martin","last_name":"Schaefer"}],"month":"05","project":[{"name":"Systematic investigation of epistasis in molecular evolution","call_identifier":"FP7","_id":"26120F5C-B435-11E9-9278-68D0E5697425","grant_number":"335980"}],"isi":1,"quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000433986200001"]},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1186/s13059-018-1434-0","type":"journal_article","abstract":[{"lang":"eng","text":"Background: Natural selection shapes cancer genomes. Previous studies used signatures of positive selection to identify genes driving malignant transformation. However, the contribution of negative selection against somatic mutations that affect essential tumor functions or specific domains remains a controversial topic. Results: Here, we analyze 7546 individual exomes from 26 tumor types from TCGA data to explore the portion of the cancer exome under negative selection. Although we find most of the genes neutrally evolving in a pan-cancer framework, we identify essential cancer genes and immune-exposed protein regions under significant negative selection. Moreover, our simulations suggest that the amount of negative selection is underestimated. We therefore choose an empirical approach to identify genes, functions, and protein regions under negative selection. We find that expression and mutation status of negatively selected genes is indicative of patient survival. Processes that are most strongly conserved are those that play fundamental cellular roles such as protein synthesis, glucose metabolism, and molecular transport. Intriguingly, we observe strong signals of selection in the immunopeptidome and proteins controlling peptide exposition, highlighting the importance of immune surveillance evasion. Additionally, tumor type-specific immune activity correlates with the strength of negative selection on human epitopes. Conclusions: In summary, our results show that negative selection is a hallmark of cell essentiality and immune response in cancer. The functional domains identified could be exploited therapeutically, ultimately allowing for the development of novel cancer treatments."}],"intvolume":" 19","ddc":["570"],"status":"public","title":"Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome","_id":"279","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"content_type":"application/pdf","file_size":1414722,"creator":"dernst","file_name":"2018_GenomeBiology_Zapata.pdf","access_level":"open_access","date_created":"2018-12-17T14:05:01Z","date_updated":"2020-07-14T12:45:47Z","checksum":"f3e4922486bd9bf1483271bdbed394a7","relation":"main_file","file_id":"5708"}],"oa_version":"Published Version","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","day":"31","citation":{"mla":"Zapata, Luis, et al. “Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Genome Biology, vol. 19, 67, BioMed Central, 2018, doi:10.1186/s13059-018-1434-0.","short":"L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, Genome Biology 19 (2018).","chicago":"Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski, and Martin Schaefer. “Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Genome Biology. BioMed Central, 2018. https://doi.org/10.1186/s13059-018-1434-0.","ama":"Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. 2018;19. doi:10.1186/s13059-018-1434-0","ista":"Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. 19, 67.","ieee":"L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome,” Genome Biology, vol. 19. BioMed Central, 2018.","apa":"Zapata, L., Pich, O., Serrano, L., Kondrashov, F., Ossowski, S., & Schaefer, M. (2018). Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-018-1434-0"},"publication":"Genome Biology","date_published":"2018-05-31T00:00:00Z"},{"date_created":"2018-12-11T11:44:52Z","date_updated":"2023-09-13T09:02:48Z","volume":37,"author":[{"first_name":"Sven M","last_name":"Truckenbrodt","id":"45812BD4-F248-11E8-B48F-1D18A9856A87","full_name":"Truckenbrodt, Sven M"},{"last_name":"Viplav","first_name":"Abhiyan","full_name":"Viplav, Abhiyan"},{"last_name":"Jähne","first_name":"Sebsatian","full_name":"Jähne, Sebsatian"},{"first_name":"Angela","last_name":"Vogts","full_name":"Vogts, Angela"},{"full_name":"Denker, Annette","first_name":"Annette","last_name":"Denker"},{"last_name":"Wildhagen","first_name":"Hanna","full_name":"Wildhagen, Hanna"},{"first_name":"Eugenio","last_name":"Fornasiero","full_name":"Fornasiero, Eugenio"},{"last_name":"Rizzoli","first_name":"Silvio","full_name":"Rizzoli, Silvio"}],"publication_status":"published","publisher":"Wiley","department":[{"_id":"JoDa"}],"year":"2018","acknowledgement":"We thank Reinhard Jahn for providing a plasmid for YFP-SNAP25. We thank Erwin Neher for help with the development of the mathematical model of the synaptic vesicle life cycle. We thank Martin Meschkat, Andreas Höbartner, Annedore Punge, and Peer Hoopmann for help with the experiments. We thank Burkhard Rammner for providing the illustrations of synaptic vesicle and protein dynamics. We thank Manuel Maidorn, Martin Helm, and Katharina N. Richter for critically reading the manuscript. S.T. was supported by an Excellence Stipend of the Göttingen Graduate School for Neurosciences, Biophysics, and Molecular Biosciences (GGNB). E.F.F. is a recipient of long-term fellowships from the European Molecular Biology Organization (ALTF_797-2012) and from the Human Frontier Science Program (HFSP_LT000830/2013). The work was supported by grants to S.O.R. from the European Research Council (ERC-2013-CoG NeuroMolAnatomy) and from the Deutsche Forschungsgemeinschaft (Cluster of Excellence Nanoscale Microscopy and Molecular Physiology of the Brain, SFB1190/P09, SFB889/A05, and SFB1286/A03, and DFG RI 1967 7/1). The nanoSIMS instrument was funded by the German Federal Ministry of Education and Research (03F0626A).","pmid":1,"file_date_updated":"2020-07-14T12:44:56Z","publist_id":"7778","article_number":"e98044","language":[{"iso":"eng"}],"doi":"10.15252/embj.201798044","quality_controlled":"1","isi":1,"external_id":{"isi":["000440416900005"],"pmid":["29950309"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"month":"08","publication_identifier":{"issn":["0261-4189"]},"oa_version":"Published Version","file":[{"access_level":"open_access","file_name":"2018_EMBO_Truckenbrodt.pdf","file_size":2846470,"content_type":"application/pdf","creator":"dernst","relation":"main_file","file_id":"5710","checksum":"a540feb6c9af6aefc78de531461a8835","date_created":"2018-12-17T14:17:29Z","date_updated":"2020-07-14T12:44:56Z"}],"status":"public","title":"Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission","ddc":["570"],"intvolume":" 37","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"145","abstract":[{"text":"Aged proteins can become hazardous to cellular function, by accumulating molecular damage. This implies that cells should preferentially rely on newly produced ones. We tested this hypothesis in cultured hippocampal neurons, focusing on synaptic transmission. We found that newly synthesized vesicle proteins were incorporated in the actively recycling pool of vesicles responsible for all neurotransmitter release during physiological activity. We observed this for the calcium sensor Synaptotagmin 1, for the neurotransmitter transporter VGAT, and for the fusion protein VAMP2 (Synaptobrevin 2). Metabolic labeling of proteins and visualization by secondary ion mass spectrometry enabled us to query the entire protein makeup of the actively recycling vesicles, which we found to be younger than that of non-recycling vesicles. The young vesicle proteins remained in use for up to ~ 24 h, during which they participated in recycling a few hundred times. They were afterward reluctant to release and were degraded after an additional ~ 24–48 h. We suggest that the recycling pool of synaptic vesicles relies on newly synthesized proteins, while the inactive reserve pool contains older proteins.","lang":"eng"}],"issue":"15","type":"journal_article","date_published":"2018-08-01T00:00:00Z","article_type":"original","publication":"The EMBO Journal","citation":{"chicago":"Truckenbrodt, Sven M, Abhiyan Viplav, Sebsatian Jähne, Angela Vogts, Annette Denker, Hanna Wildhagen, Eugenio Fornasiero, and Silvio Rizzoli. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.” The EMBO Journal. Wiley, 2018. https://doi.org/10.15252/embj.201798044.","mla":"Truckenbrodt, Sven M., et al. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.” The EMBO Journal, vol. 37, no. 15, e98044, Wiley, 2018, doi:10.15252/embj.201798044.","short":"S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).","ista":"Truckenbrodt SM, Viplav A, Jähne S, Vogts A, Denker A, Wildhagen H, Fornasiero E, Rizzoli S. 2018. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. 37(15), e98044.","apa":"Truckenbrodt, S. M., Viplav, A., Jähne, S., Vogts, A., Denker, A., Wildhagen, H., … Rizzoli, S. (2018). Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. Wiley. https://doi.org/10.15252/embj.201798044","ieee":"S. M. Truckenbrodt et al., “Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission,” The EMBO Journal, vol. 37, no. 15. Wiley, 2018.","ama":"Truckenbrodt SM, Viplav A, Jähne S, et al. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. 2018;37(15). doi:10.15252/embj.201798044"},"day":"01","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1"},{"language":[{"iso":"eng"}],"doi":"10.1111/pce.13153","quality_controlled":"1","isi":1,"external_id":{"pmid":["29360148"],"isi":["000426870500012"]},"tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)"},"oa":1,"month":"05","volume":41,"date_updated":"2023-09-13T09:03:18Z","date_created":"2018-12-11T11:46:36Z","author":[{"last_name":"Fan","first_name":"Ligang","full_name":"Fan, Ligang"},{"full_name":"Zhao, Lei","first_name":"Lei","last_name":"Zhao"},{"last_name":"Hu","first_name":"Wei","full_name":"Hu, Wei"},{"first_name":"Weina","last_name":"Li","full_name":"Li, Weina"},{"full_name":"Novák, Ondřej","last_name":"Novák","first_name":"Ondřej"},{"full_name":"Strnad, Miroslav","last_name":"Strnad","first_name":"Miroslav"},{"first_name":"Sibu","last_name":"Simon","id":"4542EF9A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1998-6741","full_name":"Simon, Sibu"},{"full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jirí","last_name":"Friml"},{"full_name":"Shen, Jinbo","first_name":"Jinbo","last_name":"Shen"},{"full_name":"Jiang, Liwen","last_name":"Jiang","first_name":"Liwen"},{"last_name":"Qiu","first_name":"Quan","full_name":"Qiu, Quan"}],"department":[{"_id":"JiFr"}],"publisher":"Wiley-Blackwell","publication_status":"published","pmid":1,"acknowledgement":"This work was supported by the National Natural Science Foundation of China (31571464, 31371438 and 31070222 to Q.S.Q.), the National Basic Research Program of China (973 project, 2013CB429904 to Q.S.Q.), the Research Fund for the Doctoral Program of Higher Education of China (20130211110001 to Q.S.Q.), the Ministry of Education, Youth and Sports of the Czech Republic (the National Program for Sustainability I, LO1204), and The Czech Science Foundation GAČR (GA13–40637S) to JF. We thank Dr. Tom J. Guilfoyle for DR5::GUS line and Dr. Jia Li for pBIB‐RFP vector and DR5::GFP line. We thank Liping Guan and Yang Zhao for their help with the confocal microscope assay. ","year":"2018","license":"https://creativecommons.org/licenses/by-nc/4.0/","publist_id":"7359","file_date_updated":"2020-07-14T12:46:32Z","date_published":"2018-05-01T00:00:00Z","page":"850 - 864","article_type":"original","citation":{"short":"L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J. Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.","mla":"Fan, Ligang, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum and Auxin-Mediated Development.” Plant, Cell and Environment, vol. 41, Wiley-Blackwell, 2018, pp. 850–64, doi:10.1111/pce.13153.","chicago":"Fan, Ligang, Lei Zhao, Wei Hu, Weina Li, Ondřej Novák, Miroslav Strnad, Sibu Simon, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum and Auxin-Mediated Development.” Plant, Cell and Environment. Wiley-Blackwell, 2018. https://doi.org/10.1111/pce.13153.","ama":"Fan L, Zhao L, Hu W, et al. NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development. Plant, Cell and Environment. 2018;41:850-864. doi:10.1111/pce.13153","apa":"Fan, L., Zhao, L., Hu, W., Li, W., Novák, O., Strnad, M., … Qiu, Q. (2018). NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development. Plant, Cell and Environment. Wiley-Blackwell. https://doi.org/10.1111/pce.13153","ieee":"L. Fan et al., “NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development,” Plant, Cell and Environment, vol. 41. Wiley-Blackwell, pp. 850–864, 2018.","ista":"Fan L, Zhao L, Hu W, Li W, Novák O, Strnad M, Simon S, Friml J, Shen J, Jiang L, Qiu Q. 2018. NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development. Plant, Cell and Environment. 41, 850–864."},"publication":"Plant, Cell and Environment","article_processing_charge":"No","has_accepted_license":"1","day":"01","scopus_import":"1","oa_version":"Submitted Version","file":[{"file_size":1937976,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2018_PlantCellEnv_Fan.pdf","checksum":"6a20f843565f962cb20281cdf5e40914","date_created":"2019-11-18T16:22:22Z","date_updated":"2020-07-14T12:46:32Z","relation":"main_file","file_id":"7042"}],"intvolume":" 41","ddc":["580"],"title":"NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development","status":"public","_id":"462","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"lang":"eng","text":"AtNHX5 and AtNHX6 are endosomal Na+,K+/H+ antiporters that are critical for growth and development in Arabidopsis, but the mechanism behind their action remains unknown. Here, we report that AtNHX5 and AtNHX6, functioning as H+ leak, control auxin homeostasis and auxin-mediated development. We found that nhx5 nhx6 exhibited growth variations of auxin-related defects. We further showed that nhx5 nhx6 was affected in auxin homeostasis. Genetic analysis showed that AtNHX5 and AtNHX6 were required for the function of the ER-localized auxin transporter PIN5. Although AtNHX5 and AtNHX6 were co-localized with PIN5 at ER, they did not interact directly. Instead, the conserved acidic residues in AtNHX5 and AtNHX6, which are essential for exchange activity, were required for PIN5 function. AtNHX5 and AtNHX6 regulated the pH in ER. Overall, AtNHX5 and AtNHX6 may regulate auxin transport across the ER via the pH gradient created by their transport activity. H+-leak pathway provides a fine-tuning mechanism that controls cellular auxin fluxes. "}],"type":"journal_article"},{"file_date_updated":"2020-07-14T12:46:37Z","publist_id":"7297","author":[{"first_name":"Sebastian","last_name":"Altmeyer","id":"2EE67FDC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5964-0203","full_name":"Altmeyer, Sebastian"}],"date_created":"2018-12-11T11:46:56Z","date_updated":"2023-09-13T09:03:44Z","volume":452,"year":"2018","acknowledgement":"S.Altmeyer is a Serra Húnter Fellow","publication_status":"published","publisher":"Elsevier","department":[{"_id":"BjHo"}],"month":"04","doi":"10.1016/j.jmmm.2017.12.073","language":[{"iso":"eng"}],"oa":1,"external_id":{"isi":["000425547700061"]},"isi":1,"quality_controlled":"1","abstract":[{"text":"This study treats with the influence of a symmetry-breaking transversal magnetic field on the nonlinear dynamics of ferrofluidic Taylor-Couette flow – flow confined between two concentric independently rotating cylinders. We detected alternating ‘flip’ solutions which are flow states featuring typical characteristics of slow-fast-dynamics in dynamical systems. The flip corresponds to a temporal change in the axial wavenumber and we find them to appear either as pure 2-fold axisymmetric (due to the symmetry-breaking nature of the applied transversal magnetic field) or involving non-axisymmetric, helical modes in its interim solution. The latter ones show features of typical ribbon solutions. In any case the flip solutions have a preferential first axial wavenumber which corresponds to the more stable state (slow dynamics) and second axial wavenumber, corresponding to the short appearing more unstable state (fast dynamics). However, in both cases the flip time grows exponential with increasing the magnetic field strength before the flip solutions, living on 2-tori invariant manifolds, cease to exist, with lifetime going to infinity. Further we show that ferrofluidic flow turbulence differ from the classical, ordinary (usually at high Reynolds number) turbulence. The applied magnetic field hinders the free motion of ferrofluid partials and therefore smoothen typical turbulent quantities and features so that speaking of mildly chaotic dynamics seems to be a more appropriate expression for the observed motion. ","lang":"eng"}],"type":"journal_article","oa_version":"Submitted Version","file":[{"creator":"dernst","file_size":17309535,"content_type":"application/pdf","file_name":"2018_Magnetism_Altmeyer.pdf","access_level":"open_access","date_created":"2020-05-14T14:41:17Z","date_updated":"2020-07-14T12:46:37Z","checksum":"431f5cd4a628d7ca21161f82b14ccb4f","file_id":"7838","relation":"main_file"}],"_id":"519","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","ddc":["530"],"title":"Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow","intvolume":" 452","day":"15","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","date_published":"2018-04-15T00:00:00Z","publication":"Journal of Magnetism and Magnetic Materials","citation":{"ama":"Altmeyer S. Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. 2018;452:427-441. doi:10.1016/j.jmmm.2017.12.073","apa":"Altmeyer, S. (2018). Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. Elsevier. https://doi.org/10.1016/j.jmmm.2017.12.073","ieee":"S. Altmeyer, “Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow,” Journal of Magnetism and Magnetic Materials, vol. 452. Elsevier, pp. 427–441, 2018.","ista":"Altmeyer S. 2018. Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. 452, 427–441.","short":"S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.","mla":"Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions in Ferrofluidic Taylor-Couette Flow.” Journal of Magnetism and Magnetic Materials, vol. 452, Elsevier, 2018, pp. 427–41, doi:10.1016/j.jmmm.2017.12.073.","chicago":"Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions in Ferrofluidic Taylor-Couette Flow.” Journal of Magnetism and Magnetic Materials. Elsevier, 2018. https://doi.org/10.1016/j.jmmm.2017.12.073."},"article_type":"original","page":"427 - 441"},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"5679","intvolume":" 11275","status":"public","title":"New approaches for almost-sure termination of probabilistic programs","oa_version":"Preprint","type":"conference","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"We study the almost-sure termination problem for probabilistic programs. First, we show that supermartingales with lower bounds on conditional absolute difference provide a sound approach for the almost-sure termination problem. Moreover, using this approach we can obtain explicit optimal bounds on tail probabilities of non-termination within a given number of steps. Second, we present a new approach based on Central Limit Theorem for the almost-sure termination problem, and show that this approach can establish almost-sure termination of programs which none of the existing approaches can handle. Finally, we discuss algorithmic approaches for the two above methods that lead to automated analysis techniques for almost-sure termination of probabilistic programs."}],"citation":{"ama":"Huang M, Fu H, Chatterjee K. New approaches for almost-sure termination of probabilistic programs. In: Ryu S, ed. Vol 11275. Springer; 2018:181-201. doi:10.1007/978-3-030-02768-1_11","apa":"Huang, M., Fu, H., & Chatterjee, K. (2018). New approaches for almost-sure termination of probabilistic programs. In S. Ryu (Ed.) (Vol. 11275, pp. 181–201). Presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS, Wellington, New Zealand: Springer. https://doi.org/10.1007/978-3-030-02768-1_11","ieee":"M. Huang, H. Fu, and K. Chatterjee, “New approaches for almost-sure termination of probabilistic programs,” presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS, Wellington, New Zealand, 2018, vol. 11275, pp. 181–201.","ista":"Huang M, Fu H, Chatterjee K. 2018. New approaches for almost-sure termination of probabilistic programs. 16th Asian Symposium on Programming Languages and Systems, APLAS, LNCS, vol. 11275, 181–201.","short":"M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.","mla":"Huang, Mingzhang, et al. New Approaches for Almost-Sure Termination of Probabilistic Programs. Edited by Sukyoung Ryu, vol. 11275, Springer, 2018, pp. 181–201, doi:10.1007/978-3-030-02768-1_11.","chicago":"Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches for Almost-Sure Termination of Probabilistic Programs.” edited by Sukyoung Ryu, 11275:181–201. Springer, 2018. https://doi.org/10.1007/978-3-030-02768-1_11."},"page":"181-201","date_published":"2018-12-01T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"01","year":"2018","department":[{"_id":"KrCh"}],"publisher":"Springer","editor":[{"full_name":"Ryu, Sukyoung","first_name":"Sukyoung","last_name":"Ryu"}],"author":[{"full_name":"Huang, Mingzhang","first_name":"Mingzhang","last_name":"Huang"},{"full_name":"Fu, Hongfei","last_name":"Fu","first_name":"Hongfei"},{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"}],"volume":11275,"date_updated":"2023-09-13T09:02:22Z","date_created":"2018-12-16T22:59:20Z","main_file_link":[{"url":"http://arxiv.org/abs/1806.06683","open_access":"1"}],"external_id":{"isi":["000916310900011"],"arxiv":["1806.06683"]},"oa":1,"project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425"}],"isi":1,"quality_controlled":"1","doi":"10.1007/978-3-030-02768-1_11","conference":{"end_date":"2018-12-06","start_date":"2018-12-02","location":"Wellington, New Zealand","name":"16th Asian Symposium on Programming Languages and Systems, APLAS"},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783030027674"],"issn":["03029743"]},"month":"12"},{"article_processing_charge":"No","day":"01","scopus_import":"1","date_published":"2018-02-01T00:00:00Z","citation":{"ista":"Sacco R, Cacci E, Novarino G. 2018. Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. 48(2), 131–138.","apa":"Sacco, R., Cacci, E., & Novarino, G. (2018). Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2017.12.005","ieee":"R. Sacco, E. Cacci, and G. Novarino, “Neural stem cells in neuropsychiatric disorders,” Current Opinion in Neurobiology, vol. 48, no. 2. Elsevier, pp. 131–138, 2018.","ama":"Sacco R, Cacci E, Novarino G. Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. 2018;48(2):131-138. doi:10.1016/j.conb.2017.12.005","chicago":"Sacco, Roberto, Emanuele Cacci, and Gaia Novarino. “Neural Stem Cells in Neuropsychiatric Disorders.” Current Opinion in Neurobiology. Elsevier, 2018. https://doi.org/10.1016/j.conb.2017.12.005.","mla":"Sacco, Roberto, et al. “Neural Stem Cells in Neuropsychiatric Disorders.” Current Opinion in Neurobiology, vol. 48, no. 2, Elsevier, 2018, pp. 131–38, doi:10.1016/j.conb.2017.12.005.","short":"R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138."},"publication":"Current Opinion in Neurobiology","page":"131 - 138","issue":"2","abstract":[{"text":"The precise control of neural stem cell (NSC) proliferation and differentiation is crucial for the development and function of the human brain. Here, we review the emerging links between the alteration of embryonic and adult neurogenesis and the etiology of neuropsychiatric disorders (NPDs) such as autism spectrum disorders (ASDs) and schizophrenia (SCZ), as well as the advances in stem cell-based modeling and the novel therapeutic targets derived from these studies.","lang":"eng"}],"type":"journal_article","oa_version":"None","_id":"546","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 48","status":"public","title":"Neural stem cells in neuropsychiatric disorders","month":"02","doi":"10.1016/j.conb.2017.12.005","language":[{"iso":"eng"}],"external_id":{"isi":["000427101600018"]},"isi":1,"quality_controlled":"1","publist_id":"7268","author":[{"full_name":"Sacco, Roberto","first_name":"Roberto","last_name":"Sacco","id":"42C9F57E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Cacci, Emanuele","first_name":"Emanuele","last_name":"Cacci"},{"id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","first_name":"Gaia","last_name":"Novarino","full_name":"Novarino, Gaia"}],"volume":48,"date_updated":"2023-09-13T09:01:56Z","date_created":"2018-12-11T11:47:06Z","year":"2018","department":[{"_id":"GaNo"}],"publisher":"Elsevier","publication_status":"published"},{"abstract":[{"text":"This document contains the full list of genes with their respective significance and dN/dS values. (TXT 4499Â kb)","lang":"eng"}],"type":"research_data_reference","author":[{"full_name":"Zapata, Luis","first_name":"Luis","last_name":"Zapata"},{"last_name":"Pich","first_name":"Oriol","full_name":"Pich, Oriol"},{"last_name":"Serrano","first_name":"Luis","full_name":"Serrano, Luis"},{"id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8243-4694","first_name":"Fyodor","last_name":"Kondrashov","full_name":"Kondrashov, Fyodor"},{"full_name":"Ossowski, Stephan","first_name":"Stephan","last_name":"Ossowski"},{"first_name":"Martin","last_name":"Schaefer","full_name":"Schaefer, Martin"}],"related_material":{"record":[{"id":"279","status":"public","relation":"used_in_publication"}]},"date_updated":"2023-09-13T09:01:31Z","date_created":"2021-08-06T12:58:25Z","oa_version":"Published Version","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","_id":"9812","year":"2018","status":"public","title":"Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome","department":[{"_id":"FyKo"}],"publisher":"Springer Nature","day":"31","month":"05","article_processing_charge":"No","date_published":"2018-05-31T00:00:00Z","doi":"10.6084/m9.figshare.6401414.v1","citation":{"mla":"Zapata, Luis, et al. Additional File 2: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome. Springer Nature, 2018, doi:10.6084/m9.figshare.6401414.v1.","short":"L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).","chicago":"Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski, and Martin Schaefer. “Additional File 2: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.6401414.v1.","ama":"Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. 2018. doi:10.6084/m9.figshare.6401414.v1","ista":"Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome, Springer Nature, 10.6084/m9.figshare.6401414.v1.","ieee":"L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome.” Springer Nature, 2018.","apa":"Zapata, L., Pich, O., Serrano, L., Kondrashov, F., Ossowski, S., & Schaefer, M. (2018). Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Springer Nature. https://doi.org/10.6084/m9.figshare.6401414.v1"},"oa":1,"main_file_link":[{"url":"https://doi.org/10.6084/m9.figshare.6401414.v1","open_access":"1"}]},{"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"279"}]},"author":[{"full_name":"Zapata, Luis","last_name":"Zapata","first_name":"Luis"},{"full_name":"Pich, Oriol","first_name":"Oriol","last_name":"Pich"},{"last_name":"Serrano","first_name":"Luis","full_name":"Serrano, Luis"},{"id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8243-4694","first_name":"Fyodor","last_name":"Kondrashov","full_name":"Kondrashov, Fyodor"},{"full_name":"Ossowski, Stephan","last_name":"Ossowski","first_name":"Stephan"},{"full_name":"Schaefer, Martin","last_name":"Schaefer","first_name":"Martin"}],"oa_version":"Preprint","date_created":"2021-08-06T12:53:49Z","date_updated":"2023-09-13T09:01:31Z","_id":"9811","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","year":"2018","publisher":"Springer Nature","department":[{"_id":"FyKo"}],"status":"public","title":"Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome","abstract":[{"lang":"eng","text":"This document contains additional supporting evidence presented as supplemental tables. (XLSX 50Â kb)"}],"type":"research_data_reference","date_published":"2018-05-31T00:00:00Z","doi":"10.6084/m9.figshare.6401390.v1","main_file_link":[{"url":"https://doi.org/10.6084/m9.figshare.6401390.v1","open_access":"1"}],"citation":{"apa":"Zapata, L., Pich, O., Serrano, L., Kondrashov, F., Ossowski, S., & Schaefer, M. (2018). Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Springer Nature. https://doi.org/10.6084/m9.figshare.6401390.v1","ieee":"L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome.” Springer Nature, 2018.","ista":"Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome, Springer Nature, 10.6084/m9.figshare.6401390.v1.","ama":"Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. 2018. doi:10.6084/m9.figshare.6401390.v1","chicago":"Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski, and Martin Schaefer. “Additional File 1: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.6401390.v1.","short":"L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).","mla":"Zapata, Luis, et al. Additional File 1: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome. Springer Nature, 2018, doi:10.6084/m9.figshare.6401390.v1."},"oa":1,"article_processing_charge":"No","day":"31","month":"05"},{"language":[{"iso":"eng"}],"doi":"10.1186/s12864-018-5173-0","quality_controlled":"1","isi":1,"external_id":{"isi":["000450976700002"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"month":"11","publication_identifier":{"issn":["1471-2164"]},"date_updated":"2023-09-13T09:10:47Z","date_created":"2018-12-11T11:44:12Z","volume":19,"author":[{"last_name":"Higareda Almaraz","first_name":"Juan","full_name":"Higareda Almaraz, Juan"},{"full_name":"Karbiener, Michael","last_name":"Karbiener","first_name":"Michael"},{"first_name":"Maude","last_name":"Giroud","full_name":"Giroud, Maude"},{"id":"48EA0138-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7462-0048","first_name":"Florian","last_name":"Pauler","full_name":"Pauler, Florian"},{"last_name":"Gerhalter","first_name":"Teresa","full_name":"Gerhalter, Teresa"},{"first_name":"Stephan","last_name":"Herzig","full_name":"Herzig, Stephan"},{"last_name":"Scheideler","first_name":"Marcel","full_name":"Scheideler, Marcel"}],"related_material":{"record":[{"relation":"research_data","status":"public","id":"9807"},{"id":"9808","relation":"research_data","status":"public"}]},"publication_status":"published","department":[{"_id":"SiHi"}],"publisher":"BioMed Central","acknowledgement":"This work was funded by the German Centre for Diabetes Research (DZD) and the Austrian Science Fund (FWF, P25729-B19).","year":"2018","file_date_updated":"2020-07-14T12:45:23Z","publist_id":"8035","date_published":"2018-11-03T00:00:00Z","article_type":"original","publication":"BMC Genomics","citation":{"mla":"Higareda Almaraz, Juan, et al. “Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” BMC Genomics, vol. 19, no. 1, BioMed Central, 2018, doi:10.1186/s12864-018-5173-0.","short":"J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, BMC Genomics 19 (2018).","chicago":"Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” BMC Genomics. BioMed Central, 2018. https://doi.org/10.1186/s12864-018-5173-0.","ama":"Higareda Almaraz J, Karbiener M, Giroud M, et al. Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. BMC Genomics. 2018;19(1). doi:10.1186/s12864-018-5173-0","ista":"Higareda Almaraz J, Karbiener M, Giroud M, Pauler F, Gerhalter T, Herzig S, Scheideler M. 2018. Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. BMC Genomics. 19(1).","apa":"Higareda Almaraz, J., Karbiener, M., Giroud, M., Pauler, F., Gerhalter, T., Herzig, S., & Scheideler, M. (2018). Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. BMC Genomics. BioMed Central. https://doi.org/10.1186/s12864-018-5173-0","ieee":"J. Higareda Almaraz et al., “Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes,” BMC Genomics, vol. 19, no. 1. BioMed Central, 2018."},"day":"03","has_accepted_license":"1","article_processing_charge":"No","scopus_import":"1","oa_version":"Published Version","file":[{"relation":"main_file","file_id":"5712","checksum":"a56516e734dab589dc7f3e1915973b4d","date_updated":"2020-07-14T12:45:23Z","date_created":"2018-12-17T14:52:57Z","access_level":"open_access","file_name":"2018_BMCGenomics_Higareda.pdf","file_size":4629784,"content_type":"application/pdf","creator":"dernst"}],"ddc":["570"],"title":"Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes","status":"public","intvolume":" 19","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"20","abstract":[{"text":"Background: Norepinephrine (NE) signaling has a key role in white adipose tissue (WAT) functions, including lipolysis, free fatty acid liberation and, under certain conditions, conversion of white into brite (brown-in-white) adipocytes. However, acute effects of NE stimulation have not been described at the transcriptional network level. Results: We used RNA-seq to uncover a broad transcriptional response. The inference of protein-protein and protein-DNA interaction networks allowed us to identify a set of immediate-early genes (IEGs) with high betweenness, validating our approach and suggesting a hierarchical control of transcriptional regulation. In addition, we identified a transcriptional regulatory network with IEGs as master regulators, including HSF1 and NFIL3 as novel NE-induced IEG candidates. Moreover, a functional enrichment analysis and gene clustering into functional modules suggest a crosstalk between metabolic, signaling, and immune responses. Conclusions: Altogether, our network biology approach explores for the first time the immediate-early systems level response of human adipocytes to acute sympathetic activation, thereby providing a first network basis of early cell fate programs and crosstalks between metabolic and transcriptional networks required for proper WAT function.","lang":"eng"}],"issue":"1","type":"journal_article"},{"article_number":"20","publist_id":"7947","ec_funded":1,"year":"2018","publisher":"ACM","department":[{"_id":"KrPi"}],"publication_status":"published","author":[{"first_name":"Stefan","last_name":"Dziembowski","full_name":"Dziembowski, Stefan"},{"full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","first_name":"Krzysztof Z"},{"full_name":"Wichs, Daniel","last_name":"Wichs","first_name":"Daniel"}],"volume":65,"date_updated":"2023-09-13T09:05:17Z","date_created":"2018-12-11T11:44:40Z","month":"08","main_file_link":[{"url":"https://eprint.iacr.org/2009/608","open_access":"1"}],"external_id":{"isi":["000442938200004"]},"oa":1,"project":[{"call_identifier":"H2020","name":"Teaching Old Crypto New Tricks","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815"},{"call_identifier":"FP7","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668"}],"isi":1,"quality_controlled":"1","doi":"10.1145/3178432","language":[{"iso":"eng"}],"type":"journal_article","issue":"4","abstract":[{"lang":"eng","text":"We introduce the notion of “non-malleable codes” which relaxes the notion of error correction and error detection. Informally, a code is non-malleable if the message contained in a modified codeword is either the original message, or a completely unrelated value. In contrast to error correction and error detection, non-malleability can be achieved for very rich classes of modifications. We construct an efficient code that is non-malleable with respect to modifications that affect each bit of the codeword arbitrarily (i.e., leave it untouched, flip it, or set it to either 0 or 1), but independently of the value of the other bits of the codeword. Using the probabilistic method, we also show a very strong and general statement: there exists a non-malleable code for every “small enough” family F of functions via which codewords can be modified. Although this probabilistic method argument does not directly yield efficient constructions, it gives us efficient non-malleable codes in the random-oracle model for very general classes of tampering functions—e.g., functions where every bit in the tampered codeword can depend arbitrarily on any 99% of the bits in the original codeword. As an application of non-malleable codes, we show that they provide an elegant algorithmic solution to the task of protecting functionalities implemented in hardware (e.g., signature cards) against “tampering attacks.” In such attacks, the secret state of a physical system is tampered, in the hopes that future interaction with the modified system will reveal some secret information. This problem was previously studied in the work of Gennaro et al. in 2004 under the name “algorithmic tamper proof security” (ATP). We show that non-malleable codes can be used to achieve important improvements over the prior work. In particular, we show that any functionality can be made secure against a large class of tampering attacks, simply by encoding the secret state with a non-malleable code while it is stored in memory."}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"107","intvolume":" 65","title":"Non-malleable codes","status":"public","oa_version":"Preprint","scopus_import":"1","article_processing_charge":"No","day":"01","citation":{"short":"S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).","mla":"Dziembowski, Stefan, et al. “Non-Malleable Codes.” Journal of the ACM, vol. 65, no. 4, 20, ACM, 2018, doi:10.1145/3178432.","chicago":"Dziembowski, Stefan, Krzysztof Z Pietrzak, and Daniel Wichs. “Non-Malleable Codes.” Journal of the ACM. ACM, 2018. https://doi.org/10.1145/3178432.","ama":"Dziembowski S, Pietrzak KZ, Wichs D. Non-malleable codes. Journal of the ACM. 2018;65(4). doi:10.1145/3178432","ieee":"S. Dziembowski, K. Z. Pietrzak, and D. Wichs, “Non-malleable codes,” Journal of the ACM, vol. 65, no. 4. ACM, 2018.","apa":"Dziembowski, S., Pietrzak, K. Z., & Wichs, D. (2018). Non-malleable codes. Journal of the ACM. ACM. https://doi.org/10.1145/3178432","ista":"Dziembowski S, Pietrzak KZ, Wichs D. 2018. Non-malleable codes. Journal of the ACM. 65(4), 20."},"publication":"Journal of the ACM","article_type":"original","date_published":"2018-08-01T00:00:00Z"},{"scopus_import":"1","day":"01","article_processing_charge":"No","page":"4267-4283","publication":"Journal of Cell Biology","citation":{"ama":"Carvalho L, Patricio P, Ponte S, et al. Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology. 2018;217(12):4267-4283. doi:10.1083/jcb.201804048","apa":"Carvalho, L., Patricio, P., Ponte, S., Heisenberg, C.-P. J., Almeida, L., Nunes, A. S., … Jacinto, A. (2018). Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201804048","ieee":"L. Carvalho et al., “Occluding junctions as novel regulators of tissue mechanics during wound repair,” Journal of Cell Biology, vol. 217, no. 12. Rockefeller University Press, pp. 4267–4283, 2018.","ista":"Carvalho L, Patricio P, Ponte S, Heisenberg C-PJ, Almeida L, Nunes AS, Araújo NAM, Jacinto A. 2018. Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology. 217(12), 4267–4283.","short":"L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018) 4267–4283.","mla":"Carvalho, Lara, et al. “Occluding Junctions as Novel Regulators of Tissue Mechanics during Wound Repair.” Journal of Cell Biology, vol. 217, no. 12, Rockefeller University Press, 2018, pp. 4267–83, doi:10.1083/jcb.201804048.","chicago":"Carvalho, Lara, Pedro Patricio, Susana Ponte, Carl-Philipp J Heisenberg, Luis Almeida, André S. Nunes, Nuno A.M. Araújo, and Antonio Jacinto. “Occluding Junctions as Novel Regulators of Tissue Mechanics during Wound Repair.” Journal of Cell Biology. Rockefeller University Press, 2018. https://doi.org/10.1083/jcb.201804048."},"date_published":"2018-12-01T00:00:00Z","type":"journal_article","abstract":[{"lang":"eng","text":"In epithelial tissues, cells tightly connect to each other through cell–cell junctions, but they also present the remarkable capacity of reorganizing themselves without compromising tissue integrity. Upon injury, simple epithelia efficiently resolve small lesions through the action of actin cytoskeleton contractile structures at the wound edge and cellular rearrangements. However, the underlying mechanisms and how they cooperate are still poorly understood. In this study, we combine live imaging and theoretical modeling to reveal a novel and indispensable role for occluding junctions (OJs) in this process. We demonstrate that OJ loss of function leads to defects in wound-closure dynamics: instead of contracting, wounds dramatically increase their area. OJ mutants exhibit phenotypes in cell shape, cellular rearrangements, and mechanical properties as well as in actin cytoskeleton dynamics at the wound edge. We propose that OJs are essential for wound closure by impacting on epithelial mechanics at the tissue level, which in turn is crucial for correct regulation of the cellular events occurring at the wound edge."}],"issue":"12","title":"Occluding junctions as novel regulators of tissue mechanics during wound repair","status":"public","intvolume":" 217","_id":"5676","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","month":"12","publication_identifier":{"issn":["00219525"]},"quality_controlled":"1","isi":1,"project":[{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000451960800018"],"pmid":["30228162 "]},"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/30228162"}],"oa":1,"language":[{"iso":"eng"}],"doi":"10.1083/jcb.201804048","ec_funded":1,"publication_status":"published","department":[{"_id":"CaHe"}],"publisher":"Rockefeller University Press","year":"2018","pmid":1,"date_updated":"2023-09-13T09:11:17Z","date_created":"2018-12-16T22:59:19Z","volume":217,"author":[{"last_name":"Carvalho","first_name":"Lara","full_name":"Carvalho, Lara"},{"first_name":"Pedro","last_name":"Patricio","full_name":"Patricio, Pedro"},{"full_name":"Ponte, Susana","last_name":"Ponte","first_name":"Susana"},{"id":"39427864-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J"},{"first_name":"Luis","last_name":"Almeida","full_name":"Almeida, Luis"},{"first_name":"André S.","last_name":"Nunes","full_name":"Nunes, André S."},{"full_name":"Araújo, Nuno A.M.","last_name":"Araújo","first_name":"Nuno A.M."},{"last_name":"Jacinto","first_name":"Antonio","full_name":"Jacinto, Antonio"}]},{"type":"conference","extern":"1","abstract":[{"lang":"eng","text":"Clustering is a cornerstone of unsupervised learning which can be thought as disentangling multiple generative mechanisms underlying the data. In this paper we introduce an algorithmic framework to train mixtures of implicit generative models which we particularize for variational autoencoders. Relying on an additional set of discriminators, we propose a competitive procedure in which the models only need to approximate the portion of the data distribution from which they can produce realistic samples. As a byproduct, each model is simpler to train, and a clustering interpretation arises naturally from the partitioning of the training points among the models. We empirically show that our approach splits the training distribution in a reasonable way and increases the quality of the generated samples."}],"publication_status":"published","title":"Clustering meets implicit generative models","status":"public","department":[{"_id":"FrLo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14224","year":"2018","date_created":"2023-08-22T14:25:34Z","date_updated":"2023-09-13T09:08:24Z","oa_version":"Preprint","author":[{"full_name":"Locatello, Francesco","orcid":"0000-0002-4850-0683","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello","first_name":"Francesco"},{"full_name":"Vincent, Damien","first_name":"Damien","last_name":"Vincent"},{"first_name":"Ilya","last_name":"Tolstikhin","full_name":"Tolstikhin, Ilya"},{"full_name":"Ratsch, Gunnar","first_name":"Gunnar","last_name":"Ratsch"},{"first_name":"Sylvain","last_name":"Gelly","full_name":"Gelly, Sylvain"},{"full_name":"Scholkopf, Bernhard","first_name":"Bernhard","last_name":"Scholkopf"}],"scopus_import":"1","month":"05","day":"01","article_processing_charge":"No","quality_controlled":"1","publication":"6th International Conference on Learning Representations","oa":1,"citation":{"ama":"Locatello F, Vincent D, Tolstikhin I, Ratsch G, Gelly S, Scholkopf B. Clustering meets implicit generative models. In: 6th International Conference on Learning Representations. ; 2018.","apa":"Locatello, F., Vincent, D., Tolstikhin, I., Ratsch, G., Gelly, S., & Scholkopf, B. (2018). Clustering meets implicit generative models. In 6th International Conference on Learning Representations. Vancouver, Canada.","ieee":"F. Locatello, D. Vincent, I. Tolstikhin, G. Ratsch, S. Gelly, and B. Scholkopf, “Clustering meets implicit generative models,” in 6th International Conference on Learning Representations, Vancouver, Canada, 2018.","ista":"Locatello F, Vincent D, Tolstikhin I, Ratsch G, Gelly S, Scholkopf B. 2018. Clustering meets implicit generative models. 6th International Conference on Learning Representations. International Conference on Machine Learning.","short":"F. Locatello, D. Vincent, I. Tolstikhin, G. Ratsch, S. Gelly, B. Scholkopf, in:, 6th International Conference on Learning Representations, 2018.","mla":"Locatello, Francesco, et al. “Clustering Meets Implicit Generative Models.” 6th International Conference on Learning Representations, 2018.","chicago":"Locatello, Francesco, Damien Vincent, Ilya Tolstikhin, Gunnar Ratsch, Sylvain Gelly, and Bernhard Scholkopf. “Clustering Meets Implicit Generative Models.” In 6th International Conference on Learning Representations, 2018."},"external_id":{"arxiv":["1804.11130"]},"main_file_link":[{"url":"https://arxiv.org/abs/1804.11130","open_access":"1"}],"language":[{"iso":"eng"}],"conference":{"name":"International Conference on Machine Learning","end_date":"2018-05-03","start_date":"2018-04-30","location":"Vancouver, Canada"},"date_published":"2018-05-01T00:00:00Z"},{"month":"11","day":"03","article_processing_charge":"No","doi":"10.6084/m9.figshare.7295339.v1","date_published":"2018-11-03T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.6084/m9.figshare.7295339.v1"}],"citation":{"ama":"Higareda Almaraz J, Karbiener M, Giroud M, et al. Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. 2018. doi:10.6084/m9.figshare.7295339.v1","ista":"Higareda Almaraz J, Karbiener M, Giroud M, Pauler F, Gerhalter T, Herzig S, Scheideler M. 2018. Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes, Springer Nature, 10.6084/m9.figshare.7295339.v1.","apa":"Higareda Almaraz, J., Karbiener, M., Giroud, M., Pauler, F., Gerhalter, T., Herzig, S., & Scheideler, M. (2018). Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. Springer Nature. https://doi.org/10.6084/m9.figshare.7295339.v1","ieee":"J. Higareda Almaraz et al., “Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes.” Springer Nature, 2018.","mla":"Higareda Almaraz, Juan, et al. Additional File 1: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes. Springer Nature, 2018, doi:10.6084/m9.figshare.7295339.v1.","short":"J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).","chicago":"Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Additional File 1: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.7295339.v1."},"oa":1,"abstract":[{"text":"Table S1. Genes with highest betweenness. Table S2. Local and Master regulators up-regulated. Table S3. Local and Master regulators down-regulated (XLSX 23 kb).","lang":"eng"}],"type":"research_data_reference","author":[{"first_name":"Juan","last_name":"Higareda Almaraz","full_name":"Higareda Almaraz, Juan"},{"first_name":"Michael","last_name":"Karbiener","full_name":"Karbiener, Michael"},{"last_name":"Giroud","first_name":"Maude","full_name":"Giroud, Maude"},{"full_name":"Pauler, Florian","orcid":"0000-0002-7462-0048","id":"48EA0138-F248-11E8-B48F-1D18A9856A87","last_name":"Pauler","first_name":"Florian"},{"last_name":"Gerhalter","first_name":"Teresa","full_name":"Gerhalter, Teresa"},{"first_name":"Stephan","last_name":"Herzig","full_name":"Herzig, Stephan"},{"first_name":"Marcel","last_name":"Scheideler","full_name":"Scheideler, Marcel"}],"related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"20"}]},"date_updated":"2023-09-13T09:10:47Z","date_created":"2021-08-06T12:26:53Z","oa_version":"Published Version","year":"2018","_id":"9807","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","status":"public","title":"Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes","department":[{"_id":"SiHi"}],"publisher":"Springer Nature"},{"_id":"9808","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","year":"2018","department":[{"_id":"SiHi"}],"publisher":"Springer Nature","status":"public","title":"Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes","related_material":{"record":[{"id":"20","status":"public","relation":"used_in_publication"}]},"author":[{"first_name":"Juan","last_name":"Higareda Almaraz","full_name":"Higareda Almaraz, Juan"},{"first_name":"Michael","last_name":"Karbiener","full_name":"Karbiener, Michael"},{"full_name":"Giroud, Maude","last_name":"Giroud","first_name":"Maude"},{"orcid":"0000-0002-7462-0048","id":"48EA0138-F248-11E8-B48F-1D18A9856A87","last_name":"Pauler","first_name":"Florian","full_name":"Pauler, Florian"},{"full_name":"Gerhalter, Teresa","last_name":"Gerhalter","first_name":"Teresa"},{"first_name":"Stephan","last_name":"Herzig","full_name":"Herzig, Stephan"},{"last_name":"Scheideler","first_name":"Marcel","full_name":"Scheideler, Marcel"}],"oa_version":"Published Version","date_updated":"2023-09-13T09:10:47Z","date_created":"2021-08-06T12:31:57Z","type":"research_data_reference","abstract":[{"lang":"eng","text":"Table S4. Counts per Gene per Million Reads Mapped. (XLSX 2751 kb)."}],"citation":{"apa":"Higareda Almaraz, J., Karbiener, M., Giroud, M., Pauler, F., Gerhalter, T., Herzig, S., & Scheideler, M. (2018). Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. Springer Nature. https://doi.org/10.6084/m9.figshare.7295369.v1","ieee":"J. Higareda Almaraz et al., “Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes.” Springer Nature, 2018.","ista":"Higareda Almaraz J, Karbiener M, Giroud M, Pauler F, Gerhalter T, Herzig S, Scheideler M. 2018. Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes, Springer Nature, 10.6084/m9.figshare.7295369.v1.","ama":"Higareda Almaraz J, Karbiener M, Giroud M, et al. Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. 2018. doi:10.6084/m9.figshare.7295369.v1","chicago":"Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Additional File 3: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.7295369.v1.","short":"J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).","mla":"Higareda Almaraz, Juan, et al. Additional File 3: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes. Springer Nature, 2018, doi:10.6084/m9.figshare.7295369.v1."},"oa":1,"main_file_link":[{"url":"https://doi.org/10.6084/m9.figshare.7295369.v1","open_access":"1"}],"doi":"10.6084/m9.figshare.7295369.v1","date_published":"2018-11-03T00:00:00Z","article_processing_charge":"No","day":"03","month":"11"},{"date_published":"2018-06-01T00:00:00Z","citation":{"ama":"Alwen JF, Gazi P, Kamath Hosdurg C, et al. On the memory hardness of data independent password hashing functions. In: Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ACM; 2018:51-65. doi:10.1145/3196494.3196534","ista":"Alwen JF, Gazi P, Kamath Hosdurg C, Klein K, Osang GF, Pietrzak KZ, Reyzin L, Rolinek M, Rybar M. 2018. On the memory hardness of data independent password hashing functions. Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ASIACCS: Asia Conference on Computer and Communications Security , 51–65.","ieee":"J. F. Alwen et al., “On the memory hardness of data independent password hashing functions,” in Proceedings of the 2018 on Asia Conference on Computer and Communication Security, Incheon, Republic of Korea, 2018, pp. 51–65.","apa":"Alwen, J. F., Gazi, P., Kamath Hosdurg, C., Klein, K., Osang, G. F., Pietrzak, K. Z., … Rybar, M. (2018). On the memory hardness of data independent password hashing functions. In Proceedings of the 2018 on Asia Conference on Computer and Communication Security (pp. 51–65). Incheon, Republic of Korea: ACM. https://doi.org/10.1145/3196494.3196534","mla":"Alwen, Joel F., et al. “On the Memory Hardness of Data Independent Password Hashing Functions.” Proceedings of the 2018 on Asia Conference on Computer and Communication Security, ACM, 2018, pp. 51–65, doi:10.1145/3196494.3196534.","short":"J.F. Alwen, P. Gazi, C. Kamath Hosdurg, K. Klein, G.F. Osang, K.Z. Pietrzak, L. Reyzin, M. Rolinek, M. Rybar, in:, Proceedings of the 2018 on Asia Conference on Computer and Communication Security, ACM, 2018, pp. 51–65.","chicago":"Alwen, Joel F, Peter Gazi, Chethan Kamath Hosdurg, Karen Klein, Georg F Osang, Krzysztof Z Pietrzak, Lenoid Reyzin, Michal Rolinek, and Michal Rybar. “On the Memory Hardness of Data Independent Password Hashing Functions.” In Proceedings of the 2018 on Asia Conference on Computer and Communication Security, 51–65. ACM, 2018. https://doi.org/10.1145/3196494.3196534."},"publication":"Proceedings of the 2018 on Asia Conference on Computer and Communication Security","page":"51 - 65","article_processing_charge":"No","day":"01","scopus_import":"1","oa_version":"Submitted Version","_id":"193","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","title":"On the memory hardness of data independent password hashing functions","abstract":[{"text":"We show attacks on five data-independent memory-hard functions (iMHF) that were submitted to the password hashing competition (PHC). Informally, an MHF is a function which cannot be evaluated on dedicated hardware, like ASICs, at significantly lower hardware and/or energy cost than evaluating a single instance on a standard single-core architecture. Data-independent means the memory access pattern of the function is independent of the input; this makes iMHFs harder to construct than data-dependent ones, but the latter can be attacked by various side-channel attacks. Following [Alwen-Blocki'16], we capture the evaluation of an iMHF as a directed acyclic graph (DAG). The cumulative parallel pebbling complexity of this DAG is a measure for the hardware cost of evaluating the iMHF on an ASIC. Ideally, one would like the complexity of a DAG underlying an iMHF to be as close to quadratic in the number of nodes of the graph as possible. Instead, we show that (the DAGs underlying) the following iMHFs are far from this bound: Rig.v2, TwoCats and Gambit each having an exponent no more than 1.75. Moreover, we show that the complexity of the iMHF modes of the PHC finalists Pomelo and Lyra2 have exponents at most 1.83 and 1.67 respectively. To show this we investigate a combinatorial property of each underlying DAG (called its depth-robustness. By establishing upper bounds on this property we are then able to apply the general technique of [Alwen-Block'16] for analyzing the hardware costs of an iMHF.","lang":"eng"}],"type":"conference","doi":"10.1145/3196494.3196534","conference":{"name":"ASIACCS: Asia Conference on Computer and Communications Security ","end_date":"2018-06-08","start_date":"2018-06-04","location":"Incheon, Republic of Korea"},"language":[{"iso":"eng"}],"oa":1,"external_id":{"isi":["000516620100005"]},"main_file_link":[{"url":"https://eprint.iacr.org/2016/783","open_access":"1"}],"project":[{"_id":"25FBA906-B435-11E9-9278-68D0E5697425","grant_number":"616160","call_identifier":"FP7","name":"Discrete Optimization in Computer Vision: Theory and Practice"},{"call_identifier":"H2020","name":"Teaching Old Crypto New Tricks","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"month":"06","author":[{"id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87","last_name":"Alwen","first_name":"Joel F","full_name":"Alwen, Joel F"},{"last_name":"Gazi","first_name":"Peter","full_name":"Gazi, Peter"},{"last_name":"Kamath Hosdurg","first_name":"Chethan","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","full_name":"Kamath Hosdurg, Chethan"},{"full_name":"Klein, Karen","last_name":"Klein","first_name":"Karen","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Osang, Georg F","first_name":"Georg F","last_name":"Osang","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8882-5116"},{"full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654"},{"full_name":"Reyzin, Lenoid","last_name":"Reyzin","first_name":"Lenoid"},{"full_name":"Rolinek, Michal","first_name":"Michal","last_name":"Rolinek","id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Rybar, Michal","first_name":"Michal","last_name":"Rybar","id":"2B3E3DE8-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2018-12-11T11:45:07Z","date_updated":"2023-09-13T09:13:12Z","acknowledgement":"Leonid Reyzin was supported in part by IST Austria and by US NSF grants 1012910, 1012798, and 1422965; this research was performed while he was visiting IST Austria.","year":"2018","department":[{"_id":"KrPi"},{"_id":"HeEd"},{"_id":"VlKo"}],"publisher":"ACM","publication_status":"published","publist_id":"7723","ec_funded":1},{"day":"31","article_processing_charge":"No","scopus_import":"1","date_published":"2018-03-31T00:00:00Z","citation":{"short":"D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.","mla":"Micciancio, Daniele, and Michael Walter. On the Bit Security of Cryptographic Primitives. Vol. 10820, Springer, 2018, pp. 3–28, doi:10.1007/978-3-319-78381-9_1.","chicago":"Micciancio, Daniele, and Michael Walter. “On the Bit Security of Cryptographic Primitives,” 10820:3–28. Springer, 2018. https://doi.org/10.1007/978-3-319-78381-9_1.","ama":"Micciancio D, Walter M. On the bit security of cryptographic primitives. In: Vol 10820. Springer; 2018:3-28. doi:10.1007/978-3-319-78381-9_1","apa":"Micciancio, D., & Walter, M. (2018). On the bit security of cryptographic primitives (Vol. 10820, pp. 3–28). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78381-9_1","ieee":"D. Micciancio and M. Walter, “On the bit security of cryptographic primitives,” presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10820, pp. 3–28.","ista":"Micciancio D, Walter M. 2018. On the bit security of cryptographic primitives. Eurocrypt: Advances in Cryptology, LNCS, vol. 10820, 3–28."},"page":"3 - 28","abstract":[{"text":"We introduce a formal quantitative notion of “bit security” for a general type of cryptographic games (capturing both decision and search problems), aimed at capturing the intuition that a cryptographic primitive with k-bit security is as hard to break as an ideal cryptographic function requiring a brute force attack on a k-bit key space. Our new definition matches the notion of bit security commonly used by cryptographers and cryptanalysts when studying search (e.g., key recovery) problems, where the use of the traditional definition is well established. However, it produces a quantitatively different metric in the case of decision (indistinguishability) problems, where the use of (a straightforward generalization of) the traditional definition is more problematic and leads to a number of paradoxical situations or mismatches between theoretical/provable security and practical/common sense intuition. Key to our new definition is to consider adversaries that may explicitly declare failure of the attack. We support and justify the new definition by proving a number of technical results, including tight reductions between several standard cryptographic problems, a new hybrid theorem that preserves bit security, and an application to the security analysis of indistinguishability primitives making use of (approximate) floating point numbers. This is the first result showing that (standard precision) 53-bit floating point numbers can be used to achieve 100-bit security in the context of cryptographic primitives with general indistinguishability-based security definitions. Previous results of this type applied only to search problems, or special types of decision problems.","lang":"eng"}],"type":"conference","alternative_title":["LNCS"],"oa_version":"Submitted Version","_id":"300","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"On the bit security of cryptographic primitives","status":"public","intvolume":" 10820","month":"03","conference":{"end_date":"2018-05-03","start_date":"2018-04-29","location":"Tel Aviv, Israel","name":"Eurocrypt: Advances in Cryptology"},"doi":"10.1007/978-3-319-78381-9_1","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://eprint.iacr.org/2018/077","open_access":"1"}],"oa":1,"external_id":{"isi":["000517097500001"]},"quality_controlled":"1","isi":1,"project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020"}],"publist_id":"7581","ec_funded":1,"author":[{"full_name":"Micciancio, Daniele","first_name":"Daniele","last_name":"Micciancio"},{"full_name":"Walter, Michael","orcid":"0000-0003-3186-2482","id":"488F98B0-F248-11E8-B48F-1D18A9856A87","last_name":"Walter","first_name":"Michael"}],"date_updated":"2023-09-13T09:12:04Z","date_created":"2018-12-11T11:45:42Z","volume":10820,"acknowledgement":"Research supported in part by the Defense Advanced Research Projects Agency (DARPA) and the U.S. Army Research Office under the SafeWare program. Opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views, position or policy of the Government. The second author was also supported by the European Research Council, ERC consolidator grant (682815 - TOCNeT).","year":"2018","publication_status":"published","department":[{"_id":"KrPi"}],"publisher":"Springer"},{"type":"journal_article","abstract":[{"lang":"eng","text":"Motivated by biological questions, we study configurations of equal spheres that neither pack nor cover. Placing their centers on a lattice, we define the soft density of the configuration by penalizing multiple overlaps. Considering the 1-parameter family of diagonally distorted 3-dimensional integer lattices, we show that the soft density is maximized at the FCC lattice."}],"issue":"1","_id":"312","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"On the optimality of the FCC lattice for soft sphere packing","status":"public","intvolume":" 32","oa_version":"Submitted Version","scopus_import":"1","day":"29","article_processing_charge":"No","publication":"SIAM J Discrete Math","citation":{"chicago":"Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/16M1097201.","short":"H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.","mla":"Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math, vol. 32, no. 1, Society for Industrial and Applied Mathematics , 2018, pp. 750–82, doi:10.1137/16M1097201.","ieee":"H. Edelsbrunner and M. Iglesias Ham, “On the optimality of the FCC lattice for soft sphere packing,” SIAM J Discrete Math, vol. 32, no. 1. Society for Industrial and Applied Mathematics , pp. 750–782, 2018.","apa":"Edelsbrunner, H., & Iglesias Ham, M. (2018). On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/16M1097201","ista":"Edelsbrunner H, Iglesias Ham M. 2018. On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. 32(1), 750–782.","ama":"Edelsbrunner H, Iglesias Ham M. On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. 2018;32(1):750-782. doi:10.1137/16M1097201"},"article_type":"original","page":"750 - 782","date_published":"2018-03-29T00:00:00Z","publist_id":"7553","year":"2018","acknowledgement":"This work was partially supported by the DFG Collaborative Research Center TRR 109, “Discretization in Geometry and Dynamics,” through grant I02979-N35 of the Austrian Science Fund (FWF).","publication_status":"published","department":[{"_id":"HeEd"}],"publisher":"Society for Industrial and Applied Mathematics ","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","first_name":"Herbert","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert"},{"id":"41B58C0C-F248-11E8-B48F-1D18A9856A87","last_name":"Iglesias Ham","first_name":"Mabel","full_name":"Iglesias Ham, Mabel"}],"date_updated":"2023-09-13T09:34:38Z","date_created":"2018-12-11T11:45:46Z","volume":32,"month":"03","publication_identifier":{"issn":["08954801"]},"oa":1,"external_id":{"isi":["000428958900038"]},"main_file_link":[{"url":"http://pdfs.semanticscholar.org/d2d5/6da00fbc674e6a8b1bb9d857167e54200dc6.pdf","open_access":"1"}],"isi":1,"quality_controlled":"1","project":[{"name":"Persistence and stability of geometric complexes","call_identifier":"FWF","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35"}],"doi":"10.1137/16M1097201","language":[{"iso":"eng"}]},{"date_published":"2018-04-01T00:00:00Z","page":"412-414","article_type":"original","citation":{"ieee":"A. Akopyan, “On the number of non-hexagons in a planar tiling,” Comptes Rendus Mathematique, vol. 356, no. 4. Elsevier, pp. 412–414, 2018.","apa":"Akopyan, A. (2018). On the number of non-hexagons in a planar tiling. Comptes Rendus Mathematique. Elsevier. https://doi.org/10.1016/j.crma.2018.03.005","ista":"Akopyan A. 2018. On the number of non-hexagons in a planar tiling. Comptes Rendus Mathematique. 356(4), 412–414.","ama":"Akopyan A. On the number of non-hexagons in a planar tiling. Comptes Rendus Mathematique. 2018;356(4):412-414. doi:10.1016/j.crma.2018.03.005","chicago":"Akopyan, Arseniy. “On the Number of Non-Hexagons in a Planar Tiling.” Comptes Rendus Mathematique. Elsevier, 2018. https://doi.org/10.1016/j.crma.2018.03.005.","short":"A. Akopyan, Comptes Rendus Mathematique 356 (2018) 412–414.","mla":"Akopyan, Arseniy. “On the Number of Non-Hexagons in a Planar Tiling.” Comptes Rendus Mathematique, vol. 356, no. 4, Elsevier, 2018, pp. 412–14, doi:10.1016/j.crma.2018.03.005."},"publication":"Comptes Rendus Mathematique","article_processing_charge":"No","day":"01","scopus_import":"1","oa_version":"Preprint","intvolume":" 356","title":"On the number of non-hexagons in a planar tiling","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"409","issue":"4","abstract":[{"text":"We give a simple proof of T. Stehling's result [4], whereby in any normal tiling of the plane with convex polygons with number of sides not less than six, all tiles except a finite number are hexagons.","lang":"eng"}],"type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1016/j.crma.2018.03.005","quality_controlled":"1","isi":1,"external_id":{"arxiv":["1805.01652"],"isi":["000430402700009"]},"oa":1,"main_file_link":[{"url":"https://arxiv.org/abs/1805.01652","open_access":"1"}],"publication_identifier":{"issn":["1631073X"]},"month":"04","volume":356,"date_updated":"2023-09-13T09:34:12Z","date_created":"2018-12-11T11:46:19Z","author":[{"last_name":"Akopyan","first_name":"Arseniy","orcid":"0000-0002-2548-617X","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","full_name":"Akopyan, Arseniy"}],"publisher":"Elsevier","department":[{"_id":"HeEd"}],"publication_status":"published","year":"2018","publist_id":"7420"},{"file_date_updated":"2020-07-14T12:46:25Z","ec_funded":1,"publist_id":"7404","year":"2018","publication_status":"published","publisher":"Nature Publishing Group","department":[{"_id":"KrCh"}],"author":[{"first_name":"Christian","last_name":"Hilbe","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5116-955X","full_name":"Hilbe, Christian"},{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Nowak","first_name":"Martin","full_name":"Nowak, Martin"}],"related_material":{"link":[{"relation":"erratum","url":"http://doi.org/10.1038/s41562-018-0342-3"}]},"date_updated":"2023-09-13T09:38:54Z","date_created":"2018-12-11T11:46:22Z","volume":2,"month":"03","oa":1,"external_id":{"isi":["000446612000016"]},"isi":1,"quality_controlled":"1","project":[{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"doi":"10.1038/s41562-018-0320-9","language":[{"iso":"eng"}],"type":"journal_article","abstract":[{"text":"Reciprocity is a major factor in human social life and accounts for a large part of cooperation in our communities. Direct reciprocity arises when repeated interactions occur between the same individuals. The framework of iterated games formalizes this phenomenon. Despite being introduced more than five decades ago, the concept keeps offering beautiful surprises. Recent theoretical research driven by new mathematical tools has proposed a remarkable dichotomy among the crucial strategies: successful individuals either act as partners or as rivals. Rivals strive for unilateral advantages by applying selfish or extortionate strategies. Partners aim to share the payoff for mutual cooperation, but are ready to fight back when being exploited. Which of these behaviours evolves depends on the environment. Whereas small population sizes and a limited number of rounds favour rivalry, partner strategies are selected when populations are large and relationships stable. Only partners allow for evolution of cooperation, while the rivals’ attempt to put themselves first leads to defection. Hilbe et al. synthesize recent theoretical work on zero-determinant and ‘rival’ versus ‘partner’ strategies in social dilemmas. They describe the environments under which these contrasting selfish or cooperative strategies emerge in evolution.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"419","status":"public","title":"Partners and rivals in direct reciprocity","ddc":["000"],"intvolume":" 2","oa_version":"Submitted Version","file":[{"date_updated":"2020-07-14T12:46:25Z","date_created":"2019-11-19T08:19:51Z","checksum":"571b8cc0ba14e8d5d8b18e439a9835eb","relation":"main_file","file_id":"7052","content_type":"application/pdf","file_size":598033,"creator":"dernst","file_name":"2018_NatureHumanBeh_Hilbe.pdf","access_level":"open_access"}],"scopus_import":"1","day":"19","article_processing_charge":"No","has_accepted_license":"1","publication":"Nature Human Behaviour","citation":{"ieee":"C. Hilbe, K. Chatterjee, and M. Nowak, “Partners and rivals in direct reciprocity,” Nature Human Behaviour, vol. 2. Nature Publishing Group, pp. 469–477, 2018.","apa":"Hilbe, C., Chatterjee, K., & Nowak, M. (2018). Partners and rivals in direct reciprocity. Nature Human Behaviour. Nature Publishing Group. https://doi.org/10.1038/s41562-018-0320-9","ista":"Hilbe C, Chatterjee K, Nowak M. 2018. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2, 469–477.","ama":"Hilbe C, Chatterjee K, Nowak M. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2018;2:469–477. doi:10.1038/s41562-018-0320-9","chicago":"Hilbe, Christian, Krishnendu Chatterjee, and Martin Nowak. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour. Nature Publishing Group, 2018. https://doi.org/10.1038/s41562-018-0320-9.","short":"C. Hilbe, K. Chatterjee, M. Nowak, Nature Human Behaviour 2 (2018) 469–477.","mla":"Hilbe, Christian, et al. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour, vol. 2, Nature Publishing Group, 2018, pp. 469–477, doi:10.1038/s41562-018-0320-9."},"article_type":"review","page":"469–477","date_published":"2018-03-19T00:00:00Z"},{"citation":{"chicago":"Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_13.","mla":"Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.","short":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.","ista":"Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 215–232.","ieee":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.","apa":"Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018). Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_13","ama":"Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:10.1007/978-3-030-00151-3_13"},"page":"215 - 232","date_published":"2018-08-26T00:00:00Z","scopus_import":"1","day":"26","article_processing_charge":"No","has_accepted_license":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"78","title":"Online timed pattern matching using automata","status":"public","ddc":["000"],"intvolume":" 11022","file":[{"file_name":"2018_LNCS_Bakhirkin.pdf","access_level":"open_access","file_size":374851,"content_type":"application/pdf","creator":"dernst","relation":"main_file","file_id":"7831","date_updated":"2020-07-14T12:48:03Z","date_created":"2020-05-14T11:34:34Z","checksum":"436b7574934324cfa7d1d3986fddc65b"}],"oa_version":"Submitted Version","type":"conference","alternative_title":["LNCS"],"abstract":[{"text":"We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated.","lang":"eng"}],"oa":1,"external_id":{"isi":["000884993200013"]},"isi":1,"quality_controlled":"1","project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"conference":{"end_date":"2018-09-06","location":"Bejing, China","start_date":"2018-09-04","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"doi":"10.1007/978-3-030-00151-3_13","language":[{"iso":"eng"}],"month":"08","publication_identifier":{"isbn":["978-3-030-00150-6"]},"year":"2018","publication_status":"published","publisher":"Springer","department":[{"_id":"ToHe"}],"author":[{"first_name":"Alexey","last_name":"Bakhirkin","full_name":"Bakhirkin, Alexey"},{"full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","first_name":"Thomas"},{"last_name":"Nickovic","first_name":"Dejan","full_name":"Nickovic, Dejan"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"full_name":"Asarin, Eugene","first_name":"Eugene","last_name":"Asarin"}],"date_updated":"2023-09-13T09:35:46Z","date_created":"2018-12-11T11:44:31Z","volume":11022,"file_date_updated":"2020-07-14T12:48:03Z","publist_id":"7976"},{"file":[{"creator":"system","file_size":1850530,"content_type":"application/pdf","access_level":"open_access","file_name":"IST-2018-1016-v1+1_2018_Brauns_Palladium_gates.pdf","checksum":"20af238ca4ba6491b77270be8d826bf5","date_updated":"2020-07-14T12:46:02Z","date_created":"2018-12-12T10:17:04Z","file_id":"5256","relation":"main_file"}],"oa_version":"Published Version","pubrep_id":"1016","title":"Palladium gates for reproducible quantum dots in silicon","ddc":["539"],"status":"public","intvolume":" 8","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"317","abstract":[{"text":"We replace the established aluminium gates for the formation of quantum dots in silicon with gates made from palladium. We study the morphology of both aluminium and palladium gates with transmission electron microscopy. The native aluminium oxide is found to be formed all around the aluminium gates, which could lead to the formation of unintentional dots. Therefore, we report on a novel fabrication route that replaces aluminium and its native oxide by palladium with atomic-layer-deposition-grown aluminium oxide. Using this approach, we show the formation of low-disorder gate-defined quantum dots, which are reproducibly fabricated. Furthermore, palladium enables us to further shrink the gate design, allowing us to perform electron transport measurements in the few-electron regime in devices comprising only two gate layers, a major technological advancement. It remains to be seen, whether the introduction of palladium gates can improve the excellent results on electron and nuclear spin qubits defined with an aluminium gate stack.","lang":"eng"}],"issue":"1","type":"journal_article","date_published":"2018-04-09T00:00:00Z","publication":"Scientific Reports","citation":{"mla":"Brauns, Matthias, et al. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports, vol. 8, no. 1, 5690, Nature Publishing Group, 2018, doi:10.1038/s41598-018-24004-y.","short":"M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports 8 (2018).","chicago":"Brauns, Matthias, Sergey Amitonov, Paul Spruijtenburg, and Floris Zwanenburg. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-24004-y.","ama":"Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. Palladium gates for reproducible quantum dots in silicon. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-24004-y","ista":"Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. 2018. Palladium gates for reproducible quantum dots in silicon. Scientific Reports. 8(1), 5690.","ieee":"M. Brauns, S. Amitonov, P. Spruijtenburg, and F. Zwanenburg, “Palladium gates for reproducible quantum dots in silicon,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.","apa":"Brauns, M., Amitonov, S., Spruijtenburg, P., & Zwanenburg, F. (2018). Palladium gates for reproducible quantum dots in silicon. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-24004-y"},"day":"09","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","date_updated":"2023-09-13T09:38:00Z","date_created":"2018-12-11T11:45:47Z","volume":8,"author":[{"last_name":"Brauns","first_name":"Matthias","id":"33F94E3C-F248-11E8-B48F-1D18A9856A87","full_name":"Brauns, Matthias"},{"full_name":"Amitonov, Sergey","last_name":"Amitonov","first_name":"Sergey"},{"full_name":"Spruijtenburg, Paul","first_name":"Paul","last_name":"Spruijtenburg"},{"full_name":"Zwanenburg, Floris","first_name":"Floris","last_name":"Zwanenburg"}],"publication_status":"published","department":[{"_id":"GeKa"}],"publisher":"Nature Publishing Group","year":"2018","file_date_updated":"2020-07-14T12:46:02Z","publist_id":"7548","article_number":"5690","language":[{"iso":"eng"}],"doi":"10.1038/s41598-018-24004-y","quality_controlled":"1","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000429404300013"]},"oa":1,"month":"04"},{"doi":"10.1096/fj.201800443","language":[{"iso":"eng"}],"main_file_link":[{"url":" https://doi.org/10.1096/fj.201800443","open_access":"1"}],"external_id":{"pmid":["29939785"],"isi":["000449359700035"]},"oa":1,"project":[{"name":"Individual function and social role of oxytocin-like neuropeptides in ants","_id":"25E3D34E-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"publication_identifier":{"issn":["08926638"]},"month":"11","author":[{"first_name":"Zita","last_name":"Liutkeviciute","full_name":"Liutkeviciute, Zita"},{"first_name":"Esther","last_name":"Gil Mansilla","full_name":"Gil Mansilla, Esther"},{"full_name":"Eder, Thomas","first_name":"Thomas","last_name":"Eder"},{"id":"351ED2AA-F248-11E8-B48F-1D18A9856A87","last_name":"Casillas Perez","first_name":"Barbara E","full_name":"Casillas Perez, Barbara E"},{"full_name":"Giulia Di Giglio, Maria","first_name":"Maria","last_name":"Giulia Di Giglio"},{"first_name":"Edin","last_name":"Muratspahić","full_name":"Muratspahić, Edin"},{"last_name":"Grebien","first_name":"Florian","full_name":"Grebien, Florian"},{"last_name":"Rattei","first_name":"Thomas","full_name":"Rattei, Thomas"},{"first_name":"Markus","last_name":"Muttenthaler","full_name":"Muttenthaler, Markus"},{"full_name":"Cremer, Sylvia","last_name":"Cremer","first_name":"Sylvia","orcid":"0000-0002-2193-3868","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Gruber, Christian","last_name":"Gruber","first_name":"Christian"}],"volume":32,"date_created":"2018-12-11T11:45:08Z","date_updated":"2023-09-13T09:37:32Z","pmid":1,"year":"2018","department":[{"_id":"SyCr"}],"publisher":"FASEB","publication_status":"published","publist_id":"7721","date_published":"2018-11-29T00:00:00Z","citation":{"chicago":"Liutkeviciute, Zita, Esther Gil Mansilla, Thomas Eder, Barbara E Casillas Perez, Maria Giulia Di Giglio, Edin Muratspahić, Florian Grebien, et al. “Oxytocin-like Signaling in Ants Influences Metabolic Gene Expression and Locomotor Activity.” The FASEB Journal. FASEB, 2018. https://doi.org/10.1096/fj.201800443.","short":"Z. Liutkeviciute, E. Gil Mansilla, T. Eder, B.E. Casillas Perez, M. Giulia Di Giglio, E. Muratspahić, F. Grebien, T. Rattei, M. Muttenthaler, S. Cremer, C. Gruber, The FASEB Journal 32 (2018) 6808–6821.","mla":"Liutkeviciute, Zita, et al. “Oxytocin-like Signaling in Ants Influences Metabolic Gene Expression and Locomotor Activity.” The FASEB Journal, vol. 32, no. 12, FASEB, 2018, pp. 6808–21, doi:10.1096/fj.201800443.","apa":"Liutkeviciute, Z., Gil Mansilla, E., Eder, T., Casillas Perez, B. E., Giulia Di Giglio, M., Muratspahić, E., … Gruber, C. (2018). Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. FASEB. https://doi.org/10.1096/fj.201800443","ieee":"Z. Liutkeviciute et al., “Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity,” The FASEB Journal, vol. 32, no. 12. FASEB, pp. 6808–6821, 2018.","ista":"Liutkeviciute Z, Gil Mansilla E, Eder T, Casillas Perez BE, Giulia Di Giglio M, Muratspahić E, Grebien F, Rattei T, Muttenthaler M, Cremer S, Gruber C. 2018. Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. 32(12), 6808–6821.","ama":"Liutkeviciute Z, Gil Mansilla E, Eder T, et al. Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. 2018;32(12):6808-6821. doi:10.1096/fj.201800443"},"publication":"The FASEB Journal","page":"6808-6821","article_type":"original","article_processing_charge":"No","day":"29","scopus_import":"1","oa_version":"Published Version","_id":"194","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 32","status":"public","title":"Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity","issue":"12","abstract":[{"text":"Ants are emerging model systems to study cellular signaling because distinct castes possess different physiologic phenotypes within the same colony. Here we studied the functionality of inotocin signaling, an insect ortholog of mammalian oxytocin (OT), which was recently discovered in ants. In Lasius ants, we determined that specialization within the colony, seasonal factors, and physiologic conditions down-regulated the expression of the OT-like signaling system. Given this natural variation, we interrogated its function using RNAi knockdowns. Next-generation RNA sequencing of OT-like precursor knock-down ants highlighted its role in the regulation of genes involved in metabolism. Knock-down ants exhibited higher walking activity and increased self-grooming in the brood chamber. We propose that OT-like signaling in ants is important for regulating metabolic processes and locomotion.","lang":"eng"}],"type":"journal_article"},{"issue":"8","abstract":[{"lang":"eng","text":"L-type Ca2+ channels (LTCCs) play a crucial role in excitation-contraction coupling and release of hormones from secretory cells. They are targets of antihypertensive and antiarrhythmic drugs such as diltiazem. Here, we present a photoswitchable diltiazem, FHU-779, which can be used to reversibly block endogenous LTCCs by light. FHU-779 is as potent as diltiazem and can be used to place pancreatic β-cell function and cardiac activity under optical control."}],"type":"journal_article","oa_version":"Submitted Version","file":[{"creator":"dernst","content_type":"application/pdf","file_size":6321000,"file_name":"2018_NatureChemicalBiology_Fehrentz.pdf","access_level":"open_access","date_created":"2020-05-14T12:14:09Z","date_updated":"2020-07-14T12:45:03Z","checksum":"d42935094ec845f54a0688bf12986d62","file_id":"7832","relation":"main_file"}],"intvolume":" 14","ddc":["570"],"status":"public","title":"Optical control of L-type Ca2+ channels using a diltiazem photoswitch","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"159","article_processing_charge":"No","has_accepted_license":"1","day":"16","scopus_import":"1","date_published":"2018-07-16T00:00:00Z","page":"764 - 767","article_type":"original","citation":{"chicago":"Fehrentz, Timm, Florian Huber, Nina Hartrampf, Tobias Bruegmann, James Frank, Nicholas Fine, Daniela Malan, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem Photoswitch.” Nature Chemical Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41589-018-0090-8.","short":"T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D. Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N. Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.","mla":"Fehrentz, Timm, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem Photoswitch.” Nature Chemical Biology, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 764–67, doi:10.1038/s41589-018-0090-8.","apa":"Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N., … Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0090-8","ieee":"T. Fehrentz et al., “Optical control of L-type Ca2+ channels using a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature Publishing Group, pp. 764–767, 2018.","ista":"Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 14(8), 764–767.","ama":"Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 2018;14(8):764-767. doi:10.1038/s41589-018-0090-8"},"publication":"Nature Chemical Biology","publist_id":"7762","file_date_updated":"2020-07-14T12:45:03Z","volume":14,"date_updated":"2023-09-13T09:36:35Z","date_created":"2018-12-11T11:44:56Z","related_material":{"link":[{"url":"https://doi.org/10.1038/s41589-021-00744-3","relation":"erratum"}]},"author":[{"last_name":"Fehrentz","first_name":"Timm","full_name":"Fehrentz, Timm"},{"last_name":"Huber","first_name":"Florian","full_name":"Huber, Florian"},{"full_name":"Hartrampf, Nina","last_name":"Hartrampf","first_name":"Nina"},{"first_name":"Tobias","last_name":"Bruegmann","full_name":"Bruegmann, Tobias"},{"full_name":"Frank, James","last_name":"Frank","first_name":"James"},{"full_name":"Fine, Nicholas","last_name":"Fine","first_name":"Nicholas"},{"full_name":"Malan, Daniela","first_name":"Daniela","last_name":"Malan"},{"full_name":"Danzl, Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8559-3973","first_name":"Johann G","last_name":"Danzl"},{"full_name":"Tikhonov, Denis","first_name":"Denis","last_name":"Tikhonov"},{"full_name":"Sumser, Maritn","last_name":"Sumser","first_name":"Maritn"},{"last_name":"Sasse","first_name":"Philipp","full_name":"Sasse, Philipp"},{"full_name":"Hodson, David","last_name":"Hodson","first_name":"David"},{"full_name":"Zhorov, Boris","first_name":"Boris","last_name":"Zhorov"},{"full_name":"Klocker, Nikolaj","first_name":"Nikolaj","last_name":"Klocker"},{"full_name":"Trauner, Dirk","last_name":"Trauner","first_name":"Dirk"}],"publisher":"Nature Publishing Group","department":[{"_id":"JoDa"}],"publication_status":"published","year":"2018","month":"07","language":[{"iso":"eng"}],"doi":"10.1038/s41589-018-0090-8","isi":1,"quality_controlled":"1","external_id":{"isi":["000438970200010"]},"oa":1},{"title":"Parameter-independent strategies for pMDPs via POMDPs","status":"public","intvolume":" 11024","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"79","oa_version":"Preprint","alternative_title":["LNCS"],"type":"conference","abstract":[{"lang":"eng","text":"Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances. We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-independent strategies that are expectation optimal, i.e., optimize the expected reachability probability under the probability distribution over the parameters. We present an encoding of our problem to partially observable MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating (repeated) learner model; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol."}],"page":"53-70","citation":{"ieee":"S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.","apa":"Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., & Sokolova, A. (2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp. 53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China: Springer. https://doi.org/10.1007/978-3-319-99154-2_4","ista":"Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024, 53–70.","ama":"Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. Parameter-independent strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:10.1007/978-3-319-99154-2_4","chicago":"Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.","short":"S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.","mla":"Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4."},"date_published":"2018-08-15T00:00:00Z","scopus_import":"1","day":"15","article_processing_charge":"No","publication_status":"published","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publisher":"Springer","year":"2018","date_created":"2018-12-11T11:44:31Z","date_updated":"2023-09-13T09:38:28Z","volume":11024,"author":[{"last_name":"Arming","first_name":"Sebastian","full_name":"Arming, Sebastian"},{"first_name":"Ezio","last_name":"Bartocci","full_name":"Bartocci, Ezio"},{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"4524F760-F248-11E8-B48F-1D18A9856A87","first_name":"Joost P","last_name":"Katoen","full_name":"Katoen, Joost P"},{"full_name":"Sokolova, Ana","first_name":"Ana","last_name":"Sokolova"}],"publist_id":"7975","quality_controlled":"1","isi":1,"external_id":{"isi":["000548912200004"],"arxiv":["1806.05126"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.05126"}],"language":[{"iso":"eng"}],"conference":{"name":"QEST: Quantitative Evaluation of Systems","start_date":"2018-09-04","location":"Beijing, China","end_date":"2018-09-07"},"doi":"10.1007/978-3-319-99154-2_4","month":"08"},{"abstract":[{"text":"A common assumption in causal modeling posits that the data is generated by a\r\nset of independent mechanisms, and algorithms should aim to recover this\r\nstructure. Standard unsupervised learning, however, is often concerned with\r\ntraining a single model to capture the overall distribution or aspects thereof.\r\nInspired by clustering approaches, we consider mixtures of implicit generative\r\nmodels that ``disentangle'' the independent generative mechanisms underlying\r\nthe data. Relying on an additional set of discriminators, we propose a\r\ncompetitive training procedure in which the models only need to capture the\r\nportion of the data distribution from which they can produce realistic samples.\r\nAs a by-product, each model is simpler and faster to train. We empirically show\r\nthat our approach splits the training distribution in a sensible way and\r\nincreases the quality of the generated samples.","lang":"eng"}],"extern":"1","type":"preprint","article_number":"1804.11130","author":[{"full_name":"Locatello, Francesco","first_name":"Francesco","last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","orcid":"0000-0002-4850-0683"},{"full_name":"Vincent, Damien","first_name":"Damien","last_name":"Vincent"},{"full_name":"Tolstikhin, Ilya","first_name":"Ilya","last_name":"Tolstikhin"},{"full_name":"Rätsch, Gunnar","last_name":"Rätsch","first_name":"Gunnar"},{"last_name":"Gelly","first_name":"Sylvain","full_name":"Gelly, Sylvain"},{"last_name":"Schölkopf","first_name":"Bernhard","full_name":"Schölkopf, Bernhard"}],"oa_version":"Preprint","date_updated":"2023-09-13T12:23:03Z","date_created":"2023-09-13T12:20:49Z","year":"2018","_id":"14327","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"FrLo"}],"status":"public","publication_status":"submitted","title":"Competitive training of mixtures of independent deep generative models","article_processing_charge":"No","day":"30","month":"04","date_published":"2018-04-30T00:00:00Z","doi":"10.48550/arXiv.1804.11130","language":[{"iso":"eng"}],"external_id":{"arxiv":["1804.11130"]},"oa":1,"citation":{"chicago":"Locatello, Francesco, Damien Vincent, Ilya Tolstikhin, Gunnar Rätsch, Sylvain Gelly, and Bernhard Schölkopf. “Competitive Training of Mixtures of Independent Deep Generative Models.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1804.11130.","mla":"Locatello, Francesco, et al. “Competitive Training of Mixtures of Independent Deep Generative Models.” ArXiv, 1804.11130, doi:10.48550/arXiv.1804.11130.","short":"F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, B. Schölkopf, ArXiv (n.d.).","ista":"Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv, 1804.11130.","ieee":"F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, and B. Schölkopf, “Competitive training of mixtures of independent deep generative models,” arXiv. .","apa":"Locatello, F., Vincent, D., Tolstikhin, I., Rätsch, G., Gelly, S., & Schölkopf, B. (n.d.). Competitive training of mixtures of independent deep generative models. arXiv. https://doi.org/10.48550/arXiv.1804.11130","ama":"Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv. doi:10.48550/arXiv.1804.11130"},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1804.11130"}],"publication":"arXiv"},{"month":"05","language":[{"iso":"eng"}],"doi":"10.1007/s00023-018-0665-7","quality_controlled":"1","isi":1,"project":[{"name":"Analysis of quantum many-body systems","call_identifier":"H2020","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000429799900008"]},"file_date_updated":"2020-07-14T12:46:22Z","publist_id":"7429","ec_funded":1,"date_updated":"2023-09-15T12:04:15Z","date_created":"2018-12-11T11:46:15Z","volume":19,"author":[{"full_name":"Deuchert, Andreas","last_name":"Deuchert","first_name":"Andreas","orcid":"0000-0003-3146-6746","id":"4DA65CD0-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Geisinge","first_name":"Alissa","full_name":"Geisinge, Alissa"},{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"last_name":"Loss","first_name":"Michael","full_name":"Loss, Michael"}],"publication_status":"published","publisher":"Springer","department":[{"_id":"RoSe"}],"year":"2018","day":"01","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","scopus_import":"1","date_published":"2018-05-01T00:00:00Z","page":"1507 - 1527","publication":"Annales Henri Poincare","citation":{"mla":"Deuchert, Andreas, et al. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.” Annales Henri Poincare, vol. 19, no. 5, Springer, 2018, pp. 1507–27, doi:10.1007/s00023-018-0665-7.","short":"A. Deuchert, A. Geisinge, C. Hainzl, M. Loss, Annales Henri Poincare 19 (2018) 1507–1527.","chicago":"Deuchert, Andreas, Alissa Geisinge, Christian Hainzl, and Michael Loss. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.” Annales Henri Poincare. Springer, 2018. https://doi.org/10.1007/s00023-018-0665-7.","ama":"Deuchert A, Geisinge A, Hainzl C, Loss M. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 2018;19(5):1507-1527. doi:10.1007/s00023-018-0665-7","ista":"Deuchert A, Geisinge A, Hainzl C, Loss M. 2018. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 19(5), 1507–1527.","apa":"Deuchert, A., Geisinge, A., Hainzl, C., & Loss, M. (2018). Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. Springer. https://doi.org/10.1007/s00023-018-0665-7","ieee":"A. Deuchert, A. Geisinge, C. Hainzl, and M. Loss, “Persistence of translational symmetry in the BCS model with radial pair interaction,” Annales Henri Poincare, vol. 19, no. 5. Springer, pp. 1507–1527, 2018."},"abstract":[{"text":"We consider the two-dimensional BCS functional with a radial pair interaction. We show that the translational symmetry is not broken in a certain temperature interval below the critical temperature. In the case of vanishing angular momentum, our results carry over to the three-dimensional case.","lang":"eng"}],"issue":"5","type":"journal_article","oa_version":"Published Version","file":[{"file_size":582680,"content_type":"application/pdf","creator":"system","file_name":"IST-2018-1011-v1+1_2018_Deuchert_Persistence.pdf","access_level":"open_access","date_updated":"2020-07-14T12:46:22Z","date_created":"2018-12-12T10:12:47Z","checksum":"04d2c9bd7cbf3ca1d7acaaf4e7dca3e5","relation":"main_file","file_id":"4966"}],"pubrep_id":"1011","status":"public","title":"Persistence of translational symmetry in the BCS model with radial pair interaction","ddc":["510"],"intvolume":" 19","_id":"400","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"scopus_import":"1","article_processing_charge":"Yes","has_accepted_license":"1","day":"07","citation":{"short":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, PLoS One 13 (2018).","mla":"Bod’Ová, Katarína, et al. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One, vol. 13, no. 3, Public Library of Science, 2018, doi:10.1371/journal.pone.0193049.","chicago":"Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper Tkačik. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049.","ama":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. Probabilistic models of individual and collective animal behavior. PLoS One. 2018;13(3). doi:10.1371/journal.pone.0193049","apa":"Bod’Ová, K., Mitchell, G., Harpaz, R., Schneidman, E., & Tkačik, G. (2018). Probabilistic models of individual and collective animal behavior. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0193049","ieee":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Probabilistic models of individual and collective animal behavior,” PLoS One, vol. 13, no. 3. Public Library of Science, 2018.","ista":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Probabilistic models of individual and collective animal behavior. PLoS One. 13(3)."},"publication":"PLoS One","date_published":"2018-03-07T00:00:00Z","type":"journal_article","issue":"3","abstract":[{"lang":"eng","text":"Recent developments in automated tracking allow uninterrupted, high-resolution recording of animal trajectories, sometimes coupled with the identification of stereotyped changes of body pose or other behaviors of interest. Analysis and interpretation of such data represents a challenge: the timing of animal behaviors may be stochastic and modulated by kinematic variables, by the interaction with the environment or with the conspecifics within the animal group, and dependent on internal cognitive or behavioral state of the individual. Existing models for collective motion typically fail to incorporate the discrete, stochastic, and internal-state-dependent aspects of behavior, while models focusing on individual animal behavior typically ignore the spatial aspects of the problem. Here we propose a probabilistic modeling framework to address this gap. Each animal can switch stochastically between different behavioral states, with each state resulting in a possibly different law of motion through space. Switching rates for behavioral transitions can depend in a very general way, which we seek to identify from data, on the effects of the environment as well as the interaction between the animals. We represent the switching dynamics as a Generalized Linear Model and show that: (i) forward simulation of multiple interacting animals is possible using a variant of the Gillespie’s Stochastic Simulation Algorithm; (ii) formulated properly, the maximum likelihood inference of switching rate functions is tractably solvable by gradient descent; (iii) model selection can be used to identify factors that modulate behavioral state switching and to appropriately adjust model complexity to data. To illustrate our framework, we apply it to two synthetic models of animal motion and to real zebrafish tracking data. "}],"intvolume":" 13","ddc":["530","571"],"status":"public","title":"Probabilistic models of individual and collective animal behavior","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"406","file":[{"relation":"main_file","file_id":"5165","date_created":"2018-12-12T10:15:43Z","date_updated":"2020-07-14T12:46:22Z","checksum":"684229493db75b43e98a46cd922da497","file_name":"IST-2018-995-v1+1_2018_Bodova_Probabilistic.pdf","access_level":"open_access","content_type":"application/pdf","file_size":6887358,"creator":"system"}],"oa_version":"Submitted Version","pubrep_id":"995","month":"03","project":[{"_id":"255008E4-B435-11E9-9278-68D0E5697425","grant_number":"RGP0065/2012","name":"Information processing and computation in fish groups"}],"quality_controlled":"1","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000426896800032"]},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1371/journal.pone.0193049","publist_id":"7423","file_date_updated":"2020-07-14T12:46:22Z","publisher":"Public Library of Science","department":[{"_id":"GaTk"}],"publication_status":"published","year":"2018","acknowledgement":"This work was supported by the Human Frontier Science Program RGP0065/2012 (GT, ES).","volume":13,"date_created":"2018-12-11T11:46:18Z","date_updated":"2023-09-15T12:06:19Z","related_material":{"record":[{"id":"9831","relation":"research_data","status":"public"}]},"author":[{"first_name":"Katarína","last_name":"Bod’Ová","full_name":"Bod’Ová, Katarína"},{"full_name":"Mitchell, Gabriel","last_name":"Mitchell","first_name":"Gabriel","id":"315BCD80-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Harpaz","first_name":"Roy","full_name":"Harpaz, Roy"},{"full_name":"Schneidman, Elad","first_name":"Elad","last_name":"Schneidman"},{"first_name":"Gasper","last_name":"Tkacik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper"}]},{"publication":"Nature Ecology and Evolution","citation":{"mla":"Pleska, Maros, et al. “Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with Innate Immunity.” Nature Ecology and Evolution, vol. 2, no. 2, Springer Nature, 2018, pp. 359–66, doi:10.1038/s41559-017-0424-z.","short":"M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.","chicago":"Pleska, Maros, Moritz Lang, Dominik Refardt, Bruce Levin, and Calin C Guet. “Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with Innate Immunity.” Nature Ecology and Evolution. Springer Nature, 2018. https://doi.org/10.1038/s41559-017-0424-z.","ama":"Pleska M, Lang M, Refardt D, Levin B, Guet CC. Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. 2018;2(2):359-366. doi:10.1038/s41559-017-0424-z","ista":"Pleska M, Lang M, Refardt D, Levin B, Guet CC. 2018. Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. 2(2), 359–366.","ieee":"M. Pleska, M. Lang, D. Refardt, B. Levin, and C. C. Guet, “Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity,” Nature Ecology and Evolution, vol. 2, no. 2. Springer Nature, pp. 359–366, 2018.","apa":"Pleska, M., Lang, M., Refardt, D., Levin, B., & Guet, C. C. (2018). Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. Springer Nature. https://doi.org/10.1038/s41559-017-0424-z"},"page":"359 - 366","date_published":"2018-02-01T00:00:00Z","scopus_import":"1","day":"01","article_processing_charge":"No","_id":"457","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity","status":"public","intvolume":" 2","oa_version":"None","type":"journal_article","abstract":[{"lang":"eng","text":"Temperate bacteriophages integrate in bacterial genomes as prophages and represent an important source of genetic variation for bacterial evolution, frequently transmitting fitness-augmenting genes such as toxins responsible for virulence of major pathogens. However, only a fraction of bacteriophage infections are lysogenic and lead to prophage acquisition, whereas the majority are lytic and kill the infected bacteria. Unless able to discriminate lytic from lysogenic infections, mechanisms of immunity to bacteriophages are expected to act as a double-edged sword and increase the odds of survival at the cost of depriving bacteria of potentially beneficial prophages. We show that although restriction-modification systems as mechanisms of innate immunity prevent both lytic and lysogenic infections indiscriminately in individual bacteria, they increase the number of prophage-acquiring individuals at the population level. We find that this counterintuitive result is a consequence of phage-host population dynamics, in which restriction-modification systems delay infection onset until bacteria reach densities at which the probability of lysogeny increases. These results underscore the importance of population-level dynamics as a key factor modulating costs and benefits of immunity to temperate bacteriophages"}],"issue":"2","external_id":{"isi":["000426516400027"]},"quality_controlled":"1","isi":1,"project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme"},{"_id":"251BCBEC-B435-11E9-9278-68D0E5697425","grant_number":"RGY0079/2011","name":"Multi-Level Conflicts in Evolutionary Dynamics of Restriction-Modification Systems (HFSP Young investigators' grant)"},{"name":"Effects of Stochasticity on the Function of Restriction-Modi cation Systems at the Single-Cell Level (DOC Fellowship)","_id":"251D65D8-B435-11E9-9278-68D0E5697425","grant_number":"24210"}],"doi":"10.1038/s41559-017-0424-z","language":[{"iso":"eng"}],"month":"02","year":"2018","publication_status":"published","publisher":"Springer Nature","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"author":[{"full_name":"Pleska, Maros","orcid":"0000-0001-7460-7479","id":"4569785E-F248-11E8-B48F-1D18A9856A87","last_name":"Pleska","first_name":"Maros"},{"last_name":"Lang","first_name":"Moritz","id":"29E0800A-F248-11E8-B48F-1D18A9856A87","full_name":"Lang, Moritz"},{"full_name":"Refardt, Dominik","first_name":"Dominik","last_name":"Refardt"},{"full_name":"Levin, Bruce","first_name":"Bruce","last_name":"Levin"},{"full_name":"Guet, Calin C","last_name":"Guet","first_name":"Calin C","orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"}],"related_material":{"record":[{"id":"202","status":"public","relation":"dissertation_contains"}]},"date_created":"2018-12-11T11:46:35Z","date_updated":"2023-09-15T12:04:57Z","volume":2,"ec_funded":1,"publist_id":"7364"}]