[{"department":[{"_id":"UlWa"}],"publication":"A Journey through Discrete Mathematics: A Tribute to Jiri Matousek","_id":"424","abstract":[{"lang":"eng","text":"We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers b and d there exists an integer h(b, d) such that the following holds. If F is a finite family of subsets of Rd such that βi(∩G)≤b for any G⊊F and every 0 ≤ i ≤ [d/2]-1 then F has Helly number at most h(b, d). Here βi denotes the reduced Z2-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these [d/2] first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex K, some well-behaved chain map C*(K)→C*(Rd)."}],"month":"10","oa":1,"external_id":{"arxiv":["1310.4613"]},"related_material":{"record":[{"status":"public","id":"1512","relation":"earlier_version"}]},"date_updated":"2025-06-04T08:47:28Z","publication_identifier":{"isbn":["978-331944479-6"]},"publist_id":"7399","doi":"10.1007/978-3-319-44479-6_17","series_title":"A Journey Through Discrete Mathematics","quality_controlled":"1","citation":{"ama":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:<a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">10.1007/978-3-319-44479-6_17</a>","short":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.","ieee":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.","chicago":"Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">https://doi.org/10.1007/978-3-319-44479-6_17</a>.","apa":"Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, &#38; R. Thomas (Eds.), <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i> (pp. 407–447). Springer. <a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">https://doi.org/10.1007/978-3-319-44479-6_17</a>","ista":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.","mla":"Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:<a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">10.1007/978-3-319-44479-6_17</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1310.4613"}],"language":[{"iso":"eng"}],"scopus_import":"1","type":"book_chapter","day":"06","page":"407 - 447","editor":[{"last_name":"Loebl","full_name":"Loebl, Martin","first_name":"Martin"},{"last_name":"Nešetřil","full_name":"Nešetřil, Jaroslav","first_name":"Jaroslav"},{"last_name":"Thomas","full_name":"Thomas, Robin","first_name":"Robin"}],"date_published":"2017-10-06T00:00:00Z","date_created":"2018-12-11T11:46:24Z","status":"public","publication_status":"published","publisher":"Springer","arxiv":1,"oa_version":"Published Version","title":"Bounding helly numbers via betti numbers","article_processing_charge":"No","year":"2017","author":[{"first_name":"Xavier","full_name":"Goaoc, Xavier","last_name":"Goaoc"},{"last_name":"Paták","first_name":"Pavel","full_name":"Paták, Pavel"},{"orcid":"0000-0002-3975-1683","last_name":"Patakova","full_name":"Patakova, Zuzana","first_name":"Zuzana"},{"orcid":"0000-0002-1191-6714","last_name":"Tancer","full_name":"Tancer, Martin","first_name":"Martin"},{"orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli","first_name":"Uli","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}]},{"date_created":"2018-12-11T11:46:26Z","status":"public","publication_status":"published","publisher":"Neural Information Processing Systems Foundation","arxiv":1,"article_processing_charge":"No","title":"QSGD: Communication-efficient SGD via gradient quantization and encoding","oa_version":"Submitted Version","author":[{"orcid":"0000-0003-3650-940X","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian"},{"full_name":"Grubic, Demjan","first_name":"Demjan","last_name":"Grubic"},{"last_name":"Li","first_name":"Jerry","full_name":"Li, Jerry"},{"full_name":"Tomioka, Ryota","first_name":"Ryota","last_name":"Tomioka"},{"first_name":"Milan","full_name":"Vojnović, Milan","last_name":"Vojnović"}],"year":"2017","isi":1,"language":[{"iso":"eng"}],"page":"1710-1721","day":"01","type":"conference","date_published":"2017-01-01T00:00:00Z","publication_identifier":{"issn":["1049-5258"]},"publist_id":"7392","conference":{"start_date":"2017-12-04","end_date":"2017-12-09","name":"NIPS: Neural Information Processing System","location":"Long Beach, CA, United States"},"quality_controlled":"1","citation":{"ieee":"D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.","chicago":"Alistarh, Dan-Adrian, Demjan Grubic, Jerry Li, Ryota Tomioka, and Milan Vojnović. “QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding,” 2017:1710–21. Neural Information Processing Systems Foundation, 2017.","mla":"Alistarh, Dan-Adrian, et al. <i>QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding</i>. Vol. 2017, Neural Information Processing Systems Foundation, 2017, pp. 1710–21.","ista":"Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. 2017. QSGD: Communication-efficient SGD via gradient quantization and encoding. NIPS: Neural Information Processing System, Advances in Neural Information Processing Systems, vol. 2017, 1710–1721.","apa":"Alistarh, D.-A., Grubic, D., Li, J., Tomioka, R., &#38; Vojnović, M. (2017). QSGD: Communication-efficient SGD via gradient quantization and encoding (Vol. 2017, pp. 1710–1721). Presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States: Neural Information Processing Systems Foundation.","ama":"Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. QSGD: Communication-efficient SGD via gradient quantization and encoding. In: Vol 2017. Neural Information Processing Systems Foundation; 2017:1710-1721.","short":"D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, 2017, pp. 1710–1721."},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1610.02132"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","volume":2017,"department":[{"_id":"DaAl"}],"_id":"431","abstract":[{"text":"Parallel implementations of stochastic gradient descent (SGD) have received significant research attention, thanks to its excellent scalability properties. A fundamental barrier when parallelizing SGD is the high bandwidth cost of communicating gradient updates between nodes; consequently, several lossy compresion heuristics have been proposed, by which nodes only communicate quantized gradients. Although effective in practice, these heuristics do not always converge. In this paper, we propose Quantized SGD (QSGD), a family of compression schemes with convergence guarantees and good practical performance. QSGD allows the user to smoothly trade off communication bandwidth and convergence time: nodes can adjust the number of bits sent per iteration, at the cost of possibly higher variance. We show that this trade-off is inherent, in the sense that improving it past some threshold would violate information-theoretic lower bounds. QSGD guarantees convergence for convex and non-convex objectives, under asynchrony, and can be extended to stochastic variance-reduced techniques. When applied to training deep neural networks for image classification and automated speech recognition, QSGD leads to significant reductions in end-to-end training time. For instance, on 16GPUs, we can train the ResNet-152 network to full accuracy on ImageNet 1.8 × faster than the full-precision variant. ","lang":"eng"}],"intvolume":"      2017","month":"01","corr_author":"1","oa":1,"alternative_title":["Advances in Neural Information Processing Systems"],"date_updated":"2025-09-18T10:07:20Z","external_id":{"isi":["000452649401072"],"arxiv":["1610.02132"]}},{"author":[{"full_name":"Zhang, Hantian","first_name":"Hantian","last_name":"Zhang"},{"first_name":"Jerry","full_name":"Li, Jerry","last_name":"Li"},{"full_name":"Kara, Kaan","first_name":"Kaan","last_name":"Kara"},{"first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X"},{"last_name":"Liu","full_name":"Liu, Ji","first_name":"Ji"},{"last_name":"Zhang","full_name":"Zhang, Ce","first_name":"Ce"}],"year":"2017","title":"ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning","article_processing_charge":"No","oa_version":"Submitted Version","publication_status":"published","publisher":"ML Research Press","status":"public","date_created":"2018-12-11T11:46:26Z","date_published":"2017-01-01T00:00:00Z","ddc":["000"],"day":"01","page":"4035 - 4043","type":"conference","isi":1,"language":[{"iso":"eng"}],"scopus_import":"1","citation":{"ieee":"H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in <i>Proceedings of Machine Learning Research</i>, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.","chicago":"Zhang, Hantian, Jerry Li, Kaan Kara, Dan-Adrian Alistarh, Ji Liu, and Ce Zhang. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” In <i>Proceedings of Machine Learning Research</i>, 70:4035–43. ML Research Press, 2017.","ista":"Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International Conference on Machine Learning, PMLR Press, vol. 70, 4035–4043.","mla":"Zhang, Hantian, et al. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” <i>Proceedings of Machine Learning Research</i>, vol. 70, ML Research Press, 2017, pp. 4035–43.","apa":"Zhang, H., Li, J., Kara, K., Alistarh, D.-A., Liu, J., &#38; Zhang, C. (2017). ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In <i>Proceedings of Machine Learning Research</i> (Vol. 70, pp. 4035–4043). Sydney, Australia: ML Research Press.","ama":"Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In: <i>Proceedings of Machine Learning Research</i>. Vol 70. ML Research Press; 2017:4035-4043.","short":"H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, ML Research Press, 2017, pp. 4035–4043."},"file_date_updated":"2020-07-14T12:46:26Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","conference":{"location":"Sydney, Australia","start_date":"2017-08-06","end_date":"2017-08-11","name":"ICML: International Conference on Machine Learning"},"quality_controlled":"1","has_accepted_license":"1","publication_identifier":{"isbn":["978-151085514-4"]},"publist_id":"7391","date_updated":"2025-09-18T10:06:02Z","alternative_title":["PMLR Press"],"external_id":{"isi":["000683309504015"]},"corr_author":"1","oa":1,"file":[{"file_name":"2017_ICML_Zhang.pdf","relation":"main_file","date_updated":"2020-07-14T12:46:26Z","access_level":"open_access","file_id":"5869","content_type":"application/pdf","file_size":849345,"date_created":"2019-01-22T08:23:58Z","creator":"dernst","checksum":"86156ba7f4318e47cef3eb9092593c10"}],"abstract":[{"text":"Recently there has been significant interest in training machine-learning models at low precision: by reducing precision, one can reduce computation and communication by one order of magnitude. We examine training at reduced precision, both from a theoretical and practical perspective, and ask: is it possible to train models at end-to-end low precision with provable guarantees? Can this lead to consistent order-of-magnitude speedups? We mainly focus on linear models, and the answer is yes for linear models. We develop a simple framework called ZipML based on one simple but novel strategy called double sampling. Our ZipML framework is able to execute training at low precision with no bias, guaranteeing convergence, whereas naive quanti- zation would introduce significant bias. We val- idate our framework across a range of applica- tions, and show that it enables an FPGA proto- type that is up to 6.5 × faster than an implemen- tation using full 32-bit precision. We further de- velop a variance-optimal stochastic quantization strategy and show that it can make a significant difference in a variety of settings. When applied to linear models together with double sampling, we save up to another 1.7 × in data movement compared with uniform quantization. When training deep networks with quantized models, we achieve higher accuracy than the state-of-the- art XNOR-Net. ","lang":"eng"}],"_id":"432","month":"01","volume":" 70","publication":"Proceedings of Machine Learning Research","department":[{"_id":"DaAl"}]},{"language":[{"iso":"eng"}],"department":[{"_id":"LeSa"}],"publication":"Mechanisms of primary energy transduction in biology ","type":"book_chapter","_id":"444","abstract":[{"text":"Complex I (NADH:ubiquinone oxidoreductase) plays a central role in cellular energy generation, contributing to the proton motive force used to produce ATP. It couples the transfer of two electrons between NADH and quinone to translocation of four protons across the membrane. It is the largest protein assembly of bacterial and mitochondrial respiratory chains, composed, in mammals, of up to 45 subunits with a total molecular weight of ∼1 MDa. Bacterial enzyme is about half the size, providing the important “minimal” model of complex I. The l-shaped complex consists of a hydrophilic arm, where electron transfer occurs, and a membrane arm, where proton translocation takes place. Previously, we have solved the crystal structures of the hydrophilic domain of complex I from Thermus thermophilus and of the membrane domain from Escherichia coli, followed by the atomic structure of intact, entire complex I from T. thermophilus. Recently, we have solved by cryo-EM a first complete atomic structure of mammalian (ovine) mitochondrial complex I. Core subunits are well conserved from the bacterial version, whilst supernumerary subunits form an interlinked, stabilizing shell around the core. Subunits containing additional cofactors, including Zn ion, NADPH and phosphopantetheine, probably have regulatory roles. Dysfunction of mitochondrial complex I is implicated in many human neurodegenerative diseases. The structure of mammalian enzyme provides many insights into complex I mechanism, assembly, maturation and dysfunction, allowing detailed molecular analysis of disease-causing mutations.","lang":"eng"}],"day":"29","page":"25 - 59","month":"11","corr_author":"1","editor":[{"full_name":"Wikström, Mårten","first_name":"Mårten","last_name":"Wikström"}],"date_updated":"2024-10-09T20:58:14Z","date_published":"2017-11-29T00:00:00Z","date_created":"2018-12-11T11:46:30Z","status":"public","publist_id":"7379","publication_identifier":{"isbn":["978-1-78262-865-1"]},"publication_status":"published","doi":"10.1039/9781788010405-00025","publisher":"Royal Society of Chemistry","oa_version":"None","quality_controlled":"1","title":"Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions","series_title":"Mechanisms of Primary Energy Transduction in Biology ","citation":{"short":"L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.","ama":"Sazanov LA. Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Wikström M, ed. <i>Mechanisms of Primary Energy Transduction in Biology </i>. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry; 2017:25-59. doi:<a href=\"https://doi.org/10.1039/9781788010405-00025\">10.1039/9781788010405-00025</a>","chicago":"Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” In <i>Mechanisms of Primary Energy Transduction in Biology </i>, edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017. <a href=\"https://doi.org/10.1039/9781788010405-00025\">https://doi.org/10.1039/9781788010405-00025</a>.","mla":"Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” <i>Mechanisms of Primary Energy Transduction in Biology </i>, edited by Mårten Wikström, Royal Society of Chemistry, 2017, pp. 25–59, doi:<a href=\"https://doi.org/10.1039/9781788010405-00025\">10.1039/9781788010405-00025</a>.","apa":"Sazanov, L. A. (2017). Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In M. Wikström (Ed.), <i>Mechanisms of primary energy transduction in biology </i> (pp. 25–59). Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/9781788010405-00025\">https://doi.org/10.1039/9781788010405-00025</a>","ista":"Sazanov LA. 2017.Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Mechanisms of primary energy transduction in biology . , 25–59.","ieee":"L. A. Sazanov, “Structure of respiratory complex I: ‘Minimal’ bacterial and ‘de luxe’ mammalian versions,” in <i>Mechanisms of primary energy transduction in biology </i>, M. Wikström, Ed. Royal Society of Chemistry, 2017, pp. 25–59."},"year":"2017","author":[{"first_name":"Leonid A","full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov","orcid":"0000-0002-0977-7989"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"corr_author":"1","oa":1,"date_updated":"2025-09-18T10:02:36Z","external_id":{"isi":["000404011700017"]},"volume":9,"publication":"Revista Latino-Americana de Probabilidade e Estatística","department":[{"_id":"LaEr"},{"_id":"JaMa"}],"_id":"447","intvolume":"         9","abstract":[{"text":"We consider last passage percolation (LPP) models with exponentially distributed random variables, which are linked to the totally asymmetric simple exclusion process (TASEP). The competition interface for LPP was introduced and studied in Ferrari and Pimentel (2005a) for cases where the corresponding exclusion process had a rarefaction fan. Here we consider situations with a shock and determine the law of the fluctuations of the competition interface around its deter- ministic law of large number position. We also study the multipoint distribution of the LPP around the shock, extending our one-point result of Ferrari and Nejjar (2015).","lang":"eng"}],"article_type":"original","month":"03","quality_controlled":"1","citation":{"ieee":"P. Ferrari and P. Nejjar, “Fluctuations of the competition interface in presence of shocks,” <i>Revista Latino-Americana de Probabilidade e Estatística</i>, vol. 9. Instituto Nacional de Matematica Pura e Aplicada, pp. 299–325, 2017.","chicago":"Ferrari, Patrik, and Peter Nejjar. “Fluctuations of the Competition Interface in Presence of Shocks.” <i>Revista Latino-Americana de Probabilidade e Estatística</i>. Instituto Nacional de Matematica Pura e Aplicada, 2017. <a href=\"https://doi.org/10.30757/ALEA.v14-17\">https://doi.org/10.30757/ALEA.v14-17</a>.","mla":"Ferrari, Patrik, and Peter Nejjar. “Fluctuations of the Competition Interface in Presence of Shocks.” <i>Revista Latino-Americana de Probabilidade e Estatística</i>, vol. 9, Instituto Nacional de Matematica Pura e Aplicada, 2017, pp. 299–325, doi:<a href=\"https://doi.org/10.30757/ALEA.v14-17\">10.30757/ALEA.v14-17</a>.","apa":"Ferrari, P., &#38; Nejjar, P. (2017). Fluctuations of the competition interface in presence of shocks. <i>Revista Latino-Americana de Probabilidade e Estatística</i>. Instituto Nacional de Matematica Pura e Aplicada. <a href=\"https://doi.org/10.30757/ALEA.v14-17\">https://doi.org/10.30757/ALEA.v14-17</a>","ista":"Ferrari P, Nejjar P. 2017. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 9, 299–325.","ama":"Ferrari P, Nejjar P. Fluctuations of the competition interface in presence of shocks. <i>Revista Latino-Americana de Probabilidade e Estatística</i>. 2017;9:299-325. doi:<a href=\"https://doi.org/10.30757/ALEA.v14-17\">10.30757/ALEA.v14-17</a>","short":"P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325."},"main_file_link":[{"url":"http://alea.impa.br/articles/v14/14-17.pdf","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publist_id":"7376","doi":"10.30757/ALEA.v14-17","date_published":"2017-03-23T00:00:00Z","isi":1,"language":[{"iso":"eng"}],"scopus_import":"1","day":"23","page":"299 - 325","type":"journal_article","title":"Fluctuations of the competition interface in presence of shocks","article_processing_charge":"No","ec_funded":1,"oa_version":"Submitted Version","author":[{"first_name":"Patrik","full_name":"Ferrari, Patrik","last_name":"Ferrari"},{"last_name":"Nejjar","id":"4BF426E2-F248-11E8-B48F-1D18A9856A87","first_name":"Peter","full_name":"Nejjar, Peter"}],"year":"2017","status":"public","date_created":"2018-12-11T11:46:31Z","project":[{"call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804"}],"publication_status":"published","publisher":"Instituto Nacional de Matematica Pura e Aplicada"},{"issue":"8","date_published":"2017-08-01T00:00:00Z","language":[{"iso":"eng"}],"scopus_import":"1","page":"92 - 99","day":"01","type":"journal_article","article_processing_charge":"No","title":"Spin it: Optimizing moment of inertia for spinnable objects","oa_version":"None","author":[{"full_name":"Bächer, Moritz","first_name":"Moritz","last_name":"Bächer"},{"last_name":"Bickel","id":"49876194-F248-11E8-B48F-1D18A9856A87","full_name":"Bickel, Bernd","first_name":"Bernd","orcid":"0000-0001-6511-9385"},{"last_name":"Whiting","full_name":"Whiting, Emily","first_name":"Emily"},{"first_name":"Olga","full_name":"Sorkine Hornung, Olga","last_name":"Sorkine Hornung"}],"year":"2017","acknowledgement":"This project was supported in part by the ERC Starting Grant iModel (StG-2012-306877). Emily Whiting was supported by the ETH Zurich/Marie Curie COFUND Postdoctoral Fellowship. \r\nFirst and foremost, we would like to thank our editor Steve Marschner for his invaluable feedback. We were fortunate to get further help from Maurizio Nitti for model design, Romain Prévost for Make-It-Stand comparisons, Alexander Sorkine-Hornung, Kaan Yücer, and Changil Kim for video and photo assistance, Ronnie Gänsli for metal casting, Alec Jacobson for the posed Elephant and Armadillo models, and Romain Prévost and Amit Bermano for print preparation. Model sources include: Woven Ring: generated by “Sculpture Generator 1” by Carlo H. Séquin, UC Berkeley; Elephant: De Espona model library, courtesy of Robert Sumner; T-Rex: TurboSquid; Armadillo: Stanford Computer Graphics Laboratory; and Utah Teapot: Martin Newell, University of Utah. ","status":"public","date_created":"2018-12-11T11:46:33Z","publication_status":"published","publisher":"ACM","related_material":{"record":[{"status":"public","id":"2080","relation":"earlier_version"}]},"date_updated":"2025-08-05T14:20:24Z","volume":60,"publication":"Communications of the ACM","department":[{"_id":"BeBi"}],"_id":"452","intvolume":"        60","abstract":[{"lang":"eng","text":"Spinning tops and yo-yos have long fascinated cultures around the world with their unexpected, graceful motions that seemingly elude gravity. Yet, due to the exceeding difficulty of creating stably spinning objects of asymmetric shape in a manual trial-and-error process, there has been little departure from rotationally symmetric designs. With modern 3D printing technologies, however, we can manufacture shapes of almost unbounded complexity at the press of a button, shifting this design complexity toward computation. In this article, we describe an algorithm to generate designs for spinning objects by optimizing their mass distribution: as input, the user provides a solid 3D model and a desired axis of rotation. Our approach then modifies the interior mass distribution such that the principal directions of the moment of inertia align with the target rotation frame. To create voids inside the model, we represent its volume with an adaptive multiresolution voxelization and optimize the discrete voxel fill values using a continuous, nonlinear formulation. We further optimize for rotational stability by maximizing the dominant principal moment. Our method is well-suited for a variety of 3D printed models, ranging from characters to abstract shapes. We demonstrate tops and yo-yos that spin surprisingly stably despite their asymmetric appearance."}],"article_type":"original","month":"08","quality_controlled":"1","citation":{"ama":"Bächer M, Bickel B, Whiting E, Sorkine Hornung O. Spin it: Optimizing moment of inertia for spinnable objects. <i>Communications of the ACM</i>. 2017;60(8):92-99. doi:<a href=\"https://doi.org/10.1145/3068766\">10.1145/3068766</a>","short":"M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.","ieee":"M. Bächer, B. Bickel, E. Whiting, and O. Sorkine Hornung, “Spin it: Optimizing moment of inertia for spinnable objects,” <i>Communications of the ACM</i>, vol. 60, no. 8. ACM, pp. 92–99, 2017.","apa":"Bächer, M., Bickel, B., Whiting, E., &#38; Sorkine Hornung, O. (2017). Spin it: Optimizing moment of inertia for spinnable objects. <i>Communications of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3068766\">https://doi.org/10.1145/3068766</a>","mla":"Bächer, Moritz, et al. “Spin It: Optimizing Moment of Inertia for Spinnable Objects.” <i>Communications of the ACM</i>, vol. 60, no. 8, ACM, 2017, pp. 92–99, doi:<a href=\"https://doi.org/10.1145/3068766\">10.1145/3068766</a>.","ista":"Bächer M, Bickel B, Whiting E, Sorkine Hornung O. 2017. Spin it: Optimizing moment of inertia for spinnable objects. Communications of the ACM. 60(8), 92–99.","chicago":"Bächer, Moritz, Bernd Bickel, Emily Whiting, and Olga Sorkine Hornung. “Spin It: Optimizing Moment of Inertia for Spinnable Objects.” <i>Communications of the ACM</i>. ACM, 2017. <a href=\"https://doi.org/10.1145/3068766\">https://doi.org/10.1145/3068766</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"7370","doi":"10.1145/3068766"},{"license":"https://creativecommons.org/licenses/by/4.0/","type":"journal_article","day":"07","ddc":["570"],"page":"2055 - 2067","scopus_import":"1","language":[{"iso":"eng"}],"date_published":"2017-11-07T00:00:00Z","pubrep_id":"965","issue":"9","publisher":"Biophysical Society","publication_status":"published","date_created":"2018-12-11T11:46:33Z","status":"public","acknowledgement":"The plasmid for full-length kinesin-1 was a gift from G. Holzwarth and J. Macosko with permission from J. Howard. We thank I. Lueke and N. I. Cade for technical assistance. G.P. thanks the Francis Crick Institute, and in particular the Surrey and Salbreux groups, for their hospitality during his sabbatical stay, as well as Imperial College London for making it possible. This work was supported by the Francis Crick Institute, which receives its core funding from Cancer Research UK (FC001163), the United Kingdom Medical Research Council (FC001163), and the Wellcome Trust (FC001163), and by Imperial College London. J.R. was also supported by a Sir Henry Wellcome Postdoctoral Fellowship (100145/Z/12/Z) and T.S. by the European Research Council (Advanced Grant, project 323042). ","OA_place":"publisher","year":"2017","author":[{"last_name":"Fallesen","full_name":"Fallesen, Todd","first_name":"Todd"},{"first_name":"Johanna","full_name":"Roostalu, Johanna","last_name":"Roostalu"},{"orcid":"0000-0001-6335-9748","last_name":"Düllberg","id":"459064DC-F248-11E8-B48F-1D18A9856A87","first_name":"Christian F","full_name":"Düllberg, Christian F"},{"last_name":"Pruessner","full_name":"Pruessner, Gunnar","first_name":"Gunnar"},{"full_name":"Surrey, Thomas","first_name":"Thomas","last_name":"Surrey"}],"oa_version":"Published Version","title":"Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement","article_processing_charge":"No","pmid":1,"month":"11","article_type":"original","intvolume":"       113","_id":"453","abstract":[{"lang":"eng","text":"Most kinesin motors move in only one direction along microtubules. Members of the kinesin-5 subfamily were initially described as unidirectional plus-end-directed motors and shown to produce piconewton forces. However, some fungal kinesin-5 motors are bidirectional. The force production of a bidirectional kinesin-5 has not yet been measured. Therefore, it remains unknown whether the mechanism of the unconventional minus-end-directed motility differs fundamentally from that of plus-end-directed stepping. Using force spectroscopy, we have measured here the forces that ensembles of purified budding yeast kinesin-5 Cin8 produce in microtubule gliding assays in both plus- and minus-end direction. Correlation analysis of pause forces demonstrated that individual Cin8 molecules produce additive forces in both directions of movement. In ensembles, Cin8 motors were able to produce single-motor forces up to a magnitude of ∼1.5 pN. Hence, these properties appear to be conserved within the kinesin-5 subfamily. Force production was largely independent of the directionality of movement, indicating similarities between the motility mechanisms for both directions. These results provide constraints for the development of models for the bidirectional motility mechanism of fission yeast kinesin-5 and provide insight into the function of this mitotic motor."}],"file":[{"file_name":"IST-2018-965-v1+1_2017_Duellberg_Ensembles_of.pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:46:31Z","file_id":"5052","date_created":"2018-12-12T10:14:03Z","file_size":977192,"content_type":"application/pdf","creator":"system","checksum":"99a2474088e20ac74b1882c4fbbb45b1"}],"department":[{"_id":"MaLo"}],"publication":"Biophysical Journal","volume":113,"external_id":{"pmid":["29117528"]},"date_updated":"2025-08-05T14:08:52Z","oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"doi":"10.1016/j.bpj.2017.09.006","has_accepted_license":"1","publication_identifier":{"issn":["0006-3495"],"eissn":["1542-0086"]},"publist_id":"7369","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"T. Fallesen, J. Roostalu, C. F. Düllberg, G. Pruessner, and T. Surrey, “Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement,” <i>Biophysical Journal</i>, vol. 113, no. 9. Biophysical Society, pp. 2055–2067, 2017.","mla":"Fallesen, Todd, et al. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” <i>Biophysical Journal</i>, vol. 113, no. 9, Biophysical Society, 2017, pp. 2055–67, doi:<a href=\"https://doi.org/10.1016/j.bpj.2017.09.006\">10.1016/j.bpj.2017.09.006</a>.","apa":"Fallesen, T., Roostalu, J., Düllberg, C. F., Pruessner, G., &#38; Surrey, T. (2017). Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. <i>Biophysical Journal</i>. Biophysical Society. <a href=\"https://doi.org/10.1016/j.bpj.2017.09.006\">https://doi.org/10.1016/j.bpj.2017.09.006</a>","ista":"Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. 2017. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 113(9), 2055–2067.","chicago":"Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” <i>Biophysical Journal</i>. Biophysical Society, 2017. <a href=\"https://doi.org/10.1016/j.bpj.2017.09.006\">https://doi.org/10.1016/j.bpj.2017.09.006</a>.","ama":"Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. <i>Biophysical Journal</i>. 2017;113(9):2055-2067. doi:<a href=\"https://doi.org/10.1016/j.bpj.2017.09.006\">10.1016/j.bpj.2017.09.006</a>","short":"T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067."},"file_date_updated":"2020-07-14T12:46:31Z","quality_controlled":"1","OA_type":"hybrid"},{"citation":{"ieee":"S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” <i>Rundgespräche Forum Ökologie</i>, vol. 46. Verlag Dr. Friedrich Pfeil, pp. 105–116, 2017.","chicago":"Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” <i>Rundgespräche Forum Ökologie</i>. Verlag Dr. Friedrich Pfeil, 2017.","ista":"Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.","apa":"Cremer, S. (2017). Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. <i>Rundgespräche Forum Ökologie</i>. Verlag Dr. Friedrich Pfeil.","mla":"Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” <i>Rundgespräche Forum Ökologie</i>, vol. 46, Verlag Dr. Friedrich Pfeil, 2017, pp. 105–16.","ama":"Cremer S. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. <i>Rundgespräche Forum Ökologie</i>. 2017;46:105-116.","short":"S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116."},"file_date_updated":"2020-07-14T12:46:32Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","has_accepted_license":"1","tmp":{"short":"CC BY-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","image":"/image/cc_by_nd.png","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)"},"publist_id":"7362","publication_identifier":{"issn":["2366-2875"]},"date_updated":"2024-10-09T20:58:13Z","corr_author":"1","oa":1,"_id":"459","intvolume":"        46","abstract":[{"text":"The social insects bees, wasps, ants, and termites are species-rich, occur in many habitats, and often constitute a large part of the biomass. Many are also invasive, including species of termites, the red imported fire ant, and the Argentine ant. While invasive social insects have been a problem in Southern Europe for some time, Central Europa was free of invasive ant species until recently because most ants are adapted to warmer climates. Only in the 1990s, did Lasius neglectus, a close relative of the common black garden ant, arrive in Germany. First described in 1990 based on individuals collected in Budapest, the species has since been detected for example in France, Germany, Spain, England, and Kyrgyzstan. The species is spread with soil during construction work or plantings, and L. neglectus therefore is often found in parks and botanical gardens. Another invasive ant now spreading in southern Germany is Formica fuscocinerea, which occurs along rivers, including in the sandy floodplains of the river Isar. As is typical of pioneer species, F. fuscocinerea quickly becomes extremely abundant and therefore causes problems for example on playgrounds in Munich. All invasive ant species are characterized by cooperation across nests, leading to strongly interconnected, very large super-colonies. The resulting dominance results in the extinction of native ant species as well as other arthropod species and thus in the reduction of biodiversity.","lang":"eng"}],"file":[{"content_type":"application/pdf","file_size":1711131,"date_created":"2018-12-12T10:15:52Z","file_id":"5175","checksum":"4919baf9050415ca151fe22497379f78","creator":"system","file_name":"IST-2018-962-v1+1_044676698_07_Cremer__Invasive_Ameisen_in_Europa_...__BY-ND_.pdf","access_level":"open_access","date_updated":"2020-07-14T12:46:32Z","relation":"main_file"}],"month":"04","volume":46,"department":[{"_id":"SyCr"}],"publication":"Rundgespräche Forum Ökologie","year":"2017","author":[{"orcid":"0000-0002-2193-3868","first_name":"Sylvia","full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer"}],"oa_version":"Published Version","article_processing_charge":"No","title":"Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern","publication_status":"published","publisher":"Verlag Dr. Friedrich Pfeil","date_created":"2018-12-11T11:46:35Z","status":"public","pubrep_id":"962","date_published":"2017-04-04T00:00:00Z","type":"journal_article","page":"105 - 116","ddc":["592"],"day":"04","license":"https://creativecommons.org/licenses/by-nd/4.0/","language":[{"iso":"eng"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7611288/"}],"citation":{"ista":"Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 50(1), 130–137.","mla":"Walker, James, et al. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” <i>Nature Genetics</i>, vol. 50, no. 1, Nature Research, 2017, pp. 130–37, doi:<a href=\"https://doi.org/10.1038/s41588-017-0008-5\">10.1038/s41588-017-0008-5</a>.","apa":"Walker, J., Gao, H., Zhang, J., Aldridge, B., Vickers, M., Higgins, J. D., &#38; Feng, X. (2017). Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. <i>Nature Genetics</i>. Nature Research. <a href=\"https://doi.org/10.1038/s41588-017-0008-5\">https://doi.org/10.1038/s41588-017-0008-5</a>","chicago":"Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers, James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” <i>Nature Genetics</i>. Nature Research, 2017. <a href=\"https://doi.org/10.1038/s41588-017-0008-5\">https://doi.org/10.1038/s41588-017-0008-5</a>.","ieee":"J. Walker <i>et al.</i>, “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” <i>Nature Genetics</i>, vol. 50, no. 1. Nature Research, pp. 130–137, 2017.","short":"J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.","ama":"Walker J, Gao H, Zhang J, et al. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. <i>Nature Genetics</i>. 2017;50(1):130-137. doi:<a href=\"https://doi.org/10.1038/s41588-017-0008-5\">10.1038/s41588-017-0008-5</a>"},"quality_controlled":"1","OA_type":"green","doi":"10.1038/s41588-017-0008-5","publication_identifier":{"eissn":["1546-1718"],"issn":["1061-4036"]},"external_id":{"pmid":["29255257"]},"date_updated":"2026-03-19T10:51:18Z","extern":"1","oa":1,"article_type":"original","month":"12","intvolume":"        50","_id":"12193","abstract":[{"text":"DNA methylation regulates eukaryotic gene expression and is extensively reprogrammed during animal development. However, whether developmental methylation reprogramming during the sporophytic life cycle of flowering plants regulates genes is presently unknown. Here we report a distinctive gene-targeted RNA-directed DNA methylation (RdDM) activity in the Arabidopsis thaliana male sexual lineage that regulates gene expression in meiocytes. Loss of sexual-lineage-specific RdDM causes mis-splicing of the MPS1 gene (also known as PRD2), thereby disrupting meiosis. Our results establish a regulatory paradigm in which de novo methylation creates a cell-lineage-specific epigenetic signature that controls gene expression and contributes to cellular function in flowering plants.","lang":"eng"}],"department":[{"_id":"XiFe"}],"publication":"Nature Genetics","keyword":["Genetics"],"volume":50,"OA_place":"repository","year":"2017","author":[{"first_name":"James","full_name":"Walker, James","last_name":"Walker"},{"last_name":"Gao","first_name":"Hongbo","full_name":"Gao, Hongbo"},{"last_name":"Zhang","first_name":"Jingyi","full_name":"Zhang, Jingyi"},{"last_name":"Aldridge","first_name":"Billy","full_name":"Aldridge, Billy"},{"first_name":"Martin","full_name":"Vickers, Martin","last_name":"Vickers"},{"last_name":"Higgins","first_name":"James D.","full_name":"Higgins, James D."},{"last_name":"Feng","id":"e0164712-22ee-11ed-b12a-d80fcdf35958","first_name":"Xiaoqi","full_name":"Feng, Xiaoqi","orcid":"0000-0002-4008-1234"}],"oa_version":"Submitted Version","title":"Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis","article_processing_charge":"No","pmid":1,"publisher":"Nature Research","publication_status":"published","status":"public","date_created":"2023-01-16T09:18:05Z","acknowledgement":"We thank Daniel Zilberman for intellectual contributions to this work and assistance with manuscript preparation. We also thank Caroline Dean, Kirsten Bomblies, Vinod Kumar, Siobhan Brady and Sophien Kamoun for comments on the manuscript, Hugh Dickinson and Josephine Hellberg for developing the meiocyte isolation method, Giles Oldroyd for the pGWB13-Bar vector, Elisa Fiume for the pMDC107-NTF vector, Matthew Hartley, Matthew Couchman and Tjelvar Sten Gunnar Olsson for bioinformatics support, and the John Innes Centre Bioimaging Facility (Elaine Barclay and Grant Calder) for their assistance with microscopy. This work was funded by a Biotechnology and Biological Sciences Research Council (BBSRC) David Phillips Fellowship (BBL0250431) to X.F., a BBSRC grant (BBM01973X1) to J.H., and a Sainsbury PhD Studentship to J.W.","date_published":"2017-12-18T00:00:00Z","issue":"1","type":"journal_article","day":"18","page":"130-137","scopus_import":"1","language":[{"iso":"eng"}]},{"volume":10152,"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"day":"01","intvolume":"     10152","_id":"638","abstract":[{"lang":"eng","text":"This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.\r\nThe NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability."}],"type":"conference_editor","month":"01","editor":[{"id":"369D9A44-F248-11E8-B48F-1D18A9856A87","last_name":"Bogomolov","full_name":"Bogomolov, Sergiy","first_name":"Sergiy","orcid":"0000-0002-0686-0365"},{"first_name":"Matthieu","full_name":"Martel, Matthieu","last_name":"Martel"},{"full_name":"Prabhakar, Pavithra","first_name":"Pavithra","last_name":"Prabhakar"}],"date_updated":"2026-03-31T12:28:01Z","alternative_title":["LNCS"],"date_published":"2017-01-01T00:00:00Z","publication_identifier":{"issn":["0302-9743"],"eisbn":["978-3-319-54292-8"]},"publist_id":"7150","date_created":"2018-12-11T11:47:38Z","status":"public","publication_status":"published","doi":"10.1007/978-3-319-54292-8","publisher":"Springer","conference":{"end_date":"2016-07-18","name":"NSV: Numerical Software Verification","start_date":"2016-07-17","location":"Toronto, ON, Canada"},"article_processing_charge":"No","title":"Numerical Software Verification","quality_controlled":"1","oa_version":"None","year":"2017","citation":{"ieee":"S. Bogomolov, M. Martel, and P. Prabhakar, Eds., <i>Numerical Software Verification</i>, vol. 10152. Springer, 2017.","ista":"Bogomolov S, Martel M, Prabhakar P eds. 2017. Numerical Software Verification, Springer,p.","mla":"Bogomolov, Sergiy, et al., editors. <i>Numerical Software Verification</i>. Vol. 10152, Springer, 2017, doi:<a href=\"https://doi.org/10.1007/978-3-319-54292-8\">10.1007/978-3-319-54292-8</a>.","apa":"Bogomolov, S., Martel, M., &#38; Prabhakar, P. (Eds.). (2017). <i>Numerical Software Verification</i> (Vol. 10152). Presented at the NSV: Numerical Software Verification, Toronto, ON, Canada: Springer. <a href=\"https://doi.org/10.1007/978-3-319-54292-8\">https://doi.org/10.1007/978-3-319-54292-8</a>","chicago":"Bogomolov, Sergiy, Matthieu Martel, and Pavithra Prabhakar, eds. <i>Numerical Software Verification</i>. Vol. 10152. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-54292-8\">https://doi.org/10.1007/978-3-319-54292-8</a>.","ama":"Bogomolov S, Martel M, Prabhakar P, eds. <i>Numerical Software Verification</i>. Vol 10152. Springer; 2017. doi:<a href=\"https://doi.org/10.1007/978-3-319-54292-8\">10.1007/978-3-319-54292-8</a>","short":"S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"volume":52,"department":[{"_id":"KrCh"}],"_id":"1194","intvolume":"        52","abstract":[{"lang":"eng","text":"Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates with probability~1 (almost-sure termination). A powerful approach for this qualitative problem is the notion of ranking supermartingales with respect to a given set of invariants. The quantitative problem (probabilistic termination) asks for bounds on the termination probability. A fundamental and conceptual drawback of the existing approaches to address probabilistic termination is that even though the supermartingales consider the probabilistic behavior of the programs, the invariants are obtained completely ignoring the probabilistic aspect. In this work we address the probabilistic termination problem for linear-arithmetic probabilistic programs with nondeterminism. We define the notion of {\\em stochastic invariants}, which are constraints along with a probability bound that the constraints hold. We introduce a concept of {\\em repulsing supermartingales}. First, we show that repulsing supermartingales can be used to obtain bounds on the probability of the stochastic invariants. Second, we show the effectiveness of repulsing supermartingales in the following three ways: (1)~With a combination of ranking and repulsing supermartingales we can compute lower bounds on the probability of termination; (2)~repulsing supermartingales provide witnesses for refutation of almost-sure termination; and (3)~with a combination of ranking and repulsing supermartingales we can establish persistence properties of probabilistic programs. We also present results on related computational problems and an experimental evaluation of our approach on academic examples. "}],"month":"01","oa":1,"related_material":{"record":[{"relation":"dissertation_contains","id":"14539","status":"public"}]},"date_updated":"2026-04-07T13:27:56Z","alternative_title":["ACM SIGPLAN Notices"],"external_id":{"isi":["000408311200013"],"arxiv":["1611.01063"]},"publist_id":"6157","publication_identifier":{"issn":["0730-8566"]},"doi":"10.1145/3009837.3009873","conference":{"start_date":"2017-01-15","end_date":"2017-01-21","name":"POPL: Principles of Programming Languages","location":"Paris, France"},"quality_controlled":"1","citation":{"ieee":"K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.","chicago":"Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. <a href=\"https://doi.org/10.1145/3009837.3009873\">https://doi.org/10.1145/3009837.3009873</a>.","apa":"Chatterjee, K., Novotný, P., &#38; Zikelic, D. (2017). Stochastic invariants for probabilistic termination (Vol. 52, pp. 145–160). Presented at the POPL: Principles of Programming Languages, Paris, France: ACM. <a href=\"https://doi.org/10.1145/3009837.3009873\">https://doi.org/10.1145/3009837.3009873</a>","mla":"Chatterjee, Krishnendu, et al. <i>Stochastic Invariants for Probabilistic Termination</i>. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:<a href=\"https://doi.org/10.1145/3009837.3009873\">10.1145/3009837.3009873</a>.","ista":"Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.","ama":"Chatterjee K, Novotný P, Zikelic D. Stochastic invariants for probabilistic termination. In: Vol 52. ACM; 2017:145-160. doi:<a href=\"https://doi.org/10.1145/3009837.3009873\">10.1145/3009837.3009873</a>","short":"K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160."},"main_file_link":[{"url":"https://arxiv.org/abs/1611.01063","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"language":[{"iso":"eng"}],"scopus_import":"1","page":"145 - 160","day":"01","type":"conference","issue":"1","date_published":"2017-01-01T00:00:00Z","status":"public","date_created":"2018-12-11T11:50:39Z","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"publication_status":"published","publisher":"ACM","arxiv":1,"article_processing_charge":"No","title":"Stochastic invariants for probabilistic termination","oa_version":"Submitted Version","ec_funded":1,"author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Novotny","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","full_name":"Novotny, Petr","first_name":"Petr"},{"first_name":"Djordje","full_name":"Zikelic, Djordje","last_name":"Zikelic"}],"year":"2017"},{"publication_status":"published","publisher":"Springer","date_created":"2018-12-11T11:47:38Z","status":"public","project":[{"call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks","grant_number":"682815"}],"author":[{"first_name":"Zahra","full_name":"Jafargholi, Zahra","last_name":"Jafargholi"},{"orcid":"0009-0006-6812-7317","last_name":"Kamath Hosdurg","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","first_name":"Chethan","full_name":"Kamath Hosdurg, Chethan"},{"first_name":"Karen","full_name":"Klein, Karen","last_name":"Klein","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Komargodski, Ilan","first_name":"Ilan","last_name":"Komargodski"},{"orcid":"0000-0002-9139-1654","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z"},{"last_name":"Wichs","first_name":"Daniel","full_name":"Wichs, Daniel"}],"year":"2017","article_processing_charge":"No","title":"Be adaptive avoid overcommitting","ec_funded":1,"oa_version":"Submitted Version","day":"01","page":"133 - 163","type":"conference","isi":1,"language":[{"iso":"eng"}],"scopus_import":"1","date_published":"2017-01-01T00:00:00Z","editor":[{"last_name":"Katz","full_name":"Katz, Jonathan","first_name":"Jonathan"},{"last_name":"Shacham","full_name":"Shacham, Hovav","first_name":"Hovav"}],"doi":"10.1007/978-3-319-63688-7_5","publication_identifier":{"isbn":["978-331963687-0"]},"publist_id":"7151","citation":{"chicago":"Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.” edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-63688-7_5\">https://doi.org/10.1007/978-3-319-63688-7_5</a>.","apa":"Jafargholi, Z., Kamath Hosdurg, C., Klein, K., Komargodski, I., Pietrzak, K. Z., &#38; Wichs, D. (2017). Be adaptive avoid overcommitting. In J. Katz &#38; H. Shacham (Eds.) (Vol. 10401, pp. 133–163). Presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-319-63688-7_5\">https://doi.org/10.1007/978-3-319-63688-7_5</a>","mla":"Jafargholi, Zahra, et al. <i>Be Adaptive Avoid Overcommitting</i>. Edited by Jonathan Katz and Hovav Shacham, vol. 10401, Springer, 2017, pp. 133–63, doi:<a href=\"https://doi.org/10.1007/978-3-319-63688-7_5\">10.1007/978-3-319-63688-7_5</a>.","ista":"Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. 2017. Be adaptive avoid overcommitting. CRYPTO: Cryptology, LNCS, vol. 10401, 133–163.","ieee":"Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.","short":"Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.","ama":"Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:<a href=\"https://doi.org/10.1007/978-3-319-63688-7_5\">10.1007/978-3-319-63688-7_5</a>"},"main_file_link":[{"url":"https://eprint.iacr.org/2017/515","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","conference":{"location":"Santa Barbara, CA, United States","start_date":"2017-07-20","end_date":"2017-07-24","name":"CRYPTO: Cryptology"},"quality_controlled":"1","_id":"637","abstract":[{"lang":"eng","text":"For many cryptographic primitives, it is relatively easy to achieve selective security (where the adversary commits a-priori to some of the choices to be made later in the attack) but appears difficult to achieve the more natural notion of adaptive security (where the adversary can make all choices on the go as the attack progresses). A series of several recent works shows how to cleverly achieve adaptive security in several such scenarios including generalized selective decryption (Panjwani, TCC ’07 and Fuchsbauer et al., CRYPTO ’15), constrained PRFs (Fuchsbauer et al., ASIACRYPT ’14), and Yao garbled circuits (Jafargholi and Wichs, TCC ’16b). Although the above works expressed vague intuition that they share a common technique, the connection was never made precise. In this work we present a new framework that connects all of these works and allows us to present them in a unified and simplified fashion. Moreover, we use the framework to derive a new result for adaptively secure secret sharing over access structures defined via monotone circuits. We envision that further applications will follow in the future. Underlying our framework is the following simple idea. It is well known that selective security, where the adversary commits to n-bits of information about his future choices, automatically implies adaptive security at the cost of amplifying the adversary’s advantage by a factor of up to 2n. However, in some cases the proof of selective security proceeds via a sequence of hybrids, where each pair of adjacent hybrids locally only requires some smaller partial information consisting of m ≪ n bits. The partial information needed might be completely different between different pairs of hybrids, and if we look across all the hybrids we might rely on the entire n-bit commitment. Nevertheless, the above is sufficient to prove adaptive security, at the cost of amplifying the adversary’s advantage by a factor of only 2m ≪ 2n. In all of our examples using the above framework, the different hybrids are captured by some sort of a graph pebbling game and the amount of information that the adversary needs to commit to in each pair of hybrids is bounded by the maximum number of pebbles in play at any point in time. Therefore, coming up with better strategies for proving adaptive security translates to various pebbling strategies for different types of graphs."}],"intvolume":"     10401","month":"01","volume":10401,"department":[{"_id":"KrPi"}],"alternative_title":["LNCS"],"related_material":{"record":[{"status":"public","id":"10035","relation":"dissertation_contains"}]},"date_updated":"2026-04-08T07:01:44Z","external_id":{"isi":["000438672600005"]},"oa":1},{"alternative_title":["ACM Transactions on Graphics"],"related_material":{"record":[{"relation":"dissertation_contains","id":"8366","status":"public"}]},"date_updated":"2026-04-08T07:25:22Z","external_id":{"isi":["000406432100032"]},"oa":1,"file":[{"creator":"system","file_size":36159696,"date_created":"2018-12-12T10:10:24Z","content_type":"application/pdf","file_id":"4811","access_level":"open_access","date_updated":"2018-12-12T10:10:24Z","relation":"main_file","file_name":"IST-2018-1053-v1+1_CurveUp.pdf"}],"abstract":[{"lang":"eng","text":"We present a computational approach for designing CurveUps, curvy shells that form from an initially flat state. They consist of small rigid tiles that are tightly held together by two pre-stretched elastic sheets attached to them. Our method allows the realization of smooth, doubly curved surfaces that can be fabricated as a flat piece. Once released, the restoring forces of the pre-stretched sheets support the object to take shape in 3D. CurveUps are structurally stable in their target configuration. The design process starts with a target surface. Our method generates a tile layout in 2D and optimizes the distribution, shape, and attachment areas of the tiles to obtain a configuration that is fabricable and in which the curved up state closely matches the target. Our approach is based on an efficient approximate model and a local optimization strategy for an otherwise intractable nonlinear optimization problem. We demonstrate the effectiveness of our approach for a wide range of shapes, all realized as physical prototypes."}],"_id":"1001","intvolume":"        36","month":"01","volume":36,"department":[{"_id":"BeBi"}],"article_number":"64","file_date_updated":"2018-12-12T10:10:24Z","citation":{"chicago":"Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. <a href=\"https://doi.org/10.1145/3072959.3073709\">https://doi.org/10.1145/3072959.3073709</a>.","ista":"Guseinov R, Miguel E, Bickel B. 2017. CurveUps: Shaping objects from flat plates with tension-actuated curvature. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 64.","apa":"Guseinov, R., Miguel, E., &#38; Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. <a href=\"https://doi.org/10.1145/3072959.3073709\">https://doi.org/10.1145/3072959.3073709</a>","mla":"Guseinov, Ruslan, et al. <i>CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature</i>. Vol. 36, no. 4, 64, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3072959.3073709\">10.1145/3072959.3073709</a>.","ieee":"R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.","short":"R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.","ama":"Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:<a href=\"https://doi.org/10.1145/3072959.3073709\">10.1145/3072959.3073709</a>"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","conference":{"location":"Los Angeles, CA, United States","end_date":"2017-08-25","name":"SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques","start_date":"2017-08-19"},"quality_controlled":"1","has_accepted_license":"1","doi":"10.1145/3072959.3073709","publist_id":"6397","date_published":"2017-01-01T00:00:00Z","pubrep_id":"1053","issue":"4","ddc":["003","004"],"day":"01","type":"conference","isi":1,"language":[{"iso":"eng"}],"scopus_import":"1","author":[{"full_name":"Guseinov, Ruslan","first_name":"Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","last_name":"Guseinov","orcid":"0000-0001-9819-5077"},{"full_name":"Miguel, Eder","first_name":"Eder","last_name":"Miguel"},{"first_name":"Bernd","full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel","orcid":"0000-0001-6511-9385"}],"year":"2017","title":"CurveUps: Shaping objects from flat plates with tension-actuated curvature","article_processing_charge":"No","ec_funded":1,"oa_version":"Submitted Version","publication_status":"published","publisher":"ACM","date_created":"2018-12-11T11:49:38Z","status":"public","project":[{"name":"Soft-bodied intelligence for Manipulation","grant_number":"645599","_id":"25082902-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}]},{"arxiv":1,"oa_version":"Published Version","ec_funded":1,"article_processing_charge":"No","title":"Angular self-localization of impurities rotating in a bosonic bath","year":"2017","author":[{"id":"4B7E523C-F248-11E8-B48F-1D18A9856A87","last_name":"Li","full_name":"Li, Xiang","first_name":"Xiang"},{"first_name":"Robert","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","orcid":"0000-0002-6781-0521"},{"first_name":"Mikhail","full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802"}],"date_created":"2018-12-11T11:50:15Z","status":"public","project":[{"name":"Analysis of quantum many-body systems","grant_number":"694227","call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","_id":"25C878CE-B435-11E9-9278-68D0E5697425","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","grant_number":"P27533_N27"},{"_id":"26031614-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P29902","name":"Quantum rotations in the presence of a many-body environment"}],"publication_status":"published","publisher":"American Physical Society","issue":"3","date_published":"2017-03-06T00:00:00Z","language":[{"iso":"eng"}],"isi":1,"scopus_import":"1","type":"journal_article","day":"06","quality_controlled":"1","citation":{"short":"X. Li, R. Seiringer, M. Lemeshko, Physical Review A 95 (2017).","ama":"Li X, Seiringer R, Lemeshko M. Angular self-localization of impurities rotating in a bosonic bath. <i>Physical Review A</i>. 2017;95(3). doi:<a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">10.1103/PhysRevA.95.033608</a>","chicago":"Li, Xiang, Robert Seiringer, and Mikhail Lemeshko. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” <i>Physical Review A</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">https://doi.org/10.1103/PhysRevA.95.033608</a>.","ista":"Li X, Seiringer R, Lemeshko M. 2017. Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. 95(3), 033608.","apa":"Li, X., Seiringer, R., &#38; Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">https://doi.org/10.1103/PhysRevA.95.033608</a>","mla":"Li, Xiang, et al. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” <i>Physical Review A</i>, vol. 95, no. 3, 033608, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">10.1103/PhysRevA.95.033608</a>.","ieee":"X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” <i>Physical Review A</i>, vol. 95, no. 3. American Physical Society, 2017."},"article_number":"033608","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1610.04908"}],"publist_id":"6242","publication_identifier":{"issn":["2469-9926"]},"doi":"10.1103/PhysRevA.95.033608","oa":1,"external_id":{"arxiv":["1610.04908"],"isi":["000395981900009"]},"date_updated":"2026-04-08T07:26:09Z","related_material":{"record":[{"relation":"dissertation_contains","id":"8958","status":"public"}]},"volume":95,"department":[{"_id":"MiLe"},{"_id":"RoSe"}],"publication":"Physical Review A","intvolume":"        95","_id":"1120","abstract":[{"lang":"eng","text":"The existence of a self-localization transition in the polaron problem has been under an active debate ever since Landau suggested it 83 years ago. Here we reveal the self-localization transition for the rotational analogue of the polaron -- the angulon quasiparticle. We show that, unlike for the polarons, self-localization of angulons occurs at finite impurity-bath coupling already at the mean-field level. The transition is accompanied by the spherical-symmetry breaking of the angulon ground state and a discontinuity in the first derivative of the ground-state energy. Moreover, the type of the symmetry breaking is dictated by the symmetry of the microscopic impurity-bath interaction, which leads to a number of distinct self-localized states. The predicted effects can potentially be addressed in experiments on cold molecules trapped in superfluid helium droplets and ultracold quantum gases, as well as on electronic excitations in solids and Bose-Einstein condensates. "}],"month":"03"},{"arxiv":1,"ec_funded":1,"oa_version":"Published Version","article_processing_charge":"No","title":"Probabilistic image colorization","year":"2017","author":[{"full_name":"Royer, Amélie","first_name":"Amélie","last_name":"Royer","id":"3811D890-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8407-0705"},{"last_name":"Kolesnikov","id":"2D157DB6-F248-11E8-B48F-1D18A9856A87","first_name":"Alexander","full_name":"Kolesnikov, Alexander"},{"orcid":"0000-0001-8622-7887","first_name":"Christoph","full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert"}],"date_created":"2018-12-11T11:49:09Z","status":"public","project":[{"grant_number":"308036","name":"Lifelong Learning of Visual Scene Understanding","call_identifier":"FP7","_id":"2532554C-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","publisher":"BMVA Press","date_published":"2017-09-01T00:00:00Z","language":[{"iso":"eng"}],"scopus_import":"1","type":"conference","ddc":["000"],"page":"85.1-85.12","day":"01","conference":{"end_date":"2017-09-07","name":"BMVC: British Machine Vision Conference","start_date":"2017-09-04","location":"London, United Kingdom"},"quality_controlled":"1","file_date_updated":"2020-08-10T07:14:33Z","citation":{"chicago":"Royer, Amélie, Alexander Kolesnikov, and Christoph Lampert. “Probabilistic Image Colorization,” 85.1-85.12. BMVA Press, 2017. <a href=\"https://doi.org/10.5244/c.31.85\">https://doi.org/10.5244/c.31.85</a>.","ista":"Royer A, Kolesnikov A, Lampert C. 2017. Probabilistic image colorization. BMVC: British Machine Vision Conference, 85.1-85.12.","apa":"Royer, A., Kolesnikov, A., &#38; Lampert, C. (2017). Probabilistic image colorization (p. 85.1-85.12). Presented at the BMVC: British Machine Vision Conference, London, United Kingdom: BMVA Press. <a href=\"https://doi.org/10.5244/c.31.85\">https://doi.org/10.5244/c.31.85</a>","mla":"Royer, Amélie, et al. <i>Probabilistic Image Colorization</i>. BMVA Press, 2017, p. 85.1-85.12, doi:<a href=\"https://doi.org/10.5244/c.31.85\">10.5244/c.31.85</a>.","ieee":"A. Royer, A. Kolesnikov, and C. Lampert, “Probabilistic image colorization,” presented at the BMVC: British Machine Vision Conference, London, United Kingdom, 2017, p. 85.1-85.12.","short":"A. Royer, A. Kolesnikov, C. Lampert, in:, BMVA Press, 2017, p. 85.1-85.12.","ama":"Royer A, Kolesnikov A, Lampert C. Probabilistic image colorization. In: BMVA Press; 2017:85.1-85.12. doi:<a href=\"https://doi.org/10.5244/c.31.85\">10.5244/c.31.85</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"6532","publication_identifier":{"eisbn":["190172560X"]},"doi":"10.5244/c.31.85","has_accepted_license":"1","oa":1,"corr_author":"1","external_id":{"arxiv":["1705.04258"]},"date_updated":"2026-04-08T07:26:44Z","related_material":{"record":[{"status":"public","id":"8390","relation":"dissertation_contains"}]},"department":[{"_id":"ChLa"}],"abstract":[{"lang":"eng","text":"We develop a probabilistic technique for colorizing grayscale natural images. In light of the intrinsic uncertainty of this task, the proposed probabilistic framework has numerous desirable properties. In particular, our model is able to produce multiple plausible and vivid colorizations for a given grayscale image and is one of the first colorization models to provide a proper stochastic sampling scheme. Moreover, our training procedure is supported by a rigorous theoretical framework that does not require any ad hoc heuristics and allows for efficient modeling and learning of the joint pixel color distribution.We demonstrate strong quantitative and qualitative experimental results on the CIFAR-10 dataset and the challenging ILSVRC 2012 dataset."}],"_id":"911","file":[{"file_id":"8224","content_type":"application/pdf","file_size":1625363,"success":1,"date_created":"2020-08-10T07:14:33Z","creator":"dernst","file_name":"2017_BMVC_Royer.pdf","relation":"main_file","date_updated":"2020-08-10T07:14:33Z","access_level":"open_access"}],"month":"09"},{"publist_id":"7129","publication_identifier":{"isbn":["978-331965764-6"]},"doi":"10.1007/978-3-319-65765-3_7","has_accepted_license":"1","quality_controlled":"1","conference":{"end_date":"2017-09-07","name":"FORMATS: Formal Modelling and Analysis of Timed Systems","start_date":"2017-09-05","location":"Berlin, Germany"},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file_date_updated":"2020-07-14T12:47:31Z","citation":{"ieee":"S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.","mla":"Bogomolov, Sergiy, et al. <i>Conic Abstractions for Hybrid Systems</i>. Vol. 10419, Springer, 2017, pp. 116–32, doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">10.1007/978-3-319-65765-3_7</a>.","apa":"Bogomolov, S., Giacobbe, M., Henzinger, T. A., &#38; Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">https://doi.org/10.1007/978-3-319-65765-3_7</a>","ista":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.","chicago":"Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">https://doi.org/10.1007/978-3-319-65765-3_7</a>.","ama":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">10.1007/978-3-319-65765-3_7</a>","short":"S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132."},"department":[{"_id":"ToHe"}],"volume":"10419 ","month":"09","abstract":[{"text":"Despite researchers’ efforts in the last couple of decades, reachability analysis is still a challenging problem even for linear hybrid systems. Among the existing approaches, the most practical ones are mainly based on bounded-time reachable set over-approximations. For the purpose of unbounded-time analysis, one important strategy is to abstract the original system and find an invariant for the abstraction. In this paper, we propose an approach to constructing a new kind of abstraction called conic abstraction for affine hybrid systems, and to computing reachable sets based on this abstraction. The essential feature of a conic abstraction is that it partitions the state space of a system into a set of convex polyhedral cones which is derived from a uniform conic partition of the derivative space. Such a set of polyhedral cones is able to cut all trajectories of the system into almost straight segments so that every segment of a reach pipe in a polyhedral cone tends to be straight as well, and hence can be over-approximated tightly by polyhedra using similar techniques as HyTech or PHAVer. In particular, for diagonalizable affine systems, our approach can guarantee to find an invariant for unbounded reachable sets, which is beyond the capability of bounded-time reachability analysis tools. We implemented the approach in a tool and experiments on benchmarks show that our approach is more powerful than SpaceEx and PHAVer in dealing with diagonalizable systems.","lang":"eng"}],"_id":"647","file":[{"creator":"system","checksum":"faf546914ba29bcf9974ee36b6b16750","file_id":"4956","content_type":"application/pdf","file_size":3806864,"date_created":"2018-12-12T10:12:38Z","relation":"main_file","date_updated":"2020-07-14T12:47:31Z","access_level":"open_access","file_name":"IST-2017-831-v1+1_main.pdf"}],"corr_author":"1","oa":1,"external_id":{"isi":["000611678300007"]},"alternative_title":["LNCS"],"date_updated":"2026-04-08T07:47:13Z","related_material":{"record":[{"id":"6894","relation":"dissertation_contains","status":"public"}]},"project":[{"grant_number":"S11402-N23","name":"Moderne Concurrency Paradigms","call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"}],"status":"public","date_created":"2018-12-11T11:47:41Z","publisher":"Springer","publication_status":"published","oa_version":"Submitted Version","article_processing_charge":"No","title":"Conic abstractions for hybrid systems","year":"2017","author":[{"first_name":"Sergiy","full_name":"Bogomolov, Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","last_name":"Bogomolov","orcid":"0000-0002-0686-0365"},{"first_name":"Mirco","full_name":"Giacobbe, Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","last_name":"Giacobbe","orcid":"0000-0001-8180-0904"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"last_name":"Kong","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","full_name":"Kong, Hui","first_name":"Hui","orcid":"0000-0002-3066-6941"}],"scopus_import":"1","language":[{"iso":"eng"}],"isi":1,"type":"conference","page":"116 - 132","ddc":["005"],"day":"01","date_published":"2017-09-01T00:00:00Z","pubrep_id":"831"},{"oa_version":"Submitted Version","article_processing_charge":"No","title":"Counterexample guided refinement of template polyhedra","year":"2017","author":[{"full_name":"Bogomolov, Sergiy","first_name":"Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","last_name":"Bogomolov","orcid":"0000-0002-0686-0365"},{"last_name":"Frehse","first_name":"Goran","full_name":"Frehse, Goran"},{"orcid":"0000-0001-8180-0904","first_name":"Mirco","full_name":"Giacobbe, Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","last_name":"Giacobbe"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"status":"public","date_created":"2018-12-11T11:47:36Z","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), by the European Commission under grant 643921 (UnCoVerCPS), and by the ARC project DP140104219 (Robust AI Planning for Hybrid Systems).","project":[{"call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23","name":"Moderne Concurrency Paradigms"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211"}],"publication_status":"published","publisher":"Springer","date_published":"2017-03-31T00:00:00Z","pubrep_id":"966","language":[{"iso":"eng"}],"isi":1,"scopus_import":"1","type":"conference","day":"31","page":"589 - 606","ddc":["000"],"conference":{"end_date":"2017-04-29","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2017-04-22","location":"Uppsala, Sweden"},"quality_controlled":"1","file_date_updated":"2020-07-14T12:47:27Z","citation":{"ieee":"S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.","apa":"Bogomolov, S., Frehse, G., Giacobbe, M., &#38; Henzinger, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. <a href=\"https://doi.org/10.1007/978-3-662-54577-5_34\">https://doi.org/10.1007/978-3-662-54577-5_34</a>","ista":"Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 589–606.","mla":"Bogomolov, Sergiy, et al. <i>Counterexample Guided Refinement of Template Polyhedra</i>. Vol. 10205, Springer, 2017, pp. 589–606, doi:<a href=\"https://doi.org/10.1007/978-3-662-54577-5_34\">10.1007/978-3-662-54577-5_34</a>.","chicago":"Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,” 10205:589–606. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-662-54577-5_34\">https://doi.org/10.1007/978-3-662-54577-5_34</a>.","ama":"Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:<a href=\"https://doi.org/10.1007/978-3-662-54577-5_34\">10.1007/978-3-662-54577-5_34</a>","short":"S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"isbn":["978-366254576-8"]},"publist_id":"7162","doi":"10.1007/978-3-662-54577-5_34","has_accepted_license":"1","oa":1,"corr_author":"1","external_id":{"isi":["000440734900034"]},"date_updated":"2026-04-08T07:47:13Z","alternative_title":["LNCS"],"related_material":{"record":[{"id":"6894","relation":"dissertation_contains","status":"public"}]},"volume":10205,"department":[{"_id":"ToHe"}],"_id":"631","abstract":[{"lang":"eng","text":"Template polyhedra generalize intervals and octagons to polyhedra whose facets are orthogonal to a given set of arbitrary directions. They have been employed in the abstract interpretation of programs and, with particular success, in the reachability analysis of hybrid automata. While previously, the choice of directions has been left to the user or a heuristic, we present a method for the automatic discovery of directions that generalize and eliminate spurious counterexamples. We show that for the class of convex hybrid automata, i.e., hybrid automata with (possibly nonlinear) convex constraints on derivatives, such directions always exist and can be found using convex optimization. We embed our method inside a CEGAR loop, thus enabling the time-unbounded reachability analysis of an important and richer class of hybrid automata than was previously possible. We evaluate our method on several benchmarks, demonstrating also its superior efficiency for the special case of linear hybrid automata."}],"intvolume":"     10205","file":[{"file_name":"IST-2017-741-v1+1_main.pdf","access_level":"open_access","date_updated":"2020-07-14T12:47:27Z","relation":"main_file","date_created":"2018-12-12T10:11:41Z","file_size":569863,"content_type":"application/pdf","file_id":"4897","checksum":"f395d0d20102b89aeaad8b4ef4f18f4f","creator":"system"},{"file_name":"IST-2018-741-v2+2_main.pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:47:27Z","file_id":"4898","content_type":"application/pdf","date_created":"2018-12-12T10:11:42Z","file_size":563276,"creator":"system","checksum":"f416ee1ae4497b23ecdf28b1f18bb8df"}],"month":"03"},{"quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"216","file_date_updated":"2020-07-14T12:48:16Z","citation":{"short":"T. Friedlander, R. Prizak, N.H. Barton, G. Tkačik, Nature Communications 8 (2017).","ama":"Friedlander T, Prizak R, Barton NH, Tkačik G. Evolution of new regulatory functions on biophysically realistic fitness landscapes. <i>Nature Communications</i>. 2017;8(1). doi:<a href=\"https://doi.org/10.1038/s41467-017-00238-8\">10.1038/s41467-017-00238-8</a>","chicago":"Friedlander, Tamar, Roshan Prizak, Nicholas H Barton, and Gašper Tkačik. “Evolution of New Regulatory Functions on Biophysically Realistic Fitness Landscapes.” <i>Nature Communications</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/s41467-017-00238-8\">https://doi.org/10.1038/s41467-017-00238-8</a>.","ista":"Friedlander T, Prizak R, Barton NH, Tkačik G. 2017. Evolution of new regulatory functions on biophysically realistic fitness landscapes. Nature Communications. 8(1), 216.","mla":"Friedlander, Tamar, et al. “Evolution of New Regulatory Functions on Biophysically Realistic Fitness Landscapes.” <i>Nature Communications</i>, vol. 8, no. 1, 216, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/s41467-017-00238-8\">10.1038/s41467-017-00238-8</a>.","apa":"Friedlander, T., Prizak, R., Barton, N. H., &#38; Tkačik, G. (2017). Evolution of new regulatory functions on biophysically realistic fitness landscapes. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41467-017-00238-8\">https://doi.org/10.1038/s41467-017-00238-8</a>","ieee":"T. Friedlander, R. Prizak, N. H. Barton, and G. Tkačik, “Evolution of new regulatory functions on biophysically realistic fitness landscapes,” <i>Nature Communications</i>, vol. 8, no. 1. Nature Publishing Group, 2017."},"publication_identifier":{"issn":["2041-1723"]},"publist_id":"6459","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"has_accepted_license":"1","doi":"10.1038/s41467-017-00238-8","corr_author":"1","oa":1,"date_updated":"2026-04-08T13:54:24Z","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"6071"}]},"external_id":{"isi":["000407198800005"]},"publication":"Nature Communications","department":[{"_id":"GaTk"},{"_id":"NiBa"}],"volume":8,"month":"08","file":[{"creator":"system","checksum":"29a1b5db458048d3bd5c67e0e2a56818","file_id":"5064","content_type":"application/pdf","file_size":998157,"date_created":"2018-12-12T10:14:14Z","relation":"main_file","date_updated":"2020-07-14T12:48:16Z","access_level":"open_access","file_name":"IST-2017-864-v1+1_s41467-017-00238-8.pdf"},{"file_name":"IST-2017-864-v1+2_41467_2017_238_MOESM1_ESM.pdf","relation":"main_file","date_updated":"2020-07-14T12:48:16Z","access_level":"open_access","file_id":"5065","content_type":"application/pdf","date_created":"2018-12-12T10:14:15Z","file_size":9715993,"creator":"system","checksum":"7b78401e52a576cf3e6bbf8d0abadc17"}],"_id":"955","intvolume":"         8","abstract":[{"text":"Gene expression is controlled by networks of regulatory proteins that interact specifically with external signals and DNA regulatory sequences. These interactions force the network components to co-evolve so as to continually maintain function. Yet, existing models of evolution mostly focus on isolated genetic elements. In contrast, we study the essential process by which regulatory networks grow: the duplication and subsequent specialization of network components. We synthesize a biophysical model of molecular interactions with the evolutionary framework to find the conditions and pathways by which new regulatory functions emerge. We show that specialization of new network components is usually slow, but can be drastically accelerated in the presence of regulatory crosstalk and mutations that promote promiscuous interactions between network components.","lang":"eng"}],"article_processing_charge":"Yes (in subscription journal)","title":"Evolution of new regulatory functions on biophysically realistic fitness landscapes","ec_funded":1,"oa_version":"Published Version","author":[{"first_name":"Tamar","full_name":"Friedlander, Tamar","last_name":"Friedlander","id":"36A5845C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Roshan","full_name":"Prizak, Roshan","last_name":"Prizak","id":"4456104E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","first_name":"Nicholas H","orcid":"0000-0002-8548-5240"},{"orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper","first_name":"Gasper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik"}],"year":"2017","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"291734","name":"International IST Postdoc Fellowship Programme"},{"call_identifier":"FP7","_id":"25B07788-B435-11E9-9278-68D0E5697425","name":"Limits to selection in biology and in evolutionary computation","grant_number":"250152"},{"_id":"254E9036-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P28844-B27","name":"Biophysics of information processing in gene regulation"}],"date_created":"2018-12-11T11:49:23Z","status":"public","publisher":"Nature Publishing Group","publication_status":"published","issue":"1","date_published":"2017-08-09T00:00:00Z","pubrep_id":"864","scopus_import":"1","isi":1,"language":[{"iso":"eng"}],"ddc":["539","576"],"day":"09","type":"journal_article"},{"external_id":{"isi":["000396604900037"]},"date_updated":"2026-04-08T13:55:03Z","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"6179"}]},"oa":1,"month":"01","_id":"1144","abstract":[{"lang":"eng","text":"We show that matrix elements of functions of N × N Wigner matrices fluctuate on a scale of order N−1/2 and we identify the limiting fluctuation. Our result holds for any function f of the matrix that has bounded variation thus considerably relaxing the regularity requirement imposed in [7, 11]."}],"intvolume":"        21","file":[{"relation":"main_file","access_level":"open_access","date_updated":"2018-12-12T10:18:10Z","file_name":"IST-2017-747-v1+1_euclid.ecp.1483347665.pdf","creator":"system","file_id":"5329","date_created":"2018-12-12T10:18:10Z","file_size":440770,"content_type":"application/pdf"}],"department":[{"_id":"LaEr"}],"publication":"Electronic Communications in Probability","volume":21,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file_date_updated":"2018-12-12T10:18:10Z","citation":{"ieee":"L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” <i>Electronic Communications in Probability</i>, vol. 21. Institute of Mathematical Statistics, 2017.","apa":"Erdös, L., &#38; Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/16-ECP38\">https://doi.org/10.1214/16-ECP38</a>","mla":"Erdös, László, and Dominik J. Schröder. “Fluctuations of Functions of Wigner Matrices.” <i>Electronic Communications in Probability</i>, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:<a href=\"https://doi.org/10.1214/16-ECP38\">10.1214/16-ECP38</a>.","ista":"Erdös L, Schröder DJ. 2017. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 21, 86.","chicago":"Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.” <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics, 2017. <a href=\"https://doi.org/10.1214/16-ECP38\">https://doi.org/10.1214/16-ECP38</a>.","ama":"Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. <i>Electronic Communications in Probability</i>. 2017;21. doi:<a href=\"https://doi.org/10.1214/16-ECP38\">10.1214/16-ECP38</a>","short":"L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017)."},"article_number":"86","quality_controlled":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"doi":"10.1214/16-ECP38","has_accepted_license":"1","publist_id":"6214","date_published":"2017-01-02T00:00:00Z","pubrep_id":"747","type":"journal_article","day":"02","ddc":["510"],"scopus_import":"1","language":[{"iso":"eng"}],"isi":1,"year":"2017","author":[{"full_name":"Erdös, László","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","orcid":"0000-0001-5366-9603"},{"last_name":"Schröder","id":"408ED176-F248-11E8-B48F-1D18A9856A87","full_name":"Schröder, Dominik J","first_name":"Dominik J","orcid":"0000-0002-2904-1856"}],"oa_version":"Published Version","ec_funded":1,"article_processing_charge":"No","title":"Fluctuations of functions of Wigner matrices","publisher":"Institute of Mathematical Statistics","publication_status":"published","project":[{"name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"status":"public","date_created":"2018-12-11T11:50:23Z","acknowledgement":"Partially supported by the IST Austria Excellence Scholarship."},{"citation":{"chicago":"Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.” <i>Scandinavian Journal of Statistics</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1111/sjos.12251\">https://doi.org/10.1111/sjos.12251</a>.","apa":"Martin Del Campo Sanchez, A., Cepeda Humerez, S. A., &#38; Uhler, C. (2017). Exact goodness-of-fit testing for the Ising model. <i>Scandinavian Journal of Statistics</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/sjos.12251\">https://doi.org/10.1111/sjos.12251</a>","mla":"Martin Del Campo Sanchez, Abraham, et al. “Exact Goodness-of-Fit Testing for the Ising Model.” <i>Scandinavian Journal of Statistics</i>, vol. 44, no. 2, Wiley-Blackwell, 2017, pp. 285–306, doi:<a href=\"https://doi.org/10.1111/sjos.12251\">10.1111/sjos.12251</a>.","ista":"Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. 2017. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 44(2), 285–306.","ieee":"A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” <i>Scandinavian Journal of Statistics</i>, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.","short":"A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.","ama":"Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. <i>Scandinavian Journal of Statistics</i>. 2017;44(2):285-306. doi:<a href=\"https://doi.org/10.1111/sjos.12251\">10.1111/sjos.12251</a>"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1410.1242"}],"quality_controlled":"1","doi":"10.1111/sjos.12251","publication_identifier":{"issn":["03036898"]},"publist_id":"5060","external_id":{"arxiv":["1410.1242"],"isi":["000400985000001"]},"date_updated":"2026-04-08T13:55:45Z","related_material":{"record":[{"status":"public","id":"6473","relation":"part_of_dissertation"}]},"oa":1,"intvolume":"        44","_id":"2016","abstract":[{"lang":"eng","text":"The Ising model is one of the simplest and most famous models of interacting systems. It was originally proposed to model ferromagnetic interactions in statistical physics and is now widely used to model spatial processes in many areas such as ecology, sociology, and genetics, usually without testing its goodness-of-fit. Here, we propose an exact goodness-of-fit test for the finite-lattice Ising model. The theory of Markov bases has been developed in algebraic statistics for exact goodness-of-fit testing using a Monte Carlo approach. However, this beautiful theory has fallen short of its promise for applications, because finding a Markov basis is usually computationally intractable. We develop a Monte Carlo method for exact goodness-of-fit testing for the Ising model which avoids computing a Markov basis and also leads to a better connectivity of the Markov chain and hence to a faster convergence. We show how this method can be applied to analyze the spatial organization of receptors on the cell membrane."}],"month":"06","volume":44,"department":[{"_id":"GaTk"}],"publication":"Scandinavian Journal of Statistics","year":"2017","author":[{"last_name":"Martin Del Campo Sanchez","full_name":"Martin Del Campo Sanchez, Abraham","first_name":"Abraham"},{"full_name":"Cepeda Humerez, Sarah A","first_name":"Sarah A","last_name":"Cepeda Humerez","id":"3DEE19A4-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-7008-0216","last_name":"Uhler","id":"49ADD78E-F248-11E8-B48F-1D18A9856A87","full_name":"Uhler, Caroline","first_name":"Caroline"}],"arxiv":1,"oa_version":"Preprint","title":"Exact goodness-of-fit testing for the Ising model","article_processing_charge":"No","publication_status":"published","publisher":"Wiley-Blackwell","status":"public","date_created":"2018-12-11T11:55:13Z","date_published":"2017-06-01T00:00:00Z","issue":"2","type":"journal_article","page":"285 - 306","day":"01","language":[{"iso":"eng"}],"isi":1,"scopus_import":"1"}]