[{"title":"A solution theory for quasilinear singular SPDEs","author":[{"full_name":"Gerencser, Mate","last_name":"Gerencser","id":"44ECEDF2-F248-11E8-B48F-1D18A9856A87","first_name":"Mate"},{"last_name":"Hairer","full_name":"Hairer, Martin","first_name":"Martin"}],"article_processing_charge":"Yes (via OA deal)","external_id":{"isi":["000475465000003"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"mla":"Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics, vol. 72, no. 9, Wiley, 2019, pp. 1983–2005, doi:10.1002/cpa.21816.","short":"M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.","ieee":"M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley, pp. 1983–2005, 2019.","ama":"Gerencser M, Hairer M. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. 2019;72(9):1983-2005. doi:10.1002/cpa.21816","apa":"Gerencser, M., & Hairer, M. (2019). A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.21816","chicago":"Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics. Wiley, 2019. https://doi.org/10.1002/cpa.21816.","ista":"Gerencser M, Hairer M. 2019. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. 72(9), 1983–2005."},"publisher":"Wiley","quality_controlled":"1","oa":1,"date_published":"2019-02-08T00:00:00Z","doi":"10.1002/cpa.21816","date_created":"2019-02-17T22:59:24Z","page":"1983-2005","day":"08","publication":"Communications on Pure and Applied Mathematics","has_accepted_license":"1","isi":1,"year":"2019","status":"public","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"6028","file_date_updated":"2020-07-14T12:47:17Z","department":[{"_id":"JaMa"}],"ddc":["500"],"date_updated":"2023-08-24T14:44:31Z","month":"02","intvolume":" 72","scopus_import":"1","oa_version":"Published Version","abstract":[{"text":"We give a construction allowing us to build local renormalized solutions to general quasilinear stochastic PDEs within the theory of regularity structures, thus greatly generalizing the recent results of [1, 5, 11]. Loosely speaking, our construction covers quasilinear variants of all classes of equations for which the general construction of [3, 4, 7] applies, including in particular one‐dimensional systems with KPZ‐type nonlinearities driven by space‐time white noise. In a less singular and more specific case, we furthermore show that the counterterms introduced by the renormalization procedure are given by local functionals of the solution. The main feature of our construction is that it allows exploitation of a number of existing results developed for the semilinear case, so that the number of additional arguments it requires is relatively small.","lang":"eng"}],"volume":72,"issue":"9","file":[{"date_updated":"2020-07-14T12:47:17Z","file_size":381350,"creator":"kschuh","date_created":"2020-01-07T13:25:55Z","file_name":"2019_Wiley_Gerencser.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"09aec427eb48c0f96a1cce9ff53f013b","file_id":"7237"}],"language":[{"iso":"eng"}],"publication_status":"published"},{"related_material":{"link":[{"description":"News on IST Homepage","url":"https://ist.ac.at/en/news/cells-find-their-identity-using-a-mathematically-optimal-strategy/","relation":"press_release"}]},"volume":176,"issue":"4","language":[{"iso":"eng"}],"publication_status":"published","month":"02","intvolume":" 176","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.cell.2019.01.007"}],"oa_version":"Published Version","pmid":1,"abstract":[{"lang":"eng","text":"In developing organisms, spatially prescribed cell identities are thought to be determined by the expression levels of multiple genes. Quantitative tests of this idea, however, require a theoretical framework capable of exposing the rules and precision of cell specification over developmental time. We use the gap gene network in the early fly embryo as an example to show how expression levels of the four gap genes can be jointly decoded into an optimal specification of position with 1% accuracy. The decoder correctly predicts, with no free parameters, the dynamics of pair-rule expression patterns at different developmental time points and in various mutant backgrounds. Precise cellular identities are thus available at the earliest stages of development, contrasting the prevailing view of positional information being slowly refined across successive layers of the patterning network. Our results suggest that developmental enhancers closely approximate a mathematically optimal decoding strategy."}],"department":[{"_id":"GaTk"}],"date_updated":"2023-08-24T14:42:47Z","status":"public","type":"journal_article","article_type":"original","_id":"5945","date_published":"2019-02-07T00:00:00Z","doi":"10.1016/j.cell.2019.01.007","date_created":"2019-02-10T22:59:16Z","page":"844-855.e15","day":"07","publication":"Cell","isi":1,"year":"2019","quality_controlled":"1","publisher":"Cell Press","oa":1,"title":"Optimal decoding of cellular identities in a genetic network","author":[{"full_name":"Petkova, Mariela D.","last_name":"Petkova","first_name":"Mariela D."},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gasper","orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper","last_name":"Tkacik"},{"first_name":"William","full_name":"Bialek, William","last_name":"Bialek"},{"first_name":"Eric F.","full_name":"Wieschaus, Eric F.","last_name":"Wieschaus"},{"full_name":"Gregor, Thomas","last_name":"Gregor","first_name":"Thomas"}],"external_id":{"pmid":["30712870"],"isi":["000457969200015"]},"article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ista":"Petkova MD, Tkačik G, Bialek W, Wieschaus EF, Gregor T. 2019. Optimal decoding of cellular identities in a genetic network. Cell. 176(4), 844–855.e15.","chicago":"Petkova, Mariela D., Gašper Tkačik, William Bialek, Eric F. Wieschaus, and Thomas Gregor. “Optimal Decoding of Cellular Identities in a Genetic Network.” Cell. Cell Press, 2019. https://doi.org/10.1016/j.cell.2019.01.007.","ama":"Petkova MD, Tkačik G, Bialek W, Wieschaus EF, Gregor T. Optimal decoding of cellular identities in a genetic network. Cell. 2019;176(4):844-855.e15. doi:10.1016/j.cell.2019.01.007","apa":"Petkova, M. D., Tkačik, G., Bialek, W., Wieschaus, E. F., & Gregor, T. (2019). Optimal decoding of cellular identities in a genetic network. Cell. Cell Press. https://doi.org/10.1016/j.cell.2019.01.007","short":"M.D. Petkova, G. Tkačik, W. Bialek, E.F. Wieschaus, T. Gregor, Cell 176 (2019) 844–855.e15.","ieee":"M. D. Petkova, G. Tkačik, W. Bialek, E. F. Wieschaus, and T. Gregor, “Optimal decoding of cellular identities in a genetic network,” Cell, vol. 176, no. 4. Cell Press, p. 844–855.e15, 2019.","mla":"Petkova, Mariela D., et al. “Optimal Decoding of Cellular Identities in a Genetic Network.” Cell, vol. 176, no. 4, Cell Press, 2019, p. 844–855.e15, doi:10.1016/j.cell.2019.01.007."},"project":[{"_id":"254E9036-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P28844-B27","name":"Biophysics of information processing in gene regulation"}]},{"oa_version":"Preprint","abstract":[{"text":"The hairpin instability of a jet in a crossflow (JICF) for a low jet-to-crossflow velocity ratio is investigated experimentally for a velocity ratio range of R ∈ (0.14, 0.75) and crossflow Reynolds numbers ReD ∈ (260, 640). From spectral analysis we characterize the Strouhal number and amplitude of the hairpin instability as a function of R and ReD. We demonstrate that the dynamics of the hairpins is well described by the Landau model, and, hence, that the instability occurs through Hopf bifurcation, similarly to other hydrodynamical oscillators such as wake behind different bluff bodies. Using the Landau model, we determine the precise threshold values of hairpin shedding. We also study the spatial dependence of this hydrodynamical instability, which shows a global behaviour.","lang":"eng"}],"month":"03","intvolume":" 863","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1902.07931","open_access":"1"}],"language":[{"iso":"eng"}],"publication_status":"published","volume":863,"ec_funded":1,"_id":"5943","status":"public","type":"journal_article","article_type":"original","date_updated":"2023-08-24T14:43:13Z","department":[{"_id":"BjHo"}],"quality_controlled":"1","publisher":"Cambridge University Press","oa":1,"day":"25","publication":"Journal of Fluid Mechanics","isi":1,"year":"2019","doi":"10.1017/jfm.2018.974","date_published":"2019-03-25T00:00:00Z","date_created":"2019-02-10T22:59:15Z","page":"386-406","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"short":"L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.","ieee":"L. Klotz, K. Gumowski, and J. E. Wesfreid, “Experiments on a jet in a crossflow in the low-velocity-ratio regime,” Journal of Fluid Mechanics, vol. 863. Cambridge University Press, pp. 386–406, 2019.","ama":"Klotz L, Gumowski K, Wesfreid JE. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 2019;863:386-406. doi:10.1017/jfm.2018.974","apa":"Klotz, L., Gumowski, K., & Wesfreid, J. E. (2019). Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2018.974","mla":"Klotz, Lukasz, et al. “Experiments on a Jet in a Crossflow in the Low-Velocity-Ratio Regime.” Journal of Fluid Mechanics, vol. 863, Cambridge University Press, 2019, pp. 386–406, doi:10.1017/jfm.2018.974.","ista":"Klotz L, Gumowski K, Wesfreid JE. 2019. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 863, 386–406.","chicago":"Klotz, Lukasz, Konrad Gumowski, and José Eduardo Wesfreid. “Experiments on a Jet in a Crossflow in the Low-Velocity-Ratio Regime.” Journal of Fluid Mechanics. Cambridge University Press, 2019. https://doi.org/10.1017/jfm.2018.974."},"title":"Experiments on a jet in a crossflow in the low-velocity-ratio regime","author":[{"id":"2C9AF1C2-F248-11E8-B48F-1D18A9856A87","first_name":"Lukasz","last_name":"Klotz","full_name":"Klotz, Lukasz","orcid":"0000-0003-1740-7635"},{"first_name":"Konrad","last_name":"Gumowski","full_name":"Gumowski, Konrad"},{"first_name":"José Eduardo","full_name":"Wesfreid, José Eduardo","last_name":"Wesfreid"}],"article_processing_charge":"No","external_id":{"isi":["000526029100016"],"arxiv":["1902.07931"]}},{"ddc":["000"],"date_updated":"2023-08-24T14:47:45Z","file_date_updated":"2020-07-14T12:47:17Z","department":[{"_id":"ToHe"}],"_id":"6042","status":"public","type":"conference","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2019-04-06","end_date":"2019-04-11","location":"Prague, Czech Republic"},"file":[{"checksum":"9998496f6fe202c0a19124b4209154c6","file_id":"6408","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2019_LNCS_Christakis.pdf","date_created":"2019-05-10T14:16:05Z","creator":"dernst","file_size":773083,"date_updated":"2020-07-14T12:47:17Z"}],"language":[{"iso":"eng"}],"publication_status":"published","volume":11427,"ec_funded":1,"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Static program analyzers are increasingly effective in checking correctness properties of programs and reporting any errors found, often in the form of error traces. However, developers still spend a significant amount of time on debugging. This involves processing long error traces in an effort to localize a bug to a relatively small part of the program and to identify its cause. In this paper, we present a technique for automated fault localization that, given a program and an error trace, efficiently narrows down the cause of the error to a few statements. These statements are then ranked in terms of their suspiciousness. Our technique relies only on the semantics of the given program and does not require any test cases or user guidance. In experiments on a set of C benchmarks, we show that our technique is effective in quickly isolating the cause of error while out-performing other state-of-the-art fault-localization techniques."}],"month":"04","intvolume":" 11427","scopus_import":"1","alternative_title":["LNCS"],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ista":"Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic fault localization and suspiciousness ranking. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427, 226–243.","chicago":"Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13.","ama":"Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. Semantic fault localization and suspiciousness ranking. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13","apa":"Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13","short":"M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.","ieee":"M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.","mla":"Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13."},"title":"Semantic fault localization and suspiciousness ranking","author":[{"first_name":"Maria","full_name":"Christakis, Maria","last_name":"Christakis"},{"first_name":"Matthias","last_name":"Heizmann","full_name":"Heizmann, Matthias"},{"first_name":"Muhammad Numair","last_name":"Mansur","full_name":"Mansur, Muhammad Numair"},{"last_name":"Schilling","orcid":"0000-0003-3658-1065","full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian"},{"first_name":"Valentin","full_name":"Wüstholz, Valentin","last_name":"Wüstholz"}],"external_id":{"isi":["000681166500013"]},"article_processing_charge":"No","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"}],"day":"04","publication":"25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ","isi":1,"has_accepted_license":"1","year":"2019","doi":"10.1007/978-3-030-17462-0_13","date_published":"2019-04-04T00:00:00Z","date_created":"2019-02-18T16:44:06Z","page":"226-243","quality_controlled":"1","publisher":"Springer Nature","oa":1},{"department":[{"_id":"ToHe"}],"file_date_updated":"2020-07-14T12:47:17Z","ddc":["000"],"date_updated":"2023-08-24T14:47:21Z","keyword":["reachability analysis","hybrid systems","lazy computation"],"status":"public","conference":{"start_date":"2019-04-16","location":"Montreal, QC, Canada","end_date":"2019-04-18","name":"HSCC: Hybrid Systems Computation and Control"},"type":"conference","_id":"6035","ec_funded":1,"volume":22,"language":[{"iso":"eng"}],"file":[{"file_name":"hscc19.pdf","date_created":"2019-03-05T09:27:18Z","file_size":3784414,"date_updated":"2020-07-14T12:47:17Z","creator":"cschilli","checksum":"28ed56439aea5991c3122d4730fd828f","file_id":"6067","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"publication_status":"published","publication_identifier":{"isbn":["9781450362825"]},"intvolume":" 22","month":"04","scopus_import":"1","oa_version":"Submitted Version","abstract":[{"text":"We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed. The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent way, while achieving runtime performance that is comparable to statically compiled languages. Combining lazy operations in high dimensions and explicit computations in low dimensions, JuliaReach can be applied to solve complex, large-scale problems.","lang":"eng"}],"title":"JuliaReach: A toolbox for set-based reachability","external_id":{"isi":["000516713900005"],"arxiv":["1901.10736"]},"article_processing_charge":"No","author":[{"id":"369D9A44-F248-11E8-B48F-1D18A9856A87","first_name":"Sergiy","full_name":"Bogomolov, Sergiy","orcid":"0000-0002-0686-0365","last_name":"Bogomolov"},{"first_name":"Marcelo","last_name":"Forets","full_name":"Forets, Marcelo"},{"full_name":"Frehse, Goran","last_name":"Frehse","first_name":"Goran"},{"first_name":"Kostiantyn","last_name":"Potomkin","full_name":"Potomkin, Kostiantyn"},{"id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian","orcid":"0000-0003-3658-1065","full_name":"Schilling, Christian","last_name":"Schilling"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"chicago":"Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, 2019. https://doi.org/10.1145/3302504.3311804.","ista":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2019. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control vol. 22, 39–44.","mla":"Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.” Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.","apa":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2019). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804","ama":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; 2019:39-44. doi:10.1145/3302504.3311804","ieee":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, 2019, vol. 22, pp. 39–44.","short":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44."},"project":[{"name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"}],"date_created":"2019-02-18T14:43:28Z","date_published":"2019-04-16T00:00:00Z","doi":"10.1145/3302504.3311804","page":"39-44","publication":"Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control","day":"16","year":"2019","isi":1,"has_accepted_license":"1","oa":1,"quality_controlled":"1","publisher":"ACM"}]