[{"oa_version":"Published Version","quality_controlled":"1","_id":"9356","doi":"10.1109/LICS52264.2021.9470547","citation":{"apa":"Henzinger, T. A., &#38; Sarac, N. E. (2021). Quantitative and approximate monitoring. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Online: IEEE. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">https://doi.org/10.1109/LICS52264.2021.9470547</a>","ista":"Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 9470547.","ama":"Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2021. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">10.1109/LICS52264.2021.9470547</a>","mla":"Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 9470547, IEEE, 2021, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">10.1109/LICS52264.2021.9470547</a>.","ieee":"T. A. Henzinger and N. E. Sarac, “Quantitative and approximate monitoring,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Online, 2021.","short":"T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021.","chicago":"Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">https://doi.org/10.1109/LICS52264.2021.9470547</a>."},"project":[{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211"}],"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"scopus_import":"1","title":"Quantitative and approximate monitoring","date_updated":"2026-08-12T06:39:11Z","author":[{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sarac","first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","full_name":"Sarac, Naci E"}],"external_id":{"arxiv":["2105.08353"],"isi":["000947350400021"]},"conference":{"end_date":"2021-07-02","location":"Online","name":"LICS: Logic in Computer Science","start_date":"2021-06-29"},"arxiv":1,"day":"29","file_date_updated":"2021-06-16T08:23:54Z","related_material":{"record":[{"id":"20147","relation":"dissertation_contains","status":"public"}]},"acknowledgement":"We thank the anonymous reviewers for their helpful comments. This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","month":"06","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","ddc":["000"],"status":"public","language":[{"iso":"eng"}],"publisher":"IEEE","has_accepted_license":"1","date_created":"2021-04-30T17:30:47Z","abstract":[{"text":"In runtime verification, a monitor watches a trace of a system and, if possible, decides after observing each finite prefix whether or not the unknown infinite trace satisfies a given specification. We generalize the theory of runtime verification to monitors that attempt to estimate numerical values of quantitative trace properties (instead of attempting to conclude boolean values of trace specifications), such as maximal or average response time along a trace. Quantitative monitors are approximate: with every finite prefix, they can improve their estimate of the infinite trace's unknown property value. Consequently, quantitative monitors can be compared with regard to a precision-cost trade-off: better approximations of the property value require more monitor resources, such as states (in the case of finite-state monitors) or registers, and additional resources yield better approximations. We introduce a formal framework for quantitative and approximate monitoring, show how it conservatively generalizes the classical boolean setting for monitoring, and give several precision-cost trade-offs for monitors. For example, we prove that there are quantitative properties for which every additional register improves monitoring precision.","lang":"eng"}],"article_number":"9470547","date_published":"2021-06-29T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"relation":"main_file","date_created":"2021-06-16T08:23:54Z","file_name":"qam.pdf","creator":"esarac","checksum":"6e4cba3f72775f479c5b1b75d1a4a0c4","file_size":641990,"content_type":"application/pdf","access_level":"open_access","file_id":"9557","success":1,"date_updated":"2021-06-16T08:23:54Z"}],"publication_status":"published","article_processing_charge":"No","year":"2021","oa":1,"type":"conference","isi":1},{"conference":{"location":"Rome, Italy","name":"LICS: Logic in Computer Science","start_date":"2021-06-29","end_date":"2021-07-02"},"external_id":{"isi":["000947350400036"],"arxiv":["2104.07278"]},"publication_identifier":{"eisbn":["978-1-6654-4895-6"],"isbn":["978-1-6654-4896-3"],"issn":["1043-6871"]},"related_material":{"record":[{"status":"public","id":"18630","relation":"later_version"}]},"acknowledgement":"We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt).","day":"07","arxiv":1,"date_updated":"2026-08-12T06:39:27Z","title":"Stochastic processes with expected stopping time","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"}],"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"doi":"10.1109/LICS52264.2021.9470595","citation":{"chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. IEEE, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>.","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, IEEE, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>.","ieee":"K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13.","ista":"Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13.","ama":"Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>","apa":"Chatterjee, K., &#38; Doyen, L. (2021). Stochastic processes with expected stopping time. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: IEEE. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>"},"department":[{"_id":"KrCh"}],"scopus_import":"1","_id":"10004","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07278"}],"quality_controlled":"1","oa_version":"Preprint","ec_funded":1,"isi":1,"type":"conference","oa":1,"page":"1-13","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-07-07T00:00:00Z","year":"2021","article_processing_charge":"No","keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"publication_status":"published","language":[{"iso":"eng"}],"abstract":[{"text":"Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs.","lang":"eng"}],"date_created":"2021-09-12T22:01:25Z","publisher":"IEEE","month":"07","status":"public","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science"},{"publication":"IEEE Transactions on Signal Processing","status":"public","month":"06","corr_author":"1","publisher":"IEEE","abstract":[{"lang":"eng","text":"Amplitude demodulation is a classical operation used in signal processing. For a long time, its effective applications in practice have been limited to narrowband signals. In this work, we generalize amplitude demodulation to wideband signals. We pose demodulation as a recovery problem of an oversampled corrupted signal and introduce special iterative schemes belonging to the family of alternating projection algorithms to solve it. Sensibly chosen structural assumptions on the demodulation outputs allow us to reveal the high inferential accuracy of the method over a rich set of relevant signals. This new approach surpasses current state-of-the-art demodulation techniques apt to wideband signals in computational efficiency by up to many orders of magnitude with no sacrifice in quality. Such performance opens the door for applications of the amplitude demodulation procedure in new contexts. In particular, the new method makes online and large-scale offline data processing feasible, including the calculation of modulator-carrier pairs in higher dimensions and poor sampling conditions, independent of the signal bandwidth. We illustrate the utility and specifics of applications of the new method in practice by using natural speech and synthetic signals."}],"date_created":"2021-08-08T22:01:31Z","intvolume":"        69","language":[{"iso":"eng"}],"publication_status":"published","year":"2021","article_processing_charge":"No","date_published":"2021-06-09T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"4039 - 4054","oa":1,"isi":1,"type":"journal_article","quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/2102.04832","open_access":"1"}],"_id":"9828","volume":69,"scopus_import":"1","department":[{"_id":"GaTk"}],"doi":"10.1109/TSP.2021.3087899","citation":{"ieee":"M. Gabrielaitis, “Fast and accurate amplitude demodulation of wideband signals,” <i>IEEE Transactions on Signal Processing</i>, vol. 69. IEEE, pp. 4039–4054, 2021.","mla":"Gabrielaitis, Mantas. “Fast and Accurate Amplitude Demodulation of Wideband Signals.” <i>IEEE Transactions on Signal Processing</i>, vol. 69, IEEE, 2021, pp. 4039–54, doi:<a href=\"https://doi.org/10.1109/TSP.2021.3087899\">10.1109/TSP.2021.3087899</a>.","ista":"Gabrielaitis M. 2021. Fast and accurate amplitude demodulation of wideband signals. IEEE Transactions on Signal Processing. 69, 4039–4054.","apa":"Gabrielaitis, M. (2021). Fast and accurate amplitude demodulation of wideband signals. <i>IEEE Transactions on Signal Processing</i>. IEEE. <a href=\"https://doi.org/10.1109/TSP.2021.3087899\">https://doi.org/10.1109/TSP.2021.3087899</a>","ama":"Gabrielaitis M. Fast and accurate amplitude demodulation of wideband signals. <i>IEEE Transactions on Signal Processing</i>. 2021;69:4039-4054. doi:<a href=\"https://doi.org/10.1109/TSP.2021.3087899\">10.1109/TSP.2021.3087899</a>","chicago":"Gabrielaitis, Mantas. “Fast and Accurate Amplitude Demodulation of Wideband Signals.” <i>IEEE Transactions on Signal Processing</i>. IEEE, 2021. <a href=\"https://doi.org/10.1109/TSP.2021.3087899\">https://doi.org/10.1109/TSP.2021.3087899</a>.","short":"M. Gabrielaitis, IEEE Transactions on Signal Processing 69 (2021) 4039–4054."},"author":[{"first_name":"Mantas","orcid":"0000-0002-7758-2016","last_name":"Gabrielaitis","id":"4D5B0CBC-F248-11E8-B48F-1D18A9856A87","full_name":"Gabrielaitis, Mantas"}],"title":"Fast and accurate amplitude demodulation of wideband signals","date_updated":"2026-08-12T06:42:41Z","arxiv":1,"day":"09","publication_identifier":{"eissn":["1941-0476"],"issn":["1053-587X"]},"acknowledgement":"The author thanks his colleagues K. Huszár and G. Tkačik for valuable discussions and comments on the manuscript.","article_type":"original","external_id":{"isi":["000682123900002"],"arxiv":["2102.04832"]}},{"external_id":{"arxiv":["2012.13378"],"isi":["000701502202078"]},"conference":{"end_date":"2021-07-20","location":"Melbourne, Australia","name":"ISIT: International Symposium on Information Theory","start_date":"2021-07-12"},"arxiv":1,"publication_identifier":{"issn":["2157-8095"],"eisbn":["978-1-5386-8209-8"],"isbn":["978-1-5386-8210-4"]},"related_material":{"record":[{"status":"public","id":"10364","relation":"later_version"}]},"acknowledgement":"S. A. Hashemi is supported by a Postdoctoral Fellowship from the Natural Sciences and Engineering Research Council\r\nof Canada (NSERC) and by Huawei. M. Mondelli is partially supported by the 2019 Lopez-Loreta Prize. A. Fazeli and A. Vardy were supported in part by the National Science Foundation under Grant CCF-1764104.","day":"01","date_updated":"2026-08-12T06:43:01Z","title":"Parallelism versus latency in simplified successive-cancellation decoding of polar codes","author":[{"full_name":"Hashemi, Seyyed Ali","first_name":"Seyyed Ali","last_name":"Hashemi"},{"last_name":"Mondelli","orcid":"0000-0002-3242-7020","first_name":"Marco","full_name":"Mondelli, Marco","id":"27EB676C-8706-11E9-9510-7717E6697425"},{"first_name":"Arman","last_name":"Fazeli","full_name":"Fazeli, Arman"},{"last_name":"Vardy","first_name":"Alexander","full_name":"Vardy, Alexander"},{"first_name":"John","last_name":"Cioffi","full_name":"Cioffi, John"},{"full_name":"Goldsmith, Andrea","first_name":"Andrea","last_name":"Goldsmith"}],"citation":{"chicago":"Hashemi, Seyyed Ali, Marco Mondelli, Arman Fazeli, Alexander Vardy, John Cioffi, and Andrea Goldsmith. “Parallelism versus Latency in Simplified Successive-Cancellation Decoding of Polar Codes.” In <i>2021 IEEE International Symposium on Information Theory</i>, 2369–74. IEEE, 2021. <a href=\"https://doi.org/10.1109/ISIT45174.2021.9518153\">https://doi.org/10.1109/ISIT45174.2021.9518153</a>.","short":"S.A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, A. Goldsmith, in:, 2021 IEEE International Symposium on Information Theory, IEEE, 2021, pp. 2369–2374.","ieee":"S. A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, and A. Goldsmith, “Parallelism versus latency in simplified successive-cancellation decoding of polar codes,” in <i>2021 IEEE International Symposium on Information Theory</i>, Melbourne, Australia, 2021, pp. 2369–2374.","mla":"Hashemi, Seyyed Ali, et al. “Parallelism versus Latency in Simplified Successive-Cancellation Decoding of Polar Codes.” <i>2021 IEEE International Symposium on Information Theory</i>, IEEE, 2021, pp. 2369–74, doi:<a href=\"https://doi.org/10.1109/ISIT45174.2021.9518153\">10.1109/ISIT45174.2021.9518153</a>.","apa":"Hashemi, S. A., Mondelli, M., Fazeli, A., Vardy, A., Cioffi, J., &#38; Goldsmith, A. (2021). Parallelism versus latency in simplified successive-cancellation decoding of polar codes. In <i>2021 IEEE International Symposium on Information Theory</i> (pp. 2369–2374). Melbourne, Australia: IEEE. <a href=\"https://doi.org/10.1109/ISIT45174.2021.9518153\">https://doi.org/10.1109/ISIT45174.2021.9518153</a>","ista":"Hashemi SA, Mondelli M, Fazeli A, Vardy A, Cioffi J, Goldsmith A. 2021. Parallelism versus latency in simplified successive-cancellation decoding of polar codes. 2021 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 2369–2374.","ama":"Hashemi SA, Mondelli M, Fazeli A, Vardy A, Cioffi J, Goldsmith A. Parallelism versus latency in simplified successive-cancellation decoding of polar codes. In: <i>2021 IEEE International Symposium on Information Theory</i>. IEEE; 2021:2369-2374. doi:<a href=\"https://doi.org/10.1109/ISIT45174.2021.9518153\">10.1109/ISIT45174.2021.9518153</a>"},"doi":"10.1109/ISIT45174.2021.9518153","project":[{"_id":"059876FA-7A3F-11EA-A408-12923DDC885E","name":"Prix Lopez-Loretta 2019 - Marco Mondelli"}],"department":[{"_id":"MaMo"}],"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2012.13378"}],"quality_controlled":"1","oa_version":"Preprint","_id":"10053","oa":1,"isi":1,"type":"conference","page":"2369-2374","date_published":"2021-09-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","year":"2021","publication_status":"published","language":[{"iso":"eng"}],"publisher":"IEEE","date_created":"2021-09-27T14:33:14Z","abstract":[{"lang":"eng","text":"This paper characterizes the latency of the simplified successive-cancellation (SSC) decoding scheme for polar codes under hardware resource constraints. In particular, when the number of processing elements P that can perform SSC decoding operations in parallel is limited, as is the case in practice, the latency of SSC decoding is O(N1−1 μ+NPlog2log2NP), where N is the block length of the code and μ is the scaling exponent of polar codes for the channel. Three direct consequences of this bound are presented. First, in a fully-parallel implementation where P=N2 , the latency of SSC decoding is O(N1−1/μ) , which is sublinear in the block length. This recovers a result from an earlier work. Second, in a fully-serial implementation where P=1 , the latency of SSC decoding scales as O(Nlog2log2N) . The multiplicative constant is also calculated: we show that the latency of SSC decoding when P=1 is given by (2+o(1))Nlog2log2N . Third, in a semi-parallel implementation, the smallest P that gives the same latency as that of the fully-parallel implementation is P=N1/μ . The tightness of our bound on SSC decoding latency and the applicability of the foregoing results is validated through extensive simulations."}],"publication":"2021 IEEE International Symposium on Information Theory","status":"public","month":"09"},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1029/2020AV000303"}],"oa_version":"Published Version","quality_controlled":"1","extern":"1","_id":"22584","volume":2,"doi":"10.1029/2020av000303","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"chicago":"Paschalis, Athanasios, TC Chakraborty, Simone Fatichi, Naika Meili, and Gabriele Manoli. “Urban Forests as Main Regulator of the Evaporative Cooling Effect in Cities.” <i>AGU Advances</i>. American Geophysical Union, 2021. <a href=\"https://doi.org/10.1029/2020av000303\">https://doi.org/10.1029/2020av000303</a>.","short":"A. Paschalis, T. Chakraborty, S. Fatichi, N. Meili, G. Manoli, AGU Advances 2 (2021).","mla":"Paschalis, Athanasios, et al. “Urban Forests as Main Regulator of the Evaporative Cooling Effect in Cities.” <i>AGU Advances</i>, vol. 2, no. 2, e2020AV000303, American Geophysical Union, 2021, doi:<a href=\"https://doi.org/10.1029/2020av000303\">10.1029/2020av000303</a>.","ieee":"A. Paschalis, T. Chakraborty, S. Fatichi, N. Meili, and G. Manoli, “Urban forests as main regulator of the evaporative cooling effect in cities,” <i>AGU Advances</i>, vol. 2, no. 2. American Geophysical Union, 2021.","ista":"Paschalis A, Chakraborty T, Fatichi S, Meili N, Manoli G. 2021. Urban forests as main regulator of the evaporative cooling effect in cities. AGU Advances. 2(2), e2020AV000303.","apa":"Paschalis, A., Chakraborty, T., Fatichi, S., Meili, N., &#38; Manoli, G. (2021). Urban forests as main regulator of the evaporative cooling effect in cities. <i>AGU Advances</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2020av000303\">https://doi.org/10.1029/2020av000303</a>","ama":"Paschalis A, Chakraborty T, Fatichi S, Meili N, Manoli G. Urban forests as main regulator of the evaporative cooling effect in cities. <i>AGU Advances</i>. 2021;2(2). doi:<a href=\"https://doi.org/10.1029/2020av000303\">10.1029/2020av000303</a>"},"author":[{"full_name":"Paschalis, Athanasios","first_name":"Athanasios","last_name":"Paschalis"},{"full_name":"Chakraborty, TC","first_name":"TC","last_name":"Chakraborty"},{"full_name":"Fatichi, Simone","id":"cf8e546b-a9b0-11f0-a43b-aa89ed1b56d6","last_name":"Fatichi","first_name":"Simone"},{"first_name":"Naika","last_name":"Meili","full_name":"Meili, Naika"},{"first_name":"Gabriele","last_name":"Manoli","full_name":"Manoli, Gabriele"}],"date_updated":"2026-08-12T08:20:04Z","title":"Urban forests as main regulator of the evaporative cooling effect in cities","DOAJ_listed":"1","article_type":"original","publication_identifier":{"eissn":["2576-604X"]},"day":"01","OA_place":"publisher","issue":"2","month":"06","publication":"AGU Advances","status":"public","das_tickbox":"1","publisher":"American Geophysical Union","abstract":[{"lang":"eng","text":"Higher temperatures in urban areas expose a large fraction of the human population to potentially dangerous heat stress. Green spaces are promoted worldwide as local and city-scale cooling strategies but the amount, type, and functioning of vegetation in cities lack quantification and their interaction with urban climate in different settings remains a matter of debate. Here we use state-of-the-art remote sensing data from 145 city clusters to disentangle the drivers of surface urban heat islands (SUHI) intensity and quantify urban-rural differences in vegetation cover, species composition, and evaporative cooling. We show that nighttime SUHIs are affected mostly by abiotic factors, while daytime SUHIs are highly correlated with vegetation characteristics and the wetness of the background climate. Magnitude and seasonality of daytime SUHIs are controlled by urban-rural differences in plant transpiration and leaf area, which explain the dependence of SUHIs on wetness conditions. Leaf area differences are caused primarily by changes in vegetation type and a loss of in-city forested areas, highlighting the importance of maintaining “natural reserves” as a sustainable heat mitigation policy."}],"date_created":"2026-07-27T12:30:25Z","intvolume":"         2","language":[{"iso":"eng"}],"OA_type":"gold","year":"2021","article_processing_charge":"No","publication_status":"published","article_number":"e2020AV000303","date_published":"2021-06-01T00:00:00Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","oa":1,"type":"journal_article"},{"date_updated":"2026-08-12T08:46:52Z","title":"The Landau–Pekar equations: Adiabatic theorem and accuracy","author":[{"id":"4BC40BEC-F248-11E8-B48F-1D18A9856A87","full_name":"Leopold, Nikolai K","first_name":"Nikolai K","orcid":"0000-0002-0495-6822","last_name":"Leopold"},{"id":"856966FE-A408-11E9-977E-802DE6697425","full_name":"Rademacher, Simone Anna Elvira","first_name":"Simone Anna Elvira","orcid":"0000-0001-5059-4466","last_name":"Rademacher"},{"full_name":"Schlein, Benjamin","first_name":"Benjamin","last_name":"Schlein"},{"full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","orcid":"0000-0002-6781-0521","first_name":"Robert"}],"external_id":{"arxiv":["1904.12532"],"isi":["000733976600004"]},"arxiv":1,"acknowledgement":"N. L. and R. S. gratefully acknowledge financial support by the European Research Council\r\n(ERC) under the European Union’s Horizon 2020 research and innovation programme (grant\r\nagreement No 694227). B. S. acknowledges support from the Swiss National Science Foundation (grant 200020_172623) and from the NCCR SwissMAP. N. L. would like to thank\r\nAndreas Deuchert and David Mitrouskas for interesting discussions. B. S. and R. S. would\r\nlike to thank Rupert Frank for stimulating discussions about the time-evolution of a polaron.\r\n","article_type":"original","publication_identifier":{"issn":["2157-5045"],"eissn":["1948-206X"]},"day":"10","main_file_link":[{"url":"https://arxiv.org/abs/1904.12532","open_access":"1"}],"oa_version":"Preprint","quality_controlled":"1","_id":"10738","doi":"10.2140/APDE.2021.14.2079","citation":{"mla":"Leopold, Nikolai K., et al. “The Landau–Pekar Equations: Adiabatic Theorem and Accuracy.” <i>Analysis and PDE</i>, vol. 14, no. 7, Mathematical Sciences Publishers, 2021, pp. 2079–100, doi:<a href=\"https://doi.org/10.2140/APDE.2021.14.2079\">10.2140/APDE.2021.14.2079</a>.","ieee":"N. K. Leopold, S. A. E. Rademacher, B. Schlein, and R. Seiringer, “The Landau–Pekar equations: Adiabatic theorem and accuracy,” <i>Analysis and PDE</i>, vol. 14, no. 7. Mathematical Sciences Publishers, pp. 2079–2100, 2021.","apa":"Leopold, N. K., Rademacher, S. A. E., Schlein, B., &#38; Seiringer, R. (2021). The Landau–Pekar equations: Adiabatic theorem and accuracy. <i>Analysis and PDE</i>. Mathematical Sciences Publishers. <a href=\"https://doi.org/10.2140/APDE.2021.14.2079\">https://doi.org/10.2140/APDE.2021.14.2079</a>","ista":"Leopold NK, Rademacher SAE, Schlein B, Seiringer R. 2021. The Landau–Pekar equations: Adiabatic theorem and accuracy. Analysis and PDE. 14(7), 2079–2100.","ama":"Leopold NK, Rademacher SAE, Schlein B, Seiringer R. The Landau–Pekar equations: Adiabatic theorem and accuracy. <i>Analysis and PDE</i>. 2021;14(7):2079-2100. doi:<a href=\"https://doi.org/10.2140/APDE.2021.14.2079\">10.2140/APDE.2021.14.2079</a>","chicago":"Leopold, Nikolai K, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “The Landau–Pekar Equations: Adiabatic Theorem and Accuracy.” <i>Analysis and PDE</i>. Mathematical Sciences Publishers, 2021. <a href=\"https://doi.org/10.2140/APDE.2021.14.2079\">https://doi.org/10.2140/APDE.2021.14.2079</a>.","short":"N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100."},"project":[{"grant_number":"694227","name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"volume":14,"department":[{"_id":"RoSe"}],"scopus_import":"1","date_published":"2021-11-10T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","year":"2021","publication_status":"published","oa":1,"ec_funded":1,"type":"journal_article","isi":1,"page":"2079-2100","corr_author":"1","month":"11","publication":"Analysis and PDE","status":"public","issue":"7","intvolume":"        14","language":[{"iso":"eng"}],"publisher":"Mathematical Sciences Publishers","date_created":"2022-02-06T23:01:33Z","abstract":[{"lang":"eng","text":"We prove an adiabatic theorem for the Landau–Pekar equations. This allows us to derive new results on the accuracy of their use as effective equations for the time evolution generated by the Fröhlich Hamiltonian with large coupling constant α. In particular, we show that the time evolution of Pekar product states with coherent phonon field and the electron being trapped by the phonons is well approximated by the Landau–Pekar equations until times short compared to α2."}]},{"oa_version":"Published Version","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.1242/dev.176065","open_access":"1"}],"_id":"9226","volume":148,"scopus_import":"1","department":[{"_id":"GaTk"}],"doi":"10.1242/dev.176065","citation":{"ieee":"G. Tkačik and T. Gregor, “The many bits of positional information,” <i>Development</i>, vol. 148, no. 2. Company of Biologists, 2021.","mla":"Tkačik, Gašper, and Thomas Gregor. “The Many Bits of Positional Information.” <i>Development</i>, vol. 148, no. 2, dev176065, Company of Biologists, 2021, doi:<a href=\"https://doi.org/10.1242/dev.176065\">10.1242/dev.176065</a>.","apa":"Tkačik, G., &#38; Gregor, T. (2021). The many bits of positional information. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.176065\">https://doi.org/10.1242/dev.176065</a>","ama":"Tkačik G, Gregor T. The many bits of positional information. <i>Development</i>. 2021;148(2). doi:<a href=\"https://doi.org/10.1242/dev.176065\">10.1242/dev.176065</a>","ista":"Tkačik G, Gregor T. 2021. The many bits of positional information. Development. 148(2), dev176065.","chicago":"Tkačik, Gašper, and Thomas Gregor. “The Many Bits of Positional Information.” <i>Development</i>. Company of Biologists, 2021. <a href=\"https://doi.org/10.1242/dev.176065\">https://doi.org/10.1242/dev.176065</a>.","short":"G. Tkačik, T. Gregor, Development 148 (2021)."},"project":[{"_id":"254E9036-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P28844-B27","name":"Biophysics of information processing in gene regulation"}],"author":[{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","full_name":"Tkačik, Gašper","orcid":"0000-0002-6699-1455","last_name":"Tkačik","first_name":"Gašper"},{"first_name":"Thomas","last_name":"Gregor","full_name":"Gregor, Thomas"}],"title":"The many bits of positional information","date_updated":"2026-08-12T09:57:53Z","day":"01","acknowledgement":"This work was supported in part by the National Science Foundation, through the Center for the Physics of Biological Function (PHY-1734030), by the National Institutes of Health (R01GM097275) and by the Fonds zur Förderung der wissenschaftlichen Forschung (FWF P28844). Deposited in PMC for release after 12 months.","publication_identifier":{"eissn":["1477-9129"]},"article_type":"original","external_id":{"isi":["000613906000007"],"pmid":["33526425"]},"issue":"2","status":"public","ddc":["570"],"publication":"Development","month":"02","publisher":"Company of Biologists","pmid":1,"abstract":[{"lang":"eng","text":"Half a century after Lewis Wolpert's seminal conceptual advance on how cellular fates distribute in space, we provide a brief historical perspective on how the concept of positional information emerged and influenced the field of developmental biology and beyond. We focus on a modern interpretation of this concept in terms of information theory, largely centered on its application to cell specification in the early Drosophila embryo. We argue that a true physical variable (position) is encoded in local concentrations of patterning molecules, that this mapping is stochastic, and that the processes by which positions and corresponding cell fates are determined based on these concentrations need to take such stochasticity into account. With this approach, we shift the focus from biological mechanisms, molecules, genes and pathways to quantitative systems-level questions: where does positional information reside, how it is transformed and accessed during development, and what fundamental limits it is subject to?"}],"date_created":"2021-03-07T23:01:25Z","intvolume":"       148","language":[{"iso":"eng"}],"publication_status":"published","year":"2021","article_processing_charge":"No","article_number":"dev176065","date_published":"2021-02-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"isi":1,"type":"journal_article"},{"publisher":"Company of Biologists","has_accepted_license":"1","abstract":[{"text":"The Hunchback (Hb) transcription factor is crucial for anterior-posterior patterning of the Drosophila embryo. The maternal hb mRNA acts as a paradigm for translational regulation due to its repression in the posterior of the embryo. However, little is known about the translatability of zygotically transcribed hb mRNAs. Here, we adapt the SunTag system, developed for imaging translation at single-mRNA resolution in tissue culture cells, to the Drosophila embryo to study the translation dynamics of zygotic hb mRNAs. Using single-molecule imaging in fixed and live embryos, we provide evidence for translational repression of zygotic SunTag-hb mRNAs. Whereas the proportion of SunTag-hb mRNAs translated is initially uniform, translation declines from the anterior over time until it becomes restricted to a posterior band in the expression domain. We discuss how regulated hb mRNA translation may help establish the sharp Hb expression boundary, which is a model for precision and noise during developmental patterning. Overall, our data show how use of the SunTag method on fixed and live embryos is a powerful combination for elucidating spatiotemporal regulation of mRNA translation in Drosophila.","lang":"eng"}],"pmid":1,"date_created":"2024-04-03T07:26:41Z","intvolume":"       148","language":[{"iso":"eng"}],"issue":"18","month":"09","status":"public","ddc":["570"],"publication":"Development","oa":1,"type":"journal_article","file":[{"file_name":"2021_CompanyBiologists_Vinter.pdf","checksum":"6d0533fe9c712448b3f9feb15e05ec4b","creator":"dernst","date_created":"2024-04-03T13:58:51Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_size":16258500,"file_id":"15290","success":1,"date_updated":"2024-04-03T13:58:51Z"}],"publication_status":"published","keyword":["Developmental Biology","Molecular Biology"],"year":"2021","article_processing_charge":"No","article_number":"dev196121.","date_published":"2021-09-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":148,"department":[{"_id":"AnKi"}],"scopus_import":"1","doi":"10.1242/dev.196121","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"mla":"Vinter, Daisy J., et al. “Dynamics of Hunchback Translation in Real-Time and at Single-MRNA Resolution in the Drosophila Embryo.” <i>Development</i>, vol. 148, no. 18, dev196121., Company of Biologists, 2021, doi:<a href=\"https://doi.org/10.1242/dev.196121\">10.1242/dev.196121</a>.","ieee":"D. J. Vinter, C. Hoppe, T. Minchington, C. Sutcliffe, and H. L. Ashe, “Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo,” <i>Development</i>, vol. 148, no. 18. Company of Biologists, 2021.","ista":"Vinter DJ, Hoppe C, Minchington T, Sutcliffe C, Ashe HL. 2021. Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo. Development. 148(18), dev196121.","apa":"Vinter, D. J., Hoppe, C., Minchington, T., Sutcliffe, C., &#38; Ashe, H. L. (2021). Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.196121\">https://doi.org/10.1242/dev.196121</a>","ama":"Vinter DJ, Hoppe C, Minchington T, Sutcliffe C, Ashe HL. Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo. <i>Development</i>. 2021;148(18). doi:<a href=\"https://doi.org/10.1242/dev.196121\">10.1242/dev.196121</a>","chicago":"Vinter, Daisy J., Caroline Hoppe, Thomas Minchington, Catherine Sutcliffe, and Hilary L. Ashe. “Dynamics of Hunchback Translation in Real-Time and at Single-MRNA Resolution in the Drosophila Embryo.” <i>Development</i>. Company of Biologists, 2021. <a href=\"https://doi.org/10.1242/dev.196121\">https://doi.org/10.1242/dev.196121</a>.","short":"D.J. Vinter, C. Hoppe, T. Minchington, C. Sutcliffe, H.L. Ashe, Development 148 (2021)."},"oa_version":"Published Version","quality_controlled":"1","_id":"15262","day":"01","article_type":"original","file_date_updated":"2024-04-03T13:58:51Z","publication_identifier":{"eissn":["1477-9129"],"issn":["0950-1991"]},"external_id":{"pmid":["33722899 "]},"author":[{"last_name":"Vinter","first_name":"Daisy J.","full_name":"Vinter, Daisy J."},{"last_name":"Hoppe","first_name":"Caroline","full_name":"Hoppe, Caroline"},{"full_name":"Minchington, Thomas","id":"7d1648cb-19e9-11eb-8e7a-f8c037fb3e3f","first_name":"Thomas","last_name":"Minchington"},{"last_name":"Sutcliffe","first_name":"Catherine","full_name":"Sutcliffe, Catherine"},{"full_name":"Ashe, Hilary L.","last_name":"Ashe","first_name":"Hilary L."}],"title":"Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo","date_updated":"2026-08-12T09:59:03Z"},{"intvolume":"        62","language":[{"iso":"eng"}],"publisher":"Association for Research in Vision and Ophthalmology","abstract":[{"text":"Inhibition or targeted deletion of histone deacetylase 3 (HDAC3) is neuroprotective in a variety neurodegenerative conditions, including retinal ganglion cells (RGCs) after acute optic nerve damage. Consistent with this, induced HDAC3 expression in cultured cells shows selective toxicity to neurons. Despite an established role for HDAC3 in neuronal pathology, little is known regarding the mechanism of this pathology.","lang":"eng"}],"has_accepted_license":"1","date_created":"2021-09-12T22:01:23Z","pmid":1,"month":"08","publication":"Investigative Ophthalmology & Visual Science","status":"public","ddc":["570"],"issue":"10","oa":1,"type":"journal_article","isi":1,"article_number":"14","date_published":"2021-08-16T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_updated":"2022-05-13T07:40:15Z","success":1,"file_id":"11369","access_level":"open_access","content_type":"application/pdf","file_size":19707796,"creator":"dernst","file_name":"2021_IOVS_Schmitt.pdf","checksum":"c430967746f653aa1ae84ee617f62b73","date_created":"2022-05-13T07:40:15Z","relation":"main_file"}],"year":"2021","article_processing_charge":"Yes","publication_status":"published","tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"doi":"10.1167/IOVS.62.10.14","citation":{"short":"H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology &#38; Visual Science 62 (2021).","chicago":"Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” <i>Investigative Ophthalmology &#38; Visual Science</i>. Association for Research in Vision and Ophthalmology, 2021. <a href=\"https://doi.org/10.1167/IOVS.62.10.14\">https://doi.org/10.1167/IOVS.62.10.14</a>.","ista":"Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology &#38; Visual Science. 62(10), 14.","apa":"Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. <i>Investigative Ophthalmology &#38; Visual Science</i>. Association for Research in Vision and Ophthalmology. <a href=\"https://doi.org/10.1167/IOVS.62.10.14\">https://doi.org/10.1167/IOVS.62.10.14</a>","ama":"Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. <i>Investigative Ophthalmology &#38; Visual Science</i>. 2021;62(10). doi:<a href=\"https://doi.org/10.1167/IOVS.62.10.14\">10.1167/IOVS.62.10.14</a>","mla":"Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” <i>Investigative Ophthalmology &#38; Visual Science</i>, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:<a href=\"https://doi.org/10.1167/IOVS.62.10.14\">10.1167/IOVS.62.10.14</a>.","ieee":"H. M. Schmitt <i>et al.</i>, “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” <i>Investigative Ophthalmology &#38; Visual Science</i>, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021."},"volume":62,"scopus_import":"1","department":[{"_id":"SaSi"}],"oa_version":"Published Version","quality_controlled":"1","_id":"10000","external_id":{"isi":["000695230000014"],"pmid":["34398198"]},"article_type":"original","file_date_updated":"2022-05-13T07:40:15Z","publication_identifier":{"issn":["0146-0404"],"eissn":["1552-5783"]},"acknowledgement":"The authors thank Joel Dietz for maintaining the mice used in this study, Satoshi Kinoshita and the Translational Research Initiative in Pathology Laboratory at the University of Wisconsin-Madison for cutting retinal sections analyzed in this study, and Mark Banghart for statistical review of the data analysis. Supported by National Eye Institute Grants R01 EY012223 (RWN), R01 EY030123 (RWN), R01 EY029809 (LWG), R01 EY029809 (LWG) and a Vision Research CORE grant P30 EY016665, NRSA grant T32 GM081061, by an unrestricted research grant from Research to Prevent Blindness, Inc., and by a University of Wisconsin-Madison Vilas Life Cycle award and the Frederick A. Davis Research Chair (RWN). ","day":"16","date_updated":"2026-08-12T11:15:05Z","title":"Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression","author":[{"full_name":"Schmitt, Heather M.","last_name":"Schmitt","first_name":"Heather M."},{"full_name":"Fehrman, Rachel L.","last_name":"Fehrman","first_name":"Rachel L."},{"id":"3838F452-F248-11E8-B48F-1D18A9856A87","full_name":"Maes, Margaret E","first_name":"Margaret E","orcid":"0000-0001-9642-1085","last_name":"Maes"},{"full_name":"Yang, Huan","first_name":"Huan","last_name":"Yang"},{"full_name":"Guo, Lian Wang","last_name":"Guo","first_name":"Lian Wang"},{"full_name":"Schlamp, Cassandra L.","first_name":"Cassandra L.","last_name":"Schlamp"},{"first_name":"Heather R.","last_name":"Pelzel","full_name":"Pelzel, Heather R."},{"last_name":"Nickells","first_name":"Robert W.","full_name":"Nickells, Robert W."}]},{"publisher":"IEEE","date_created":"2021-01-31T23:01:21Z","abstract":[{"lang":"eng","text":"This work analyzes the latency of the simplified successive cancellation (SSC) decoding scheme for polar codes proposed by Alamdar-Yazdi and Kschischang. It is shown that, unlike conventional successive cancellation decoding, where latency is linear in the block length, the latency of SSC decoding is sublinear. More specifically, the latency of SSC decoding is O(N1−1/μ) , where N is the block length and μ is the scaling exponent of the channel, which captures the speed of convergence of the rate to capacity. Numerical results demonstrate the tightness of the bound and show that most of the latency reduction arises from the parallel decoding of subcodes of rate 0 or 1."}],"intvolume":"        20","language":[{"iso":"eng"}],"issue":"1","corr_author":"1","month":"01","status":"public","publication":"IEEE Transactions on Wireless Communications","page":"18-27","oa":1,"isi":1,"type":"journal_article","publication_status":"published","article_processing_charge":"No","year":"2021","date_published":"2021-01-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":20,"scopus_import":"1","department":[{"_id":"MaMo"}],"citation":{"ieee":"M. Mondelli, S. A. Hashemi, J. M. Cioffi, and A. Goldsmith, “Sublinear latency for simplified successive cancellation decoding of polar codes,” <i>IEEE Transactions on Wireless Communications</i>, vol. 20, no. 1. IEEE, pp. 18–27, 2021.","mla":"Mondelli, Marco, et al. “Sublinear Latency for Simplified Successive Cancellation Decoding of Polar Codes.” <i>IEEE Transactions on Wireless Communications</i>, vol. 20, no. 1, IEEE, 2021, pp. 18–27, doi:<a href=\"https://doi.org/10.1109/TWC.2020.3022922\">10.1109/TWC.2020.3022922</a>.","ama":"Mondelli M, Hashemi SA, Cioffi JM, Goldsmith A. Sublinear latency for simplified successive cancellation decoding of polar codes. <i>IEEE Transactions on Wireless Communications</i>. 2021;20(1):18-27. doi:<a href=\"https://doi.org/10.1109/TWC.2020.3022922\">10.1109/TWC.2020.3022922</a>","ista":"Mondelli M, Hashemi SA, Cioffi JM, Goldsmith A. 2021. Sublinear latency for simplified successive cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. 20(1), 18–27.","apa":"Mondelli, M., Hashemi, S. A., Cioffi, J. M., &#38; Goldsmith, A. (2021). Sublinear latency for simplified successive cancellation decoding of polar codes. <i>IEEE Transactions on Wireless Communications</i>. IEEE. <a href=\"https://doi.org/10.1109/TWC.2020.3022922\">https://doi.org/10.1109/TWC.2020.3022922</a>","chicago":"Mondelli, Marco, Seyyed Ali Hashemi, John M. Cioffi, and Andrea Goldsmith. “Sublinear Latency for Simplified Successive Cancellation Decoding of Polar Codes.” <i>IEEE Transactions on Wireless Communications</i>. IEEE, 2021. <a href=\"https://doi.org/10.1109/TWC.2020.3022922\">https://doi.org/10.1109/TWC.2020.3022922</a>.","short":"M. Mondelli, S.A. Hashemi, J.M. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 20 (2021) 18–27."},"doi":"10.1109/TWC.2020.3022922","quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1909.04892"}],"_id":"9047","arxiv":1,"day":"01","acknowledgement":"M. Mondelli was partially supported by grants NSF DMS-1613091, CCF-1714305, IIS-1741162, and ONR N00014-18-1-2729. S. A. Hashemi is supported by a Postdoctoral Fellowship from the Natural Sciences and Engineering Research Council of Canada (NSERC) and by Huawei. The authors would like to thank the anonymous reviewers for their comments that helped improving the quality of the manuscript.","article_type":"original","publication_identifier":{"eissn":["1558-2248"],"issn":["1536-1276"]},"related_material":{"record":[{"status":"public","id":"8536","relation":"earlier_version"}]},"external_id":{"arxiv":["1909.04892"],"isi":["000607808800002"]},"author":[{"id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020","last_name":"Mondelli","first_name":"Marco"},{"last_name":"Hashemi","first_name":"Seyyed Ali","full_name":"Hashemi, Seyyed Ali"},{"last_name":"Cioffi","first_name":"John M.","full_name":"Cioffi, John M."},{"full_name":"Goldsmith, Andrea","last_name":"Goldsmith","first_name":"Andrea"}],"title":"Sublinear latency for simplified successive cancellation decoding of polar codes","date_updated":"2026-08-12T11:12:22Z"},{"quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1703.01859"}],"_id":"15267","volume":68,"department":[{"_id":"DaAl"}],"citation":{"chicago":"Czumaj, Artur, and Peter Davies. “Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks.” <i>Journal of the ACM</i>. ACM, 2021. <a href=\"https://doi.org/10.1145/3446383\">https://doi.org/10.1145/3446383</a>.","short":"A. Czumaj, P. Davies, Journal of the ACM 68 (2021).","mla":"Czumaj, Artur, and Peter Davies. “Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks.” <i>Journal of the ACM</i>, vol. 68, no. 2, 13, ACM, 2021, doi:<a href=\"https://doi.org/10.1145/3446383\">10.1145/3446383</a>.","ieee":"A. Czumaj and P. Davies, “Exploiting spontaneous transmissions for broadcasting and leader election in radio networks,” <i>Journal of the ACM</i>, vol. 68, no. 2. ACM, 2021.","ama":"Czumaj A, Davies P. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. <i>Journal of the ACM</i>. 2021;68(2). doi:<a href=\"https://doi.org/10.1145/3446383\">10.1145/3446383</a>","ista":"Czumaj A, Davies P. 2021. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM. 68(2), 13.","apa":"Czumaj, A., &#38; Davies, P. (2021). Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3446383\">https://doi.org/10.1145/3446383</a>"},"doi":"10.1145/3446383","author":[{"full_name":"Czumaj, Artur","first_name":"Artur","last_name":"Czumaj"},{"last_name":"Davies","orcid":"0000-0002-5646-9524","first_name":"Peter","full_name":"Davies, Peter","id":"11396234-BB50-11E9-B24C-90FCE5697425"}],"title":"Exploiting spontaneous transmissions for broadcasting and leader election in radio networks","date_updated":"2026-08-12T14:03:54Z","arxiv":1,"day":"28","publication_identifier":{"issn":["0004-5411"],"eissn":["1557-735X"]},"article_type":"original","external_id":{"arxiv":["1703.01859"]},"issue":"2","publication":"Journal of the ACM","month":"01","status":"public","publisher":"ACM","date_created":"2024-04-03T07:41:46Z","abstract":[{"lang":"eng","text":"We study two fundamental communication primitives: broadcasting and leader election in the classical model of multi-hop radio networks with unknown topology and without collision detection mechanisms. It has been known for almost 20 years that in undirected networks with n nodes and diameter D, randomized broadcasting requires Ω(D log n/D + log2 n) rounds, assuming that uninformed nodes are not allowed to communicate (until they are informed). Only very recently, Haeupler and Wajc (PODC'2016) showed that this bound can be improved for the model with spontaneous transmissions, providing an O(D log n log log n/log D + logO(1) n)-time broadcasting algorithm. In this article, we give a new and faster algorithm that completes broadcasting in O(D log n/log D + logO(1) n) time, succeeding with high probability. This yields the first optimal O(D)-time broadcasting algorithm whenever n is polynomial in D.\r\n\r\nFurthermore, our approach can be applied to design a new leader election algorithm that matches the performance of our broadcasting algorithm. Previously, all fast randomized leader election algorithms have used broadcasting as a subroutine and their complexity has been asymptotically strictly larger than the complexity of broadcasting. In particular, the fastest previously known randomized leader election algorithm of Ghaffari and Haeupler (SODA'2013) requires O(D log n/D min {log log n, log n/D} + logO(1) n)-time, succeeding with high probability. Our new algorithm again requires O(D log n/log D + logO(1) n) time, also succeeding with high probability."}],"intvolume":"        68","language":[{"iso":"eng"}],"publication_status":"published","year":"2021","keyword":["Artificial Intelligence","Hardware and Architecture","Information Systems","Control and Systems Engineering","Software"],"article_processing_charge":"No","date_published":"2021-01-28T00:00:00Z","article_number":"13","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"type":"journal_article"},{"year":"2021","article_processing_charge":"No","publication_status":"published","file":[{"file_id":"11385","success":1,"date_updated":"2022-05-16T10:55:45Z","creator":"dernst","file_name":"2021_MathModelsMethods_Abbatiello.pdf","checksum":"8c0a9396335f0b70e1f5cbfe450a987a","relation":"main_file","date_created":"2022-05-16T10:55:45Z","content_type":"application/pdf","access_level":"open_access","file_size":795483}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2021-10-13T00:00:00Z","page":"2165-2212","isi":1,"type":"journal_article","oa":1,"issue":"11","ddc":["510"],"publication":"Mathematical Models and Methods in Applied Sciences","month":"10","status":"public","has_accepted_license":"1","date_created":"2021-12-26T23:01:27Z","abstract":[{"text":"The choice of the boundary conditions in mechanical problems has to reflect the interaction of the considered material with the surface. Still the assumption of the no-slip condition is preferred in order to avoid boundary terms in the analysis and slipping effects are usually overlooked. Besides the “static slip models”, there are phenomena that are not accurately described by them, e.g. at the moment when the slip changes rapidly, the wall shear stress and the slip can exhibit a sudden overshoot and subsequent relaxation. When these effects become significant, the so-called dynamic slip phenomenon occurs. We develop a mathematical analysis of Navier–Stokes-like problems with a dynamic slip boundary condition, which requires a proper generalization of the Gelfand triplet and the corresponding function space setting.","lang":"eng"}],"publisher":"World Scientific Publishing","language":[{"iso":"eng"}],"intvolume":"        31","author":[{"first_name":"Anna","last_name":"Abbatiello","full_name":"Abbatiello, Anna"},{"first_name":"Miroslav","last_name":"Bulíček","full_name":"Bulíček, Miroslav"},{"id":"dbabca31-66eb-11eb-963a-fb9c22c880b4","full_name":"Maringová, Erika","first_name":"Erika","last_name":"Maringová"}],"date_updated":"2025-04-15T08:31:30Z","title":"On the dynamic slip boundary condition for Navier-Stokes-like problems","publication_identifier":{"eissn":["1793-6314"],"issn":["0218-2025"]},"acknowledgement":"The research of A. Abbatiello is supported by Einstein Foundation, Berlin. A. Abbatiello is also member of the Italian National Group for the Mathematical Physics (GNFM) of INdAM. M. Bulíček acknowledges the support of the project No. 20-11027X financed by Czech Science Foundation (GACR). M. Bulíček is member of the Jindřich Nečas Center for Mathematical Modelling. E. Maringová acknowledges support from Charles University Research program UNCE/SCI/023, the grant SVV-2020-260583 by the Ministry of Education, Youth and Sports, Czech Republic and from the Austrian Science Fund (FWF), grants P30000, W1245, and F65.","file_date_updated":"2022-05-16T10:55:45Z","article_type":"original","day":"13","arxiv":1,"external_id":{"arxiv":["2009.09057"],"isi":["000722309400001"]},"_id":"10575","quality_controlled":"1","oa_version":"Published Version","department":[{"_id":"JuFi"}],"scopus_import":"1","volume":31,"project":[{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504"},{"call_identifier":"FWF","_id":"260788DE-B435-11E9-9278-68D0E5697425","name":"Dissipation and dispersion in nonlinear partial differential equations","grant_number":"W1245"}],"tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"citation":{"ieee":"A. Abbatiello, M. Bulíček, and E. Maringová, “On the dynamic slip boundary condition for Navier-Stokes-like problems,” <i>Mathematical Models and Methods in Applied Sciences</i>, vol. 31, no. 11. World Scientific Publishing, pp. 2165–2212, 2021.","mla":"Abbatiello, Anna, et al. “On the Dynamic Slip Boundary Condition for Navier-Stokes-like Problems.” <i>Mathematical Models and Methods in Applied Sciences</i>, vol. 31, no. 11, World Scientific Publishing, 2021, pp. 2165–212, doi:<a href=\"https://doi.org/10.1142/S0218202521500470\">10.1142/S0218202521500470</a>.","ista":"Abbatiello A, Bulíček M, Maringová E. 2021. On the dynamic slip boundary condition for Navier-Stokes-like problems. Mathematical Models and Methods in Applied Sciences. 31(11), 2165–2212.","ama":"Abbatiello A, Bulíček M, Maringová E. On the dynamic slip boundary condition for Navier-Stokes-like problems. <i>Mathematical Models and Methods in Applied Sciences</i>. 2021;31(11):2165-2212. doi:<a href=\"https://doi.org/10.1142/S0218202521500470\">10.1142/S0218202521500470</a>","apa":"Abbatiello, A., Bulíček, M., &#38; Maringová, E. (2021). On the dynamic slip boundary condition for Navier-Stokes-like problems. <i>Mathematical Models and Methods in Applied Sciences</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0218202521500470\">https://doi.org/10.1142/S0218202521500470</a>","chicago":"Abbatiello, Anna, Miroslav Bulíček, and Erika Maringová. “On the Dynamic Slip Boundary Condition for Navier-Stokes-like Problems.” <i>Mathematical Models and Methods in Applied Sciences</i>. World Scientific Publishing, 2021. <a href=\"https://doi.org/10.1142/S0218202521500470\">https://doi.org/10.1142/S0218202521500470</a>.","short":"A. Abbatiello, M. Bulíček, E. Maringová, Mathematical Models and Methods in Applied Sciences 31 (2021) 2165–2212."},"doi":"10.1142/S0218202521500470"},{"issue":"09","publication":"Mathematical Models and Methods in Applied Sciences","month":"08","status":"public","date_created":"2021-09-12T22:01:25Z","abstract":[{"text":"We study systems of nonlinear partial differential equations of parabolic type, in which the elliptic operator is replaced by the first-order divergence operator acting on a flux function, which is related to the spatial gradient of the unknown through an additional implicit equation. This setting, broad enough in terms of applications, significantly expands the paradigm of nonlinear parabolic problems. Formulating four conditions concerning the form of the implicit equation, we first show that these conditions describe a maximal monotone p-coercive graph. We then establish the global-in-time and large-data existence of a (weak) solution and its uniqueness. To this end, we adopt and significantly generalize Minty’s method of monotone mappings. A unified theory, containing several novel tools, is developed in a way to be tractable from the point of view of numerical approximations.","lang":"eng"}],"publisher":"World Scientific Publishing","language":[{"iso":"eng"}],"intvolume":"        31","publication_status":"published","keyword":["Nonlinear parabolic systems","implicit constitutive theory","weak solutions","existence","uniqueness"],"article_processing_charge":"No","year":"2021","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-08-25T00:00:00Z","isi":1,"type":"journal_article","oa":1,"_id":"10005","quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2009.06917"}],"scopus_import":"1","department":[{"_id":"JuFi"}],"volume":31,"project":[{"grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"citation":{"chicago":"Bulíček, Miroslav, Erika Maringová, and Josef Málek. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” <i>Mathematical Models and Methods in Applied Sciences</i>. World Scientific Publishing, 2021. <a href=\"https://doi.org/10.1142/S0218202521500457\">https://doi.org/10.1142/S0218202521500457</a>.","short":"M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).","mla":"Bulíček, Miroslav, et al. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” <i>Mathematical Models and Methods in Applied Sciences</i>, vol. 31, no. 09, World Scientific Publishing, 2021, doi:<a href=\"https://doi.org/10.1142/S0218202521500457\">10.1142/S0218202521500457</a>.","ieee":"M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” <i>Mathematical Models and Methods in Applied Sciences</i>, vol. 31, no. 09. World Scientific Publishing, 2021.","ama":"Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. <i>Mathematical Models and Methods in Applied Sciences</i>. 2021;31(09). doi:<a href=\"https://doi.org/10.1142/S0218202521500457\">10.1142/S0218202521500457</a>","ista":"Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09).","apa":"Bulíček, M., Maringová, E., &#38; Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. <i>Mathematical Models and Methods in Applied Sciences</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0218202521500457\">https://doi.org/10.1142/S0218202521500457</a>"},"doi":"10.1142/S0218202521500457","author":[{"full_name":"Bulíček, Miroslav","first_name":"Miroslav","last_name":"Bulíček"},{"first_name":"Erika","last_name":"Maringová","full_name":"Maringová, Erika","id":"dbabca31-66eb-11eb-963a-fb9c22c880b4"},{"full_name":"Málek, Josef","first_name":"Josef","last_name":"Málek"}],"title":"On nonlinear problems of parabolic type with implicit constitutive equations involving flux","date_updated":"2026-08-18T07:47:39Z","day":"25","article_type":"original","publication_identifier":{"issn":["0218-2025"],"eissn":["1793-6314"]},"acknowledgement":"M. Bulíček and J. Málek acknowledge the support of the project No. 18-12719S financed by the Czech\r\nScience foundation (GAČR). E. Maringová acknowledges support from Charles University Research program \r\nUNCE/SCI/023, the grant SVV-2020-260583 by the Ministry of Education, Youth and Sports, Czech Republic\r\nand from the Austrian Science Fund (FWF), grants P30000, W1245, and F65. M. Bulíček and J. Málek are\r\nmembers of the Nečas Center for Mathematical Modelling.\r\n","arxiv":1,"external_id":{"arxiv":["2009.06917"],"isi":["000722222900004"]}},{"article_processing_charge":"No","year":"2021","publication_status":"published","file":[{"file_size":137235,"access_level":"open_access","content_type":"application/pdf","date_created":"2022-01-26T07:41:16Z","relation":"main_file","file_name":"16496-Article Text-19990-1-2-20210518 (1).pdf","creator":"mlechner","checksum":"2bc8155b2526a70fba5b7301bc89dbd1","date_updated":"2022-01-26T07:41:16Z","file_id":"10684","success":1}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-05-28T00:00:00Z","page":"3787-3795","ec_funded":1,"type":"conference","oa":1,"issue":"5A","corr_author":"1","ddc":["000"],"publication":"Proceedings of the AAAI Conference on Artificial Intelligence","status":"public","month":"05","alternative_title":["Technical Tracks"],"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Formal verification of neural networks is an active topic of research, and recent advances have significantly increased the size of the networks that verification tools can handle. However, most methods are designed for verification of an idealized model of the actual network which works over real arithmetic and ignores rounding imprecisions. This idealization is in stark contrast to network quantization, which is a technique that trades numerical precision for computational efficiency and is, therefore, often applied in practice. Neglecting rounding errors of such low-bit quantized neural networks has been shown to lead to wrong conclusions about the network’s correctness. Thus, the desired approach for verifying quantized neural networks would be one that takes these rounding errors\r\ninto account. In this paper, we show that verifying the bitexact implementation of quantized neural networks with bitvector specifications is PSPACE-hard, even though verifying idealized real-valued networks and satisfiability of bit-vector specifications alone are each in NP. Furthermore, we explore several practical heuristics toward closing the complexity gap between idealized and bit-exact verification. In particular, we propose three techniques for making SMT-based verification of quantized neural networks more scalable. Our experiments demonstrate that our proposed methods allow a speedup of up to three orders of magnitude over existing approaches."}],"date_created":"2022-01-25T15:15:02Z","publisher":"AAAI Press","language":[{"iso":"eng"}],"intvolume":"        35","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger"},{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner"},{"first_name":"Dorde","last_name":"Zikelic","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2026-08-19T09:28:05Z","title":"Scalable verification of quantized neural networks","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein\r\nAward), ERC CoG 863818 (FoRM-SMArt), and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.\r\n","file_date_updated":"2022-01-26T07:41:16Z","publication_identifier":{"eissn":["2374-3468"],"issn":["2159-5399"],"isbn":["978-1-57735-866-4"]},"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"11362"}]},"day":"28","arxiv":1,"conference":{"end_date":"2021-02-09","start_date":"2021-02-02","location":"Virtual","name":"AAAI: Association for the Advancement of Artificial Intelligence"},"external_id":{"arxiv":["2012.08185"]},"_id":"10665","main_file_link":[{"url":"https://ojs.aaai.org/index.php/AAAI/article/view/16496","open_access":"1"}],"quality_controlled":"1","oa_version":"Published Version","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"scopus_import":"1","volume":35,"project":[{"grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211"},{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"}],"citation":{"chicago":"Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, 35:3787–95. AAAI Press, 2021. <a href=\"https://doi.org/10.1609/aaai.v35i5.16496\">https://doi.org/10.1609/aaai.v35i5.16496</a>.","short":"T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.","mla":"Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95, doi:<a href=\"https://doi.org/10.1609/aaai.v35i5.16496\">10.1609/aaai.v35i5.16496</a>.","ieee":"T. A. Henzinger, M. Lechner, and D. Zikelic, “Scalable verification of quantized neural networks,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35, no. 5A, pp. 3787–3795.","ama":"Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol 35. AAAI Press; 2021:3787-3795. doi:<a href=\"https://doi.org/10.1609/aaai.v35i5.16496\">10.1609/aaai.v35i5.16496</a>","apa":"Henzinger, T. A., Lechner, M., &#38; Zikelic, D. (2021). Scalable verification of quantized neural networks. In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol. 35, pp. 3787–3795). Virtual: AAAI Press. <a href=\"https://doi.org/10.1609/aaai.v35i5.16496\">https://doi.org/10.1609/aaai.v35i5.16496</a>","ista":"Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795."},"doi":"10.1609/aaai.v35i5.16496"},{"publication":"Proceedings of the AAAI Conference on Artificial Intelligence","corr_author":"1","ddc":["000"],"month":"05","status":"public","issue":"9","language":[{"iso":"eng"}],"intvolume":"        35","has_accepted_license":"1","date_created":"2022-01-25T15:48:36Z","abstract":[{"text":"We introduce a new class of time-continuous recurrent neural network models. Instead of declaring a learning system’s dynamics by implicit nonlinearities, we construct networks of linear first-order dynamical systems modulated via nonlinear interlinked gates. The resulting models represent dynamical systems with varying (i.e., liquid) time-constants coupled to their hidden state, with outputs being computed by numerical differential equation solvers. These neural networks exhibit stable and bounded behavior, yield superior expressivity within the family of neural ordinary differential equations, and give rise to improved performance on time-series prediction tasks. To demonstrate these properties, we first take a theoretical approach to find bounds over their dynamics, and compute their expressive power by the trajectory length measure in a latent trajectory space. We then conduct a series of time-series prediction experiments to manifest the approximation capability of Liquid Time-Constant Networks (LTCs) compared to classical and modern RNNs.","lang":"eng"}],"alternative_title":["Technical Tracks"],"publisher":"AAAI Press","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-05-28T00:00:00Z","publication_status":"published","year":"2021","article_processing_charge":"No","file":[{"content_type":"application/pdf","access_level":"open_access","file_size":4302669,"checksum":"0f06995fba06dbcfa7ed965fc66027ff","file_name":"16936-Article Text-20430-1-2-20210518 (1).pdf","creator":"mlechner","relation":"main_file","date_created":"2022-01-26T07:36:03Z","date_updated":"2022-01-26T07:36:03Z","success":1,"file_id":"10678"}],"type":"conference","oa":1,"page":"7657-7666","_id":"10671","oa_version":"Published Version","quality_controlled":"1","main_file_link":[{"url":"https://ojs.aaai.org/index.php/AAAI/article/view/16936","open_access":"1"}],"project":[{"grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"doi":"10.1609/aaai.v35i9.16936","citation":{"ista":"Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2021. Liquid time-constant networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 7657–7666.","apa":"Hasani, R., Lechner, M., Amini, A., Rus, D., &#38; Grosu, R. (2021). Liquid time-constant networks. In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol. 35, pp. 7657–7666). Virtual: AAAI Press. <a href=\"https://doi.org/10.1609/aaai.v35i9.16936\">https://doi.org/10.1609/aaai.v35i9.16936</a>","ama":"Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks. In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol 35. AAAI Press; 2021:7657-7666. doi:<a href=\"https://doi.org/10.1609/aaai.v35i9.16936\">10.1609/aaai.v35i9.16936</a>","ieee":"R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “Liquid time-constant networks,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35, no. 9, pp. 7657–7666.","mla":"Hasani, Ramin, et al. “Liquid Time-Constant Networks.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66, doi:<a href=\"https://doi.org/10.1609/aaai.v35i9.16936\">10.1609/aaai.v35i9.16936</a>.","short":"R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.","chicago":"Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, 35:7657–66. AAAI Press, 2021. <a href=\"https://doi.org/10.1609/aaai.v35i9.16936\">https://doi.org/10.1609/aaai.v35i9.16936</a>."},"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"volume":35,"title":"Liquid time-constant networks","date_updated":"2026-08-19T09:24:30Z","author":[{"last_name":"Hasani","first_name":"Ramin","full_name":"Hasani, Ramin"},{"first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Amini","first_name":"Alexander","full_name":"Amini, Alexander"},{"full_name":"Rus, Daniela","last_name":"Rus","first_name":"Daniela"},{"last_name":"Grosu","first_name":"Radu","full_name":"Grosu, Radu"}],"conference":{"start_date":"2021-02-02","name":"AAAI: Association for the Advancement of Artificial Intelligence","location":"Virtual","end_date":"2021-02-09"},"external_id":{"arxiv":["2006.04439"]},"day":"28","file_date_updated":"2022-01-26T07:36:03Z","acknowledgement":"R.H. and D.R. are partially supported by Boeing. R.H. and R.G. were partially supported by the Horizon-2020 ECSEL\r\nProject grant No. 783163 (iDev40). M.L. was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). A.A. is supported by the National Science Foundation (NSF) Graduate Research Fellowship Program. This research work is partially drawn from the PhD dissertation of R.H.","publication_identifier":{"issn":["2159-5399"],"isbn":["978-1-57735-866-4"],"eissn":["2374-3468"]},"arxiv":1},{"volume":35,"department":[{"_id":"DaAl"}],"scopus_import":"1","doi":"10.1609/aaai.v35i9.16999","citation":{"chicago":"Kungurtsev, Vyacheslav, Malcolm Egan, Bapi Chatterjee, and Dan-Adrian Alistarh. “Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees.” In <i>35th AAAI Conference on Artificial Intelligence, AAAI 2021</i>, 35:8209–16. AAAI Press, 2021. <a href=\"https://doi.org/10.1609/aaai.v35i9.16999\">https://doi.org/10.1609/aaai.v35i9.16999</a>.","short":"V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.","ieee":"V. Kungurtsev, M. Egan, B. Chatterjee, and D.-A. Alistarh, “Asynchronous optimization methods for efficient training of deep neural networks with guarantees,” in <i>35th AAAI Conference on Artificial Intelligence, AAAI 2021</i>, Virtual, Online, 2021, vol. 35, no. 9B, pp. 8209–8216.","mla":"Kungurtsev, Vyacheslav, et al. “Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees.” <i>35th AAAI Conference on Artificial Intelligence, AAAI 2021</i>, vol. 35, no. 9B, AAAI Press, 2021, pp. 8209–16, doi:<a href=\"https://doi.org/10.1609/aaai.v35i9.16999\">10.1609/aaai.v35i9.16999</a>.","ama":"Kungurtsev V, Egan M, Chatterjee B, Alistarh D-A. Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In: <i>35th AAAI Conference on Artificial Intelligence, AAAI 2021</i>. Vol 35. AAAI Press; 2021:8209-8216. doi:<a href=\"https://doi.org/10.1609/aaai.v35i9.16999\">10.1609/aaai.v35i9.16999</a>","ista":"Kungurtsev V, Egan M, Chatterjee B, Alistarh D-A. 2021. Asynchronous optimization methods for efficient training of deep neural networks with guarantees. 35th AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI: Conference on Artificial Intelligence vol. 35, 8209–8216.","apa":"Kungurtsev, V., Egan, M., Chatterjee, B., &#38; Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In <i>35th AAAI Conference on Artificial Intelligence, AAAI 2021</i> (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press. <a href=\"https://doi.org/10.1609/aaai.v35i9.16999\">https://doi.org/10.1609/aaai.v35i9.16999</a>"},"project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425","name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223"}],"quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.1905.11845"}],"_id":"11436","arxiv":1,"day":"18","acknowledgement":"Vyacheslav Kungurtsev was supported by the OP VVV project CZ.02.1.01/0.0/0.0/16 019/0000765 “Research Center for Informatics. Bapi Chatterjee was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No. 754411 (ISTPlus). Dan Alistarh has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML).","publication_identifier":{"eissn":["2374-3468"],"isbn":["9781713835974"],"issn":["2159-5399"]},"external_id":{"arxiv":["1905.11845"]},"conference":{"end_date":"2021-02-09","start_date":"2021-02-02","location":"Virtual, Online","name":"AAAI: Conference on Artificial Intelligence"},"author":[{"first_name":"Vyacheslav","last_name":"Kungurtsev","full_name":"Kungurtsev, Vyacheslav"},{"first_name":"Malcolm","last_name":"Egan","full_name":"Egan, Malcolm"},{"last_name":"Chatterjee","orcid":"0000-0002-2742-4028","first_name":"Bapi","full_name":"Chatterjee, Bapi","id":"3C41A08A-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"}],"title":"Asynchronous optimization methods for efficient training of deep neural networks with guarantees","date_updated":"2026-08-19T09:25:06Z","publisher":"AAAI Press","date_created":"2022-06-05T22:01:52Z","abstract":[{"lang":"eng","text":"Asynchronous distributed algorithms are a popular way to reduce synchronization costs in large-scale optimization, and in particular for neural network training. However, for nonsmooth and nonconvex objectives, few convergence guarantees exist beyond cases where closed-form proximal operator solutions are available. As training most popular deep neural networks corresponds to optimizing nonsmooth and nonconvex objectives, there is a pressing need for such convergence guarantees. In this paper, we analyze for the first time the convergence of stochastic asynchronous optimization for this general class of objectives. In particular, we focus on stochastic subgradient methods allowing for block variable partitioning, where the shared model is asynchronously updated by concurrent processes. To this end, we use a probabilistic model which captures key features of real asynchronous scheduling between concurrent processes. Under this model, we establish convergence with probability one to an invariant set for stochastic subgradient methods with momentum. From a practical perspective, one issue with the family of algorithms that we consider is that they are not efficiently supported by machine learning frameworks, which mostly focus on distributed data-parallel strategies. To address this, we propose a new implementation strategy for shared-memory based training of deep neural networks for a partitioned but shared model in single- and multi-GPU settings. Based on this implementation, we achieve on average1.2x speed-up in comparison to state-of-the-art training methods for popular image classification tasks, without compromising accuracy."}],"intvolume":"        35","language":[{"iso":"eng"}],"issue":"9B","month":"05","status":"public","publication":"35th AAAI Conference on Artificial Intelligence, AAAI 2021","page":"8209-8216","oa":1,"type":"conference","ec_funded":1,"publication_status":"published","article_processing_charge":"No","year":"2021","date_published":"2021-05-18T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"date_updated":"2026-08-19T09:29:48Z","title":"On the verification of neural ODEs with stochastic guarantees","author":[{"last_name":"Grunbacher","first_name":"Sophie","full_name":"Grunbacher, Sophie"},{"last_name":"Hasani","first_name":"Ramin","full_name":"Hasani, Ramin"},{"last_name":"Lechner","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias"},{"last_name":"Cyranka","first_name":"Jacek","full_name":"Cyranka, Jacek"},{"first_name":"Scott A","last_name":"Smolka","full_name":"Smolka, Scott A"},{"first_name":"Radu","last_name":"Grosu","full_name":"Grosu, Radu"}],"external_id":{"arxiv":["2012.08863"]},"conference":{"name":"AAAI: Association for the Advancement of Artificial Intelligence","location":"Virtual","start_date":"2021-02-02","end_date":"2021-02-09"},"arxiv":1,"acknowledgement":"The authors would like to thank the reviewers for their insightful comments. RH and RG were partially supported by\r\nHorizon-2020 ECSEL Project grant No. 783163 (iDev40). RH was partially supported by Boeing. ML was supported\r\nin part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). SG was funded by FWF\r\nproject W1255-N23. JC was partially supported by NAWA Polish Returns grant PPN/PPO/2018/1/00029. SS was supported by NSF awards DCL-2040599, CCF-1918225, and CPS-1446832.\r\n","publication_identifier":{"isbn":["978-1-57735-866-4"],"issn":["2159-5399"],"eissn":["2374-3468"]},"file_date_updated":"2022-01-26T07:38:08Z","day":"28","main_file_link":[{"url":"https://ojs.aaai.org/index.php/AAAI/article/view/17372","open_access":"1"}],"quality_controlled":"1","oa_version":"Published Version","_id":"10669","doi":"10.1609/aaai.v35i13.17372","citation":{"ieee":"S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S. A. Smolka, and R. Grosu, “On the verification of neural ODEs with stochastic guarantees,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35, no. 13, pp. 11525–11535.","mla":"Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35, doi:<a href=\"https://doi.org/10.1609/aaai.v35i13.17372\">10.1609/aaai.v35i13.17372</a>.","ista":"Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. 2021. On the verification of neural ODEs with stochastic guarantees. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 11525–11535.","ama":"Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification of neural ODEs with stochastic guarantees. In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol 35. AAAI Press; 2021:11525-11535. doi:<a href=\"https://doi.org/10.1609/aaai.v35i13.17372\">10.1609/aaai.v35i13.17372</a>","apa":"Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &#38; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol. 35, pp. 11525–11535). Virtual: AAAI Press. <a href=\"https://doi.org/10.1609/aaai.v35i13.17372\">https://doi.org/10.1609/aaai.v35i13.17372</a>","chicago":"Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, 35:11525–35. AAAI Press, 2021. <a href=\"https://doi.org/10.1609/aaai.v35i13.17372\">https://doi.org/10.1609/aaai.v35i13.17372</a>.","short":"S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535."},"project":[{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211"}],"volume":35,"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"date_published":"2021-05-28T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"relation":"main_file","date_created":"2022-01-26T07:38:08Z","checksum":"468d07041e282a1d46ffdae92f709630","file_name":"17372-Article Text-20866-1-2-20210518.pdf","creator":"mlechner","file_size":286906,"content_type":"application/pdf","access_level":"open_access","success":1,"file_id":"10680","date_updated":"2022-01-26T07:38:08Z"}],"year":"2021","article_processing_charge":"No","publication_status":"published","oa":1,"type":"conference","page":"11525-11535","corr_author":"1","publication":"Proceedings of the AAAI Conference on Artificial Intelligence","ddc":["000"],"month":"05","status":"public","issue":"13","intvolume":"        35","language":[{"iso":"eng"}],"publisher":"AAAI Press","alternative_title":["Technical Tracks"],"date_created":"2022-01-25T15:47:20Z","abstract":[{"text":"We show that Neural ODEs, an emerging class of timecontinuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Stochastic Lagrangian Reachability (SLR), an\r\nabstraction-based technique for constructing a tight Reachtube (an over-approximation of the set of reachable states\r\nover a given time-horizon), and provide stochastic guarantees in the form of confidence intervals for the Reachtube bounds. SLR inherently avoids the infamous wrapping effect (accumulation of over-approximation errors) by performing local optimization steps to expand safe regions instead of repeatedly forward-propagating them as is done by deterministic reachability methods. To enable fast local optimizations, we introduce a novel forward-mode adjoint sensitivity method to compute gradients without the need for backpropagation. Finally, we establish asymptotic and non-asymptotic convergence rates for SLR.","lang":"eng"}],"has_accepted_license":"1"},{"oa_version":"Published Version","_id":"10429","department":[{"_id":"GradSch"},{"_id":"DaAl"}],"doi":"10.15479/at:ista:10429","citation":{"short":"G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.","chicago":"Nadiradze, Giorgi. “On Achieving Scalability through Relaxation.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10429\">https://doi.org/10.15479/at:ista:10429</a>.","apa":"Nadiradze, G. (2021). <i>On achieving scalability through relaxation</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10429\">https://doi.org/10.15479/at:ista:10429</a>","ama":"Nadiradze G. On achieving scalability through relaxation. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10429\">10.15479/at:ista:10429</a>","ista":"Nadiradze G. 2021. On achieving scalability through relaxation. Institute of Science and Technology Austria.","mla":"Nadiradze, Giorgi. <i>On Achieving Scalability through Relaxation</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10429\">10.15479/at:ista:10429</a>.","ieee":"G. Nadiradze, “On achieving scalability through relaxation,” Institute of Science and Technology Austria, 2021."},"project":[{"name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223","call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"author":[{"id":"3279A00C-F248-11E8-B48F-1D18A9856A87","full_name":"Nadiradze, Giorgi","orcid":"0000-0001-5634-0731","last_name":"Nadiradze","first_name":"Giorgi"}],"date_updated":"2026-08-19T09:30:23Z","title":"On achieving scalability through relaxation","related_material":{"record":[{"status":"public","id":"6673","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"5965"},{"status":"public","relation":"part_of_dissertation","id":"10435"},{"relation":"part_of_dissertation","id":"10432","status":"public"}]},"file_date_updated":"2022-03-28T12:55:12Z","publication_identifier":{"issn":["2663-337X"]},"day":"09","OA_place":"publisher","degree_awarded":"PhD","month":"12","ddc":["000"],"corr_author":"1","status":"public","publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"has_accepted_license":"1","date_created":"2021-12-08T21:52:28Z","abstract":[{"lang":"eng","text":"The scalability of concurrent data structures and distributed algorithms strongly depends on\r\nreducing the contention for shared resources and the costs of synchronization and communication. We show how such cost reductions can be attained by relaxing the strict consistency conditions required by sequential implementations. In the first part of the thesis, we consider relaxation in the context of concurrent data structures. Specifically, in data structures \r\nsuch as priority queues, imposing strong semantics renders scalability impossible, since a correct implementation of the remove operation should return only the element with highest priority. Intuitively, attempting to invoke remove operations concurrently  creates a race condition. This bottleneck  can be circumvented by relaxing semantics of the affected data structure, thus allowing removal of the elements which are no longer required to have the highest priority. We prove that the randomized implementations of relaxed data structures provide provable guarantees on the priority of the removed elements even under concurrency. Additionally, we show that in some cases the relaxed data structures can be used to scale the classical algorithms which are usually implemented with the exact ones. In the second part, we study parallel variants of the  stochastic gradient descent (SGD) algorithm, which distribute computation  among the multiple processors, thus reducing the running time. Unfortunately, in order for standard parallel SGD to succeed, each processor has to maintain a local copy of the necessary model parameter, which is identical to the local copies of other processors; the overheads from this perfect consistency in terms of communication and synchronization can negate the speedup gained by distributing the computation. We show that the consistency conditions required by SGD can be  relaxed, allowing the algorithm to be more flexible in terms of tolerating quantized communication, asynchrony, or even crash faults, while its convergence remains asymptotically the same."}],"supervisor":[{"orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"}],"language":[{"iso":"eng"}],"file":[{"access_level":"open_access","content_type":"application/pdf","file_size":2370859,"file_name":"Thesis_Final_09_12_2021.pdf","creator":"gnadirad","checksum":"6bf14e9a523387328f016c0689f5e10e","date_created":"2021-12-09T17:47:49Z","relation":"main_file","date_updated":"2021-12-09T17:47:49Z","file_id":"10436","success":1},{"file_id":"10437","date_updated":"2022-03-28T12:55:12Z","relation":"source_file","date_created":"2021-12-09T17:47:49Z","file_name":"Thesis_Final_09_12_2021.zip","creator":"gnadirad","checksum":"914d6c5ca86bd0add471971a8f4c4341","file_size":2596924,"content_type":"application/zip","access_level":"closed"}],"article_processing_charge":"No","year":"2021","publication_status":"published","date_published":"2021-12-09T00:00:00Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"132","oa":1,"type":"dissertation","ec_funded":1},{"title":"Elastic consistency: A practical consistency model for distributed stochastic gradient descent","date_updated":"2026-08-19T09:30:23Z","author":[{"full_name":"Nadiradze, Giorgi","id":"3279A00C-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgi","last_name":"Nadiradze","orcid":"0000-0001-5634-0731"},{"id":"D0CF4148-C985-11E9-8066-0BDEE5697425","full_name":"Markov, Ilia","first_name":"Ilia","last_name":"Markov"},{"last_name":"Chatterjee","orcid":"0000-0002-2742-4028","first_name":"Bapi","full_name":"Chatterjee, Bapi","id":"3C41A08A-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kungurtsev, Vyacheslav ","first_name":"Vyacheslav ","last_name":"Kungurtsev"},{"orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"}],"conference":{"start_date":"2021-02-02","name":"AAAI: Association for the Advancement of Artificial Intelligence","location":"Virtual","end_date":"2021-02-09"},"external_id":{"arxiv":["2001.05918"]},"day":"18","related_material":{"record":[{"relation":"dissertation_contains","id":"10429","status":"public"}]},"acknowledgement":"We would like to thank Christopher De Sa for his feedback on an earlier draft of this paper, as well as the anonymous AAAI reviewers for their useful comments. This project has received\r\nfunding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML). Bapi\r\nChatterjee was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No. 754411 (ISTPlus).","arxiv":1,"_id":"10432","oa_version":"Published Version","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://ojs.aaai.org/index.php/AAAI/article/view/17092"}],"project":[{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"},{"_id":"268A44D6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"805223","name":"Elastic Coordination for Scalable Machine Learning"}],"doi":"10.1609/aaai.v35i10.17092","citation":{"chicago":"Nadiradze, Giorgi, Ilia Markov, Bapi Chatterjee, Vyacheslav  Kungurtsev, and Dan-Adrian Alistarh. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, 35:9037–45, 2021. <a href=\"https://doi.org/10.1609/aaai.v35i10.17092\">https://doi.org/10.1609/aaai.v35i10.17092</a>.","short":"G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the AAAI Conference on Artificial Intelligence, 2021, pp. 9037–9045.","mla":"Nadiradze, Giorgi, et al. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 10, 2021, pp. 9037–45, doi:<a href=\"https://doi.org/10.1609/aaai.v35i10.17092\">10.1609/aaai.v35i10.17092</a>.","ieee":"G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, and D.-A. Alistarh, “Elastic consistency: A practical consistency model for distributed stochastic gradient descent,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35, no. 10, pp. 9037–9045.","ista":"Nadiradze G, Markov I, Chatterjee B, Kungurtsev V, Alistarh D-A. 2021. Elastic consistency: A practical consistency model for distributed stochastic gradient descent. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence vol. 35, 9037–9045.","ama":"Nadiradze G, Markov I, Chatterjee B, Kungurtsev V, Alistarh D-A. Elastic consistency: A practical consistency model for distributed stochastic gradient descent. In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol 35. ; 2021:9037-9045. doi:<a href=\"https://doi.org/10.1609/aaai.v35i10.17092\">10.1609/aaai.v35i10.17092</a>","apa":"Nadiradze, G., Markov, I., Chatterjee, B., Kungurtsev, V., &#38; Alistarh, D.-A. (2021). Elastic consistency: A practical consistency model for distributed stochastic gradient descent. In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol. 35, pp. 9037–9045). Virtual. <a href=\"https://doi.org/10.1609/aaai.v35i10.17092\">https://doi.org/10.1609/aaai.v35i10.17092</a>"},"department":[{"_id":"DaAl"}],"volume":35,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-05-18T00:00:00Z","publication_status":"published","year":"2021","article_processing_charge":"No","ec_funded":1,"type":"conference","oa":1,"page":"9037-9045","publication":"Proceedings of the AAAI Conference on Artificial Intelligence","month":"05","ddc":["000"],"status":"public","issue":"10","language":[{"iso":"eng"}],"intvolume":"        35","abstract":[{"text":"One key element behind the recent progress of machine learning has been the ability to train machine learning models in large-scale distributed shared-memory and message-passing environments. Most of these models are trained employing variants of stochastic gradient descent (SGD) based optimization, but most methods involve some type of consistency relaxation relative to sequential SGD, to mitigate its large communication or synchronization costs at scale. In this paper, we introduce a general consistency condition covering communication-reduced and asynchronous distributed SGD implementations. Our framework, called elastic consistency, decouples the system-specific aspects of the implementation from the SGD convergence requirements, giving a general way to obtain convergence bounds for a wide variety of distributed SGD methods used in practice. Elastic consistency can be used to re-derive or improve several previous convergence bounds in message-passing and shared-memory settings, but also to analyze new models and distribution schemes. As a direct application, we propose and analyze a new synchronization-avoiding scheduling scheme for distributed SGD, and show that it can be used to efficiently train deep convolutional models for image classification.","lang":"eng"}],"date_created":"2021-12-09T09:21:35Z"},{"das_tickbox":"0","publication":"arXiv","corr_author":"1","month":"04","status":"public","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"We compare the Manin-type conjecture for Campana points recently formulated\r\nby Pieropan, Smeets, Tanimoto and V\\'{a}rilly-Alvarado with an alternative\r\nprediction of Browning and Van Valckenborgh in the special case of the orbifold\r\n$(\\mathbb{P}^1,D)$, where $D =\\frac{1}{2}[0]+\\frac{1}{2}[1]+\\frac{1}{2}[\\infty]$. We find that the two predicted leading constants do not agree, and we discuss whether thin sets\r\ncould explain this discrepancy. Motivated by this, we provide a counterexample\r\nto the Manin-type conjecture for Campana points, by considering orbifolds\r\ncorresponding to squareful values of binary quadratic forms."}],"date_created":"2022-09-09T10:43:17Z","supplementarymaterial":"no","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_number":"2104.14946","date_published":"2021-04-30T00:00:00Z","article_processing_charge":"No","year":"2021","publication_status":"draft","type":"preprint","oa":1,"_id":"12077","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2104.14946"}],"oa_version":"Preprint","doi":"10.48550/arXiv.2104.14946","citation":{"ieee":"A. L. Shute, “On the leading constant in the Manin-type conjecture for Campana points,” <i>arXiv</i>. .","mla":"Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” <i>ArXiv</i>, 2104.14946, doi:<a href=\"https://doi.org/10.48550/arXiv.2104.14946\">10.48550/arXiv.2104.14946</a>.","ama":"Shute AL. On the leading constant in the Manin-type conjecture for Campana points. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2104.14946\">10.48550/arXiv.2104.14946</a>","ista":"Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.","apa":"Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2104.14946\">https://doi.org/10.48550/arXiv.2104.14946</a>","chicago":"Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2104.14946\">https://doi.org/10.48550/arXiv.2104.14946</a>.","short":"A.L. Shute, ArXiv (n.d.)."},"department":[{"_id":"TiBr"}],"date_updated":"2026-08-19T12:54:58Z","researchdata_availability":"no","title":"On the leading constant in the Manin-type conjecture for Campana points","author":[{"orcid":"0000-0002-1812-2810","last_name":"Shute","first_name":"Alec L","id":"440EB050-F248-11E8-B48F-1D18A9856A87","full_name":"Shute, Alec L"}],"external_id":{"arxiv":["2104.14946"]},"related_material":{"record":[{"status":"public","id":"12072","relation":"dissertation_contains"},{"status":"public","id":"17058","relation":"later_version"}]},"acknowledgement":"The author would like to thank Damaris Schindler and Florian Wilsch for their helpful comments on the heights and Tamagawa measures used in Section 3, together with Marta Pieropan, Sho Tanimoto and Sam Streeter for providing valuable feedback on an earlier version of this paper, and Tim Browning for many useful comments and discussions during the development of this work. The author is also grateful to the anonymous referee for providing many valuable comments and suggestions that improved the quality of the paper.","day":"30","arxiv":1}]