[{"date_published":"2018-08-15T00:00:00Z","citation":{"chicago":"Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.","short":"S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.","mla":"Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4.","apa":"Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., & Sokolova, A. (2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp. 53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China: Springer. https://doi.org/10.1007/978-3-319-99154-2_4","ieee":"S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.","ista":"Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024, 53–70.","ama":"Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. Parameter-independent strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:10.1007/978-3-319-99154-2_4"},"page":"53-70","day":"15","article_processing_charge":"No","scopus_import":"1","oa_version":"Preprint","_id":"79","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","title":"Parameter-independent strategies for pMDPs via POMDPs","intvolume":" 11024","abstract":[{"text":"Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances. We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-independent strategies that are expectation optimal, i.e., optimize the expected reachability probability under the probability distribution over the parameters. We present an encoding of our problem to partially observable MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating (repeated) learner model; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol.","lang":"eng"}],"type":"conference","alternative_title":["LNCS"],"conference":{"name":"QEST: Quantitative Evaluation of Systems","end_date":"2018-09-07","location":"Beijing, China","start_date":"2018-09-04"},"doi":"10.1007/978-3-319-99154-2_4","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.05126"}],"external_id":{"arxiv":["1806.05126"],"isi":["000548912200004"]},"isi":1,"quality_controlled":"1","month":"08","author":[{"full_name":"Arming, Sebastian","first_name":"Sebastian","last_name":"Arming"},{"full_name":"Bartocci, Ezio","first_name":"Ezio","last_name":"Bartocci"},{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"id":"4524F760-F248-11E8-B48F-1D18A9856A87","last_name":"Katoen","first_name":"Joost P","full_name":"Katoen, Joost P"},{"last_name":"Sokolova","first_name":"Ana","full_name":"Sokolova, Ana"}],"date_created":"2018-12-11T11:44:31Z","date_updated":"2023-09-13T09:38:28Z","volume":11024,"year":"2018","publication_status":"published","publisher":"Springer","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publist_id":"7975"},{"month":"05","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000429799900008"]},"project":[{"name":"Analysis of quantum many-body systems","call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"quality_controlled":"1","isi":1,"doi":"10.1007/s00023-018-0665-7","language":[{"iso":"eng"}],"publist_id":"7429","ec_funded":1,"file_date_updated":"2020-07-14T12:46:22Z","year":"2018","department":[{"_id":"RoSe"}],"publisher":"Springer","publication_status":"published","author":[{"full_name":"Deuchert, Andreas","id":"4DA65CD0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3146-6746","first_name":"Andreas","last_name":"Deuchert"},{"first_name":"Alissa","last_name":"Geisinge","full_name":"Geisinge, Alissa"},{"full_name":"Hainzl, Christian","first_name":"Christian","last_name":"Hainzl"},{"full_name":"Loss, Michael","first_name":"Michael","last_name":"Loss"}],"volume":19,"date_created":"2018-12-11T11:46:15Z","date_updated":"2023-09-15T12:04:15Z","scopus_import":"1","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","day":"01","citation":{"chicago":"Deuchert, Andreas, Alissa Geisinge, Christian Hainzl, and Michael Loss. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.” Annales Henri Poincare. Springer, 2018. https://doi.org/10.1007/s00023-018-0665-7.","mla":"Deuchert, Andreas, et al. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.” Annales Henri Poincare, vol. 19, no. 5, Springer, 2018, pp. 1507–27, doi:10.1007/s00023-018-0665-7.","short":"A. Deuchert, A. Geisinge, C. Hainzl, M. Loss, Annales Henri Poincare 19 (2018) 1507–1527.","ista":"Deuchert A, Geisinge A, Hainzl C, Loss M. 2018. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 19(5), 1507–1527.","ieee":"A. Deuchert, A. Geisinge, C. Hainzl, and M. Loss, “Persistence of translational symmetry in the BCS model with radial pair interaction,” Annales Henri Poincare, vol. 19, no. 5. Springer, pp. 1507–1527, 2018.","apa":"Deuchert, A., Geisinge, A., Hainzl, C., & Loss, M. (2018). Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. Springer. https://doi.org/10.1007/s00023-018-0665-7","ama":"Deuchert A, Geisinge A, Hainzl C, Loss M. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 2018;19(5):1507-1527. doi:10.1007/s00023-018-0665-7"},"publication":"Annales Henri Poincare","page":"1507 - 1527","date_published":"2018-05-01T00:00:00Z","type":"journal_article","issue":"5","abstract":[{"text":"We consider the two-dimensional BCS functional with a radial pair interaction. We show that the translational symmetry is not broken in a certain temperature interval below the critical temperature. In the case of vanishing angular momentum, our results carry over to the three-dimensional case.","lang":"eng"}],"_id":"400","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 19","status":"public","title":"Persistence of translational symmetry in the BCS model with radial pair interaction","ddc":["510"],"pubrep_id":"1011","oa_version":"Published Version","file":[{"checksum":"04d2c9bd7cbf3ca1d7acaaf4e7dca3e5","date_created":"2018-12-12T10:12:47Z","date_updated":"2020-07-14T12:46:22Z","file_id":"4966","relation":"main_file","creator":"system","content_type":"application/pdf","file_size":582680,"access_level":"open_access","file_name":"IST-2018-1011-v1+1_2018_Deuchert_Persistence.pdf"}]},{"file_date_updated":"2020-07-14T12:46:22Z","publist_id":"7423","acknowledgement":"This work was supported by the Human Frontier Science Program RGP0065/2012 (GT, ES).","year":"2018","publication_status":"published","department":[{"_id":"GaTk"}],"publisher":"Public Library of Science","author":[{"first_name":"Katarína","last_name":"Bod’Ová","full_name":"Bod’Ová, Katarína"},{"id":"315BCD80-F248-11E8-B48F-1D18A9856A87","first_name":"Gabriel","last_name":"Mitchell","full_name":"Mitchell, Gabriel"},{"full_name":"Harpaz, Roy","last_name":"Harpaz","first_name":"Roy"},{"full_name":"Schneidman, Elad","last_name":"Schneidman","first_name":"Elad"},{"last_name":"Tkacik","first_name":"Gasper","orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","full_name":"Tkacik, Gasper"}],"related_material":{"record":[{"relation":"research_data","status":"public","id":"9831"}]},"date_created":"2018-12-11T11:46:18Z","date_updated":"2023-09-15T12:06:19Z","volume":13,"month":"03","external_id":{"isi":["000426896800032"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"isi":1,"quality_controlled":"1","project":[{"_id":"255008E4-B435-11E9-9278-68D0E5697425","grant_number":"RGP0065/2012","name":"Information processing and computation in fish groups"}],"doi":"10.1371/journal.pone.0193049","language":[{"iso":"eng"}],"type":"journal_article","abstract":[{"lang":"eng","text":"Recent developments in automated tracking allow uninterrupted, high-resolution recording of animal trajectories, sometimes coupled with the identification of stereotyped changes of body pose or other behaviors of interest. Analysis and interpretation of such data represents a challenge: the timing of animal behaviors may be stochastic and modulated by kinematic variables, by the interaction with the environment or with the conspecifics within the animal group, and dependent on internal cognitive or behavioral state of the individual. Existing models for collective motion typically fail to incorporate the discrete, stochastic, and internal-state-dependent aspects of behavior, while models focusing on individual animal behavior typically ignore the spatial aspects of the problem. Here we propose a probabilistic modeling framework to address this gap. Each animal can switch stochastically between different behavioral states, with each state resulting in a possibly different law of motion through space. Switching rates for behavioral transitions can depend in a very general way, which we seek to identify from data, on the effects of the environment as well as the interaction between the animals. We represent the switching dynamics as a Generalized Linear Model and show that: (i) forward simulation of multiple interacting animals is possible using a variant of the Gillespie’s Stochastic Simulation Algorithm; (ii) formulated properly, the maximum likelihood inference of switching rate functions is tractably solvable by gradient descent; (iii) model selection can be used to identify factors that modulate behavioral state switching and to appropriately adjust model complexity to data. To illustrate our framework, we apply it to two synthetic models of animal motion and to real zebrafish tracking data. "}],"issue":"3","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"406","status":"public","ddc":["530","571"],"title":"Probabilistic models of individual and collective animal behavior","intvolume":" 13","pubrep_id":"995","file":[{"checksum":"684229493db75b43e98a46cd922da497","date_created":"2018-12-12T10:15:43Z","date_updated":"2020-07-14T12:46:22Z","relation":"main_file","file_id":"5165","content_type":"application/pdf","file_size":6887358,"creator":"system","access_level":"open_access","file_name":"IST-2018-995-v1+1_2018_Bodova_Probabilistic.pdf"}],"oa_version":"Submitted Version","scopus_import":"1","day":"07","has_accepted_license":"1","article_processing_charge":"Yes","publication":"PLoS One","citation":{"ama":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. Probabilistic models of individual and collective animal behavior. PLoS One. 2018;13(3). doi:10.1371/journal.pone.0193049","ista":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Probabilistic models of individual and collective animal behavior. PLoS One. 13(3).","apa":"Bod’Ová, K., Mitchell, G., Harpaz, R., Schneidman, E., & Tkačik, G. (2018). Probabilistic models of individual and collective animal behavior. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0193049","ieee":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Probabilistic models of individual and collective animal behavior,” PLoS One, vol. 13, no. 3. Public Library of Science, 2018.","mla":"Bod’Ová, Katarína, et al. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One, vol. 13, no. 3, Public Library of Science, 2018, doi:10.1371/journal.pone.0193049.","short":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, PLoS One 13 (2018).","chicago":"Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper Tkačik. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049."},"date_published":"2018-03-07T00:00:00Z"},{"citation":{"chicago":"Pleska, Maros, Moritz Lang, Dominik Refardt, Bruce Levin, and Calin C Guet. “Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with Innate Immunity.” Nature Ecology and Evolution. Springer Nature, 2018. https://doi.org/10.1038/s41559-017-0424-z.","short":"M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.","mla":"Pleska, Maros, et al. “Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with Innate Immunity.” Nature Ecology and Evolution, vol. 2, no. 2, Springer Nature, 2018, pp. 359–66, doi:10.1038/s41559-017-0424-z.","ieee":"M. Pleska, M. Lang, D. Refardt, B. Levin, and C. C. Guet, “Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity,” Nature Ecology and Evolution, vol. 2, no. 2. Springer Nature, pp. 359–366, 2018.","apa":"Pleska, M., Lang, M., Refardt, D., Levin, B., & Guet, C. C. (2018). Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. Springer Nature. https://doi.org/10.1038/s41559-017-0424-z","ista":"Pleska M, Lang M, Refardt D, Levin B, Guet CC. 2018. Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. 2(2), 359–366.","ama":"Pleska M, Lang M, Refardt D, Levin B, Guet CC. Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. 2018;2(2):359-366. doi:10.1038/s41559-017-0424-z"},"publication":"Nature Ecology and Evolution","page":"359 - 366","date_published":"2018-02-01T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"01","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"457","intvolume":" 2","status":"public","title":"Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity","oa_version":"None","type":"journal_article","issue":"2","abstract":[{"text":"Temperate bacteriophages integrate in bacterial genomes as prophages and represent an important source of genetic variation for bacterial evolution, frequently transmitting fitness-augmenting genes such as toxins responsible for virulence of major pathogens. However, only a fraction of bacteriophage infections are lysogenic and lead to prophage acquisition, whereas the majority are lytic and kill the infected bacteria. Unless able to discriminate lytic from lysogenic infections, mechanisms of immunity to bacteriophages are expected to act as a double-edged sword and increase the odds of survival at the cost of depriving bacteria of potentially beneficial prophages. We show that although restriction-modification systems as mechanisms of innate immunity prevent both lytic and lysogenic infections indiscriminately in individual bacteria, they increase the number of prophage-acquiring individuals at the population level. We find that this counterintuitive result is a consequence of phage-host population dynamics, in which restriction-modification systems delay infection onset until bacteria reach densities at which the probability of lysogeny increases. These results underscore the importance of population-level dynamics as a key factor modulating costs and benefits of immunity to temperate bacteriophages","lang":"eng"}],"external_id":{"isi":["000426516400027"]},"project":[{"name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"},{"name":"Multi-Level Conflicts in Evolutionary Dynamics of Restriction-Modification Systems (HFSP Young investigators' grant)","_id":"251BCBEC-B435-11E9-9278-68D0E5697425","grant_number":"RGY0079/2011"},{"name":"Effects of Stochasticity on the Function of Restriction-Modi cation Systems at the Single-Cell Level (DOC Fellowship)","_id":"251D65D8-B435-11E9-9278-68D0E5697425","grant_number":"24210"}],"isi":1,"quality_controlled":"1","doi":"10.1038/s41559-017-0424-z","language":[{"iso":"eng"}],"month":"02","year":"2018","publisher":"Springer Nature","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"publication_status":"published","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"202"}]},"author":[{"first_name":"Maros","last_name":"Pleska","id":"4569785E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7460-7479","full_name":"Pleska, Maros"},{"full_name":"Lang, Moritz","first_name":"Moritz","last_name":"Lang","id":"29E0800A-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Refardt, Dominik","first_name":"Dominik","last_name":"Refardt"},{"first_name":"Bruce","last_name":"Levin","full_name":"Levin, Bruce"},{"full_name":"Guet, Calin C","last_name":"Guet","first_name":"Calin C","orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"}],"volume":2,"date_created":"2018-12-11T11:46:35Z","date_updated":"2023-09-15T12:04:57Z","ec_funded":1,"publist_id":"7364"},{"author":[{"full_name":"Pull, Christopher","last_name":"Pull","first_name":"Christopher","orcid":"0000-0003-1122-3982","id":"3C7F4840-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Metzler","first_name":"Sina","orcid":"0000-0002-9547-2494","id":"48204546-F248-11E8-B48F-1D18A9856A87","full_name":"Metzler, Sina"},{"first_name":"Elisabeth","last_name":"Naderlinger","id":"31757262-F248-11E8-B48F-1D18A9856A87","full_name":"Naderlinger, Elisabeth"},{"full_name":"Cremer, Sylvia","first_name":"Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868"}],"volume":28,"date_created":"2018-12-11T11:44:23Z","date_updated":"2023-09-15T12:06:46Z","year":"2018","department":[{"_id":"SyCr"}],"publisher":"Cell Press","publication_status":"published","publist_id":"7999","doi":"10.1016/j.cub.2018.08.063","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"url":"https://doi.org/10.1016/j.cub.2018.08.063","open_access":"1"}],"external_id":{"isi":["000446693400008"]},"isi":1,"quality_controlled":"1","month":"10","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"55","intvolume":" 28","status":"public","title":"Protection against the lethal side effects of social immunity in ants","issue":"19","abstract":[{"text":"Many animals use antimicrobials to prevent or cure disease [1,2]. For example, some animals will ingest plants with medicinal properties, both prophylactically to prevent infection and therapeutically to self-medicate when sick. Antimicrobial substances are also used as topical disinfectants, to prevent infection, protect offspring and to sanitise their surroundings [1,2]. Social insects (ants, bees, wasps and termites) build nests in environments with a high abundance and diversity of pathogenic microorganisms — such as soil and rotting wood — and colonies are often densely crowded, creating conditions that favour disease outbreaks. Consequently, social insects have evolved collective disease defences to protect their colonies from epidemics. These traits can be seen as functionally analogous to the immune system of individual organisms [3,4]. This ‘social immunity’ utilises antimicrobials to prevent and eradicate infections, and to keep the brood and nest clean. However, these antimicrobial compounds can be harmful to the insects themselves, and it is unknown how colonies prevent collateral damage when using them. Here, we demonstrate that antimicrobial acids, produced by workers to disinfect the colony, are harmful to the delicate pupal brood stage, but that the pupae are protected from the acids by the presence of a silk cocoon. Garden ants spray their nests with an antimicrobial poison to sanitize contaminated nestmates and brood. Here, Pull et al show that they also prophylactically sanitise their colonies, and that the silk cocoon serves as a barrier to protect developing pupae, thus preventing collateral damage during nest sanitation.","lang":"eng"}],"type":"journal_article","date_published":"2018-10-08T00:00:00Z","citation":{"ama":"Pull C, Metzler S, Naderlinger E, Cremer S. Protection against the lethal side effects of social immunity in ants. Current Biology. 2018;28(19):R1139-R1140. doi:10.1016/j.cub.2018.08.063","apa":"Pull, C., Metzler, S., Naderlinger, E., & Cremer, S. (2018). Protection against the lethal side effects of social immunity in ants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2018.08.063","ieee":"C. Pull, S. Metzler, E. Naderlinger, and S. Cremer, “Protection against the lethal side effects of social immunity in ants,” Current Biology, vol. 28, no. 19. Cell Press, pp. R1139–R1140, 2018.","ista":"Pull C, Metzler S, Naderlinger E, Cremer S. 2018. Protection against the lethal side effects of social immunity in ants. Current Biology. 28(19), R1139–R1140.","short":"C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.","mla":"Pull, Christopher, et al. “Protection against the Lethal Side Effects of Social Immunity in Ants.” Current Biology, vol. 28, no. 19, Cell Press, 2018, pp. R1139–40, doi:10.1016/j.cub.2018.08.063.","chicago":"Pull, Christopher, Sina Metzler, Elisabeth Naderlinger, and Sylvia Cremer. “Protection against the Lethal Side Effects of Social Immunity in Ants.” Current Biology. Cell Press, 2018. https://doi.org/10.1016/j.cub.2018.08.063."},"publication":"Current Biology","page":"R1139 - R1140","article_type":"original","article_processing_charge":"No","day":"08","scopus_import":"1"},{"oa_version":"Published Version","_id":"181","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Power law decay for systems of randomly coupled differential equations","status":"public","intvolume":" 50","abstract":[{"text":"We consider large random matrices X with centered, independent entries but possibly di erent variances. We compute the normalized trace of f(X)g(X∗) for f, g functions analytic on the spectrum of X. We use these results to compute the long time asymptotics for systems of coupled di erential equations with random coe cients. We show that when the coupling is critical, the norm squared of the solution decays like t−1/2.","lang":"eng"}],"issue":"3","type":"journal_article","date_published":"2018-01-01T00:00:00Z","publication":"SIAM Journal on Mathematical Analysis","citation":{"short":"L. Erdös, T.H. Krüger, D.T. Renfrew, SIAM Journal on Mathematical Analysis 50 (2018) 3271–3290.","mla":"Erdös, László, et al. “Power Law Decay for Systems of Randomly Coupled Differential Equations.” SIAM Journal on Mathematical Analysis, vol. 50, no. 3, Society for Industrial and Applied Mathematics , 2018, pp. 3271–90, doi:10.1137/17M1143125.","chicago":"Erdös, László, Torben H Krüger, and David T Renfrew. “Power Law Decay for Systems of Randomly Coupled Differential Equations.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/17M1143125.","ama":"Erdös L, Krüger TH, Renfrew DT. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 2018;50(3):3271-3290. doi:10.1137/17M1143125","apa":"Erdös, L., Krüger, T. H., & Renfrew, D. T. (2018). Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/17M1143125","ieee":"L. Erdös, T. H. Krüger, and D. T. Renfrew, “Power law decay for systems of randomly coupled differential equations,” SIAM Journal on Mathematical Analysis, vol. 50, no. 3. Society for Industrial and Applied Mathematics , pp. 3271–3290, 2018.","ista":"Erdös L, Krüger TH, Renfrew DT. 2018. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 50(3), 3271–3290."},"page":"3271 - 3290","day":"01","article_processing_charge":"No","scopus_import":"1","author":[{"full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","first_name":"László","last_name":"Erdös"},{"full_name":"Krüger, Torben H","orcid":"0000-0002-4821-3297","id":"3020C786-F248-11E8-B48F-1D18A9856A87","last_name":"Krüger","first_name":"Torben H"},{"first_name":"David T","last_name":"Renfrew","id":"4845BF6A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3493-121X","full_name":"Renfrew, David T"}],"date_created":"2018-12-11T11:45:03Z","date_updated":"2023-09-15T12:05:52Z","volume":50,"year":"2018","acknowledgement":"The work of the second author was also partially supported by the Hausdorff Center of Mathematics.","publication_status":"published","publisher":"Society for Industrial and Applied Mathematics ","department":[{"_id":"LaEr"}],"publist_id":"7740","ec_funded":1,"doi":"10.1137/17M1143125","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"url":"https://arxiv.org/abs/1708.01546","open_access":"1"}],"external_id":{"isi":["000437018500032"],"arxiv":["1708.01546"]},"isi":1,"quality_controlled":"1","project":[{"name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"},{"name":"Structured Non-Hermitian Random Matrices","call_identifier":"FWF","grant_number":"M02080","_id":"258F40A4-B435-11E9-9278-68D0E5697425"}],"month":"01"},{"oa_version":"Preprint","_id":"322","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 506","title":"Quantizations of multiplicative hypertoric varieties at a root of unity","status":"public","abstract":[{"text":"We construct quantizations of multiplicative hypertoric varieties using an algebra of q-difference operators on affine space, where q is a root of unity in C. The quantization defines a matrix bundle (i.e. Azumaya algebra) over the multiplicative hypertoric variety and admits an explicit finite étale splitting. The global sections of this Azumaya algebra is a hypertoric quantum group, and we prove a localization theorem. We introduce a general framework of Frobenius quantum moment maps and their Hamiltonian reductions; our results shed light on an instance of this framework.","lang":"eng"}],"type":"journal_article","date_published":"2018-07-15T00:00:00Z","citation":{"short":"I.V. Ganev, Journal of Algebra 506 (2018) 92–128.","mla":"Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties at a Root of Unity.” Journal of Algebra, vol. 506, World Scientific Publishing, 2018, pp. 92–128, doi:10.1016/j.jalgebra.2018.03.015.","chicago":"Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties at a Root of Unity.” Journal of Algebra. World Scientific Publishing, 2018. https://doi.org/10.1016/j.jalgebra.2018.03.015.","ama":"Ganev IV. Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. 2018;506:92-128. doi:10.1016/j.jalgebra.2018.03.015","ieee":"I. V. Ganev, “Quantizations of multiplicative hypertoric varieties at a root of unity,” Journal of Algebra, vol. 506. World Scientific Publishing, pp. 92–128, 2018.","apa":"Ganev, I. V. (2018). Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. World Scientific Publishing. https://doi.org/10.1016/j.jalgebra.2018.03.015","ista":"Ganev IV. 2018. Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. 506, 92–128."},"publication":"Journal of Algebra","page":"92 - 128","article_processing_charge":"No","day":"15","scopus_import":"1","author":[{"full_name":"Ganev, Iordan V","id":"447491B8-F248-11E8-B48F-1D18A9856A87","last_name":"Ganev","first_name":"Iordan V"}],"volume":506,"date_created":"2018-12-11T11:45:49Z","date_updated":"2023-09-15T12:08:38Z","year":"2018","acknowledgement":"National Science Foundation: Graduate Research Fellowship and grant No.0932078000; ERC Advanced Grant “Arithmetic and Physics of Higgs moduli spaces” No. 320593 \r\nThe author is grateful to David Jordan for suggesting this project and providing guidance throughout, particularly for the formulation of Frobenius quantum moment maps and key ideas in the proofs of Theorems 3.12 and 4.8. Special thanks to David Ben-Zvi (the author's PhD advisor) for numerous discussions and constant encouragement, and for suggesting the term ‘hypertoric quantum group.’ Many results appearing in the current paper were proven independently by Nicholas Cooney; the author is grateful to Nicholas for sharing his insight on various topics, including Proposition 3.8. The author also thanks Nicholas Proudfoot for relating the definition of multiplicative hypertoric varieties, as well as the content of Remark 2.14. The author also benefited immensely from the close reading and detailed comments of an anonymous referee, and from conversations with Justin Hilburn, Kobi Kremnitzer, Michael McBreen, Tom Nevins, Travis Schedler, and Ben Webster. \r\n\r\n\r\n\r\n","publisher":"World Scientific Publishing","department":[{"_id":"TaHa"}],"publication_status":"published","ec_funded":1,"publist_id":"7543","doi":"10.1016/j.jalgebra.2018.03.015","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1412.7211"}],"external_id":{"arxiv":["1412.7211"],"isi":["000433270600005"]},"oa":1,"project":[{"call_identifier":"FP7","name":"Arithmetic and physics of Higgs moduli spaces","_id":"25E549F4-B435-11E9-9278-68D0E5697425","grant_number":"320593"}],"quality_controlled":"1","isi":1,"month":"07"},{"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","_id":"9831","year":"2018","publisher":"Public Library of Science","department":[{"_id":"GaTk"}],"title":"Implementation of the inference method in Matlab","status":"public","related_material":{"record":[{"id":"406","status":"public","relation":"used_in_publication"}]},"author":[{"full_name":"Bod’Ová, Katarína","first_name":"Katarína","last_name":"Bod’Ová"},{"full_name":"Mitchell, Gabriel","first_name":"Gabriel","last_name":"Mitchell","id":"315BCD80-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Roy","last_name":"Harpaz","full_name":"Harpaz, Roy"},{"first_name":"Elad","last_name":"Schneidman","full_name":"Schneidman, Elad"},{"first_name":"Gašper","last_name":"Tkačik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","full_name":"Tkačik, Gašper"}],"oa_version":"Published Version","date_created":"2021-08-09T07:01:24Z","date_updated":"2023-09-15T12:06:18Z","type":"research_data_reference","abstract":[{"text":"Implementation of the inference method in Matlab, including three applications of the method: The first one for the model of ant motion, the second one for bacterial chemotaxis, and the third one for the motion of fish.","lang":"eng"}],"citation":{"ama":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. Implementation of the inference method in Matlab. 2018. doi:10.1371/journal.pone.0193049.s001","ieee":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Implementation of the inference method in Matlab.” Public Library of Science, 2018.","apa":"Bod’Ová, K., Mitchell, G., Harpaz, R., Schneidman, E., & Tkačik, G. (2018). Implementation of the inference method in Matlab. Public Library of Science. https://doi.org/10.1371/journal.pone.0193049.s001","ista":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Implementation of the inference method in Matlab, Public Library of Science, 10.1371/journal.pone.0193049.s001.","short":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, (2018).","mla":"Bod’Ová, Katarína, et al. Implementation of the Inference Method in Matlab. Public Library of Science, 2018, doi:10.1371/journal.pone.0193049.s001.","chicago":"Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper Tkačik. “Implementation of the Inference Method in Matlab.” Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049.s001."},"date_published":"2018-03-07T00:00:00Z","doi":"10.1371/journal.pone.0193049.s001","article_processing_charge":"No","day":"07","month":"03"},{"month":"07","isi":1,"quality_controlled":"1","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize"}],"external_id":{"isi":["000491481600024"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"language":[{"iso":"eng"}],"conference":{"end_date":"2018-07-17","location":"Oxford, United Kingdom","start_date":"2018-07-14","name":"CAV: Computer Aided Verification"},"doi":"10.1007/978-3-319-96145-3_24","file_date_updated":"2020-07-14T12:44:53Z","publist_id":"7781","publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"Springer","acknowledgement":"Austrian Science Fund FWF: S11402-N23, S11405-N23, Z211-N32","year":"2018","date_updated":"2023-09-15T12:12:08Z","date_created":"2018-12-11T11:44:51Z","volume":10981,"author":[{"last_name":"Kong","first_name":"Hui","orcid":"0000-0002-3066-6941","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","full_name":"Kong, Hui"},{"first_name":"Ezio","last_name":"Bartocci","full_name":"Bartocci, Ezio"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"}],"scopus_import":"1","day":"18","has_accepted_license":"1","article_processing_charge":"No","page":"449 - 467","citation":{"ieee":"H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.","apa":"Kong, H., Bartocci, E., & Henzinger, T. A. (2018). Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Vol. 10981, pp. 449–467). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_24","ista":"Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981, 449–467.","ama":"Kong H, Bartocci E, Henzinger TA. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. In: Vol 10981. Springer; 2018:449-467. doi:10.1007/978-3-319-96145-3_24","chicago":"Kong, Hui, Ezio Bartocci, and Thomas A Henzinger. “Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes,” 10981:449–67. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_24.","short":"H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.","mla":"Kong, Hui, et al. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. Vol. 10981, Springer, 2018, pp. 449–67, doi:10.1007/978-3-319-96145-3_24."},"date_published":"2018-07-18T00:00:00Z","alternative_title":["LNCS"],"type":"conference","abstract":[{"lang":"eng","text":"We address the problem of analyzing the reachable set of a polynomial nonlinear continuous system by over-approximating the flowpipe of its dynamics. The common approach to tackle this problem is to perform a numerical integration over a given time horizon based on Taylor expansion and interval arithmetic. However, this method results to be very conservative when there is a large difference in speed between trajectories as time progresses. In this paper, we propose to use combinations of barrier functions, which we call piecewise barrier tube (PBT), to over-approximate flowpipe. The basic idea of PBT is that for each segment of a flowpipe, a coarse box which is big enough to contain the segment is constructed using sampled simulation and then in the box we compute by linear programming a set of barrier functions (called barrier tube or BT for short) which work together to form a tube surrounding the flowpipe. The benefit of using PBT is that (1) BT is independent of time and hence can avoid being stretched and deformed by time; and (2) a small number of BTs can form a tight over-approximation for the flowpipe, which means that the computation required to decide whether the BTs intersect the unsafe set can be reduced significantly. We implemented a prototype called PBTS in C++. Experiments on some benchmark systems show that our approach is effective."}],"status":"public","title":"Reachable set over-approximation for nonlinear systems using piecewise barrier tubes","ddc":["000"],"intvolume":" 10981","_id":"142","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","file":[{"file_name":"2018_LNCS_Kong.pdf","access_level":"open_access","creator":"dernst","file_size":5591566,"content_type":"application/pdf","file_id":"5718","relation":"main_file","date_updated":"2020-07-14T12:44:53Z","date_created":"2018-12-17T15:57:06Z","checksum":"fd95e8026deacef3dc752a733bb9355f"}]},{"doi":"10.1103/PhysRevA.97.022510","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1802.07920"}],"external_id":{"isi":["000425601000004"],"arxiv":["1802.07920"]},"project":[{"name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"isi":1,"quality_controlled":"1","month":"02","author":[{"first_name":"Pedro","last_name":"Amaro","full_name":"Amaro, Pedro"},{"full_name":"Loureiro, Ulisses","last_name":"Loureiro","first_name":"Ulisses"},{"last_name":"Safari","first_name":"Laleh","id":"3C325E5E-F248-11E8-B48F-1D18A9856A87","full_name":"Safari, Laleh"},{"full_name":"Fratini, Filippo","last_name":"Fratini","first_name":"Filippo"},{"full_name":"Indelicato, Paul","last_name":"Indelicato","first_name":"Paul"},{"full_name":"Stöhlker, Thomas","first_name":"Thomas","last_name":"Stöhlker"},{"last_name":"Santos","first_name":"José","full_name":"Santos, José"}],"volume":97,"date_updated":"2023-09-15T12:09:35Z","date_created":"2018-12-11T11:46:25Z","year":"2018","acknowledgement":"This work was funded by the Portuguese Fundação para a Ciência e a Tecnologia (FCT/MCTES/PIDDAC) under Grant No. UID/FIS/04559/2013 (LIBPhys). P.A. acknowledges the support of the FCT, under Contract No. SFRH/BPD/92329/2013. L.S. acknowledges financial support from the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007-2013) under REA Grant Agreement No. (291734). Laboratoire Kastler Brossel (LKB) is “Unité Mixte de Recherche de Sorbonne Université, de ENS-PSL Research University, du Collège de France et du CNRS No. 8552.” APPENDIX:\r\n","publisher":"American Physical Society","department":[{"_id":"MiLe"}],"publication_status":"published","publist_id":"7396","ec_funded":1,"article_number":"022510","date_published":"2018-02-21T00:00:00Z","citation":{"chicago":"Amaro, Pedro, Ulisses Loureiro, Laleh Safari, Filippo Fratini, Paul Indelicato, Thomas Stöhlker, and José Santos. “Quantum Interference in Laser Spectroscopy of Highly Charged Lithiumlike Ions.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevA.97.022510.","mla":"Amaro, Pedro, et al. “Quantum Interference in Laser Spectroscopy of Highly Charged Lithiumlike Ions.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 2, 022510, American Physical Society, 2018, doi:10.1103/PhysRevA.97.022510.","short":"P. Amaro, U. Loureiro, L. Safari, F. Fratini, P. Indelicato, T. Stöhlker, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).","ista":"Amaro P, Loureiro U, Safari L, Fratini F, Indelicato P, Stöhlker T, Santos J. 2018. Quantum interference in laser spectroscopy of highly charged lithiumlike ions. Physical Review A - Atomic, Molecular, and Optical Physics. 97(2), 022510.","apa":"Amaro, P., Loureiro, U., Safari, L., Fratini, F., Indelicato, P., Stöhlker, T., & Santos, J. (2018). Quantum interference in laser spectroscopy of highly charged lithiumlike ions. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.97.022510","ieee":"P. Amaro et al., “Quantum interference in laser spectroscopy of highly charged lithiumlike ions,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 2. American Physical Society, 2018.","ama":"Amaro P, Loureiro U, Safari L, et al. Quantum interference in laser spectroscopy of highly charged lithiumlike ions. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(2). doi:10.1103/PhysRevA.97.022510"},"publication":" Physical Review A - Atomic, Molecular, and Optical Physics","article_type":"original","article_processing_charge":"No","day":"21","scopus_import":"1","oa_version":"Preprint","_id":"427","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 97","status":"public","title":"Quantum interference in laser spectroscopy of highly charged lithiumlike ions","issue":"2","abstract":[{"text":"We investigate the quantum interference induced shifts between energetically close states in highly charged ions, with the energy structure being observed by laser spectroscopy. In this work, we focus on hyperfine states of lithiumlike heavy-Z isotopes and quantify how much quantum interference changes the observed transition frequencies. The process of photon excitation and subsequent photon decay for the transition 2s→2p→2s is implemented with fully relativistic and full-multipole frameworks, which are relevant for such relativistic atomic systems. We consider the isotopes Pb79+207 and Bi80+209 due to experimental interest, as well as other examples of isotopes with lower Z, namely Pr56+141 and Ho64+165. We conclude that quantum interference can induce shifts up to 11% of the linewidth in the measurable resonances of the considered isotopes, if interference between resonances is neglected. The inclusion of relativity decreases the cross section by 35%, mainly due to the complete retardation form of the electric dipole multipole. However, the contribution of the next higher multipoles (e.g., magnetic quadrupole) to the cross section is negligible. This makes the contribution of relativity and higher-order multipoles to the quantum interference induced shifts a minor effect, even for heavy-Z elements.","lang":"eng"}],"type":"journal_article"}]