[{"department":[{"_id":"JaMa"}],"quality_controlled":"1","project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"publication_status":"published","publisher":"Springer","type":"journal_article","volume":31,"oa_version":"Published Version","scopus_import":1,"date_created":"2018-12-11T11:50:45Z","abstract":[{"lang":"eng","text":"Two generalizations of Itô formula to infinite-dimensional spaces are given.\r\nThe first one, in Hilbert spaces, extends the classical one by taking advantage of\r\ncancellations when they occur in examples and it is applied to the case of a group\r\ngenerator. The second one, based on the previous one and a limit procedure, is an Itô\r\nformula in a special class of Banach spaces having a product structure with the noise\r\nin a Hilbert component; again the key point is the extension due to a cancellation. This\r\nextension to Banach spaces and in particular the specific cancellation are motivated\r\nby path-dependent Itô calculus."}],"publication":"Journal of Theoretical Probability","publist_id":"6119","status":"public","date_published":"2018-06-01T00:00:00Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","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"},"intvolume":"        31","doi":"10.1007/s10959-016-0724-2","title":"Infinite-dimensional calculus under weak spatial regularity of the processes","day":"01","date_updated":"2021-01-12T06:49:09Z","has_accepted_license":"1","year":"2018","oa":1,"article_processing_charge":"Yes (via OA deal)","author":[{"full_name":"Flandoli, Franco","first_name":"Franco","last_name":"Flandoli"},{"first_name":"Francesco","last_name":"Russo","full_name":"Russo, Francesco"},{"id":"47491882-F248-11E8-B48F-1D18A9856A87","first_name":"Giovanni A","last_name":"Zanco","full_name":"Zanco, Giovanni A"}],"file":[{"content_type":"application/pdf","checksum":"47686d58ec21c164540f1a980ff2163f","creator":"system","file_name":"IST-2016-712-v1+1_s10959-016-0724-2.pdf","relation":"main_file","file_id":"5266","file_size":671125,"date_updated":"2020-07-14T12:44:39Z","date_created":"2018-12-12T10:17:13Z","access_level":"open_access"}],"month":"06","file_date_updated":"2020-07-14T12:44:39Z","ddc":["519"],"citation":{"ama":"Flandoli F, Russo F, Zanco GA. Infinite-dimensional calculus under weak spatial regularity of the processes. <i>Journal of Theoretical Probability</i>. 2018;31(2):789-826. doi:<a href=\"https://doi.org/10.1007/s10959-016-0724-2\">10.1007/s10959-016-0724-2</a>","ista":"Flandoli F, Russo F, Zanco GA. 2018. Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. 31(2), 789–826.","apa":"Flandoli, F., Russo, F., &#38; Zanco, G. A. (2018). Infinite-dimensional calculus under weak spatial regularity of the processes. <i>Journal of Theoretical Probability</i>. Springer. <a href=\"https://doi.org/10.1007/s10959-016-0724-2\">https://doi.org/10.1007/s10959-016-0724-2</a>","chicago":"Flandoli, Franco, Francesco Russo, and Giovanni A Zanco. “Infinite-Dimensional Calculus under Weak Spatial Regularity of the Processes.” <i>Journal of Theoretical Probability</i>. Springer, 2018. <a href=\"https://doi.org/10.1007/s10959-016-0724-2\">https://doi.org/10.1007/s10959-016-0724-2</a>.","ieee":"F. Flandoli, F. Russo, and G. A. Zanco, “Infinite-dimensional calculus under weak spatial regularity of the processes,” <i>Journal of Theoretical Probability</i>, vol. 31, no. 2. Springer, pp. 789–826, 2018.","short":"F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.","mla":"Flandoli, Franco, et al. “Infinite-Dimensional Calculus under Weak Spatial Regularity of the Processes.” <i>Journal of Theoretical Probability</i>, vol. 31, no. 2, Springer, 2018, pp. 789–826, doi:<a href=\"https://doi.org/10.1007/s10959-016-0724-2\">10.1007/s10959-016-0724-2</a>."},"page":"789-826","issue":"2","_id":"1215","pubrep_id":"712","language":[{"iso":"eng"}],"acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). The second named author benefited partially from the support of the “FMJH Program Gaspard Monge in Optimization and Operations Research” (Project 2014-1607H). He is also grateful for the invitation to the Department of Mathematics of the University of Pisa. The third named author is grateful for the invitation to ENSTA."},{"oa_version":"Submitted Version","scopus_import":"1","date_created":"2018-12-11T11:44:09Z","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"}],"date_published":"2018-08-04T00:00:00Z","status":"public","publication":"ACM Trans. Graph.","publist_id":"8043","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"        37","department":[{"_id":"BeBi"}],"project":[{"call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767"}],"quality_controlled":"1","publication_status":"published","publisher":"ACM","volume":37,"type":"journal_article","file_date_updated":"2020-07-14T12:44:43Z","article_number":"136","month":"08","author":[{"full_name":"Alderighi, Thomas","last_name":"Alderighi","first_name":"Thomas"},{"last_name":"Malomo","first_name":"Luigi","full_name":"Malomo, Luigi"},{"full_name":"Giorgi, Daniela","last_name":"Giorgi","first_name":"Daniela"},{"full_name":"Pietroni, Nico","first_name":"Nico","last_name":"Pietroni"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel","first_name":"Bernd","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd"},{"full_name":"Cignoni, Paolo","first_name":"Paolo","last_name":"Cignoni"}],"file":[{"file_size":91939066,"file_id":"5374","access_level":"open_access","date_updated":"2020-07-14T12:44:43Z","date_created":"2018-12-12T10:18:52Z","content_type":"application/pdf","file_name":"IST-2018-1038-v1+1_metamolds_authorversion.pdf","relation":"main_file","checksum":"61d46273dca4de626accef1d17a0aaad","creator":"system"}],"citation":{"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.” <i>ACM Trans. Graph.</i>, vol. 37, no. 4, 136, ACM, 2018, doi:<a href=\"https://doi.org/10.1145/3197517.3201381\">10.1145/3197517.3201381</a>.","chicago":"Alderighi, Thomas, Luigi Malomo, Daniela Giorgi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “Metamolds: Computational Design of Silicone Molds.” <i>ACM Trans. Graph.</i> ACM, 2018. <a href=\"https://doi.org/10.1145/3197517.3201381\">https://doi.org/10.1145/3197517.3201381</a>.","ieee":"T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” <i>ACM Trans. Graph.</i>, vol. 37, no. 4. ACM, 2018.","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.","apa":"Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., &#38; Cignoni, P. (2018). Metamolds: Computational design of silicone molds. <i>ACM Trans. Graph.</i> ACM. <a href=\"https://doi.org/10.1145/3197517.3201381\">https://doi.org/10.1145/3197517.3201381</a>","ama":"Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds: Computational design of silicone molds. <i>ACM Trans Graph</i>. 2018;37(4). doi:<a href=\"https://doi.org/10.1145/3197517.3201381\">10.1145/3197517.3201381</a>"},"ddc":["004"],"issue":"4","language":[{"iso":"eng"}],"_id":"13","pubrep_id":"1038","title":"Metamolds: Computational design of silicone molds","doi":"10.1145/3197517.3201381","isi":1,"external_id":{"isi":["000448185000097"]},"day":"04","date_updated":"2023-09-13T08:56:07Z","has_accepted_license":"1","related_material":{"link":[{"url":"https://ist.ac.at/en/news/metamolds-molding-a-mold/","description":"News on IST Homepage","relation":"press_release"}]},"ec_funded":1,"year":"2018","oa":1,"article_processing_charge":"No"},{"doi":"10.5281/ZENODO.1322669","department":[{"_id":"SyCr"}],"title":"Social network plasticity decreases disease transmission in a eusocial insect","day":"23","date_updated":"2023-10-17T11:50:04Z","publisher":"Zenodo","related_material":{"record":[{"id":"7","relation":"used_in_publication","status":"public"}]},"year":"2018","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.1480665","open_access":"1"}],"type":"research_data_reference","article_processing_charge":"No","oa":1,"oa_version":"Published Version","author":[{"full_name":"Stroeymeyt, Nathalie","last_name":"Stroeymeyt","first_name":"Nathalie"},{"full_name":"Grasse, Anna V","last_name":"Grasse","first_name":"Anna V","id":"406F989C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Crespi, Alessandro","last_name":"Crespi","first_name":"Alessandro"},{"first_name":"Danielle","last_name":"Mersch","full_name":"Mersch, Danielle"},{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","first_name":"Sylvia","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia"},{"full_name":"Keller, Laurent","last_name":"Keller","first_name":"Laurent"}],"month":"10","ddc":["570"],"date_created":"2023-05-23T13:24:51Z","citation":{"short":"N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).","mla":"Stroeymeyt, Nathalie, et al. <i>Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect</i>. Zenodo, 2018, doi:<a href=\"https://doi.org/10.5281/ZENODO.1322669\">10.5281/ZENODO.1322669</a>.","ieee":"N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect.” Zenodo, 2018.","chicago":"Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch, Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect.” Zenodo, 2018. <a href=\"https://doi.org/10.5281/ZENODO.1322669\">https://doi.org/10.5281/ZENODO.1322669</a>.","apa":"Stroeymeyt, N., Grasse, A. V., Crespi, A., Mersch, D., Cremer, S., &#38; Keller, L. (2018). Social network plasticity decreases disease transmission in a eusocial insect. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.1322669\">https://doi.org/10.5281/ZENODO.1322669</a>","ista":"Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. 2018. Social network plasticity decreases disease transmission in a eusocial insect, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.1322669\">10.5281/ZENODO.1322669</a>.","ama":"Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. Social network plasticity decreases disease transmission in a eusocial insect. 2018. doi:<a href=\"https://doi.org/10.5281/ZENODO.1322669\">10.5281/ZENODO.1322669</a>"},"abstract":[{"lang":"eng","text":"Dataset for manuscript 'Social network plasticity decreases disease transmission in a eusocial insect'\r\nCompared to previous versions: - raw image files added\r\n                                                     - correction of URLs within README.txt file\r\n"}],"status":"public","date_published":"2018-10-23T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"13055","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"}},{"day":"07","date_updated":"2023-09-06T14:32:51Z","publisher":"Zenodo","doi":"10.5281/ZENODO.2025846","title":"Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method","department":[{"_id":"FyKo"}],"type":"research_data_reference","oa":1,"article_processing_charge":"No","related_material":{"record":[{"relation":"used_in_publication","id":"7181","status":"public"}]},"year":"2018","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.3271452","open_access":"1"}],"ddc":["570"],"citation":{"chicago":"Garriga, Edgar, Paolo di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Zenodo, 2018. <a href=\"https://doi.org/10.5281/ZENODO.2025846\">https://doi.org/10.5281/ZENODO.2025846</a>.","ieee":"E. Garriga <i>et al.</i>, “Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method.” Zenodo, 2018.","short":"E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).","mla":"Garriga, Edgar, et al. <i>Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method</i>. Zenodo, 2018, doi:<a href=\"https://doi.org/10.5281/ZENODO.2025846\">10.5281/ZENODO.2025846</a>.","ama":"Garriga E, di Tommaso P, Magis C, et al. Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method. 2018. doi:<a href=\"https://doi.org/10.5281/ZENODO.2025846\">10.5281/ZENODO.2025846</a>","ista":"Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.2025846\">10.5281/ZENODO.2025846</a>.","apa":"Garriga, E., di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A., … Notredame, C. (2018). Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.2025846\">https://doi.org/10.5281/ZENODO.2025846</a>"},"date_created":"2023-05-23T16:08:20Z","oa_version":"Published Version","author":[{"first_name":"Edgar","last_name":"Garriga","full_name":"Garriga, Edgar"},{"full_name":"di Tommaso, Paolo","first_name":"Paolo","last_name":"di Tommaso"},{"last_name":"Magis","first_name":"Cedrik","full_name":"Magis, Cedrik"},{"first_name":"Ionas","last_name":"Erb","full_name":"Erb, Ionas"},{"last_name":"Mansouri","first_name":"Leila","full_name":"Mansouri, Leila"},{"full_name":"Baltzis, Athanasios","first_name":"Athanasios","last_name":"Baltzis"},{"first_name":"Hafid","last_name":"Laayouni","full_name":"Laayouni, Hafid"},{"orcid":"0000-0001-8243-4694","full_name":"Kondrashov, Fyodor","last_name":"Kondrashov","first_name":"Fyodor","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Evan","last_name":"Floden","full_name":"Floden, Evan"},{"full_name":"Notredame, Cedric","first_name":"Cedric","last_name":"Notredame"}],"month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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"},"_id":"13059","abstract":[{"lang":"eng","text":"This dataset contains a GitHub repository containing all the data, analysis, Nextflow workflows and Jupyter notebooks to replicate the manuscript titled \"Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method\".\r\nIt also contains the Multiple Sequence Alignments (MSAs) generated and well as the main figures and tables from the manuscript.\r\nThe repository is also available at GitHub (https://github.com/cbcrg/dpa-analysis) release `v1.2`.\r\nFor details on how to use the regressive alignment algorithm, see the T-Coffee software suite (https://github.com/cbcrg/tcoffee)."}],"date_published":"2018-12-07T00:00:00Z","status":"public"},{"scopus_import":"1","date_created":"2018-12-11T11:44:47Z","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","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"},"intvolume":"         7","abstract":[{"text":"XY systems usually show chromosome-wide compensation of X-linked genes, while in many ZW systems, compensation is restricted to a minority of dosage-sensitive genes. Why such differences arose is still unclear. Here, we combine comparative genomics, transcriptomics and proteomics to obtain a complete overview of the evolution of gene dosage on the Z-chromosome of Schistosoma parasites. We compare the Z-chromosome gene content of African (Schistosoma mansoni and S. haematobium) and Asian (S. japonicum) schistosomes and describe lineage-specific evolutionary strata. We use these to assess gene expression evolution following sex-linkage. The resulting patterns suggest a reduction in expression of Z-linked genes in females, combined with upregulation of the Z in both sexes, in line with the first step of Ohno’s classic model of dosage compensation evolution. Quantitative proteomics suggest that post-transcriptional mechanisms do not play a major role in balancing the expression of Z-linked genes. ","lang":"eng"}],"publication":"eLife","publist_id":"7792","date_published":"2018-08-13T00:00:00Z","status":"public","publication_status":"published","publisher":"eLife Sciences Publications","department":[{"_id":"BeVi"}],"quality_controlled":"1","project":[{"call_identifier":"FWF","name":"Sex chromosome evolution under male- and female- heterogamety","_id":"250ED89C-B435-11E9-9278-68D0E5697425","grant_number":"P28842-B22"}],"type":"journal_article","volume":7,"article_type":"original","ddc":["570"],"citation":{"ama":"Picard MAL, Cosseau C, Ferré S, et al. Evolution of gene dosage on the Z-chromosome of schistosome parasites. <i>eLife</i>. 2018;7. doi:<a href=\"https://doi.org/10.7554/eLife.35684\">10.7554/eLife.35684</a>","apa":"Picard, M. A. L., Cosseau, C., Ferré, S., Quack, T., Grevelding, C., Couté, Y., &#38; Vicoso, B. (2018). Evolution of gene dosage on the Z-chromosome of schistosome parasites. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.35684\">https://doi.org/10.7554/eLife.35684</a>","ista":"Picard MAL, Cosseau C, Ferré S, Quack T, Grevelding C, Couté Y, Vicoso B. 2018. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife. 7, e35684.","ieee":"M. A. L. Picard <i>et al.</i>, “Evolution of gene dosage on the Z-chromosome of schistosome parasites,” <i>eLife</i>, vol. 7. eLife Sciences Publications, 2018.","chicago":"Picard, Marion A L, Celine Cosseau, Sabrina Ferré, Thomas Quack, Christoph Grevelding, Yohann Couté, and Beatriz Vicoso. “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites.” <i>ELife</i>. eLife Sciences Publications, 2018. <a href=\"https://doi.org/10.7554/eLife.35684\">https://doi.org/10.7554/eLife.35684</a>.","short":"M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).","mla":"Picard, Marion A. L., et al. “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites.” <i>ELife</i>, vol. 7, e35684, eLife Sciences Publications, 2018, doi:<a href=\"https://doi.org/10.7554/eLife.35684\">10.7554/eLife.35684</a>."},"file":[{"relation":"main_file","file_name":"2018_eLife_Picard.pdf","creator":"dernst","checksum":"d6331d4385b1fffd6b47b45d5949d841","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:44:43Z","date_created":"2018-12-17T11:55:05Z","file_size":3158125,"file_id":"5695"}],"author":[{"orcid":"0000-0002-8101-2518","full_name":"Picard, Marion A","last_name":"Picard","first_name":"Marion A","id":"2C921A7A-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Cosseau, Celine","first_name":"Celine","last_name":"Cosseau"},{"last_name":"Ferré","first_name":"Sabrina","full_name":"Ferré, Sabrina"},{"full_name":"Quack, Thomas","last_name":"Quack","first_name":"Thomas"},{"last_name":"Grevelding","first_name":"Christoph","full_name":"Grevelding, Christoph"},{"full_name":"Couté, Yohann","last_name":"Couté","first_name":"Yohann"},{"orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz","last_name":"Vicoso"}],"file_date_updated":"2020-07-14T12:44:43Z","article_number":"e35684","month":"08","_id":"131","language":[{"iso":"eng"}],"acknowledgement":"We are grateful to Lu Dabing (Soochow University, Suzhou, China) for providing Schistosoma japonicum samples, to Ariana Macon (IST Austria) and Georgette Stovall (JLU Giessen) for technical assistance, to IT support at IST Austria for providing optimal environment to bioinformatic analyses, and to the Vicoso lab for comments on the manuscript.","day":"13","date_updated":"2024-02-21T13:45:12Z","doi":"10.7554/eLife.35684","title":"Evolution of gene dosage on the Z-chromosome of schistosome parasites","external_id":{"isi":["000441388200001"]},"isi":1,"article_processing_charge":"No","oa":1,"related_material":{"record":[{"id":"5586","relation":"popular_science","status":"public"}]},"has_accepted_license":"1","year":"2018"},{"_id":"132","language":[{"iso":"eng"}],"acknowledgement":"E.H. is funded by a Junior Research Fellowship from Trinity College, Cam-bridge, a Sir Henry Wellcome Fellowship from the Wellcome Trust, and theBettencourt-Schueller Young Researcher Prize for support.","page":"360 - 375","issue":"3","article_type":"original","ddc":["570"],"citation":{"chicago":"Sznurkowska, Magdalena, Edouard B Hannezo, Roberta Azzarelli, Steffen Rulands, Sonia Nestorowa, Christopher Hindley, Jennifer Nichols, et al. “Defining Lineage Potential and Fate Behavior of Precursors during Pancreas Development.” <i>Developmental Cell</i>. Cell Press, 2018. <a href=\"https://doi.org/10.1016/j.devcel.2018.06.028\">https://doi.org/10.1016/j.devcel.2018.06.028</a>.","ieee":"M. Sznurkowska <i>et al.</i>, “Defining lineage potential and fate behavior of precursors during pancreas development,” <i>Developmental Cell</i>, vol. 46, no. 3. Cell Press, pp. 360–375, 2018.","short":"M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.","mla":"Sznurkowska, Magdalena, et al. “Defining Lineage Potential and Fate Behavior of Precursors during Pancreas Development.” <i>Developmental Cell</i>, vol. 46, no. 3, Cell Press, 2018, pp. 360–75, doi:<a href=\"https://doi.org/10.1016/j.devcel.2018.06.028\">10.1016/j.devcel.2018.06.028</a>.","ama":"Sznurkowska M, Hannezo EB, Azzarelli R, et al. Defining lineage potential and fate behavior of precursors during pancreas development. <i>Developmental Cell</i>. 2018;46(3):360-375. doi:<a href=\"https://doi.org/10.1016/j.devcel.2018.06.028\">10.1016/j.devcel.2018.06.028</a>","ista":"Sznurkowska M, Hannezo EB, Azzarelli R, Rulands S, Nestorowa S, Hindley C, Nichols J, Göttgens B, Huch M, Philpott A, Simons B. 2018. Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. 46(3), 360–375.","apa":"Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S., Hindley, C., … Simons, B. (2018). Defining lineage potential and fate behavior of precursors during pancreas development. <i>Developmental Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.devcel.2018.06.028\">https://doi.org/10.1016/j.devcel.2018.06.028</a>"},"file":[{"file_size":8948384,"file_id":"5694","access_level":"open_access","date_updated":"2020-07-14T12:44:43Z","date_created":"2018-12-17T10:49:49Z","content_type":"application/pdf","file_name":"2018_DevelopmentalCell_Sznurkowska.pdf","relation":"main_file","checksum":"78d2062b9e3c3b90fe71545aeb6d2f65","creator":"dernst"}],"author":[{"full_name":"Sznurkowska, Magdalena","first_name":"Magdalena","last_name":"Sznurkowska"},{"last_name":"Hannezo","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B"},{"first_name":"Roberta","last_name":"Azzarelli","full_name":"Azzarelli, Roberta"},{"last_name":"Rulands","first_name":"Steffen","full_name":"Rulands, Steffen"},{"full_name":"Nestorowa, Sonia","first_name":"Sonia","last_name":"Nestorowa"},{"last_name":"Hindley","first_name":"Christopher","full_name":"Hindley, Christopher"},{"first_name":"Jennifer","last_name":"Nichols","full_name":"Nichols, Jennifer"},{"full_name":"Göttgens, Berthold","first_name":"Berthold","last_name":"Göttgens"},{"full_name":"Huch, Meritxell","first_name":"Meritxell","last_name":"Huch"},{"full_name":"Philpott, Anna","first_name":"Anna","last_name":"Philpott"},{"last_name":"Simons","first_name":"Benjamin","full_name":"Simons, Benjamin"}],"file_date_updated":"2020-07-14T12:44:43Z","month":"08","article_processing_charge":"No","oa":1,"has_accepted_license":"1","year":"2018","day":"06","date_updated":"2023-09-11T12:52:41Z","doi":"10.1016/j.devcel.2018.06.028","title":"Defining lineage potential and fate behavior of precursors during pancreas development","external_id":{"isi":["000441327300012"]},"isi":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","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"},"intvolume":"        46","abstract":[{"lang":"eng","text":"Pancreas development involves a coordinated process in which an early phase of cell segregation is followed by a longer phase of lineage restriction, expansion, and tissue remodeling. By combining clonal tracing and whole-mount reconstruction with proliferation kinetics and single-cell transcriptional profiling, we define the functional basis of pancreas morphogenesis. We show that the large-scale organization of mouse pancreas can be traced to the activity of self-renewing precursors positioned at the termini of growing ducts, which act collectively to drive serial rounds of stochastic ductal bifurcation balanced by termination. During this phase of branching morphogenesis, multipotent precursors become progressively fate-restricted, giving rise to self-renewing acinar-committed precursors that are conveyed with growing ducts, as well as ductal progenitors that expand the trailing ducts and give rise to delaminating endocrine cells. These findings define quantitatively how the functional behavior and lineage progression of precursor pools determine the large-scale patterning of pancreatic sub-compartments."}],"publication":"Developmental Cell","publist_id":"7791","date_published":"2018-08-06T00:00:00Z","status":"public","scopus_import":"1","date_created":"2018-12-11T11:44:48Z","oa_version":"Published Version","type":"journal_article","volume":46,"publication_status":"published","publisher":"Cell Press","department":[{"_id":"EdHa"}],"quality_controlled":"1"},{"date_updated":"2023-09-07T13:18:00Z","publication_identifier":{"issn":["18688969"]},"day":"13","title":"Synchronizing the asynchronous","doi":"10.4230/LIPIcs.CONCUR.2018.21","oa":1,"year":"2018","has_accepted_license":"1","related_material":{"record":[{"status":"public","id":"6426","relation":"earlier_version"},{"relation":"dissertation_contains","id":"8332","status":"public"}]},"conference":{"location":"Beijing, China","name":"CONCUR: International Conference on Concurrency Theory","start_date":"2018-09-04","end_date":"2018-09-07"},"citation":{"chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.21\">https://doi.org/10.4230/LIPIcs.CONCUR.2018.21</a>.","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.","mla":"Kragl, Bernhard, et al. <i>Synchronizing the Asynchronous</i>. Vol. 118, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.21\">10.4230/LIPIcs.CONCUR.2018.21</a>.","short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.","ama":"Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.21\">10.4230/LIPIcs.CONCUR.2018.21</a>","ista":"Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.","apa":"Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.21\">https://doi.org/10.4230/LIPIcs.CONCUR.2018.21</a>"},"ddc":["000"],"month":"08","article_number":"21","file_date_updated":"2020-07-14T12:44:44Z","file":[{"date_updated":"2020-07-14T12:44:44Z","date_created":"2018-12-12T10:18:46Z","access_level":"open_access","file_id":"5368","file_size":745438,"creator":"system","checksum":"c90895f4c5fafc18ddc54d1c8848077e","file_name":"IST-2018-853-v2+2_concur2018.pdf","relation":"main_file","content_type":"application/pdf"}],"author":[{"orcid":"0000-0001-7745-9117","full_name":"Kragl, Bernhard","first_name":"Bernhard","last_name":"Kragl","id":"320FC952-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Qadeer, Shaz","last_name":"Qadeer","first_name":"Shaz"},{"last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"}],"pubrep_id":"1039","_id":"133","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","project":[{"call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms"}],"quality_controlled":"1","department":[{"_id":"ToHe"}],"volume":118,"type":"conference","date_created":"2018-12-11T11:44:48Z","alternative_title":["LIPIcs"],"scopus_import":1,"oa_version":"Published Version","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"},"intvolume":"       118","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2018-08-13T00:00:00Z","publist_id":"7790","abstract":[{"lang":"eng","text":"Synchronous programs are easy to specify because the side effects of an operation are finished by the time the invocation of the operation returns to the caller. Asynchronous programs, on the other hand, are difficult to specify because there are side effects due to pending computation scheduled as a result of the invocation of an operation. They are also difficult to verify because of the large number of possible interleavings of concurrent computation threads. We present synchronization, a new proof rule that simplifies the verification of asynchronous programs by introducing the fiction, for proof purposes, that asynchronous operations complete synchronously. Synchronization summarizes an asynchronous computation as immediate atomic effect. Modular verification is enabled via pending asynchronous calls in atomic summaries, and a complementary proof rule that eliminates pending asynchronous calls when components and their specifications are composed. We evaluate synchronization in the context of a multi-layer refinement verification methodology on a collection of benchmark programs."}]},{"article_processing_charge":"Yes","oa":1,"year":"2018","has_accepted_license":"1","related_material":{"record":[{"status":"public","relation":"research_data","id":"9810"}]},"date_updated":"2023-09-13T08:45:41Z","day":"16","external_id":{"isi":["000443383300024"]},"isi":1,"doi":"10.1371/journal.pbio.2005971","title":"Leaky resistance and the conditions for the existence of lytic bacteriophage","language":[{"iso":"eng"}],"_id":"82","issue":"8","ddc":["570"],"citation":{"ieee":"W. Chaudhry <i>et al.</i>, “Leaky resistance and the conditions for the existence of lytic bacteriophage,” <i>PLoS Biology</i>, vol. 16, no. 8. Public Library of Science, 2018.","chicago":"Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” <i>PLoS Biology</i>. Public Library of Science, 2018. <a href=\"https://doi.org/10.1371/journal.pbio.2005971\">https://doi.org/10.1371/journal.pbio.2005971</a>.","short":"W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).","mla":"Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” <i>PLoS Biology</i>, vol. 16, no. 8, 2005971, Public Library of Science, 2018, doi:<a href=\"https://doi.org/10.1371/journal.pbio.2005971\">10.1371/journal.pbio.2005971</a>.","ama":"Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for the existence of lytic bacteriophage. <i>PLoS Biology</i>. 2018;16(8). doi:<a href=\"https://doi.org/10.1371/journal.pbio.2005971\">10.1371/journal.pbio.2005971</a>","apa":"Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage. <i>PLoS Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pbio.2005971\">https://doi.org/10.1371/journal.pbio.2005971</a>","ista":"Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 16(8), 2005971."},"file":[{"file_name":"2018_Plos_Chaudhry.pdf","relation":"main_file","checksum":"527076f78265cd4ea192cd1569851587","creator":"dernst","content_type":"application/pdf","access_level":"open_access","date_created":"2018-12-17T12:55:31Z","date_updated":"2020-07-14T12:48:10Z","file_size":4007095,"file_id":"5706"}],"author":[{"first_name":"Waqas","last_name":"Chaudhry","full_name":"Chaudhry, Waqas"},{"first_name":"Maros","last_name":"Pleska","id":"4569785E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7460-7479","full_name":"Pleska, Maros"},{"full_name":"Shah, Nilang","last_name":"Shah","first_name":"Nilang"},{"first_name":"Howard","last_name":"Weiss","full_name":"Weiss, Howard"},{"first_name":"Ingrid","last_name":"Mccall","full_name":"Mccall, Ingrid"},{"full_name":"Meyer, Justin","first_name":"Justin","last_name":"Meyer"},{"first_name":"Animesh","last_name":"Gupta","full_name":"Gupta, Animesh"},{"full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","first_name":"Calin C","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Levin, Bruce","first_name":"Bruce","last_name":"Levin"}],"file_date_updated":"2020-07-14T12:48:10Z","article_number":"2005971","month":"08","type":"journal_article","volume":16,"publisher":"Public Library of Science","publication_status":"published","quality_controlled":"1","department":[{"_id":"CaGu"}],"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"},"intvolume":"        16","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication":"PLoS Biology","publist_id":"7972","date_published":"2018-08-16T00:00:00Z","status":"public","abstract":[{"lang":"eng","text":"In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage, bacterial cells resistant to the phage commonly emerge and become the dominant population of bacteria. Following the ascent of resistant mutants, the densities of bacteria in these simple communities become limited by resources rather than the phage. Despite the evolution of resistant hosts, upon which the phage cannot replicate, the lytic phage population is most commonly maintained in an apparently stable state with the resistant bacteria. Several mechanisms have been put forward to account for this result. Here we report the results of population dynamic/evolution experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli in serial transfer cultures. We show that, following the ascent of λVIR-resistant bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal media and in all cases in nutrient-rich broth. Using mathematical models and experiments, we show that the dominant mechanism responsible for maintenance of λVIRin these resource-limited populations dominated by resistant E. coli is a high rate of either phenotypic or genetic transition from resistance to susceptibility—a hitherto undemonstrated mechanism we term &quot;leaky resistance.&quot; We discuss the implications of leaky resistance to our understanding of the conditions for the maintenance of phage in populations of bacteria—their “existence conditions.”."}],"date_created":"2018-12-11T11:44:32Z","scopus_import":"1","oa_version":"Published Version"},{"supervisor":[{"last_name":"Pietrzak","first_name":"Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z"}],"department":[{"_id":"KrPi"}],"project":[{"call_identifier":"FP7","grant_number":"259668","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425"},{"grant_number":"682815","name":"Teaching Old Crypto New Tricks","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"publication_status":"published","publisher":"Institute of Science and Technology Austria","type":"dissertation","oa_version":"Published Version","alternative_title":["ISTA Thesis"],"date_created":"2018-12-11T11:44:32Z","abstract":[{"text":"A proof system is a protocol between a prover and a verifier over a common input in which an honest prover convinces the verifier of the validity of true statements. Motivated by the success of decentralized cryptocurrencies, exemplified by Bitcoin, the focus of this thesis will be on proof systems which found applications in some sustainable alternatives to Bitcoin, such as the Spacemint and Chia cryptocurrencies. In particular, we focus on proofs of space and proofs of sequential work.\r\nProofs of space (PoSpace) were suggested as more ecological, economical, and egalitarian alternative to the energy-wasteful proof-of-work mining of Bitcoin. However, the state-of-the-art constructions of PoSpace are based on sophisticated graph pebbling lower bounds, and are therefore complex. Moreover, when these PoSpace are used in cryptocurrencies like Spacemint, miners can only start mining after ensuring that a commitment to their space is already added in a special transaction to the blockchain. Proofs of sequential work (PoSW) are proof systems in which a prover, upon receiving a statement x and a time parameter T, computes a proof which convinces the verifier that T time units had passed since x was received. Whereas Spacemint assumes synchrony to retain some interesting Bitcoin dynamics, Chia requires PoSW with unique proofs, i.e., PoSW in which it is hard to come up with more than one accepting proof for any true statement. In this thesis we construct simple and practically-efficient PoSpace and PoSW. When using our PoSpace in cryptocurrencies, miners can start mining on the fly, like in Bitcoin, and unlike current constructions of PoSW, which either achieve efficient verification of sequential work, or faster-than-recomputing verification of correctness of proofs, but not both at the same time, ours achieve the best of these two worlds.","lang":"eng"}],"publist_id":"7971","date_published":"2018-09-05T00:00:00Z","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","doi":"10.15479/AT:ISTA:TH_1046","title":"Proof systems for sustainable decentralized cryptocurrencies","day":"05","publication_identifier":{"issn":["2663-337X"]},"date_updated":"2023-09-07T12:30:23Z","has_accepted_license":"1","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"1229"},{"id":"1235","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"1236","status":"public"},{"status":"public","id":"559","relation":"part_of_dissertation"}]},"year":"2018","ec_funded":1,"oa":1,"article_processing_charge":"No","author":[{"full_name":"Abusalah, Hamza M","id":"40297222-F248-11E8-B48F-1D18A9856A87","last_name":"Abusalah","first_name":"Hamza M"}],"file":[{"file_size":876241,"file_id":"6245","access_level":"open_access","date_updated":"2020-07-14T12:48:11Z","date_created":"2019-04-09T06:43:41Z","content_type":"application/pdf","file_name":"2018_Thesis_Abusalah.pdf","relation":"main_file","creator":"dernst","checksum":"c4b5f7d111755d1396787f41886fc674"},{"content_type":"application/x-gzip","relation":"source_file","file_name":"2018_Thesis_Abusalah_source.tar.gz","checksum":"0f382ac56b471c48fd907d63eb87dafe","creator":"dernst","file_size":2029190,"file_id":"6246","access_level":"closed","date_updated":"2020-07-14T12:48:11Z","date_created":"2019-04-09T06:43:41Z"}],"month":"09","file_date_updated":"2020-07-14T12:48:11Z","ddc":["004"],"citation":{"mla":"Abusalah, Hamza M. <i>Proof Systems for Sustainable Decentralized Cryptocurrencies</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_1046\">10.15479/AT:ISTA:TH_1046</a>.","short":"H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.","chicago":"Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_1046\">https://doi.org/10.15479/AT:ISTA:TH_1046</a>.","ieee":"H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” Institute of Science and Technology Austria, 2018.","ista":"Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.","apa":"Abusalah, H. M. (2018). <i>Proof systems for sustainable decentralized cryptocurrencies</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_1046\">https://doi.org/10.15479/AT:ISTA:TH_1046</a>","ama":"Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_1046\">10.15479/AT:ISTA:TH_1046</a>"},"page":"59","degree_awarded":"PhD","language":[{"iso":"eng"}],"_id":"83","pubrep_id":"1046"},{"oa":1,"article_processing_charge":"No","year":"2018","has_accepted_license":"1","conference":{"name":"Euro-Par: European Conference on Parallel Processing","location":"Turin, Italy","end_date":"2018-08-31","start_date":"2018-08-27"},"date_updated":"2023-09-18T09:32:36Z","publication_identifier":{"issn":["03029743"]},"day":"01","isi":1,"external_id":{"isi":["000851042300031"]},"title":"Snapshot based synchronization: A fast replacement for Hand-over-Hand locking","doi":"10.1007/978-3-319-96983-1_33","acknowledgement":"Trevor Brown was supported in part by the ISF (grants 2005/17 & 1749/14) and by a NSERC post-doctoral fellowship.","_id":"85","language":[{"iso":"eng"}],"page":"465 - 479","citation":{"ama":"Gilad E, Brown TA, Oskin M, Etsion Y. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. In: Vol 11014. Springer; 2018:465-479. doi:<a href=\"https://doi.org/10.1007/978-3-319-96983-1_33\">10.1007/978-3-319-96983-1_33</a>","ista":"Gilad E, Brown TA, Oskin M, Etsion Y. 2018. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11014, 465–479.","apa":"Gilad, E., Brown, T. A., Oskin, M., &#38; Etsion, Y. (2018). Snapshot based synchronization: A fast replacement for Hand-over-Hand locking (Vol. 11014, pp. 465–479). Presented at the Euro-Par: European Conference on Parallel Processing, Turin, Italy: Springer. <a href=\"https://doi.org/10.1007/978-3-319-96983-1_33\">https://doi.org/10.1007/978-3-319-96983-1_33</a>","chicago":"Gilad, Eran, Trevor A Brown, Mark Oskin, and Yoav Etsion. “Snapshot Based Synchronization: A Fast Replacement for Hand-over-Hand Locking,” 11014:465–79. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-96983-1_33\">https://doi.org/10.1007/978-3-319-96983-1_33</a>.","ieee":"E. Gilad, T. A. Brown, M. Oskin, and Y. Etsion, “Snapshot based synchronization: A fast replacement for Hand-over-Hand locking,” presented at the Euro-Par: European Conference on Parallel Processing, Turin, Italy, 2018, vol. 11014, pp. 465–479.","mla":"Gilad, Eran, et al. <i>Snapshot Based Synchronization: A Fast Replacement for Hand-over-Hand Locking</i>. Vol. 11014, Springer, 2018, pp. 465–79, doi:<a href=\"https://doi.org/10.1007/978-3-319-96983-1_33\">10.1007/978-3-319-96983-1_33</a>.","short":"E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479."},"ddc":["000"],"month":"08","file_date_updated":"2020-07-14T12:48:14Z","author":[{"first_name":"Eran","last_name":"Gilad","full_name":"Gilad, Eran"},{"id":"3569F0A0-F248-11E8-B48F-1D18A9856A87","first_name":"Trevor A","last_name":"Brown","full_name":"Brown, Trevor A"},{"full_name":"Oskin, Mark","first_name":"Mark","last_name":"Oskin"},{"first_name":"Yoav","last_name":"Etsion","full_name":"Etsion, Yoav"}],"file":[{"file_id":"5954","file_size":665372,"date_created":"2019-02-12T07:40:40Z","date_updated":"2020-07-14T12:48:14Z","access_level":"open_access","content_type":"application/pdf","creator":"dernst","checksum":"13a3f250be8878405e791b53c19722ad","file_name":"2018_Brown.pdf","relation":"main_file"}],"volume":11014,"type":"conference","publisher":"Springer","publication_status":"published","project":[{"_id":"26450934-B435-11E9-9278-68D0E5697425","name":"NSERC Postdoctoral fellowship"}],"quality_controlled":"1","department":[{"_id":"DaAl"}],"intvolume":"     11014","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2018-08-01T00:00:00Z","status":"public","publist_id":"7969","abstract":[{"text":"Concurrent accesses to shared data structures must be synchronized to avoid data races. Coarse-grained synchronization, which locks the entire data structure, is easy to implement but does not scale. Fine-grained synchronization can scale well, but can be hard to reason about. Hand-over-hand locking, in which operations are pipelined as they traverse the data structure, combines fine-grained synchronization with ease of use. However, the traditional implementation suffers from inherent overheads. This paper introduces snapshot-based synchronization (SBS), a novel hand-over-hand locking mechanism. SBS decouples the synchronization state from the data, significantly improving cache utilization. Further, it relies on guarantees provided by pipelining to minimize synchronization that requires cross-thread communication. Snapshot-based synchronization thus scales much better than traditional hand-over-hand locking, while maintaining the same ease of use.","lang":"eng"}],"date_created":"2018-12-11T11:44:33Z","alternative_title":["LNCS"],"scopus_import":"1","oa_version":"Preprint"},{"citation":{"ieee":"A. Llorca <i>et al.</i>, “Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture,” <i>bioRxiv</i>. Cold Spring Harbor Laboratory.","chicago":"Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong K. Wong, Giovanni Diana, Eleni Serafeimidou, Marian Fernández-Otero, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, n.d. <a href=\"https://doi.org/10.1101/494088\">https://doi.org/10.1101/494088</a>.","short":"A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).","mla":"Llorca, Alfredo, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.” <i>BioRxiv</i>, Cold Spring Harbor Laboratory, doi:<a href=\"https://doi.org/10.1101/494088\">10.1101/494088</a>.","ama":"Llorca A, Ciceri G, Beattie RJ, et al. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/494088\">10.1101/494088</a>","apa":"Llorca, A., Ciceri, G., Beattie, R. J., Wong, F. K., Diana, G., Serafeimidou, E., … Marín, O. (n.d.). Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. <i>bioRxiv</i>. Cold Spring Harbor Laboratory. <a href=\"https://doi.org/10.1101/494088\">https://doi.org/10.1101/494088</a>","ista":"Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou E, Fernández-Otero M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv, <a href=\"https://doi.org/10.1101/494088\">10.1101/494088</a>."},"date_created":"2020-09-21T12:01:50Z","month":"12","oa_version":"Preprint","author":[{"full_name":"Llorca, Alfredo","last_name":"Llorca","first_name":"Alfredo"},{"full_name":"Ciceri, Gabriele","last_name":"Ciceri","first_name":"Gabriele"},{"id":"2E26DF60-F248-11E8-B48F-1D18A9856A87","last_name":"Beattie","first_name":"Robert J","orcid":"0000-0002-8483-8753","full_name":"Beattie, Robert J"},{"first_name":"Fong K.","last_name":"Wong","full_name":"Wong, Fong K."},{"first_name":"Giovanni","last_name":"Diana","full_name":"Diana, Giovanni"},{"full_name":"Serafeimidou, Eleni","last_name":"Serafeimidou","first_name":"Eleni"},{"last_name":"Fernández-Otero","first_name":"Marian","full_name":"Fernández-Otero, Marian"},{"full_name":"Streicher, Carmen","last_name":"Streicher","first_name":"Carmen","id":"36BCB99C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Arnold, Sebastian J.","first_name":"Sebastian J.","last_name":"Arnold"},{"first_name":"Martin","last_name":"Meyer","full_name":"Meyer, Martin"},{"full_name":"Hippenmeyer, Simon","orcid":"0000-0003-2279-1061","id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Hippenmeyer"},{"full_name":"Maravall, Miguel","first_name":"Miguel","last_name":"Maravall"},{"first_name":"Oscar","last_name":"Marín","full_name":"Marín, Oscar"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We thank I. Andrew and S.E. Bae for excellent technical assistance, F. Gage for plasmids, and K. Nave (Nex-Cre) for mouse colonies. We thank members of the Marín and Rico laboratories for stimulating discussions and ideas. Our research on this topic is supported by grants from the European Research Council (ERC-2017-AdG 787355 to O.M and ERC2016-CoG 725780 to S.H.) and Wellcome Trust (103714MA) to O.M. L.L. was the recipient of an EMBO long-term postdoctoral fellowship, R.B. received support from FWF Lise-Meitner program (M 2416) and F.K.W. was supported by an EMBO postdoctoral fellowship and is currently a Marie Skłodowska-Curie Fellow from the European Commission under the H2020 Programme.","language":[{"iso":"eng"}],"_id":"8547","abstract":[{"text":"The cerebral cortex contains multiple hierarchically organized areas with distinctive cytoarchitectonical patterns, but the cellular mechanisms underlying the emergence of this diversity remain unclear. Here, we have quantitatively investigated the neuronal output of individual progenitor cells in the ventricular zone of the developing mouse neocortex using a combination of methods that together circumvent the biases and limitations of individual approaches. We found that individual cortical progenitor cells show a high degree of stochasticity and generate pyramidal cell lineages that adopt a wide range of laminar configurations. Mathematical modelling these lineage data suggests that a small number of progenitor cell populations, each generating pyramidal cells following different stochastic developmental programs, suffice to generate the heterogenous complement of pyramidal cell lineages that collectively build the complex cytoarchitecture of the neocortex.","lang":"eng"}],"date_published":"2018-12-13T00:00:00Z","status":"public","publication":"bioRxiv","publication_status":"submitted","day":"13","publisher":"Cold Spring Harbor Laboratory","date_updated":"2021-01-12T08:20:00Z","title":"Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture","department":[{"_id":"SiHi"}],"doi":"10.1101/494088","project":[{"grant_number":"725780","_id":"260018B0-B435-11E9-9278-68D0E5697425","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development","call_identifier":"H2020"},{"grant_number":"M02416","name":"Molecular Mechanisms Regulating Gliogenesis in the Cerebral Cortex","_id":"264E56E2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"type":"preprint","article_processing_charge":"No","oa":1,"year":"2018","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/494088"}],"ec_funded":1},{"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","last_name":"Otop","first_name":"Jan","full_name":"Otop, Jan"}],"file":[{"access_level":"open_access","date_updated":"2020-07-14T12:48:14Z","date_created":"2019-11-19T08:22:18Z","file_size":516307,"file_id":"7053","file_name":"2018_PrinciplesModeling_Chatterjee.pdf","relation":"main_file","checksum":"9995c6ce6957333baf616fc4f20be597","creator":"dernst","content_type":"application/pdf"}],"month":"07","file_date_updated":"2020-07-14T12:48:14Z","ddc":["000"],"citation":{"ama":"Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. <i>Principles of Modeling</i>. Vol 10760. Springer; 2018:143-161. doi:<a href=\"https://doi.org/10.1007/978-3-319-95246-8_9\">10.1007/978-3-319-95246-8_9</a>","ista":"Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time. In: Principles of Modeling. LNCS, vol. 10760, 143–161.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Otop, J. (2018). Computing average response time. In M. Lohstroh, P. Derler, &#38; M. Sirjani (Eds.), <i>Principles of Modeling</i> (Vol. 10760, pp. 143–161). Springer. <a href=\"https://doi.org/10.1007/978-3-319-95246-8_9\">https://doi.org/10.1007/978-3-319-95246-8_9</a>","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.” In <i>Principles of Modeling</i>, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-95246-8_9\">https://doi.org/10.1007/978-3-319-95246-8_9</a>.","ieee":"K. Chatterjee, T. A. Henzinger, and J. Otop, “Computing average response time,” in <i>Principles of Modeling</i>, vol. 10760, M. Lohstroh, P. Derler, and M. Sirjani, Eds. Springer, 2018, pp. 143–161.","mla":"Chatterjee, Krishnendu, et al. “Computing Average Response Time.” <i>Principles of Modeling</i>, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:<a href=\"https://doi.org/10.1007/978-3-319-95246-8_9\">10.1007/978-3-319-95246-8_9</a>.","short":"K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161."},"page":"143 - 161","_id":"86","language":[{"iso":"eng"}],"acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23, S11407-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), ERC Start grant (279307: Graph Games), Vienna Science and Technology Fund (WWTF) through project ICT15-003 and by the National Science Centre (NCN), Poland under grant 2014/15/D/ST6/04543.","doi":"10.1007/978-3-319-95246-8_9","title":"Computing average response time","day":"20","date_updated":"2021-01-12T08:20:14Z","has_accepted_license":"1","year":"2018","ec_funded":1,"oa":1,"oa_version":"Submitted Version","scopus_import":1,"alternative_title":["LNCS"],"date_created":"2018-12-11T11:44:33Z","abstract":[{"text":"Responsiveness—the requirement that every request to a system be eventually handled—is one of the fundamental liveness properties of a reactive system. Average response time is a quantitative measure for the responsiveness requirement used commonly in performance evaluation. We show how average response time can be computed on state-transition graphs, on Markov chains, and on game graphs. In all three cases, we give polynomial-time algorithms.","lang":"eng"}],"publist_id":"7968","publication":"Principles of Modeling","status":"public","date_published":"2018-07-20T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"     10760","editor":[{"last_name":"Lohstroh","first_name":"Marten","full_name":"Lohstroh, Marten"},{"first_name":"Patricia","last_name":"Derler","full_name":"Derler, Patricia"},{"full_name":"Sirjani, Marjan","first_name":"Marjan","last_name":"Sirjani"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"quality_controlled":"1","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407"},{"call_identifier":"FWF","grant_number":"Z211","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003"}],"publication_status":"published","publisher":"Springer","type":"book_chapter","volume":10760},{"date_created":"2020-10-06T16:33:37Z","oa_version":"Published Version","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"},"intvolume":"         8","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2018-02-09T00:00:00Z","status":"public","publication":"Scientific Reports","abstract":[{"text":"The reversibly switchable fluorescent proteins (RSFPs) commonly used for RESOLFT nanoscopy have been developed from fluorescent proteins of the GFP superfamily. These proteins are bright, but exhibit several drawbacks such as relatively large size, oxygen-dependence, sensitivity to low pH, and limited switching speed. Therefore, RSFPs from other origins with improved properties need to be explored. Here, we report the development of two RSFPs based on the LOV domain of the photoreceptor protein YtvA from Bacillus subtilis. LOV domains obtain their fluorescence by association with the abundant cellular cofactor flavin mononucleotide (FMN). Under illumination with blue and ultraviolet light, they undergo a photocycle, making these proteins inherently photoswitchable. Our first improved variant, rsLOV1, can be used for RESOLFT imaging, whereas rsLOV2 proved useful for STED nanoscopy of living cells with a resolution of down to 50 nm. In addition to their smaller size compared to GFP-related proteins (17 kDa instead of 27 kDa) and their usability at low pH, rsLOV1 and rsLOV2 exhibit faster switching kinetics, switching on and off 3 times faster than rsEGFP2, the fastest-switching RSFP reported to date. Therefore, LOV-domain-based RSFPs have potential for applications where the switching speed of GFP-based proteins is limiting.","lang":"eng"}],"publisher":"Springer Nature","publication_status":"published","pmid":1,"quality_controlled":"1","department":[{"_id":"JoDa"}],"volume":8,"type":"journal_article","keyword":["Multidisciplinary"],"citation":{"chicago":"Gregor, Carola, Sven C. Sidenstein, Martin Andresen, Steffen J. Sahl, Johann G Danzl, and Stefan W. Hell. “Novel Reversibly Switchable Fluorescent Proteins for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.” <i>Scientific Reports</i>. Springer Nature, 2018. <a href=\"https://doi.org/10.1038/s41598-018-19947-1\">https://doi.org/10.1038/s41598-018-19947-1</a>.","ieee":"C. Gregor, S. C. Sidenstein, M. Andresen, S. J. Sahl, J. G. Danzl, and S. W. Hell, “Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA,” <i>Scientific Reports</i>, vol. 8. Springer Nature, 2018.","short":"C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).","mla":"Gregor, Carola, et al. “Novel Reversibly Switchable Fluorescent Proteins for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.” <i>Scientific Reports</i>, vol. 8, 2724, Springer Nature, 2018, doi:<a href=\"https://doi.org/10.1038/s41598-018-19947-1\">10.1038/s41598-018-19947-1</a>.","ama":"Gregor C, Sidenstein SC, Andresen M, Sahl SJ, Danzl JG, Hell SW. Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA. <i>Scientific Reports</i>. 2018;8. doi:<a href=\"https://doi.org/10.1038/s41598-018-19947-1\">10.1038/s41598-018-19947-1</a>","ista":"Gregor C, Sidenstein SC, Andresen M, Sahl SJ, Danzl JG, Hell SW. 2018. Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA. Scientific Reports. 8, 2724.","apa":"Gregor, C., Sidenstein, S. C., Andresen, M., Sahl, S. J., Danzl, J. G., &#38; Hell, S. W. (2018). Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-018-19947-1\">https://doi.org/10.1038/s41598-018-19947-1</a>"},"ddc":["570"],"article_type":"original","month":"02","file_date_updated":"2020-10-06T16:35:16Z","article_number":"2724","author":[{"full_name":"Gregor, Carola","first_name":"Carola","last_name":"Gregor"},{"first_name":"Sven C.","last_name":"Sidenstein","full_name":"Sidenstein, Sven C."},{"last_name":"Andresen","first_name":"Martin","full_name":"Andresen, Martin"},{"full_name":"Sahl, Steffen J.","first_name":"Steffen J.","last_name":"Sahl"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973","full_name":"Danzl, Johann G"},{"full_name":"Hell, Stefan W.","last_name":"Hell","first_name":"Stefan W."}],"file":[{"content_type":"application/pdf","checksum":"e642080fcbde9584c63544f587c74f03","creator":"dernst","relation":"main_file","file_name":"2018_ScientificReports_Gregor.pdf","file_id":"8619","success":1,"file_size":2818077,"date_created":"2020-10-06T16:35:16Z","date_updated":"2020-10-06T16:35:16Z","access_level":"open_access"}],"language":[{"iso":"eng"}],"_id":"8618","date_updated":"2023-09-19T15:04:49Z","publication_identifier":{"issn":["2045-2322"]},"day":"09","isi":1,"external_id":{"pmid":["29426833"],"isi":["000424630400037"]},"title":"Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA","doi":"10.1038/s41598-018-19947-1","oa":1,"article_processing_charge":"No","year":"2018","has_accepted_license":"1"},{"month":"10","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833"},{"full_name":"Nikitenko, Anton","orcid":"0000-0002-0659-3201","id":"3E4FF1BA-F248-11E8-B48F-1D18A9856A87","last_name":"Nikitenko","first_name":"Anton"}],"citation":{"chicago":"Edelsbrunner, Herbert, and Anton Nikitenko. “Random Inscribed Polytopes Have Similar Radius Functions as Poisson-Delaunay Mosaics.” <i>Annals of Applied Probability</i>. Institute of Mathematical Statistics, 2018. <a href=\"https://doi.org/10.1214/18-AAP1389\">https://doi.org/10.1214/18-AAP1389</a>.","ieee":"H. Edelsbrunner and A. Nikitenko, “Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics,” <i>Annals of Applied Probability</i>, vol. 28, no. 5. Institute of Mathematical Statistics, pp. 3215–3238, 2018.","short":"H. Edelsbrunner, A. Nikitenko, Annals of Applied Probability 28 (2018) 3215–3238.","mla":"Edelsbrunner, Herbert, and Anton Nikitenko. “Random Inscribed Polytopes Have Similar Radius Functions as Poisson-Delaunay Mosaics.” <i>Annals of Applied Probability</i>, vol. 28, no. 5, Institute of Mathematical Statistics, 2018, pp. 3215–38, doi:<a href=\"https://doi.org/10.1214/18-AAP1389\">10.1214/18-AAP1389</a>.","ama":"Edelsbrunner H, Nikitenko A. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. <i>Annals of Applied Probability</i>. 2018;28(5):3215-3238. doi:<a href=\"https://doi.org/10.1214/18-AAP1389\">10.1214/18-AAP1389</a>","ista":"Edelsbrunner H, Nikitenko A. 2018. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. 28(5), 3215–3238.","apa":"Edelsbrunner, H., &#38; Nikitenko, A. (2018). Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. <i>Annals of Applied Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/18-AAP1389\">https://doi.org/10.1214/18-AAP1389</a>"},"arxiv":1,"article_type":"original","issue":"5","page":"3215 - 3238","_id":"87","language":[{"iso":"eng"}],"isi":1,"external_id":{"isi":["000442893500018"],"arxiv":["1705.02870"]},"title":"Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics","doi":"10.1214/18-AAP1389","date_updated":"2023-09-15T12:10:35Z","day":"01","year":"2018","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"6287"}]},"article_processing_charge":"No","oa":1,"oa_version":"Preprint","date_created":"2018-12-11T11:44:33Z","scopus_import":"1","status":"public","date_published":"2018-10-01T00:00:00Z","publist_id":"7967","publication":"Annals of Applied Probability","abstract":[{"lang":"eng","text":"Using the geodesic distance on the n-dimensional sphere, we study the expected radius function of the Delaunay mosaic of a random set of points. Specifically, we consider the partition of the mosaic into intervals of the radius function and determine the expected number of intervals whose radii are less than or equal to a given threshold. We find that the expectations are essentially the same as for the Poisson–Delaunay mosaic in n-dimensional Euclidean space. Assuming the points are not contained in a hemisphere, the Delaunay mosaic is isomorphic to the boundary complex of the convex hull in Rn+1, so we also get the expected number of faces of a random inscribed polytope. As proved in Antonelli et al. [Adv. in Appl. Probab. 9–12 (1977–1980)], an orthant section of the n-sphere is isometric to the standard n-simplex equipped with the Fisher information metric. It follows that the latter space has similar stochastic properties as the n-dimensional Euclidean space. Our results are therefore relevant in information geometry and in population genetics."}],"intvolume":"        28","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"call_identifier":"FWF","grant_number":"I02979-N35","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","name":"Persistence and stability of geometric complexes"}],"quality_controlled":"1","department":[{"_id":"HeEd"}],"publisher":"Institute of Mathematical Statistics","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1705.02870"}],"volume":28,"type":"journal_article"},{"date_updated":"2023-09-07T12:43:10Z","day":"01","publication_identifier":{"issn":["2663-337X"]},"doi":"10.15479/AT:ISTA:th1064","title":"Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ","oa":1,"article_processing_charge":"No","year":"2018","has_accepted_license":"1","ddc":["570"],"citation":{"ama":"Belyaeva V. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th1064\">10.15479/AT:ISTA:th1064</a>","apa":"Belyaeva, V. (2018). <i>Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo </i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th1064\">https://doi.org/10.15479/AT:ISTA:th1064</a>","ista":"Belyaeva V. 2018. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . Institute of Science and Technology Austria.","ieee":"V. Belyaeva, “Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ,” Institute of Science and Technology Austria, 2018.","chicago":"Belyaeva, Vera. “Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo .” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:th1064\">https://doi.org/10.15479/AT:ISTA:th1064</a>.","short":"V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , Institute of Science and Technology Austria, 2018.","mla":"Belyaeva, Vera. <i>Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo </i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th1064\">10.15479/AT:ISTA:th1064</a>."},"file":[{"file_id":"6243","file_size":102737483,"embargo_to":"open_access","date_updated":"2020-07-14T12:48:14Z","date_created":"2019-04-08T14:13:12Z","access_level":"closed","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"dernst","checksum":"d27b2465cb70d0c9678a0381b9b6ced1","file_name":"2018_Thesis_Belyaeva_source.docx","relation":"source_file"},{"access_level":"open_access","date_created":"2019-04-08T14:14:08Z","date_updated":"2021-02-11T11:17:16Z","file_size":88077843,"file_id":"6244","relation":"main_file","file_name":"2018_Thesis_Belyaeva.pdf","embargo":"2019-11-19","checksum":"a2939b61bde2de7b8ced77bbae0eaaed","creator":"dernst","content_type":"application/pdf"}],"author":[{"last_name":"Belyaeva","first_name":"Vera","id":"47F080FE-F248-11E8-B48F-1D18A9856A87","full_name":"Belyaeva, Vera"}],"month":"07","file_date_updated":"2021-02-11T11:17:16Z","_id":"9","language":[{"iso":"eng"}],"pubrep_id":"1064","degree_awarded":"PhD","page":"96","publisher":"Institute of Science and Technology Austria","publication_status":"published","supervisor":[{"orcid":"0000-0001-8323-8353","full_name":"Siekhaus, Daria E","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","last_name":"Siekhaus","first_name":"Daria E"}],"department":[{"_id":"DaSi"}],"type":"dissertation","date_created":"2018-12-11T11:44:08Z","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"8047","status":"public","date_published":"2018-07-01T00:00:00Z","abstract":[{"lang":"eng","text":"Immune cells migrating to the sites of infection navigate through diverse tissue architectures and switch their migratory mechanisms upon demand. However, little is known about systemic regulators that could allow the acquisition of these mechanisms. We performed a genetic screen in Drosophila melanogaster to identify regulators of germband invasion by embryonic macrophages into the confined space between the ectoderm and mesoderm. We have found that bZIP circadian transcription factors (TFs) Kayak (dFos) and Vrille (dNFIL3) have opposite effects on macrophage germband infiltration: Kayak facilitated and Vrille inhibited it. These TFs are enriched in the macrophages during migration and genetically interact to control it. Kayak sets a less coordinated mode of migration of the macrophage group and increases the probability and length of Levy walks. Intriguingly, the motility of kayak mutant macrophages was also strongly affected during initial germband invasion but not along another less confined route. Inhibiting Rho1 signaling within the tail ectoderm partially rescued the Kayak mutant phenotype, strongly suggesting that migrating macrophages have to overcome a barrier imposed by the stiffness of the ectoderm. Also, Kayak appeared to be important for the maintenance of the round cell shape and the rear edge translocation of the macrophages invading the germband. Complementary to this, the cortical actin cytoskeleton of Kayak- deficient macrophages was strongly affected. RNA sequencing revealed the filamin Cheerio and tetraspanin TM4SF to be downstream of Kayak. Chromatin immunoprecipitation and immunostaining revealed that the formin Diaphanous is another downstream target of Kayak. Immunostaining revealed that the formin Diaphanous is another downstream target of Kayak. Indeed, Cheerio, TM4SF and Diaphanous are required within macrophages for germband invasion, and expression of constitutively active Diaphanous in macrophages was able to rescue the kayak mutant phenotype. Moreover, Cher and Diaphanous are also reduced in the macrophages overexpressing Vrille. We hypothesize that Kayak, through its targets, increases actin polymerization and cortical tension in macrophages and thus allows extra force generation necessary for macrophage dissemination and migration through confined stiff tissues, while Vrille counterbalances it."}]},{"type":"journal_article","volume":131,"quality_controlled":"1","project":[{"grant_number":"282300","name":"Polarity and subcellular dynamics in plants","_id":"25716A02-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"department":[{"_id":"JiFr"}],"publisher":"Company of Biologists","publication_status":"published","publist_id":"6530","publication":"Journal of Cell Science","date_published":"2018-01-29T00:00:00Z","status":"public","abstract":[{"text":"Coordinated cell polarization in developing tissues is a recurrent theme in multicellular organisms. In plants, a directional distribution of the plant hormone auxin is at the core of many developmental programs. A feedback regulation of auxin on the polarized localization of PIN auxin transporters in individual cells has been proposed as a self-organizing mechanism for coordinated tissue polarization, but the molecular mechanisms linking auxin signalling to PIN-dependent auxin transport remain unknown. We performed a microarray-based approach to find regulators of the auxin-induced PIN relocation in the Arabidopsis thaliana root. We identified a subset of a family of phosphatidylinositol transfer proteins (PITP), the PATELLINs (PATL). Here, we show that PATLs are expressed in partially overlapping cells types in different tissues going through mitosis or initiating differentiation programs. PATLs are plasma membrane-associated proteins accumulated in Arabidopsis embryos, primary roots, lateral root primordia, and developing stomata. Higher order patl mutants display reduced PIN1 repolarization in response to auxin, shorter root apical meristem, and drastic defects in embryo and seedling development. This suggests PATLs redundantly play a crucial role in polarity and patterning in Arabidopsis.","lang":"eng"}],"intvolume":"       131","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","date_created":"2018-12-11T11:49:10Z","scopus_import":"1","year":"2018","ec_funded":1,"has_accepted_license":"1","oa":1,"article_processing_charge":"No","external_id":{"isi":["000424842400019"]},"isi":1,"doi":"10.1242/jcs.204198","title":"PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana","date_updated":"2025-05-07T11:12:29Z","day":"29","publication_identifier":{"issn":["00219533"]},"issue":"2","language":[{"iso":"eng"}],"_id":"913","pubrep_id":"988","file":[{"content_type":"application/pdf","checksum":"bf156c20a4f117b4b932370d54cbac8c","creator":"dernst","file_name":"2017_adamowski_PATELLINS_are.pdf","relation":"main_file","file_id":"6299","file_size":14925985,"date_created":"2019-04-12T08:46:32Z","date_updated":"2020-07-14T12:48:15Z","access_level":"open_access"}],"author":[{"last_name":"Tejos","first_name":"Ricardo","full_name":"Tejos, Ricardo"},{"last_name":"Rodríguez Furlán","first_name":"Cecilia","full_name":"Rodríguez Furlán, Cecilia"},{"full_name":"Adamowski, Maciek","orcid":"0000-0001-6463-5257","id":"45F536D2-F248-11E8-B48F-1D18A9856A87","last_name":"Adamowski","first_name":"Maciek"},{"full_name":"Sauer, Michael","last_name":"Sauer","first_name":"Michael"},{"first_name":"Lorena","last_name":"Norambuena","full_name":"Norambuena, Lorena"},{"last_name":"Friml","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jirí"}],"article_number":"jcs.204198","month":"01","file_date_updated":"2020-07-14T12:48:15Z","ddc":["581"],"citation":{"ama":"Tejos R, Rodríguez Furlán C, Adamowski M, Sauer M, Norambuena L, Friml J. PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana. <i>Journal of Cell Science</i>. 2018;131(2). doi:<a href=\"https://doi.org/10.1242/jcs.204198\">10.1242/jcs.204198</a>","apa":"Tejos, R., Rodríguez Furlán, C., Adamowski, M., Sauer, M., Norambuena, L., &#38; Friml, J. (2018). PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana. <i>Journal of Cell Science</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.204198\">https://doi.org/10.1242/jcs.204198</a>","ista":"Tejos R, Rodríguez Furlán C, Adamowski M, Sauer M, Norambuena L, Friml J. 2018. PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana. Journal of Cell Science. 131(2), jcs. 204198.","ieee":"R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, and J. Friml, “PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana,” <i>Journal of Cell Science</i>, vol. 131, no. 2. Company of Biologists, 2018.","chicago":"Tejos, Ricardo, Cecilia Rodríguez Furlán, Maciek Adamowski, Michael Sauer, Lorena Norambuena, and Jiří Friml. “PATELLINS Are Regulators of Auxin Mediated PIN1 Relocation and Plant Development in Arabidopsis Thaliana.” <i>Journal of Cell Science</i>. Company of Biologists, 2018. <a href=\"https://doi.org/10.1242/jcs.204198\">https://doi.org/10.1242/jcs.204198</a>.","short":"R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, J. Friml, Journal of Cell Science 131 (2018).","mla":"Tejos, Ricardo, et al. “PATELLINS Are Regulators of Auxin Mediated PIN1 Relocation and Plant Development in Arabidopsis Thaliana.” <i>Journal of Cell Science</i>, vol. 131, no. 2, jcs. 204198, Company of Biologists, 2018, doi:<a href=\"https://doi.org/10.1242/jcs.204198\">10.1242/jcs.204198</a>."}},{"oa":1,"article_processing_charge":"No","year":"2018","date_updated":"2021-12-03T07:31:05Z","publication_identifier":{"issn":["2500-2287"],"eissn":["2500-2295"]},"day":"30","title":"Diffraction-unlimited optical imaging for synaptic physiology","doi":"10.20388/omp2018.00s1.001","language":[{"iso":"eng"}],"_id":"9229","issue":"S1","page":"11","citation":{"ama":"Danzl JG. Diffraction-unlimited optical imaging for synaptic physiology. <i>Opera Medica et Physiologica</i>. 2018;4(S1):11. doi:<a href=\"https://doi.org/10.20388/omp2018.00s1.001\">10.20388/omp2018.00s1.001</a>","apa":"Danzl, J. G. (2018). Diffraction-unlimited optical imaging for synaptic physiology. <i>Opera Medica et Physiologica</i>. Lobachevsky State University of Nizhny Novgorod. <a href=\"https://doi.org/10.20388/omp2018.00s1.001\">https://doi.org/10.20388/omp2018.00s1.001</a>","ista":"Danzl JG. 2018. Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. 4(S1), 11.","ieee":"J. G. Danzl, “Diffraction-unlimited optical imaging for synaptic physiology,” <i>Opera Medica et Physiologica</i>, vol. 4, no. S1. Lobachevsky State University of Nizhny Novgorod, p. 11, 2018.","chicago":"Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.” <i>Opera Medica et Physiologica</i>. Lobachevsky State University of Nizhny Novgorod, 2018. <a href=\"https://doi.org/10.20388/omp2018.00s1.001\">https://doi.org/10.20388/omp2018.00s1.001</a>.","mla":"Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.” <i>Opera Medica et Physiologica</i>, vol. 4, no. S1, Lobachevsky State University of Nizhny Novgorod, 2018, p. 11, doi:<a href=\"https://doi.org/10.20388/omp2018.00s1.001\">10.20388/omp2018.00s1.001</a>.","short":"J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11."},"article_type":"letter_note","month":"06","author":[{"last_name":"Danzl","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973"}],"volume":4,"type":"journal_article","main_file_link":[{"open_access":"1","url":"http://operamedphys.org/content/molecular-and-cellular-neuroscience"}],"publisher":"Lobachevsky State University of Nizhny Novgorod","publication_status":"published","quality_controlled":"1","department":[{"_id":"JoDa"}],"intvolume":"         4","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","status":"public","date_published":"2018-06-30T00:00:00Z","publication":"Opera Medica et Physiologica","date_created":"2021-03-07T23:01:25Z","alternative_title":["Molecular and cellular neuroscience"],"scopus_import":"1","oa_version":"Published Version"},{"article_type":"original","citation":{"ama":"Marin Valencia I, Novarino G, Johansen A, et al. A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features. <i>Journal of Medical Genetics</i>. 2018;55(1):48-54. doi:<a href=\"https://doi.org/10.1136/jmedgenet-2017-104627\">10.1136/jmedgenet-2017-104627</a>","ista":"Marin Valencia I, Novarino G, Johansen A, Rosti B, Issa M, Musaev D, Bhat G, Scott E, Silhavy J, Stanley V, Rosti R, Gleeson J, Imam F, Zaki M, Gleeson J. 2018. A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features. Journal of Medical Genetics. 55(1), 48–54.","apa":"Marin Valencia, I., Novarino, G., Johansen, A., Rosti, B., Issa, M., Musaev, D., … Gleeson, J. (2018). A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features. <i>Journal of Medical Genetics</i>. BMJ Publishing Group. <a href=\"https://doi.org/10.1136/jmedgenet-2017-104627\">https://doi.org/10.1136/jmedgenet-2017-104627</a>","chicago":"Marin Valencia, Isaac, Gaia Novarino, Anide Johansen, Başak Rosti, Mahmoud Issa, Damir Musaev, Gifty Bhat, et al. “A Homozygous Founder Mutation in TRAPPC6B Associates with a Neurodevelopmental Disorder Characterised by Microcephaly Epilepsy and Autistic Features.” <i>Journal of Medical Genetics</i>. BMJ Publishing Group, 2018. <a href=\"https://doi.org/10.1136/jmedgenet-2017-104627\">https://doi.org/10.1136/jmedgenet-2017-104627</a>.","ieee":"I. Marin Valencia <i>et al.</i>, “A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features,” <i>Journal of Medical Genetics</i>, vol. 55, no. 1. BMJ Publishing Group, pp. 48–54, 2018.","mla":"Marin Valencia, Isaac, et al. “A Homozygous Founder Mutation in TRAPPC6B Associates with a Neurodevelopmental Disorder Characterised by Microcephaly Epilepsy and Autistic Features.” <i>Journal of Medical Genetics</i>, vol. 55, no. 1, BMJ Publishing Group, 2018, pp. 48–54, doi:<a href=\"https://doi.org/10.1136/jmedgenet-2017-104627\">10.1136/jmedgenet-2017-104627</a>.","short":"I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54."},"month":"01","author":[{"full_name":"Marin Valencia, Isaac","last_name":"Marin Valencia","first_name":"Isaac"},{"orcid":"0000-0002-7673-7178","full_name":"Novarino, Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","last_name":"Novarino"},{"last_name":"Johansen","first_name":"Anide","full_name":"Johansen, Anide"},{"full_name":"Rosti, Başak","first_name":"Başak","last_name":"Rosti"},{"full_name":"Issa, Mahmoud","first_name":"Mahmoud","last_name":"Issa"},{"first_name":"Damir","last_name":"Musaev","full_name":"Musaev, Damir"},{"full_name":"Bhat, Gifty","last_name":"Bhat","first_name":"Gifty"},{"full_name":"Scott, Eric","first_name":"Eric","last_name":"Scott"},{"full_name":"Silhavy, Jennifer","first_name":"Jennifer","last_name":"Silhavy"},{"full_name":"Stanley, Valentina","last_name":"Stanley","first_name":"Valentina"},{"full_name":"Rosti, Rasim","last_name":"Rosti","first_name":"Rasim"},{"full_name":"Gleeson, Jeremy","first_name":"Jeremy","last_name":"Gleeson"},{"first_name":"Farhad","last_name":"Imam","full_name":"Imam, Farhad"},{"first_name":"Maha","last_name":"Zaki","full_name":"Zaki, Maha"},{"first_name":"Joseph","last_name":"Gleeson","full_name":"Gleeson, Joseph"}],"language":[{"iso":"eng"}],"_id":"691","page":"48 - 54","issue":"1","publication_identifier":{"issn":["0022-2593"]},"day":"01","date_updated":"2023-10-16T09:55:43Z","title":"A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features","doi":"10.1136/jmedgenet-2017-104627","isi":1,"external_id":{"pmid":["28626029"],"isi":["000418199800007"]},"article_processing_charge":"No","oa":1,"year":"2018","scopus_import":"1","date_created":"2018-12-11T11:47:57Z","oa_version":"Submitted Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"        55","abstract":[{"text":"Background: Transport protein particle (TRAPP) is a multisubunit complex that regulates membrane trafficking through the Golgi apparatus. The clinical phenotype associated with mutations in various TRAPP subunits has allowed elucidation of their functions in specific tissues. The role of some subunits in human disease, however, has not been fully established, and their functions remain uncertain.\r\n\r\nObjective: We aimed to expand the range of neurodevelopmental disorders associated with mutations in TRAPP subunits by exome sequencing of consanguineous families.\r\n\r\nMethods: Linkage and homozygosity mapping and candidate gene analysis were used to identify homozygous mutations in families. Patient fibroblasts were used to study splicing defect and zebrafish to model the disease.\r\n\r\nResults: We identified six individuals from three unrelated families with a founder homozygous splice mutation in TRAPPC6B, encoding a core subunit of the complex TRAPP I. Patients manifested a neurodevelopmental disorder characterised by microcephaly, epilepsy and autistic features, and showed splicing defect. Zebrafish trappc6b morphants replicated the human phenotype, displaying decreased head size and neuronal hyperexcitability, leading to a lower seizure threshold.\r\n\r\nConclusion: This study provides clinical and functional evidence of the role of TRAPPC6B in brain development and function.","lang":"eng"}],"status":"public","date_published":"2018-01-01T00:00:00Z","publication":"Journal of Medical Genetics","publist_id":"7016","publication_status":"published","publisher":"BMJ Publishing Group","department":[{"_id":"GaNo"}],"pmid":1,"project":[{"grant_number":"401299","_id":"254BA948-B435-11E9-9278-68D0E5697425","name":"Probing development and reversibility of autism spectrum disorders"}],"quality_controlled":"1","volume":55,"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6056005/"}]},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"       194","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"},"abstract":[{"lang":"eng","text":"We consider families of confocal conics and two pencils of Apollonian circles having the same foci. We will show that these families of curves generate trivial 3-webs and find the exact formulas describing them."}],"publist_id":"7014","publication":"Geometriae Dedicata","status":"public","date_published":"2018-06-01T00:00:00Z","scopus_import":"1","date_created":"2018-12-11T11:47:57Z","oa_version":"Published Version","type":"journal_article","volume":194,"publication_status":"published","publisher":"Springer","department":[{"_id":"HeEd"}],"quality_controlled":"1","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7"}],"language":[{"iso":"eng"}],"_id":"692","page":"55 - 64","issue":"1","article_type":"original","ddc":["510"],"citation":{"apa":"Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. <i>Geometriae Dedicata</i>. Springer. <a href=\"https://doi.org/10.1007/s10711-017-0265-6\">https://doi.org/10.1007/s10711-017-0265-6</a>","ista":"Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 194(1), 55–64.","ama":"Akopyan A. 3-Webs generated by confocal conics and circles. <i>Geometriae Dedicata</i>. 2018;194(1):55-64. doi:<a href=\"https://doi.org/10.1007/s10711-017-0265-6\">10.1007/s10711-017-0265-6</a>","mla":"Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” <i>Geometriae Dedicata</i>, vol. 194, no. 1, Springer, 2018, pp. 55–64, doi:<a href=\"https://doi.org/10.1007/s10711-017-0265-6\">10.1007/s10711-017-0265-6</a>.","short":"A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.","ieee":"A. Akopyan, “3-Webs generated by confocal conics and circles,” <i>Geometriae Dedicata</i>, vol. 194, no. 1. Springer, pp. 55–64, 2018.","chicago":"Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” <i>Geometriae Dedicata</i>. Springer, 2018. <a href=\"https://doi.org/10.1007/s10711-017-0265-6\">https://doi.org/10.1007/s10711-017-0265-6</a>."},"author":[{"full_name":"Akopyan, Arseniy","orcid":"0000-0002-2548-617X","first_name":"Arseniy","last_name":"Akopyan","id":"430D2C90-F248-11E8-B48F-1D18A9856A87"}],"file":[{"access_level":"open_access","date_updated":"2020-07-14T12:47:44Z","date_created":"2020-01-03T11:35:08Z","file_size":1140860,"file_id":"7222","file_name":"2018_Springer_Akopyan.pdf","relation":"main_file","creator":"kschuh","checksum":"1febcfc1266486053a069e3425ea3713","content_type":"application/pdf"}],"file_date_updated":"2020-07-14T12:47:44Z","month":"06","article_processing_charge":"Yes (via OA deal)","oa":1,"has_accepted_license":"1","year":"2018","ec_funded":1,"day":"01","date_updated":"2023-09-08T11:40:29Z","doi":"10.1007/s10711-017-0265-6","title":"3-Webs generated by confocal conics and circles","external_id":{"isi":["000431418800004"]},"isi":1},{"page":"480-499","_id":"6941","language":[{"iso":"eng"}],"month":"12","author":[{"first_name":"Sunoo","last_name":"Park","full_name":"Park, Sunoo"},{"full_name":"Kwon, Albert","first_name":"Albert","last_name":"Kwon"},{"full_name":"Fuchsbauer, Georg","first_name":"Georg","last_name":"Fuchsbauer","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Gazi, Peter","id":"3E0BFE38-F248-11E8-B48F-1D18A9856A87","first_name":"Peter","last_name":"Gazi"},{"full_name":"Alwen, Joel F","first_name":"Joel F","last_name":"Alwen","id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"}],"citation":{"ista":"Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. 2018. SpaceMint: A cryptocurrency based on proofs of space. 22nd International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 10957, 480–499.","apa":"Park, S., Kwon, A., Fuchsbauer, G., Gazi, P., Alwen, J. F., &#38; Pietrzak, K. Z. (2018). SpaceMint: A cryptocurrency based on proofs of space. In <i>22nd International Conference on Financial Cryptography and Data Security</i> (Vol. 10957, pp. 480–499). Nieuwpoort, Curacao: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-662-58387-6_26\">https://doi.org/10.1007/978-3-662-58387-6_26</a>","ama":"Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. SpaceMint: A cryptocurrency based on proofs of space. In: <i>22nd International Conference on Financial Cryptography and Data Security</i>. Vol 10957. Springer Nature; 2018:480-499. doi:<a href=\"https://doi.org/10.1007/978-3-662-58387-6_26\">10.1007/978-3-662-58387-6_26</a>","short":"S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.","mla":"Park, Sunoo, et al. “SpaceMint: A Cryptocurrency Based on Proofs of Space.” <i>22nd International Conference on Financial Cryptography and Data Security</i>, vol. 10957, Springer Nature, 2018, pp. 480–99, doi:<a href=\"https://doi.org/10.1007/978-3-662-58387-6_26\">10.1007/978-3-662-58387-6_26</a>.","chicago":"Park, Sunoo, Albert Kwon, Georg Fuchsbauer, Peter Gazi, Joel F Alwen, and Krzysztof Z Pietrzak. “SpaceMint: A Cryptocurrency Based on Proofs of Space.” In <i>22nd International Conference on Financial Cryptography and Data Security</i>, 10957:480–99. Springer Nature, 2018. <a href=\"https://doi.org/10.1007/978-3-662-58387-6_26\">https://doi.org/10.1007/978-3-662-58387-6_26</a>.","ieee":"S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J. F. Alwen, and K. Z. Pietrzak, “SpaceMint: A cryptocurrency based on proofs of space,” in <i>22nd International Conference on Financial Cryptography and Data Security</i>, Nieuwpoort, Curacao, 2018, vol. 10957, pp. 480–499."},"ec_funded":1,"year":"2018","conference":{"location":"Nieuwpoort, Curacao","name":"FC: Financial Cryptography and Data Security","start_date":"2018-02-26","end_date":"2018-03-02"},"article_processing_charge":"No","oa":1,"isi":1,"external_id":{"isi":["000540656400026"]},"title":"SpaceMint: A cryptocurrency based on proofs of space","doi":"10.1007/978-3-662-58387-6_26","date_updated":"2023-09-19T15:02:13Z","publication_identifier":{"issn":["0302-9743"],"isbn":["9783662583869","9783662583876"],"eissn":["1611-3349"]},"day":"07","date_published":"2018-12-07T00:00:00Z","status":"public","publication":"22nd International Conference on Financial Cryptography and Data Security","abstract":[{"text":"Bitcoin has become the most successful cryptocurrency ever deployed, and its most distinctive feature is that it is decentralized. Its underlying protocol (Nakamoto consensus) achieves this by using proof of work, which has the drawback that it causes the consumption of vast amounts of energy to maintain the ledger. Moreover, Bitcoin mining dynamics have become less distributed over time.\r\n\r\nTowards addressing these issues, we propose SpaceMint, a cryptocurrency based on proofs of space instead of proofs of work. Miners in SpaceMint dedicate disk space rather than computation. We argue that SpaceMint’s design solves or alleviates several of Bitcoin’s issues: most notably, its large energy consumption. SpaceMint also rewards smaller miners fairly according to their contribution to the network, thus incentivizing more distributed participation.\r\n\r\nThis paper adapts proof of space to enable its use in cryptocurrency, studies the attacks that can arise against a Bitcoin-like blockchain that uses proof of space, and proposes a new blockchain format and transaction types to address these attacks. Our prototype shows that initializing 1 TB for mining takes about a day (a one-off setup cost), and miners spend on average just a fraction of a second per block mined. Finally, we provide a game-theoretic analysis modeling SpaceMint as an extensive game (the canonical game-theoretic notion for games that take place over time) and show that this stylized game satisfies a strong equilibrium notion, thereby arguing for SpaceMint ’s stability and consensus.","lang":"eng"}],"intvolume":"     10957","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","date_created":"2019-10-14T06:35:38Z","alternative_title":["LNCS"],"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2015/528"}],"volume":10957,"type":"conference","project":[{"call_identifier":"H2020","grant_number":"682815","name":"Teaching Old Crypto New Tricks","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","department":[{"_id":"KrPi"}],"publisher":"Springer Nature","publication_status":"published"}]